Identifier
-
Mp00072:
Permutations
—binary search tree: left to right⟶
Binary trees
Mp00013: Binary trees —to poset⟶ Posets
Mp00195: Posets —order ideals⟶ Lattices
St001820: Lattices ⟶ ℤ
Values
[1] => [.,.] => ([],1) => ([(0,1)],2) => 1
[1,2] => [.,[.,.]] => ([(0,1)],2) => ([(0,2),(2,1)],3) => 2
[2,1] => [[.,.],.] => ([(0,1)],2) => ([(0,2),(2,1)],3) => 2
[1,2,3] => [.,[.,[.,.]]] => ([(0,2),(2,1)],3) => ([(0,3),(2,1),(3,2)],4) => 3
[1,3,2] => [.,[[.,.],.]] => ([(0,2),(2,1)],3) => ([(0,3),(2,1),(3,2)],4) => 3
[2,1,3] => [[.,.],[.,.]] => ([(0,2),(1,2)],3) => ([(0,2),(0,3),(2,4),(3,4),(4,1)],5) => 2
[2,3,1] => [[.,.],[.,.]] => ([(0,2),(1,2)],3) => ([(0,2),(0,3),(2,4),(3,4),(4,1)],5) => 2
[3,1,2] => [[.,[.,.]],.] => ([(0,2),(2,1)],3) => ([(0,3),(2,1),(3,2)],4) => 3
[3,2,1] => [[[.,.],.],.] => ([(0,2),(2,1)],3) => ([(0,3),(2,1),(3,2)],4) => 3
[1,2,3,4] => [.,[.,[.,[.,.]]]] => ([(0,3),(2,1),(3,2)],4) => ([(0,4),(2,3),(3,1),(4,2)],5) => 4
[1,2,4,3] => [.,[.,[[.,.],.]]] => ([(0,3),(2,1),(3,2)],4) => ([(0,4),(2,3),(3,1),(4,2)],5) => 4
[1,3,2,4] => [.,[[.,.],[.,.]]] => ([(0,3),(1,3),(3,2)],4) => ([(0,2),(0,3),(2,5),(3,5),(4,1),(5,4)],6) => 3
[1,3,4,2] => [.,[[.,.],[.,.]]] => ([(0,3),(1,3),(3,2)],4) => ([(0,2),(0,3),(2,5),(3,5),(4,1),(5,4)],6) => 3
[1,4,2,3] => [.,[[.,[.,.]],.]] => ([(0,3),(2,1),(3,2)],4) => ([(0,4),(2,3),(3,1),(4,2)],5) => 4
[1,4,3,2] => [.,[[[.,.],.],.]] => ([(0,3),(2,1),(3,2)],4) => ([(0,4),(2,3),(3,1),(4,2)],5) => 4
[2,1,3,4] => [[.,.],[.,[.,.]]] => ([(0,3),(1,2),(2,3)],4) => ([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7) => 3
[2,1,4,3] => [[.,.],[[.,.],.]] => ([(0,3),(1,2),(2,3)],4) => ([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7) => 3
[2,3,1,4] => [[.,.],[.,[.,.]]] => ([(0,3),(1,2),(2,3)],4) => ([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7) => 3
[2,3,4,1] => [[.,.],[.,[.,.]]] => ([(0,3),(1,2),(2,3)],4) => ([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7) => 3
[2,4,1,3] => [[.,.],[[.,.],.]] => ([(0,3),(1,2),(2,3)],4) => ([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7) => 3
[2,4,3,1] => [[.,.],[[.,.],.]] => ([(0,3),(1,2),(2,3)],4) => ([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7) => 3
[3,1,2,4] => [[.,[.,.]],[.,.]] => ([(0,3),(1,2),(2,3)],4) => ([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7) => 3
[3,1,4,2] => [[.,[.,.]],[.,.]] => ([(0,3),(1,2),(2,3)],4) => ([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7) => 3
[3,2,1,4] => [[[.,.],.],[.,.]] => ([(0,3),(1,2),(2,3)],4) => ([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7) => 3
[3,2,4,1] => [[[.,.],.],[.,.]] => ([(0,3),(1,2),(2,3)],4) => ([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7) => 3
[3,4,1,2] => [[.,[.,.]],[.,.]] => ([(0,3),(1,2),(2,3)],4) => ([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7) => 3
[3,4,2,1] => [[[.,.],.],[.,.]] => ([(0,3),(1,2),(2,3)],4) => ([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7) => 3
[4,1,2,3] => [[.,[.,[.,.]]],.] => ([(0,3),(2,1),(3,2)],4) => ([(0,4),(2,3),(3,1),(4,2)],5) => 4
[4,1,3,2] => [[.,[[.,.],.]],.] => ([(0,3),(2,1),(3,2)],4) => ([(0,4),(2,3),(3,1),(4,2)],5) => 4
[4,2,1,3] => [[[.,.],[.,.]],.] => ([(0,3),(1,3),(3,2)],4) => ([(0,2),(0,3),(2,5),(3,5),(4,1),(5,4)],6) => 3
[4,2,3,1] => [[[.,.],[.,.]],.] => ([(0,3),(1,3),(3,2)],4) => ([(0,2),(0,3),(2,5),(3,5),(4,1),(5,4)],6) => 3
[4,3,1,2] => [[[.,[.,.]],.],.] => ([(0,3),(2,1),(3,2)],4) => ([(0,4),(2,3),(3,1),(4,2)],5) => 4
[4,3,2,1] => [[[[.,.],.],.],.] => ([(0,3),(2,1),(3,2)],4) => ([(0,4),(2,3),(3,1),(4,2)],5) => 4
[1,2,3,4,5] => [.,[.,[.,[.,[.,.]]]]] => ([(0,4),(2,3),(3,1),(4,2)],5) => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => 5
[1,2,3,5,4] => [.,[.,[.,[[.,.],.]]]] => ([(0,4),(2,3),(3,1),(4,2)],5) => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => 5
[1,2,4,3,5] => [.,[.,[[.,.],[.,.]]]] => ([(0,4),(1,4),(2,3),(4,2)],5) => ([(0,2),(0,3),(2,6),(3,6),(4,1),(5,4),(6,5)],7) => 4
[1,2,4,5,3] => [.,[.,[[.,.],[.,.]]]] => ([(0,4),(1,4),(2,3),(4,2)],5) => ([(0,2),(0,3),(2,6),(3,6),(4,1),(5,4),(6,5)],7) => 4
[1,2,5,3,4] => [.,[.,[[.,[.,.]],.]]] => ([(0,4),(2,3),(3,1),(4,2)],5) => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => 5
[1,2,5,4,3] => [.,[.,[[[.,.],.],.]]] => ([(0,4),(2,3),(3,1),(4,2)],5) => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => 5
[1,3,2,4,5] => [.,[[.,.],[.,[.,.]]]] => ([(0,4),(1,2),(2,4),(4,3)],5) => ([(0,3),(0,5),(1,7),(3,6),(4,2),(5,1),(5,6),(6,7),(7,4)],8) => 4
[1,3,2,5,4] => [.,[[.,.],[[.,.],.]]] => ([(0,4),(1,2),(2,4),(4,3)],5) => ([(0,3),(0,5),(1,7),(3,6),(4,2),(5,1),(5,6),(6,7),(7,4)],8) => 4
[1,3,4,2,5] => [.,[[.,.],[.,[.,.]]]] => ([(0,4),(1,2),(2,4),(4,3)],5) => ([(0,3),(0,5),(1,7),(3,6),(4,2),(5,1),(5,6),(6,7),(7,4)],8) => 4
[1,3,4,5,2] => [.,[[.,.],[.,[.,.]]]] => ([(0,4),(1,2),(2,4),(4,3)],5) => ([(0,3),(0,5),(1,7),(3,6),(4,2),(5,1),(5,6),(6,7),(7,4)],8) => 4
[1,3,5,2,4] => [.,[[.,.],[[.,.],.]]] => ([(0,4),(1,2),(2,4),(4,3)],5) => ([(0,3),(0,5),(1,7),(3,6),(4,2),(5,1),(5,6),(6,7),(7,4)],8) => 4
[1,3,5,4,2] => [.,[[.,.],[[.,.],.]]] => ([(0,4),(1,2),(2,4),(4,3)],5) => ([(0,3),(0,5),(1,7),(3,6),(4,2),(5,1),(5,6),(6,7),(7,4)],8) => 4
[1,4,2,3,5] => [.,[[.,[.,.]],[.,.]]] => ([(0,4),(1,2),(2,4),(4,3)],5) => ([(0,3),(0,5),(1,7),(3,6),(4,2),(5,1),(5,6),(6,7),(7,4)],8) => 4
[1,4,2,5,3] => [.,[[.,[.,.]],[.,.]]] => ([(0,4),(1,2),(2,4),(4,3)],5) => ([(0,3),(0,5),(1,7),(3,6),(4,2),(5,1),(5,6),(6,7),(7,4)],8) => 4
[1,4,3,2,5] => [.,[[[.,.],.],[.,.]]] => ([(0,4),(1,2),(2,4),(4,3)],5) => ([(0,3),(0,5),(1,7),(3,6),(4,2),(5,1),(5,6),(6,7),(7,4)],8) => 4
[1,4,3,5,2] => [.,[[[.,.],.],[.,.]]] => ([(0,4),(1,2),(2,4),(4,3)],5) => ([(0,3),(0,5),(1,7),(3,6),(4,2),(5,1),(5,6),(6,7),(7,4)],8) => 4
[1,4,5,2,3] => [.,[[.,[.,.]],[.,.]]] => ([(0,4),(1,2),(2,4),(4,3)],5) => ([(0,3),(0,5),(1,7),(3,6),(4,2),(5,1),(5,6),(6,7),(7,4)],8) => 4
[1,4,5,3,2] => [.,[[[.,.],.],[.,.]]] => ([(0,4),(1,2),(2,4),(4,3)],5) => ([(0,3),(0,5),(1,7),(3,6),(4,2),(5,1),(5,6),(6,7),(7,4)],8) => 4
[1,5,2,3,4] => [.,[[.,[.,[.,.]]],.]] => ([(0,4),(2,3),(3,1),(4,2)],5) => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => 5
[1,5,2,4,3] => [.,[[.,[[.,.],.]],.]] => ([(0,4),(2,3),(3,1),(4,2)],5) => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => 5
[1,5,3,2,4] => [.,[[[.,.],[.,.]],.]] => ([(0,4),(1,4),(2,3),(4,2)],5) => ([(0,2),(0,3),(2,6),(3,6),(4,1),(5,4),(6,5)],7) => 4
[1,5,3,4,2] => [.,[[[.,.],[.,.]],.]] => ([(0,4),(1,4),(2,3),(4,2)],5) => ([(0,2),(0,3),(2,6),(3,6),(4,1),(5,4),(6,5)],7) => 4
[1,5,4,2,3] => [.,[[[.,[.,.]],.],.]] => ([(0,4),(2,3),(3,1),(4,2)],5) => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => 5
[1,5,4,3,2] => [.,[[[[.,.],.],.],.]] => ([(0,4),(2,3),(3,1),(4,2)],5) => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => 5
[2,1,3,4,5] => [[.,.],[.,[.,[.,.]]]] => ([(0,4),(1,2),(2,3),(3,4)],5) => ([(0,3),(0,5),(2,8),(3,6),(4,2),(4,7),(5,4),(5,6),(6,7),(7,8),(8,1)],9) => 4
[2,1,3,5,4] => [[.,.],[.,[[.,.],.]]] => ([(0,4),(1,2),(2,3),(3,4)],5) => ([(0,3),(0,5),(2,8),(3,6),(4,2),(4,7),(5,4),(5,6),(6,7),(7,8),(8,1)],9) => 4
[2,1,5,3,4] => [[.,.],[[.,[.,.]],.]] => ([(0,4),(1,2),(2,3),(3,4)],5) => ([(0,3),(0,5),(2,8),(3,6),(4,2),(4,7),(5,4),(5,6),(6,7),(7,8),(8,1)],9) => 4
[2,1,5,4,3] => [[.,.],[[[.,.],.],.]] => ([(0,4),(1,2),(2,3),(3,4)],5) => ([(0,3),(0,5),(2,8),(3,6),(4,2),(4,7),(5,4),(5,6),(6,7),(7,8),(8,1)],9) => 4
[2,3,1,4,5] => [[.,.],[.,[.,[.,.]]]] => ([(0,4),(1,2),(2,3),(3,4)],5) => ([(0,3),(0,5),(2,8),(3,6),(4,2),(4,7),(5,4),(5,6),(6,7),(7,8),(8,1)],9) => 4
[2,3,1,5,4] => [[.,.],[.,[[.,.],.]]] => ([(0,4),(1,2),(2,3),(3,4)],5) => ([(0,3),(0,5),(2,8),(3,6),(4,2),(4,7),(5,4),(5,6),(6,7),(7,8),(8,1)],9) => 4
[2,3,4,1,5] => [[.,.],[.,[.,[.,.]]]] => ([(0,4),(1,2),(2,3),(3,4)],5) => ([(0,3),(0,5),(2,8),(3,6),(4,2),(4,7),(5,4),(5,6),(6,7),(7,8),(8,1)],9) => 4
[2,3,4,5,1] => [[.,.],[.,[.,[.,.]]]] => ([(0,4),(1,2),(2,3),(3,4)],5) => ([(0,3),(0,5),(2,8),(3,6),(4,2),(4,7),(5,4),(5,6),(6,7),(7,8),(8,1)],9) => 4
[2,3,5,1,4] => [[.,.],[.,[[.,.],.]]] => ([(0,4),(1,2),(2,3),(3,4)],5) => ([(0,3),(0,5),(2,8),(3,6),(4,2),(4,7),(5,4),(5,6),(6,7),(7,8),(8,1)],9) => 4
[2,3,5,4,1] => [[.,.],[.,[[.,.],.]]] => ([(0,4),(1,2),(2,3),(3,4)],5) => ([(0,3),(0,5),(2,8),(3,6),(4,2),(4,7),(5,4),(5,6),(6,7),(7,8),(8,1)],9) => 4
[2,5,1,3,4] => [[.,.],[[.,[.,.]],.]] => ([(0,4),(1,2),(2,3),(3,4)],5) => ([(0,3),(0,5),(2,8),(3,6),(4,2),(4,7),(5,4),(5,6),(6,7),(7,8),(8,1)],9) => 4
[2,5,1,4,3] => [[.,.],[[[.,.],.],.]] => ([(0,4),(1,2),(2,3),(3,4)],5) => ([(0,3),(0,5),(2,8),(3,6),(4,2),(4,7),(5,4),(5,6),(6,7),(7,8),(8,1)],9) => 4
[2,5,3,1,4] => [[.,.],[[.,[.,.]],.]] => ([(0,4),(1,2),(2,3),(3,4)],5) => ([(0,3),(0,5),(2,8),(3,6),(4,2),(4,7),(5,4),(5,6),(6,7),(7,8),(8,1)],9) => 4
[2,5,3,4,1] => [[.,.],[[.,[.,.]],.]] => ([(0,4),(1,2),(2,3),(3,4)],5) => ([(0,3),(0,5),(2,8),(3,6),(4,2),(4,7),(5,4),(5,6),(6,7),(7,8),(8,1)],9) => 4
[2,5,4,1,3] => [[.,.],[[[.,.],.],.]] => ([(0,4),(1,2),(2,3),(3,4)],5) => ([(0,3),(0,5),(2,8),(3,6),(4,2),(4,7),(5,4),(5,6),(6,7),(7,8),(8,1)],9) => 4
[2,5,4,3,1] => [[.,.],[[[.,.],.],.]] => ([(0,4),(1,2),(2,3),(3,4)],5) => ([(0,3),(0,5),(2,8),(3,6),(4,2),(4,7),(5,4),(5,6),(6,7),(7,8),(8,1)],9) => 4
[4,1,2,3,5] => [[.,[.,[.,.]]],[.,.]] => ([(0,4),(1,2),(2,3),(3,4)],5) => ([(0,3),(0,5),(2,8),(3,6),(4,2),(4,7),(5,4),(5,6),(6,7),(7,8),(8,1)],9) => 4
[4,1,2,5,3] => [[.,[.,[.,.]]],[.,.]] => ([(0,4),(1,2),(2,3),(3,4)],5) => ([(0,3),(0,5),(2,8),(3,6),(4,2),(4,7),(5,4),(5,6),(6,7),(7,8),(8,1)],9) => 4
[4,1,3,2,5] => [[.,[[.,.],.]],[.,.]] => ([(0,4),(1,2),(2,3),(3,4)],5) => ([(0,3),(0,5),(2,8),(3,6),(4,2),(4,7),(5,4),(5,6),(6,7),(7,8),(8,1)],9) => 4
[4,1,3,5,2] => [[.,[[.,.],.]],[.,.]] => ([(0,4),(1,2),(2,3),(3,4)],5) => ([(0,3),(0,5),(2,8),(3,6),(4,2),(4,7),(5,4),(5,6),(6,7),(7,8),(8,1)],9) => 4
[4,1,5,2,3] => [[.,[.,[.,.]]],[.,.]] => ([(0,4),(1,2),(2,3),(3,4)],5) => ([(0,3),(0,5),(2,8),(3,6),(4,2),(4,7),(5,4),(5,6),(6,7),(7,8),(8,1)],9) => 4
[4,1,5,3,2] => [[.,[[.,.],.]],[.,.]] => ([(0,4),(1,2),(2,3),(3,4)],5) => ([(0,3),(0,5),(2,8),(3,6),(4,2),(4,7),(5,4),(5,6),(6,7),(7,8),(8,1)],9) => 4
[4,3,1,2,5] => [[[.,[.,.]],.],[.,.]] => ([(0,4),(1,2),(2,3),(3,4)],5) => ([(0,3),(0,5),(2,8),(3,6),(4,2),(4,7),(5,4),(5,6),(6,7),(7,8),(8,1)],9) => 4
[4,3,1,5,2] => [[[.,[.,.]],.],[.,.]] => ([(0,4),(1,2),(2,3),(3,4)],5) => ([(0,3),(0,5),(2,8),(3,6),(4,2),(4,7),(5,4),(5,6),(6,7),(7,8),(8,1)],9) => 4
[4,3,2,1,5] => [[[[.,.],.],.],[.,.]] => ([(0,4),(1,2),(2,3),(3,4)],5) => ([(0,3),(0,5),(2,8),(3,6),(4,2),(4,7),(5,4),(5,6),(6,7),(7,8),(8,1)],9) => 4
[4,3,2,5,1] => [[[[.,.],.],.],[.,.]] => ([(0,4),(1,2),(2,3),(3,4)],5) => ([(0,3),(0,5),(2,8),(3,6),(4,2),(4,7),(5,4),(5,6),(6,7),(7,8),(8,1)],9) => 4
[4,3,5,1,2] => [[[.,[.,.]],.],[.,.]] => ([(0,4),(1,2),(2,3),(3,4)],5) => ([(0,3),(0,5),(2,8),(3,6),(4,2),(4,7),(5,4),(5,6),(6,7),(7,8),(8,1)],9) => 4
[4,3,5,2,1] => [[[[.,.],.],.],[.,.]] => ([(0,4),(1,2),(2,3),(3,4)],5) => ([(0,3),(0,5),(2,8),(3,6),(4,2),(4,7),(5,4),(5,6),(6,7),(7,8),(8,1)],9) => 4
[4,5,1,2,3] => [[.,[.,[.,.]]],[.,.]] => ([(0,4),(1,2),(2,3),(3,4)],5) => ([(0,3),(0,5),(2,8),(3,6),(4,2),(4,7),(5,4),(5,6),(6,7),(7,8),(8,1)],9) => 4
[4,5,1,3,2] => [[.,[[.,.],.]],[.,.]] => ([(0,4),(1,2),(2,3),(3,4)],5) => ([(0,3),(0,5),(2,8),(3,6),(4,2),(4,7),(5,4),(5,6),(6,7),(7,8),(8,1)],9) => 4
[4,5,3,1,2] => [[[.,[.,.]],.],[.,.]] => ([(0,4),(1,2),(2,3),(3,4)],5) => ([(0,3),(0,5),(2,8),(3,6),(4,2),(4,7),(5,4),(5,6),(6,7),(7,8),(8,1)],9) => 4
[4,5,3,2,1] => [[[[.,.],.],.],[.,.]] => ([(0,4),(1,2),(2,3),(3,4)],5) => ([(0,3),(0,5),(2,8),(3,6),(4,2),(4,7),(5,4),(5,6),(6,7),(7,8),(8,1)],9) => 4
[5,1,2,3,4] => [[.,[.,[.,[.,.]]]],.] => ([(0,4),(2,3),(3,1),(4,2)],5) => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => 5
[5,1,2,4,3] => [[.,[.,[[.,.],.]]],.] => ([(0,4),(2,3),(3,1),(4,2)],5) => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => 5
[5,1,3,2,4] => [[.,[[.,.],[.,.]]],.] => ([(0,4),(1,4),(2,3),(4,2)],5) => ([(0,2),(0,3),(2,6),(3,6),(4,1),(5,4),(6,5)],7) => 4
[5,1,3,4,2] => [[.,[[.,.],[.,.]]],.] => ([(0,4),(1,4),(2,3),(4,2)],5) => ([(0,2),(0,3),(2,6),(3,6),(4,1),(5,4),(6,5)],7) => 4
[5,1,4,2,3] => [[.,[[.,[.,.]],.]],.] => ([(0,4),(2,3),(3,1),(4,2)],5) => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => 5
[5,1,4,3,2] => [[.,[[[.,.],.],.]],.] => ([(0,4),(2,3),(3,1),(4,2)],5) => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => 5
[5,2,1,3,4] => [[[.,.],[.,[.,.]]],.] => ([(0,4),(1,2),(2,4),(4,3)],5) => ([(0,3),(0,5),(1,7),(3,6),(4,2),(5,1),(5,6),(6,7),(7,4)],8) => 4
[5,2,1,4,3] => [[[.,.],[[.,.],.]],.] => ([(0,4),(1,2),(2,4),(4,3)],5) => ([(0,3),(0,5),(1,7),(3,6),(4,2),(5,1),(5,6),(6,7),(7,4)],8) => 4
[5,2,3,1,4] => [[[.,.],[.,[.,.]]],.] => ([(0,4),(1,2),(2,4),(4,3)],5) => ([(0,3),(0,5),(1,7),(3,6),(4,2),(5,1),(5,6),(6,7),(7,4)],8) => 4
[5,2,3,4,1] => [[[.,.],[.,[.,.]]],.] => ([(0,4),(1,2),(2,4),(4,3)],5) => ([(0,3),(0,5),(1,7),(3,6),(4,2),(5,1),(5,6),(6,7),(7,4)],8) => 4
[5,2,4,1,3] => [[[.,.],[[.,.],.]],.] => ([(0,4),(1,2),(2,4),(4,3)],5) => ([(0,3),(0,5),(1,7),(3,6),(4,2),(5,1),(5,6),(6,7),(7,4)],8) => 4
[5,2,4,3,1] => [[[.,.],[[.,.],.]],.] => ([(0,4),(1,2),(2,4),(4,3)],5) => ([(0,3),(0,5),(1,7),(3,6),(4,2),(5,1),(5,6),(6,7),(7,4)],8) => 4
>>> Load all 305 entries. <<<
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
Description
The size of the image of the pop stack sorting operator.
The pop stack sorting operator is defined by $Pop_L^\downarrow(x) = x\wedge\bigwedge\{y\in L\mid y\lessdot x\}$. This statistic returns the size of $Pop_L^\downarrow(L)\}$.
The pop stack sorting operator is defined by $Pop_L^\downarrow(x) = x\wedge\bigwedge\{y\in L\mid y\lessdot x\}$. This statistic returns the size of $Pop_L^\downarrow(L)\}$.
Map
order ideals
Description
The lattice of order ideals of a poset.
An order ideal $\mathcal I$ in a poset $P$ is a downward closed set, i.e., $a \in \mathcal I$ and $b \leq a$ implies $b \in \mathcal I$. This map sends a poset to the lattice of all order ideals sorted by inclusion with meet being intersection and join being union.
An order ideal $\mathcal I$ in a poset $P$ is a downward closed set, i.e., $a \in \mathcal I$ and $b \leq a$ implies $b \in \mathcal I$. This map sends a poset to the lattice of all order ideals sorted by inclusion with meet being intersection and join being union.
Map
binary search tree: left to right
Description
Return the shape of the binary search tree of the permutation as a non labelled binary tree.
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!