Your data matches 5 different statistics following compositions of up to 3 maps.
(click to perform a complete search on your data)
Matching statistic: St000553
Mapping
Mp00197: Lattices —lattice of congruences⟶ Lattices
Mp00193: Lattices —to poset⟶ Posets
Mp00074: Posets —to graph⟶ Graphs
St000553: Graphs ⟶ ℤResult quality: 100% ●values known / values provided: 100%●distinct values known / distinct values provided: 100%
Values
([],1)
 => ([],1)
 => ([],1)
 => ([],1)
 => 1
([(0,1)],2)
 => ([(0,1)],2)
 => ([(0,1)],2)
 => ([(0,1)],2)
 => 1
([(0,2),(2,1)],3)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => ([(0,2),(0,3),(1,2),(1,3)],4)
 => 1
([(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)
 => ([(0,2),(0,3),(1,2),(1,3)],4)
 => 1
([(0,1),(0,2),(0,3),(1,4),(2,4),(3,4)],5)
 => ([(0,1)],2)
 => ([(0,1)],2)
 => ([(0,1)],2)
 => 1
([(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)
 => ([(0,4),(1,2),(1,3),(2,4),(3,4)],5)
 => 2
([(0,1),(0,2),(0,3),(0,4),(1,5),(2,5),(3,5),(4,5)],6)
 => ([(0,1)],2)
 => ([(0,1)],2)
 => ([(0,1)],2)
 => 1
([(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)
 => ([(0,2),(1,2)],3)
 => 2
([(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)
 => ([(0,2),(1,2)],3)
 => 2
([(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)
 => ([(0,2),(0,3),(1,2),(1,3)],4)
 => 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,3),(0,4),(1,5),(2,5),(3,6),(4,6),(6,1),(6,2)],7)
 => ([(0,4),(0,5),(1,2),(1,3),(2,6),(3,6),(4,6),(5,6)],7)
 => 2
([(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)
 => ([(0,2),(1,2)],3)
 => 2
([(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)
 => ([(0,2),(0,3),(1,2),(1,3)],4)
 => 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,3),(0,4),(1,5),(2,5),(3,6),(4,6),(6,1),(6,2)],7)
 => ([(0,4),(0,5),(1,2),(1,3),(2,6),(3,6),(4,6),(5,6)],7)
 => 2
([(0,1),(0,2),(0,3),(0,4),(0,5),(1,6),(2,6),(3,6),(4,6),(5,6)],7)
 => ([(0,1)],2)
 => ([(0,1)],2)
 => ([(0,1)],2)
 => 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,2),(2,1)],3)
 => ([(0,2),(1,2)],3)
 => 2
([(0,3),(0,4),(0,5),(1,6),(2,6),(3,6),(4,6),(5,1),(5,2)],7)
 => ([(0,1)],2)
 => ([(0,1)],2)
 => ([(0,1)],2)
 => 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,2),(2,1)],3)
 => ([(0,2),(1,2)],3)
 => 2
([(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)
 => ([(0,2),(0,3),(1,2),(1,3)],4)
 => 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)
 => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
 => ([(0,3),(0,5),(1,2),(1,5),(2,4),(3,4),(4,5)],6)
 => 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)
 => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
 => ([(0,3),(0,5),(1,2),(1,5),(2,4),(3,4),(4,5)],6)
 => 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,3),(2,1),(3,2)],4)
 => ([(0,3),(1,2),(2,3)],4)
 => 3
([(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)
 => ([(0,3),(0,5),(1,2),(1,5),(2,4),(3,4),(4,5)],6)
 => 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,3),(0,4),(1,5),(2,5),(3,6),(4,6),(6,1),(6,2)],7)
 => ([(0,4),(0,5),(1,2),(1,3),(2,6),(3,6),(4,6),(5,6)],7)
 => 2
([(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)
 => ([(0,4),(1,2),(1,3),(2,4),(3,4)],5)
 => 2
([(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)
 => ([(0,3),(1,2),(2,3)],4)
 => 3
([(0,1),(0,2),(0,3),(0,4),(1,6),(2,6),(3,5),(4,5),(5,6)],7)
 => ([(0,1)],2)
 => ([(0,1)],2)
 => ([(0,1)],2)
 => 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,3),(2,1),(3,2)],4)
 => ([(0,3),(1,2),(2,3)],4)
 => 3
([(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)
 => ([(0,2),(1,2)],3)
 => 2
([(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)
 => ([(0,2),(0,3),(1,2),(1,3)],4)
 => 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,3),(2,1),(3,2)],4)
 => ([(0,3),(1,2),(2,3)],4)
 => 3
([(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)
 => ([(0,4),(1,2),(1,3),(2,4),(3,4)],5)
 => 2
([(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)
 => ([(0,3),(0,5),(1,2),(1,5),(2,4),(3,4),(4,5)],6)
 => 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)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => ([(0,2),(0,3),(1,2),(1,3)],4)
 => 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)
 => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
 => ([(0,3),(0,5),(1,2),(1,5),(2,4),(3,4),(4,5)],6)
 => 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),(0,3),(2,4),(3,4),(4,1)],5)
 => ([(0,4),(1,2),(1,3),(2,4),(3,4)],5)
 => 2
([(0,2),(0,3),(0,4),(1,6),(2,6),(3,5),(4,1),(4,5),(5,6)],7)
 => ([(0,1)],2)
 => ([(0,1)],2)
 => ([(0,1)],2)
 => 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,3),(2,1),(3,2)],4)
 => ([(0,3),(1,2),(2,3)],4)
 => 3
