Identifier
-
Mp00178:
Binary words
—to composition⟶
Integer compositions
Mp00231: Integer compositions —bounce path⟶ Dyck paths
Mp00034: Dyck paths —to binary tree: up step, left tree, down step, right tree⟶ Binary trees
St000201: Binary trees ⟶ ℤ (values match St000196The number of occurrences of the contiguous pattern [[.,.],[.,.)
Values
0 => [2] => [1,1,0,0] => [[.,.],.] => 1
1 => [1,1] => [1,0,1,0] => [.,[.,.]] => 1
00 => [3] => [1,1,1,0,0,0] => [[[.,.],.],.] => 1
01 => [2,1] => [1,1,0,0,1,0] => [[.,.],[.,.]] => 2
10 => [1,2] => [1,0,1,1,0,0] => [.,[[.,.],.]] => 1
11 => [1,1,1] => [1,0,1,0,1,0] => [.,[.,[.,.]]] => 1
000 => [4] => [1,1,1,1,0,0,0,0] => [[[[.,.],.],.],.] => 1
001 => [3,1] => [1,1,1,0,0,0,1,0] => [[[.,.],.],[.,.]] => 2
010 => [2,2] => [1,1,0,0,1,1,0,0] => [[.,.],[[.,.],.]] => 2
011 => [2,1,1] => [1,1,0,0,1,0,1,0] => [[.,.],[.,[.,.]]] => 2
100 => [1,3] => [1,0,1,1,1,0,0,0] => [.,[[[.,.],.],.]] => 1
101 => [1,2,1] => [1,0,1,1,0,0,1,0] => [.,[[.,.],[.,.]]] => 2
110 => [1,1,2] => [1,0,1,0,1,1,0,0] => [.,[.,[[.,.],.]]] => 1
111 => [1,1,1,1] => [1,0,1,0,1,0,1,0] => [.,[.,[.,[.,.]]]] => 1
0000 => [5] => [1,1,1,1,1,0,0,0,0,0] => [[[[[.,.],.],.],.],.] => 1
0001 => [4,1] => [1,1,1,1,0,0,0,0,1,0] => [[[[.,.],.],.],[.,.]] => 2
0010 => [3,2] => [1,1,1,0,0,0,1,1,0,0] => [[[.,.],.],[[.,.],.]] => 2
0011 => [3,1,1] => [1,1,1,0,0,0,1,0,1,0] => [[[.,.],.],[.,[.,.]]] => 2
0100 => [2,3] => [1,1,0,0,1,1,1,0,0,0] => [[.,.],[[[.,.],.],.]] => 2
0101 => [2,2,1] => [1,1,0,0,1,1,0,0,1,0] => [[.,.],[[.,.],[.,.]]] => 3
0110 => [2,1,2] => [1,1,0,0,1,0,1,1,0,0] => [[.,.],[.,[[.,.],.]]] => 2
0111 => [2,1,1,1] => [1,1,0,0,1,0,1,0,1,0] => [[.,.],[.,[.,[.,.]]]] => 2
1000 => [1,4] => [1,0,1,1,1,1,0,0,0,0] => [.,[[[[.,.],.],.],.]] => 1
1001 => [1,3,1] => [1,0,1,1,1,0,0,0,1,0] => [.,[[[.,.],.],[.,.]]] => 2
1010 => [1,2,2] => [1,0,1,1,0,0,1,1,0,0] => [.,[[.,.],[[.,.],.]]] => 2
1011 => [1,2,1,1] => [1,0,1,1,0,0,1,0,1,0] => [.,[[.,.],[.,[.,.]]]] => 2
1100 => [1,1,3] => [1,0,1,0,1,1,1,0,0,0] => [.,[.,[[[.,.],.],.]]] => 1
1101 => [1,1,2,1] => [1,0,1,0,1,1,0,0,1,0] => [.,[.,[[.,.],[.,.]]]] => 2
1110 => [1,1,1,2] => [1,0,1,0,1,0,1,1,0,0] => [.,[.,[.,[[.,.],.]]]] => 1
1111 => [1,1,1,1,1] => [1,0,1,0,1,0,1,0,1,0] => [.,[.,[.,[.,[.,.]]]]] => 1
00000 => [6] => [1,1,1,1,1,1,0,0,0,0,0,0] => [[[[[[.,.],.],.],.],.],.] => 1
00001 => [5,1] => [1,1,1,1,1,0,0,0,0,0,1,0] => [[[[[.,.],.],.],.],[.,.]] => 2
00010 => [4,2] => [1,1,1,1,0,0,0,0,1,1,0,0] => [[[[.,.],.],.],[[.,.],.]] => 2
00011 => [4,1,1] => [1,1,1,1,0,0,0,0,1,0,1,0] => [[[[.,.],.],.],[.,[.,.]]] => 2
00100 => [3,3] => [1,1,1,0,0,0,1,1,1,0,0,0] => [[[.,.],.],[[[.,.],.],.]] => 2
00101 => [3,2,1] => [1,1,1,0,0,0,1,1,0,0,1,0] => [[[.,.],.],[[.,.],[.,.]]] => 3
00110 => [3,1,2] => [1,1,1,0,0,0,1,0,1,1,0,0] => [[[.,.],.],[.,[[.,.],.]]] => 2
00111 => [3,1,1,1] => [1,1,1,0,0,0,1,0,1,0,1,0] => [[[.,.],.],[.,[.,[.,.]]]] => 2
01000 => [2,4] => [1,1,0,0,1,1,1,1,0,0,0,0] => [[.,.],[[[[.,.],.],.],.]] => 2
01001 => [2,3,1] => [1,1,0,0,1,1,1,0,0,0,1,0] => [[.,.],[[[.,.],.],[.,.]]] => 3
01010 => [2,2,2] => [1,1,0,0,1,1,0,0,1,1,0,0] => [[.,.],[[.,.],[[.,.],.]]] => 3
01011 => [2,2,1,1] => [1,1,0,0,1,1,0,0,1,0,1,0] => [[.,.],[[.,.],[.,[.,.]]]] => 3
01100 => [2,1,3] => [1,1,0,0,1,0,1,1,1,0,0,0] => [[.,.],[.,[[[.,.],.],.]]] => 2
01101 => [2,1,2,1] => [1,1,0,0,1,0,1,1,0,0,1,0] => [[.,.],[.,[[.,.],[.,.]]]] => 3
01110 => [2,1,1,2] => [1,1,0,0,1,0,1,0,1,1,0,0] => [[.,.],[.,[.,[[.,.],.]]]] => 2
01111 => [2,1,1,1,1] => [1,1,0,0,1,0,1,0,1,0,1,0] => [[.,.],[.,[.,[.,[.,.]]]]] => 2
10000 => [1,5] => [1,0,1,1,1,1,1,0,0,0,0,0] => [.,[[[[[.,.],.],.],.],.]] => 1
10001 => [1,4,1] => [1,0,1,1,1,1,0,0,0,0,1,0] => [.,[[[[.,.],.],.],[.,.]]] => 2
10010 => [1,3,2] => [1,0,1,1,1,0,0,0,1,1,0,0] => [.,[[[.,.],.],[[.,.],.]]] => 2
10011 => [1,3,1,1] => [1,0,1,1,1,0,0,0,1,0,1,0] => [.,[[[.,.],.],[.,[.,.]]]] => 2
10100 => [1,2,3] => [1,0,1,1,0,0,1,1,1,0,0,0] => [.,[[.,.],[[[.,.],.],.]]] => 2
10101 => [1,2,2,1] => [1,0,1,1,0,0,1,1,0,0,1,0] => [.,[[.,.],[[.,.],[.,.]]]] => 3
10110 => [1,2,1,2] => [1,0,1,1,0,0,1,0,1,1,0,0] => [.,[[.,.],[.,[[.,.],.]]]] => 2
10111 => [1,2,1,1,1] => [1,0,1,1,0,0,1,0,1,0,1,0] => [.,[[.,.],[.,[.,[.,.]]]]] => 2
11000 => [1,1,4] => [1,0,1,0,1,1,1,1,0,0,0,0] => [.,[.,[[[[.,.],.],.],.]]] => 1
11001 => [1,1,3,1] => [1,0,1,0,1,1,1,0,0,0,1,0] => [.,[.,[[[.,.],.],[.,.]]]] => 2
11010 => [1,1,2,2] => [1,0,1,0,1,1,0,0,1,1,0,0] => [.,[.,[[.,.],[[.,.],.]]]] => 2
11011 => [1,1,2,1,1] => [1,0,1,0,1,1,0,0,1,0,1,0] => [.,[.,[[.,.],[.,[.,.]]]]] => 2
11100 => [1,1,1,3] => [1,0,1,0,1,0,1,1,1,0,0,0] => [.,[.,[.,[[[.,.],.],.]]]] => 1
11101 => [1,1,1,2,1] => [1,0,1,0,1,0,1,1,0,0,1,0] => [.,[.,[.,[[.,.],[.,.]]]]] => 2
11110 => [1,1,1,1,2] => [1,0,1,0,1,0,1,0,1,1,0,0] => [.,[.,[.,[.,[[.,.],.]]]]] => 1
11111 => [1,1,1,1,1,1] => [1,0,1,0,1,0,1,0,1,0,1,0] => [.,[.,[.,[.,[.,[.,.]]]]]] => 1
000000 => [7] => [1,1,1,1,1,1,1,0,0,0,0,0,0,0] => [[[[[[[.,.],.],.],.],.],.],.] => 1
000001 => [6,1] => [1,1,1,1,1,1,0,0,0,0,0,0,1,0] => [[[[[[.,.],.],.],.],.],[.,.]] => 2
000010 => [5,2] => [1,1,1,1,1,0,0,0,0,0,1,1,0,0] => [[[[[.,.],.],.],.],[[.,.],.]] => 2
000011 => [5,1,1] => [1,1,1,1,1,0,0,0,0,0,1,0,1,0] => [[[[[.,.],.],.],.],[.,[.,.]]] => 2
000100 => [4,3] => [1,1,1,1,0,0,0,0,1,1,1,0,0,0] => [[[[.,.],.],.],[[[.,.],.],.]] => 2
000101 => [4,2,1] => [1,1,1,1,0,0,0,0,1,1,0,0,1,0] => [[[[.,.],.],.],[[.,.],[.,.]]] => 3
000110 => [4,1,2] => [1,1,1,1,0,0,0,0,1,0,1,1,0,0] => [[[[.,.],.],.],[.,[[.,.],.]]] => 2
000111 => [4,1,1,1] => [1,1,1,1,0,0,0,0,1,0,1,0,1,0] => [[[[.,.],.],.],[.,[.,[.,.]]]] => 2
001000 => [3,4] => [1,1,1,0,0,0,1,1,1,1,0,0,0,0] => [[[.,.],.],[[[[.,.],.],.],.]] => 2
001001 => [3,3,1] => [1,1,1,0,0,0,1,1,1,0,0,0,1,0] => [[[.,.],.],[[[.,.],.],[.,.]]] => 3
001010 => [3,2,2] => [1,1,1,0,0,0,1,1,0,0,1,1,0,0] => [[[.,.],.],[[.,.],[[.,.],.]]] => 3
001011 => [3,2,1,1] => [1,1,1,0,0,0,1,1,0,0,1,0,1,0] => [[[.,.],.],[[.,.],[.,[.,.]]]] => 3
001100 => [3,1,3] => [1,1,1,0,0,0,1,0,1,1,1,0,0,0] => [[[.,.],.],[.,[[[.,.],.],.]]] => 2
001101 => [3,1,2,1] => [1,1,1,0,0,0,1,0,1,1,0,0,1,0] => [[[.,.],.],[.,[[.,.],[.,.]]]] => 3
001110 => [3,1,1,2] => [1,1,1,0,0,0,1,0,1,0,1,1,0,0] => [[[.,.],.],[.,[.,[[.,.],.]]]] => 2
001111 => [3,1,1,1,1] => [1,1,1,0,0,0,1,0,1,0,1,0,1,0] => [[[.,.],.],[.,[.,[.,[.,.]]]]] => 2
010000 => [2,5] => [1,1,0,0,1,1,1,1,1,0,0,0,0,0] => [[.,.],[[[[[.,.],.],.],.],.]] => 2
010001 => [2,4,1] => [1,1,0,0,1,1,1,1,0,0,0,0,1,0] => [[.,.],[[[[.,.],.],.],[.,.]]] => 3
010010 => [2,3,2] => [1,1,0,0,1,1,1,0,0,0,1,1,0,0] => [[.,.],[[[.,.],.],[[.,.],.]]] => 3
010011 => [2,3,1,1] => [1,1,0,0,1,1,1,0,0,0,1,0,1,0] => [[.,.],[[[.,.],.],[.,[.,.]]]] => 3
010100 => [2,2,3] => [1,1,0,0,1,1,0,0,1,1,1,0,0,0] => [[.,.],[[.,.],[[[.,.],.],.]]] => 3
010101 => [2,2,2,1] => [1,1,0,0,1,1,0,0,1,1,0,0,1,0] => [[.,.],[[.,.],[[.,.],[.,.]]]] => 4
010110 => [2,2,1,2] => [1,1,0,0,1,1,0,0,1,0,1,1,0,0] => [[.,.],[[.,.],[.,[[.,.],.]]]] => 3
010111 => [2,2,1,1,1] => [1,1,0,0,1,1,0,0,1,0,1,0,1,0] => [[.,.],[[.,.],[.,[.,[.,.]]]]] => 3
011000 => [2,1,4] => [1,1,0,0,1,0,1,1,1,1,0,0,0,0] => [[.,.],[.,[[[[.,.],.],.],.]]] => 2
011001 => [2,1,3,1] => [1,1,0,0,1,0,1,1,1,0,0,0,1,0] => [[.,.],[.,[[[.,.],.],[.,.]]]] => 3
011010 => [2,1,2,2] => [1,1,0,0,1,0,1,1,0,0,1,1,0,0] => [[.,.],[.,[[.,.],[[.,.],.]]]] => 3
011011 => [2,1,2,1,1] => [1,1,0,0,1,0,1,1,0,0,1,0,1,0] => [[.,.],[.,[[.,.],[.,[.,.]]]]] => 3
011100 => [2,1,1,3] => [1,1,0,0,1,0,1,0,1,1,1,0,0,0] => [[.,.],[.,[.,[[[.,.],.],.]]]] => 2
011101 => [2,1,1,2,1] => [1,1,0,0,1,0,1,0,1,1,0,0,1,0] => [[.,.],[.,[.,[[.,.],[.,.]]]]] => 3
011110 => [2,1,1,1,2] => [1,1,0,0,1,0,1,0,1,0,1,1,0,0] => [[.,.],[.,[.,[.,[[.,.],.]]]]] => 2
011111 => [2,1,1,1,1,1] => [1,1,0,0,1,0,1,0,1,0,1,0,1,0] => [[.,.],[.,[.,[.,[.,[.,.]]]]]] => 2
100000 => [1,6] => [1,0,1,1,1,1,1,1,0,0,0,0,0,0] => [.,[[[[[[.,.],.],.],.],.],.]] => 1
100001 => [1,5,1] => [1,0,1,1,1,1,1,0,0,0,0,0,1,0] => [.,[[[[[.,.],.],.],.],[.,.]]] => 2
100010 => [1,4,2] => [1,0,1,1,1,1,0,0,0,0,1,1,0,0] => [.,[[[[.,.],.],.],[[.,.],.]]] => 2
100011 => [1,4,1,1] => [1,0,1,1,1,1,0,0,0,0,1,0,1,0] => [.,[[[[.,.],.],.],[.,[.,.]]]] => 2
100100 => [1,3,3] => [1,0,1,1,1,0,0,0,1,1,1,0,0,0] => [.,[[[.,.],.],[[[.,.],.],.]]] => 2
100101 => [1,3,2,1] => [1,0,1,1,1,0,0,0,1,1,0,0,1,0] => [.,[[[.,.],.],[[.,.],[.,.]]]] => 3
100110 => [1,3,1,2] => [1,0,1,1,1,0,0,0,1,0,1,1,0,0] => [.,[[[.,.],.],[.,[[.,.],.]]]] => 2
>>> Load all 155 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 leaf nodes in a binary tree.
Equivalently, the number of cherries [1] in the complete binary tree.
The number of binary trees of size $n$, at least $1$, with exactly one leaf node for is $2^{n-1}$, see [2].
The number of binary tree of size $n$, at least $3$, with exactly two leaf nodes is $n(n+1)2^{n-2}$, see [3].
Equivalently, the number of cherries [1] in the complete binary tree.
The number of binary trees of size $n$, at least $1$, with exactly one leaf node for is $2^{n-1}$, see [2].
The number of binary tree of size $n$, at least $3$, with exactly two leaf nodes is $n(n+1)2^{n-2}$, see [3].
Map
to composition
Description
The composition corresponding to a binary word.
Prepending $1$ to a binary word $w$, the $i$-th part of the composition equals $1$ plus the number of zeros after the $i$-th $1$ in $w$.
This map is not surjective, since the empty composition does not have a preimage.
Prepending $1$ to a binary word $w$, the $i$-th part of the composition equals $1$ plus the number of zeros after the $i$-th $1$ in $w$.
This map is not surjective, since the empty composition does not have a preimage.
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!