- FindStat

Identifier

Mp00017: Binary trees —to 312-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

[[.,.],[.,.]] => [1,3,2] => [2,1,3] => 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

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

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

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

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

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

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

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

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

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

[[[.,.],[.,.]],.] => [1,3,2,4] => [2,4,3,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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

[[[[.,.],[.,.]],.],.] => [1,3,2,4,5] => [2,4,3,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

[.,[.,[.,[[.,.],[.,.]]]]] => [4,6,5,3,2,1] => [1,6,5,2,4,3] => 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

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

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

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

[.,[.,[[[.,.],.],[.,.]]]] => [3,4,6,5,2,1] => [1,6,2,3,5,4] => 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

[.,[.,[[[.,.],[.,.]],.]]] => [3,5,4,6,2,1] => [1,6,2,4,3,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

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

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

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

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

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

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

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

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

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

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

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

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

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

[.,[[[[.,.],.],.],[.,.]]] => [2,3,4,6,5,1] => [1,2,3,4,6,5] => 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

[.,[[.,[[.,.],[.,.]]],.]] => [3,5,4,2,6,1] => [1,5,2,4,3,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

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

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

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

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

>>> Load all 1764 entries. <<<

Map

to 312-avoiding permutation

Description

Return a 312-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 minimal element of this 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.