Identifier
-
Mp00025:
Dyck paths
—to 132-avoiding permutation⟶
Permutations
Mp00061: Permutations —to increasing tree⟶ Binary trees
Mp00010: Binary trees —to ordered tree: left child = left brother⟶ Ordered trees
St000085: Ordered trees ⟶ ℤ
Values
[1,0] => [1] => [.,.] => [[]] => 1
[1,0,1,0] => [2,1] => [[.,.],.] => [[],[]] => 2
[1,1,0,0] => [1,2] => [.,[.,.]] => [[[]]] => 1
[1,0,1,0,1,0] => [3,2,1] => [[[.,.],.],.] => [[],[],[]] => 6
[1,0,1,1,0,0] => [2,3,1] => [[.,[.,.]],.] => [[[]],[]] => 3
[1,1,0,0,1,0] => [3,1,2] => [[.,.],[.,.]] => [[],[[]]] => 3
[1,1,0,1,0,0] => [2,1,3] => [[.,.],[.,.]] => [[],[[]]] => 3
[1,1,1,0,0,0] => [1,2,3] => [.,[.,[.,.]]] => [[[[]]]] => 1
[1,0,1,0,1,0,1,0] => [4,3,2,1] => [[[[.,.],.],.],.] => [[],[],[],[]] => 24
[1,0,1,0,1,1,0,0] => [3,4,2,1] => [[[.,[.,.]],.],.] => [[[]],[],[]] => 12
[1,0,1,1,0,0,1,0] => [4,2,3,1] => [[[.,.],[.,.]],.] => [[],[[]],[]] => 12
[1,0,1,1,0,1,0,0] => [3,2,4,1] => [[[.,.],[.,.]],.] => [[],[[]],[]] => 12
[1,0,1,1,1,0,0,0] => [2,3,4,1] => [[.,[.,[.,.]]],.] => [[[[]]],[]] => 4
[1,1,0,0,1,0,1,0] => [4,3,1,2] => [[[.,.],.],[.,.]] => [[],[],[[]]] => 12
[1,1,0,0,1,1,0,0] => [3,4,1,2] => [[.,[.,.]],[.,.]] => [[[]],[[]]] => 6
[1,1,0,1,0,0,1,0] => [4,2,1,3] => [[[.,.],.],[.,.]] => [[],[],[[]]] => 12
[1,1,0,1,0,1,0,0] => [3,2,1,4] => [[[.,.],.],[.,.]] => [[],[],[[]]] => 12
[1,1,0,1,1,0,0,0] => [2,3,1,4] => [[.,[.,.]],[.,.]] => [[[]],[[]]] => 6
[1,1,1,0,0,0,1,0] => [4,1,2,3] => [[.,.],[.,[.,.]]] => [[],[[[]]]] => 4
[1,1,1,0,0,1,0,0] => [3,1,2,4] => [[.,.],[.,[.,.]]] => [[],[[[]]]] => 4
[1,1,1,0,1,0,0,0] => [2,1,3,4] => [[.,.],[.,[.,.]]] => [[],[[[]]]] => 4
[1,1,1,1,0,0,0,0] => [1,2,3,4] => [.,[.,[.,[.,.]]]] => [[[[[]]]]] => 1
[1,0,1,0,1,0,1,0,1,0] => [5,4,3,2,1] => [[[[[.,.],.],.],.],.] => [[],[],[],[],[]] => 120
[1,0,1,0,1,0,1,1,0,0] => [4,5,3,2,1] => [[[[.,[.,.]],.],.],.] => [[[]],[],[],[]] => 60
[1,0,1,0,1,1,0,0,1,0] => [5,3,4,2,1] => [[[[.,.],[.,.]],.],.] => [[],[[]],[],[]] => 60
[1,0,1,0,1,1,0,1,0,0] => [4,3,5,2,1] => [[[[.,.],[.,.]],.],.] => [[],[[]],[],[]] => 60
[1,0,1,0,1,1,1,0,0,0] => [3,4,5,2,1] => [[[.,[.,[.,.]]],.],.] => [[[[]]],[],[]] => 20
[1,0,1,1,0,0,1,0,1,0] => [5,4,2,3,1] => [[[[.,.],.],[.,.]],.] => [[],[],[[]],[]] => 60
[1,0,1,1,0,0,1,1,0,0] => [4,5,2,3,1] => [[[.,[.,.]],[.,.]],.] => [[[]],[[]],[]] => 30
[1,0,1,1,0,1,0,0,1,0] => [5,3,2,4,1] => [[[[.,.],.],[.,.]],.] => [[],[],[[]],[]] => 60
[1,0,1,1,0,1,0,1,0,0] => [4,3,2,5,1] => [[[[.,.],.],[.,.]],.] => [[],[],[[]],[]] => 60
[1,0,1,1,0,1,1,0,0,0] => [3,4,2,5,1] => [[[.,[.,.]],[.,.]],.] => [[[]],[[]],[]] => 30
[1,0,1,1,1,0,0,0,1,0] => [5,2,3,4,1] => [[[.,.],[.,[.,.]]],.] => [[],[[[]]],[]] => 20
[1,0,1,1,1,0,0,1,0,0] => [4,2,3,5,1] => [[[.,.],[.,[.,.]]],.] => [[],[[[]]],[]] => 20
[1,0,1,1,1,0,1,0,0,0] => [3,2,4,5,1] => [[[.,.],[.,[.,.]]],.] => [[],[[[]]],[]] => 20
[1,0,1,1,1,1,0,0,0,0] => [2,3,4,5,1] => [[.,[.,[.,[.,.]]]],.] => [[[[[]]]],[]] => 5
[1,1,0,0,1,0,1,0,1,0] => [5,4,3,1,2] => [[[[.,.],.],.],[.,.]] => [[],[],[],[[]]] => 60
[1,1,0,0,1,0,1,1,0,0] => [4,5,3,1,2] => [[[.,[.,.]],.],[.,.]] => [[[]],[],[[]]] => 30
[1,1,0,0,1,1,0,0,1,0] => [5,3,4,1,2] => [[[.,.],[.,.]],[.,.]] => [[],[[]],[[]]] => 30
[1,1,0,0,1,1,0,1,0,0] => [4,3,5,1,2] => [[[.,.],[.,.]],[.,.]] => [[],[[]],[[]]] => 30
[1,1,0,0,1,1,1,0,0,0] => [3,4,5,1,2] => [[.,[.,[.,.]]],[.,.]] => [[[[]]],[[]]] => 10
[1,1,0,1,0,0,1,0,1,0] => [5,4,2,1,3] => [[[[.,.],.],.],[.,.]] => [[],[],[],[[]]] => 60
[1,1,0,1,0,0,1,1,0,0] => [4,5,2,1,3] => [[[.,[.,.]],.],[.,.]] => [[[]],[],[[]]] => 30
[1,1,0,1,0,1,0,0,1,0] => [5,3,2,1,4] => [[[[.,.],.],.],[.,.]] => [[],[],[],[[]]] => 60
[1,1,0,1,0,1,0,1,0,0] => [4,3,2,1,5] => [[[[.,.],.],.],[.,.]] => [[],[],[],[[]]] => 60
[1,1,0,1,0,1,1,0,0,0] => [3,4,2,1,5] => [[[.,[.,.]],.],[.,.]] => [[[]],[],[[]]] => 30
[1,1,0,1,1,0,0,0,1,0] => [5,2,3,1,4] => [[[.,.],[.,.]],[.,.]] => [[],[[]],[[]]] => 30
[1,1,0,1,1,0,0,1,0,0] => [4,2,3,1,5] => [[[.,.],[.,.]],[.,.]] => [[],[[]],[[]]] => 30
[1,1,0,1,1,0,1,0,0,0] => [3,2,4,1,5] => [[[.,.],[.,.]],[.,.]] => [[],[[]],[[]]] => 30
[1,1,0,1,1,1,0,0,0,0] => [2,3,4,1,5] => [[.,[.,[.,.]]],[.,.]] => [[[[]]],[[]]] => 10
[1,1,1,0,0,0,1,0,1,0] => [5,4,1,2,3] => [[[.,.],.],[.,[.,.]]] => [[],[],[[[]]]] => 20
[1,1,1,0,0,0,1,1,0,0] => [4,5,1,2,3] => [[.,[.,.]],[.,[.,.]]] => [[[]],[[[]]]] => 10
[1,1,1,0,0,1,0,0,1,0] => [5,3,1,2,4] => [[[.,.],.],[.,[.,.]]] => [[],[],[[[]]]] => 20
[1,1,1,0,0,1,0,1,0,0] => [4,3,1,2,5] => [[[.,.],.],[.,[.,.]]] => [[],[],[[[]]]] => 20
[1,1,1,0,0,1,1,0,0,0] => [3,4,1,2,5] => [[.,[.,.]],[.,[.,.]]] => [[[]],[[[]]]] => 10
[1,1,1,0,1,0,0,0,1,0] => [5,2,1,3,4] => [[[.,.],.],[.,[.,.]]] => [[],[],[[[]]]] => 20
[1,1,1,0,1,0,0,1,0,0] => [4,2,1,3,5] => [[[.,.],.],[.,[.,.]]] => [[],[],[[[]]]] => 20
[1,1,1,0,1,0,1,0,0,0] => [3,2,1,4,5] => [[[.,.],.],[.,[.,.]]] => [[],[],[[[]]]] => 20
[1,1,1,0,1,1,0,0,0,0] => [2,3,1,4,5] => [[.,[.,.]],[.,[.,.]]] => [[[]],[[[]]]] => 10
[1,1,1,1,0,0,0,0,1,0] => [5,1,2,3,4] => [[.,.],[.,[.,[.,.]]]] => [[],[[[[]]]]] => 5
[1,1,1,1,0,0,0,1,0,0] => [4,1,2,3,5] => [[.,.],[.,[.,[.,.]]]] => [[],[[[[]]]]] => 5
[1,1,1,1,0,0,1,0,0,0] => [3,1,2,4,5] => [[.,.],[.,[.,[.,.]]]] => [[],[[[[]]]]] => 5
[1,1,1,1,0,1,0,0,0,0] => [2,1,3,4,5] => [[.,.],[.,[.,[.,.]]]] => [[],[[[[]]]]] => 5
[1,1,1,1,1,0,0,0,0,0] => [1,2,3,4,5] => [.,[.,[.,[.,[.,.]]]]] => [[[[[[]]]]]] => 1
[1,0,1,0,1,0,1,0,1,0,1,0] => [6,5,4,3,2,1] => [[[[[[.,.],.],.],.],.],.] => [[],[],[],[],[],[]] => 720
[1,0,1,0,1,0,1,0,1,1,0,0] => [5,6,4,3,2,1] => [[[[[.,[.,.]],.],.],.],.] => [[[]],[],[],[],[]] => 360
[1,0,1,0,1,0,1,1,0,0,1,0] => [6,4,5,3,2,1] => [[[[[.,.],[.,.]],.],.],.] => [[],[[]],[],[],[]] => 360
[1,0,1,0,1,0,1,1,0,1,0,0] => [5,4,6,3,2,1] => [[[[[.,.],[.,.]],.],.],.] => [[],[[]],[],[],[]] => 360
[1,0,1,0,1,0,1,1,1,0,0,0] => [4,5,6,3,2,1] => [[[[.,[.,[.,.]]],.],.],.] => [[[[]]],[],[],[]] => 120
[1,0,1,0,1,1,0,0,1,0,1,0] => [6,5,3,4,2,1] => [[[[[.,.],.],[.,.]],.],.] => [[],[],[[]],[],[]] => 360
[1,0,1,0,1,1,0,0,1,1,0,0] => [5,6,3,4,2,1] => [[[[.,[.,.]],[.,.]],.],.] => [[[]],[[]],[],[]] => 180
[1,0,1,0,1,1,0,1,0,0,1,0] => [6,4,3,5,2,1] => [[[[[.,.],.],[.,.]],.],.] => [[],[],[[]],[],[]] => 360
[1,0,1,0,1,1,0,1,0,1,0,0] => [5,4,3,6,2,1] => [[[[[.,.],.],[.,.]],.],.] => [[],[],[[]],[],[]] => 360
[1,0,1,0,1,1,0,1,1,0,0,0] => [4,5,3,6,2,1] => [[[[.,[.,.]],[.,.]],.],.] => [[[]],[[]],[],[]] => 180
[1,0,1,0,1,1,1,0,0,0,1,0] => [6,3,4,5,2,1] => [[[[.,.],[.,[.,.]]],.],.] => [[],[[[]]],[],[]] => 120
[1,0,1,0,1,1,1,0,0,1,0,0] => [5,3,4,6,2,1] => [[[[.,.],[.,[.,.]]],.],.] => [[],[[[]]],[],[]] => 120
[1,0,1,0,1,1,1,0,1,0,0,0] => [4,3,5,6,2,1] => [[[[.,.],[.,[.,.]]],.],.] => [[],[[[]]],[],[]] => 120
[1,0,1,0,1,1,1,1,0,0,0,0] => [3,4,5,6,2,1] => [[[.,[.,[.,[.,.]]]],.],.] => [[[[[]]]],[],[]] => 30
[1,0,1,1,0,0,1,0,1,0,1,0] => [6,5,4,2,3,1] => [[[[[.,.],.],.],[.,.]],.] => [[],[],[],[[]],[]] => 360
[1,0,1,1,0,0,1,0,1,1,0,0] => [5,6,4,2,3,1] => [[[[.,[.,.]],.],[.,.]],.] => [[[]],[],[[]],[]] => 180
[1,0,1,1,0,0,1,1,0,0,1,0] => [6,4,5,2,3,1] => [[[[.,.],[.,.]],[.,.]],.] => [[],[[]],[[]],[]] => 180
[1,0,1,1,0,0,1,1,0,1,0,0] => [5,4,6,2,3,1] => [[[[.,.],[.,.]],[.,.]],.] => [[],[[]],[[]],[]] => 180
[1,0,1,1,0,0,1,1,1,0,0,0] => [4,5,6,2,3,1] => [[[.,[.,[.,.]]],[.,.]],.] => [[[[]]],[[]],[]] => 60
[1,0,1,1,0,1,0,0,1,0,1,0] => [6,5,3,2,4,1] => [[[[[.,.],.],.],[.,.]],.] => [[],[],[],[[]],[]] => 360
[1,0,1,1,0,1,0,0,1,1,0,0] => [5,6,3,2,4,1] => [[[[.,[.,.]],.],[.,.]],.] => [[[]],[],[[]],[]] => 180
[1,0,1,1,0,1,0,1,0,0,1,0] => [6,4,3,2,5,1] => [[[[[.,.],.],.],[.,.]],.] => [[],[],[],[[]],[]] => 360
[1,0,1,1,0,1,0,1,0,1,0,0] => [5,4,3,2,6,1] => [[[[[.,.],.],.],[.,.]],.] => [[],[],[],[[]],[]] => 360
[1,0,1,1,0,1,0,1,1,0,0,0] => [4,5,3,2,6,1] => [[[[.,[.,.]],.],[.,.]],.] => [[[]],[],[[]],[]] => 180
[1,0,1,1,0,1,1,0,0,0,1,0] => [6,3,4,2,5,1] => [[[[.,.],[.,.]],[.,.]],.] => [[],[[]],[[]],[]] => 180
[1,0,1,1,0,1,1,0,0,1,0,0] => [5,3,4,2,6,1] => [[[[.,.],[.,.]],[.,.]],.] => [[],[[]],[[]],[]] => 180
[1,0,1,1,0,1,1,0,1,0,0,0] => [4,3,5,2,6,1] => [[[[.,.],[.,.]],[.,.]],.] => [[],[[]],[[]],[]] => 180
[1,0,1,1,0,1,1,1,0,0,0,0] => [3,4,5,2,6,1] => [[[.,[.,[.,.]]],[.,.]],.] => [[[[]]],[[]],[]] => 60
[1,0,1,1,1,0,0,0,1,0,1,0] => [6,5,2,3,4,1] => [[[[.,.],.],[.,[.,.]]],.] => [[],[],[[[]]],[]] => 120
[1,0,1,1,1,0,0,0,1,1,0,0] => [5,6,2,3,4,1] => [[[.,[.,.]],[.,[.,.]]],.] => [[[]],[[[]]],[]] => 60
[1,0,1,1,1,0,0,1,0,0,1,0] => [6,4,2,3,5,1] => [[[[.,.],.],[.,[.,.]]],.] => [[],[],[[[]]],[]] => 120
[1,0,1,1,1,0,0,1,0,1,0,0] => [5,4,2,3,6,1] => [[[[.,.],.],[.,[.,.]]],.] => [[],[],[[[]]],[]] => 120
[1,0,1,1,1,0,0,1,1,0,0,0] => [4,5,2,3,6,1] => [[[.,[.,.]],[.,[.,.]]],.] => [[[]],[[[]]],[]] => 60
[1,0,1,1,1,0,1,0,0,0,1,0] => [6,3,2,4,5,1] => [[[[.,.],.],[.,[.,.]]],.] => [[],[],[[[]]],[]] => 120
[1,0,1,1,1,0,1,0,0,1,0,0] => [5,3,2,4,6,1] => [[[[.,.],.],[.,[.,.]]],.] => [[],[],[[[]]],[]] => 120
[1,0,1,1,1,0,1,0,1,0,0,0] => [4,3,2,5,6,1] => [[[[.,.],.],[.,[.,.]]],.] => [[],[],[[[]]],[]] => 120
[1,0,1,1,1,0,1,1,0,0,0,0] => [3,4,2,5,6,1] => [[[.,[.,.]],[.,[.,.]]],.] => [[[]],[[[]]],[]] => 60
>>> Load all 242 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 linear extensions of the tree.
We use Knuth's hook length formula for trees [pg.70, 1]. For an ordered tree $T$ on $n$ vertices, the number of linear extensions is
$$ \frac{n!}{\prod_{v\in T}|T_v|}, $$
where $T_v$ is the number of vertices of the subtree rooted at $v$.
We use Knuth's hook length formula for trees [pg.70, 1]. For an ordered tree $T$ on $n$ vertices, the number of linear extensions is
$$ \frac{n!}{\prod_{v\in T}|T_v|}, $$
where $T_v$ is the number of vertices of the subtree rooted at $v$.
Map
to increasing tree
Description
Sends a permutation to its associated increasing tree.
This tree is recursively obtained by sending the unique permutation of length $0$ to the empty tree, and sending a permutation $\sigma$ of length $n \geq 1$ to a root node with two subtrees $L$ and $R$ by splitting $\sigma$ at the index $\sigma^{-1}(1)$, normalizing both sides again to permutations and sending the permutations on the left and on the right of $\sigma^{-1}(1)$ to the trees $L$ and $R$, respectively.
This tree is recursively obtained by sending the unique permutation of length $0$ to the empty tree, and sending a permutation $\sigma$ of length $n \geq 1$ to a root node with two subtrees $L$ and $R$ by splitting $\sigma$ at the index $\sigma^{-1}(1)$, normalizing both sides again to permutations and sending the permutations on the left and on the right of $\sigma^{-1}(1)$ to the trees $L$ and $R$, respectively.
Map
to ordered tree: left child = left brother
Description
Return an ordered tree of size $n+1$ by the following recursive rule:
- if $x$ is the left child of $y$, $x$ becomes the left brother of $y$,
- if $x$ is the right child of $y$, $x$ becomes the last child of $y$.
Map
to 132-avoiding permutation
Description
Sends a Dyck path to a 132-avoiding permutation.
This bijection is defined in [1, Section 2].
This bijection is defined in [1, Section 2].
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!