([(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)
 => ([(0,2),(0,3),(1,2),(1,3)],4)
 => 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,3),(1,4),(2,4),(3,1),(3,2)],5)
 => ([(0,4),(1,2),(1,3),(2,4),(3,4)],5)
 => 2
([(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)
 => ([(0,3),(0,5),(1,2),(1,5),(2,4),(3,4),(4,5)],6)
 => 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,3),(1,4),(2,4),(3,1),(3,2)],5)
 => ([(0,4),(1,2),(1,3),(2,4),(3,4)],5)
 => 2
([(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)
 => ([(0,3),(1,2),(2,3)],4)
 => 3
([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,7),(2,7),(3,7),(4,7),(5,7),(6,7)],8)
 => ([(0,1)],2)
 => ([(0,1)],2)
 => ([(0,1)],2)
 => 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,2),(2,1)],3)
 => ([(0,2),(1,2)],3)
 => 2
([(0,3),(0,4),(0,5),(0,6),(1,7),(2,7),(3,7),(4,7),(5,7),(6,1),(6,2)],8)
 => ([(0,1)],2)
 => ([(0,1)],2)
 => ([(0,1)],2)
 => 1
([(0,4),(0,5),(0,6),(1,7),(2,7),(3,7),(4,7),(5,7),(6,1),(6,2),(6,3)],8)
 => ([(0,1)],2)
 => ([(0,1)],2)
 => ([(0,1)],2)
 => 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,2),(2,1)],3)
 => ([(0,2),(1,2)],3)
 => 2
([(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)
 => ([(0,2),(0,3),(1,2),(1,3)],4)
 => 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)
 => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
 => ([(0,3),(0,5),(1,2),(1,5),(2,4),(3,4),(4,5)],6)
 => 1
Description
The number of blocks of a graph. A cut vertex is a vertex whose deletion increases the number of connected components. A block is a maximal connected subgraph which itself has no cut vertices. Two distinct blocks cannot overlap in more than a single cut vertex.
Matching statistic: St000552
Mapping
Mp00197: Lattices —lattice of congruences⟶ Lattices
Mp00193: Lattices —to poset⟶ Posets
Mp00074: Posets —to graph⟶ Graphs
St000552: Graphs ⟶ ℤResult quality: 100% ●values known / values provided: 100%●distinct values known / distinct values provided: 100%
Values
([],1)
 => ([],1)
 => ([],1)
 => ([],1)
 => 0 = 1 - 1
([(0,1)],2)
 => ([(0,1)],2)
 => ([(0,1)],2)
 => ([(0,1)],2)
 => 0 = 1 - 1
([(0,2),(2,1)],3)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => ([(0,2),(0,3),(1,2),(1,3)],4)
 => 0 = 1 - 1
([(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)
 => ([(0,2),(0,3),(1,2),(1,3)],4)
 => 0 = 1 - 1
([(0,1),(0,2),(0,3),(1,4),(2,4),(3,4)],5)
 => ([(0,1)],2)
 => ([(0,1)],2)
 => ([(0,1)],2)
 => 0 = 1 - 1
([(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)
 => ([(0,4),(1,2),(1,3),(2,4),(3,4)],5)
 => 1 = 2 - 1
([(0,1),(0,2),(0,3),(0,4),(1,5),(2,5),(3,5),(4,5)],6)
 => ([(0,1)],2)
 => ([(0,1)],2)
 => ([(0,1)],2)
 => 0 = 1 - 1
([(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)
 => ([(0,2),(1,2)],3)
 => 1 = 2 - 1
([(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)
 => ([(0,2),(1,2)],3)
 => 1 = 2 - 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)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => ([(0,2),(0,3),(1,2),(1,3)],4)
 => 0 = 1 - 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,3),(0,4),(1,5),(2,5),(3,6),(4,6),(6,1),(6,2)],7)
 => ([(0,4),(0,5),(1,2),(1,3),(2,6),(3,6),(4,6),(5,6)],7)
 => 1 = 2 - 1
([(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)
 => ([(0,2),(1,2)],3)
 => 1 = 2 - 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)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => ([(0,2),(0,3),(1,2),(1,3)],4)
 => 0 = 1 - 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,3),(0,4),(1,5),(2,5),(3,6),(4,6),(6,1),(6,2)],7)
 => ([(0,4),(0,5),(1,2),(1,3),(2,6),(3,6),(4,6),(5,6)],7)
 => 1 = 2 - 1
([(0,1),(0,2),(0,3),(0,4),(0,5),(1,6),(2,6),(3,6),(4,6),(5,6)],7)
 => ([(0,1)],2)
 => ([(0,1)],2)
 => ([(0,1)],2)
 => 0 = 1 - 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,2),(2,1)],3)
 => ([(0,2),(1,2)],3)
 => 1 = 2 - 1
([(0,3),(0,4),(0,5),(1,6),(2,6),(3,6),(4,6),(5,1),(5,2)],7)
 => ([(0,1)],2)
 => ([(0,1)],2)
 => ([(0,1)],2)
 => 0 = 1 - 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,2),(2,1)],3)
 => ([(0,2),(1,2)],3)
 => 1 = 2 - 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)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => ([(0,2),(0,3),(1,2),(1,3)],4)
 => 0 = 1 - 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)
 => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
 => ([(0,3),(0,5),(1,2),(1,5),(2,4),(3,4),(4,5)],6)
 => 0 = 1 - 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)
 => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
 => ([(0,3),(0,5),(1,2),(1,5),(2,4),(3,4),(4,5)],6)
 => 0 = 1 - 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,3),(2,1),(3,2)],4)
 => ([(0,3),(1,2),(2,3)],4)
 => 2 = 3 - 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)
 => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
 => ([(0,3),(0,5),(1,2),(1,5),(2,4),(3,4),(4,5)],6)
 => 0 = 1 - 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,3),(0,4),(1,5),(2,5),(3,6),(4,6),(6,1),(6,2)],7)
 => ([(0,4),(0,5),(1,2),(1,3),(2,6),(3,6),(4,6),(5,6)],7)
 => 1 = 2 - 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),(0,3),(2,4),(3,4),(4,1)],5)
 => ([(0,4),(1,2),(1,3),(2,4),(3,4)],5)
 => 1 = 2 - 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,3),(2,1),(3,2)],4)
 => ([(0,3),(1,2),(2,3)],4)
 => 2 = 3 - 1
