Identifier
Mp00008: Binary trees —to complete tree⟶ Ordered trees
Mp00049: Ordered trees —to binary tree: left brother = left child⟶ Binary trees
Mp00014: Binary trees —to 132-avoiding permutation⟶ Permutations
Mp00071: Permutations —descent composition⟶ Integer compositions
Images
=>
Cc0010;cc-rep-0Cc0021;cc-rep-1Cc0010;cc-rep-2
[.,.]=>[[],[]]=>[[.,.],.]=>[1,2]=>[2] [.,[.,.]]=>[[],[[],[]]]=>[[.,.],[[.,.],.]]=>[3,4,1,2]=>[2,2] [[.,.],.]=>[[[],[]],[]]=>[[.,[[.,.],.]],.]=>[2,3,1,4]=>[2,2] [.,[.,[.,.]]]=>[[],[[],[[],[]]]]=>[[.,.],[[.,.],[[.,.],.]]]=>[5,6,3,4,1,2]=>[2,2,2] [.,[[.,.],.]]=>[[],[[[],[]],[]]]=>[[.,.],[[.,[[.,.],.]],.]]=>[4,5,3,6,1,2]=>[2,2,2] [[.,.],[.,.]]=>[[[],[]],[[],[]]]=>[[.,[[.,.],.]],[[.,.],.]]=>[5,6,2,3,1,4]=>[2,2,2] [[.,[.,.]],.]=>[[[],[[],[]]],[]]=>[[.,[[.,.],[[.,.],.]]],.]=>[4,5,2,3,1,6]=>[2,2,2] [[[.,.],.],.]=>[[[[],[]],[]],[]]=>[[.,[[.,[[.,.],.]],.]],.]=>[3,4,2,5,1,6]=>[2,2,2] [.,[.,[.,[.,.]]]]=>[[],[[],[[],[[],[]]]]]=>[[.,.],[[.,.],[[.,.],[[.,.],.]]]]=>[7,8,5,6,3,4,1,2]=>[2,2,2,2] [.,[.,[[.,.],.]]]=>[[],[[],[[[],[]],[]]]]=>[[.,.],[[.,.],[[.,[[.,.],.]],.]]]=>[6,7,5,8,3,4,1,2]=>[2,2,2,2] [.,[[.,.],[.,.]]]=>[[],[[[],[]],[[],[]]]]=>[[.,.],[[.,[[.,.],.]],[[.,.],.]]]=>[7,8,4,5,3,6,1,2]=>[2,2,2,2] [.,[[.,[.,.]],.]]=>[[],[[[],[[],[]]],[]]]=>[[.,.],[[.,[[.,.],[[.,.],.]]],.]]=>[6,7,4,5,3,8,1,2]=>[2,2,2,2] [.,[[[.,.],.],.]]=>[[],[[[[],[]],[]],[]]]=>[[.,.],[[.,[[.,[[.,.],.]],.]],.]]=>[5,6,4,7,3,8,1,2]=>[2,2,2,2] [[.,.],[.,[.,.]]]=>[[[],[]],[[],[[],[]]]]=>[[.,[[.,.],.]],[[.,.],[[.,.],.]]]=>[7,8,5,6,2,3,1,4]=>[2,2,2,2] [[.,.],[[.,.],.]]=>[[[],[]],[[[],[]],[]]]=>[[.,[[.,.],.]],[[.,[[.,.],.]],.]]=>[6,7,5,8,2,3,1,4]=>[2,2,2,2] [[.,[.,.]],[.,.]]=>[[[],[[],[]]],[[],[]]]=>[[.,[[.,.],[[.,.],.]]],[[.,.],.]]=>[7,8,4,5,2,3,1,6]=>[2,2,2,2] [[[.,.],.],[.,.]]=>[[[[],[]],[]],[[],[]]]=>[[.,[[.,[[.,.],.]],.]],[[.,.],.]]=>[7,8,3,4,2,5,1,6]=>[2,2,2,2] [[.,[.,[.,.]]],.]=>[[[],[[],[[],[]]]],[]]=>[[.,[[.,.],[[.,.],[[.,.],.]]]],.]=>[6,7,4,5,2,3,1,8]=>[2,2,2,2] [[.,[[.,.],.]],.]=>[[[],[[[],[]],[]]],[]]=>[[.,[[.,.],[[.,[[.,.],.]],.]]],.]=>[5,6,4,7,2,3,1,8]=>[2,2,2,2] [[[.,.],[.,.]],.]=>[[[[],[]],[[],[]]],[]]=>[[.,[[.,[[.,.],.]],[[.,.],.]]],.]=>[6,7,3,4,2,5,1,8]=>[2,2,2,2] [[[.,[.,.]],.],.]=>[[[[],[[],[]]],[]],[]]=>[[.,[[.,[[.,.],[[.,.],.]]],.]],.]=>[5,6,3,4,2,7,1,8]=>[2,2,2,2] [[[[.,.],.],.],.]=>[[[[[],[]],[]],[]],[]]=>[[.,[[.,[[.,[[.,.],.]],.]],.]],.]=>[4,5,3,6,2,7,1,8]=>[2,2,2,2]
Map
to complete tree
Description
Return the same tree seen as an ordered tree. By default, leaves are transformed into actual nodes.
Map
to binary tree: left brother = left child
Description
Return a binary tree of size $n-1$ (where $n$ is the size of $t$, and where $t$ is an ordered tree) by the following recursive rule:
- if $x$ is the left brother of $y$ in $t$, then $x$ becomes the left child of $y$;
- if $x$ is the last child of $y$ in $t$, then $x$ becomes the right child of $y$,
and removing the root of $t$.
Map
to 132-avoiding permutation
Description
Return a 132-avoiding permutation corresponding to a binary tree.
The linear extensions of a binary tree form an interval of the weak order called the Sylvester class of the tree. This permutation is the maximal element of the Sylvester class.
Map
descent composition
Description
The descent composition of a permutation.
The descent composition of a permutation $\pi$ of length $n$ is the integer composition of $n$ whose descent set equals the descent set of $\pi$. The descent set of a permutation $\pi$ is $\{i \mid 1 \leq i < n, \pi(i) > \pi(i+1)\}$. The descent set of a composition $c = (i_1, i_2, \ldots, i_k)$ is the set $\{ i_1, i_1 + i_2, i_1 + i_2 + i_3, \ldots, i_1 + i_2 + \cdots + i_{k-1} \}$.