Labelled unicyclic graph count

ID: labelled-unicyclic-graph-count

A labelled unicyclic component has a unique cycle of length , with a rooted forest attached to its vertices. Choose its vertices in ways and its unoriented cycle in ways. The labelled forest count with prescribed roots gives attachments. Summing over and putting yields the displayed identity.

New to topics? Read the docs here!