- FindStat

Identifier

Mp00014: Binary trees —to 132-avoiding permutation⟶ Permutations
Mp00088: Permutations —Kreweras complement⟶ Permutations
Mp00109: Permutations —descent word⟶ Binary words

Images

[.,.] => [1] => [1] =>

[.,[.,.]] => [2,1] => [1,2] => 0

[[.,.],.] => [1,2] => [2,1] => 1

[.,[.,[.,.]]] => [3,2,1] => [1,3,2] => 01

[.,[[.,.],.]] => [2,3,1] => [1,2,3] => 00

[[.,.],[.,.]] => [3,1,2] => [3,1,2] => 10

[[.,[.,.]],.] => [2,1,3] => [3,2,1] => 11

[[[.,.],.],.] => [1,2,3] => [2,3,1] => 01

[.,[.,[.,[.,.]]]] => [4,3,2,1] => [1,4,3,2] => 011

[.,[.,[[.,.],.]]] => [3,4,2,1] => [1,4,2,3] => 010

[.,[[.,.],[.,.]]] => [4,2,3,1] => [1,3,4,2] => 001

[.,[[.,[.,.]],.]] => [3,2,4,1] => [1,3,2,4] => 010

[.,[[[.,.],.],.]] => [2,3,4,1] => [1,2,3,4] => 000

[[.,.],[.,[.,.]]] => [4,3,1,2] => [4,1,3,2] => 101

[[.,.],[[.,.],.]] => [3,4,1,2] => [4,1,2,3] => 100

[[.,[.,.]],[.,.]] => [4,2,1,3] => [4,3,1,2] => 110

[[[.,.],.],[.,.]] => [4,1,2,3] => [3,4,1,2] => 010

[[.,[.,[.,.]]],.] => [3,2,1,4] => [4,3,2,1] => 111

[[.,[[.,.],.]],.] => [2,3,1,4] => [4,2,3,1] => 101

[[[.,.],[.,.]],.] => [3,1,2,4] => [3,4,2,1] => 011

[[[.,[.,.]],.],.] => [2,1,3,4] => [3,2,4,1] => 101

[[[[.,.],.],.],.] => [1,2,3,4] => [2,3,4,1] => 001

[.,[.,[.,[.,[.,.]]]]] => [5,4,3,2,1] => [1,5,4,3,2] => 0111

[.,[.,[.,[[.,.],.]]]] => [4,5,3,2,1] => [1,5,4,2,3] => 0110

[.,[.,[[.,.],[.,.]]]] => [5,3,4,2,1] => [1,5,3,4,2] => 0101

[.,[.,[[.,[.,.]],.]]] => [4,3,5,2,1] => [1,5,3,2,4] => 0110

[.,[.,[[[.,.],.],.]]] => [3,4,5,2,1] => [1,5,2,3,4] => 0100

[.,[[.,.],[.,[.,.]]]] => [5,4,2,3,1] => [1,4,5,3,2] => 0011

[.,[[.,.],[[.,.],.]]] => [4,5,2,3,1] => [1,4,5,2,3] => 0010

[.,[[.,[.,.]],[.,.]]] => [5,3,2,4,1] => [1,4,3,5,2] => 0101

[.,[[[.,.],.],[.,.]]] => [5,2,3,4,1] => [1,3,4,5,2] => 0001

[.,[[.,[.,[.,.]]],.]] => [4,3,2,5,1] => [1,4,3,2,5] => 0110

[.,[[.,[[.,.],.]],.]] => [3,4,2,5,1] => [1,4,2,3,5] => 0100

[.,[[[.,.],[.,.]],.]] => [4,2,3,5,1] => [1,3,4,2,5] => 0010

[.,[[[.,[.,.]],.],.]] => [3,2,4,5,1] => [1,3,2,4,5] => 0100

[.,[[[[.,.],.],.],.]] => [2,3,4,5,1] => [1,2,3,4,5] => 0000

[[.,.],[.,[.,[.,.]]]] => [5,4,3,1,2] => [5,1,4,3,2] => 1011

[[.,.],[.,[[.,.],.]]] => [4,5,3,1,2] => [5,1,4,2,3] => 1010

[[.,.],[[.,.],[.,.]]] => [5,3,4,1,2] => [5,1,3,4,2] => 1001

[[.,.],[[.,[.,.]],.]] => [4,3,5,1,2] => [5,1,3,2,4] => 1010