([(0,1),(0,2),(0,3),(0,4),(1,6),(2,6),(3,5),(4,5),(5,6)],7)
 => ([(0,1)],2)
 => ([(0,1)],2)
 => ([(0,1)],2)
 => 0 = 1 - 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,3),(2,1),(3,2)],4)
 => ([(0,3),(1,2),(2,3)],4)
 => 2 = 3 - 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,2),(2,1)],3)
 => ([(0,2),(1,2)],3)
 => 1 = 2 - 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)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => ([(0,2),(0,3),(1,2),(1,3)],4)
 => 0 = 1 - 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,3),(2,1),(3,2)],4)
 => ([(0,3),(1,2),(2,3)],4)
 => 2 = 3 - 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,3),(1,4),(2,4),(3,1),(3,2)],5)
 => ([(0,4),(1,2),(1,3),(2,4),(3,4)],5)
 => 1 = 2 - 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)
 => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
 => ([(0,3),(0,5),(1,2),(1,5),(2,4),(3,4),(4,5)],6)
 => 0 = 1 - 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)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => ([(0,2),(0,3),(1,2),(1,3)],4)
 => 0 = 1 - 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)
 => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
 => ([(0,3),(0,5),(1,2),(1,5),(2,4),(3,4),(4,5)],6)
 => 0 = 1 - 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),(0,3),(2,4),(3,4),(4,1)],5)
 => ([(0,4),(1,2),(1,3),(2,4),(3,4)],5)
 => 1 = 2 - 1
([(0,2),(0,3),(0,4),(1,6),(2,6),(3,5),(4,1),(4,5),(5,6)],7)
 => ([(0,1)],2)
 => ([(0,1)],2)
 => ([(0,1)],2)
 => 0 = 1 - 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,3),(2,1),(3,2)],4)
 => ([(0,3),(1,2),(2,3)],4)
 => 2 = 3 - 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)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => ([(0,2),(0,3),(1,2),(1,3)],4)
 => 0 = 1 - 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,3),(1,4),(2,4),(3,1),(3,2)],5)
 => ([(0,4),(1,2),(1,3),(2,4),(3,4)],5)
 => 1 = 2 - 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)
 => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
 => ([(0,3),(0,5),(1,2),(1,5),(2,4),(3,4),(4,5)],6)
 => 0 = 1 - 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,3),(1,4),(2,4),(3,1),(3,2)],5)
 => ([(0,4),(1,2),(1,3),(2,4),(3,4)],5)
 => 1 = 2 - 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,3),(2,1),(3,2)],4)
 => ([(0,3),(1,2),(2,3)],4)
 => 2 = 3 - 1
([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,7),(2,7),(3,7),(4,7),(5,7),(6,7)],8)
 => ([(0,1)],2)
 => ([(0,1)],2)
 => ([(0,1)],2)
 => 0 = 1 - 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,2),(2,1)],3)
 => ([(0,2),(1,2)],3)
 => 1 = 2 - 1
([(0,3),(0,4),(0,5),(0,6),(1,7),(2,7),(3,7),(4,7),(5,7),(6,1),(6,2)],8)
 => ([(0,1)],2)
 => ([(0,1)],2)
 => ([(0,1)],2)
 => 0 = 1 - 1
([(0,4),(0,5),(0,6),(1,7),(2,7),(3,7),(4,7),(5,7),(6,1),(6,2),(6,3)],8)
 => ([(0,1)],2)
 => ([(0,1)],2)
 => ([(0,1)],2)
 => 0 = 1 - 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,2),(2,1)],3)
 => ([(0,2),(1,2)],3)
 => 1 = 2 - 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)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => ([(0,2),(0,3),(1,2),(1,3)],4)
 => 0 = 1 - 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)
 => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
 => ([(0,3),(0,5),(1,2),(1,5),(2,4),(3,4),(4,5)],6)
 => 0 = 1 - 1
Description
The number of cut vertices of a graph. A cut vertex is one whose deletion increases the number of connected components.
Matching statistic: St000714
Mapping
Mp00197: Lattices —lattice of congruences⟶ Lattices
Mp00193: Lattices —to poset⟶ Posets
Mp00110: Posets —Greene-Kleitman invariant⟶ Integer partitions
St000714: Integer partitions ⟶ ℤResult quality: 100% ●values known / values provided: 100%●distinct values known / distinct values provided: 100%
Values
([],1)
 => ([],1)
 => ([],1)
 => [1]
 => ? = 1 + 2
([(0,1)],2)
 => ([(0,1)],2)
 => ([(0,1)],2)
 => [2]
 => 3 = 1 + 2
