Your data matches 118 different statistics following compositions of up to 3 maps.
(click to perform a complete search on your data)
Matching statistic: St001875
(load all 3 compositions to match this statistic)
Mapping
Mp00197: Lattices —lattice of congruences⟶ Lattices
St001875: Lattices ⟶ ℤResult quality: 100% ●values known / values provided: 100%●distinct values known / distinct values provided: 100%
Values
([(0,2),(2,1)],3)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 3
([(0,1),(0,2),(1,3),(2,3)],4)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 3
([(0,2),(0,3),(1,4),(2,4),(3,1)],5)
 => ([(0,3),(1,4),(2,4),(3,1),(3,2)],5)
 => 4
([(0,2),(0,3),(0,4),(1,5),(2,5),(3,5),(4,1)],6)
 => ([(0,2),(2,1)],3)
 => 3
([(0,3),(0,4),(1,5),(2,5),(3,5),(4,1),(4,2)],6)
 => ([(0,2),(2,1)],3)
 => 3
([(0,4),(1,5),(2,5),(3,5),(4,1),(4,2),(4,3)],6)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 3
([(0,2),(0,4),(1,5),(2,5),(3,1),(4,3)],6)
 => ([(0,3),(0,4),(1,5),(2,5),(3,6),(4,6),(6,1),(6,2)],7)
 => 5
([(0,1),(0,2),(0,3),(1,5),(2,4),(3,4),(4,5)],6)
 => ([(0,2),(2,1)],3)
 => 3
([(0,2),(0,3),(0,4),(2,5),(3,5),(4,5),(5,1)],6)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 3
([(0,3),(0,4),(1,5),(2,5),(3,2),(4,1)],6)
 => ([(0,3),(0,4),(1,5),(2,5),(3,6),(4,6),(6,1),(6,2)],7)
 => 5
([(0,2),(0,3),(0,4),(0,5),(1,6),(2,6),(3,6),(4,6),(5,1)],7)
 => ([(0,2),(2,1)],3)
 => 3
([(0,4),(0,5),(1,6),(2,6),(3,6),(4,6),(5,1),(5,2),(5,3)],7)
 => ([(0,2),(2,1)],3)
 => 3
([(0,5),(1,6),(2,6),(3,6),(4,6),(5,1),(5,2),(5,3),(5,4)],7)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 3
([(0,5),(1,6),(2,6),(3,6),(4,3),(5,1),(5,2),(5,4)],7)
 => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
 => 4
([(0,4),(1,6),(2,5),(3,5),(4,1),(4,2),(4,3),(5,6)],7)
 => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
 => 4
([(0,3),(0,5),(1,6),(2,6),(3,6),(4,2),(5,1),(5,4)],7)
 => ([(0,3),(2,1),(3,2)],4)
 => 4
([(0,5),(1,6),(2,6),(3,6),(4,2),(4,3),(5,1),(5,4)],7)
 => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
 => 4
([(0,3),(0,4),(1,5),(2,5),(3,6),(4,1),(4,2),(5,6)],7)
 => ([(0,3),(0,4),(1,5),(2,5),(3,6),(4,6),(6,1),(6,2)],7)
 => 5
([(0,2),(0,3),(0,5),(1,6),(2,6),(3,6),(4,1),(5,4)],7)
 => ([(0,2),(0,3),(2,4),(3,4),(4,1)],5)
 => 4
([(0,3),(0,4),(1,6),(2,6),(3,6),(4,5),(5,1),(5,2)],7)
 => ([(0,3),(2,1),(3,2)],4)
 => 4
([(0,2),(0,3),(0,4),(1,5),(2,6),(3,6),(4,5),(6,1)],7)
 => ([(0,3),(2,1),(3,2)],4)
 => 4
([(0,1),(0,2),(0,3),(0,4),(1,6),(2,6),(3,6),(4,5),(6,5)],7)
 => ([(0,2),(2,1)],3)
 => 3
([(0,2),(0,3),(0,4),(0,5),(2,6),(3,6),(4,6),(5,6),(6,1)],7)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 3
([(0,2),(0,3),(0,4),(1,6),(2,5),(3,5),(4,1),(5,6)],7)
 => ([(0,3),(2,1),(3,2)],4)
 => 4
([(0,1),(0,2),(0,3),(1,5),(2,4),(3,4),(3,5),(4,6),(5,6)],7)
 => ([(0,3),(1,4),(2,4),(3,1),(3,2)],5)
 => 4
([(0,2),(0,3),(0,4),(2,6),(3,5),(4,5),(5,6),(6,1)],7)
 => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
 => 4
([(0,2),(0,3),(0,4),(1,5),(2,6),(3,6),(4,1),(4,6),(6,5)],7)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 3
([(0,3),(0,4),(0,5),(1,6),(3,6),(4,6),(5,1),(6,2)],7)
 => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
 => 4
([(0,3),(0,4),(0,5),(1,6),(2,6),(3,6),(4,2),(5,1)],7)
 => ([(0,2),(0,3),(2,4),(3,4),(4,1)],5)
 => 4
([(0,4),(0,5),(1,6),(2,6),(3,6),(4,3),(5,1),(5,2)],7)
 => ([(0,3),(2,1),(3,2)],4)
 => 4
([(0,3),(0,4),(1,6),(2,6),(3,5),(4,1),(4,2),(4,5),(5,6)],7)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 3
([(0,3),(0,4),(1,6),(2,5),(3,5),(4,1),(4,2),(5,6)],7)
 => ([(0,3),(1,4),(2,4),(3,1),(3,2)],5)
 => 4
([(0,4),(0,5),(1,6),(2,6),(4,6),(5,1),(5,2),(6,3)],7)
 => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
 => 4
([(0,3),(0,4),(1,6),(2,6),(3,2),(3,5),(4,1),(4,5),(5,6)],7)
 => ([(0,3),(1,4),(2,4),(3,1),(3,2)],5)
 => 4
([(0,2),(0,3),(0,4),(1,5),(2,6),(3,5),(4,1),(5,6)],7)
 => ([(0,3),(2,1),(3,2)],4)
 => 4
([(0,2),(0,3),(0,4),(0,5),(0,6),(1,7),(2,7),(3,7),(4,7),(5,7),(6,1)],8)
 => ([(0,2),(2,1)],3)
 => 3
([(0,5),(0,6),(1,7),(2,7),(3,7),(4,7),(5,7),(6,1),(6,2),(6,3),(6,4)],8)
 => ([(0,2),(2,1)],3)
 => 3
([(0,6),(1,7),(2,7),(3,7),(4,7),(5,7),(6,1),(6,2),(6,3),(6,4),(6,5)],8)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 3
([(0,6),(1,7),(2,7),(3,7),(4,7),(5,4),(6,1),(6,2),(6,3),(6,5)],8)
 => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
 => 4
([(0,5),(1,7),(2,7),(3,6),(4,6),(5,1),(5,2),(5,3),(5,4),(6,7)],8)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 3
([(0,5),(1,7),(2,7),(3,7),(4,6),(5,1),(5,2),(5,3),(5,4),(7,6)],8)
 => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
 => 4
([(0,4),(0,6),(1,7),(2,7),(3,7),(4,7),(5,3),(6,1),(6,2),(6,5)],8)
 => ([(0,3),(2,1),(3,2)],4)
 => 4
([(0,6),(1,7),(2,7),(3,7),(4,7),(5,3),(5,4),(6,1),(6,2),(6,5)],8)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 3
([(0,4),(0,5),(1,7),(2,6),(3,6),(4,7),(5,1),(5,2),(5,3),(6,7)],8)
 => ([(0,2),(2,1)],3)
 => 3
([(0,4),(0,5),(1,7),(2,7),(3,7),(4,6),(5,1),(5,2),(5,3),(7,6)],8)
 => ([(0,3),(1,4),(2,4),(3,1),(3,2)],5)
 => 4
([(0,5),(1,7),(2,7),(3,6),(4,2),(4,6),(5,1),(5,3),(5,4),(6,7)],8)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 3
([(0,3),(0,4),(0,6),(1,7),(2,7),(3,7),(4,7),(5,2),(6,1),(6,5)],8)
 => ([(0,2),(2,1)],3)
 => 3
([(0,4),(0,6),(1,7),(2,7),(3,7),(4,7),(5,2),(5,3),(6,1),(6,5)],8)
 => ([(0,2),(2,1)],3)
 => 3
([(0,5),(1,7),(2,7),(3,7),(4,7),(5,4),(5,6),(6,1),(6,2),(6,3)],8)
 => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
 => 4
([(0,3),(0,4),(0,5),(1,6),(2,6),(3,7),(4,7),(5,1),(5,2),(6,7)],8)
 => ([(0,2),(0,3),(2,4),(3,4),(4,1)],5)
 => 4
Description
The number of simple modules with projective dimension at most 1.
Matching statistic: St001615
(load all 3 compositions to match this statistic)
Mapping
Mp00197: Lattices —lattice of congruences⟶ Lattices
St001615: Lattices ⟶ ℤResult quality: 100% ●values known / values provided: 100%●distinct values known / distinct values provided: 100%
Values
([(0,2),(2,1)],3)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 2 = 3 - 1
([(0,1),(0,2),(1,3),(2,3)],4)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 2 = 3 - 1
([(0,2),(0,3),(1,4),(2,4),(3,1)],5)
 => ([(0,3),(1,4),(2,4),(3,1),(3,2)],5)
 => 3 = 4 - 1
([(0,2),(0,3),(0,4),(1,5),(2,5),(3,5),(4,1)],6)
 => ([(0,2),(2,1)],3)
 => 2 = 3 - 1
([(0,3),(0,4),(1,5),(2,5),(3,5),(4,1),(4,2)],6)
 => ([(0,2),(2,1)],3)
 => 2 = 3 - 1
([(0,4),(1,5),(2,5),(3,5),(4,1),(4,2),(4,3)],6)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 2 = 3 - 1
([(0,2),(0,4),(1,5),(2,5),(3,1),(4,3)],6)
 => ([(0,3),(0,4),(1,5),(2,5),(3,6),(4,6),(6,1),(6,2)],7)
 => 4 = 5 - 1
([(0,1),(0,2),(0,3),(1,5),(2,4),(3,4),(4,5)],6)
 => ([(0,2),(2,1)],3)
 => 2 = 3 - 1
([(0,2),(0,3),(0,4),(2,5),(3,5),(4,5),(5,1)],6)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 2 = 3 - 1
([(0,3),(0,4),(1,5),(2,5),(3,2),(4,1)],6)
 => ([(0,3),(0,4),(1,5),(2,5),(3,6),(4,6),(6,1),(6,2)],7)
 => 4 = 5 - 1
([(0,2),(0,3),(0,4),(0,5),(1,6),(2,6),(3,6),(4,6),(5,1)],7)
 => ([(0,2),(2,1)],3)
 => 2 = 3 - 1
([(0,4),(0,5),(1,6),(2,6),(3,6),(4,6),(5,1),(5,2),(5,3)],7)
 => ([(0,2),(2,1)],3)
 => 2 = 3 - 1
([(0,5),(1,6),(2,6),(3,6),(4,6),(5,1),(5,2),(5,3),(5,4)],7)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 2 = 3 - 1
([(0,5),(1,6),(2,6),(3,6),(4,3),(5,1),(5,2),(5,4)],7)
 => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
 => 3 = 4 - 1
([(0,4),(1,6),(2,5),(3,5),(4,1),(4,2),(4,3),(5,6)],7)
 => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
 => 3 = 4 - 1
([(0,3),(0,5),(1,6),(2,6),(3,6),(4,2),(5,1),(5,4)],7)
 => ([(0,3),(2,1),(3,2)],4)
 => 3 = 4 - 1
([(0,5),(1,6),(2,6),(3,6),(4,2),(4,3),(5,1),(5,4)],7)
 => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
 => 3 = 4 - 1
([(0,3),(0,4),(1,5),(2,5),(3,6),(4,1),(4,2),(5,6)],7)
 => ([(0,3),(0,4),(1,5),(2,5),(3,6),(4,6),(6,1),(6,2)],7)
 => 4 = 5 - 1
([(0,2),(0,3),(0,5),(1,6),(2,6),(3,6),(4,1),(5,4)],7)
 => ([(0,2),(0,3),(2,4),(3,4),(4,1)],5)
 => 3 = 4 - 1
([(0,3),(0,4),(1,6),(2,6),(3,6),(4,5),(5,1),(5,2)],7)
 => ([(0,3),(2,1),(3,2)],4)
 => 3 = 4 - 1
([(0,2),(0,3),(0,4),(1,5),(2,6),(3,6),(4,5),(6,1)],7)
 => ([(0,3),(2,1),(3,2)],4)
 => 3 = 4 - 1
([(0,1),(0,2),(0,3),(0,4),(1,6),(2,6),(3,6),(4,5),(6,5)],7)
 => ([(0,2),(2,1)],3)
 => 2 = 3 - 1
([(0,2),(0,3),(0,4),(0,5),(2,6),(3,6),(4,6),(5,6),(6,1)],7)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 2 = 3 - 1
([(0,2),(0,3),(0,4),(1,6),(2,5),(3,5),(4,1),(5,6)],7)
 => ([(0,3),(2,1),(3,2)],4)
 => 3 = 4 - 1
([(0,1),(0,2),(0,3),(1,5),(2,4),(3,4),(3,5),(4,6),(5,6)],7)
 => ([(0,3),(1,4),(2,4),(3,1),(3,2)],5)
 => 3 = 4 - 1
([(0,2),(0,3),(0,4),(2,6),(3,5),(4,5),(5,6),(6,1)],7)
 => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
 => 3 = 4 - 1
([(0,2),(0,3),(0,4),(1,5),(2,6),(3,6),(4,1),(4,6),(6,5)],7)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 2 = 3 - 1
([(0,3),(0,4),(0,5),(1,6),(3,6),(4,6),(5,1),(6,2)],7)
 => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
 => 3 = 4 - 1