[[.,.],[[[.,.],.],.]] => [3,4,5,1,2] => [5,1,2,3,4] => 1000

[[.,[.,.]],[.,[.,.]]] => [5,4,2,1,3] => [5,4,1,3,2] => 1101

[[.,[.,.]],[[.,.],.]] => [4,5,2,1,3] => [5,4,1,2,3] => 1100

[[[.,.],.],[.,[.,.]]] => [5,4,1,2,3] => [4,5,1,3,2] => 0101

[[[.,.],.],[[.,.],.]] => [4,5,1,2,3] => [4,5,1,2,3] => 0100

[[.,[.,[.,.]]],[.,.]] => [5,3,2,1,4] => [5,4,3,1,2] => 1110

[[.,[[.,.],.]],[.,.]] => [5,2,3,1,4] => [5,3,4,1,2] => 1010

[[[.,.],[.,.]],[.,.]] => [5,3,1,2,4] => [4,5,3,1,2] => 0110

[[[.,[.,.]],.],[.,.]] => [5,2,1,3,4] => [4,3,5,1,2] => 1010

[[[[.,.],.],.],[.,.]] => [5,1,2,3,4] => [3,4,5,1,2] => 0010

[[.,[.,[.,[.,.]]]],.] => [4,3,2,1,5] => [5,4,3,2,1] => 1111

[[.,[.,[[.,.],.]]],.] => [3,4,2,1,5] => [5,4,2,3,1] => 1101

[[.,[[.,.],[.,.]]],.] => [4,2,3,1,5] => [5,3,4,2,1] => 1011

[[.,[[.,[.,.]],.]],.] => [3,2,4,1,5] => [5,3,2,4,1] => 1101

[[.,[[[.,.],.],.]],.] => [2,3,4,1,5] => [5,2,3,4,1] => 1001

[[[.,.],[.,[.,.]]],.] => [4,3,1,2,5] => [4,5,3,2,1] => 0111

[[[.,.],[[.,.],.]],.] => [3,4,1,2,5] => [4,5,2,3,1] => 0101

[[[.,[.,.]],[.,.]],.] => [4,2,1,3,5] => [4,3,5,2,1] => 1011

[[[[.,.],.],[.,.]],.] => [4,1,2,3,5] => [3,4,5,2,1] => 0011

[[[.,[.,[.,.]]],.],.] => [3,2,1,4,5] => [4,3,2,5,1] => 1101

[[[.,[[.,.],.]],.],.] => [2,3,1,4,5] => [4,2,3,5,1] => 1001

[[[[.,.],[.,.]],.],.] => [3,1,2,4,5] => [3,4,2,5,1] => 0101

[[[[.,[.,.]],.],.],.] => [2,1,3,4,5] => [3,2,4,5,1] => 1001

[[[[[.,.],.],.],.],.] => [1,2,3,4,5] => [2,3,4,5,1] => 0001

[.,[.,[.,[.,[.,[.,.]]]]]] => [6,5,4,3,2,1] => [1,6,5,4,3,2] => 01111

[.,[.,[.,[.,[[.,.],.]]]]] => [5,6,4,3,2,1] => [1,6,5,4,2,3] => 01110

[.,[.,[.,[[.,.],[.,.]]]]] => [6,4,5,3,2,1] => [1,6,5,3,4,2] => 01101

[.,[.,[.,[[.,[.,.]],.]]]] => [5,4,6,3,2,1] => [1,6,5,3,2,4] => 01110

[.,[.,[.,[[[.,.],.],.]]]] => [4,5,6,3,2,1] => [1,6,5,2,3,4] => 01100

[.,[.,[[.,.],[.,[.,.]]]]] => [6,5,3,4,2,1] => [1,6,4,5,3,2] => 01011

[.,[.,[[.,.],[[.,.],.]]]] => [5,6,3,4,2,1] => [1,6,4,5,2,3] => 01010

[.,[.,[[.,[.,.]],[.,.]]]] => [6,4,3,5,2,1] => [1,6,4,3,5,2] => 01101

[.,[.,[[[.,.],.],[.,.]]]] => [6,3,4,5,2,1] => [1,6,3,4,5,2] => 01001

[.,[.,[[.,[.,[.,.]]],.]]] => [5,4,3,6,2,1] => [1,6,4,3,2,5] => 01110

