# Recursive tree

> Mediated Wiki article. Canonical URL: https://mediated.wiki/source/Recursive_tree
> Markdown URL: https://mediated.wiki/source/Recursive_tree.md
> Source: https://en.wikipedia.org/wiki/Recursive_tree
> Source revision: 1285922157
> License: Creative Commons Attribution-ShareAlike 4.0 International (https://creativecommons.org/licenses/by-sa/4.0/)

{{short description|Tree graph with nodes numbered in order of distance from the root}}
{{No footnotes|date=July 2023}}

In [graph theory](/source/graph_theory), a '''recursive tree''' (i.e., unordered tree) is a [labeled](/source/Graph_labeling), rooted [tree](/source/tree_(graph_theory)). A size-{{mvar|n}} recursive tree's [vertices](/source/Vertex_(graph_theory)) are labeled by distinct [positive integer](/source/positive_integer)s {{math|1, 2, …, ''n''}}, where the labels are strictly increasing starting at the root labeled 1. Recursive trees are [non-planar](/source/Planar_graph), which means that the children of a particular vertex are not ordered; for example, the following two size-3 recursive trees are equivalent: {{math|1={{sub|3}}/{{sup|1}}\{{sub|2}} = {{sub|2}}/{{sup|1}}\{{sub|3}}}}.

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

==Properties ==
The number of size-''n'' recursive trees is given by

:<math> T_n= (n-1)!. \,</math>

Hence the exponential [generating function](/source/generating_function) ''T''(''z'') of the sequence ''T''<sub>''n''</sub> is given by

:<math> T(z)= \sum_{n\ge 1} T_n \frac{z^n}{n!}=\log\left(\frac{1}{1-z}\right).</math>

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

:<math> F= \circ + \frac{1}{1!}\cdot \circ \times F
+ \frac{1}{2!}\cdot \circ \times F* F
+ \frac{1}{3!}\cdot \circ \times F* F* F * \cdots
= \circ\times\exp(F),</math>

where <math>\circ</math> denotes the node labeled by 1, &times; the [Cartesian product](/source/Cartesian_product) and <math>*</math> the partition product for labeled objects.

By translation of the formal description one obtains the [differential equation](/source/differential_equation) for ''T''(''z'')

:<math> T'(z)= \exp(T(z)),</math>

with ''T''(0) = 0.

==Bijections==
There are [bijective](/source/bijection) correspondences between recursive trees of size ''n'' and [permutation](/source/permutation)s of size ''n''&nbsp;&minus;&nbsp;1.

==Applications ==
Recursive trees can be generated using a simple [stochastic process](/source/stochastic_process). Such [random recursive tree](/source/random_recursive_tree)s are used as simple models for epidemics.

==References==
*''[Analytic Combinatorics](/source/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.&nbsp;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.

Category:Trees (graph theory)

---
Adapted from the Wikipedia article [Recursive tree](https://en.wikipedia.org/wiki/Recursive_tree) by Wikipedia contributors ([contributor history](https://en.wikipedia.org/wiki/Recursive_tree?action=history)). Available under [Creative Commons Attribution-ShareAlike 4.0 International](https://creativecommons.org/licenses/by-sa/4.0/). Changes may have been made.