- FindStat

Identifier

Mp00199: Dyck paths —prime Dyck path⟶ Dyck paths
Mp00140: Dyck paths —logarithmic height to pruning number⟶ Binary trees
Mp00017: Binary trees —to 312-avoiding permutation⟶ Permutations
St000654: Permutations ⟶ ℤ

Values

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

>>> Load all 128 entries. <<<

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

click to show known generating functions

$F_{1} = q^{2}$

$F_{2} = q^{2} + q^{3}$

$F_{3} = q + q^{2} + 2\ q^{3} + q^{4}$

$F_{4} = 4\ q + 3\ q^{2} + 3\ q^{3} + 3\ q^{4} + q^{5}$

$F_{5} = 13\ q + 11\ q^{2} + 7\ q^{3} + 6\ q^{4} + 4\ q^{5} + q^{6}$

Description

The first descent of a permutation.
For a permutation

$\pi$ of

$\{1,\ldots,n\}$ , this is the smallest index

$0 < i \leq n$ such that

$\pi(i) > \pi(i+1)$ where one considers

$\pi(n+1)=0$ .

Map

logarithmic height to pruning number

Description

Francon's map from Dyck paths to binary trees.
This bijection sends the logarithmic height of the Dyck path, St000920The logarithmic height of a Dyck path., to the pruning number of the binary tree, St000396The register function (or Horton-Strahler number) of a binary tree.. The implementation is a literal translation of Knuth's [2].

Map

prime Dyck path

Description

Return the Dyck path obtained by adding an initial up and a final down step.

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.