- FindStat

Identifier

Mp00014: Binary trees —to 132-avoiding permutation⟶ Permutations
Mp00073: Permutations —major-index to inversion-number bijection⟶ Permutations
Mp00109: Permutations —descent word⟶ Binary words

Images

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

>>> Load all 1667 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

major-index to inversion-number bijection

Description

Return the permutation whose Lehmer code equals the major code of the preimage.
This map sends the major index to the number of inversions.

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.