In graph theory, a recursive tree (i.e., unordered tree) is a labeled, rooted tree. A size-n recursive tree's vertices are labeled by distinct positive integers 1, 2, …, n, where the labels are strictly increasing starting at the root labeled 1. Recursive trees are non-planar, which means that the children of a particular vertex are not ordered; for example, the following two size-3 recursive trees are equivalent: 3/1\2 = 2/1\3.

Recursive trees also appear in literature under the name Increasing Cayley trees.

Properties

The number of size-n recursive trees is given by

Hence the exponential generating function T(z) of the sequence Tn is given by

Combinatorically, a recursive tree can be interpreted as a root followed by an unordered sequence of recursive trees. Let F denote the family of recursive trees. Then

where denotes the node labeled by 1, × the Cartesian product and the partition product for labeled objects.

By translation of the formal description one obtains the differential equation for T(z)

with T(0) = 0.

Bijections

There are bijective correspondences between recursive trees of size n and permutations of size n  1.

Applications

Recursive trees can be generated using a simple stochastic process. Such random recursive trees are used as simple models for epidemics.

References

  • Analytic Combinatorics, Philippe Flajolet and Robert Sedgewick, Cambridge University Press, 2008.
  • Varieties of Increasing Trees, Francois Bergeron, Philippe Flajolet, and Bruno Salvy. In Proceedings of the 17th Colloquium on Trees in Algebra and Programming, Rennes, France, February 1992. Proceedings published in Lecture Notes in Computer Science vol. 581, J.-C. Raoult Ed., 1992, pp. 24–48.
  • Profile of random trees: correlation and width of random recursive trees and binary search trees, Michael Drmota and Hsien-Kuei Hwang, Adv. Appl. Prob., 37, 1–21, 2005.
  • Profiles of random trees: Limit theorems for random recursive trees and binary search trees, Michael Fuchs, Hsien-Kuei Hwang, Ralph Neininger., Algorithmica, 46, 367–407, 2006.
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.