([(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 = 1 + 2
([(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 = 1 + 2
([(0,1),(0,2),(0,3),(1,4),(2,4),(3,4)],5)
 => ([(0,1)],2)
 => ([(0,1)],2)
 => [2]
 => 3 = 1 + 2
([(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 = 2 + 2
([(0,1),(0,2),(0,3),(0,4),(1,5),(2,5),(3,5),(4,5)],6)
 => ([(0,1)],2)
 => ([(0,1)],2)
 => [2]
 => 3 = 1 + 2
([(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]
 => 4 = 2 + 2
([(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]
 => 4 = 2 + 2
([(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 = 1 + 2
([(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]
 => 4 = 2 + 2
([(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]
 => 4 = 2 + 2
([(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 = 1 + 2
([(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]
 => 4 = 2 + 2
([(0,1),(0,2),(0,3),(0,4),(0,5),(1,6),(2,6),(3,6),(4,6),(5,6)],7)
 => ([(0,1)],2)
 => ([(0,1)],2)
 => [2]
 => 3 = 1 + 2
([(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]
 => 4 = 2 + 2
([(0,3),(0,4),(0,5),(1,6),(2,6),(3,6),(4,6),(5,1),(5,2)],7)
 => ([(0,1)],2)
 => ([(0,1)],2)
 => [2]
 => 3 = 1 + 2
([(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]
 => 4 = 2 + 2
([(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 = 1 + 2
([(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]
 => 3 = 1 + 2
([(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]
 => 3 = 1 + 2
([(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]
 => 5 = 3 + 2
([(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]
 => 3 = 1 + 2
([(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]
 => 4 = 2 + 2
([(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 = 2 + 2
([(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]
 => 5 = 3 + 2
([(0,1),(0,2),(0,3),(0,4),(1,6),(2,6),(3,5),(4,5),(5,6)],7)
 => ([(0,1)],2)
 => ([(0,1)],2)
 => [2]
 => 3 = 1 + 2
([(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]
 => 5 = 3 + 2
([(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]
 => 4 = 2 + 2
([(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 = 1 + 2
([(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]
 => 5 = 3 + 2
([(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 = 2 + 2
([(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]
 => 3 = 1 + 2
([(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 = 1 + 2
([(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]
 => 3 = 1 + 2
([(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 = 2 + 2
([(0,2),(0,3),(0,4),(1,6),(2,6),(3,5),(4,1),(4,5),(5,6)],7)
 => ([(0,1)],2)
 => ([(0,1)],2)
 => [2]
 => 3 = 1 + 2
([(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]
 => 5 = 3 + 2
([(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 = 1 + 2
([(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 = 2 + 2
([(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]
 => 3 = 1 + 2
([(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 = 2 + 2
([(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]
 => 5 = 3 + 2
([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,7),(2,7),(3,7),(4,7),(5,7),(6,7)],8)
 => ([(0,1)],2)
 => ([(0,1)],2)
 => [2]
 => 3 = 1 + 2
([(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]
 => 4 = 2 + 2
([(0,3),(0,4),(0,5),(0,6),(1,7),(2,7),(3,7),(4,7),(5,7),(6,1),(6,2)],8)
 => ([(0,1)],2)
 => ([(0,1)],2)
 => [2]
 => 3 = 1 + 2
([(0,4),(0,5),(0,6),(1,7),(2,7),(3,7),(4,7),(5,7),(6,1),(6,2),(6,3)],8)
 => ([(0,1)],2)
 => ([(0,1)],2)
 => [2]
 => 3 = 1 + 2
([(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]
 => 4 = 2 + 2
([(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 = 1 + 2
([(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]
 => 3 = 1 + 2
([(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 = 1 + 2
Description
The number of semistandard Young tableau of given shape, with entries at most 2. This is also the dimension of the corresponding irreducible representation of $GL_2$.
Matching statistic: St000717
(load all 2 compositions to match this statistic)
Mapping
Mp00197: Lattices —lattice of congruences⟶ Lattices
Mp00263: Lattices —join irreducibles⟶ Posets
St000717: Posets ⟶ ℤResult quality: 80% ●values known / values provided: 80%●distinct values known / distinct values provided: 100%
Values
([],1)
 => ([],1)
 => ([],0)
 => ? = 1
([(0,1)],2)
 => ([(0,1)],2)
 => ([],1)
 => ? = 1
([(0,2),(2,1)],3)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => ([],2)
 => 1
([(0,1),(0,2),(1,3),(2,3)],4)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => ([],2)
 => 1
([(0,1),(0,2),(0,3),(1,4),(2,4),(3,4)],5)
 => ([(0,1)],2)
 => ([],1)
 => ? = 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)
 => 2
([(0,1),(0,2),(0,3),(0,4),(1,5),(2,5),(3,5),(4,5)],6)
 => ([(0,1)],2)
 => ([],1)
 => ? = 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
([(0,3),(0,4),(1,5),(2,5),(3,5),(4,1),(4,2)],6)
 => ([(0,2),(2,1)],3)
 => ([(0,1)],2)
 => 2
([(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)
 => 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)
 => 2
([(0,1),(0,2),(0,3),(1,5),(2,4),(3,4),(4,5)],6)
 => ([(0,2),(2,1)],3)
 => ([(0,1)],2)
 => 2
([(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)
 => 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)
 => 2
([(0,1),(0,2),(0,3),(0,4),(0,5),(1,6),(2,6),(3,6),(4,6),(5,6)],7)
 => ([(0,1)],2)
 => ([],1)
 => ? = 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
([(0,3),(0,4),(0,5),(1,6),(2,6),(3,6),(4,6),(5,1),(5,2)],7)
 => ([(0,1)],2)
 => ([],1)
 => ? = 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
([(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)
 => 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)
 => 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)
 => 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
([(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)
 => 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)
 => 2
([(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)
 => 2
([(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
([(0,1),(0,2),(0,3),(0,4),(1,6),(2,6),(3,5),(4,5),(5,6)],7)
 => ([(0,1)],2)
 => ([],1)
 => ? = 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
([(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
([(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)
 => 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
([(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)
 => 2
([(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)
 => 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)
 => 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)
 => 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)
 => 2
([(0,2),(0,3),(0,4),(1,6),(2,6),(3,5),(4,1),(4,5),(5,6)],7)
 => ([(0,1)],2)
 => ([],1)
 => ? = 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
([(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)
 => 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)
 => 2
([(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)
 => 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)
 => 2
([(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
([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,7),(2,7),(3,7),(4,7),(5,7),(6,7)],8)
 => ([(0,1)],2)
 => ([],1)
 => ? = 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
([(0,3),(0,4),(0,5),(0,6),(1,7),(2,7),(3,7),(4,7),(5,7),(6,1),(6,2)],8)
 => ([(0,1)],2)
 => ([],1)
 => ? = 1
([(0,4),(0,5),(0,6),(1,7),(2,7),(3,7),(4,7),(5,7),(6,1),(6,2),(6,3)],8)
 => ([(0,1)],2)
 => ([],1)
 => ? = 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
([(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)
 => 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)
 => 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)
 => 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)
 => 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
([(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)
 => 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
([(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)
 => 2
([(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)
 => 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
([(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
([(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)
 => 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)
 => 2
([(0,1),(0,2),(0,3),(0,4),(0,5),(1,7),(2,7),(3,7),(4,6),(5,6),(6,7)],8)
 => ([(0,1)],2)
 => ([],1)
 => ? = 1
([(0,3),(0,4),(0,5),(1,7),(2,7),(3,7),(4,6),(5,6),(6,1),(6,2)],8)
 => ([(0,1)],2)
 => ([],1)
 => ? = 1
([(0,1),(0,2),(0,3),(0,4),(0,5),(1,7),(2,7),(3,6),(4,6),(5,6),(6,7)],8)
 => ([(0,1)],2)
 => ([],1)
 => ? = 1
([(0,1),(0,2),(0,3),(0,4),(1,7),(2,6),(3,5),(4,5),(4,6),(5,7),(6,7)],8)
 => ([(0,1)],2)
 => ([],1)
 => ? = 1
([(0,2),(0,3),(0,4),(0,5),(1,7),(2,7),(3,6),(4,6),(5,1),(5,6),(6,7)],8)
 => ([(0,1)],2)
 => ([],1)
 => ? = 1
([(0,3),(0,4),(0,5),(1,7),(2,7),(3,6),(4,6),(5,1),(5,2),(5,6),(6,7)],8)
 => ([(0,1)],2)
 => ([],1)
 => ? = 1
([(0,1),(0,2),(0,3),(0,4),(1,6),(2,6),(3,5),(4,5),(5,7),(6,7)],8)
 => ([(0,1)],2)
 => ([],1)
 => ? = 1
([(0,2),(0,3),(0,4),(0,5),(1,7),(2,7),(3,7),(4,6),(5,1),(5,6),(6,7)],8)
 => ([(0,1)],2)
 => ([],1)
 => ? = 1
([(0,3),(0,4),(0,5),(1,7),(2,7),(3,7),(4,6),(5,1),(5,2),(5,6),(6,7)],8)
 => ([(0,1)],2)
 => ([],1)
 => ? = 1
([(0,3),(0,4),(0,5),(1,7),(2,6),(3,7),(4,6),(5,1),(5,2),(6,7)],8)
 => ([(0,1)],2)
 => ([],1)
 => ? = 1
([(0,3),(0,4),(0,5),(1,7),(2,7),(3,7),(4,2),(4,6),(5,1),(5,6),(6,7)],8)
 => ([(0,1)],2)
 => ([],1)
 => ? = 1
([(0,5),(0,6),(1,7),(2,7),(3,7),(4,7),(5,3),(5,4),(6,1),(6,2)],8)
 => ([(0,1)],2)
 => ([],1)
 => ? = 1
([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,8),(2,8),(3,8),(4,8),(5,8),(6,8),(7,8)],9)
 => ([(0,1)],2)
 => ([],1)
 => ? = 1
([(0,3),(0,4),(0,5),(0,6),(0,7),(1,8),(2,8),(3,8),(4,8),(5,8),(6,8),(7,1),(7,2)],9)
 => ([(0,1)],2)
 => ([],1)
 => ? = 1
([(0,4),(0,5),(0,6),(0,7),(1,8),(2,8),(3,8),(4,8),(5,8),(6,8),(7,1),(7,2),(7,3)],9)
 => ([(0,1)],2)
 => ([],1)
 => ? = 1
([(0,5),(0,6),(0,7),(1,8),(2,8),(3,8),(4,8),(5,8),(6,8),(7,1),(7,2),(7,3),(7,4)],9)
 => ([(0,1)],2)
 => ([],1)
 => ? = 1
([(0,4),(0,5),(0,6),(1,8),(2,7),(3,7),(4,8),(5,8),(6,1),(6,2),(6,3),(7,8)],9)
 => ([(0,1)],2)
 => ([],1)
 => ? = 1
([(0,4),(0,5),(0,7),(1,8),(2,8),(3,8),(4,8),(5,8),(6,2),(6,3),(7,1),(7,6)],9)
 => ([(0,1)],2)
 => ([],1)
 => ? = 1
([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,8),(2,8),(3,8),(4,8),(5,7),(6,7),(7,8)],9)
 => ([(0,1)],2)
 => ([],1)
 => ? = 1
([(0,3),(0,4),(0,5),(0,6),(1,8),(2,8),(3,8),(4,8),(5,7),(6,7),(7,1),(7,2)],9)
 => ([(0,1)],2)
 => ([],1)
 => ? = 1
([(0,4),(0,5),(0,6),(1,8),(2,8),(3,8),(4,8),(5,7),(6,7),(7,1),(7,2),(7,3)],9)
 => ([(0,1)],2)
 => ([],1)
 => ? = 1
([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,8),(2,8),(3,8),(4,7),(5,7),(6,7),(7,8)],9)
 => ([(0,1)],2)
 => ([],1)
 => ? = 1
([(0,3),(0,4),(0,5),(0,6),(1,7),(2,7),(3,8),(4,8),(5,8),(6,7),(8,1),(8,2)],9)
 => ([(0,1)],2)
 => ([],1)
 => ? = 1
([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,8),(2,8),(3,8),(4,8),(5,7),(6,7),(8,7)],9)
 => ([(0,1)],2)
 => ([],1)
 => ? = 1
([(0,2),(0,3),(0,4),(0,5),(0,6),(1,7),(2,8),(3,8),(4,8),(5,7),(6,1),(6,8),(8,7)],9)
 => ([(0,1)],2)
 => ([],1)
 => ? = 1
([(0,3),(0,4),(0,5),(0,6),(1,7),(2,7),(3,8),(4,8),(5,8),(6,1),(6,2),(6,8),(8,7)],9)
 => ([(0,1)],2)
 => ([],1)
 => ? = 1
([(0,1),(0,2),(0,3),(0,4),(0,5),(1,8),(2,8),(3,8),(4,6),(5,6),(6,7),(8,7)],9)
 => ([(0,1)],2)
 => ([],1)
 => ? = 1
([(0,1),(0,2),(0,3),(0,4),(0,5),(1,8),(2,8),(3,7),(4,7),(5,7),(5,8),(7,6),(8,6)],9)
 => ([(0,1)],2)
 => ([],1)
 => ? = 1
([(0,1),(0,2),(0,3),(0,4),(0,5),(1,8),(2,8),(3,7),(4,6),(5,6),(5,7),(6,8),(7,8)],9)
 => ([(0,1)],2)
 => ([],1)
 => ? = 1
([(0,2),(0,3),(0,4),(0,5),(1,8),(2,7),(3,6),(4,6),(4,7),(5,1),(5,7),(6,8),(7,8)],9)
 => ([(0,1)],2)
 => ([],1)
 => ? = 1
([(0,1),(0,2),(0,3),(0,4),(0,5),(1,7),(2,8),(3,8),(4,6),(5,6),(6,7),(7,8)],9)
 => ([(0,1)],2)
 => ([],1)
 => ? = 1
([(0,2),(0,3),(0,4),(0,5),(1,8),(2,7),(3,7),(4,8),(5,6),(6,8),(7,1),(7,6)],9)
 => ([(0,1)],2)
 => ([],1)
 => ? = 1
([(0,2),(0,3),(0,4),(0,5),(0,6),(1,8),(2,8),(3,8),(4,7),(5,7),(6,1),(6,7),(7,8)],9)
 => ([(0,1)],2)
 => ([],1)
 => ? = 1
([(0,3),(0,4),(0,5),(0,6),(1,8),(2,8),(3,8),(4,7),(5,7),(6,1),(6,2),(7,8)],9)
 => ([(0,1)],2)
 => ([],1)
 => ? = 1
([(0,2),(0,3),(0,4),(0,5),(1,8),(2,8),(3,6),(4,6),(5,1),(5,7),(6,7),(7,8)],9)
 => ([(0,1)],2)
 => ([],1)
 => ? = 1
([(0,3),(0,4),(0,5),(0,6),(1,8),(2,8),(3,8),(4,7),(5,7),(6,1),(6,2),(6,7),(7,8)],9)
 => ([(0,1)],2)
 => ([],1)
 => ? = 1
([(0,4),(0,5),(0,6),(1,8),(2,8),(3,8),(4,7),(5,7),(6,1),(6,2),(6,3),(6,7),(7,8)],9)
 => ([(0,1)],2)
 => ([],1)
 => ? = 1
([(0,4),(0,5),(0,6),(1,8),(2,8),(3,7),(4,7),(5,7),(6,1),(6,2),(6,3),(7,8)],9)
 => ([(0,1)],2)
 => ([],1)
 => ? = 1
([(0,3),(0,4),(0,5),(0,6),(1,8),(2,7),(3,8),(4,7),(5,7),(6,1),(6,2),(7,8)],9)
 => ([(0,1)],2)
 => ([],1)
 => ? = 1
Description
The number of ordinal summands of a poset. The ordinal sum of two posets $P$ and $Q$ is the poset having elements $(p,0)$ and $(q,1)$ for $p\in P$ and $q\in Q$, and relations $(a,0) < (b,0)$ if $a < b$ in $P$, $(a,1) < (b,1)$ if $a < b$ in $Q$, and $(a,0) < (b,1)$. This statistic is the length of the longest ordinal decomposition of a poset.
Matching statistic: St000906
(load all 2 compositions to match this statistic)
Mapping
Mp00197: Lattices —lattice of congruences⟶ Lattices
Mp00263: Lattices —join irreducibles⟶ Posets
St000906: Posets ⟶ ℤResult quality: 80% ●values known / values provided: 80%●distinct values known / distinct values provided: 100%
Values
([],1)
 => ([],1)
 => ([],0)
 => ? = 1
([(0,1)],2)
 => ([(0,1)],2)
 => ([],1)
 => ? = 1
([(0,2),(2,1)],3)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => ([],2)
 => 1
([(0,1),(0,2),(1,3),(2,3)],4)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => ([],2)
 => 1
([(0,1),(0,2),(0,3),(1,4),(2,4),(3,4)],5)
 => ([(0,1)],2)
 => ([],1)
 => ? = 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)
 => 2
([(0,1),(0,2),(0,3),(0,4),(1,5),(2,5),(3,5),(4,5)],6)
 => ([(0,1)],2)
 => ([],1)
 => ? = 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
([(0,3),(0,4),(1,5),(2,5),(3,5),(4,1),(4,2)],6)
 => ([(0,2),(2,1)],3)
 => ([(0,1)],2)
 => 2
([(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)
 => 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)
 => 2
([(0,1),(0,2),(0,3),(1,5),(2,4),(3,4),(4,5)],6)
 => ([(0,2),(2,1)],3)
 => ([(0,1)],2)
 => 2
([(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)
 => 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)
 => 2
([(0,1),(0,2),(0,3),(0,4),(0,5),(1,6),(2,6),(3,6),(4,6),(5,6)],7)
 => ([(0,1)],2)
 => ([],1)
 => ? = 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
([(0,3),(0,4),(0,5),(1,6),(2,6),(3,6),(4,6),(5,1),(5,2)],7)
 => ([(0,1)],2)
 => ([],1)
 => ? = 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
([(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)
 => 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)
 => 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)
 => 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
([(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)
 => 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)
 => 2
([(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)
 => 2
([(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
([(0,1),(0,2),(0,3),(0,4),(1,6),(2,6),(3,5),(4,5),(5,6)],7)
 => ([(0,1)],2)
 => ([],1)
 => ? = 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
([(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
([(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)
 => 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
([(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)
 => 2
([(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)
 => 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)
 => 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)
 => 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)
 => 2
([(0,2),(0,3),(0,4),(1,6),(2,6),(3,5),(4,1),(4,5),(5,6)],7)
 => ([(0,1)],2)
 => ([],1)
 => ? = 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
([(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)
 => 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)
 => 2
([(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)
 => 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)
 => 2
([(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
([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,7),(2,7),(3,7),(4,7),(5,7),(6,7)],8)
 => ([(0,1)],2)
 => ([],1)
 => ? = 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
([(0,3),(0,4),(0,5),(0,6),(1,7),(2,7),(3,7),(4,7),(5,7),(6,1),(6,2)],8)
 => ([(0,1)],2)
 => ([],1)
 => ? = 1
([(0,4),(0,5),(0,6),(1,7),(2,7),(3,7),(4,7),(5,7),(6,1),(6,2),(6,3)],8)
 => ([(0,1)],2)
 => ([],1)
 => ? = 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
([(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)
 => 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)
 => 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)
 => 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)
 => 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
([(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)
 => 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
([(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)
 => 2
([(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)
 => 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
([(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
([(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)
 => 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)
 => 2
([(0,1),(0,2),(0,3),(0,4),(0,5),(1,7),(2,7),(3,7),(4,6),(5,6),(6,7)],8)
 => ([(0,1)],2)
 => ([],1)
 => ? = 1
([(0,3),(0,4),(0,5),(1,7),(2,7),(3,7),(4,6),(5,6),(6,1),(6,2)],8)
 => ([(0,1)],2)
 => ([],1)
 => ? = 1
([(0,1),(0,2),(0,3),(0,4),(0,5),(1,7),(2,7),(3,6),(4,6),(5,6),(6,7)],8)
 => ([(0,1)],2)
 => ([],1)
 => ? = 1
([(0,1),(0,2),(0,3),(0,4),(1,7),(2,6),(3,5),(4,5),(4,6),(5,7),(6,7)],8)
 => ([(0,1)],2)
 => ([],1)
 => ? = 1
([(0,2),(0,3),(0,4),(0,5),(1,7),(2,7),(3,6),(4,6),(5,1),(5,6),(6,7)],8)
 => ([(0,1)],2)
 => ([],1)
 => ? = 1
([(0,3),(0,4),(0,5),(1,7),(2,7),(3,6),(4,6),(5,1),(5,2),(5,6),(6,7)],8)
 => ([(0,1)],2)
 => ([],1)
 => ? = 1
([(0,1),(0,2),(0,3),(0,4),(1,6),(2,6),(3,5),(4,5),(5,7),(6,7)],8)
 => ([(0,1)],2)
 => ([],1)
 => ? = 1
([(0,2),(0,3),(0,4),(0,5),(1,7),(2,7),(3,7),(4,6),(5,1),(5,6),(6,7)],8)
 => ([(0,1)],2)
 => ([],1)
 => ? = 1
([(0,3),(0,4),(0,5),(1,7),(2,7),(3,7),(4,6),(5,1),(5,2),(5,6),(6,7)],8)
 => ([(0,1)],2)
 => ([],1)
 => ? = 1
([(0,3),(0,4),(0,5),(1,7),(2,6),(3,7),(4,6),(5,1),(5,2),(6,7)],8)
 => ([(0,1)],2)
 => ([],1)
 => ? = 1
([(0,3),(0,4),(0,5),(1,7),(2,7),(3,7),(4,2),(4,6),(5,1),(5,6),(6,7)],8)
 => ([(0,1)],2)
 => ([],1)
 => ? = 1
([(0,5),(0,6),(1,7),(2,7),(3,7),(4,7),(5,3),(5,4),(6,1),(6,2)],8)
 => ([(0,1)],2)
 => ([],1)
 => ? = 1
([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,8),(2,8),(3,8),(4,8),(5,8),(6,8),(7,8)],9)
 => ([(0,1)],2)
 => ([],1)
 => ? = 1
([(0,3),(0,4),(0,5),(0,6),(0,7),(1,8),(2,8),(3,8),(4,8),(5,8),(6,8),(7,1),(7,2)],9)
 => ([(0,1)],2)
 => ([],1)
 => ? = 1
([(0,4),(0,5),(0,6),(0,7),(1,8),(2,8),(3,8),(4,8),(5,8),(6,8),(7,1),(7,2),(7,3)],9)
 => ([(0,1)],2)
 => ([],1)
 => ? = 1
([(0,5),(0,6),(0,7),(1,8),(2,8),(3,8),(4,8),(5,8),(6,8),(7,1),(7,2),(7,3),(7,4)],9)
 => ([(0,1)],2)
 => ([],1)
 => ? = 1
([(0,4),(0,5),(0,6),(1,8),(2,7),(3,7),(4,8),(5,8),(6,1),(6,2),(6,3),(7,8)],9)
 => ([(0,1)],2)
 => ([],1)
 => ? = 1
([(0,4),(0,5),(0,7),(1,8),(2,8),(3,8),(4,8),(5,8),(6,2),(6,3),(7,1),(7,6)],9)
 => ([(0,1)],2)
 => ([],1)
 => ? = 1
([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,8),(2,8),(3,8),(4,8),(5,7),(6,7),(7,8)],9)
 => ([(0,1)],2)
 => ([],1)
 => ? = 1
([(0,3),(0,4),(0,5),(0,6),(1,8),(2,8),(3,8),(4,8),(5,7),(6,7),(7,1),(7,2)],9)
 => ([(0,1)],2)
 => ([],1)
 => ? = 1
([(0,4),(0,5),(0,6),(1,8),(2,8),(3,8),(4,8),(5,7),(6,7),(7,1),(7,2),(7,3)],9)
 => ([(0,1)],2)
 => ([],1)
 => ? = 1
([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,8),(2,8),(3,8),(4,7),(5,7),(6,7),(7,8)],9)
 => ([(0,1)],2)
 => ([],1)
 => ? = 1
([(0,3),(0,4),(0,5),(0,6),(1,7),(2,7),(3,8),(4,8),(5,8),(6,7),(8,1),(8,2)],9)
 => ([(0,1)],2)
 => ([],1)
 => ? = 1
([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,8),(2,8),(3,8),(4,8),(5,7),(6,7),(8,7)],9)
 => ([(0,1)],2)
 => ([],1)
 => ? = 1
([(0,2),(0,3),(0,4),(0,5),(0,6),(1,7),(2,8),(3,8),(4,8),(5,7),(6,1),(6,8),(8,7)],9)
 => ([(0,1)],2)
 => ([],1)
 => ? = 1
([(0,3),(0,4),(0,5),(0,6),(1,7),(2,7),(3,8),(4,8),(5,8),(6,1),(6,2),(6,8),(8,7)],9)
 => ([(0,1)],2)
 => ([],1)
 => ? = 1
([(0,1),(0,2),(0,3),(0,4),(0,5),(1,8),(2,8),(3,8),(4,6),(5,6),(6,7),(8,7)],9)
 => ([(0,1)],2)
 => ([],1)
 => ? = 1
([(0,1),(0,2),(0,3),(0,4),(0,5),(1,8),(2,8),(3,7),(4,7),(5,7),(5,8),(7,6),(8,6)],9)
 => ([(0,1)],2)
 => ([],1)
 => ? = 1
([(0,1),(0,2),(0,3),(0,4),(0,5),(1,8),(2,8),(3,7),(4,6),(5,6),(5,7),(6,8),(7,8)],9)
 => ([(0,1)],2)
 => ([],1)
 => ? = 1
([(0,2),(0,3),(0,4),(0,5),(1,8),(2,7),(3,6),(4,6),(4,7),(5,1),(5,7),(6,8),(7,8)],9)
 => ([(0,1)],2)
 => ([],1)
 => ? = 1
([(0,1),(0,2),(0,3),(0,4),(0,5),(1,7),(2,8),(3,8),(4,6),(5,6),(6,7),(7,8)],9)
 => ([(0,1)],2)
 => ([],1)
 => ? = 1
([(0,2),(0,3),(0,4),(0,5),(1,8),(2,7),(3,7),(4,8),(5,6),(6,8),(7,1),(7,6)],9)
 => ([(0,1)],2)
 => ([],1)
 => ? = 1
([(0,2),(0,3),(0,4),(0,5),(0,6),(1,8),(2,8),(3,8),(4,7),(5,7),(6,1),(6,7),(7,8)],9)
 => ([(0,1)],2)
 => ([],1)
 => ? = 1
([(0,3),(0,4),(0,5),(0,6),(1,8),(2,8),(3,8),(4,7),(5,7),(6,1),(6,2),(7,8)],9)
 => ([(0,1)],2)
 => ([],1)
 => ? = 1
([(0,2),(0,3),(0,4),(0,5),(1,8),(2,8),(3,6),(4,6),(5,1),(5,7),(6,7),(7,8)],9)
 => ([(0,1)],2)
 => ([],1)
 => ? = 1
([(0,3),(0,4),(0,5),(0,6),(1,8),(2,8),(3,8),(4,7),(5,7),(6,1),(6,2),(6,7),(7,8)],9)
 => ([(0,1)],2)
 => ([],1)
 => ? = 1
([(0,4),(0,5),(0,6),(1,8),(2,8),(3,8),(4,7),(5,7),(6,1),(6,2),(6,3),(6,7),(7,8)],9)
 => ([(0,1)],2)
 => ([],1)
 => ? = 1
([(0,4),(0,5),(0,6),(1,8),(2,8),(3,7),(4,7),(5,7),(6,1),(6,2),(6,3),(7,8)],9)
 => ([(0,1)],2)
 => ([],1)
 => ? = 1
([(0,3),(0,4),(0,5),(0,6),(1,8),(2,7),(3,8),(4,7),(5,7),(6,1),(6,2),(7,8)],9)
 => ([(0,1)],2)
 => ([],1)
 => ? = 1
Description
The length of the shortest maximal chain in a poset.