[.,[.,[[.,[[.,.],.]],.]]] => [4,5,3,6,2,1] => [1,6,4,2,3,5] => 01100

[.,[.,[[[.,.],[.,.]],.]]] => [5,3,4,6,2,1] => [1,6,3,4,2,5] => 01010

[.,[.,[[[.,[.,.]],.],.]]] => [4,3,5,6,2,1] => [1,6,3,2,4,5] => 01100

[.,[.,[[[[.,.],.],.],.]]] => [3,4,5,6,2,1] => [1,6,2,3,4,5] => 01000

[.,[[.,.],[.,[.,[.,.]]]]] => [6,5,4,2,3,1] => [1,5,6,4,3,2] => 00111

[.,[[.,.],[.,[[.,.],.]]]] => [5,6,4,2,3,1] => [1,5,6,4,2,3] => 00110

[.,[[.,.],[[.,.],[.,.]]]] => [6,4,5,2,3,1] => [1,5,6,3,4,2] => 00101

[.,[[.,.],[[.,[.,.]],.]]] => [5,4,6,2,3,1] => [1,5,6,3,2,4] => 00110

[.,[[.,.],[[[.,.],.],.]]] => [4,5,6,2,3,1] => [1,5,6,2,3,4] => 00100

[.,[[.,[.,.]],[.,[.,.]]]] => [6,5,3,2,4,1] => [1,5,4,6,3,2] => 01011

[.,[[.,[.,.]],[[.,.],.]]] => [5,6,3,2,4,1] => [1,5,4,6,2,3] => 01010

[.,[[[.,.],.],[.,[.,.]]]] => [6,5,2,3,4,1] => [1,4,5,6,3,2] => 00011

[.,[[[.,.],.],[[.,.],.]]] => [5,6,2,3,4,1] => [1,4,5,6,2,3] => 00010

[.,[[.,[.,[.,.]]],[.,.]]] => [6,4,3,2,5,1] => [1,5,4,3,6,2] => 01101

[.,[[.,[[.,.],.]],[.,.]]] => [6,3,4,2,5,1] => [1,5,3,4,6,2] => 01001

[.,[[[.,.],[.,.]],[.,.]]] => [6,4,2,3,5,1] => [1,4,5,3,6,2] => 00101

[.,[[[.,[.,.]],.],[.,.]]] => [6,3,2,4,5,1] => [1,4,3,5,6,2] => 01001

[.,[[[[.,.],.],.],[.,.]]] => [6,2,3,4,5,1] => [1,3,4,5,6,2] => 00001

[.,[[.,[.,[.,[.,.]]]],.]] => [5,4,3,2,6,1] => [1,5,4,3,2,6] => 01110

[.,[[.,[.,[[.,.],.]]],.]] => [4,5,3,2,6,1] => [1,5,4,2,3,6] => 01100

[.,[[.,[[.,.],[.,.]]],.]] => [5,3,4,2,6,1] => [1,5,3,4,2,6] => 01010

[.,[[.,[[.,[.,.]],.]],.]] => [4,3,5,2,6,1] => [1,5,3,2,4,6] => 01100

[.,[[.,[[[.,.],.],.]],.]] => [3,4,5,2,6,1] => [1,5,2,3,4,6] => 01000

[.,[[[.,.],[.,[.,.]]],.]] => [5,4,2,3,6,1] => [1,4,5,3,2,6] => 00110

[.,[[[.,.],[[.,.],.]],.]] => [4,5,2,3,6,1] => [1,4,5,2,3,6] => 00100

[.,[[[.,[.,.]],[.,.]],.]] => [5,3,2,4,6,1] => [1,4,3,5,2,6] => 01010

[.,[[[[.,.],.],[.,.]],.]] => [5,2,3,4,6,1] => [1,3,4,5,2,6] => 00010

>>> Load all 1812 entries. <<<

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

Kreweras complement

Description

Sends the permutation $\pi \in \mathfrak{S}_n$ to the permutation $\pi^{-1}c$ where $c = (1,\ldots,n)$ is the long cycle.

Map

descent word

Description

The descent positions of a permutation as a binary word.
For a permutation $\pi$ of $n$ letters and each $1\leq i\leq n-1$ such that $\pi(i) > \pi(i+1)$ we set $w_i=1$, otherwise $w_i=0$.
Thus, the length of the word is one less the size of the permutation. In particular, the descent word is undefined for the empty permutation.