Identifier
-
Mp00231:
Integer compositions
—bounce path⟶
Dyck paths
Mp00034: Dyck paths —to binary tree: up step, left tree, down step, right tree⟶ Binary trees
St000045: Binary trees ⟶ ℤ
Values
[1,1,1] => [1,0,1,0,1,0] => [.,[.,[.,.]]] => 1
[1,2] => [1,0,1,1,0,0] => [.,[[.,.],.]] => 1
[2,1] => [1,1,0,0,1,0] => [[.,.],[.,.]] => 2
[3] => [1,1,1,0,0,0] => [[[.,.],.],.] => 1
[1,1,1,1] => [1,0,1,0,1,0,1,0] => [.,[.,[.,[.,.]]]] => 1
[1,1,2] => [1,0,1,0,1,1,0,0] => [.,[.,[[.,.],.]]] => 1
[1,2,1] => [1,0,1,1,0,0,1,0] => [.,[[.,.],[.,.]]] => 2
[1,3] => [1,0,1,1,1,0,0,0] => [.,[[[.,.],.],.]] => 1
[2,1,1] => [1,1,0,0,1,0,1,0] => [[.,.],[.,[.,.]]] => 3
[2,2] => [1,1,0,0,1,1,0,0] => [[.,.],[[.,.],.]] => 3
[3,1] => [1,1,1,0,0,0,1,0] => [[[.,.],.],[.,.]] => 3
[4] => [1,1,1,1,0,0,0,0] => [[[[.,.],.],.],.] => 1
[1,1,1,1,1] => [1,0,1,0,1,0,1,0,1,0] => [.,[.,[.,[.,[.,.]]]]] => 1
[1,1,1,2] => [1,0,1,0,1,0,1,1,0,0] => [.,[.,[.,[[.,.],.]]]] => 1
[1,1,2,1] => [1,0,1,0,1,1,0,0,1,0] => [.,[.,[[.,.],[.,.]]]] => 2
[1,1,3] => [1,0,1,0,1,1,1,0,0,0] => [.,[.,[[[.,.],.],.]]] => 1
[1,2,1,1] => [1,0,1,1,0,0,1,0,1,0] => [.,[[.,.],[.,[.,.]]]] => 3
[1,2,2] => [1,0,1,1,0,0,1,1,0,0] => [.,[[.,.],[[.,.],.]]] => 3
[1,3,1] => [1,0,1,1,1,0,0,0,1,0] => [.,[[[.,.],.],[.,.]]] => 3
[1,4] => [1,0,1,1,1,1,0,0,0,0] => [.,[[[[.,.],.],.],.]] => 1
[2,1,1,1] => [1,1,0,0,1,0,1,0,1,0] => [[.,.],[.,[.,[.,.]]]] => 4
[2,1,2] => [1,1,0,0,1,0,1,1,0,0] => [[.,.],[.,[[.,.],.]]] => 4
[2,2,1] => [1,1,0,0,1,1,0,0,1,0] => [[.,.],[[.,.],[.,.]]] => 8
[2,3] => [1,1,0,0,1,1,1,0,0,0] => [[.,.],[[[.,.],.],.]] => 4
[3,1,1] => [1,1,1,0,0,0,1,0,1,0] => [[[.,.],.],[.,[.,.]]] => 6
[3,2] => [1,1,1,0,0,0,1,1,0,0] => [[[.,.],.],[[.,.],.]] => 6
[4,1] => [1,1,1,1,0,0,0,0,1,0] => [[[[.,.],.],.],[.,.]] => 4
[5] => [1,1,1,1,1,0,0,0,0,0] => [[[[[.,.],.],.],.],.] => 1
[1,1,1,1,1,1] => [1,0,1,0,1,0,1,0,1,0,1,0] => [.,[.,[.,[.,[.,[.,.]]]]]] => 1
[1,1,1,1,2] => [1,0,1,0,1,0,1,0,1,1,0,0] => [.,[.,[.,[.,[[.,.],.]]]]] => 1
[1,1,1,2,1] => [1,0,1,0,1,0,1,1,0,0,1,0] => [.,[.,[.,[[.,.],[.,.]]]]] => 2
[1,1,1,3] => [1,0,1,0,1,0,1,1,1,0,0,0] => [.,[.,[.,[[[.,.],.],.]]]] => 1
[1,1,2,1,1] => [1,0,1,0,1,1,0,0,1,0,1,0] => [.,[.,[[.,.],[.,[.,.]]]]] => 3
[1,1,2,2] => [1,0,1,0,1,1,0,0,1,1,0,0] => [.,[.,[[.,.],[[.,.],.]]]] => 3
[1,1,3,1] => [1,0,1,0,1,1,1,0,0,0,1,0] => [.,[.,[[[.,.],.],[.,.]]]] => 3
[1,1,4] => [1,0,1,0,1,1,1,1,0,0,0,0] => [.,[.,[[[[.,.],.],.],.]]] => 1
[1,2,1,1,1] => [1,0,1,1,0,0,1,0,1,0,1,0] => [.,[[.,.],[.,[.,[.,.]]]]] => 4
[1,2,1,2] => [1,0,1,1,0,0,1,0,1,1,0,0] => [.,[[.,.],[.,[[.,.],.]]]] => 4
[1,2,2,1] => [1,0,1,1,0,0,1,1,0,0,1,0] => [.,[[.,.],[[.,.],[.,.]]]] => 8
[1,2,3] => [1,0,1,1,0,0,1,1,1,0,0,0] => [.,[[.,.],[[[.,.],.],.]]] => 4
[1,3,1,1] => [1,0,1,1,1,0,0,0,1,0,1,0] => [.,[[[.,.],.],[.,[.,.]]]] => 6
[1,3,2] => [1,0,1,1,1,0,0,0,1,1,0,0] => [.,[[[.,.],.],[[.,.],.]]] => 6
[1,4,1] => [1,0,1,1,1,1,0,0,0,0,1,0] => [.,[[[[.,.],.],.],[.,.]]] => 4
[1,5] => [1,0,1,1,1,1,1,0,0,0,0,0] => [.,[[[[[.,.],.],.],.],.]] => 1
[2,1,1,1,1] => [1,1,0,0,1,0,1,0,1,0,1,0] => [[.,.],[.,[.,[.,[.,.]]]]] => 5
[2,1,1,2] => [1,1,0,0,1,0,1,0,1,1,0,0] => [[.,.],[.,[.,[[.,.],.]]]] => 5
[2,1,2,1] => [1,1,0,0,1,0,1,1,0,0,1,0] => [[.,.],[.,[[.,.],[.,.]]]] => 10
[2,1,3] => [1,1,0,0,1,0,1,1,1,0,0,0] => [[.,.],[.,[[[.,.],.],.]]] => 5
[2,2,1,1] => [1,1,0,0,1,1,0,0,1,0,1,0] => [[.,.],[[.,.],[.,[.,.]]]] => 15
[2,2,2] => [1,1,0,0,1,1,0,0,1,1,0,0] => [[.,.],[[.,.],[[.,.],.]]] => 15
[2,3,1] => [1,1,0,0,1,1,1,0,0,0,1,0] => [[.,.],[[[.,.],.],[.,.]]] => 15
[2,4] => [1,1,0,0,1,1,1,1,0,0,0,0] => [[.,.],[[[[.,.],.],.],.]] => 5
[3,1,1,1] => [1,1,1,0,0,0,1,0,1,0,1,0] => [[[.,.],.],[.,[.,[.,.]]]] => 10
[3,1,2] => [1,1,1,0,0,0,1,0,1,1,0,0] => [[[.,.],.],[.,[[.,.],.]]] => 10
[3,2,1] => [1,1,1,0,0,0,1,1,0,0,1,0] => [[[.,.],.],[[.,.],[.,.]]] => 20
[3,3] => [1,1,1,0,0,0,1,1,1,0,0,0] => [[[.,.],.],[[[.,.],.],.]] => 10
[4,1,1] => [1,1,1,1,0,0,0,0,1,0,1,0] => [[[[.,.],.],.],[.,[.,.]]] => 10
[4,2] => [1,1,1,1,0,0,0,0,1,1,0,0] => [[[[.,.],.],.],[[.,.],.]] => 10
[5,1] => [1,1,1,1,1,0,0,0,0,0,1,0] => [[[[[.,.],.],.],.],[.,.]] => 5
[6] => [1,1,1,1,1,1,0,0,0,0,0,0] => [[[[[[.,.],.],.],.],.],.] => 1
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 linear extensions of a binary tree.
Also, the number of increasing / decreasing binary trees labelled by $1, \dots, n$ of this shape.
Also, the size of the sylvester class corresponding to this tree when the Tamari order is seen as a quotient poset of the right weak order on permutations.
Also, the number of permutations which give this tree shape when inserted in a binary search tree.
Also, the number of permutations which increasing / decreasing tree is of this shape.
Also, the number of increasing / decreasing binary trees labelled by $1, \dots, n$ of this shape.
Also, the size of the sylvester class corresponding to this tree when the Tamari order is seen as a quotient poset of the right weak order on permutations.
Also, the number of permutations which give this tree shape when inserted in a binary search tree.
Also, the number of permutations which increasing / decreasing tree is of this shape.
Map
bounce path
Description
The bounce path determined by an integer composition.
Map
to binary tree: up step, left tree, down step, right tree
Description
Return the binary tree corresponding to the Dyck path under the transformation up step - left tree - down step - right tree.
A Dyck path $D$ of semilength $n$ with $ n > 1$ may be uniquely decomposed into $1L0R$ for Dyck paths L,R of respective semilengths $n_1, n_2$ with $n_1 + n_2 = n-1$.
This map sends $D$ to the binary tree $T$ consisting of a root node with a left child according to $L$ and a right child according to $R$ and then recursively proceeds.
The base case of the unique Dyck path of semilength $1$ is sent to a single node.
A Dyck path $D$ of semilength $n$ with $ n > 1$ may be uniquely decomposed into $1L0R$ for Dyck paths L,R of respective semilengths $n_1, n_2$ with $n_1 + n_2 = n-1$.
This map sends $D$ to the binary tree $T$ consisting of a root node with a left child according to $L$ and a right child according to $R$ and then recursively proceeds.
The base case of the unique Dyck path of semilength $1$ is sent to 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!