Identifier
-
Mp00229:
Dyck paths
—Delest-Viennot⟶
Dyck paths
Mp00026: Dyck paths —to ordered tree⟶ Ordered trees
St000084: Ordered trees ⟶ ℤ
Values
[1,0] => [1,0] => [[]] => 1
[1,0,1,0] => [1,1,0,0] => [[[]]] => 1
[1,1,0,0] => [1,0,1,0] => [[],[]] => 2
[1,0,1,0,1,0] => [1,1,0,1,0,0] => [[[],[]]] => 1
[1,0,1,1,0,0] => [1,1,0,0,1,0] => [[[]],[]] => 2
[1,1,0,0,1,0] => [1,0,1,1,0,0] => [[],[[]]] => 2
[1,1,0,1,0,0] => [1,1,1,0,0,0] => [[[[]]]] => 1
[1,1,1,0,0,0] => [1,0,1,0,1,0] => [[],[],[]] => 3
[1,0,1,0,1,0,1,0] => [1,1,0,1,0,1,0,0] => [[[],[],[]]] => 1
[1,0,1,0,1,1,0,0] => [1,1,0,1,0,0,1,0] => [[[],[]],[]] => 2
[1,0,1,1,0,0,1,0] => [1,1,0,0,1,1,0,0] => [[[]],[[]]] => 2
[1,0,1,1,0,1,0,0] => [1,1,0,1,1,0,0,0] => [[[],[[]]]] => 1
[1,0,1,1,1,0,0,0] => [1,1,0,0,1,0,1,0] => [[[]],[],[]] => 3
[1,1,0,0,1,0,1,0] => [1,0,1,1,0,1,0,0] => [[],[[],[]]] => 2
[1,1,0,0,1,1,0,0] => [1,0,1,1,0,0,1,0] => [[],[[]],[]] => 3
[1,1,0,1,0,0,1,0] => [1,1,1,0,0,1,0,0] => [[[[]],[]]] => 1
[1,1,0,1,0,1,0,0] => [1,1,1,1,0,0,0,0] => [[[[[]]]]] => 1
[1,1,0,1,1,0,0,0] => [1,1,1,0,0,0,1,0] => [[[[]]],[]] => 2
[1,1,1,0,0,0,1,0] => [1,0,1,0,1,1,0,0] => [[],[],[[]]] => 3
[1,1,1,0,0,1,0,0] => [1,0,1,1,1,0,0,0] => [[],[[[]]]] => 2
[1,1,1,0,1,0,0,0] => [1,1,1,0,1,0,0,0] => [[[[],[]]]] => 1
[1,1,1,1,0,0,0,0] => [1,0,1,0,1,0,1,0] => [[],[],[],[]] => 4
[1,0,1,0,1,0,1,0,1,0] => [1,1,0,1,0,1,0,1,0,0] => [[[],[],[],[]]] => 1
[1,0,1,0,1,0,1,1,0,0] => [1,1,0,1,0,1,0,0,1,0] => [[[],[],[]],[]] => 2
[1,0,1,0,1,1,0,0,1,0] => [1,1,0,1,0,0,1,1,0,0] => [[[],[]],[[]]] => 2
[1,0,1,0,1,1,0,1,0,0] => [1,1,0,1,0,1,1,0,0,0] => [[[],[],[[]]]] => 1
[1,0,1,0,1,1,1,0,0,0] => [1,1,0,1,0,0,1,0,1,0] => [[[],[]],[],[]] => 3
[1,0,1,1,0,0,1,0,1,0] => [1,1,0,0,1,1,0,1,0,0] => [[[]],[[],[]]] => 2
[1,0,1,1,0,0,1,1,0,0] => [1,1,0,0,1,1,0,0,1,0] => [[[]],[[]],[]] => 3
[1,0,1,1,0,1,0,0,1,0] => [1,1,0,1,1,0,0,1,0,0] => [[[],[[]],[]]] => 1
[1,0,1,1,0,1,0,1,0,0] => [1,1,0,1,1,1,0,0,0,0] => [[[],[[[]]]]] => 1
[1,0,1,1,0,1,1,0,0,0] => [1,1,0,1,1,0,0,0,1,0] => [[[],[[]]],[]] => 2
[1,0,1,1,1,0,0,0,1,0] => [1,1,0,0,1,0,1,1,0,0] => [[[]],[],[[]]] => 3
[1,0,1,1,1,0,0,1,0,0] => [1,1,0,0,1,1,1,0,0,0] => [[[]],[[[]]]] => 2
[1,0,1,1,1,0,1,0,0,0] => [1,1,0,1,1,0,1,0,0,0] => [[[],[[],[]]]] => 1
[1,0,1,1,1,1,0,0,0,0] => [1,1,0,0,1,0,1,0,1,0] => [[[]],[],[],[]] => 4
[1,1,0,0,1,0,1,0,1,0] => [1,0,1,1,0,1,0,1,0,0] => [[],[[],[],[]]] => 2
[1,1,0,0,1,0,1,1,0,0] => [1,0,1,1,0,1,0,0,1,0] => [[],[[],[]],[]] => 3
[1,1,0,0,1,1,0,0,1,0] => [1,0,1,1,0,0,1,1,0,0] => [[],[[]],[[]]] => 3
[1,1,0,0,1,1,0,1,0,0] => [1,0,1,1,0,1,1,0,0,0] => [[],[[],[[]]]] => 2
[1,1,0,0,1,1,1,0,0,0] => [1,0,1,1,0,0,1,0,1,0] => [[],[[]],[],[]] => 4
[1,1,0,1,0,0,1,0,1,0] => [1,1,1,0,0,1,0,1,0,0] => [[[[]],[],[]]] => 1
[1,1,0,1,0,0,1,1,0,0] => [1,1,1,0,0,1,0,0,1,0] => [[[[]],[]],[]] => 2
[1,1,0,1,0,1,0,0,1,0] => [1,1,1,1,0,0,0,1,0,0] => [[[[[]]],[]]] => 1
[1,1,0,1,0,1,0,1,0,0] => [1,1,1,1,0,1,0,0,0,0] => [[[[[],[]]]]] => 1
[1,1,0,1,0,1,1,0,0,0] => [1,1,1,1,0,0,0,0,1,0] => [[[[[]]]],[]] => 2
[1,1,0,1,1,0,0,0,1,0] => [1,1,1,0,0,0,1,1,0,0] => [[[[]]],[[]]] => 2
[1,1,0,1,1,0,0,1,0,0] => [1,1,1,0,0,1,1,0,0,0] => [[[[]],[[]]]] => 1
[1,1,0,1,1,0,1,0,0,0] => [1,1,1,1,0,0,1,0,0,0] => [[[[[]],[]]]] => 1
[1,1,0,1,1,1,0,0,0,0] => [1,1,1,0,0,0,1,0,1,0] => [[[[]]],[],[]] => 3
[1,1,1,0,0,0,1,0,1,0] => [1,0,1,0,1,1,0,1,0,0] => [[],[],[[],[]]] => 3
[1,1,1,0,0,0,1,1,0,0] => [1,0,1,0,1,1,0,0,1,0] => [[],[],[[]],[]] => 4
[1,1,1,0,0,1,0,0,1,0] => [1,0,1,1,1,0,0,1,0,0] => [[],[[[]],[]]] => 2
[1,1,1,0,0,1,0,1,0,0] => [1,0,1,1,1,1,0,0,0,0] => [[],[[[[]]]]] => 2
[1,1,1,0,0,1,1,0,0,0] => [1,0,1,1,1,0,0,0,1,0] => [[],[[[]]],[]] => 3
[1,1,1,0,1,0,0,0,1,0] => [1,1,1,0,1,0,0,1,0,0] => [[[[],[]],[]]] => 1
[1,1,1,0,1,0,0,1,0,0] => [1,1,1,0,1,1,0,0,0,0] => [[[[],[[]]]]] => 1
[1,1,1,0,1,0,1,0,0,0] => [1,1,1,1,1,0,0,0,0,0] => [[[[[[]]]]]] => 1
[1,1,1,0,1,1,0,0,0,0] => [1,1,1,0,1,0,0,0,1,0] => [[[[],[]]],[]] => 2
[1,1,1,1,0,0,0,0,1,0] => [1,0,1,0,1,0,1,1,0,0] => [[],[],[],[[]]] => 4
[1,1,1,1,0,0,0,1,0,0] => [1,0,1,0,1,1,1,0,0,0] => [[],[],[[[]]]] => 3
[1,1,1,1,0,0,1,0,0,0] => [1,0,1,1,1,0,1,0,0,0] => [[],[[[],[]]]] => 2
[1,1,1,1,0,1,0,0,0,0] => [1,1,1,0,1,0,1,0,0,0] => [[[[],[],[]]]] => 1
[1,1,1,1,1,0,0,0,0,0] => [1,0,1,0,1,0,1,0,1,0] => [[],[],[],[],[]] => 5
[1,0,1,0,1,0,1,0,1,0,1,0] => [1,1,0,1,0,1,0,1,0,1,0,0] => [[[],[],[],[],[]]] => 1
[1,0,1,0,1,0,1,0,1,1,0,0] => [1,1,0,1,0,1,0,1,0,0,1,0] => [[[],[],[],[]],[]] => 2
[1,0,1,0,1,0,1,1,0,0,1,0] => [1,1,0,1,0,1,0,0,1,1,0,0] => [[[],[],[]],[[]]] => 2
[1,0,1,0,1,0,1,1,0,1,0,0] => [1,1,0,1,0,1,0,1,1,0,0,0] => [[[],[],[],[[]]]] => 1
[1,0,1,0,1,0,1,1,1,0,0,0] => [1,1,0,1,0,1,0,0,1,0,1,0] => [[[],[],[]],[],[]] => 3
[1,0,1,0,1,1,0,0,1,0,1,0] => [1,1,0,1,0,0,1,1,0,1,0,0] => [[[],[]],[[],[]]] => 2
[1,0,1,0,1,1,0,0,1,1,0,0] => [1,1,0,1,0,0,1,1,0,0,1,0] => [[[],[]],[[]],[]] => 3
[1,0,1,0,1,1,0,1,0,0,1,0] => [1,1,0,1,0,1,1,0,0,1,0,0] => [[[],[],[[]],[]]] => 1
[1,0,1,0,1,1,0,1,0,1,0,0] => [1,1,0,1,0,1,1,1,0,0,0,0] => [[[],[],[[[]]]]] => 1
[1,0,1,0,1,1,0,1,1,0,0,0] => [1,1,0,1,0,1,1,0,0,0,1,0] => [[[],[],[[]]],[]] => 2
[1,0,1,0,1,1,1,0,0,0,1,0] => [1,1,0,1,0,0,1,0,1,1,0,0] => [[[],[]],[],[[]]] => 3
[1,0,1,0,1,1,1,0,0,1,0,0] => [1,1,0,1,0,0,1,1,1,0,0,0] => [[[],[]],[[[]]]] => 2
[1,0,1,0,1,1,1,0,1,0,0,0] => [1,1,0,1,0,1,1,0,1,0,0,0] => [[[],[],[[],[]]]] => 1
[1,0,1,0,1,1,1,1,0,0,0,0] => [1,1,0,1,0,0,1,0,1,0,1,0] => [[[],[]],[],[],[]] => 4
[1,0,1,1,0,0,1,0,1,0,1,0] => [1,1,0,0,1,1,0,1,0,1,0,0] => [[[]],[[],[],[]]] => 2
[1,0,1,1,0,0,1,0,1,1,0,0] => [1,1,0,0,1,1,0,1,0,0,1,0] => [[[]],[[],[]],[]] => 3
[1,0,1,1,0,0,1,1,0,0,1,0] => [1,1,0,0,1,1,0,0,1,1,0,0] => [[[]],[[]],[[]]] => 3
[1,0,1,1,0,0,1,1,0,1,0,0] => [1,1,0,0,1,1,0,1,1,0,0,0] => [[[]],[[],[[]]]] => 2
[1,0,1,1,0,0,1,1,1,0,0,0] => [1,1,0,0,1,1,0,0,1,0,1,0] => [[[]],[[]],[],[]] => 4
[1,0,1,1,0,1,0,0,1,0,1,0] => [1,1,0,1,1,0,0,1,0,1,0,0] => [[[],[[]],[],[]]] => 1
[1,0,1,1,0,1,0,0,1,1,0,0] => [1,1,0,1,1,0,0,1,0,0,1,0] => [[[],[[]],[]],[]] => 2
[1,0,1,1,0,1,0,1,0,0,1,0] => [1,1,0,1,1,1,0,0,0,1,0,0] => [[[],[[[]]],[]]] => 1
[1,0,1,1,0,1,0,1,0,1,0,0] => [1,1,0,1,1,1,0,1,0,0,0,0] => [[[],[[[],[]]]]] => 1
[1,0,1,1,0,1,0,1,1,0,0,0] => [1,1,0,1,1,1,0,0,0,0,1,0] => [[[],[[[]]]],[]] => 2
[1,0,1,1,0,1,1,0,0,0,1,0] => [1,1,0,1,1,0,0,0,1,1,0,0] => [[[],[[]]],[[]]] => 2
[1,0,1,1,0,1,1,0,0,1,0,0] => [1,1,0,1,1,0,0,1,1,0,0,0] => [[[],[[]],[[]]]] => 1
[1,0,1,1,0,1,1,0,1,0,0,0] => [1,1,0,1,1,1,0,0,1,0,0,0] => [[[],[[[]],[]]]] => 1
[1,0,1,1,0,1,1,1,0,0,0,0] => [1,1,0,1,1,0,0,0,1,0,1,0] => [[[],[[]]],[],[]] => 3
[1,0,1,1,1,0,0,0,1,0,1,0] => [1,1,0,0,1,0,1,1,0,1,0,0] => [[[]],[],[[],[]]] => 3
[1,0,1,1,1,0,0,0,1,1,0,0] => [1,1,0,0,1,0,1,1,0,0,1,0] => [[[]],[],[[]],[]] => 4
[1,0,1,1,1,0,0,1,0,0,1,0] => [1,1,0,0,1,1,1,0,0,1,0,0] => [[[]],[[[]],[]]] => 2
[1,0,1,1,1,0,0,1,0,1,0,0] => [1,1,0,0,1,1,1,1,0,0,0,0] => [[[]],[[[[]]]]] => 2
[1,0,1,1,1,0,0,1,1,0,0,0] => [1,1,0,0,1,1,1,0,0,0,1,0] => [[[]],[[[]]],[]] => 3
[1,0,1,1,1,0,1,0,0,0,1,0] => [1,1,0,1,1,0,1,0,0,1,0,0] => [[[],[[],[]],[]]] => 1
[1,0,1,1,1,0,1,0,0,1,0,0] => [1,1,0,1,1,0,1,1,0,0,0,0] => [[[],[[],[[]]]]] => 1
[1,0,1,1,1,0,1,0,1,0,0,0] => [1,1,0,1,1,1,1,0,0,0,0,0] => [[[],[[[[]]]]]] => 1
[1,0,1,1,1,0,1,1,0,0,0,0] => [1,1,0,1,1,0,1,0,0,0,1,0] => [[[],[[],[]]],[]] => 2
>>> Load all 196 entries. <<<
search for individual values
searching the database for the individual values of this statistic
/
search for generating function
searching the database for statistics with the same generating function
Description
The number of subtrees.
Map
Delest-Viennot
Description
Return the Dyck path corresponding to the parallelogram polyomino obtained by applying Delest-Viennot's bijection.
Let $D$ be a Dyck path of semilength $n$. The parallelogram polyomino $\gamma(D)$ is defined as follows: let $\tilde D = d_0 d_1 \dots d_{2n+1}$ be the Dyck path obtained by prepending an up step and appending a down step to $D$. Then, the upper path of $\gamma(D)$ corresponds to the sequence of steps of $\tilde D$ with even indices, and the lower path of $\gamma(D)$ corresponds to the sequence of steps of $\tilde D$ with odd indices.
The Delest-Viennot bijection $\beta$ returns the parallelogram polyomino, whose column heights are the heights of the peaks of the Dyck path, and the intersection heights between columns are the heights of the valleys of the Dyck path.
This map returns the Dyck path $(\gamma^{(-1)}\circ\beta)(D)$.
Let $D$ be a Dyck path of semilength $n$. The parallelogram polyomino $\gamma(D)$ is defined as follows: let $\tilde D = d_0 d_1 \dots d_{2n+1}$ be the Dyck path obtained by prepending an up step and appending a down step to $D$. Then, the upper path of $\gamma(D)$ corresponds to the sequence of steps of $\tilde D$ with even indices, and the lower path of $\gamma(D)$ corresponds to the sequence of steps of $\tilde D$ with odd indices.
The Delest-Viennot bijection $\beta$ returns the parallelogram polyomino, whose column heights are the heights of the peaks of the Dyck path, and the intersection heights between columns are the heights of the valleys of the Dyck path.
This map returns the Dyck path $(\gamma^{(-1)}\circ\beta)(D)$.
Map
to ordered tree
Description
Sends a Dyck path to the ordered tree encoding the heights of the path.
This map is recursively defined as follows: A Dyck path $D$ of semilength $n$ may be decomposed, according to its returns (St000011The number of touch points (or returns) of a Dyck path.), into smaller paths $D_1,\dots,D_k$ of respective semilengths $n_1,\dots,n_k$ (so one has $n = n_1 + \dots n_k$) each of which has no returns.
Denote by $\tilde D_i$ the path of semilength $n_i-1$ obtained from $D_i$ by removing the initial up- and the final down-step.
This map then sends $D$ to the tree $T$ having a root note with ordered children $T_1,\dots,T_k$ which are again ordered trees computed from $D_1,\dots,D_k$ respectively.
The unique path of semilength $1$ is sent to the tree consisting of a single node.
This map is recursively defined as follows: A Dyck path $D$ of semilength $n$ may be decomposed, according to its returns (St000011The number of touch points (or returns) of a Dyck path.), into smaller paths $D_1,\dots,D_k$ of respective semilengths $n_1,\dots,n_k$ (so one has $n = n_1 + \dots n_k$) each of which has no returns.
Denote by $\tilde D_i$ the path of semilength $n_i-1$ obtained from $D_i$ by removing the initial up- and the final down-step.
This map then sends $D$ to the tree $T$ having a root note with ordered children $T_1,\dots,T_k$ which are again ordered trees computed from $D_1,\dots,D_k$ respectively.
The unique path of semilength $1$ is sent to the tree consisting of a single node.
searching the database
Sorry, this statistic was not found in the database
or
add this statistic to the database – it's very simple and we need your support!