([(0,3),(0,4),(0,5),(1,6),(2,6),(3,6),(4,2),(5,1)],7)
 => ([(0,2),(0,3),(2,4),(3,4),(4,1)],5)
 => 3 = 4 - 1
([(0,4),(0,5),(1,6),(2,6),(3,6),(4,3),(5,1),(5,2)],7)
 => ([(0,3),(2,1),(3,2)],4)
 => 3 = 4 - 1
([(0,3),(0,4),(1,6),(2,6),(3,5),(4,1),(4,2),(4,5),(5,6)],7)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 2 = 3 - 1
([(0,3),(0,4),(1,6),(2,5),(3,5),(4,1),(4,2),(5,6)],7)
 => ([(0,3),(1,4),(2,4),(3,1),(3,2)],5)
 => 3 = 4 - 1
([(0,4),(0,5),(1,6),(2,6),(4,6),(5,1),(5,2),(6,3)],7)
 => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
 => 3 = 4 - 1
([(0,3),(0,4),(1,6),(2,6),(3,2),(3,5),(4,1),(4,5),(5,6)],7)
 => ([(0,3),(1,4),(2,4),(3,1),(3,2)],5)
 => 3 = 4 - 1
([(0,2),(0,3),(0,4),(1,5),(2,6),(3,5),(4,1),(5,6)],7)
 => ([(0,3),(2,1),(3,2)],4)
 => 3 = 4 - 1
([(0,2),(0,3),(0,4),(0,5),(0,6),(1,7),(2,7),(3,7),(4,7),(5,7),(6,1)],8)
 => ([(0,2),(2,1)],3)
 => 2 = 3 - 1
([(0,5),(0,6),(1,7),(2,7),(3,7),(4,7),(5,7),(6,1),(6,2),(6,3),(6,4)],8)
 => ([(0,2),(2,1)],3)
 => 2 = 3 - 1
([(0,6),(1,7),(2,7),(3,7),(4,7),(5,7),(6,1),(6,2),(6,3),(6,4),(6,5)],8)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 2 = 3 - 1
([(0,6),(1,7),(2,7),(3,7),(4,7),(5,4),(6,1),(6,2),(6,3),(6,5)],8)
 => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
 => 3 = 4 - 1
([(0,5),(1,7),(2,7),(3,6),(4,6),(5,1),(5,2),(5,3),(5,4),(6,7)],8)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 2 = 3 - 1
([(0,5),(1,7),(2,7),(3,7),(4,6),(5,1),(5,2),(5,3),(5,4),(7,6)],8)
 => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
 => 3 = 4 - 1
([(0,4),(0,6),(1,7),(2,7),(3,7),(4,7),(5,3),(6,1),(6,2),(6,5)],8)
 => ([(0,3),(2,1),(3,2)],4)
 => 3 = 4 - 1
([(0,6),(1,7),(2,7),(3,7),(4,7),(5,3),(5,4),(6,1),(6,2),(6,5)],8)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 2 = 3 - 1
([(0,4),(0,5),(1,7),(2,6),(3,6),(4,7),(5,1),(5,2),(5,3),(6,7)],8)
 => ([(0,2),(2,1)],3)
 => 2 = 3 - 1
([(0,4),(0,5),(1,7),(2,7),(3,7),(4,6),(5,1),(5,2),(5,3),(7,6)],8)
 => ([(0,3),(1,4),(2,4),(3,1),(3,2)],5)
 => 3 = 4 - 1
([(0,5),(1,7),(2,7),(3,6),(4,2),(4,6),(5,1),(5,3),(5,4),(6,7)],8)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 2 = 3 - 1
([(0,3),(0,4),(0,6),(1,7),(2,7),(3,7),(4,7),(5,2),(6,1),(6,5)],8)
 => ([(0,2),(2,1)],3)
 => 2 = 3 - 1
([(0,4),(0,6),(1,7),(2,7),(3,7),(4,7),(5,2),(5,3),(6,1),(6,5)],8)
 => ([(0,2),(2,1)],3)
 => 2 = 3 - 1
([(0,5),(1,7),(2,7),(3,7),(4,7),(5,4),(5,6),(6,1),(6,2),(6,3)],8)
 => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
 => 3 = 4 - 1
([(0,3),(0,4),(0,5),(1,6),(2,6),(3,7),(4,7),(5,1),(5,2),(6,7)],8)
 => ([(0,2),(0,3),(2,4),(3,4),(4,1)],5)
 => 3 = 4 - 1
Description
The number of join prime elements of a lattice. An element $x$ of a lattice $L$ is join-prime (or coprime) if $x \leq a \vee b$ implies $x \leq a$ or $x \leq b$ for every $a, b \in L$.
Matching statistic: St001617
(load all 3 compositions to match this statistic)
Mapping
Mp00197: Lattices —lattice of congruences⟶ Lattices
St001617: Lattices ⟶ ℤResult quality: 100% ●values known / values provided: 100%●distinct values known / distinct values provided: 100%
Values
([(0,2),(2,1)],3)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 2 = 3 - 1
([(0,1),(0,2),(1,3),(2,3)],4)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 2 = 3 - 1
([(0,2),(0,3),(1,4),(2,4),(3,1)],5)
 => ([(0,3),(1,4),(2,4),(3,1),(3,2)],5)
 => 3 = 4 - 1
([(0,2),(0,3),(0,4),(1,5),(2,5),(3,5),(4,1)],6)
 => ([(0,2),(2,1)],3)
 => 2 = 3 - 1
([(0,3),(0,4),(1,5),(2,5),(3,5),(4,1),(4,2)],6)
 => ([(0,2),(2,1)],3)
 => 2 = 3 - 1
([(0,4),(1,5),(2,5),(3,5),(4,1),(4,2),(4,3)],6)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 2 = 3 - 1
([(0,2),(0,4),(1,5),(2,5),(3,1),(4,3)],6)
 => ([(0,3),(0,4),(1,5),(2,5),(3,6),(4,6),(6,1),(6,2)],7)
 => 4 = 5 - 1
([(0,1),(0,2),(0,3),(1,5),(2,4),(3,4),(4,5)],6)
 => ([(0,2),(2,1)],3)
 => 2 = 3 - 1
([(0,2),(0,3),(0,4),(2,5),(3,5),(4,5),(5,1)],6)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 2 = 3 - 1
([(0,3),(0,4),(1,5),(2,5),(3,2),(4,1)],6)
 => ([(0,3),(0,4),(1,5),(2,5),(3,6),(4,6),(6,1),(6,2)],7)
 => 4 = 5 - 1
([(0,2),(0,3),(0,4),(0,5),(1,6),(2,6),(3,6),(4,6),(5,1)],7)
 => ([(0,2),(2,1)],3)
 => 2 = 3 - 1
([(0,4),(0,5),(1,6),(2,6),(3,6),(4,6),(5,1),(5,2),(5,3)],7)
 => ([(0,2),(2,1)],3)
 => 2 = 3 - 1
([(0,5),(1,6),(2,6),(3,6),(4,6),(5,1),(5,2),(5,3),(5,4)],7)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 2 = 3 - 1
([(0,5),(1,6),(2,6),(3,6),(4,3),(5,1),(5,2),(5,4)],7)
 => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
 => 3 = 4 - 1
([(0,4),(1,6),(2,5),(3,5),(4,1),(4,2),(4,3),(5,6)],7)
 => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
 => 3 = 4 - 1
([(0,3),(0,5),(1,6),(2,6),(3,6),(4,2),(5,1),(5,4)],7)
 => ([(0,3),(2,1),(3,2)],4)
 => 3 = 4 - 1
([(0,5),(1,6),(2,6),(3,6),(4,2),(4,3),(5,1),(5,4)],7)
 => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
 => 3 = 4 - 1
([(0,3),(0,4),(1,5),(2,5),(3,6),(4,1),(4,2),(5,6)],7)
 => ([(0,3),(0,4),(1,5),(2,5),(3,6),(4,6),(6,1),(6,2)],7)
 => 4 = 5 - 1
([(0,2),(0,3),(0,5),(1,6),(2,6),(3,6),(4,1),(5,4)],7)
 => ([(0,2),(0,3),(2,4),(3,4),(4,1)],5)
 => 3 = 4 - 1
([(0,3),(0,4),(1,6),(2,6),(3,6),(4,5),(5,1),(5,2)],7)
 => ([(0,3),(2,1),(3,2)],4)
 => 3 = 4 - 1
([(0,2),(0,3),(0,4),(1,5),(2,6),(3,6),(4,5),(6,1)],7)
 => ([(0,3),(2,1),(3,2)],4)
 => 3 = 4 - 1
([(0,1),(0,2),(0,3),(0,4),(1,6),(2,6),(3,6),(4,5),(6,5)],7)
 => ([(0,2),(2,1)],3)
 => 2 = 3 - 1
([(0,2),(0,3),(0,4),(0,5),(2,6),(3,6),(4,6),(5,6),(6,1)],7)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 2 = 3 - 1
([(0,2),(0,3),(0,4),(1,6),(2,5),(3,5),(4,1),(5,6)],7)
 => ([(0,3),(2,1),(3,2)],4)
 => 3 = 4 - 1
([(0,1),(0,2),(0,3),(1,5),(2,4),(3,4),(3,5),(4,6),(5,6)],7)
 => ([(0,3),(1,4),(2,4),(3,1),(3,2)],5)
 => 3 = 4 - 1
([(0,2),(0,3),(0,4),(2,6),(3,5),(4,5),(5,6),(6,1)],7)
 => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
 => 3 = 4 - 1
([(0,2),(0,3),(0,4),(1,5),(2,6),(3,6),(4,1),(4,6),(6,5)],7)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 2 = 3 - 1
([(0,3),(0,4),(0,5),(1,6),(3,6),(4,6),(5,1),(6,2)],7)
 => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
 => 3 = 4 - 1
([(0,3),(0,4),(0,5),(1,6),(2,6),(3,6),(4,2),(5,1)],7)
 => ([(0,2),(0,3),(2,4),(3,4),(4,1)],5)
 => 3 = 4 - 1
([(0,4),(0,5),(1,6),(2,6),(3,6),(4,3),(5,1),(5,2)],7)
 => ([(0,3),(2,1),(3,2)],4)
 => 3 = 4 - 1
([(0,3),(0,4),(1,6),(2,6),(3,5),(4,1),(4,2),(4,5),(5,6)],7)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 2 = 3 - 1
([(0,3),(0,4),(1,6),(2,5),(3,5),(4,1),(4,2),(5,6)],7)
 => ([(0,3),(1,4),(2,4),(3,1),(3,2)],5)
 => 3 = 4 - 1
([(0,4),(0,5),(1,6),(2,6),(4,6),(5,1),(5,2),(6,3)],7)
 => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
 => 3 = 4 - 1
([(0,3),(0,4),(1,6),(2,6),(3,2),(3,5),(4,1),(4,5),(5,6)],7)
 => ([(0,3),(1,4),(2,4),(3,1),(3,2)],5)
 => 3 = 4 - 1
([(0,2),(0,3),(0,4),(1,5),(2,6),(3,5),(4,1),(5,6)],7)
 => ([(0,3),(2,1),(3,2)],4)
 => 3 = 4 - 1
([(0,2),(0,3),(0,4),(0,5),(0,6),(1,7),(2,7),(3,7),(4,7),(5,7),(6,1)],8)
 => ([(0,2),(2,1)],3)
 => 2 = 3 - 1
([(0,5),(0,6),(1,7),(2,7),(3,7),(4,7),(5,7),(6,1),(6,2),(6,3),(6,4)],8)
 => ([(0,2),(2,1)],3)
 => 2 = 3 - 1
([(0,6),(1,7),(2,7),(3,7),(4,7),(5,7),(6,1),(6,2),(6,3),(6,4),(6,5)],8)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 2 = 3 - 1
([(0,6),(1,7),(2,7),(3,7),(4,7),(5,4),(6,1),(6,2),(6,3),(6,5)],8)
 => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
 => 3 = 4 - 1
([(0,5),(1,7),(2,7),(3,6),(4,6),(5,1),(5,2),(5,3),(5,4),(6,7)],8)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 2 = 3 - 1
([(0,5),(1,7),(2,7),(3,7),(4,6),(5,1),(5,2),(5,3),(5,4),(7,6)],8)
 => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
 => 3 = 4 - 1
([(0,4),(0,6),(1,7),(2,7),(3,7),(4,7),(5,3),(6,1),(6,2),(6,5)],8)
 => ([(0,3),(2,1),(3,2)],4)
 => 3 = 4 - 1
([(0,6),(1,7),(2,7),(3,7),(4,7),(5,3),(5,4),(6,1),(6,2),(6,5)],8)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 2 = 3 - 1
([(0,4),(0,5),(1,7),(2,6),(3,6),(4,7),(5,1),(5,2),(5,3),(6,7)],8)
 => ([(0,2),(2,1)],3)
 => 2 = 3 - 1
([(0,4),(0,5),(1,7),(2,7),(3,7),(4,6),(5,1),(5,2),(5,3),(7,6)],8)
 => ([(0,3),(1,4),(2,4),(3,1),(3,2)],5)
 => 3 = 4 - 1
([(0,5),(1,7),(2,7),(3,6),(4,2),(4,6),(5,1),(5,3),(5,4),(6,7)],8)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 2 = 3 - 1
([(0,3),(0,4),(0,6),(1,7),(2,7),(3,7),(4,7),(5,2),(6,1),(6,5)],8)
 => ([(0,2),(2,1)],3)
 => 2 = 3 - 1
([(0,4),(0,6),(1,7),(2,7),(3,7),(4,7),(5,2),(5,3),(6,1),(6,5)],8)
 => ([(0,2),(2,1)],3)
 => 2 = 3 - 1
([(0,5),(1,7),(2,7),(3,7),(4,7),(5,4),(5,6),(6,1),(6,2),(6,3)],8)
 => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
 => 3 = 4 - 1
