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.
Articles by others on the same topic
There are currently no matching articles.