First choose the absent labels, which will be the leaves of a graph, in ways. Every other label must occur exactly times in the Prüfer sequence. There are such labels and their total multiplicity is by (a). The number of orderings of this multiset is . The bijection in (i) turns each ordering into one distinct labelled tree and exhausts all possibilities. Therefore
The formula is used with the feasible integer parameters from (a), and gives one for the two-vertex edge with no internal labels.

Articles by others on the same topic (0)

There are currently no matching articles.