([(0,3),(0,4),(0,5),(1,6),(2,6),(3,7),(4,7),(5,1),(5,2),(6,7)],8)
 => ([(0,2),(0,3),(2,4),(3,4),(4,1)],5)
 => 3 = 4 - 1
Description
The dimension of the space of valuations of a lattice. A valuation, or modular function, on a lattice $L$ is a function $v:L\mapsto\mathbb R$ satisfying $$ v(a\vee b) + v(a\wedge b) = v(a) + v(b). $$ It was shown by Birkhoff [1, thm. X.2], that a lattice with a positive valuation must be modular. This was sharpened by Fleischer and Traynor [2, thm. 1], which states that the modular functions on an arbitrary lattice are in bijection with the modular functions on its modular quotient [[Mp00196]]. Moreover, Birkhoff [1, thm. X.2] showed that the dimension of the space of modular functions equals the number of subsets of projective prime intervals.
Matching statistic: St001622
(load all 3 compositions to match this statistic)
Mapping
Mp00197: Lattices —lattice of congruences⟶ Lattices
St001622: Lattices ⟶ ℤResult quality: 100% ●values known / values provided: 100%●distinct values known / distinct values provided: 100%
Values
([(0,2),(2,1)],3)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 2 = 3 - 1
([(0,1),(0,2),(1,3),(2,3)],4)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 2 = 3 - 1
([(0,2),(0,3),(1,4),(2,4),(3,1)],5)
 => ([(0,3),(1,4),(2,4),(3,1),(3,2)],5)
 => 3 = 4 - 1
([(0,2),(0,3),(0,4),(1,5),(2,5),(3,5),(4,1)],6)
 => ([(0,2),(2,1)],3)
 => 2 = 3 - 1
([(0,3),(0,4),(1,5),(2,5),(3,5),(4,1),(4,2)],6)
 => ([(0,2),(2,1)],3)
 => 2 = 3 - 1
([(0,4),(1,5),(2,5),(3,5),(4,1),(4,2),(4,3)],6)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 2 = 3 - 1
([(0,2),(0,4),(1,5),(2,5),(3,1),(4,3)],6)
 => ([(0,3),(0,4),(1,5),(2,5),(3,6),(4,6),(6,1),(6,2)],7)
 => 4 = 5 - 1
([(0,1),(0,2),(0,3),(1,5),(2,4),(3,4),(4,5)],6)
 => ([(0,2),(2,1)],3)
 => 2 = 3 - 1
([(0,2),(0,3),(0,4),(2,5),(3,5),(4,5),(5,1)],6)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 2 = 3 - 1
([(0,3),(0,4),(1,5),(2,5),(3,2),(4,1)],6)
 => ([(0,3),(0,4),(1,5),(2,5),(3,6),(4,6),(6,1),(6,2)],7)
 => 4 = 5 - 1
([(0,2),(0,3),(0,4),(0,5),(1,6),(2,6),(3,6),(4,6),(5,1)],7)
 => ([(0,2),(2,1)],3)
 => 2 = 3 - 1
([(0,4),(0,5),(1,6),(2,6),(3,6),(4,6),(5,1),(5,2),(5,3)],7)
 => ([(0,2),(2,1)],3)
 => 2 = 3 - 1
([(0,5),(1,6),(2,6),(3,6),(4,6),(5,1),(5,2),(5,3),(5,4)],7)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 2 = 3 - 1
([(0,5),(1,6),(2,6),(3,6),(4,3),(5,1),(5,2),(5,4)],7)
 => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
 => 3 = 4 - 1
([(0,4),(1,6),(2,5),(3,5),(4,1),(4,2),(4,3),(5,6)],7)
 => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
 => 3 = 4 - 1
([(0,3),(0,5),(1,6),(2,6),(3,6),(4,2),(5,1),(5,4)],7)
 => ([(0,3),(2,1),(3,2)],4)
 => 3 = 4 - 1
([(0,5),(1,6),(2,6),(3,6),(4,2),(4,3),(5,1),(5,4)],7)
 => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
 => 3 = 4 - 1
([(0,3),(0,4),(1,5),(2,5),(3,6),(4,1),(4,2),(5,6)],7)
 => ([(0,3),(0,4),(1,5),(2,5),(3,6),(4,6),(6,1),(6,2)],7)
 => 4 = 5 - 1
([(0,2),(0,3),(0,5),(1,6),(2,6),(3,6),(4,1),(5,4)],7)
 => ([(0,2),(0,3),(2,4),(3,4),(4,1)],5)
 => 3 = 4 - 1
([(0,3),(0,4),(1,6),(2,6),(3,6),(4,5),(5,1),(5,2)],7)
 => ([(0,3),(2,1),(3,2)],4)
 => 3 = 4 - 1
([(0,2),(0,3),(0,4),(1,5),(2,6),(3,6),(4,5),(6,1)],7)
 => ([(0,3),(2,1),(3,2)],4)
 => 3 = 4 - 1
([(0,1),(0,2),(0,3),(0,4),(1,6),(2,6),(3,6),(4,5),(6,5)],7)
 => ([(0,2),(2,1)],3)
 => 2 = 3 - 1
([(0,2),(0,3),(0,4),(0,5),(2,6),(3,6),(4,6),(5,6),(6,1)],7)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 2 = 3 - 1
([(0,2),(0,3),(0,4),(1,6),(2,5),(3,5),(4,1),(5,6)],7)
 => ([(0,3),(2,1),(3,2)],4)
 => 3 = 4 - 1
([(0,1),(0,2),(0,3),(1,5),(2,4),(3,4),(3,5),(4,6),(5,6)],7)
 => ([(0,3),(1,4),(2,4),(3,1),(3,2)],5)
 => 3 = 4 - 1
([(0,2),(0,3),(0,4),(2,6),(3,5),(4,5),(5,6),(6,1)],7)
 => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
 => 3 = 4 - 1
([(0,2),(0,3),(0,4),(1,5),(2,6),(3,6),(4,1),(4,6),(6,5)],7)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 2 = 3 - 1
([(0,3),(0,4),(0,5),(1,6),(3,6),(4,6),(5,1),(6,2)],7)
 => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
 => 3 = 4 - 1
([(0,3),(0,4),(0,5),(1,6),(2,6),(3,6),(4,2),(5,1)],7)
 => ([(0,2),(0,3),(2,4),(3,4),(4,1)],5)
 => 3 = 4 - 1
([(0,4),(0,5),(1,6),(2,6),(3,6),(4,3),(5,1),(5,2)],7)
 => ([(0,3),(2,1),(3,2)],4)
 => 3 = 4 - 1
([(0,3),(0,4),(1,6),(2,6),(3,5),(4,1),(4,2),(4,5),(5,6)],7)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 2 = 3 - 1
([(0,3),(0,4),(1,6),(2,5),(3,5),(4,1),(4,2),(5,6)],7)
 => ([(0,3),(1,4),(2,4),(3,1),(3,2)],5)
 => 3 = 4 - 1
([(0,4),(0,5),(1,6),(2,6),(4,6),(5,1),(5,2),(6,3)],7)
 => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
 => 3 = 4 - 1
([(0,3),(0,4),(1,6),(2,6),(3,2),(3,5),(4,1),(4,5),(5,6)],7)
 => ([(0,3),(1,4),(2,4),(3,1),(3,2)],5)
 => 3 = 4 - 1
([(0,2),(0,3),(0,4),(1,5),(2,6),(3,5),(4,1),(5,6)],7)
 => ([(0,3),(2,1),(3,2)],4)
 => 3 = 4 - 1
([(0,2),(0,3),(0,4),(0,5),(0,6),(1,7),(2,7),(3,7),(4,7),(5,7),(6,1)],8)
 => ([(0,2),(2,1)],3)
 => 2 = 3 - 1
([(0,5),(0,6),(1,7),(2,7),(3,7),(4,7),(5,7),(6,1),(6,2),(6,3),(6,4)],8)
 => ([(0,2),(2,1)],3)
 => 2 = 3 - 1
([(0,6),(1,7),(2,7),(3,7),(4,7),(5,7),(6,1),(6,2),(6,3),(6,4),(6,5)],8)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 2 = 3 - 1
([(0,6),(1,7),(2,7),(3,7),(4,7),(5,4),(6,1),(6,2),(6,3),(6,5)],8)
 => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
 => 3 = 4 - 1
([(0,5),(1,7),(2,7),(3,6),(4,6),(5,1),(5,2),(5,3),(5,4),(6,7)],8)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 2 = 3 - 1
([(0,5),(1,7),(2,7),(3,7),(4,6),(5,1),(5,2),(5,3),(5,4),(7,6)],8)
 => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
 => 3 = 4 - 1
([(0,4),(0,6),(1,7),(2,7),(3,7),(4,7),(5,3),(6,1),(6,2),(6,5)],8)
 => ([(0,3),(2,1),(3,2)],4)
 => 3 = 4 - 1
([(0,6),(1,7),(2,7),(3,7),(4,7),(5,3),(5,4),(6,1),(6,2),(6,5)],8)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 2 = 3 - 1
([(0,4),(0,5),(1,7),(2,6),(3,6),(4,7),(5,1),(5,2),(5,3),(6,7)],8)
 => ([(0,2),(2,1)],3)
 => 2 = 3 - 1
([(0,4),(0,5),(1,7),(2,7),(3,7),(4,6),(5,1),(5,2),(5,3),(7,6)],8)
 => ([(0,3),(1,4),(2,4),(3,1),(3,2)],5)
 => 3 = 4 - 1
([(0,5),(1,7),(2,7),(3,6),(4,2),(4,6),(5,1),(5,3),(5,4),(6,7)],8)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 2 = 3 - 1
([(0,3),(0,4),(0,6),(1,7),(2,7),(3,7),(4,7),(5,2),(6,1),(6,5)],8)
 => ([(0,2),(2,1)],3)
 => 2 = 3 - 1
([(0,4),(0,6),(1,7),(2,7),(3,7),(4,7),(5,2),(5,3),(6,1),(6,5)],8)
 => ([(0,2),(2,1)],3)
 => 2 = 3 - 1
([(0,5),(1,7),(2,7),(3,7),(4,7),(5,4),(5,6),(6,1),(6,2),(6,3)],8)
 => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
 => 3 = 4 - 1
([(0,3),(0,4),(0,5),(1,6),(2,6),(3,7),(4,7),(5,1),(5,2),(6,7)],8)
 => ([(0,2),(0,3),(2,4),(3,4),(4,1)],5)
 => 3 = 4 - 1
Description
The number of join-irreducible elements of a lattice. An element $j$ of a lattice $L$ is '''join irreducible''' if it is not the least element and if $j=x\vee y$, then $j\in\{x,y\}$ for all $x,y\in L$.
Matching statistic: St000189
(load all 3 compositions to match this statistic)
Mapping
Mp00197: Lattices —lattice of congruences⟶ Lattices
Mp00263: Lattices —join irreducibles⟶ Posets
St000189: Posets ⟶ ℤResult quality: 100% ●values known / values provided: 100%●distinct values known / distinct values provided: 100%
Values
([(0,2),(2,1)],3)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => ([],2)
 => 2 = 3 - 1
([(0,1),(0,2),(1,3),(2,3)],4)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => ([],2)
 => 2 = 3 - 1
([(0,2),(0,3),(1,4),(2,4),(3,1)],5)
 => ([(0,3),(1,4),(2,4),(3,1),(3,2)],5)
 => ([(0,1),(0,2)],3)
 => 3 = 4 - 1
([(0,2),(0,3),(0,4),(1,5),(2,5),(3,5),(4,1)],6)
 => ([(0,2),(2,1)],3)
 => ([(0,1)],2)
 => 2 = 3 - 1
([(0,3),(0,4),(1,5),(2,5),(3,5),(4,1),(4,2)],6)
 => ([(0,2),(2,1)],3)
 => ([(0,1)],2)
 => 2 = 3 - 1
([(0,4),(1,5),(2,5),(3,5),(4,1),(4,2),(4,3)],6)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => ([],2)
 => 2 = 3 - 1
([(0,2),(0,4),(1,5),(2,5),(3,1),(4,3)],6)
 => ([(0,3),(0,4),(1,5),(2,5),(3,6),(4,6),(6,1),(6,2)],7)
 => ([(0,2),(0,3),(1,2),(1,3)],4)
 => 4 = 5 - 1
([(0,1),(0,2),(0,3),(1,5),(2,4),(3,4),(4,5)],6)
 => ([(0,2),(2,1)],3)
 => ([(0,1)],2)
 => 2 = 3 - 1
([(0,2),(0,3),(0,4),(2,5),(3,5),(4,5),(5,1)],6)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => ([],2)
 => 2 = 3 - 1
([(0,3),(0,4),(1,5),(2,5),(3,2),(4,1)],6)
 => ([(0,3),(0,4),(1,5),(2,5),(3,6),(4,6),(6,1),(6,2)],7)
 => ([(0,2),(0,3),(1,2),(1,3)],4)
 => 4 = 5 - 1
([(0,2),(0,3),(0,4),(0,5),(1,6),(2,6),(3,6),(4,6),(5,1)],7)
 => ([(0,2),(2,1)],3)
 => ([(0,1)],2)
 => 2 = 3 - 1
([(0,4),(0,5),(1,6),(2,6),(3,6),(4,6),(5,1),(5,2),(5,3)],7)
 => ([(0,2),(2,1)],3)
 => ([(0,1)],2)
 => 2 = 3 - 1
([(0,5),(1,6),(2,6),(3,6),(4,6),(5,1),(5,2),(5,3),(5,4)],7)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => ([],2)
 => 2 = 3 - 1
([(0,5),(1,6),(2,6),(3,6),(4,3),(5,1),(5,2),(5,4)],7)
 => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
 => ([(1,2)],3)
 => 3 = 4 - 1
([(0,4),(1,6),(2,5),(3,5),(4,1),(4,2),(4,3),(5,6)],7)
 => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
 => ([(1,2)],3)
 => 3 = 4 - 1
