Identifier
-
Mp00296:
Dyck paths
—Knuth-Krattenthaler⟶
Dyck paths
Mp00140: Dyck paths —logarithmic height to pruning number⟶ Binary trees
Mp00013: Binary trees —to poset⟶ Posets
St001880: Posets ⟶ ℤ
Values
[1,0,1,1,0,0] => [1,1,0,1,0,0] => [[[.,.],.],.] => ([(0,2),(2,1)],3) => 3
[1,1,0,0,1,0] => [1,0,1,0,1,0] => [.,[.,[.,.]]] => ([(0,2),(2,1)],3) => 3
[1,1,0,1,0,0] => [1,0,1,1,0,0] => [.,[[.,.],.]] => ([(0,2),(2,1)],3) => 3
[1,1,1,0,0,0] => [1,1,0,0,1,0] => [[.,[.,.]],.] => ([(0,2),(2,1)],3) => 3
[1,0,1,1,0,0,1,0] => [1,1,0,1,0,1,0,0] => [[[[.,.],.],.],.] => ([(0,3),(2,1),(3,2)],4) => 4
[1,1,0,0,1,0,1,0] => [1,0,1,1,0,0,1,0] => [.,[[.,[.,.]],.]] => ([(0,3),(2,1),(3,2)],4) => 4
[1,1,0,0,1,1,0,0] => [1,0,1,0,1,0,1,0] => [.,[.,[.,[.,.]]]] => ([(0,3),(2,1),(3,2)],4) => 4
[1,1,0,1,0,0,1,0] => [1,0,1,1,0,1,0,0] => [.,[[[.,.],.],.]] => ([(0,3),(2,1),(3,2)],4) => 4
[1,1,0,1,1,0,0,0] => [1,0,1,0,1,1,0,0] => [.,[.,[[.,.],.]]] => ([(0,3),(2,1),(3,2)],4) => 4
[1,1,1,0,0,0,1,0] => [1,1,0,1,0,0,1,0] => [[[.,[.,.]],.],.] => ([(0,3),(2,1),(3,2)],4) => 4
[1,1,1,0,0,1,0,0] => [1,1,0,0,1,0,1,0] => [[.,[.,[.,.]]],.] => ([(0,3),(2,1),(3,2)],4) => 4
[1,1,1,0,1,0,0,0] => [1,1,0,0,1,1,0,0] => [[.,[[.,.],.]],.] => ([(0,3),(2,1),(3,2)],4) => 4
[1,0,1,1,0,0,1,1,0,0] => [1,1,0,1,0,1,0,1,0,0] => [[[[[.,.],.],.],.],.] => ([(0,4),(2,3),(3,1),(4,2)],5) => 5
[1,1,0,0,1,0,1,1,0,0] => [1,0,1,1,0,1,0,0,1,0] => [.,[[[.,[.,.]],.],.]] => ([(0,4),(2,3),(3,1),(4,2)],5) => 5
[1,1,0,0,1,1,0,0,1,0] => [1,0,1,0,1,0,1,0,1,0] => [.,[.,[.,[.,[.,.]]]]] => ([(0,4),(2,3),(3,1),(4,2)],5) => 5
[1,1,0,0,1,1,0,1,0,0] => [1,0,1,0,1,1,0,0,1,0] => [.,[.,[[.,[.,.]],.]]] => ([(0,4),(2,3),(3,1),(4,2)],5) => 5
[1,1,0,0,1,1,1,0,0,0] => [1,0,1,1,0,0,1,0,1,0] => [.,[[.,[.,[.,.]]],.]] => ([(0,4),(2,3),(3,1),(4,2)],5) => 5
[1,1,0,1,0,0,1,1,0,0] => [1,0,1,1,0,1,0,1,0,0] => [.,[[[[.,.],.],.],.]] => ([(0,4),(2,3),(3,1),(4,2)],5) => 5
[1,1,0,1,1,0,0,0,1,0] => [1,0,1,0,1,0,1,1,0,0] => [.,[.,[.,[[.,.],.]]]] => ([(0,4),(2,3),(3,1),(4,2)],5) => 5
[1,1,0,1,1,0,0,1,0,0] => [1,0,1,0,1,1,0,1,0,0] => [.,[.,[[[.,.],.],.]]] => ([(0,4),(2,3),(3,1),(4,2)],5) => 5
[1,1,0,1,1,1,0,0,0,0] => [1,0,1,1,0,0,1,1,0,0] => [.,[[.,[[.,.],.]],.]] => ([(0,4),(2,3),(3,1),(4,2)],5) => 5
[1,1,1,0,0,0,1,1,0,0] => [1,1,0,1,0,1,0,0,1,0] => [[[[.,[.,.]],.],.],.] => ([(0,4),(2,3),(3,1),(4,2)],5) => 5
[1,1,1,0,0,1,0,0,1,0] => [1,1,0,0,1,0,1,0,1,0] => [[.,[.,[.,[.,.]]]],.] => ([(0,4),(2,3),(3,1),(4,2)],5) => 5
[1,1,1,0,0,1,0,1,0,0] => [1,1,0,0,1,1,0,0,1,0] => [[.,[[.,[.,.]],.]],.] => ([(0,4),(2,3),(3,1),(4,2)],5) => 5
[1,1,1,0,0,1,1,0,0,0] => [1,1,0,1,0,0,1,0,1,0] => [[[.,[.,[.,.]]],.],.] => ([(0,4),(2,3),(3,1),(4,2)],5) => 5
[1,1,1,0,1,0,0,0,1,0] => [1,1,0,0,1,0,1,1,0,0] => [[.,[.,[[.,.],.]]],.] => ([(0,4),(2,3),(3,1),(4,2)],5) => 5
[1,1,1,0,1,0,0,1,0,0] => [1,1,0,0,1,1,0,1,0,0] => [[.,[[[.,.],.],.]],.] => ([(0,4),(2,3),(3,1),(4,2)],5) => 5
[1,1,1,0,1,1,0,0,0,0] => [1,1,0,1,0,0,1,1,0,0] => [[[.,[[.,.],.]],.],.] => ([(0,4),(2,3),(3,1),(4,2)],5) => 5
[1,0,1,1,0,0,1,1,0,0,1,0] => [1,1,0,1,0,1,0,1,0,1,0,0] => [[[[[[.,.],.],.],.],.],.] => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => 6
[1,1,0,0,1,0,1,1,0,0,1,0] => [1,0,1,1,0,1,0,1,0,0,1,0] => [.,[[[[.,[.,.]],.],.],.]] => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => 6
[1,1,0,0,1,1,0,0,1,0,1,0] => [1,0,1,0,1,1,0,0,1,0,1,0] => [.,[.,[[.,[.,[.,.]]],.]]] => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => 6
[1,1,0,0,1,1,0,0,1,1,0,0] => [1,0,1,0,1,0,1,0,1,0,1,0] => [.,[.,[.,[.,[.,[.,.]]]]]] => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => 6
[1,1,0,0,1,1,0,1,0,0,1,0] => [1,0,1,0,1,1,0,1,0,0,1,0] => [.,[.,[[[.,[.,.]],.],.]]] => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => 6
[1,1,0,0,1,1,0,1,1,0,0,0] => [1,0,1,0,1,0,1,1,0,0,1,0] => [.,[.,[.,[[.,[.,.]],.]]]] => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => 6
[1,1,0,0,1,1,1,0,0,0,1,0] => [1,0,1,1,0,1,0,0,1,0,1,0] => [.,[[[.,[.,[.,.]]],.],.]] => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => 6
[1,1,0,0,1,1,1,0,0,1,0,0] => [1,0,1,1,0,0,1,0,1,0,1,0] => [.,[[.,[.,[.,[.,.]]]],.]] => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => 6
[1,1,0,0,1,1,1,0,1,0,0,0] => [1,0,1,1,0,0,1,1,0,0,1,0] => [.,[[.,[[.,[.,.]],.]],.]] => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => 6
[1,1,0,1,0,0,1,1,0,0,1,0] => [1,0,1,1,0,1,0,1,0,1,0,0] => [.,[[[[[.,.],.],.],.],.]] => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => 6
[1,1,0,1,1,0,0,0,1,0,1,0] => [1,0,1,0,1,1,0,0,1,1,0,0] => [.,[.,[[.,[[.,.],.]],.]]] => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => 6
[1,1,0,1,1,0,0,0,1,1,0,0] => [1,0,1,0,1,0,1,0,1,1,0,0] => [.,[.,[.,[.,[[.,.],.]]]]] => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => 6
[1,1,0,1,1,0,0,1,0,0,1,0] => [1,0,1,0,1,1,0,1,0,1,0,0] => [.,[.,[[[[.,.],.],.],.]]] => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => 6
[1,1,0,1,1,0,0,1,1,0,0,0] => [1,0,1,0,1,0,1,1,0,1,0,0] => [.,[.,[.,[[[.,.],.],.]]]] => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => 6
[1,1,0,1,1,1,0,0,0,0,1,0] => [1,0,1,1,0,1,0,0,1,1,0,0] => [.,[[[.,[[.,.],.]],.],.]] => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => 6
[1,1,0,1,1,1,0,0,0,1,0,0] => [1,0,1,1,0,0,1,0,1,1,0,0] => [.,[[.,[.,[[.,.],.]]],.]] => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => 6
[1,1,0,1,1,1,0,0,1,0,0,0] => [1,0,1,1,0,0,1,1,0,1,0,0] => [.,[[.,[[[.,.],.],.]],.]] => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => 6
[1,1,1,0,0,0,1,1,0,0,1,0] => [1,1,0,1,0,1,0,1,0,0,1,0] => [[[[[.,[.,.]],.],.],.],.] => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => 6
[1,1,1,0,0,1,0,0,1,0,1,0] => [1,1,0,0,1,1,0,0,1,0,1,0] => [[.,[[.,[.,[.,.]]],.]],.] => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => 6
[1,1,1,0,0,1,0,0,1,1,0,0] => [1,1,0,0,1,0,1,0,1,0,1,0] => [[.,[.,[.,[.,[.,.]]]]],.] => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => 6
[1,1,1,0,0,1,0,1,0,0,1,0] => [1,1,0,0,1,1,0,1,0,0,1,0] => [[.,[[[.,[.,.]],.],.]],.] => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => 6
[1,1,1,0,0,1,0,1,1,0,0,0] => [1,1,0,0,1,0,1,1,0,0,1,0] => [[.,[.,[[.,[.,.]],.]]],.] => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => 6
[1,1,1,0,0,1,1,0,0,0,1,0] => [1,1,0,1,0,1,0,0,1,0,1,0] => [[[[.,[.,[.,.]]],.],.],.] => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => 6
[1,1,1,0,0,1,1,0,0,1,0,0] => [1,1,0,1,0,0,1,0,1,0,1,0] => [[[.,[.,[.,[.,.]]]],.],.] => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => 6
[1,1,1,0,0,1,1,0,1,0,0,0] => [1,1,0,1,0,0,1,1,0,0,1,0] => [[[.,[[.,[.,.]],.]],.],.] => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => 6
[1,1,1,0,1,0,0,0,1,0,1,0] => [1,1,0,0,1,1,0,0,1,1,0,0] => [[.,[[.,[[.,.],.]],.]],.] => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => 6
[1,1,1,0,1,0,0,0,1,1,0,0] => [1,1,0,0,1,0,1,0,1,1,0,0] => [[.,[.,[.,[[.,.],.]]]],.] => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => 6
[1,1,1,0,1,0,0,1,0,0,1,0] => [1,1,0,0,1,1,0,1,0,1,0,0] => [[.,[[[[.,.],.],.],.]],.] => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => 6
[1,1,1,0,1,0,0,1,1,0,0,0] => [1,1,0,0,1,0,1,1,0,1,0,0] => [[.,[.,[[[.,.],.],.]]],.] => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => 6
[1,1,1,0,1,1,0,0,0,0,1,0] => [1,1,0,1,0,1,0,0,1,1,0,0] => [[[[.,[[.,.],.]],.],.],.] => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => 6
[1,1,1,0,1,1,0,0,0,1,0,0] => [1,1,0,1,0,0,1,0,1,1,0,0] => [[[.,[.,[[.,.],.]]],.],.] => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => 6
[1,1,1,0,1,1,0,0,1,0,0,0] => [1,1,0,1,0,0,1,1,0,1,0,0] => [[[.,[[[.,.],.],.]],.],.] => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => 6
[1,0,1,1,0,0,1,1,0,0,1,1,0,0] => [1,1,0,1,0,1,0,1,0,1,0,1,0,0] => [[[[[[[.,.],.],.],.],.],.],.] => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => 7
[1,1,0,0,1,0,1,1,0,0,1,1,0,0] => [1,0,1,1,0,1,0,1,0,1,0,0,1,0] => [.,[[[[[.,[.,.]],.],.],.],.]] => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => 7
[1,1,0,0,1,1,0,0,1,0,1,1,0,0] => [1,0,1,0,1,1,0,1,0,0,1,0,1,0] => [.,[.,[[[.,[.,[.,.]]],.],.]]] => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => 7
[1,1,0,0,1,1,0,0,1,1,0,0,1,0] => [1,0,1,0,1,0,1,0,1,0,1,0,1,0] => [.,[.,[.,[.,[.,[.,[.,.]]]]]]] => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => 7
[1,1,0,0,1,1,0,0,1,1,0,1,0,0] => [1,0,1,0,1,0,1,1,0,0,1,0,1,0] => [.,[.,[.,[[.,[.,[.,.]]],.]]]] => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => 7
[1,1,0,0,1,1,0,0,1,1,1,0,0,0] => [1,0,1,0,1,1,0,0,1,0,1,0,1,0] => [.,[.,[[.,[.,[.,[.,.]]]],.]]] => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => 7
[1,1,0,0,1,1,0,1,0,0,1,1,0,0] => [1,0,1,0,1,1,0,1,0,1,0,0,1,0] => [.,[.,[[[[.,[.,.]],.],.],.]]] => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => 7
[1,1,0,0,1,1,0,1,1,0,0,0,1,0] => [1,0,1,0,1,0,1,0,1,1,0,0,1,0] => [.,[.,[.,[.,[[.,[.,.]],.]]]]] => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => 7
[1,1,0,0,1,1,0,1,1,0,0,1,0,0] => [1,0,1,0,1,0,1,1,0,1,0,0,1,0] => [.,[.,[.,[[[.,[.,.]],.],.]]]] => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => 7
[1,1,0,0,1,1,0,1,1,1,0,0,0,0] => [1,0,1,0,1,1,0,0,1,1,0,0,1,0] => [.,[.,[[.,[[.,[.,.]],.]],.]]] => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => 7
[1,1,0,0,1,1,1,0,0,0,1,1,0,0] => [1,0,1,1,0,1,0,1,0,0,1,0,1,0] => [.,[[[[.,[.,[.,.]]],.],.],.]] => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => 7
[1,1,0,0,1,1,1,0,0,1,0,0,1,0] => [1,0,1,1,0,0,1,0,1,0,1,0,1,0] => [.,[[.,[.,[.,[.,[.,.]]]]],.]] => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => 7
[1,1,0,0,1,1,1,0,0,1,0,1,0,0] => [1,0,1,1,0,0,1,1,0,0,1,0,1,0] => [.,[[.,[[.,[.,[.,.]]],.]],.]] => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => 7
[1,1,0,0,1,1,1,0,0,1,1,0,0,0] => [1,0,1,1,0,1,0,0,1,0,1,0,1,0] => [.,[[[.,[.,[.,[.,.]]]],.],.]] => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => 7
[1,1,0,0,1,1,1,0,1,0,0,0,1,0] => [1,0,1,1,0,0,1,0,1,1,0,0,1,0] => [.,[[.,[.,[[.,[.,.]],.]]],.]] => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => 7
[1,1,0,0,1,1,1,0,1,0,0,1,0,0] => [1,0,1,1,0,0,1,1,0,1,0,0,1,0] => [.,[[.,[[[.,[.,.]],.],.]],.]] => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => 7
[1,1,0,0,1,1,1,0,1,1,0,0,0,0] => [1,0,1,1,0,1,0,0,1,1,0,0,1,0] => [.,[[[.,[[.,[.,.]],.]],.],.]] => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => 7
[1,1,0,1,0,0,1,1,0,0,1,1,0,0] => [1,0,1,1,0,1,0,1,0,1,0,1,0,0] => [.,[[[[[[.,.],.],.],.],.],.]] => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => 7
[1,1,0,1,1,0,0,0,1,0,1,1,0,0] => [1,0,1,0,1,1,0,1,0,0,1,1,0,0] => [.,[.,[[[.,[[.,.],.]],.],.]]] => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => 7
[1,1,0,1,1,0,0,0,1,1,0,0,1,0] => [1,0,1,0,1,0,1,0,1,0,1,1,0,0] => [.,[.,[.,[.,[.,[[.,.],.]]]]]] => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => 7
[1,1,0,1,1,0,0,0,1,1,0,1,0,0] => [1,0,1,0,1,0,1,1,0,0,1,1,0,0] => [.,[.,[.,[[.,[[.,.],.]],.]]]] => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => 7
[1,1,0,1,1,0,0,0,1,1,1,0,0,0] => [1,0,1,0,1,1,0,0,1,0,1,1,0,0] => [.,[.,[[.,[.,[[.,.],.]]],.]]] => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => 7
[1,1,0,1,1,0,0,1,0,0,1,1,0,0] => [1,0,1,0,1,1,0,1,0,1,0,1,0,0] => [.,[.,[[[[[.,.],.],.],.],.]]] => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => 7
[1,1,0,1,1,0,0,1,1,0,0,0,1,0] => [1,0,1,0,1,0,1,0,1,1,0,1,0,0] => [.,[.,[.,[.,[[[.,.],.],.]]]]] => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => 7
[1,1,0,1,1,0,0,1,1,0,0,1,0,0] => [1,0,1,0,1,0,1,1,0,1,0,1,0,0] => [.,[.,[.,[[[[.,.],.],.],.]]]] => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => 7
[1,1,0,1,1,0,0,1,1,1,0,0,0,0] => [1,0,1,0,1,1,0,0,1,1,0,1,0,0] => [.,[.,[[.,[[[.,.],.],.]],.]]] => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => 7
[1,1,0,1,1,1,0,0,0,0,1,1,0,0] => [1,0,1,1,0,1,0,1,0,0,1,1,0,0] => [.,[[[[.,[[.,.],.]],.],.],.]] => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => 7
[1,1,0,1,1,1,0,0,0,1,0,0,1,0] => [1,0,1,1,0,0,1,0,1,0,1,1,0,0] => [.,[[.,[.,[.,[[.,.],.]]]],.]] => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => 7
[1,1,0,1,1,1,0,0,0,1,0,1,0,0] => [1,0,1,1,0,0,1,1,0,0,1,1,0,0] => [.,[[.,[[.,[[.,.],.]],.]],.]] => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => 7
[1,1,0,1,1,1,0,0,0,1,1,0,0,0] => [1,0,1,1,0,1,0,0,1,0,1,1,0,0] => [.,[[[.,[.,[[.,.],.]]],.],.]] => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => 7
[1,1,0,1,1,1,0,0,1,0,0,0,1,0] => [1,0,1,1,0,0,1,0,1,1,0,1,0,0] => [.,[[.,[.,[[[.,.],.],.]]],.]] => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => 7
[1,1,0,1,1,1,0,0,1,0,0,1,0,0] => [1,0,1,1,0,0,1,1,0,1,0,1,0,0] => [.,[[.,[[[[.,.],.],.],.]],.]] => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => 7
[1,1,0,1,1,1,0,0,1,1,0,0,0,0] => [1,0,1,1,0,1,0,0,1,1,0,1,0,0] => [.,[[[.,[[[.,.],.],.]],.],.]] => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => 7
[1,1,1,0,0,0,1,1,0,0,1,1,0,0] => [1,1,0,1,0,1,0,1,0,1,0,0,1,0] => [[[[[[.,[.,.]],.],.],.],.],.] => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => 7
[1,1,1,0,0,1,0,0,1,0,1,1,0,0] => [1,1,0,0,1,1,0,1,0,0,1,0,1,0] => [[.,[[[.,[.,[.,.]]],.],.]],.] => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => 7
[1,1,1,0,0,1,0,0,1,1,0,0,1,0] => [1,1,0,0,1,0,1,0,1,0,1,0,1,0] => [[.,[.,[.,[.,[.,[.,.]]]]]],.] => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => 7
[1,1,1,0,0,1,0,0,1,1,0,1,0,0] => [1,1,0,0,1,0,1,1,0,0,1,0,1,0] => [[.,[.,[[.,[.,[.,.]]],.]]],.] => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => 7
[1,1,1,0,0,1,0,0,1,1,1,0,0,0] => [1,1,0,0,1,1,0,0,1,0,1,0,1,0] => [[.,[[.,[.,[.,[.,.]]]],.]],.] => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => 7
[1,1,1,0,0,1,0,1,0,0,1,1,0,0] => [1,1,0,0,1,1,0,1,0,1,0,0,1,0] => [[.,[[[[.,[.,.]],.],.],.]],.] => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => 7
[1,1,1,0,0,1,0,1,1,0,0,0,1,0] => [1,1,0,0,1,0,1,0,1,1,0,0,1,0] => [[.,[.,[.,[[.,[.,.]],.]]]],.] => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => 7
[1,1,1,0,0,1,0,1,1,0,0,1,0,0] => [1,1,0,0,1,0,1,1,0,1,0,0,1,0] => [[.,[.,[[[.,[.,.]],.],.]]],.] => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => 7
>>> Load all 124 entries. <<<
search for individual values
searching the database for the individual values of this statistic
Description
The number of 2-Gorenstein indecomposable injective modules in the incidence algebra of the lattice.
Map
Knuth-Krattenthaler
Description
The map that sends the Dyck path to a 321-avoiding permutation, then applies the Robinson-Schensted correspondence and finally interprets the first row of the insertion tableau and the second row of the recording tableau as up steps.
Interpreting a pair of two-row standard tableaux of the same shape as a Dyck path is explained by Knuth in [1, pp. 60].
Krattenthaler's bijection between Dyck paths and $321$-avoiding permutations used is Mp00119to 321-avoiding permutation (Krattenthaler), see [2].
This is the inverse of the map Mp00127left-to-right-maxima to Dyck path that interprets the left-to-right maxima of the permutation obtained from Mp00024to 321-avoiding permutation as a Dyck path.
Interpreting a pair of two-row standard tableaux of the same shape as a Dyck path is explained by Knuth in [1, pp. 60].
Krattenthaler's bijection between Dyck paths and $321$-avoiding permutations used is Mp00119to 321-avoiding permutation (Krattenthaler), see [2].
This is the inverse of the map Mp00127left-to-right-maxima to Dyck path that interprets the left-to-right maxima of the permutation obtained from Mp00024to 321-avoiding permutation as a Dyck path.
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].
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
to poset
Description
Return the poset obtained by interpreting the tree as a Hasse diagram.
searching the database
Sorry, this statistic was not found in the database
or
add this statistic to the database – it's very simple and we need your support!