Your data matches 129 different statistics following compositions of up to 3 maps.
(click to perform a complete search on your data)
Matching statistic: St001613
(load all 3 compositions to match this statistic)
Mapping
Mp00013: Binary trees —to poset⟶ Posets
Mp00206: Posets —antichains of maximal size⟶ Lattices
St001613: Lattices ⟶ ℤResult quality: 100% ●values known / values provided: 100%●distinct values known / distinct values provided: 100%
Values
[.,[.,[.,.]]]
 => ([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => 1
[.,[[.,.],.]]
 => ([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => 1
[[.,[.,.]],.]
 => ([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => 1
[[[.,.],.],.]
 => ([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => 1
[.,[.,[.,[.,.]]]]
 => ([(0,3),(2,1),(3,2)],4)
 => ([(0,3),(2,1),(3,2)],4)
 => 1
[.,[.,[[.,.],.]]]
 => ([(0,3),(2,1),(3,2)],4)
 => ([(0,3),(2,1),(3,2)],4)
 => 1
[.,[[.,[.,.]],.]]
 => ([(0,3),(2,1),(3,2)],4)
 => ([(0,3),(2,1),(3,2)],4)
 => 1
[.,[[[.,.],.],.]]
 => ([(0,3),(2,1),(3,2)],4)
 => ([(0,3),(2,1),(3,2)],4)
 => 1
[[.,[.,[.,.]]],.]
 => ([(0,3),(2,1),(3,2)],4)
 => ([(0,3),(2,1),(3,2)],4)
 => 1
[[.,[[.,.],.]],.]
 => ([(0,3),(2,1),(3,2)],4)
 => ([(0,3),(2,1),(3,2)],4)
 => 1
[[[.,[.,.]],.],.]
 => ([(0,3),(2,1),(3,2)],4)
 => ([(0,3),(2,1),(3,2)],4)
 => 1
[[[[.,.],.],.],.]
 => ([(0,3),(2,1),(3,2)],4)
 => ([(0,3),(2,1),(3,2)],4)
 => 1
[.,[.,[.,[.,[.,.]]]]]
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => 1
[.,[.,[.,[[.,.],.]]]]
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => 1
[.,[.,[[.,[.,.]],.]]]
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => 1
[.,[.,[[[.,.],.],.]]]
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => 1
[.,[[.,[.,[.,.]]],.]]
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => 1
[.,[[.,[[.,.],.]],.]]
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => 1
[.,[[[.,[.,.]],.],.]]
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => 1
[.,[[[[.,.],.],.],.]]
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => 1
[[.,.],[.,[.,[.,.]]]]
 => ([(0,4),(1,2),(2,3),(3,4)],5)
 => ([(0,2),(2,1)],3)
 => 1
[[.,.],[.,[[.,.],.]]]
 => ([(0,4),(1,2),(2,3),(3,4)],5)
 => ([(0,2),(2,1)],3)
 => 1
[[.,.],[[.,[.,.]],.]]
 => ([(0,4),(1,2),(2,3),(3,4)],5)
 => ([(0,2),(2,1)],3)
 => 1
[[.,.],[[[.,.],.],.]]
 => ([(0,4),(1,2),(2,3),(3,4)],5)
 => ([(0,2),(2,1)],3)
 => 1
[[.,[.,.]],[.,[.,.]]]
 => ([(0,3),(1,2),(2,4),(3,4)],5)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 2
[[.,[.,.]],[[.,.],.]]
 => ([(0,3),(1,2),(2,4),(3,4)],5)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 2
[[[.,.],.],[.,[.,.]]]
 => ([(0,3),(1,2),(2,4),(3,4)],5)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 2
[[[.,.],.],[[.,.],.]]
 => ([(0,3),(1,2),(2,4),(3,4)],5)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 2
[[.,[.,[.,.]]],[.,.]]
 => ([(0,4),(1,2),(2,3),(3,4)],5)
 => ([(0,2),(2,1)],3)
 => 1
[[.,[[.,.],.]],[.,.]]
 => ([(0,4),(1,2),(2,3),(3,4)],5)
 => ([(0,2),(2,1)],3)
 => 1
[[[.,[.,.]],.],[.,.]]
 => ([(0,4),(1,2),(2,3),(3,4)],5)
 => ([(0,2),(2,1)],3)
 => 1
[[[[.,.],.],.],[.,.]]
 => ([(0,4),(1,2),(2,3),(3,4)],5)
 => ([(0,2),(2,1)],3)
 => 1
[[.,[.,[.,[.,.]]]],.]
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => 1
[[.,[.,[[.,.],.]]],.]
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => 1
[[.,[[.,[.,.]],.]],.]
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => 1
[[.,[[[.,.],.],.]],.]
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => 1
[[[.,[.,[.,.]]],.],.]
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => 1
[[[.,[[.,.],.]],.],.]
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => 1
[[[[.,[.,.]],.],.],.]
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => 1
[[[[[.,.],.],.],.],.]
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => 1
[.,[.,[.,[.,[.,[.,.]]]]]]
 => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
 => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
 => 1
[.,[.,[.,[.,[[.,.],.]]]]]
 => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
 => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
 => 1
[.,[.,[.,[[.,[.,.]],.]]]]
 => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
 => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
 => 1
[.,[.,[.,[[[.,.],.],.]]]]
 => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
 => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
 => 1
[.,[.,[[.,[.,[.,.]]],.]]]
 => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
 => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
 => 1
[.,[.,[[.,[[.,.],.]],.]]]
 => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
 => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
 => 1
[.,[.,[[[.,[.,.]],.],.]]]
 => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
 => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
 => 1
[.,[.,[[[[.,.],.],.],.]]]
 => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
 => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
 => 1
[.,[[.,.],[.,[.,[.,.]]]]]
 => ([(0,5),(1,4),(2,5),(4,2),(5,3)],6)
 => ([(0,2),(2,1)],3)
 => 1
[.,[[.,.],[.,[[.,.],.]]]]
 => ([(0,5),(1,4),(2,5),(4,2),(5,3)],6)
 => ([(0,2),(2,1)],3)
 => 1
Description
The binary logarithm of the size of the center of a lattice. An element of a lattice is central if it is neutral and has a complement. The subposet induced by central elements is a Boolean lattice.
Matching statistic: St001621
(load all 3 compositions to match this statistic)
Mapping
Mp00013: Binary trees —to poset⟶ Posets
Mp00206: Posets —antichains of maximal size⟶ Lattices
St001621: Lattices ⟶ ℤResult quality: 100% ●values known / values provided: 100%●distinct values known / distinct values provided: 100%
Values
[.,[.,[.,.]]]
 => ([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => 1
[.,[[.,.],.]]
 => ([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => 1
[[.,[.,.]],.]
 => ([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => 1
[[[.,.],.],.]
 => ([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => 1
[.,[.,[.,[.,.]]]]
 => ([(0,3),(2,1),(3,2)],4)
 => ([(0,3),(2,1),(3,2)],4)
 => 1
[.,[.,[[.,.],.]]]
 => ([(0,3),(2,1),(3,2)],4)
 => ([(0,3),(2,1),(3,2)],4)
 => 1
[.,[[.,[.,.]],.]]
 => ([(0,3),(2,1),(3,2)],4)
 => ([(0,3),(2,1),(3,2)],4)
 => 1
[.,[[[.,.],.],.]]
 => ([(0,3),(2,1),(3,2)],4)
 => ([(0,3),(2,1),(3,2)],4)
 => 1
[[.,[.,[.,.]]],.]
 => ([(0,3),(2,1),(3,2)],4)
 => ([(0,3),(2,1),(3,2)],4)
 => 1
[[.,[[.,.],.]],.]
 => ([(0,3),(2,1),(3,2)],4)
 => ([(0,3),(2,1),(3,2)],4)
 => 1
[[[.,[.,.]],.],.]
 => ([(0,3),(2,1),(3,2)],4)
 => ([(0,3),(2,1),(3,2)],4)
 => 1
[[[[.,.],.],.],.]
 => ([(0,3),(2,1),(3,2)],4)
 => ([(0,3),(2,1),(3,2)],4)
 => 1
[.,[.,[.,[.,[.,.]]]]]
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => 1
[.,[.,[.,[[.,.],.]]]]
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => 1
[.,[.,[[.,[.,.]],.]]]
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => 1
[.,[.,[[[.,.],.],.]]]
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => 1
[.,[[.,[.,[.,.]]],.]]
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => 1
[.,[[.,[[.,.],.]],.]]
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => 1
[.,[[[.,[.,.]],.],.]]
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => 1
[.,[[[[.,.],.],.],.]]
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => 1
[[.,.],[.,[.,[.,.]]]]
 => ([(0,4),(1,2),(2,3),(3,4)],5)
 => ([(0,2),(2,1)],3)
 => 1
[[.,.],[.,[[.,.],.]]]
 => ([(0,4),(1,2),(2,3),(3,4)],5)
 => ([(0,2),(2,1)],3)
 => 1
[[.,.],[[.,[.,.]],.]]
 => ([(0,4),(1,2),(2,3),(3,4)],5)
 => ([(0,2),(2,1)],3)
 => 1
[[.,.],[[[.,.],.],.]]
 => ([(0,4),(1,2),(2,3),(3,4)],5)
 => ([(0,2),(2,1)],3)
 => 1
[[.,[.,.]],[.,[.,.]]]
 => ([(0,3),(1,2),(2,4),(3,4)],5)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 2
[[.,[.,.]],[[.,.],.]]
 => ([(0,3),(1,2),(2,4),(3,4)],5)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 2
[[[.,.],.],[.,[.,.]]]
 => ([(0,3),(1,2),(2,4),(3,4)],5)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 2
[[[.,.],.],[[.,.],.]]
 => ([(0,3),(1,2),(2,4),(3,4)],5)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 2
[[.,[.,[.,.]]],[.,.]]
 => ([(0,4),(1,2),(2,3),(3,4)],5)
 => ([(0,2),(2,1)],3)
 => 1
[[.,[[.,.],.]],[.,.]]
 => ([(0,4),(1,2),(2,3),(3,4)],5)
 => ([(0,2),(2,1)],3)
 => 1
[[[.,[.,.]],.],[.,.]]
 => ([(0,4),(1,2),(2,3),(3,4)],5)
 => ([(0,2),(2,1)],3)
 => 1
[[[[.,.],.],.],[.,.]]
 => ([(0,4),(1,2),(2,3),(3,4)],5)
 => ([(0,2),(2,1)],3)
 => 1
[[.,[.,[.,[.,.]]]],.]
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => 1
[[.,[.,[[.,.],.]]],.]
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => 1
[[.,[[.,[.,.]],.]],.]
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => 1
[[.,[[[.,.],.],.]],.]
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => 1
[[[.,[.,[.,.]]],.],.]
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => 1
[[[.,[[.,.],.]],.],.]
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => 1
[[[[.,[.,.]],.],.],.]
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => 1
[[[[[.,.],.],.],.],.]
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => 1
[.,[.,[.,[.,[.,[.,.]]]]]]
 => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
 => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
 => 1
[.,[.,[.,[.,[[.,.],.]]]]]
 => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
 => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
 => 1
[.,[.,[.,[[.,[.,.]],.]]]]
 => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
 => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
 => 1
[.,[.,[.,[[[.,.],.],.]]]]
 => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
 => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
 => 1
[.,[.,[[.,[.,[.,.]]],.]]]
 => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
 => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
 => 1
[.,[.,[[.,[[.,.],.]],.]]]
 => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
 => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
 => 1
[.,[.,[[[.,[.,.]],.],.]]]
 => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
 => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
 => 1
[.,[.,[[[[.,.],.],.],.]]]
 => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
 => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
 => 1
[.,[[.,.],[.,[.,[.,.]]]]]
 => ([(0,5),(1,4),(2,5),(4,2),(5,3)],6)
 => ([(0,2),(2,1)],3)
 => 1
[.,[[.,.],[.,[[.,.],.]]]]
 => ([(0,5),(1,4),(2,5),(4,2),(5,3)],6)
 => ([(0,2),(2,1)],3)
 => 1
Description
The number of atoms of a lattice. An element of a lattice is an '''atom''' if it covers the least element.
Matching statistic: St001624
(load all 3 compositions to match this statistic)
Mapping
Mp00013: Binary trees —to poset⟶ Posets
Mp00206: Posets —antichains of maximal size⟶ Lattices
St001624: Lattices ⟶ ℤResult quality: 100% ●values known / values provided: 100%●distinct values known / distinct values provided: 100%
Values
[.,[.,[.,.]]]
 => ([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => 1
[.,[[.,.],.]]
 => ([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => 1
[[.,[.,.]],.]
 => ([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => 1
[[[.,.],.],.]
 => ([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => 1
[.,[.,[.,[.,.]]]]
 => ([(0,3),(2,1),(3,2)],4)
 => ([(0,3),(2,1),(3,2)],4)
 => 1
[.,[.,[[.,.],.]]]
 => ([(0,3),(2,1),(3,2)],4)
 => ([(0,3),(2,1),(3,2)],4)
 => 1
[.,[[.,[.,.]],.]]
 => ([(0,3),(2,1),(3,2)],4)
 => ([(0,3),(2,1),(3,2)],4)
 => 1
[.,[[[.,.],.],.]]
 => ([(0,3),(2,1),(3,2)],4)
 => ([(0,3),(2,1),(3,2)],4)
 => 1
[[.,[.,[.,.]]],.]
 => ([(0,3),(2,1),(3,2)],4)
 => ([(0,3),(2,1),(3,2)],4)
 => 1
[[.,[[.,.],.]],.]
 => ([(0,3),(2,1),(3,2)],4)
 => ([(0,3),(2,1),(3,2)],4)
 => 1
[[[.,[.,.]],.],.]
 => ([(0,3),(2,1),(3,2)],4)
 => ([(0,3),(2,1),(3,2)],4)
 => 1
[[[[.,.],.],.],.]
 => ([(0,3),(2,1),(3,2)],4)
 => ([(0,3),(2,1),(3,2)],4)
 => 1
[.,[.,[.,[.,[.,.]]]]]
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => 1
[.,[.,[.,[[.,.],.]]]]
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => 1
[.,[.,[[.,[.,.]],.]]]
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => 1
[.,[.,[[[.,.],.],.]]]
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => 1
[.,[[.,[.,[.,.]]],.]]
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => 1
[.,[[.,[[.,.],.]],.]]
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => 1
[.,[[[.,[.,.]],.],.]]
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => 1
[.,[[[[.,.],.],.],.]]
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => 1
[[.,.],[.,[.,[.,.]]]]
 => ([(0,4),(1,2),(2,3),(3,4)],5)
 => ([(0,2),(2,1)],3)
 => 1
[[.,.],[.,[[.,.],.]]]
 => ([(0,4),(1,2),(2,3),(3,4)],5)
 => ([(0,2),(2,1)],3)
 => 1
[[.,.],[[.,[.,.]],.]]
 => ([(0,4),(1,2),(2,3),(3,4)],5)
 => ([(0,2),(2,1)],3)
 => 1
[[.,.],[[[.,.],.],.]]
 => ([(0,4),(1,2),(2,3),(3,4)],5)
 => ([(0,2),(2,1)],3)
 => 1
[[.,[.,.]],[.,[.,.]]]
 => ([(0,3),(1,2),(2,4),(3,4)],5)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 2
[[.,[.,.]],[[.,.],.]]
 => ([(0,3),(1,2),(2,4),(3,4)],5)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 2
[[[.,.],.],[.,[.,.]]]
 => ([(0,3),(1,2),(2,4),(3,4)],5)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 2
[[[.,.],.],[[.,.],.]]
 => ([(0,3),(1,2),(2,4),(3,4)],5)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 2
[[.,[.,[.,.]]],[.,.]]
 => ([(0,4),(1,2),(2,3),(3,4)],5)
 => ([(0,2),(2,1)],3)
 => 1
[[.,[[.,.],.]],[.,.]]
 => ([(0,4),(1,2),(2,3),(3,4)],5)
 => ([(0,2),(2,1)],3)
 => 1
[[[.,[.,.]],.],[.,.]]
 => ([(0,4),(1,2),(2,3),(3,4)],5)
 => ([(0,2),(2,1)],3)
 => 1
[[[[.,.],.],.],[.,.]]
 => ([(0,4),(1,2),(2,3),(3,4)],5)
 => ([(0,2),(2,1)],3)
 => 1
[[.,[.,[.,[.,.]]]],.]
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => 1
[[.,[.,[[.,.],.]]],.]
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => 1
[[.,[[.,[.,.]],.]],.]
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => 1
[[.,[[[.,.],.],.]],.]
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => 1
[[[.,[.,[.,.]]],.],.]
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => 1
[[[.,[[.,.],.]],.],.]
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => 1
[[[[.,[.,.]],.],.],.]
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => 1
[[[[[.,.],.],.],.],.]
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => 1
[.,[.,[.,[.,[.,[.,.]]]]]]
 => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
 => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
 => 1
[.,[.,[.,[.,[[.,.],.]]]]]
 => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
 => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
 => 1
[.,[.,[.,[[.,[.,.]],.]]]]
 => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
 => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
 => 1
[.,[.,[.,[[[.,.],.],.]]]]
 => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
 => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
 => 1
[.,[.,[[.,[.,[.,.]]],.]]]
 => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
 => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
 => 1
[.,[.,[[.,[[.,.],.]],.]]]
 => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
 => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
 => 1
[.,[.,[[[.,[.,.]],.],.]]]
 => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
 => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
 => 1
[.,[.,[[[[.,.],.],.],.]]]
 => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
 => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
 => 1
[.,[[.,.],[.,[.,[.,.]]]]]
 => ([(0,5),(1,4),(2,5),(4,2),(5,3)],6)
 => ([(0,2),(2,1)],3)
 => 1
[.,[[.,.],[.,[[.,.],.]]]]
 => ([(0,5),(1,4),(2,5),(4,2),(5,3)],6)
 => ([(0,2),(2,1)],3)
 => 1
Description
The breadth of a lattice. The '''breadth''' of a lattice is the least integer $b$ such that any join $x_1\vee x_2\vee\cdots\vee x_n$, with $n > b$, can be expressed as a join over a proper subset of $\{x_1,x_2,\ldots,x_n\}$.
Matching statistic: St001878
(load all 3 compositions to match this statistic)
Mapping
Mp00013: Binary trees —to poset⟶ Posets
Mp00206: Posets —antichains of maximal size⟶ Lattices
St001878: Lattices ⟶ ℤResult quality: 100% ●values known / values provided: 100%●distinct values known / distinct values provided: 100%
Values
[.,[.,[.,.]]]
 => ([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => 1
[.,[[.,.],.]]
 => ([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => 1
[[.,[.,.]],.]
 => ([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => 1
[[[.,.],.],.]
 => ([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => 1
[.,[.,[.,[.,.]]]]
 => ([(0,3),(2,1),(3,2)],4)
 => ([(0,3),(2,1),(3,2)],4)
 => 1
[.,[.,[[.,.],.]]]
 => ([(0,3),(2,1),(3,2)],4)
 => ([(0,3),(2,1),(3,2)],4)
 => 1
[.,[[.,[.,.]],.]]
 => ([(0,3),(2,1),(3,2)],4)
 => ([(0,3),(2,1),(3,2)],4)
 => 1
[.,[[[.,.],.],.]]
 => ([(0,3),(2,1),(3,2)],4)
 => ([(0,3),(2,1),(3,2)],4)
 => 1
[[.,[.,[.,.]]],.]
 => ([(0,3),(2,1),(3,2)],4)
 => ([(0,3),(2,1),(3,2)],4)
 => 1
[[.,[[.,.],.]],.]
 => ([(0,3),(2,1),(3,2)],4)
 => ([(0,3),(2,1),(3,2)],4)
 => 1
[[[.,[.,.]],.],.]
 => ([(0,3),(2,1),(3,2)],4)
 => ([(0,3),(2,1),(3,2)],4)
 => 1
[[[[.,.],.],.],.]
 => ([(0,3),(2,1),(3,2)],4)
 => ([(0,3),(2,1),(3,2)],4)
 => 1
[.,[.,[.,[.,[.,.]]]]]
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => 1
[.,[.,[.,[[.,.],.]]]]
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => 1
[.,[.,[[.,[.,.]],.]]]
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => 1
[.,[.,[[[.,.],.],.]]]
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => 1
[.,[[.,[.,[.,.]]],.]]
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => 1
[.,[[.,[[.,.],.]],.]]
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => 1
[.,[[[.,[.,.]],.],.]]
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => 1
[.,[[[[.,.],.],.],.]]
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => 1
[[.,.],[.,[.,[.,.]]]]
 => ([(0,4),(1,2),(2,3),(3,4)],5)
 => ([(0,2),(2,1)],3)
 => 1
[[.,.],[.,[[.,.],.]]]
 => ([(0,4),(1,2),(2,3),(3,4)],5)
 => ([(0,2),(2,1)],3)
 => 1
[[.,.],[[.,[.,.]],.]]
 => ([(0,4),(1,2),(2,3),(3,4)],5)
 => ([(0,2),(2,1)],3)
 => 1
[[.,.],[[[.,.],.],.]]
 => ([(0,4),(1,2),(2,3),(3,4)],5)
 => ([(0,2),(2,1)],3)
 => 1
[[.,[.,.]],[.,[.,.]]]
 => ([(0,3),(1,2),(2,4),(3,4)],5)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 2
[[.,[.,.]],[[.,.],.]]
 => ([(0,3),(1,2),(2,4),(3,4)],5)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 2
[[[.,.],.],[.,[.,.]]]
 => ([(0,3),(1,2),(2,4),(3,4)],5)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 2
[[[.,.],.],[[.,.],.]]
 => ([(0,3),(1,2),(2,4),(3,4)],5)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 2
[[.,[.,[.,.]]],[.,.]]
 => ([(0,4),(1,2),(2,3),(3,4)],5)
 => ([(0,2),(2,1)],3)
 => 1
[[.,[[.,.],.]],[.,.]]
 => ([(0,4),(1,2),(2,3),(3,4)],5)
 => ([(0,2),(2,1)],3)
 => 1
[[[.,[.,.]],.],[.,.]]
 => ([(0,4),(1,2),(2,3),(3,4)],5)
 => ([(0,2),(2,1)],3)
 => 1
[[[[.,.],.],.],[.,.]]
 => ([(0,4),(1,2),(2,3),(3,4)],5)
 => ([(0,2),(2,1)],3)
 => 1
[[.,[.,[.,[.,.]]]],.]
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => 1
[[.,[.,[[.,.],.]]],.]
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => 1
[[.,[[.,[.,.]],.]],.]
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => 1
[[.,[[[.,.],.],.]],.]
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => 1
[[[.,[.,[.,.]]],.],.]
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => 1
[[[.,[[.,.],.]],.],.]
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => 1
[[[[.,[.,.]],.],.],.]
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => 1
[[[[[.,.],.],.],.],.]
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => 1
[.,[.,[.,[.,[.,[.,.]]]]]]
 => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
 => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
 => 1
[.,[.,[.,[.,[[.,.],.]]]]]
 => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
 => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
 => 1
[.,[.,[.,[[.,[.,.]],.]]]]
 => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
 => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
 => 1
[.,[.,[.,[[[.,.],.],.]]]]
 => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
 => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
 => 1
[.,[.,[[.,[.,[.,.]]],.]]]
 => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
 => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
 => 1
[.,[.,[[.,[[.,.],.]],.]]]
 => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
 => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
 => 1
[.,[.,[[[.,[.,.]],.],.]]]
 => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
 => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
 => 1
[.,[.,[[[[.,.],.],.],.]]]
 => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
 => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
 => 1
[.,[[.,.],[.,[.,[.,.]]]]]
 => ([(0,5),(1,4),(2,5),(4,2),(5,3)],6)
 => ([(0,2),(2,1)],3)
 => 1
[.,[[.,.],[.,[[.,.],.]]]]
 => ([(0,5),(1,4),(2,5),(4,2),(5,3)],6)
 => ([(0,2),(2,1)],3)
 => 1
Description
The projective dimension of the simple modules corresponding to the minimum of L in the incidence algebra of the lattice L.
Matching statistic: St001881
(load all 3 compositions to match this statistic)
Mapping
Mp00013: Binary trees —to poset⟶ Posets
Mp00206: Posets —antichains of maximal size⟶ Lattices
St001881: Lattices ⟶ ℤResult quality: 100% ●values known / values provided: 100%●distinct values known / distinct values provided: 100%
Values
[.,[.,[.,.]]]
 => ([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => 1
[.,[[.,.],.]]
 => ([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => 1
[[.,[.,.]],.]
 => ([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => 1
[[[.,.],.],.]
 => ([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => 1
[.,[.,[.,[.,.]]]]
 => ([(0,3),(2,1),(3,2)],4)
 => ([(0,3),(2,1),(3,2)],4)
 => 1
[.,[.,[[.,.],.]]]
 => ([(0,3),(2,1),(3,2)],4)
 => ([(0,3),(2,1),(3,2)],4)
 => 1
[.,[[.,[.,.]],.]]
 => ([(0,3),(2,1),(3,2)],4)
 => ([(0,3),(2,1),(3,2)],4)
 => 1
[.,[[[.,.],.],.]]
 => ([(0,3),(2,1),(3,2)],4)
 => ([(0,3),(2,1),(3,2)],4)
 => 1
[[.,[.,[.,.]]],.]
 => ([(0,3),(2,1),(3,2)],4)
 => ([(0,3),(2,1),(3,2)],4)
 => 1
[[.,[[.,.],.]],.]
 => ([(0,3),(2,1),(3,2)],4)
 => ([(0,3),(2,1),(3,2)],4)
 => 1
[[[.,[.,.]],.],.]
 => ([(0,3),(2,1),(3,2)],4)
 => ([(0,3),(2,1),(3,2)],4)
 => 1
[[[[.,.],.],.],.]
 => ([(0,3),(2,1),(3,2)],4)
 => ([(0,3),(2,1),(3,2)],4)
 => 1
[.,[.,[.,[.,[.,.]]]]]
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => 1
[.,[.,[.,[[.,.],.]]]]
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => 1
[.,[.,[[.,[.,.]],.]]]
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => 1
[.,[.,[[[.,.],.],.]]]
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => 1
[.,[[.,[.,[.,.]]],.]]
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => 1
[.,[[.,[[.,.],.]],.]]
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => 1
[.,[[[.,[.,.]],.],.]]
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => 1
[.,[[[[.,.],.],.],.]]
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => 1
[[.,.],[.,[.,[.,.]]]]
 => ([(0,4),(1,2),(2,3),(3,4)],5)
 => ([(0,2),(2,1)],3)
 => 1
[[.,.],[.,[[.,.],.]]]
 => ([(0,4),(1,2),(2,3),(3,4)],5)
 => ([(0,2),(2,1)],3)
 => 1
[[.,.],[[.,[.,.]],.]]
 => ([(0,4),(1,2),(2,3),(3,4)],5)
 => ([(0,2),(2,1)],3)
 => 1
[[.,.],[[[.,.],.],.]]
 => ([(0,4),(1,2),(2,3),(3,4)],5)
 => ([(0,2),(2,1)],3)
 => 1
[[.,[.,.]],[.,[.,.]]]
 => ([(0,3),(1,2),(2,4),(3,4)],5)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 2
[[.,[.,.]],[[.,.],.]]
 => ([(0,3),(1,2),(2,4),(3,4)],5)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 2
[[[.,.],.],[.,[.,.]]]
 => ([(0,3),(1,2),(2,4),(3,4)],5)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 2
[[[.,.],.],[[.,.],.]]
 => ([(0,3),(1,2),(2,4),(3,4)],5)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 2
[[.,[.,[.,.]]],[.,.]]
 => ([(0,4),(1,2),(2,3),(3,4)],5)
 => ([(0,2),(2,1)],3)
 => 1
[[.,[[.,.],.]],[.,.]]
 => ([(0,4),(1,2),(2,3),(3,4)],5)
 => ([(0,2),(2,1)],3)
 => 1
[[[.,[.,.]],.],[.,.]]
 => ([(0,4),(1,2),(2,3),(3,4)],5)
 => ([(0,2),(2,1)],3)
 => 1
[[[[.,.],.],.],[.,.]]
 => ([(0,4),(1,2),(2,3),(3,4)],5)
 => ([(0,2),(2,1)],3)
 => 1
[[.,[.,[.,[.,.]]]],.]
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => 1
[[.,[.,[[.,.],.]]],.]
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => 1
[[.,[[.,[.,.]],.]],.]
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => 1
[[.,[[[.,.],.],.]],.]
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => 1
[[[.,[.,[.,.]]],.],.]
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => 1
[[[.,[[.,.],.]],.],.]
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => 1
[[[[.,[.,.]],.],.],.]
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => 1
[[[[[.,.],.],.],.],.]
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => 1
[.,[.,[.,[.,[.,[.,.]]]]]]
 => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
 => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
 => 1
[.,[.,[.,[.,[[.,.],.]]]]]
 => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
 => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
 => 1
[.,[.,[.,[[.,[.,.]],.]]]]
 => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
 => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
 => 1
[.,[.,[.,[[[.,.],.],.]]]]
 => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
 => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
 => 1
[.,[.,[[.,[.,[.,.]]],.]]]
 => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
 => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
 => 1
[.,[.,[[.,[[.,.],.]],.]]]
 => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
 => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
 => 1
[.,[.,[[[.,[.,.]],.],.]]]
 => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
 => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
 => 1
[.,[.,[[[[.,.],.],.],.]]]
 => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
 => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
 => 1
[.,[[.,.],[.,[.,[.,.]]]]]
 => ([(0,5),(1,4),(2,5),(4,2),(5,3)],6)
 => ([(0,2),(2,1)],3)
 => 1
[.,[[.,.],[.,[[.,.],.]]]]
 => ([(0,5),(1,4),(2,5),(4,2),(5,3)],6)
 => ([(0,2),(2,1)],3)
 => 1
Description
The number of factors of a lattice as a Cartesian product of lattices. Since the cardinality of a lattice is the product of the cardinalities of its factors, this statistic is one whenever the cardinality of the lattice is prime.
Matching statistic: St000298
(load all 3 compositions to match this statistic)
Mapping
Mp00013: Binary trees —to poset⟶ Posets
Mp00206: Posets —antichains of maximal size⟶ Lattices
Mp00193: Lattices —to poset⟶ Posets
St000298: Posets ⟶ ℤResult quality: 100% ●values known / values provided: 100%●distinct values known / distinct values provided: 100%
Values
[.,[.,[.,.]]]
 => ([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => 1
[.,[[.,.],.]]
 => ([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => 1
[[.,[.,.]],.]
 => ([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => 1
[[[.,.],.],.]
 => ([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => 1
[.,[.,[.,[.,.]]]]
 => ([(0,3),(2,1),(3,2)],4)
 => ([(0,3),(2,1),(3,2)],4)
 => ([(0,3),(2,1),(3,2)],4)
 => 1
[.,[.,[[.,.],.]]]
 => ([(0,3),(2,1),(3,2)],4)
 => ([(0,3),(2,1),(3,2)],4)
 => ([(0,3),(2,1),(3,2)],4)
 => 1
[.,[[.,[.,.]],.]]
 => ([(0,3),(2,1),(3,2)],4)
 => ([(0,3),(2,1),(3,2)],4)
 => ([(0,3),(2,1),(3,2)],4)
 => 1
[.,[[[.,.],.],.]]
 => ([(0,3),(2,1),(3,2)],4)
 => ([(0,3),(2,1),(3,2)],4)
 => ([(0,3),(2,1),(3,2)],4)
 => 1
[[.,[.,[.,.]]],.]
 => ([(0,3),(2,1),(3,2)],4)
 => ([(0,3),(2,1),(3,2)],4)
 => ([(0,3),(2,1),(3,2)],4)
 => 1
[[.,[[.,.],.]],.]
 => ([(0,3),(2,1),(3,2)],4)
 => ([(0,3),(2,1),(3,2)],4)
 => ([(0,3),(2,1),(3,2)],4)
 => 1
[[[.,[.,.]],.],.]
 => ([(0,3),(2,1),(3,2)],4)
 => ([(0,3),(2,1),(3,2)],4)
 => ([(0,3),(2,1),(3,2)],4)
 => 1
[[[[.,.],.],.],.]
 => ([(0,3),(2,1),(3,2)],4)
 => ([(0,3),(2,1),(3,2)],4)
 => ([(0,3),(2,1),(3,2)],4)
 => 1
[.,[.,[.,[.,[.,.]]]]]
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => 1
[.,[.,[.,[[.,.],.]]]]
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => 1
[.,[.,[[.,[.,.]],.]]]
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => 1
[.,[.,[[[.,.],.],.]]]
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => 1
[.,[[.,[.,[.,.]]],.]]
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => 1
[.,[[.,[[.,.],.]],.]]
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => 1
[.,[[[.,[.,.]],.],.]]
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => 1
[.,[[[[.,.],.],.],.]]
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => 1
[[.,.],[.,[.,[.,.]]]]
 => ([(0,4),(1,2),(2,3),(3,4)],5)
 => ([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => 1
[[.,.],[.,[[.,.],.]]]
 => ([(0,4),(1,2),(2,3),(3,4)],5)
 => ([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => 1
[[.,.],[[.,[.,.]],.]]
 => ([(0,4),(1,2),(2,3),(3,4)],5)
 => ([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => 1
[[.,.],[[[.,.],.],.]]
 => ([(0,4),(1,2),(2,3),(3,4)],5)
 => ([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => 1
[[.,[.,.]],[.,[.,.]]]
 => ([(0,3),(1,2),(2,4),(3,4)],5)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 2
[[.,[.,.]],[[.,.],.]]
 => ([(0,3),(1,2),(2,4),(3,4)],5)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 2
[[[.,.],.],[.,[.,.]]]
 => ([(0,3),(1,2),(2,4),(3,4)],5)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 2
[[[.,.],.],[[.,.],.]]
 => ([(0,3),(1,2),(2,4),(3,4)],5)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 2
[[.,[.,[.,.]]],[.,.]]
 => ([(0,4),(1,2),(2,3),(3,4)],5)
 => ([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => 1
[[.,[[.,.],.]],[.,.]]
 => ([(0,4),(1,2),(2,3),(3,4)],5)
 => ([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => 1
[[[.,[.,.]],.],[.,.]]
 => ([(0,4),(1,2),(2,3),(3,4)],5)
 => ([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => 1
[[[[.,.],.],.],[.,.]]
 => ([(0,4),(1,2),(2,3),(3,4)],5)
 => ([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => 1
[[.,[.,[.,[.,.]]]],.]
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => 1
[[.,[.,[[.,.],.]]],.]
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => 1
[[.,[[.,[.,.]],.]],.]
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => 1
[[.,[[[.,.],.],.]],.]
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => 1
[[[.,[.,[.,.]]],.],.]
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => 1
[[[.,[[.,.],.]],.],.]
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => 1
[[[[.,[.,.]],.],.],.]
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => 1
[[[[[.,.],.],.],.],.]
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => 1
[.,[.,[.,[.,[.,[.,.]]]]]]
 => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
 => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
 => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
 => 1
[.,[.,[.,[.,[[.,.],.]]]]]
 => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
 => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
 => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
 => 1
[.,[.,[.,[[.,[.,.]],.]]]]
 => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
 => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
 => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
 => 1
[.,[.,[.,[[[.,.],.],.]]]]
 => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
 => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
 => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
 => 1
[.,[.,[[.,[.,[.,.]]],.]]]
 => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
 => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
 => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
 => 1
[.,[.,[[.,[[.,.],.]],.]]]
 => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
 => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
 => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
 => 1
[.,[.,[[[.,[.,.]],.],.]]]
 => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
 => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
 => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
 => 1
[.,[.,[[[[.,.],.],.],.]]]
 => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
 => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
 => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
 => 1
[.,[[.,.],[.,[.,[.,.]]]]]
 => ([(0,5),(1,4),(2,5),(4,2),(5,3)],6)
 => ([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => 1
[.,[[.,.],[.,[[.,.],.]]]]
 => ([(0,5),(1,4),(2,5),(4,2),(5,3)],6)
 => ([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => 1
Description
The order dimension or Dushnik-Miller dimension of a poset. This is the minimal number of linear orderings whose intersection is the given poset.
Matching statistic: St000307
(load all 3 compositions to match this statistic)
Mapping
Mp00013: Binary trees —to poset⟶ Posets
Mp00206: Posets —antichains of maximal size⟶ Lattices
Mp00193: Lattices —to poset⟶ Posets
St000307: Posets ⟶ ℤResult quality: 100% ●values known / values provided: 100%●distinct values known / distinct values provided: 100%
Values
[.,[.,[.,.]]]
 => ([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => 1
[.,[[.,.],.]]
 => ([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => 1
[[.,[.,.]],.]
 => ([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => 1
[[[.,.],.],.]
 => ([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => 1
[.,[.,[.,[.,.]]]]
 => ([(0,3),(2,1),(3,2)],4)
 => ([(0,3),(2,1),(3,2)],4)
 => ([(0,3),(2,1),(3,2)],4)
 => 1
[.,[.,[[.,.],.]]]
 => ([(0,3),(2,1),(3,2)],4)
 => ([(0,3),(2,1),(3,2)],4)
 => ([(0,3),(2,1),(3,2)],4)
 => 1
[.,[[.,[.,.]],.]]
 => ([(0,3),(2,1),(3,2)],4)
 => ([(0,3),(2,1),(3,2)],4)
 => ([(0,3),(2,1),(3,2)],4)
 => 1
[.,[[[.,.],.],.]]
 => ([(0,3),(2,1),(3,2)],4)
 => ([(0,3),(2,1),(3,2)],4)
 => ([(0,3),(2,1),(3,2)],4)
 => 1
[[.,[.,[.,.]]],.]
 => ([(0,3),(2,1),(3,2)],4)
 => ([(0,3),(2,1),(3,2)],4)
 => ([(0,3),(2,1),(3,2)],4)
 => 1
[[.,[[.,.],.]],.]
 => ([(0,3),(2,1),(3,2)],4)
 => ([(0,3),(2,1),(3,2)],4)
 => ([(0,3),(2,1),(3,2)],4)
 => 1
[[[.,[.,.]],.],.]
 => ([(0,3),(2,1),(3,2)],4)
 => ([(0,3),(2,1),(3,2)],4)
 => ([(0,3),(2,1),(3,2)],4)
 => 1
[[[[.,.],.],.],.]
 => ([(0,3),(2,1),(3,2)],4)
 => ([(0,3),(2,1),(3,2)],4)
 => ([(0,3),(2,1),(3,2)],4)
 => 1
[.,[.,[.,[.,[.,.]]]]]
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => 1
[.,[.,[.,[[.,.],.]]]]
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => 1
[.,[.,[[.,[.,.]],.]]]
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => 1
[.,[.,[[[.,.],.],.]]]
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => 1
[.,[[.,[.,[.,.]]],.]]
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => 1
[.,[[.,[[.,.],.]],.]]
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => 1
[.,[[[.,[.,.]],.],.]]
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => 1
[.,[[[[.,.],.],.],.]]
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => 1
[[.,.],[.,[.,[.,.]]]]
 => ([(0,4),(1,2),(2,3),(3,4)],5)
 => ([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => 1
[[.,.],[.,[[.,.],.]]]
 => ([(0,4),(1,2),(2,3),(3,4)],5)
 => ([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => 1
[[.,.],[[.,[.,.]],.]]
 => ([(0,4),(1,2),(2,3),(3,4)],5)
 => ([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => 1
[[.,.],[[[.,.],.],.]]
 => ([(0,4),(1,2),(2,3),(3,4)],5)
 => ([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => 1
[[.,[.,.]],[.,[.,.]]]
 => ([(0,3),(1,2),(2,4),(3,4)],5)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 2
[[.,[.,.]],[[.,.],.]]
 => ([(0,3),(1,2),(2,4),(3,4)],5)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 2
[[[.,.],.],[.,[.,.]]]
 => ([(0,3),(1,2),(2,4),(3,4)],5)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 2
[[[.,.],.],[[.,.],.]]
 => ([(0,3),(1,2),(2,4),(3,4)],5)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 2
[[.,[.,[.,.]]],[.,.]]
 => ([(0,4),(1,2),(2,3),(3,4)],5)
 => ([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => 1
[[.,[[.,.],.]],[.,.]]
 => ([(0,4),(1,2),(2,3),(3,4)],5)
 => ([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => 1
[[[.,[.,.]],.],[.,.]]
 => ([(0,4),(1,2),(2,3),(3,4)],5)
 => ([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => 1
[[[[.,.],.],.],[.,.]]
 => ([(0,4),(1,2),(2,3),(3,4)],5)
 => ([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => 1
[[.,[.,[.,[.,.]]]],.]
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => 1
[[.,[.,[[.,.],.]]],.]
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => 1
[[.,[[.,[.,.]],.]],.]
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => 1
[[.,[[[.,.],.],.]],.]
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => 1
[[[.,[.,[.,.]]],.],.]
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => 1
[[[.,[[.,.],.]],.],.]
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => 1
[[[[.,[.,.]],.],.],.]
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => 1
[[[[[.,.],.],.],.],.]
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => 1
[.,[.,[.,[.,[.,[.,.]]]]]]
 => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
 => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
 => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
 => 1
[.,[.,[.,[.,[[.,.],.]]]]]
 => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
 => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
 => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
 => 1
[.,[.,[.,[[.,[.,.]],.]]]]
 => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
 => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
 => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
 => 1
[.,[.,[.,[[[.,.],.],.]]]]
 => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
 => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
 => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
 => 1
[.,[.,[[.,[.,[.,.]]],.]]]
 => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
 => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
 => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
 => 1
[.,[.,[[.,[[.,.],.]],.]]]
 => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
 => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
 => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
 => 1
[.,[.,[[[.,[.,.]],.],.]]]
 => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
 => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
 => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
 => 1
[.,[.,[[[[.,.],.],.],.]]]
 => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
 => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
 => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
 => 1
[.,[[.,.],[.,[.,[.,.]]]]]
 => ([(0,5),(1,4),(2,5),(4,2),(5,3)],6)
 => ([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => 1
[.,[[.,.],[.,[[.,.],.]]]]
 => ([(0,5),(1,4),(2,5),(4,2),(5,3)],6)
 => ([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => 1
Description
The number of rowmotion orbits of a poset. Rowmotion is an operation on order ideals in a poset $P$. It sends an order ideal $I$ to the order ideal generated by the minimal antichain of $P \setminus I$.
Matching statistic: St000527
Mapping
Mp00013: Binary trees —to poset⟶ Posets
Mp00206: Posets —antichains of maximal size⟶ Lattices
Mp00193: Lattices —to poset⟶ Posets
St000527: Posets ⟶ ℤResult quality: 100% ●values known / values provided: 100%●distinct values known / distinct values provided: 100%
Values
[.,[.,[.,.]]]
 => ([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => 1
[.,[[.,.],.]]
 => ([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => 1
[[.,[.,.]],.]
 => ([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => 1
[[[.,.],.],.]
 => ([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => 1
[.,[.,[.,[.,.]]]]
 => ([(0,3),(2,1),(3,2)],4)
 => ([(0,3),(2,1),(3,2)],4)
 => ([(0,3),(2,1),(3,2)],4)
 => 1
[.,[.,[[.,.],.]]]
 => ([(0,3),(2,1),(3,2)],4)
 => ([(0,3),(2,1),(3,2)],4)
 => ([(0,3),(2,1),(3,2)],4)
 => 1
[.,[[.,[.,.]],.]]
 => ([(0,3),(2,1),(3,2)],4)
 => ([(0,3),(2,1),(3,2)],4)
 => ([(0,3),(2,1),(3,2)],4)
 => 1
[.,[[[.,.],.],.]]
 => ([(0,3),(2,1),(3,2)],4)
 => ([(0,3),(2,1),(3,2)],4)
 => ([(0,3),(2,1),(3,2)],4)
 => 1
[[.,[.,[.,.]]],.]
 => ([(0,3),(2,1),(3,2)],4)
 => ([(0,3),(2,1),(3,2)],4)
 => ([(0,3),(2,1),(3,2)],4)
 => 1
[[.,[[.,.],.]],.]
 => ([(0,3),(2,1),(3,2)],4)
 => ([(0,3),(2,1),(3,2)],4)
 => ([(0,3),(2,1),(3,2)],4)
 => 1
[[[.,[.,.]],.],.]
 => ([(0,3),(2,1),(3,2)],4)
 => ([(0,3),(2,1),(3,2)],4)
 => ([(0,3),(2,1),(3,2)],4)
 => 1
[[[[.,.],.],.],.]
 => ([(0,3),(2,1),(3,2)],4)
 => ([(0,3),(2,1),(3,2)],4)
 => ([(0,3),(2,1),(3,2)],4)
 => 1
[.,[.,[.,[.,[.,.]]]]]
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => 1
[.,[.,[.,[[.,.],.]]]]
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => 1
[.,[.,[[.,[.,.]],.]]]
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => 1
[.,[.,[[[.,.],.],.]]]
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => 1
[.,[[.,[.,[.,.]]],.]]
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => 1
[.,[[.,[[.,.],.]],.]]
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => 1
[.,[[[.,[.,.]],.],.]]
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => 1
[.,[[[[.,.],.],.],.]]
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => 1
[[.,.],[.,[.,[.,.]]]]
 => ([(0,4),(1,2),(2,3),(3,4)],5)
 => ([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => 1
[[.,.],[.,[[.,.],.]]]
 => ([(0,4),(1,2),(2,3),(3,4)],5)
 => ([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => 1
[[.,.],[[.,[.,.]],.]]
 => ([(0,4),(1,2),(2,3),(3,4)],5)
 => ([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => 1
[[.,.],[[[.,.],.],.]]
 => ([(0,4),(1,2),(2,3),(3,4)],5)
 => ([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => 1
[[.,[.,.]],[.,[.,.]]]
 => ([(0,3),(1,2),(2,4),(3,4)],5)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 2
[[.,[.,.]],[[.,.],.]]
 => ([(0,3),(1,2),(2,4),(3,4)],5)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 2
[[[.,.],.],[.,[.,.]]]
 => ([(0,3),(1,2),(2,4),(3,4)],5)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 2
[[[.,.],.],[[.,.],.]]
 => ([(0,3),(1,2),(2,4),(3,4)],5)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 2
[[.,[.,[.,.]]],[.,.]]
 => ([(0,4),(1,2),(2,3),(3,4)],5)
 => ([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => 1
[[.,[[.,.],.]],[.,.]]
 => ([(0,4),(1,2),(2,3),(3,4)],5)
 => ([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => 1
[[[.,[.,.]],.],[.,.]]
 => ([(0,4),(1,2),(2,3),(3,4)],5)
 => ([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => 1
[[[[.,.],.],.],[.,.]]
 => ([(0,4),(1,2),(2,3),(3,4)],5)
 => ([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => 1
[[.,[.,[.,[.,.]]]],.]
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => 1
[[.,[.,[[.,.],.]]],.]
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => 1
[[.,[[.,[.,.]],.]],.]
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => 1
[[.,[[[.,.],.],.]],.]
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => 1
[[[.,[.,[.,.]]],.],.]
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => 1
[[[.,[[.,.],.]],.],.]
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => 1
[[[[.,[.,.]],.],.],.]
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => 1
[[[[[.,.],.],.],.],.]
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => 1
[.,[.,[.,[.,[.,[.,.]]]]]]
 => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
 => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
 => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
 => 1
[.,[.,[.,[.,[[.,.],.]]]]]
 => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
 => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
 => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
 => 1
[.,[.,[.,[[.,[.,.]],.]]]]
 => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
 => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
 => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
 => 1
[.,[.,[.,[[[.,.],.],.]]]]
 => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
 => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
 => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
 => 1
[.,[.,[[.,[.,[.,.]]],.]]]
 => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
 => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
 => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
 => 1
[.,[.,[[.,[[.,.],.]],.]]]
 => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
 => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
 => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
 => 1
[.,[.,[[[.,[.,.]],.],.]]]
 => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
 => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
 => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
 => 1
[.,[.,[[[[.,.],.],.],.]]]
 => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
 => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
 => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
 => 1
[.,[[.,.],[.,[.,[.,.]]]]]
 => ([(0,5),(1,4),(2,5),(4,2),(5,3)],6)
 => ([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => 1
[.,[[.,.],[.,[[.,.],.]]]]
 => ([(0,5),(1,4),(2,5),(4,2),(5,3)],6)
 => ([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => 1
Description
The width of the poset. This is the size of the poset's longest antichain, also called Dilworth number.
Matching statistic: St000845
(load all 3 compositions to match this statistic)
Mapping
Mp00013: Binary trees —to poset⟶ Posets
Mp00206: Posets —antichains of maximal size⟶ Lattices
Mp00193: Lattices —to poset⟶ Posets
St000845: Posets ⟶ ℤResult quality: 100% ●values known / values provided: 100%●distinct values known / distinct values provided: 100%
Values
[.,[.,[.,.]]]
 => ([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => 1
[.,[[.,.],.]]
 => ([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => 1
[[.,[.,.]],.]
 => ([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => 1
[[[.,.],.],.]
 => ([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => 1
[.,[.,[.,[.,.]]]]
 => ([(0,3),(2,1),(3,2)],4)
 => ([(0,3),(2,1),(3,2)],4)
 => ([(0,3),(2,1),(3,2)],4)
 => 1
[.,[.,[[.,.],.]]]
 => ([(0,3),(2,1),(3,2)],4)
 => ([(0,3),(2,1),(3,2)],4)
 => ([(0,3),(2,1),(3,2)],4)
 => 1
[.,[[.,[.,.]],.]]
 => ([(0,3),(2,1),(3,2)],4)
 => ([(0,3),(2,1),(3,2)],4)
 => ([(0,3),(2,1),(3,2)],4)
 => 1
[.,[[[.,.],.],.]]
 => ([(0,3),(2,1),(3,2)],4)
 => ([(0,3),(2,1),(3,2)],4)
 => ([(0,3),(2,1),(3,2)],4)
 => 1
[[.,[.,[.,.]]],.]
 => ([(0,3),(2,1),(3,2)],4)
 => ([(0,3),(2,1),(3,2)],4)
 => ([(0,3),(2,1),(3,2)],4)
 => 1
[[.,[[.,.],.]],.]
 => ([(0,3),(2,1),(3,2)],4)
 => ([(0,3),(2,1),(3,2)],4)
 => ([(0,3),(2,1),(3,2)],4)
 => 1
[[[.,[.,.]],.],.]
 => ([(0,3),(2,1),(3,2)],4)
 => ([(0,3),(2,1),(3,2)],4)
 => ([(0,3),(2,1),(3,2)],4)
 => 1
[[[[.,.],.],.],.]
 => ([(0,3),(2,1),(3,2)],4)
 => ([(0,3),(2,1),(3,2)],4)
 => ([(0,3),(2,1),(3,2)],4)
 => 1
[.,[.,[.,[.,[.,.]]]]]
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => 1
[.,[.,[.,[[.,.],.]]]]
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => 1
[.,[.,[[.,[.,.]],.]]]
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => 1
[.,[.,[[[.,.],.],.]]]
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => 1
[.,[[.,[.,[.,.]]],.]]
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => 1
[.,[[.,[[.,.],.]],.]]
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => 1
[.,[[[.,[.,.]],.],.]]
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => 1
[.,[[[[.,.],.],.],.]]
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => 1
[[.,.],[.,[.,[.,.]]]]
 => ([(0,4),(1,2),(2,3),(3,4)],5)
 => ([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => 1
[[.,.],[.,[[.,.],.]]]
 => ([(0,4),(1,2),(2,3),(3,4)],5)
 => ([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => 1
[[.,.],[[.,[.,.]],.]]
 => ([(0,4),(1,2),(2,3),(3,4)],5)
 => ([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => 1
[[.,.],[[[.,.],.],.]]
 => ([(0,4),(1,2),(2,3),(3,4)],5)
 => ([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => 1
[[.,[.,.]],[.,[.,.]]]
 => ([(0,3),(1,2),(2,4),(3,4)],5)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 2
[[.,[.,.]],[[.,.],.]]
 => ([(0,3),(1,2),(2,4),(3,4)],5)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 2
[[[.,.],.],[.,[.,.]]]
 => ([(0,3),(1,2),(2,4),(3,4)],5)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 2
[[[.,.],.],[[.,.],.]]
 => ([(0,3),(1,2),(2,4),(3,4)],5)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 2
[[.,[.,[.,.]]],[.,.]]
 => ([(0,4),(1,2),(2,3),(3,4)],5)
 => ([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => 1
[[.,[[.,.],.]],[.,.]]
 => ([(0,4),(1,2),(2,3),(3,4)],5)
 => ([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => 1
[[[.,[.,.]],.],[.,.]]
 => ([(0,4),(1,2),(2,3),(3,4)],5)
 => ([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => 1
[[[[.,.],.],.],[.,.]]
 => ([(0,4),(1,2),(2,3),(3,4)],5)
 => ([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => 1
[[.,[.,[.,[.,.]]]],.]
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => 1
[[.,[.,[[.,.],.]]],.]
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => 1
[[.,[[.,[.,.]],.]],.]
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => 1
[[.,[[[.,.],.],.]],.]
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => 1
[[[.,[.,[.,.]]],.],.]
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => 1
[[[.,[[.,.],.]],.],.]
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => 1
[[[[.,[.,.]],.],.],.]
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => 1
[[[[[.,.],.],.],.],.]
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => 1
[.,[.,[.,[.,[.,[.,.]]]]]]
 => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
 => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
 => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
 => 1
[.,[.,[.,[.,[[.,.],.]]]]]
 => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
 => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
 => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
 => 1
[.,[.,[.,[[.,[.,.]],.]]]]
 => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
 => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
 => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
 => 1
[.,[.,[.,[[[.,.],.],.]]]]
 => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
 => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
 => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
 => 1
[.,[.,[[.,[.,[.,.]]],.]]]
 => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
 => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
 => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
 => 1
[.,[.,[[.,[[.,.],.]],.]]]
 => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
 => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
 => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
 => 1
[.,[.,[[[.,[.,.]],.],.]]]
 => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
 => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
 => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
 => 1
[.,[.,[[[[.,.],.],.],.]]]
 => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
 => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
 => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
 => 1
[.,[[.,.],[.,[.,[.,.]]]]]
 => ([(0,5),(1,4),(2,5),(4,2),(5,3)],6)
 => ([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => 1
[.,[[.,.],[.,[[.,.],.]]]]
 => ([(0,5),(1,4),(2,5),(4,2),(5,3)],6)
 => ([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => 1
Description
The maximal number of elements covered by an element in a poset.
Matching statistic: St000846
(load all 3 compositions to match this statistic)
Mapping
Mp00013: Binary trees —to poset⟶ Posets
Mp00206: Posets —antichains of maximal size⟶ Lattices
Mp00193: Lattices —to poset⟶ Posets
St000846: Posets ⟶ ℤResult quality: 100% ●values known / values provided: 100%●distinct values known / distinct values provided: 100%
Values
[.,[.,[.,.]]]
 => ([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => 1
[.,[[.,.],.]]
 => ([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => 1
[[.,[.,.]],.]
 => ([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => 1
[[[.,.],.],.]
 => ([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => 1
[.,[.,[.,[.,.]]]]
 => ([(0,3),(2,1),(3,2)],4)
 => ([(0,3),(2,1),(3,2)],4)
 => ([(0,3),(2,1),(3,2)],4)
 => 1
[.,[.,[[.,.],.]]]
 => ([(0,3),(2,1),(3,2)],4)
 => ([(0,3),(2,1),(3,2)],4)
 => ([(0,3),(2,1),(3,2)],4)
 => 1
[.,[[.,[.,.]],.]]
 => ([(0,3),(2,1),(3,2)],4)
 => ([(0,3),(2,1),(3,2)],4)
 => ([(0,3),(2,1),(3,2)],4)
 => 1
[.,[[[.,.],.],.]]
 => ([(0,3),(2,1),(3,2)],4)
 => ([(0,3),(2,1),(3,2)],4)
 => ([(0,3),(2,1),(3,2)],4)
 => 1
[[.,[.,[.,.]]],.]
 => ([(0,3),(2,1),(3,2)],4)
 => ([(0,3),(2,1),(3,2)],4)
 => ([(0,3),(2,1),(3,2)],4)
 => 1
[[.,[[.,.],.]],.]
 => ([(0,3),(2,1),(3,2)],4)
 => ([(0,3),(2,1),(3,2)],4)
 => ([(0,3),(2,1),(3,2)],4)
 => 1
[[[.,[.,.]],.],.]
 => ([(0,3),(2,1),(3,2)],4)
 => ([(0,3),(2,1),(3,2)],4)
 => ([(0,3),(2,1),(3,2)],4)
 => 1
[[[[.,.],.],.],.]
 => ([(0,3),(2,1),(3,2)],4)
 => ([(0,3),(2,1),(3,2)],4)
 => ([(0,3),(2,1),(3,2)],4)
 => 1
[.,[.,[.,[.,[.,.]]]]]
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => 1
[.,[.,[.,[[.,.],.]]]]
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => 1
[.,[.,[[.,[.,.]],.]]]
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => 1
[.,[.,[[[.,.],.],.]]]
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => 1
[.,[[.,[.,[.,.]]],.]]
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => 1
[.,[[.,[[.,.],.]],.]]
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => 1
[.,[[[.,[.,.]],.],.]]
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => 1
[.,[[[[.,.],.],.],.]]
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => 1
[[.,.],[.,[.,[.,.]]]]
 => ([(0,4),(1,2),(2,3),(3,4)],5)
 => ([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => 1
[[.,.],[.,[[.,.],.]]]
 => ([(0,4),(1,2),(2,3),(3,4)],5)
 => ([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => 1
[[.,.],[[.,[.,.]],.]]
 => ([(0,4),(1,2),(2,3),(3,4)],5)
 => ([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => 1
[[.,.],[[[.,.],.],.]]
 => ([(0,4),(1,2),(2,3),(3,4)],5)
 => ([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => 1
[[.,[.,.]],[.,[.,.]]]
 => ([(0,3),(1,2),(2,4),(3,4)],5)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 2
[[.,[.,.]],[[.,.],.]]
 => ([(0,3),(1,2),(2,4),(3,4)],5)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 2
[[[.,.],.],[.,[.,.]]]
 => ([(0,3),(1,2),(2,4),(3,4)],5)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 2
[[[.,.],.],[[.,.],.]]
 => ([(0,3),(1,2),(2,4),(3,4)],5)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 2
[[.,[.,[.,.]]],[.,.]]
 => ([(0,4),(1,2),(2,3),(3,4)],5)
 => ([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => 1
[[.,[[.,.],.]],[.,.]]
 => ([(0,4),(1,2),(2,3),(3,4)],5)
 => ([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => 1
[[[.,[.,.]],.],[.,.]]
 => ([(0,4),(1,2),(2,3),(3,4)],5)
 => ([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => 1
[[[[.,.],.],.],[.,.]]
 => ([(0,4),(1,2),(2,3),(3,4)],5)
 => ([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => 1
[[.,[.,[.,[.,.]]]],.]
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => 1
[[.,[.,[[.,.],.]]],.]
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => 1
[[.,[[.,[.,.]],.]],.]
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => 1
[[.,[[[.,.],.],.]],.]
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => 1
[[[.,[.,[.,.]]],.],.]
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => 1
[[[.,[[.,.],.]],.],.]
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => 1
[[[[.,[.,.]],.],.],.]
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => 1
[[[[[.,.],.],.],.],.]
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => 1
[.,[.,[.,[.,[.,[.,.]]]]]]
 => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
 => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
 => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
 => 1
[.,[.,[.,[.,[[.,.],.]]]]]
 => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
 => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
 => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
 => 1
[.,[.,[.,[[.,[.,.]],.]]]]
 => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
 => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
 => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
 => 1
[.,[.,[.,[[[.,.],.],.]]]]
 => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
 => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
 => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
 => 1
[.,[.,[[.,[.,[.,.]]],.]]]
 => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
 => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
 => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
 => 1
[.,[.,[[.,[[.,.],.]],.]]]
 => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
 => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
 => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
 => 1
[.,[.,[[[.,[.,.]],.],.]]]
 => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
 => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
 => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
 => 1
[.,[.,[[[[.,.],.],.],.]]]
 => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
 => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
 => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
 => 1
[.,[[.,.],[.,[.,[.,.]]]]]
 => ([(0,5),(1,4),(2,5),(4,2),(5,3)],6)
 => ([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => 1
[.,[[.,.],[.,[[.,.],.]]]]
 => ([(0,5),(1,4),(2,5),(4,2),(5,3)],6)
 => ([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => 1
Description
The maximal number of elements covering an element of a poset.
The following 119 statistics, ordered by result quality, also match your data. Click on any of them to see the details.
St001632The number of indecomposable injective modules $I$ with $dim Ext^1(I,A)=1$ for the incidence algebra A of a poset. St000632The jump number of the poset. St000409The number of pitchforks in a binary tree. St000640The rank of the largest boolean interval in a poset. St000100The number of linear extensions of a poset. St000010The length of the partition. St000346The number of coarsenings of a partition. St000533The minimum of the number of parts and the size of the first part of an integer partition. St000783The side length of the largest staircase partition fitting into a partition. St001432The order dimension of the partition. St001924The number of cells in an integer partition whose arm and leg length coincide. St000481The number of upper covers of a partition in dominance order. St000147The largest part of an integer partition. St000183The side length of the Durfee square of an integer partition. St000755The number of real roots of the characteristic polynomial of a linear recurrence associated with an integer partition. St000319The spin of an integer partition. St000320The dinv adjustment of an integer partition. St000480The number of lower covers of a partition in dominance order. St001092The number of distinct even parts of a partition. St001587Half of the largest even part of an integer partition. St001918The degree of the cyclic sieving polynomial corresponding to an integer partition. St001442The number of standard Young tableaux whose major index is divisible by the size of a given integer partition. St000205Number of non-integral Gelfand-Tsetlin polytopes with prescribed top row and partition weight. St000208Number of integral Gelfand-Tsetlin polytopes with prescribed top row and integer partition weight. St000206Number of non-integral Gelfand-Tsetlin polytopes with prescribed top row and integer composition weight. St000160The multiplicity of the smallest part of a partition. St000706The product of the factorials of the multiplicities of an integer partition. St000897The number of different multiplicities of parts of an integer partition. St001091The number of parts in an integer partition whose next smaller part has the same size. St000752The Grundy value for the game 'Couples are forever' on an integer partition. St000633The size of the automorphism group of a poset. St000910The number of maximal chains of minimal length in a poset. St001105The number of greedy linear extensions of a poset. St001106The number of supergreedy linear extensions of a poset. St001268The size of the largest ordinal summand in the poset. St001399The distinguishing number of a poset. St001779The order of promotion on the set of linear extensions of a poset. St001942The number of loops of the quiver corresponding to the reduced incidence algebra of a poset. St000848The balance constant multiplied with the number of linear extensions of a poset. St000849The number of 1/3-balanced pairs in a poset. St000850The number of 1/2-balanced pairs in a poset. St001397Number of pairs of incomparable elements in a finite poset. St001398Number of subsets of size 3 of elements in a poset that form a "v". St001964The interval resolution global dimension of a poset. St000668The least common multiple of the parts of the partition. St001571The Cartan determinant of the integer partition. St000256The number of parts from which one can substract 2 and still get an integer partition. St001845The number of join irreducibles minus the rank of a lattice. St001681The number of inclusion-wise minimal subsets of a lattice, whose meet is the bottom element. St001677The number of non-degenerate subsets of a lattice whose meet is the bottom element. St001716The 1-improper chromatic number of a graph. St001110The 3-dynamic chromatic number of a graph. St001876The number of 2-regular simple modules in the incidence algebra of the lattice. St000207Number of integral Gelfand-Tsetlin polytopes with prescribed top row and integer composition weight. St000771The largest multiplicity of a distance Laplacian eigenvalue in a connected graph. St000772The multiplicity of the largest distance Laplacian eigenvalue in a connected graph. St000777The number of distinct eigenvalues of the distance Laplacian of a connected graph. St001645The pebbling number of a connected graph. St001711The number of permutations such that conjugation with a permutation of given cycle type yields the squared permutation. St000259The diameter of a connected graph. St000260The radius of a connected graph. St000302The determinant of the distance matrix of a connected graph. St000466The Gutman (or modified Schultz) index of a connected graph. St000467The hyper-Wiener index of a connected graph. St000644The number of graphs with given frequency partition. St001330The hat guessing number of a graph. St001271The competition number of a graph. St000908The length of the shortest maximal antichain in a poset. St000914The sum of the values of the Möbius function of a poset. St001532The leading coefficient of the Poincare polynomial of the poset cone. St001533The largest coefficient of the Poincare polynomial of the poset cone. St001095The number of non-isomorphic posets with precisely one further covering relation. St001301The first Betti number of the order complex associated with the poset. St001396Number of triples of incomparable elements in a finite poset. St001644The dimension of a graph. St001634The trace of the Coxeter matrix of the incidence algebra of a poset. St001526The Loewy length of the Auslander-Reiten translate of the regular module as a bimodule of the Nakayama algebra corresponding to the Dyck path. St000741The Colin de Verdière graph invariant. St001562The value of the complete homogeneous symmetric function evaluated at 1. St001563The value of the power-sum symmetric function evaluated at 1. St001564The value of the forgotten symmetric functions when all variables set to 1. St001625The Möbius invariant of a lattice. St001877Number of indecomposable injective modules with projective dimension 2. St001638The book thickness of a graph. St001934The number of monotone factorisations of genus zero of a permutation of given cycle type. St000455The second largest eigenvalue of a graph if it is integral. St001633The number of simple modules with projective dimension two in the incidence algebra of the poset. St001487The number of inner corners of a skew partition. St001490The number of connected components of a skew partition. St001435The number of missing boxes in the first row. St001438The number of missing boxes of a skew partition. St001551The number of restricted non-inversions between exceedances where the rightmost exceedance is linked. St001734The lettericity of a graph. St001871The number of triconnected components of a graph. St000068The number of minimal elements in a poset. St000181The number of connected components of the Hasse diagram for the poset. St000454The largest eigenvalue of a graph if it is integral. St000635The number of strictly order preserving maps of a poset into itself. St001890The maximum magnitude of the Möbius function of a poset. St000282The size of the preimage of the map 'to poset' from Ordered trees to Posets. St000382The first part of an integer composition. St000524The number of posets with the same order polynomial. St000525The number of posets with the same zeta polynomial. St000526The number of posets with combinatorially isomorphic order polytopes. St001510The number of self-evacuating linear extensions of a finite poset. St001534The alternating sum of the coefficients of the Poincare polynomial of the poset cone. St001902The number of potential covers of a poset. St001472The permanent of the Coxeter matrix of the poset. St001635The trace of the square of the Coxeter matrix of the incidence algebra of a poset. St000422The energy of a graph, if it is integral. St001429The number of negative entries in a signed permutation. St001862The number of crossings of a signed permutation. St001882The number of occurrences of a type-B 231 pattern in a signed permutation. St001771The number of occurrences of the signed pattern 1-2 in a signed permutation. St001870The number of positive entries followed by a negative entry in a signed permutation. St001895The oddness of a signed permutation. St001866The nesting alignments of a signed permutation. St001868The number of alignments of type NE of a signed permutation. St001889The size of the connectivity set of a signed permutation.