([(0,3),(0,5),(1,6),(2,6),(3,6),(4,2),(5,1),(5,4)],7)
 => ([(0,3),(2,1),(3,2)],4)
 => ([(0,2),(2,1)],3)
 => 3 = 4 - 1
([(0,5),(1,6),(2,6),(3,6),(4,2),(4,3),(5,1),(5,4)],7)
 => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
 => ([(1,2)],3)
 => 3 = 4 - 1
([(0,3),(0,4),(1,5),(2,5),(3,6),(4,1),(4,2),(5,6)],7)
 => ([(0,3),(0,4),(1,5),(2,5),(3,6),(4,6),(6,1),(6,2)],7)
 => ([(0,2),(0,3),(1,2),(1,3)],4)
 => 4 = 5 - 1
([(0,2),(0,3),(0,5),(1,6),(2,6),(3,6),(4,1),(5,4)],7)
 => ([(0,2),(0,3),(2,4),(3,4),(4,1)],5)
 => ([(0,2),(1,2)],3)
 => 3 = 4 - 1
([(0,3),(0,4),(1,6),(2,6),(3,6),(4,5),(5,1),(5,2)],7)
 => ([(0,3),(2,1),(3,2)],4)
 => ([(0,2),(2,1)],3)
 => 3 = 4 - 1
([(0,2),(0,3),(0,4),(1,5),(2,6),(3,6),(4,5),(6,1)],7)
 => ([(0,3),(2,1),(3,2)],4)
 => ([(0,2),(2,1)],3)
 => 3 = 4 - 1
([(0,1),(0,2),(0,3),(0,4),(1,6),(2,6),(3,6),(4,5),(6,5)],7)
 => ([(0,2),(2,1)],3)
 => ([(0,1)],2)
 => 2 = 3 - 1
([(0,2),(0,3),(0,4),(0,5),(2,6),(3,6),(4,6),(5,6),(6,1)],7)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => ([],2)
 => 2 = 3 - 1
([(0,2),(0,3),(0,4),(1,6),(2,5),(3,5),(4,1),(5,6)],7)
 => ([(0,3),(2,1),(3,2)],4)
 => ([(0,2),(2,1)],3)
 => 3 = 4 - 1
([(0,1),(0,2),(0,3),(1,5),(2,4),(3,4),(3,5),(4,6),(5,6)],7)
 => ([(0,3),(1,4),(2,4),(3,1),(3,2)],5)
 => ([(0,1),(0,2)],3)
 => 3 = 4 - 1
([(0,2),(0,3),(0,4),(2,6),(3,5),(4,5),(5,6),(6,1)],7)
 => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
 => ([(1,2)],3)
 => 3 = 4 - 1
([(0,2),(0,3),(0,4),(1,5),(2,6),(3,6),(4,1),(4,6),(6,5)],7)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => ([],2)
 => 2 = 3 - 1
([(0,3),(0,4),(0,5),(1,6),(3,6),(4,6),(5,1),(6,2)],7)
 => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
 => ([(1,2)],3)
 => 3 = 4 - 1
([(0,3),(0,4),(0,5),(1,6),(2,6),(3,6),(4,2),(5,1)],7)
 => ([(0,2),(0,3),(2,4),(3,4),(4,1)],5)
 => ([(0,2),(1,2)],3)
 => 3 = 4 - 1
([(0,4),(0,5),(1,6),(2,6),(3,6),(4,3),(5,1),(5,2)],7)
 => ([(0,3),(2,1),(3,2)],4)
 => ([(0,2),(2,1)],3)
 => 3 = 4 - 1
([(0,3),(0,4),(1,6),(2,6),(3,5),(4,1),(4,2),(4,5),(5,6)],7)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => ([],2)
 => 2 = 3 - 1
([(0,3),(0,4),(1,6),(2,5),(3,5),(4,1),(4,2),(5,6)],7)
 => ([(0,3),(1,4),(2,4),(3,1),(3,2)],5)
 => ([(0,1),(0,2)],3)
 => 3 = 4 - 1
([(0,4),(0,5),(1,6),(2,6),(4,6),(5,1),(5,2),(6,3)],7)
 => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
 => ([(1,2)],3)
 => 3 = 4 - 1
([(0,3),(0,4),(1,6),(2,6),(3,2),(3,5),(4,1),(4,5),(5,6)],7)
 => ([(0,3),(1,4),(2,4),(3,1),(3,2)],5)
 => ([(0,1),(0,2)],3)
 => 3 = 4 - 1
([(0,2),(0,3),(0,4),(1,5),(2,6),(3,5),(4,1),(5,6)],7)
 => ([(0,3),(2,1),(3,2)],4)
 => ([(0,2),(2,1)],3)
 => 3 = 4 - 1
([(0,2),(0,3),(0,4),(0,5),(0,6),(1,7),(2,7),(3,7),(4,7),(5,7),(6,1)],8)
 => ([(0,2),(2,1)],3)
 => ([(0,1)],2)
 => 2 = 3 - 1
([(0,5),(0,6),(1,7),(2,7),(3,7),(4,7),(5,7),(6,1),(6,2),(6,3),(6,4)],8)
 => ([(0,2),(2,1)],3)
 => ([(0,1)],2)
 => 2 = 3 - 1
([(0,6),(1,7),(2,7),(3,7),(4,7),(5,7),(6,1),(6,2),(6,3),(6,4),(6,5)],8)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => ([],2)
 => 2 = 3 - 1
([(0,6),(1,7),(2,7),(3,7),(4,7),(5,4),(6,1),(6,2),(6,3),(6,5)],8)
 => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
 => ([(1,2)],3)
 => 3 = 4 - 1
([(0,5),(1,7),(2,7),(3,6),(4,6),(5,1),(5,2),(5,3),(5,4),(6,7)],8)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => ([],2)
 => 2 = 3 - 1
([(0,5),(1,7),(2,7),(3,7),(4,6),(5,1),(5,2),(5,3),(5,4),(7,6)],8)
 => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
 => ([(1,2)],3)
 => 3 = 4 - 1
([(0,4),(0,6),(1,7),(2,7),(3,7),(4,7),(5,3),(6,1),(6,2),(6,5)],8)
 => ([(0,3),(2,1),(3,2)],4)
 => ([(0,2),(2,1)],3)
 => 3 = 4 - 1
([(0,6),(1,7),(2,7),(3,7),(4,7),(5,3),(5,4),(6,1),(6,2),(6,5)],8)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => ([],2)
 => 2 = 3 - 1
([(0,4),(0,5),(1,7),(2,6),(3,6),(4,7),(5,1),(5,2),(5,3),(6,7)],8)
 => ([(0,2),(2,1)],3)
 => ([(0,1)],2)
 => 2 = 3 - 1
([(0,4),(0,5),(1,7),(2,7),(3,7),(4,6),(5,1),(5,2),(5,3),(7,6)],8)
 => ([(0,3),(1,4),(2,4),(3,1),(3,2)],5)
 => ([(0,1),(0,2)],3)
 => 3 = 4 - 1
([(0,5),(1,7),(2,7),(3,6),(4,2),(4,6),(5,1),(5,3),(5,4),(6,7)],8)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => ([],2)
 => 2 = 3 - 1
([(0,3),(0,4),(0,6),(1,7),(2,7),(3,7),(4,7),(5,2),(6,1),(6,5)],8)
 => ([(0,2),(2,1)],3)
 => ([(0,1)],2)
 => 2 = 3 - 1
([(0,4),(0,6),(1,7),(2,7),(3,7),(4,7),(5,2),(5,3),(6,1),(6,5)],8)
 => ([(0,2),(2,1)],3)
 => ([(0,1)],2)
 => 2 = 3 - 1
([(0,5),(1,7),(2,7),(3,7),(4,7),(5,4),(5,6),(6,1),(6,2),(6,3)],8)
 => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
 => ([(1,2)],3)
 => 3 = 4 - 1
([(0,3),(0,4),(0,5),(1,6),(2,6),(3,7),(4,7),(5,1),(5,2),(6,7)],8)
 => ([(0,2),(0,3),(2,4),(3,4),(4,1)],5)
 => ([(0,2),(1,2)],3)
 => 3 = 4 - 1
Description
The number of elements in the poset.
Matching statistic: St000093
Mapping
Mp00197: Lattices —lattice of congruences⟶ Lattices
Mp00193: Lattices —to poset⟶ Posets
Mp00198: Posets —incomparability graph⟶ Graphs
St000093: Graphs ⟶ ℤResult quality: 100% ●values known / values provided: 100%●distinct values known / distinct values provided: 100%
Values
([(0,2),(2,1)],3)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => ([(2,3)],4)
 => 3
([(0,1),(0,2),(1,3),(2,3)],4)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => ([(2,3)],4)
 => 3
([(0,2),(0,3),(1,4),(2,4),(3,1)],5)
 => ([(0,3),(1,4),(2,4),(3,1),(3,2)],5)
 => ([(0,3),(1,4),(2,4),(3,1),(3,2)],5)
 => ([(3,4)],5)
 => 4
([(0,2),(0,3),(0,4),(1,5),(2,5),(3,5),(4,1)],6)
 => ([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => ([],3)
 => 3
([(0,3),(0,4),(1,5),(2,5),(3,5),(4,1),(4,2)],6)
 => ([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => ([],3)
 => 3
([(0,4),(1,5),(2,5),(3,5),(4,1),(4,2),(4,3)],6)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => ([(2,3)],4)
 => 3
([(0,2),(0,4),(1,5),(2,5),(3,1),(4,3)],6)
 => ([(0,3),(0,4),(1,5),(2,5),(3,6),(4,6),(6,1),(6,2)],7)
 => ([(0,3),(0,4),(1,5),(2,5),(3,6),(4,6),(6,1),(6,2)],7)
 => ([(3,6),(4,5)],7)
 => 5
([(0,1),(0,2),(0,3),(1,5),(2,4),(3,4),(4,5)],6)
 => ([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => ([],3)
 => 3
([(0,2),(0,3),(0,4),(2,5),(3,5),(4,5),(5,1)],6)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => ([(2,3)],4)
 => 3
([(0,3),(0,4),(1,5),(2,5),(3,2),(4,1)],6)
 => ([(0,3),(0,4),(1,5),(2,5),(3,6),(4,6),(6,1),(6,2)],7)
 => ([(0,3),(0,4),(1,5),(2,5),(3,6),(4,6),(6,1),(6,2)],7)
 => ([(3,6),(4,5)],7)
 => 5
([(0,2),(0,3),(0,4),(0,5),(1,6),(2,6),(3,6),(4,6),(5,1)],7)
 => ([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => ([],3)
 => 3
([(0,4),(0,5),(1,6),(2,6),(3,6),(4,6),(5,1),(5,2),(5,3)],7)
 => ([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => ([],3)
 => 3
([(0,5),(1,6),(2,6),(3,6),(4,6),(5,1),(5,2),(5,3),(5,4)],7)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => ([(2,3)],4)
 => 3
([(0,5),(1,6),(2,6),(3,6),(4,3),(5,1),(5,2),(5,4)],7)
 => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
 => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
 => ([(2,5),(3,4),(4,5)],6)
 => 4
([(0,4),(1,6),(2,5),(3,5),(4,1),(4,2),(4,3),(5,6)],7)
 => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
 => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
 => ([(2,5),(3,4),(4,5)],6)
 => 4
([(0,3),(0,5),(1,6),(2,6),(3,6),(4,2),(5,1),(5,4)],7)
 => ([(0,3),(2,1),(3,2)],4)
 => ([(0,3),(2,1),(3,2)],4)
 => ([],4)
 => 4
([(0,5),(1,6),(2,6),(3,6),(4,2),(4,3),(5,1),(5,4)],7)
 => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
 => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
 => ([(2,5),(3,4),(4,5)],6)
 => 4
([(0,3),(0,4),(1,5),(2,5),(3,6),(4,1),(4,2),(5,6)],7)
 => ([(0,3),(0,4),(1,5),(2,5),(3,6),(4,6),(6,1),(6,2)],7)
 => ([(0,3),(0,4),(1,5),(2,5),(3,6),(4,6),(6,1),(6,2)],7)
 => ([(3,6),(4,5)],7)
 => 5
([(0,2),(0,3),(0,5),(1,6),(2,6),(3,6),(4,1),(5,4)],7)
 => ([(0,2),(0,3),(2,4),(3,4),(4,1)],5)
 => ([(0,2),(0,3),(2,4),(3,4),(4,1)],5)
 => ([(3,4)],5)
 => 4
([(0,3),(0,4),(1,6),(2,6),(3,6),(4,5),(5,1),(5,2)],7)
 => ([(0,3),(2,1),(3,2)],4)
 => ([(0,3),(2,1),(3,2)],4)
 => ([],4)
 => 4
([(0,2),(0,3),(0,4),(1,5),(2,6),(3,6),(4,5),(6,1)],7)
 => ([(0,3),(2,1),(3,2)],4)
 => ([(0,3),(2,1),(3,2)],4)
 => ([],4)
 => 4
([(0,1),(0,2),(0,3),(0,4),(1,6),(2,6),(3,6),(4,5),(6,5)],7)
 => ([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => ([],3)
 => 3
([(0,2),(0,3),(0,4),(0,5),(2,6),(3,6),(4,6),(5,6),(6,1)],7)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => ([(2,3)],4)
 => 3
([(0,2),(0,3),(0,4),(1,6),(2,5),(3,5),(4,1),(5,6)],7)
 => ([(0,3),(2,1),(3,2)],4)
 => ([(0,3),(2,1),(3,2)],4)
 => ([],4)
 => 4
([(0,1),(0,2),(0,3),(1,5),(2,4),(3,4),(3,5),(4,6),(5,6)],7)
 => ([(0,3),(1,4),(2,4),(3,1),(3,2)],5)
 => ([(0,3),(1,4),(2,4),(3,1),(3,2)],5)
 => ([(3,4)],5)
 => 4
([(0,2),(0,3),(0,4),(2,6),(3,5),(4,5),(5,6),(6,1)],7)
 => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
 => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
 => ([(2,5),(3,4),(4,5)],6)
 => 4
([(0,2),(0,3),(0,4),(1,5),(2,6),(3,6),(4,1),(4,6),(6,5)],7)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => ([(2,3)],4)
 => 3
([(0,3),(0,4),(0,5),(1,6),(3,6),(4,6),(5,1),(6,2)],7)
 => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
 => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
 => ([(2,5),(3,4),(4,5)],6)
 => 4
([(0,3),(0,4),(0,5),(1,6),(2,6),(3,6),(4,2),(5,1)],7)
 => ([(0,2),(0,3),(2,4),(3,4),(4,1)],5)
 => ([(0,2),(0,3),(2,4),(3,4),(4,1)],5)
 => ([(3,4)],5)
 => 4
([(0,4),(0,5),(1,6),(2,6),(3,6),(4,3),(5,1),(5,2)],7)
 => ([(0,3),(2,1),(3,2)],4)
 => ([(0,3),(2,1),(3,2)],4)
 => ([],4)
 => 4
([(0,3),(0,4),(1,6),(2,6),(3,5),(4,1),(4,2),(4,5),(5,6)],7)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => ([(2,3)],4)
 => 3
([(0,3),(0,4),(1,6),(2,5),(3,5),(4,1),(4,2),(5,6)],7)
 => ([(0,3),(1,4),(2,4),(3,1),(3,2)],5)
 => ([(0,3),(1,4),(2,4),(3,1),(3,2)],5)
 => ([(3,4)],5)
 => 4
([(0,4),(0,5),(1,6),(2,6),(4,6),(5,1),(5,2),(6,3)],7)
 => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
 => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
 => ([(2,5),(3,4),(4,5)],6)
 => 4
([(0,3),(0,4),(1,6),(2,6),(3,2),(3,5),(4,1),(4,5),(5,6)],7)
 => ([(0,3),(1,4),(2,4),(3,1),(3,2)],5)
 => ([(0,3),(1,4),(2,4),(3,1),(3,2)],5)
 => ([(3,4)],5)
 => 4
([(0,2),(0,3),(0,4),(1,5),(2,6),(3,5),(4,1),(5,6)],7)
 => ([(0,3),(2,1),(3,2)],4)
 => ([(0,3),(2,1),(3,2)],4)
 => ([],4)
 => 4
([(0,2),(0,3),(0,4),(0,5),(0,6),(1,7),(2,7),(3,7),(4,7),(5,7),(6,1)],8)
 => ([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => ([],3)
 => 3
([(0,5),(0,6),(1,7),(2,7),(3,7),(4,7),(5,7),(6,1),(6,2),(6,3),(6,4)],8)
 => ([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => ([],3)
 => 3
([(0,6),(1,7),(2,7),(3,7),(4,7),(5,7),(6,1),(6,2),(6,3),(6,4),(6,5)],8)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => ([(2,3)],4)
 => 3
([(0,6),(1,7),(2,7),(3,7),(4,7),(5,4),(6,1),(6,2),(6,3),(6,5)],8)
 => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
 => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
 => ([(2,5),(3,4),(4,5)],6)
 => 4
([(0,5),(1,7),(2,7),(3,6),(4,6),(5,1),(5,2),(5,3),(5,4),(6,7)],8)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => ([(2,3)],4)
 => 3
([(0,5),(1,7),(2,7),(3,7),(4,6),(5,1),(5,2),(5,3),(5,4),(7,6)],8)
 => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
 => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
 => ([(2,5),(3,4),(4,5)],6)
 => 4
([(0,4),(0,6),(1,7),(2,7),(3,7),(4,7),(5,3),(6,1),(6,2),(6,5)],8)
 => ([(0,3),(2,1),(3,2)],4)
 => ([(0,3),(2,1),(3,2)],4)
 => ([],4)
 => 4
([(0,6),(1,7),(2,7),(3,7),(4,7),(5,3),(5,4),(6,1),(6,2),(6,5)],8)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => ([(2,3)],4)
 => 3
([(0,4),(0,5),(1,7),(2,6),(3,6),(4,7),(5,1),(5,2),(5,3),(6,7)],8)
 => ([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => ([],3)
 => 3
([(0,4),(0,5),(1,7),(2,7),(3,7),(4,6),(5,1),(5,2),(5,3),(7,6)],8)
 => ([(0,3),(1,4),(2,4),(3,1),(3,2)],5)
 => ([(0,3),(1,4),(2,4),(3,1),(3,2)],5)
 => ([(3,4)],5)
 => 4
([(0,5),(1,7),(2,7),(3,6),(4,2),(4,6),(5,1),(5,3),(5,4),(6,7)],8)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => ([(2,3)],4)
 => 3
([(0,3),(0,4),(0,6),(1,7),(2,7),(3,7),(4,7),(5,2),(6,1),(6,5)],8)
 => ([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => ([],3)
 => 3
([(0,4),(0,6),(1,7),(2,7),(3,7),(4,7),(5,2),(5,3),(6,1),(6,5)],8)
 => ([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => ([],3)
 => 3
([(0,5),(1,7),(2,7),(3,7),(4,7),(5,4),(5,6),(6,1),(6,2),(6,3)],8)
 => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
 => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
 => ([(2,5),(3,4),(4,5)],6)
 => 4
([(0,3),(0,4),(0,5),(1,6),(2,6),(3,7),(4,7),(5,1),(5,2),(6,7)],8)
 => ([(0,2),(0,3),(2,4),(3,4),(4,1)],5)
 => ([(0,2),(0,3),(2,4),(3,4),(4,1)],5)
 => ([(3,4)],5)
 => 4
Description
The cardinality of a maximal independent set of vertices of a graph. An independent set of a graph is a set of pairwise non-adjacent vertices. A maximum independent set is an independent set of maximum cardinality. This statistic is also called the independence number or stability number $\alpha(G)$ of $G$.
Matching statistic: St000147
Mapping
Mp00197: Lattices —lattice of congruences⟶ Lattices
Mp00193: Lattices —to poset⟶ Posets
Mp00110: Posets —Greene-Kleitman invariant⟶ Integer partitions
St000147: Integer partitions ⟶ ℤResult quality: 100% ●values known / values provided: 100%●distinct values known / distinct values provided: 100%
Values
([(0,2),(2,1)],3)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => [3,1]
 => 3
([(0,1),(0,2),(1,3),(2,3)],4)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => [3,1]
 => 3
([(0,2),(0,3),(1,4),(2,4),(3,1)],5)
 => ([(0,3),(1,4),(2,4),(3,1),(3,2)],5)
 => ([(0,3),(1,4),(2,4),(3,1),(3,2)],5)
 => [4,1]
 => 4
([(0,2),(0,3),(0,4),(1,5),(2,5),(3,5),(4,1)],6)
 => ([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => [3]
 => 3
([(0,3),(0,4),(1,5),(2,5),(3,5),(4,1),(4,2)],6)
 => ([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => [3]
 => 3
([(0,4),(1,5),(2,5),(3,5),(4,1),(4,2),(4,3)],6)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => [3,1]
 => 3
([(0,2),(0,4),(1,5),(2,5),(3,1),(4,3)],6)
 => ([(0,3),(0,4),(1,5),(2,5),(3,6),(4,6),(6,1),(6,2)],7)
 => ([(0,3),(0,4),(1,5),(2,5),(3,6),(4,6),(6,1),(6,2)],7)
 => [5,2]
 => 5
([(0,1),(0,2),(0,3),(1,5),(2,4),(3,4),(4,5)],6)
 => ([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => [3]
 => 3
([(0,2),(0,3),(0,4),(2,5),(3,5),(4,5),(5,1)],6)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => [3,1]
 => 3
([(0,3),(0,4),(1,5),(2,5),(3,2),(4,1)],6)
 => ([(0,3),(0,4),(1,5),(2,5),(3,6),(4,6),(6,1),(6,2)],7)
 => ([(0,3),(0,4),(1,5),(2,5),(3,6),(4,6),(6,1),(6,2)],7)
 => [5,2]
 => 5
([(0,2),(0,3),(0,4),(0,5),(1,6),(2,6),(3,6),(4,6),(5,1)],7)
 => ([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => [3]
 => 3
([(0,4),(0,5),(1,6),(2,6),(3,6),(4,6),(5,1),(5,2),(5,3)],7)
 => ([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => [3]
 => 3
([(0,5),(1,6),(2,6),(3,6),(4,6),(5,1),(5,2),(5,3),(5,4)],7)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => [3,1]
 => 3
([(0,5),(1,6),(2,6),(3,6),(4,3),(5,1),(5,2),(5,4)],7)
 => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
 => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
 => [4,2]
 => 4
([(0,4),(1,6),(2,5),(3,5),(4,1),(4,2),(4,3),(5,6)],7)
 => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
 => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
 => [4,2]
 => 4
([(0,3),(0,5),(1,6),(2,6),(3,6),(4,2),(5,1),(5,4)],7)
 => ([(0,3),(2,1),(3,2)],4)
 => ([(0,3),(2,1),(3,2)],4)
 => [4]
 => 4
([(0,5),(1,6),(2,6),(3,6),(4,2),(4,3),(5,1),(5,4)],7)
 => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
 => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
 => [4,2]
 => 4
([(0,3),(0,4),(1,5),(2,5),(3,6),(4,1),(4,2),(5,6)],7)
 => ([(0,3),(0,4),(1,5),(2,5),(3,6),(4,6),(6,1),(6,2)],7)
 => ([(0,3),(0,4),(1,5),(2,5),(3,6),(4,6),(6,1),(6,2)],7)
 => [5,2]
 => 5
([(0,2),(0,3),(0,5),(1,6),(2,6),(3,6),(4,1),(5,4)],7)
 => ([(0,2),(0,3),(2,4),(3,4),(4,1)],5)
 => ([(0,2),(0,3),(2,4),(3,4),(4,1)],5)
 => [4,1]
 => 4
([(0,3),(0,4),(1,6),(2,6),(3,6),(4,5),(5,1),(5,2)],7)
 => ([(0,3),(2,1),(3,2)],4)
 => ([(0,3),(2,1),(3,2)],4)
 => [4]
 => 4
([(0,2),(0,3),(0,4),(1,5),(2,6),(3,6),(4,5),(6,1)],7)
 => ([(0,3),(2,1),(3,2)],4)
 => ([(0,3),(2,1),(3,2)],4)
 => [4]
 => 4
([(0,1),(0,2),(0,3),(0,4),(1,6),(2,6),(3,6),(4,5),(6,5)],7)
 => ([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => [3]
 => 3
([(0,2),(0,3),(0,4),(0,5),(2,6),(3,6),(4,6),(5,6),(6,1)],7)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => [3,1]
 => 3
([(0,2),(0,3),(0,4),(1,6),(2,5),(3,5),(4,1),(5,6)],7)
 => ([(0,3),(2,1),(3,2)],4)
 => ([(0,3),(2,1),(3,2)],4)
 => [4]
 => 4
([(0,1),(0,2),(0,3),(1,5),(2,4),(3,4),(3,5),(4,6),(5,6)],7)
 => ([(0,3),(1,4),(2,4),(3,1),(3,2)],5)
 => ([(0,3),(1,4),(2,4),(3,1),(3,2)],5)
 => [4,1]
 => 4
([(0,2),(0,3),(0,4),(2,6),(3,5),(4,5),(5,6),(6,1)],7)
 => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
 => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
 => [4,2]
 => 4
([(0,2),(0,3),(0,4),(1,5),(2,6),(3,6),(4,1),(4,6),(6,5)],7)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => [3,1]
 => 3
([(0,3),(0,4),(0,5),(1,6),(3,6),(4,6),(5,1),(6,2)],7)
 => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
 => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
 => [4,2]
 => 4
([(0,3),(0,4),(0,5),(1,6),(2,6),(3,6),(4,2),(5,1)],7)
 => ([(0,2),(0,3),(2,4),(3,4),(4,1)],5)
 => ([(0,2),(0,3),(2,4),(3,4),(4,1)],5)
 => [4,1]
 => 4
([(0,4),(0,5),(1,6),(2,6),(3,6),(4,3),(5,1),(5,2)],7)
 => ([(0,3),(2,1),(3,2)],4)
 => ([(0,3),(2,1),(3,2)],4)
 => [4]
 => 4
([(0,3),(0,4),(1,6),(2,6),(3,5),(4,1),(4,2),(4,5),(5,6)],7)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => [3,1]
 => 3
([(0,3),(0,4),(1,6),(2,5),(3,5),(4,1),(4,2),(5,6)],7)
 => ([(0,3),(1,4),(2,4),(3,1),(3,2)],5)
 => ([(0,3),(1,4),(2,4),(3,1),(3,2)],5)
 => [4,1]
 => 4
([(0,4),(0,5),(1,6),(2,6),(4,6),(5,1),(5,2),(6,3)],7)
 => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
 => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
 => [4,2]
 => 4
([(0,3),(0,4),(1,6),(2,6),(3,2),(3,5),(4,1),(4,5),(5,6)],7)
 => ([(0,3),(1,4),(2,4),(3,1),(3,2)],5)
 => ([(0,3),(1,4),(2,4),(3,1),(3,2)],5)
 => [4,1]
 => 4
([(0,2),(0,3),(0,4),(1,5),(2,6),(3,5),(4,1),(5,6)],7)
 => ([(0,3),(2,1),(3,2)],4)
 => ([(0,3),(2,1),(3,2)],4)
 => [4]
 => 4
([(0,2),(0,3),(0,4),(0,5),(0,6),(1,7),(2,7),(3,7),(4,7),(5,7),(6,1)],8)
 => ([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => [3]
 => 3
([(0,5),(0,6),(1,7),(2,7),(3,7),(4,7),(5,7),(6,1),(6,2),(6,3),(6,4)],8)
 => ([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => [3]
 => 3
([(0,6),(1,7),(2,7),(3,7),(4,7),(5,7),(6,1),(6,2),(6,3),(6,4),(6,5)],8)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => [3,1]
 => 3
([(0,6),(1,7),(2,7),(3,7),(4,7),(5,4),(6,1),(6,2),(6,3),(6,5)],8)
 => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
 => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
 => [4,2]
 => 4
([(0,5),(1,7),(2,7),(3,6),(4,6),(5,1),(5,2),(5,3),(5,4),(6,7)],8)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => [3,1]
 => 3
([(0,5),(1,7),(2,7),(3,7),(4,6),(5,1),(5,2),(5,3),(5,4),(7,6)],8)
 => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
 => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
 => [4,2]
 => 4
([(0,4),(0,6),(1,7),(2,7),(3,7),(4,7),(5,3),(6,1),(6,2),(6,5)],8)
 => ([(0,3),(2,1),(3,2)],4)
 => ([(0,3),(2,1),(3,2)],4)
 => [4]
 => 4
([(0,6),(1,7),(2,7),(3,7),(4,7),(5,3),(5,4),(6,1),(6,2),(6,5)],8)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => [3,1]
 => 3
([(0,4),(0,5),(1,7),(2,6),(3,6),(4,7),(5,1),(5,2),(5,3),(6,7)],8)
 => ([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => [3]
 => 3
([(0,4),(0,5),(1,7),(2,7),(3,7),(4,6),(5,1),(5,2),(5,3),(7,6)],8)
 => ([(0,3),(1,4),(2,4),(3,1),(3,2)],5)
 => ([(0,3),(1,4),(2,4),(3,1),(3,2)],5)
 => [4,1]
 => 4
([(0,5),(1,7),(2,7),(3,6),(4,2),(4,6),(5,1),(5,3),(5,4),(6,7)],8)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => [3,1]
 => 3
([(0,3),(0,4),(0,6),(1,7),(2,7),(3,7),(4,7),(5,2),(6,1),(6,5)],8)
 => ([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => [3]
 => 3
([(0,4),(0,6),(1,7),(2,7),(3,7),(4,7),(5,2),(5,3),(6,1),(6,5)],8)
 => ([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => [3]
 => 3
([(0,5),(1,7),(2,7),(3,7),(4,7),(5,4),(5,6),(6,1),(6,2),(6,3)],8)
 => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
 => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
 => [4,2]
 => 4
([(0,3),(0,4),(0,5),(1,6),(2,6),(3,7),(4,7),(5,1),(5,2),(6,7)],8)
 => ([(0,2),(0,3),(2,4),(3,4),(4,1)],5)
 => ([(0,2),(0,3),(2,4),(3,4),(4,1)],5)
 => [4,1]
 => 4
Description
The largest part of an integer partition.
Matching statistic: St000273
Mapping
Mp00197: Lattices —lattice of congruences⟶ Lattices
Mp00193: Lattices —to poset⟶ Posets
Mp00198: Posets —incomparability graph⟶ Graphs
St000273: Graphs ⟶ ℤResult quality: 100% ●values known / values provided: 100%●distinct values known / distinct values provided: 100%
Values
([(0,2),(2,1)],3)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => ([(2,3)],4)
 => 3
([(0,1),(0,2),(1,3),(2,3)],4)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => ([(2,3)],4)
 => 3
([(0,2),(0,3),(1,4),(2,4),(3,1)],5)
 => ([(0,3),(1,4),(2,4),(3,1),(3,2)],5)
 => ([(0,3),(1,4),(2,4),(3,1),(3,2)],5)
 => ([(3,4)],5)
 => 4
([(0,2),(0,3),(0,4),(1,5),(2,5),(3,5),(4,1)],6)
 => ([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => ([],3)
 => 3
([(0,3),(0,4),(1,5),(2,5),(3,5),(4,1),(4,2)],6)
 => ([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => ([],3)
 => 3
([(0,4),(1,5),(2,5),(3,5),(4,1),(4,2),(4,3)],6)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => ([(2,3)],4)
 => 3
([(0,2),(0,4),(1,5),(2,5),(3,1),(4,3)],6)
 => ([(0,3),(0,4),(1,5),(2,5),(3,6),(4,6),(6,1),(6,2)],7)
 => ([(0,3),(0,4),(1,5),(2,5),(3,6),(4,6),(6,1),(6,2)],7)
 => ([(3,6),(4,5)],7)
 => 5
([(0,1),(0,2),(0,3),(1,5),(2,4),(3,4),(4,5)],6)
 => ([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => ([],3)
 => 3
([(0,2),(0,3),(0,4),(2,5),(3,5),(4,5),(5,1)],6)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => ([(2,3)],4)
 => 3
([(0,3),(0,4),(1,5),(2,5),(3,2),(4,1)],6)
 => ([(0,3),(0,4),(1,5),(2,5),(3,6),(4,6),(6,1),(6,2)],7)
 => ([(0,3),(0,4),(1,5),(2,5),(3,6),(4,6),(6,1),(6,2)],7)
 => ([(3,6),(4,5)],7)
 => 5
([(0,2),(0,3),(0,4),(0,5),(1,6),(2,6),(3,6),(4,6),(5,1)],7)
 => ([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => ([],3)
 => 3
([(0,4),(0,5),(1,6),(2,6),(3,6),(4,6),(5,1),(5,2),(5,3)],7)
 => ([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => ([],3)
 => 3
([(0,5),(1,6),(2,6),(3,6),(4,6),(5,1),(5,2),(5,3),(5,4)],7)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => ([(2,3)],4)
 => 3
([(0,5),(1,6),(2,6),(3,6),(4,3),(5,1),(5,2),(5,4)],7)
 => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
 => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
 => ([(2,5),(3,4),(4,5)],6)
 => 4
([(0,4),(1,6),(2,5),(3,5),(4,1),(4,2),(4,3),(5,6)],7)
 => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
 => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
 => ([(2,5),(3,4),(4,5)],6)
 => 4
([(0,3),(0,5),(1,6),(2,6),(3,6),(4,2),(5,1),(5,4)],7)
 => ([(0,3),(2,1),(3,2)],4)
 => ([(0,3),(2,1),(3,2)],4)
 => ([],4)
 => 4
([(0,5),(1,6),(2,6),(3,6),(4,2),(4,3),(5,1),(5,4)],7)
 => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
 => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
 => ([(2,5),(3,4),(4,5)],6)
 => 4
([(0,3),(0,4),(1,5),(2,5),(3,6),(4,1),(4,2),(5,6)],7)
 => ([(0,3),(0,4),(1,5),(2,5),(3,6),(4,6),(6,1),(6,2)],7)
 => ([(0,3),(0,4),(1,5),(2,5),(3,6),(4,6),(6,1),(6,2)],7)
 => ([(3,6),(4,5)],7)
 => 5
([(0,2),(0,3),(0,5),(1,6),(2,6),(3,6),(4,1),(5,4)],7)
 => ([(0,2),(0,3),(2,4),(3,4),(4,1)],5)
 => ([(0,2),(0,3),(2,4),(3,4),(4,1)],5)
 => ([(3,4)],5)
 => 4
([(0,3),(0,4),(1,6),(2,6),(3,6),(4,5),(5,1),(5,2)],7)
 => ([(0,3),(2,1),(3,2)],4)
 => ([(0,3),(2,1),(3,2)],4)
 => ([],4)
 => 4
([(0,2),(0,3),(0,4),(1,5),(2,6),(3,6),(4,5),(6,1)],7)
 => ([(0,3),(2,1),(3,2)],4)
 => ([(0,3),(2,1),(3,2)],4)
 => ([],4)
 => 4
([(0,1),(0,2),(0,3),(0,4),(1,6),(2,6),(3,6),(4,5),(6,5)],7)
 => ([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => ([],3)
 => 3
([(0,2),(0,3),(0,4),(0,5),(2,6),(3,6),(4,6),(5,6),(6,1)],7)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => ([(2,3)],4)
 => 3
([(0,2),(0,3),(0,4),(1,6),(2,5),(3,5),(4,1),(5,6)],7)
 => ([(0,3),(2,1),(3,2)],4)
 => ([(0,3),(2,1),(3,2)],4)
 => ([],4)
 => 4
([(0,1),(0,2),(0,3),(1,5),(2,4),(3,4),(3,5),(4,6),(5,6)],7)
 => ([(0,3),(1,4),(2,4),(3,1),(3,2)],5)
 => ([(0,3),(1,4),(2,4),(3,1),(3,2)],5)
 => ([(3,4)],5)
 => 4
([(0,2),(0,3),(0,4),(2,6),(3,5),(4,5),(5,6),(6,1)],7)
 => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
 => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
 => ([(2,5),(3,4),(4,5)],6)
 => 4
([(0,2),(0,3),(0,4),(1,5),(2,6),(3,6),(4,1),(4,6),(6,5)],7)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => ([(2,3)],4)
 => 3
([(0,3),(0,4),(0,5),(1,6),(3,6),(4,6),(5,1),(6,2)],7)
 => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
 => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
 => ([(2,5),(3,4),(4,5)],6)
 => 4
([(0,3),(0,4),(0,5),(1,6),(2,6),(3,6),(4,2),(5,1)],7)
 => ([(0,2),(0,3),(2,4),(3,4),(4,1)],5)
 => ([(0,2),(0,3),(2,4),(3,4),(4,1)],5)
 => ([(3,4)],5)
 => 4
([(0,4),(0,5),(1,6),(2,6),(3,6),(4,3),(5,1),(5,2)],7)
 => ([(0,3),(2,1),(3,2)],4)
 => ([(0,3),(2,1),(3,2)],4)
 => ([],4)
 => 4
([(0,3),(0,4),(1,6),(2,6),(3,5),(4,1),(4,2),(4,5),(5,6)],7)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => ([(2,3)],4)
 => 3
([(0,3),(0,4),(1,6),(2,5),(3,5),(4,1),(4,2),(5,6)],7)
 => ([(0,3),(1,4),(2,4),(3,1),(3,2)],5)
 => ([(0,3),(1,4),(2,4),(3,1),(3,2)],5)
 => ([(3,4)],5)
 => 4
([(0,4),(0,5),(1,6),(2,6),(4,6),(5,1),(5,2),(6,3)],7)
 => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
 => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
 => ([(2,5),(3,4),(4,5)],6)
 => 4
([(0,3),(0,4),(1,6),(2,6),(3,2),(3,5),(4,1),(4,5),(5,6)],7)
 => ([(0,3),(1,4),(2,4),(3,1),(3,2)],5)
 => ([(0,3),(1,4),(2,4),(3,1),(3,2)],5)
 => ([(3,4)],5)
 => 4
([(0,2),(0,3),(0,4),(1,5),(2,6),(3,5),(4,1),(5,6)],7)
 => ([(0,3),(2,1),(3,2)],4)
 => ([(0,3),(2,1),(3,2)],4)
 => ([],4)
 => 4
([(0,2),(0,3),(0,4),(0,5),(0,6),(1,7),(2,7),(3,7),(4,7),(5,7),(6,1)],8)
 => ([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => ([],3)
 => 3
([(0,5),(0,6),(1,7),(2,7),(3,7),(4,7),(5,7),(6,1),(6,2),(6,3),(6,4)],8)
 => ([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => ([],3)
 => 3
([(0,6),(1,7),(2,7),(3,7),(4,7),(5,7),(6,1),(6,2),(6,3),(6,4),(6,5)],8)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => ([(2,3)],4)
 => 3
([(0,6),(1,7),(2,7),(3,7),(4,7),(5,4),(6,1),(6,2),(6,3),(6,5)],8)
 => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
 => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
 => ([(2,5),(3,4),(4,5)],6)
 => 4
([(0,5),(1,7),(2,7),(3,6),(4,6),(5,1),(5,2),(5,3),(5,4),(6,7)],8)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => ([(2,3)],4)
 => 3
([(0,5),(1,7),(2,7),(3,7),(4,6),(5,1),(5,2),(5,3),(5,4),(7,6)],8)
 => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
 => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
 => ([(2,5),(3,4),(4,5)],6)
 => 4
([(0,4),(0,6),(1,7),(2,7),(3,7),(4,7),(5,3),(6,1),(6,2),(6,5)],8)
 => ([(0,3),(2,1),(3,2)],4)
 => ([(0,3),(2,1),(3,2)],4)
 => ([],4)
 => 4
([(0,6),(1,7),(2,7),(3,7),(4,7),(5,3),(5,4),(6,1),(6,2),(6,5)],8)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => ([(2,3)],4)
 => 3
([(0,4),(0,5),(1,7),(2,6),(3,6),(4,7),(5,1),(5,2),(5,3),(6,7)],8)
 => ([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => ([],3)
 => 3
([(0,4),(0,5),(1,7),(2,7),(3,7),(4,6),(5,1),(5,2),(5,3),(7,6)],8)
 => ([(0,3),(1,4),(2,4),(3,1),(3,2)],5)
 => ([(0,3),(1,4),(2,4),(3,1),(3,2)],5)
 => ([(3,4)],5)
 => 4
([(0,5),(1,7),(2,7),(3,6),(4,2),(4,6),(5,1),(5,3),(5,4),(6,7)],8)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => ([(2,3)],4)
 => 3
([(0,3),(0,4),(0,6),(1,7),(2,7),(3,7),(4,7),(5,2),(6,1),(6,5)],8)
 => ([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => ([],3)
 => 3
([(0,4),(0,6),(1,7),(2,7),(3,7),(4,7),(5,2),(5,3),(6,1),(6,5)],8)
 => ([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => ([],3)
 => 3
([(0,5),(1,7),(2,7),(3,7),(4,7),(5,4),(5,6),(6,1),(6,2),(6,3)],8)
 => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
 => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
 => ([(2,5),(3,4),(4,5)],6)
 => 4
([(0,3),(0,4),(0,5),(1,6),(2,6),(3,7),(4,7),(5,1),(5,2),(6,7)],8)
 => ([(0,2),(0,3),(2,4),(3,4),(4,1)],5)
 => ([(0,2),(0,3),(2,4),(3,4),(4,1)],5)
 => ([(3,4)],5)
 => 4
Description
The domination number of a graph. The domination number of a graph is given by the minimum size of a dominating set of vertices. A dominating set of vertices is a subset of the vertex set of such that every vertex is either in this subset or adjacent to an element of this subset.
Matching statistic: St000384
Mapping
Mp00197: Lattices —lattice of congruences⟶ Lattices
Mp00193: Lattices —to poset⟶ Posets
Mp00110: Posets —Greene-Kleitman invariant⟶ Integer partitions
St000384: Integer partitions ⟶ ℤResult quality: 100% ●values known / values provided: 100%●distinct values known / distinct values provided: 100%
Values
([(0,2),(2,1)],3)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => [3,1]
 => 3
([(0,1),(0,2),(1,3),(2,3)],4)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => [3,1]
 => 3
([(0,2),(0,3),(1,4),(2,4),(3,1)],5)
 => ([(0,3),(1,4),(2,4),(3,1),(3,2)],5)
 => ([(0,3),(1,4),(2,4),(3,1),(3,2)],5)
 => [4,1]
 => 4
([(0,2),(0,3),(0,4),(1,5),(2,5),(3,5),(4,1)],6)
 => ([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => [3]
 => 3
([(0,3),(0,4),(1,5),(2,5),(3,5),(4,1),(4,2)],6)
 => ([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => [3]
 => 3
([(0,4),(1,5),(2,5),(3,5),(4,1),(4,2),(4,3)],6)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => [3,1]
 => 3
([(0,2),(0,4),(1,5),(2,5),(3,1),(4,3)],6)
 => ([(0,3),(0,4),(1,5),(2,5),(3,6),(4,6),(6,1),(6,2)],7)
 => ([(0,3),(0,4),(1,5),(2,5),(3,6),(4,6),(6,1),(6,2)],7)
 => [5,2]
 => 5
([(0,1),(0,2),(0,3),(1,5),(2,4),(3,4),(4,5)],6)
 => ([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => [3]
 => 3
([(0,2),(0,3),(0,4),(2,5),(3,5),(4,5),(5,1)],6)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => [3,1]
 => 3
([(0,3),(0,4),(1,5),(2,5),(3,2),(4,1)],6)
 => ([(0,3),(0,4),(1,5),(2,5),(3,6),(4,6),(6,1),(6,2)],7)
 => ([(0,3),(0,4),(1,5),(2,5),(3,6),(4,6),(6,1),(6,2)],7)
 => [5,2]
 => 5
([(0,2),(0,3),(0,4),(0,5),(1,6),(2,6),(3,6),(4,6),(5,1)],7)
 => ([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => [3]
 => 3
([(0,4),(0,5),(1,6),(2,6),(3,6),(4,6),(5,1),(5,2),(5,3)],7)
 => ([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => [3]
 => 3
([(0,5),(1,6),(2,6),(3,6),(4,6),(5,1),(5,2),(5,3),(5,4)],7)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => [3,1]
 => 3
([(0,5),(1,6),(2,6),(3,6),(4,3),(5,1),(5,2),(5,4)],7)
 => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
 => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
 => [4,2]
 => 4
([(0,4),(1,6),(2,5),(3,5),(4,1),(4,2),(4,3),(5,6)],7)
 => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
 => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
 => [4,2]
 => 4
([(0,3),(0,5),(1,6),(2,6),(3,6),(4,2),(5,1),(5,4)],7)
 => ([(0,3),(2,1),(3,2)],4)
 => ([(0,3),(2,1),(3,2)],4)
 => [4]
 => 4
([(0,5),(1,6),(2,6),(3,6),(4,2),(4,3),(5,1),(5,4)],7)
 => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
 => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
 => [4,2]
 => 4
([(0,3),(0,4),(1,5),(2,5),(3,6),(4,1),(4,2),(5,6)],7)
 => ([(0,3),(0,4),(1,5),(2,5),(3,6),(4,6),(6,1),(6,2)],7)
 => ([(0,3),(0,4),(1,5),(2,5),(3,6),(4,6),(6,1),(6,2)],7)
 => [5,2]
 => 5
([(0,2),(0,3),(0,5),(1,6),(2,6),(3,6),(4,1),(5,4)],7)
 => ([(0,2),(0,3),(2,4),(3,4),(4,1)],5)
 => ([(0,2),(0,3),(2,4),(3,4),(4,1)],5)
 => [4,1]
 => 4
([(0,3),(0,4),(1,6),(2,6),(3,6),(4,5),(5,1),(5,2)],7)
 => ([(0,3),(2,1),(3,2)],4)
 => ([(0,3),(2,1),(3,2)],4)
 => [4]
 => 4
([(0,2),(0,3),(0,4),(1,5),(2,6),(3,6),(4,5),(6,1)],7)
 => ([(0,3),(2,1),(3,2)],4)
 => ([(0,3),(2,1),(3,2)],4)
 => [4]
 => 4
([(0,1),(0,2),(0,3),(0,4),(1,6),(2,6),(3,6),(4,5),(6,5)],7)
 => ([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => [3]
 => 3
([(0,2),(0,3),(0,4),(0,5),(2,6),(3,6),(4,6),(5,6),(6,1)],7)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => [3,1]
 => 3
([(0,2),(0,3),(0,4),(1,6),(2,5),(3,5),(4,1),(5,6)],7)
 => ([(0,3),(2,1),(3,2)],4)
 => ([(0,3),(2,1),(3,2)],4)
 => [4]
 => 4
([(0,1),(0,2),(0,3),(1,5),(2,4),(3,4),(3,5),(4,6),(5,6)],7)
 => ([(0,3),(1,4),(2,4),(3,1),(3,2)],5)
 => ([(0,3),(1,4),(2,4),(3,1),(3,2)],5)
 => [4,1]
 => 4
([(0,2),(0,3),(0,4),(2,6),(3,5),(4,5),(5,6),(6,1)],7)
 => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
 => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
 => [4,2]
 => 4
([(0,2),(0,3),(0,4),(1,5),(2,6),(3,6),(4,1),(4,6),(6,5)],7)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => [3,1]
 => 3
([(0,3),(0,4),(0,5),(1,6),(3,6),(4,6),(5,1),(6,2)],7)
 => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
 => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
 => [4,2]
 => 4
([(0,3),(0,4),(0,5),(1,6),(2,6),(3,6),(4,2),(5,1)],7)
 => ([(0,2),(0,3),(2,4),(3,4),(4,1)],5)
 => ([(0,2),(0,3),(2,4),(3,4),(4,1)],5)
 => [4,1]
 => 4
([(0,4),(0,5),(1,6),(2,6),(3,6),(4,3),(5,1),(5,2)],7)
 => ([(0,3),(2,1),(3,2)],4)
 => ([(0,3),(2,1),(3,2)],4)
 => [4]
 => 4
([(0,3),(0,4),(1,6),(2,6),(3,5),(4,1),(4,2),(4,5),(5,6)],7)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => [3,1]
 => 3
([(0,3),(0,4),(1,6),(2,5),(3,5),(4,1),(4,2),(5,6)],7)
 => ([(0,3),(1,4),(2,4),(3,1),(3,2)],5)
 => ([(0,3),(1,4),(2,4),(3,1),(3,2)],5)
 => [4,1]
 => 4
([(0,4),(0,5),(1,6),(2,6),(4,6),(5,1),(5,2),(6,3)],7)
 => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
 => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
 => [4,2]
 => 4
([(0,3),(0,4),(1,6),(2,6),(3,2),(3,5),(4,1),(4,5),(5,6)],7)
 => ([(0,3),(1,4),(2,4),(3,1),(3,2)],5)
 => ([(0,3),(1,4),(2,4),(3,1),(3,2)],5)
 => [4,1]
 => 4
([(0,2),(0,3),(0,4),(1,5),(2,6),(3,5),(4,1),(5,6)],7)
 => ([(0,3),(2,1),(3,2)],4)
 => ([(0,3),(2,1),(3,2)],4)
 => [4]
 => 4
([(0,2),(0,3),(0,4),(0,5),(0,6),(1,7),(2,7),(3,7),(4,7),(5,7),(6,1)],8)
 => ([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => [3]
 => 3
([(0,5),(0,6),(1,7),(2,7),(3,7),(4,7),(5,7),(6,1),(6,2),(6,3),(6,4)],8)
 => ([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => [3]
 => 3
([(0,6),(1,7),(2,7),(3,7),(4,7),(5,7),(6,1),(6,2),(6,3),(6,4),(6,5)],8)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => [3,1]
 => 3
([(0,6),(1,7),(2,7),(3,7),(4,7),(5,4),(6,1),(6,2),(6,3),(6,5)],8)
 => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
 => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
 => [4,2]
 => 4
([(0,5),(1,7),(2,7),(3,6),(4,6),(5,1),(5,2),(5,3),(5,4),(6,7)],8)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => [3,1]
 => 3
([(0,5),(1,7),(2,7),(3,7),(4,6),(5,1),(5,2),(5,3),(5,4),(7,6)],8)
 => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
 => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
 => [4,2]
 => 4
([(0,4),(0,6),(1,7),(2,7),(3,7),(4,7),(5,3),(6,1),(6,2),(6,5)],8)
 => ([(0,3),(2,1),(3,2)],4)
 => ([(0,3),(2,1),(3,2)],4)
 => [4]
 => 4
([(0,6),(1,7),(2,7),(3,7),(4,7),(5,3),(5,4),(6,1),(6,2),(6,5)],8)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => [3,1]
 => 3
([(0,4),(0,5),(1,7),(2,6),(3,6),(4,7),(5,1),(5,2),(5,3),(6,7)],8)
 => ([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => [3]
 => 3
([(0,4),(0,5),(1,7),(2,7),(3,7),(4,6),(5,1),(5,2),(5,3),(7,6)],8)
 => ([(0,3),(1,4),(2,4),(3,1),(3,2)],5)
 => ([(0,3),(1,4),(2,4),(3,1),(3,2)],5)
 => [4,1]
 => 4
([(0,5),(1,7),(2,7),(3,6),(4,2),(4,6),(5,1),(5,3),(5,4),(6,7)],8)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => [3,1]
 => 3
([(0,3),(0,4),(0,6),(1,7),(2,7),(3,7),(4,7),(5,2),(6,1),(6,5)],8)
 => ([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => [3]
 => 3
([(0,4),(0,6),(1,7),(2,7),(3,7),(4,7),(5,2),(5,3),(6,1),(6,5)],8)
 => ([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => [3]
 => 3
([(0,5),(1,7),(2,7),(3,7),(4,7),(5,4),(5,6),(6,1),(6,2),(6,3)],8)
 => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
 => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
 => [4,2]
 => 4
([(0,3),(0,4),(0,5),(1,6),(2,6),(3,7),(4,7),(5,1),(5,2),(6,7)],8)
 => ([(0,2),(0,3),(2,4),(3,4),(4,1)],5)
 => ([(0,2),(0,3),(2,4),(3,4),(4,1)],5)
 => [4,1]
 => 4
Description
The maximal part of the shifted composition of an integer partition. A partition $\lambda = (\lambda_1,\ldots,\lambda_k)$ is shifted into a composition by adding $i-1$ to the $i$-th part. The statistic is then $\operatorname{max}_i\{ \lambda_i + i - 1 \}$. See also [[St000380]].
Matching statistic: St000784
Mapping
Mp00197: Lattices —lattice of congruences⟶ Lattices
Mp00193: Lattices —to poset⟶ Posets
Mp00110: Posets —Greene-Kleitman invariant⟶ Integer partitions
St000784: Integer partitions ⟶ ℤResult quality: 100% ●values known / values provided: 100%●distinct values known / distinct values provided: 100%
Values
([(0,2),(2,1)],3)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => [3,1]
 => 3
([(0,1),(0,2),(1,3),(2,3)],4)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => [3,1]
 => 3
([(0,2),(0,3),(1,4),(2,4),(3,1)],5)
 => ([(0,3),(1,4),(2,4),(3,1),(3,2)],5)
 => ([(0,3),(1,4),(2,4),(3,1),(3,2)],5)
 => [4,1]
 => 4
([(0,2),(0,3),(0,4),(1,5),(2,5),(3,5),(4,1)],6)
 => ([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => [3]
 => 3
([(0,3),(0,4),(1,5),(2,5),(3,5),(4,1),(4,2)],6)
 => ([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => [3]
 => 3
([(0,4),(1,5),(2,5),(3,5),(4,1),(4,2),(4,3)],6)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => [3,1]
 => 3
([(0,2),(0,4),(1,5),(2,5),(3,1),(4,3)],6)
 => ([(0,3),(0,4),(1,5),(2,5),(3,6),(4,6),(6,1),(6,2)],7)
 => ([(0,3),(0,4),(1,5),(2,5),(3,6),(4,6),(6,1),(6,2)],7)
 => [5,2]
 => 5
([(0,1),(0,2),(0,3),(1,5),(2,4),(3,4),(4,5)],6)
 => ([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => [3]
 => 3
([(0,2),(0,3),(0,4),(2,5),(3,5),(4,5),(5,1)],6)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => [3,1]
 => 3
([(0,3),(0,4),(1,5),(2,5),(3,2),(4,1)],6)
 => ([(0,3),(0,4),(1,5),(2,5),(3,6),(4,6),(6,1),(6,2)],7)
 => ([(0,3),(0,4),(1,5),(2,5),(3,6),(4,6),(6,1),(6,2)],7)
 => [5,2]
 => 5
([(0,2),(0,3),(0,4),(0,5),(1,6),(2,6),(3,6),(4,6),(5,1)],7)
 => ([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => [3]
 => 3
([(0,4),(0,5),(1,6),(2,6),(3,6),(4,6),(5,1),(5,2),(5,3)],7)
 => ([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => [3]
 => 3
([(0,5),(1,6),(2,6),(3,6),(4,6),(5,1),(5,2),(5,3),(5,4)],7)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => [3,1]
 => 3
([(0,5),(1,6),(2,6),(3,6),(4,3),(5,1),(5,2),(5,4)],7)
 => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
 => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
 => [4,2]
 => 4
([(0,4),(1,6),(2,5),(3,5),(4,1),(4,2),(4,3),(5,6)],7)
 => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
 => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
 => [4,2]
 => 4
([(0,3),(0,5),(1,6),(2,6),(3,6),(4,2),(5,1),(5,4)],7)
 => ([(0,3),(2,1),(3,2)],4)
 => ([(0,3),(2,1),(3,2)],4)
 => [4]
 => 4
([(0,5),(1,6),(2,6),(3,6),(4,2),(4,3),(5,1),(5,4)],7)
 => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
 => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
 => [4,2]
 => 4
([(0,3),(0,4),(1,5),(2,5),(3,6),(4,1),(4,2),(5,6)],7)
 => ([(0,3),(0,4),(1,5),(2,5),(3,6),(4,6),(6,1),(6,2)],7)
 => ([(0,3),(0,4),(1,5),(2,5),(3,6),(4,6),(6,1),(6,2)],7)
 => [5,2]
 => 5
([(0,2),(0,3),(0,5),(1,6),(2,6),(3,6),(4,1),(5,4)],7)
 => ([(0,2),(0,3),(2,4),(3,4),(4,1)],5)
 => ([(0,2),(0,3),(2,4),(3,4),(4,1)],5)
 => [4,1]
 => 4
([(0,3),(0,4),(1,6),(2,6),(3,6),(4,5),(5,1),(5,2)],7)
 => ([(0,3),(2,1),(3,2)],4)
 => ([(0,3),(2,1),(3,2)],4)
 => [4]
 => 4
([(0,2),(0,3),(0,4),(1,5),(2,6),(3,6),(4,5),(6,1)],7)
 => ([(0,3),(2,1),(3,2)],4)
 => ([(0,3),(2,1),(3,2)],4)
 => [4]
 => 4
([(0,1),(0,2),(0,3),(0,4),(1,6),(2,6),(3,6),(4,5),(6,5)],7)
 => ([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => [3]
 => 3
([(0,2),(0,3),(0,4),(0,5),(2,6),(3,6),(4,6),(5,6),(6,1)],7)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => [3,1]
 => 3
([(0,2),(0,3),(0,4),(1,6),(2,5),(3,5),(4,1),(5,6)],7)
 => ([(0,3),(2,1),(3,2)],4)
 => ([(0,3),(2,1),(3,2)],4)
 => [4]
 => 4
([(0,1),(0,2),(0,3),(1,5),(2,4),(3,4),(3,5),(4,6),(5,6)],7)
 => ([(0,3),(1,4),(2,4),(3,1),(3,2)],5)
 => ([(0,3),(1,4),(2,4),(3,1),(3,2)],5)
 => [4,1]
 => 4
([(0,2),(0,3),(0,4),(2,6),(3,5),(4,5),(5,6),(6,1)],7)
 => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
 => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
 => [4,2]
 => 4
([(0,2),(0,3),(0,4),(1,5),(2,6),(3,6),(4,1),(4,6),(6,5)],7)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => [3,1]
 => 3
([(0,3),(0,4),(0,5),(1,6),(3,6),(4,6),(5,1),(6,2)],7)
 => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
 => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
 => [4,2]
 => 4
([(0,3),(0,4),(0,5),(1,6),(2,6),(3,6),(4,2),(5,1)],7)
 => ([(0,2),(0,3),(2,4),(3,4),(4,1)],5)
 => ([(0,2),(0,3),(2,4),(3,4),(4,1)],5)
 => [4,1]
 => 4
([(0,4),(0,5),(1,6),(2,6),(3,6),(4,3),(5,1),(5,2)],7)
 => ([(0,3),(2,1),(3,2)],4)
 => ([(0,3),(2,1),(3,2)],4)
 => [4]
 => 4
([(0,3),(0,4),(1,6),(2,6),(3,5),(4,1),(4,2),(4,5),(5,6)],7)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => [3,1]
 => 3
([(0,3),(0,4),(1,6),(2,5),(3,5),(4,1),(4,2),(5,6)],7)
 => ([(0,3),(1,4),(2,4),(3,1),(3,2)],5)
 => ([(0,3),(1,4),(2,4),(3,1),(3,2)],5)
 => [4,1]
 => 4
([(0,4),(0,5),(1,6),(2,6),(4,6),(5,1),(5,2),(6,3)],7)
 => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
 => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
 => [4,2]
 => 4
([(0,3),(0,4),(1,6),(2,6),(3,2),(3,5),(4,1),(4,5),(5,6)],7)
 => ([(0,3),(1,4),(2,4),(3,1),(3,2)],5)
 => ([(0,3),(1,4),(2,4),(3,1),(3,2)],5)
 => [4,1]
 => 4
([(0,2),(0,3),(0,4),(1,5),(2,6),(3,5),(4,1),(5,6)],7)
 => ([(0,3),(2,1),(3,2)],4)
 => ([(0,3),(2,1),(3,2)],4)
 => [4]
 => 4
([(0,2),(0,3),(0,4),(0,5),(0,6),(1,7),(2,7),(3,7),(4,7),(5,7),(6,1)],8)
 => ([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => [3]
 => 3
([(0,5),(0,6),(1,7),(2,7),(3,7),(4,7),(5,7),(6,1),(6,2),(6,3),(6,4)],8)
 => ([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => [3]
 => 3
([(0,6),(1,7),(2,7),(3,7),(4,7),(5,7),(6,1),(6,2),(6,3),(6,4),(6,5)],8)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => [3,1]
 => 3
([(0,6),(1,7),(2,7),(3,7),(4,7),(5,4),(6,1),(6,2),(6,3),(6,5)],8)
 => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
 => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
 => [4,2]
 => 4
([(0,5),(1,7),(2,7),(3,6),(4,6),(5,1),(5,2),(5,3),(5,4),(6,7)],8)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => [3,1]
 => 3
([(0,5),(1,7),(2,7),(3,7),(4,6),(5,1),(5,2),(5,3),(5,4),(7,6)],8)
 => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
 => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
 => [4,2]
 => 4
([(0,4),(0,6),(1,7),(2,7),(3,7),(4,7),(5,3),(6,1),(6,2),(6,5)],8)
 => ([(0,3),(2,1),(3,2)],4)
 => ([(0,3),(2,1),(3,2)],4)
 => [4]
 => 4
([(0,6),(1,7),(2,7),(3,7),(4,7),(5,3),(5,4),(6,1),(6,2),(6,5)],8)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => [3,1]
 => 3
([(0,4),(0,5),(1,7),(2,6),(3,6),(4,7),(5,1),(5,2),(5,3),(6,7)],8)
 => ([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => [3]
 => 3
([(0,4),(0,5),(1,7),(2,7),(3,7),(4,6),(5,1),(5,2),(5,3),(7,6)],8)
 => ([(0,3),(1,4),(2,4),(3,1),(3,2)],5)
 => ([(0,3),(1,4),(2,4),(3,1),(3,2)],5)
 => [4,1]
 => 4
([(0,5),(1,7),(2,7),(3,6),(4,2),(4,6),(5,1),(5,3),(5,4),(6,7)],8)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => [3,1]
 => 3
([(0,3),(0,4),(0,6),(1,7),(2,7),(3,7),(4,7),(5,2),(6,1),(6,5)],8)
 => ([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => [3]
 => 3
([(0,4),(0,6),(1,7),(2,7),(3,7),(4,7),(5,2),(5,3),(6,1),(6,5)],8)
 => ([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => [3]
 => 3
([(0,5),(1,7),(2,7),(3,7),(4,7),(5,4),(5,6),(6,1),(6,2),(6,3)],8)
 => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
 => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
 => [4,2]
 => 4
([(0,3),(0,4),(0,5),(1,6),(2,6),(3,7),(4,7),(5,1),(5,2),(6,7)],8)
 => ([(0,2),(0,3),(2,4),(3,4),(4,1)],5)
 => ([(0,2),(0,3),(2,4),(3,4),(4,1)],5)
 => [4,1]
 => 4
Description
The maximum of the length and the largest part of the integer partition. This is the side length of the smallest square the Ferrers diagram of the partition fits into. It is also the minimal number of colours required to colour the cells of the Ferrers diagram such that no two cells in a column or in a row have the same colour, see [1]. See also [[St001214]].
The following 108 statistics, ordered by result quality, also match your data. Click on any of them to see the details.
St000786The maximal number of occurrences of a colour in a proper colouring of a graph. St000916The packing number of a graph. St001286The annihilation number of a graph. St001322The size of a minimal independent dominating set in a graph. St001337The upper domination number of a graph. St001338The upper irredundance number of a graph. St001339The irredundance number of a graph. St001829The common independence number of a graph. St000259The diameter of a connected graph. St000319The spin of an integer partition. St000320The dinv adjustment of an integer partition. St000380Half of the maximal perimeter of a rectangle fitting into the diagram of an integer partition. St001340The cardinality of a minimal non-edge isolating set of a graph. St001392The largest nonnegative integer which is not a part and is smaller than the largest part of the partition. St001720The minimal length of a chain of small intervals in a lattice. St000528The height of a poset. St000906The length of the shortest maximal chain in a poset. St001636The number of indecomposable injective modules with projective dimension at most one in the incidence algebra of the poset. St000643The size of the largest orbit of antichains under Panyushev complementation. St000080The rank of the poset. St001613The binary logarithm of the size of the center of a lattice. St001881The number of factors of a lattice as a Cartesian product of lattices. St001820The size of the image of the pop stack sorting operator. St001637The number of (upper) dissectors of a poset. St001668The number of points of the poset minus the width of the poset. St001623The number of doubly irreducible elements of a lattice. St001626The number of maximal proper sublattices of a lattice. St000550The number of modular elements of a lattice. St001621The number of atoms of a lattice. St001624The breadth of a lattice. St001630The global dimension of the incidence algebra of the lattice over the rational numbers. St001754The number of tolerances of a finite lattice. St001878The projective dimension of the simple modules corresponding to the minimum of L in the incidence algebra of the lattice L. St001625The Möbius invariant of a lattice. St001877Number of indecomposable injective modules with projective dimension 2. 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. St000680The Grundy value for Hackendot on posets. St000717The number of ordinal summands of a poset. St000912The number of maximal antichains in a poset. St001300The rank of the boundary operator in degree 1 of the chain complex of the order complex of the poset. St001343The dimension of the reduced incidence algebra of a poset. St000100The number of linear extensions of a poset. St000298The order dimension or Dushnik-Miller dimension of a poset. St000307The number of rowmotion orbits of a poset. St000327The number of cover relations in a poset. St000633The size of the automorphism group of a poset. St000635The number of strictly order preserving maps of a poset into itself. St000640The rank of the largest boolean interval in a poset. St000642The size of the smallest orbit of antichains under Panyushev complementation. St000656The number of cuts of a poset. St000845The maximal number of elements covered by an element in a poset. St000846The maximal number of elements covering an element of a poset. St000907The number of maximal antichains of minimal length in 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. St001510The number of self-evacuating linear extensions of a finite poset. St001632The number of indecomposable injective modules $I$ with $dim Ext^1(I,A)=1$ for the incidence algebra A of a poset. St001717The largest size of an interval in a poset. St001779The order of promotion on the set of linear extensions of a poset. St001782The order of rowmotion on the set of order ideals of a poset. St001879The number of indecomposable summands of the top of the first syzygy of the dual of the regular module in the incidence algebra of the lattice. St001880The number of 2-Gorenstein indecomposable injective modules in the incidence algebra of the lattice. St001902The number of potential covers of a poset. St000181The number of connected components of the Hasse diagram for the poset. St000632The jump number of the 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. St000908The length of the shortest maximal antichain in a poset. St000911The number of maximal antichains of maximal size in a poset. St000914The sum of the values of the Möbius function of 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". St001472The permanent of the Coxeter matrix of the poset. St001532The leading coefficient of the Poincare polynomial of the poset cone. St001533The largest coefficient of the Poincare polynomial of the poset cone. St001633The number of simple modules with projective dimension two in the incidence algebra of the poset. St001635The trace of the square of the Coxeter matrix of the incidence algebra of a poset. St001718The number of non-empty open intervals in a poset. St001890The maximum magnitude of the Möbius function of a poset. St001942The number of loops of the quiver corresponding to the reduced incidence algebra of a poset. St000104The number of facets in the order polytope of this poset. St000151The number of facets in the chain polytope of the poset. St000281The size of the preimage of the map 'to poset' from Binary trees to Posets. St000282The size of the preimage of the map 'to poset' from Ordered trees to Posets. 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. St001534The alternating sum of the coefficients of the Poincare polynomial of the poset cone. St001631The number of simple modules $S$ with $dim Ext^1(S,A)=1$ in the incidence algebra $A$ of the poset. St001964The interval resolution global dimension of a poset. St001634The trace of the Coxeter matrix of the incidence algebra of a poset. St001664The number of non-isomorphic subposets of a poset. St000639The number of relations in a poset. St000641The number of non-empty boolean intervals in a poset. St000180The number of chains of a poset. St001815The number of order preserving surjections from a poset to a total order. St001909The number of interval-closed sets of a poset. St001813The product of the sizes of the principal order filters in a poset. St001709The number of homomorphisms to the three element chain of a poset. St000634The number of endomorphisms of a poset. St000422The energy of a graph, if it is integral. St000454The largest eigenvalue of a graph if it is integral.