- FindStat

Your data matches 17 different statistics following compositions of up to 3 maps.
(click to perform a complete search on your data)

Matching statistic: St001625

Mapping

Mp00196: Lattices —The modular quotient of a lattice.⟶ Lattices
St001625: Lattices ⟶ ℤResult quality: 100% ●values known / values provided: 100%●distinct values known / distinct values provided: 100%

Values

([],1)
 => ([],1)
 => 1
([(0,1)],2)
 => ([(0,1)],2)
 => -1
([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => 0
([(0,1),(0,2),(1,3),(2,3)],4)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 1
([(0,3),(2,1),(3,2)],4)
 => ([(0,3),(2,1),(3,2)],4)
 => 0
([(0,1),(0,2),(0,3),(1,4),(2,4),(3,4)],5)
 => ([(0,1),(0,2),(0,3),(1,4),(2,4),(3,4)],5)
 => 2
([(0,2),(0,3),(1,4),(2,4),(3,1)],5)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 1
([(0,3),(1,4),(2,4),(3,1),(3,2)],5)
 => ([(0,3),(1,4),(2,4),(3,1),(3,2)],5)
 => 0
([(0,4),(2,3),(3,1),(4,2)],5)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => 0
([(0,2),(0,3),(2,4),(3,4),(4,1)],5)
 => ([(0,2),(0,3),(2,4),(3,4),(4,1)],5)
 => 0
([(0,1),(0,2),(0,3),(0,4),(1,5),(2,5),(3,5),(4,5)],6)
 => ([(0,1),(0,2),(0,3),(0,4),(1,5),(2,5),(3,5),(4,5)],6)
 => 3
([(0,2),(0,3),(0,4),(1,5),(2,5),(3,5),(4,1)],6)
 => ([(0,1),(0,2),(0,3),(1,4),(2,4),(3,4)],5)
 => 2
([(0,3),(0,4),(1,5),(2,5),(3,5),(4,1),(4,2)],6)
 => ([(0,1)],2)
 => -1
([(0,4),(1,5),(2,5),(3,5),(4,1),(4,2),(4,3)],6)
 => ([(0,4),(1,5),(2,5),(3,5),(4,1),(4,2),(4,3)],6)
 => 0
([(0,4),(1,5),(2,5),(3,2),(4,1),(4,3)],6)
 => ([(0,3),(1,4),(2,4),(3,1),(3,2)],5)
 => 0
([(0,4),(1,5),(2,5),(4,1),(4,2),(5,3)],6)
 => ([(0,4),(1,5),(2,5),(4,1),(4,2),(5,3)],6)
 => 0
([(0,2),(0,4),(1,5),(2,5),(3,1),(4,3)],6)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 1
([(0,3),(1,5),(2,5),(3,4),(4,1),(4,2)],6)
 => ([(0,3),(1,5),(2,5),(3,4),(4,1),(4,2)],6)
 => 0
([(0,1),(0,2),(0,3),(1,5),(2,4),(3,4),(4,5)],6)
 => ([(0,1)],2)
 => -1
([(0,2),(0,3),(2,5),(3,5),(4,1),(5,4)],6)
 => ([(0,2),(0,3),(2,5),(3,5),(4,1),(5,4)],6)
 => 0
([(0,2),(0,3),(0,4),(2,5),(3,5),(4,5),(5,1)],6)
 => ([(0,2),(0,3),(0,4),(2,5),(3,5),(4,5),(5,1)],6)
 => 0
([(0,3),(0,4),(1,5),(2,5),(3,2),(4,1)],6)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 1
([(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
([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
 => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
 => 0
([(0,3),(0,4),(1,5),(3,5),(4,1),(5,2)],6)
 => ([(0,2),(0,3),(2,4),(3,4),(4,1)],5)
 => 0
([(0,1),(0,2),(0,3),(0,4),(0,5),(1,6),(2,6),(3,6),(4,6),(5,6)],7)
 => ([(0,1),(0,2),(0,3),(0,4),(0,5),(1,6),(2,6),(3,6),(4,6),(5,6)],7)
 => 4
([(0,2),(0,3),(0,4),(0,5),(1,6),(2,6),(3,6),(4,6),(5,1)],7)
 => ([(0,1),(0,2),(0,3),(0,4),(1,5),(2,5),(3,5),(4,5)],6)
 => 3
([(0,3),(0,4),(0,5),(1,6),(2,6),(3,6),(4,6),(5,1),(5,2)],7)
 => ([],1)
 => 1
([(0,4),(0,5),(1,6),(2,6),(3,6),(4,6),(5,1),(5,2),(5,3)],7)
 => ([(0,1)],2)
 => -1
([(0,5),(1,6),(2,6),(3,6),(4,6),(5,1),(5,2),(5,3),(5,4)],7)
 => ([(0,5),(1,6),(2,6),(3,6),(4,6),(5,1),(5,2),(5,3),(5,4)],7)
 => 0
([(0,5),(1,6),(2,6),(3,6),(4,3),(5,1),(5,2),(5,4)],7)
 => ([(0,4),(1,5),(2,5),(3,5),(4,1),(4,2),(4,3)],6)
 => 0
([(0,4),(1,6),(2,5),(3,5),(4,1),(4,2),(4,3),(5,6)],7)
 => ([(0,2),(2,1)],3)
 => 0
([(0,5),(1,6),(2,6),(3,6),(5,1),(5,2),(5,3),(6,4)],7)
 => ([(0,5),(1,6),(2,6),(3,6),(5,1),(5,2),(5,3),(6,4)],7)
 => 0
([(0,3),(0,5),(1,6),(2,6),(3,6),(4,2),(5,1),(5,4)],7)
 => ([(0,1)],2)
 => -1
([(0,5),(1,6),(2,6),(3,6),(4,2),(4,3),(5,1),(5,4)],7)
 => ([(0,2),(2,1)],3)
 => 0
([(0,3),(0,4),(1,5),(2,5),(3,6),(4,1),(4,2),(5,6)],7)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 1
([(0,5),(2,6),(3,6),(4,1),(5,2),(5,3),(6,4)],7)
 => ([(0,5),(2,6),(3,6),(4,1),(5,2),(5,3),(6,4)],7)
 => 0
([(0,5),(1,6),(2,6),(3,2),(4,1),(5,3),(5,4)],7)
 => ([(0,3),(1,4),(2,4),(3,1),(3,2)],5)
 => 0
([(0,4),(1,6),(2,5),(3,1),(3,5),(4,2),(4,3),(5,6)],7)
 => ([(0,4),(1,6),(2,5),(3,1),(3,5),(4,2),(4,3),(5,6)],7)
 => 0
([(0,2),(0,3),(0,5),(1,6),(2,6),(3,6),(4,1),(5,4)],7)
 => ([(0,1),(0,2),(0,3),(1,4),(2,4),(3,4)],5)
 => 2
([(0,3),(0,4),(1,6),(2,6),(3,6),(4,5),(5,1),(5,2)],7)
 => ([(0,1)],2)
 => -1
([(0,4),(1,6),(2,6),(3,6),(4,5),(5,1),(5,2),(5,3)],7)
 => ([(0,4),(1,6),(2,6),(3,6),(4,5),(5,1),(5,2),(5,3)],7)
 => 0
([(0,1),(0,2),(0,3),(0,4),(1,6),(2,6),(3,5),(4,5),(5,6)],7)
 => ([],1)
 => 1
([(0,2),(0,3),(0,4),(1,5),(2,6),(3,6),(4,5),(6,1)],7)
 => ([(0,1)],2)
 => -1
([(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
([(0,1),(0,2),(0,3),(0,4),(1,6),(2,6),(3,6),(4,5),(6,5)],7)
 => ([(0,1)],2)
 => -1
([(0,2),(0,3),(0,4),(2,6),(3,6),(4,6),(5,1),(6,5)],7)
 => ([(0,2),(0,3),(0,4),(2,6),(3,6),(4,6),(5,1),(6,5)],7)
 => 0
([(0,2),(0,3),(0,4),(0,5),(2,6),(3,6),(4,6),(5,6),(6,1)],7)
 => ([(0,2),(0,3),(0,4),(0,5),(2,6),(3,6),(4,6),(5,6),(6,1)],7)
 => 0
([(0,2),(0,3),(0,4),(1,6),(2,5),(3,5),(4,1),(5,6)],7)
 => ([(0,1)],2)
 => -1
([(0,1),(0,2),(0,3),(1,5),(2,4),(3,4),(3,5),(4,6),(5,6)],7)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 1

Description

The Möbius invariant of a lattice. The '''Möbius invariant''' of a lattice $L$ is the value of the Möbius function applied to least and greatest element, that is $\mu(L)=\mu_L(\hat{0},\hat{1})$, where $\hat{0}$ is the least element of $L$ and $\hat{1}$ is the greatest element of $L$. For the definition of the Möbius function, see [[St000914]].

Matching statistic: St001876
(load all 6 compositions to match this statistic)

Mapping

Mp00263: Lattices —join irreducibles⟶ Posets
Mp00205: Posets —maximal antichains⟶ Lattices
St001876: Lattices ⟶ ℤResult quality: 50% ●values known / values provided: 55%●distinct values known / distinct values provided: 50%

Values

([],1)
 => ([],0)
 => ?
 => ? = 1
([(0,1)],2)
 => ([],1)
 => ([],1)
 => ? = -1
([(0,2),(2,1)],3)
 => ([(0,1)],2)
 => ([(0,1)],2)
 => ? = 0
([(0,1),(0,2),(1,3),(2,3)],4)
 => ([],2)
 => ([],1)
 => ? = 1
([(0,3),(2,1),(3,2)],4)
 => ([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => 0
([(0,1),(0,2),(0,3),(1,4),(2,4),(3,4)],5)
 => ([],3)
 => ([],1)
 => ? ∊ {0,0,1,2}
([(0,2),(0,3),(1,4),(2,4),(3,1)],5)
 => ([(1,2)],3)
 => ([(0,1)],2)
 => ? ∊ {0,0,1,2}
([(0,3),(1,4),(2,4),(3,1),(3,2)],5)
 => ([(0,1),(0,2)],3)
 => ([(0,1)],2)
 => ? ∊ {0,0,1,2}
([(0,4),(2,3),(3,1),(4,2)],5)
 => ([(0,3),(2,1),(3,2)],4)
 => ([(0,3),(2,1),(3,2)],4)
 => 0
([(0,2),(0,3),(2,4),(3,4),(4,1)],5)
 => ([(0,2),(1,2)],3)
 => ([(0,1)],2)
 => ? ∊ {0,0,1,2}
([(0,1),(0,2),(0,3),(0,4),(1,5),(2,5),(3,5),(4,5)],6)
 => ([],4)
 => ([],1)
 => ? ∊ {-1,-1,0,0,1,2,3}
([(0,2),(0,3),(0,4),(1,5),(2,5),(3,5),(4,1)],6)
 => ([(2,3)],4)
 => ([(0,1)],2)
 => ? ∊ {-1,-1,0,0,1,2,3}
([(0,3),(0,4),(1,5),(2,5),(3,5),(4,1),(4,2)],6)
 => ([(1,2),(1,3)],4)
 => ([(0,1)],2)
 => ? ∊ {-1,-1,0,0,1,2,3}
([(0,4),(1,5),(2,5),(3,5),(4,1),(4,2),(4,3)],6)
 => ([(0,1),(0,2),(0,3)],4)
 => ([(0,1)],2)
 => ? ∊ {-1,-1,0,0,1,2,3}
([(0,4),(1,5),(2,5),(3,2),(4,1),(4,3)],6)
 => ([(0,2),(0,3),(3,1)],4)
 => ([(0,2),(2,1)],3)
 => 0
([(0,4),(1,5),(2,5),(4,1),(4,2),(5,3)],6)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => ([(0,2),(2,1)],3)
 => 0
([(0,2),(0,4),(1,5),(2,5),(3,1),(4,3)],6)
 => ([(1,2),(2,3)],4)
 => ([(0,2),(2,1)],3)
 => 0
([(0,3),(1,5),(2,5),(3,4),(4,1),(4,2)],6)
 => ([(0,3),(3,1),(3,2)],4)
 => ([(0,2),(2,1)],3)
 => 0
([(0,1),(0,2),(0,3),(1,5),(2,4),(3,4),(4,5)],6)
 => ([],3)
 => ([],1)
 => ? ∊ {-1,-1,0,0,1,2,3}
([(0,2),(0,3),(2,5),(3,5),(4,1),(5,4)],6)
 => ([(0,3),(1,3),(3,2)],4)
 => ([(0,2),(2,1)],3)
 => 0
([(0,2),(0,3),(0,4),(2,5),(3,5),(4,5),(5,1)],6)
 => ([(0,3),(1,3),(2,3)],4)
 => ([(0,1)],2)
 => ? ∊ {-1,-1,0,0,1,2,3}
([(0,3),(0,4),(1,5),(2,5),(3,2),(4,1)],6)
 => ([(0,3),(1,2)],4)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 1
([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
 => ([(1,2)],3)
 => ([(0,1)],2)
 => ? ∊ {-1,-1,0,0,1,2,3}
([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => 0
([(0,3),(0,4),(1,5),(3,5),(4,1),(5,2)],6)
 => ([(0,3),(1,2),(2,3)],4)
 => ([(0,2),(2,1)],3)
 => 0
([(0,1),(0,2),(0,3),(0,4),(0,5),(1,6),(2,6),(3,6),(4,6),(5,6)],7)
 => ([],5)
 => ([],1)
 => ? ∊ {-1,-1,-1,-1,-1,-1,-1,-1,0,0,0,0,0,0,0,1,1,2,3,4}
([(0,2),(0,3),(0,4),(0,5),(1,6),(2,6),(3,6),(4,6),(5,1)],7)
 => ([(3,4)],5)
 => ([(0,1)],2)
 => ? ∊ {-1,-1,-1,-1,-1,-1,-1,-1,0,0,0,0,0,0,0,1,1,2,3,4}
([(0,3),(0,4),(0,5),(1,6),(2,6),(3,6),(4,6),(5,1),(5,2)],7)
 => ([(2,3),(2,4)],5)
 => ([(0,1)],2)
 => ? ∊ {-1,-1,-1,-1,-1,-1,-1,-1,0,0,0,0,0,0,0,1,1,2,3,4}
([(0,4),(0,5),(1,6),(2,6),(3,6),(4,6),(5,1),(5,2),(5,3)],7)
 => ([(1,2),(1,3),(1,4)],5)
 => ([(0,1)],2)
 => ? ∊ {-1,-1,-1,-1,-1,-1,-1,-1,0,0,0,0,0,0,0,1,1,2,3,4}
([(0,5),(1,6),(2,6),(3,6),(4,6),(5,1),(5,2),(5,3),(5,4)],7)
 => ([(0,1),(0,2),(0,3),(0,4)],5)
 => ([(0,1)],2)
 => ? ∊ {-1,-1,-1,-1,-1,-1,-1,-1,0,0,0,0,0,0,0,1,1,2,3,4}
([(0,5),(1,6),(2,6),(3,6),(4,3),(5,1),(5,2),(5,4)],7)
 => ([(0,2),(0,3),(0,4),(4,1)],5)
 => ([(0,2),(2,1)],3)
 => 0
([(0,4),(1,6),(2,5),(3,5),(4,1),(4,2),(4,3),(5,6)],7)
 => ([(0,1),(0,2),(0,3)],4)
 => ([(0,1)],2)
 => ? ∊ {-1,-1,-1,-1,-1,-1,-1,-1,0,0,0,0,0,0,0,1,1,2,3,4}
([(0,5),(1,6),(2,6),(3,6),(5,1),(5,2),(5,3),(6,4)],7)
 => ([(0,1),(0,2),(0,3),(1,4),(2,4),(3,4)],5)
 => ([(0,2),(2,1)],3)
 => 0
([(0,3),(0,5),(1,6),(2,6),(3,6),(4,2),(5,1),(5,4)],7)
 => ([(1,3),(1,4),(4,2)],5)
 => ([(0,2),(2,1)],3)
 => 0
([(0,5),(1,6),(2,6),(3,6),(4,2),(4,3),(5,1),(5,4)],7)
 => ([(0,3),(0,4),(4,1),(4,2)],5)
 => ([(0,2),(2,1)],3)
 => 0
([(0,3),(0,4),(1,5),(2,5),(3,6),(4,1),(4,2),(5,6)],7)
 => ([(1,2),(1,3)],4)
 => ([(0,1)],2)
 => ? ∊ {-1,-1,-1,-1,-1,-1,-1,-1,0,0,0,0,0,0,0,1,1,2,3,4}
([(0,5),(2,6),(3,6),(4,1),(5,2),(5,3),(6,4)],7)
 => ([(0,2),(0,3),(2,4),(3,4),(4,1)],5)
 => ([(0,3),(2,1),(3,2)],4)
 => 0
([(0,5),(1,6),(2,6),(3,2),(4,1),(5,3),(5,4)],7)
 => ([(0,3),(0,4),(3,2),(4,1)],5)
 => ([(0,3),(1,4),(2,4),(3,1),(3,2)],5)
 => 1
([(0,4),(1,6),(2,5),(3,1),(3,5),(4,2),(4,3),(5,6)],7)
 => ([(0,2),(0,3),(3,1)],4)
 => ([(0,2),(2,1)],3)
 => 0
([(0,2),(0,3),(0,5),(1,6),(2,6),(3,6),(4,1),(5,4)],7)
 => ([(2,3),(3,4)],5)
 => ([(0,2),(2,1)],3)
 => 0
([(0,3),(0,4),(1,6),(2,6),(3,6),(4,5),(5,1),(5,2)],7)
 => ([(1,4),(4,2),(4,3)],5)
 => ([(0,2),(2,1)],3)
 => 0
([(0,4),(1,6),(2,6),(3,6),(4,5),(5,1),(5,2),(5,3)],7)
 => ([(0,4),(4,1),(4,2),(4,3)],5)
 => ([(0,2),(2,1)],3)
 => 0
([(0,1),(0,2),(0,3),(0,4),(1,6),(2,6),(3,5),(4,5),(5,6)],7)
 => ([],4)
 => ([],1)
 => ? ∊ {-1,-1,-1,-1,-1,-1,-1,-1,0,0,0,0,0,0,0,1,1,2,3,4}
([(0,2),(0,3),(0,4),(1,5),(2,6),(3,6),(4,5),(6,1)],7)
 => ([(1,3),(2,3)],4)
 => ([(0,1)],2)
 => ? ∊ {-1,-1,-1,-1,-1,-1,-1,-1,0,0,0,0,0,0,0,1,1,2,3,4}
([(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)
 => ([(0,1)],2)
 => ? ∊ {-1,-1,-1,-1,-1,-1,-1,-1,0,0,0,0,0,0,0,1,1,2,3,4}
([(0,1),(0,2),(0,3),(0,4),(1,6),(2,6),(3,6),(4,5),(6,5)],7)
 => ([],4)
 => ([],1)
 => ? ∊ {-1,-1,-1,-1,-1,-1,-1,-1,0,0,0,0,0,0,0,1,1,2,3,4}
([(0,2),(0,3),(0,4),(2,6),(3,6),(4,6),(5,1),(6,5)],7)
 => ([(0,4),(1,4),(2,4),(4,3)],5)
 => ([(0,2),(2,1)],3)
 => 0
([(0,2),(0,3),(0,4),(0,5),(2,6),(3,6),(4,6),(5,6),(6,1)],7)
 => ([(0,4),(1,4),(2,4),(3,4)],5)
 => ([(0,1)],2)
 => ? ∊ {-1,-1,-1,-1,-1,-1,-1,-1,0,0,0,0,0,0,0,1,1,2,3,4}
([(0,2),(0,3),(0,4),(1,6),(2,5),(3,5),(4,1),(5,6)],7)
 => ([(2,3)],4)
 => ([(0,1)],2)
 => ? ∊ {-1,-1,-1,-1,-1,-1,-1,-1,0,0,0,0,0,0,0,1,1,2,3,4}
([(0,1),(0,2),(0,3),(1,5),(2,4),(3,4),(3,5),(4,6),(5,6)],7)
 => ([],3)
 => ([],1)
 => ? ∊ {-1,-1,-1,-1,-1,-1,-1,-1,0,0,0,0,0,0,0,1,1,2,3,4}
([(0,2),(0,3),(2,6),(3,6),(4,1),(5,4),(6,5)],7)
 => ([(0,4),(1,4),(2,3),(4,2)],5)
 => ([(0,3),(2,1),(3,2)],4)
 => 0
([(0,2),(0,3),(0,4),(2,6),(3,5),(4,5),(5,6),(6,1)],7)
 => ([(0,3),(1,3),(2,3)],4)
 => ([(0,1)],2)
 => ? ∊ {-1,-1,-1,-1,-1,-1,-1,-1,0,0,0,0,0,0,0,1,1,2,3,4}
([(0,2),(0,3),(0,4),(1,5),(2,6),(3,6),(4,1),(4,6),(6,5)],7)
 => ([(2,3)],4)
 => ([(0,1)],2)
 => ? ∊ {-1,-1,-1,-1,-1,-1,-1,-1,0,0,0,0,0,0,0,1,1,2,3,4}
([(0,3),(0,4),(0,5),(1,6),(3,6),(4,6),(5,1),(6,2)],7)
 => ([(0,4),(1,4),(2,3),(3,4)],5)
 => ([(0,2),(2,1)],3)
 => 0
([(0,3),(0,4),(0,5),(1,6),(2,6),(3,6),(4,2),(5,1)],7)
 => ([(1,4),(2,3)],5)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 1
([(0,2),(0,3),(0,4),(1,6),(2,6),(3,5),(4,1),(4,5),(5,6)],7)
 => ([(2,3)],4)
 => ([(0,1)],2)
 => ? ∊ {-1,-1,-1,-1,-1,-1,-1,-1,0,0,0,0,0,0,0,1,1,2,3,4}
([(0,2),(0,4),(1,6),(2,5),(3,1),(4,3),(4,5),(5,6)],7)
 => ([(1,2),(2,3)],4)
 => ([(0,2),(2,1)],3)
 => 0
([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7)
 => ([(0,3),(1,2),(2,3)],4)
 => ([(0,2),(2,1)],3)
 => 0
([(0,3),(0,4),(1,5),(2,5),(3,6),(4,2),(4,6),(6,1)],7)
 => ([(0,3),(1,2),(1,3)],4)
 => ([(0,2),(2,1)],3)
 => 0
([(0,4),(0,5),(1,6),(2,6),(3,6),(4,3),(5,1),(5,2)],7)
 => ([(0,4),(1,2),(1,3)],5)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 1
([(0,3),(0,4),(1,6),(2,6),(3,5),(4,1),(4,2),(4,5),(5,6)],7)
 => ([(1,2),(1,3)],4)
 => ([(0,1)],2)
 => ? ∊ {-1,-1,-1,-1,-1,-1,-1,-1,0,0,0,0,0,0,0,1,1,2,3,4}
([(0,5),(1,6),(2,6),(3,4),(4,2),(5,1),(5,3)],7)
 => ([(0,2),(0,4),(3,1),(4,3)],5)
 => ([(0,3),(2,1),(3,2)],4)
 => 0
([(0,3),(0,4),(1,6),(2,5),(3,5),(4,1),(4,2),(5,6)],7)
 => ([(1,2),(1,3)],4)
 => ([(0,1)],2)
 => ? ∊ {-1,-1,-1,-1,-1,-1,-1,-1,0,0,0,0,0,0,0,1,1,2,3,4}
([(0,5),(1,6),(2,6),(4,2),(5,1),(5,4),(6,3)],7)
 => ([(0,2),(0,3),(1,4),(2,4),(3,1)],5)
 => ([(0,3),(2,1),(3,2)],4)
 => 0
([(0,4),(0,5),(1,6),(2,6),(4,6),(5,1),(5,2),(6,3)],7)
 => ([(0,4),(1,2),(1,3),(2,4),(3,4)],5)
 => ([(0,2),(2,1)],3)
 => 0
([(0,3),(0,4),(1,6),(2,6),(3,2),(3,5),(4,1),(4,5),(5,6)],7)
 => ([(0,3),(1,2)],4)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 1
([(0,3),(0,4),(1,6),(2,5),(3,2),(4,1),(4,5),(5,6)],7)
 => ([(0,3),(1,2)],4)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 1
([(0,2),(0,5),(1,6),(2,6),(3,4),(4,1),(5,3)],7)
 => ([(1,4),(3,2),(4,3)],5)
 => ([(0,3),(2,1),(3,2)],4)
 => 0
([(0,4),(1,6),(2,6),(3,5),(4,3),(5,1),(5,2)],7)
 => ([(0,3),(3,4),(4,1),(4,2)],5)
 => ([(0,3),(2,1),(3,2)],4)
 => 0
([(0,2),(0,3),(0,4),(1,5),(2,6),(3,5),(4,1),(5,6)],7)
 => ([(2,3)],4)
 => ([(0,1)],2)
 => ? ∊ {-1,-1,-1,-1,-1,-1,-1,-1,0,0,0,0,0,0,0,1,1,2,3,4}
([(0,3),(0,5),(2,6),(3,6),(4,1),(5,2),(6,4)],7)
 => ([(0,4),(1,2),(2,4),(4,3)],5)
 => ([(0,3),(2,1),(3,2)],4)
 => 0
([(0,4),(0,5),(1,6),(2,6),(3,2),(4,3),(5,1)],7)
 => ([(0,3),(1,4),(4,2)],5)
 => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
 => 2
([(0,4),(1,6),(2,6),(3,2),(4,5),(5,1),(5,3)],7)
 => ([(0,4),(3,2),(4,1),(4,3)],5)
 => ([(0,3),(2,1),(3,2)],4)
 => 0
([(0,2),(0,4),(1,6),(2,5),(3,1),(3,5),(4,3),(5,6)],7)
 => ([(1,2),(2,3)],4)
 => ([(0,2),(2,1)],3)
 => 0
([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
 => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
 => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
 => 0
([(0,4),(0,5),(1,6),(2,6),(4,2),(5,1),(6,3)],7)
 => ([(0,3),(1,2),(2,4),(3,4)],5)
 => ([(0,2),(0,3),(2,4),(3,4),(4,1)],5)
 => 1
([(0,3),(0,5),(1,6),(3,6),(4,1),(5,4),(6,2)],7)
 => ([(0,4),(1,2),(2,3),(3,4)],5)
 => ([(0,3),(2,1),(3,2)],4)
 => 0
([(0,4),(1,6),(2,6),(4,5),(5,1),(5,2),(6,3)],7)
 => ([(0,3),(1,4),(2,4),(3,1),(3,2)],5)
 => ([(0,3),(2,1),(3,2)],4)
 => 0

Description

The number of 2-regular simple modules in the incidence algebra of the lattice.

Matching statistic: St001877
(load all 8 compositions to match this statistic)

Mapping

Mp00263: Lattices —join irreducibles⟶ Posets
Mp00205: Posets —maximal antichains⟶ Lattices
St001877: Lattices ⟶ ℤResult quality: 50% ●values known / values provided: 55%●distinct values known / distinct values provided: 50%

Values

([],1)
 => ([],0)
 => ?
 => ? = 1
([(0,1)],2)
 => ([],1)
 => ([],1)
 => ? = -1
([(0,2),(2,1)],3)
 => ([(0,1)],2)
 => ([(0,1)],2)
 => ? = 0
([(0,1),(0,2),(1,3),(2,3)],4)
 => ([],2)
 => ([],1)
 => ? = 1
([(0,3),(2,1),(3,2)],4)
 => ([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => 0
([(0,1),(0,2),(0,3),(1,4),(2,4),(3,4)],5)
 => ([],3)
 => ([],1)
 => ? ∊ {0,0,1,2}
([(0,2),(0,3),(1,4),(2,4),(3,1)],5)
 => ([(1,2)],3)
 => ([(0,1)],2)
 => ? ∊ {0,0,1,2}
([(0,3),(1,4),(2,4),(3,1),(3,2)],5)
 => ([(0,1),(0,2)],3)
 => ([(0,1)],2)
 => ? ∊ {0,0,1,2}
([(0,4),(2,3),(3,1),(4,2)],5)
 => ([(0,3),(2,1),(3,2)],4)
 => ([(0,3),(2,1),(3,2)],4)
 => 0
([(0,2),(0,3),(2,4),(3,4),(4,1)],5)
 => ([(0,2),(1,2)],3)
 => ([(0,1)],2)
 => ? ∊ {0,0,1,2}
([(0,1),(0,2),(0,3),(0,4),(1,5),(2,5),(3,5),(4,5)],6)
 => ([],4)
 => ([],1)
 => ? ∊ {-1,-1,0,0,1,2,3}
([(0,2),(0,3),(0,4),(1,5),(2,5),(3,5),(4,1)],6)
 => ([(2,3)],4)
 => ([(0,1)],2)
 => ? ∊ {-1,-1,0,0,1,2,3}
([(0,3),(0,4),(1,5),(2,5),(3,5),(4,1),(4,2)],6)
 => ([(1,2),(1,3)],4)
 => ([(0,1)],2)
 => ? ∊ {-1,-1,0,0,1,2,3}
([(0,4),(1,5),(2,5),(3,5),(4,1),(4,2),(4,3)],6)
 => ([(0,1),(0,2),(0,3)],4)
 => ([(0,1)],2)
 => ? ∊ {-1,-1,0,0,1,2,3}
([(0,4),(1,5),(2,5),(3,2),(4,1),(4,3)],6)
 => ([(0,2),(0,3),(3,1)],4)
 => ([(0,2),(2,1)],3)
 => 0
([(0,4),(1,5),(2,5),(4,1),(4,2),(5,3)],6)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => ([(0,2),(2,1)],3)
 => 0
([(0,2),(0,4),(1,5),(2,5),(3,1),(4,3)],6)
 => ([(1,2),(2,3)],4)
 => ([(0,2),(2,1)],3)
 => 0
([(0,3),(1,5),(2,5),(3,4),(4,1),(4,2)],6)
 => ([(0,3),(3,1),(3,2)],4)
 => ([(0,2),(2,1)],3)
 => 0
([(0,1),(0,2),(0,3),(1,5),(2,4),(3,4),(4,5)],6)
 => ([],3)
 => ([],1)
 => ? ∊ {-1,-1,0,0,1,2,3}
([(0,2),(0,3),(2,5),(3,5),(4,1),(5,4)],6)
 => ([(0,3),(1,3),(3,2)],4)
 => ([(0,2),(2,1)],3)
 => 0
([(0,2),(0,3),(0,4),(2,5),(3,5),(4,5),(5,1)],6)
 => ([(0,3),(1,3),(2,3)],4)
 => ([(0,1)],2)
 => ? ∊ {-1,-1,0,0,1,2,3}
([(0,3),(0,4),(1,5),(2,5),(3,2),(4,1)],6)
 => ([(0,3),(1,2)],4)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 1
([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
 => ([(1,2)],3)
 => ([(0,1)],2)
 => ? ∊ {-1,-1,0,0,1,2,3}
([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => 0
([(0,3),(0,4),(1,5),(3,5),(4,1),(5,2)],6)
 => ([(0,3),(1,2),(2,3)],4)
 => ([(0,2),(2,1)],3)
 => 0
([(0,1),(0,2),(0,3),(0,4),(0,5),(1,6),(2,6),(3,6),(4,6),(5,6)],7)
 => ([],5)
 => ([],1)
 => ? ∊ {-1,-1,-1,-1,-1,-1,-1,-1,0,0,0,0,0,0,0,1,1,2,3,4}
([(0,2),(0,3),(0,4),(0,5),(1,6),(2,6),(3,6),(4,6),(5,1)],7)
 => ([(3,4)],5)
 => ([(0,1)],2)
 => ? ∊ {-1,-1,-1,-1,-1,-1,-1,-1,0,0,0,0,0,0,0,1,1,2,3,4}
([(0,3),(0,4),(0,5),(1,6),(2,6),(3,6),(4,6),(5,1),(5,2)],7)
 => ([(2,3),(2,4)],5)
 => ([(0,1)],2)
 => ? ∊ {-1,-1,-1,-1,-1,-1,-1,-1,0,0,0,0,0,0,0,1,1,2,3,4}
([(0,4),(0,5),(1,6),(2,6),(3,6),(4,6),(5,1),(5,2),(5,3)],7)
 => ([(1,2),(1,3),(1,4)],5)
 => ([(0,1)],2)
 => ? ∊ {-1,-1,-1,-1,-1,-1,-1,-1,0,0,0,0,0,0,0,1,1,2,3,4}
([(0,5),(1,6),(2,6),(3,6),(4,6),(5,1),(5,2),(5,3),(5,4)],7)
 => ([(0,1),(0,2),(0,3),(0,4)],5)
 => ([(0,1)],2)
 => ? ∊ {-1,-1,-1,-1,-1,-1,-1,-1,0,0,0,0,0,0,0,1,1,2,3,4}
([(0,5),(1,6),(2,6),(3,6),(4,3),(5,1),(5,2),(5,4)],7)
 => ([(0,2),(0,3),(0,4),(4,1)],5)
 => ([(0,2),(2,1)],3)
 => 0
([(0,4),(1,6),(2,5),(3,5),(4,1),(4,2),(4,3),(5,6)],7)
 => ([(0,1),(0,2),(0,3)],4)
 => ([(0,1)],2)
 => ? ∊ {-1,-1,-1,-1,-1,-1,-1,-1,0,0,0,0,0,0,0,1,1,2,3,4}
([(0,5),(1,6),(2,6),(3,6),(5,1),(5,2),(5,3),(6,4)],7)
 => ([(0,1),(0,2),(0,3),(1,4),(2,4),(3,4)],5)
 => ([(0,2),(2,1)],3)
 => 0
([(0,3),(0,5),(1,6),(2,6),(3,6),(4,2),(5,1),(5,4)],7)
 => ([(1,3),(1,4),(4,2)],5)
 => ([(0,2),(2,1)],3)
 => 0
([(0,5),(1,6),(2,6),(3,6),(4,2),(4,3),(5,1),(5,4)],7)
 => ([(0,3),(0,4),(4,1),(4,2)],5)
 => ([(0,2),(2,1)],3)
 => 0
([(0,3),(0,4),(1,5),(2,5),(3,6),(4,1),(4,2),(5,6)],7)
 => ([(1,2),(1,3)],4)
 => ([(0,1)],2)
 => ? ∊ {-1,-1,-1,-1,-1,-1,-1,-1,0,0,0,0,0,0,0,1,1,2,3,4}
([(0,5),(2,6),(3,6),(4,1),(5,2),(5,3),(6,4)],7)
 => ([(0,2),(0,3),(2,4),(3,4),(4,1)],5)
 => ([(0,3),(2,1),(3,2)],4)
 => 0
([(0,5),(1,6),(2,6),(3,2),(4,1),(5,3),(5,4)],7)
 => ([(0,3),(0,4),(3,2),(4,1)],5)
 => ([(0,3),(1,4),(2,4),(3,1),(3,2)],5)
 => 1
([(0,4),(1,6),(2,5),(3,1),(3,5),(4,2),(4,3),(5,6)],7)
 => ([(0,2),(0,3),(3,1)],4)
 => ([(0,2),(2,1)],3)
 => 0
([(0,2),(0,3),(0,5),(1,6),(2,6),(3,6),(4,1),(5,4)],7)
 => ([(2,3),(3,4)],5)
 => ([(0,2),(2,1)],3)
 => 0
([(0,3),(0,4),(1,6),(2,6),(3,6),(4,5),(5,1),(5,2)],7)
 => ([(1,4),(4,2),(4,3)],5)
 => ([(0,2),(2,1)],3)
 => 0
([(0,4),(1,6),(2,6),(3,6),(4,5),(5,1),(5,2),(5,3)],7)
 => ([(0,4),(4,1),(4,2),(4,3)],5)
 => ([(0,2),(2,1)],3)
 => 0
([(0,1),(0,2),(0,3),(0,4),(1,6),(2,6),(3,5),(4,5),(5,6)],7)
 => ([],4)
 => ([],1)
 => ? ∊ {-1,-1,-1,-1,-1,-1,-1,-1,0,0,0,0,0,0,0,1,1,2,3,4}
([(0,2),(0,3),(0,4),(1,5),(2,6),(3,6),(4,5),(6,1)],7)
 => ([(1,3),(2,3)],4)
 => ([(0,1)],2)
 => ? ∊ {-1,-1,-1,-1,-1,-1,-1,-1,0,0,0,0,0,0,0,1,1,2,3,4}
([(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)
 => ([(0,1)],2)
 => ? ∊ {-1,-1,-1,-1,-1,-1,-1,-1,0,0,0,0,0,0,0,1,1,2,3,4}
([(0,1),(0,2),(0,3),(0,4),(1,6),(2,6),(3,6),(4,5),(6,5)],7)
 => ([],4)
 => ([],1)
 => ? ∊ {-1,-1,-1,-1,-1,-1,-1,-1,0,0,0,0,0,0,0,1,1,2,3,4}
([(0,2),(0,3),(0,4),(2,6),(3,6),(4,6),(5,1),(6,5)],7)
 => ([(0,4),(1,4),(2,4),(4,3)],5)
 => ([(0,2),(2,1)],3)
 => 0
([(0,2),(0,3),(0,4),(0,5),(2,6),(3,6),(4,6),(5,6),(6,1)],7)
 => ([(0,4),(1,4),(2,4),(3,4)],5)
 => ([(0,1)],2)
 => ? ∊ {-1,-1,-1,-1,-1,-1,-1,-1,0,0,0,0,0,0,0,1,1,2,3,4}
([(0,2),(0,3),(0,4),(1,6),(2,5),(3,5),(4,1),(5,6)],7)
 => ([(2,3)],4)
 => ([(0,1)],2)
 => ? ∊ {-1,-1,-1,-1,-1,-1,-1,-1,0,0,0,0,0,0,0,1,1,2,3,4}
([(0,1),(0,2),(0,3),(1,5),(2,4),(3,4),(3,5),(4,6),(5,6)],7)
 => ([],3)
 => ([],1)
 => ? ∊ {-1,-1,-1,-1,-1,-1,-1,-1,0,0,0,0,0,0,0,1,1,2,3,4}
([(0,2),(0,3),(2,6),(3,6),(4,1),(5,4),(6,5)],7)
 => ([(0,4),(1,4),(2,3),(4,2)],5)
 => ([(0,3),(2,1),(3,2)],4)
 => 0
([(0,2),(0,3),(0,4),(2,6),(3,5),(4,5),(5,6),(6,1)],7)
 => ([(0,3),(1,3),(2,3)],4)
 => ([(0,1)],2)
 => ? ∊ {-1,-1,-1,-1,-1,-1,-1,-1,0,0,0,0,0,0,0,1,1,2,3,4}
([(0,2),(0,3),(0,4),(1,5),(2,6),(3,6),(4,1),(4,6),(6,5)],7)
 => ([(2,3)],4)
 => ([(0,1)],2)
 => ? ∊ {-1,-1,-1,-1,-1,-1,-1,-1,0,0,0,0,0,0,0,1,1,2,3,4}
([(0,3),(0,4),(0,5),(1,6),(3,6),(4,6),(5,1),(6,2)],7)
 => ([(0,4),(1,4),(2,3),(3,4)],5)
 => ([(0,2),(2,1)],3)
 => 0
([(0,3),(0,4),(0,5),(1,6),(2,6),(3,6),(4,2),(5,1)],7)
 => ([(1,4),(2,3)],5)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 1
([(0,2),(0,3),(0,4),(1,6),(2,6),(3,5),(4,1),(4,5),(5,6)],7)
 => ([(2,3)],4)
 => ([(0,1)],2)
 => ? ∊ {-1,-1,-1,-1,-1,-1,-1,-1,0,0,0,0,0,0,0,1,1,2,3,4}
([(0,2),(0,4),(1,6),(2,5),(3,1),(4,3),(4,5),(5,6)],7)
 => ([(1,2),(2,3)],4)
 => ([(0,2),(2,1)],3)
 => 0
([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7)
 => ([(0,3),(1,2),(2,3)],4)
 => ([(0,2),(2,1)],3)
 => 0
([(0,3),(0,4),(1,5),(2,5),(3,6),(4,2),(4,6),(6,1)],7)
 => ([(0,3),(1,2),(1,3)],4)
 => ([(0,2),(2,1)],3)
 => 0
([(0,4),(0,5),(1,6),(2,6),(3,6),(4,3),(5,1),(5,2)],7)
 => ([(0,4),(1,2),(1,3)],5)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 1
([(0,3),(0,4),(1,6),(2,6),(3,5),(4,1),(4,2),(4,5),(5,6)],7)
 => ([(1,2),(1,3)],4)
 => ([(0,1)],2)
 => ? ∊ {-1,-1,-1,-1,-1,-1,-1,-1,0,0,0,0,0,0,0,1,1,2,3,4}
([(0,5),(1,6),(2,6),(3,4),(4,2),(5,1),(5,3)],7)
 => ([(0,2),(0,4),(3,1),(4,3)],5)
 => ([(0,3),(2,1),(3,2)],4)
 => 0
([(0,3),(0,4),(1,6),(2,5),(3,5),(4,1),(4,2),(5,6)],7)
 => ([(1,2),(1,3)],4)
 => ([(0,1)],2)
 => ? ∊ {-1,-1,-1,-1,-1,-1,-1,-1,0,0,0,0,0,0,0,1,1,2,3,4}
([(0,5),(1,6),(2,6),(4,2),(5,1),(5,4),(6,3)],7)
 => ([(0,2),(0,3),(1,4),(2,4),(3,1)],5)
 => ([(0,3),(2,1),(3,2)],4)
 => 0
([(0,4),(0,5),(1,6),(2,6),(4,6),(5,1),(5,2),(6,3)],7)
 => ([(0,4),(1,2),(1,3),(2,4),(3,4)],5)
 => ([(0,2),(2,1)],3)
 => 0
([(0,3),(0,4),(1,6),(2,6),(3,2),(3,5),(4,1),(4,5),(5,6)],7)
 => ([(0,3),(1,2)],4)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 1
([(0,3),(0,4),(1,6),(2,5),(3,2),(4,1),(4,5),(5,6)],7)
 => ([(0,3),(1,2)],4)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 1
([(0,2),(0,5),(1,6),(2,6),(3,4),(4,1),(5,3)],7)
 => ([(1,4),(3,2),(4,3)],5)
 => ([(0,3),(2,1),(3,2)],4)
 => 0
([(0,4),(1,6),(2,6),(3,5),(4,3),(5,1),(5,2)],7)
 => ([(0,3),(3,4),(4,1),(4,2)],5)
 => ([(0,3),(2,1),(3,2)],4)
 => 0
([(0,2),(0,3),(0,4),(1,5),(2,6),(3,5),(4,1),(5,6)],7)
 => ([(2,3)],4)
 => ([(0,1)],2)
 => ? ∊ {-1,-1,-1,-1,-1,-1,-1,-1,0,0,0,0,0,0,0,1,1,2,3,4}
([(0,3),(0,5),(2,6),(3,6),(4,1),(5,2),(6,4)],7)
 => ([(0,4),(1,2),(2,4),(4,3)],5)
 => ([(0,3),(2,1),(3,2)],4)
 => 0
([(0,4),(0,5),(1,6),(2,6),(3,2),(4,3),(5,1)],7)
 => ([(0,3),(1,4),(4,2)],5)
 => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
 => 2
([(0,4),(1,6),(2,6),(3,2),(4,5),(5,1),(5,3)],7)
 => ([(0,4),(3,2),(4,1),(4,3)],5)
 => ([(0,3),(2,1),(3,2)],4)
 => 0
([(0,2),(0,4),(1,6),(2,5),(3,1),(3,5),(4,3),(5,6)],7)
 => ([(1,2),(2,3)],4)
 => ([(0,2),(2,1)],3)
 => 0
([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
 => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
 => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
 => 0
([(0,4),(0,5),(1,6),(2,6),(4,2),(5,1),(6,3)],7)
 => ([(0,3),(1,2),(2,4),(3,4)],5)
 => ([(0,2),(0,3),(2,4),(3,4),(4,1)],5)
 => 1
([(0,3),(0,5),(1,6),(3,6),(4,1),(5,4),(6,2)],7)
 => ([(0,4),(1,2),(2,3),(3,4)],5)
 => ([(0,3),(2,1),(3,2)],4)
 => 0
([(0,4),(1,6),(2,6),(4,5),(5,1),(5,2),(6,3)],7)
 => ([(0,3),(1,4),(2,4),(3,1),(3,2)],5)
 => ([(0,3),(2,1),(3,2)],4)
 => 0

Description

Number of indecomposable injective modules with projective dimension 2.

Matching statistic: St000455
(load all 2 compositions to match this statistic)

Mapping

Mp00196: Lattices —The modular quotient of a lattice.⟶ Lattices
Mp00193: Lattices —to poset⟶ Posets
Mp00074: Posets —to graph⟶ Graphs
St000455: Graphs ⟶ ℤResult quality: 50% ●values known / values provided: 54%●distinct values known / distinct values provided: 50%

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,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => ([(0,2),(1,2)],3)
 => 0
([(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
([(0,3),(2,1),(3,2)],4)
 => ([(0,3),(2,1),(3,2)],4)
 => ([(0,3),(2,1),(3,2)],4)
 => ([(0,3),(1,2),(2,3)],4)
 => ? = 1
([(0,1),(0,2),(0,3),(1,4),(2,4),(3,4)],5)
 => ([(0,1),(0,2),(0,3),(1,4),(2,4),(3,4)],5)
 => ([(0,1),(0,2),(0,3),(1,4),(2,4),(3,4)],5)
 => ([(0,3),(0,4),(1,3),(1,4),(2,3),(2,4)],5)
 => 0
([(0,2),(0,3),(1,4),(2,4),(3,1)],5)
 => ([(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
([(0,3),(1,4),(2,4),(3,1),(3,2)],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)
 => ? ∊ {0,2}
([(0,4),(2,3),(3,1),(4,2)],5)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => ([(0,4),(1,3),(2,3),(2,4)],5)
 => 1
([(0,2),(0,3),(2,4),(3,4),(4,1)],5)
 => ([(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)
 => ? ∊ {0,2}
([(0,1),(0,2),(0,3),(0,4),(1,5),(2,5),(3,5),(4,5)],6)
 => ([(0,1),(0,2),(0,3),(0,4),(1,5),(2,5),(3,5),(4,5)],6)
 => ([(0,1),(0,2),(0,3),(0,4),(1,5),(2,5),(3,5),(4,5)],6)
 => ([(0,4),(0,5),(1,4),(1,5),(2,4),(2,5),(3,4),(3,5)],6)
 => 0
([(0,2),(0,3),(0,4),(1,5),(2,5),(3,5),(4,1)],6)
 => ([(0,1),(0,2),(0,3),(1,4),(2,4),(3,4)],5)
 => ([(0,1),(0,2),(0,3),(1,4),(2,4),(3,4)],5)
 => ([(0,3),(0,4),(1,3),(1,4),(2,3),(2,4)],5)
 => 0
([(0,3),(0,4),(1,5),(2,5),(3,5),(4,1),(4,2)],6)
 => ([(0,1)],2)
 => ([(0,1)],2)
 => ([(0,1)],2)
 => -1
([(0,4),(1,5),(2,5),(3,5),(4,1),(4,2),(4,3)],6)
 => ([(0,4),(1,5),(2,5),(3,5),(4,1),(4,2),(4,3)],6)
 => ([(0,4),(1,5),(2,5),(3,5),(4,1),(4,2),(4,3)],6)
 => ([(0,5),(1,4),(1,5),(2,4),(2,5),(3,4),(3,5)],6)
 => ? ∊ {0,0,0,0,0,2,3}
([(0,4),(1,5),(2,5),(3,2),(4,1),(4,3)],6)
 => ([(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)
 => ? ∊ {0,0,0,0,0,2,3}
([(0,4),(1,5),(2,5),(4,1),(4,2),(5,3)],6)
 => ([(0,4),(1,5),(2,5),(4,1),(4,2),(5,3)],6)
 => ([(0,4),(1,5),(2,5),(4,1),(4,2),(5,3)],6)
 => ([(0,5),(1,4),(2,4),(2,5),(3,4),(3,5)],6)
 => 1
([(0,2),(0,4),(1,5),(2,5),(3,1),(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
([(0,3),(1,5),(2,5),(3,4),(4,1),(4,2)],6)
 => ([(0,3),(1,5),(2,5),(3,4),(4,1),(4,2)],6)
 => ([(0,3),(1,5),(2,5),(3,4),(4,1),(4,2)],6)
 => ([(0,4),(1,2),(1,3),(2,5),(3,5),(4,5)],6)
 => ? ∊ {0,0,0,0,0,2,3}
([(0,1),(0,2),(0,3),(1,5),(2,4),(3,4),(4,5)],6)
 => ([(0,1)],2)
 => ([(0,1)],2)
 => ([(0,1)],2)
 => -1
([(0,2),(0,3),(2,5),(3,5),(4,1),(5,4)],6)
 => ([(0,2),(0,3),(2,5),(3,5),(4,1),(5,4)],6)
 => ([(0,2),(0,3),(2,5),(3,5),(4,1),(5,4)],6)
 => ([(0,4),(1,2),(1,3),(2,5),(3,5),(4,5)],6)
 => ? ∊ {0,0,0,0,0,2,3}
([(0,2),(0,3),(0,4),(2,5),(3,5),(4,5),(5,1)],6)
 => ([(0,2),(0,3),(0,4),(2,5),(3,5),(4,5),(5,1)],6)
 => ([(0,2),(0,3),(0,4),(2,5),(3,5),(4,5),(5,1)],6)
 => ([(0,5),(1,4),(1,5),(2,4),(2,5),(3,4),(3,5)],6)
 => ? ∊ {0,0,0,0,0,2,3}
([(0,3),(0,4),(1,5),(2,5),(3,2),(4,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
([(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,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,5),(2,4),(3,2),(4,1),(5,3)],6)
 => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
 => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
 => ([(0,5),(1,4),(2,3),(2,4),(3,5)],6)
 => ? ∊ {0,0,0,0,0,2,3}
([(0,3),(0,4),(1,5),(3,5),(4,1),(5,2)],6)
 => ([(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)
 => ? ∊ {0,0,0,0,0,2,3}
([(0,1),(0,2),(0,3),(0,4),(0,5),(1,6),(2,6),(3,6),(4,6),(5,6)],7)
 => ([(0,1),(0,2),(0,3),(0,4),(0,5),(1,6),(2,6),(3,6),(4,6),(5,6)],7)
 => ([(0,1),(0,2),(0,3),(0,4),(0,5),(1,6),(2,6),(3,6),(4,6),(5,6)],7)
 => ([(0,5),(0,6),(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)
 => 0
([(0,2),(0,3),(0,4),(0,5),(1,6),(2,6),(3,6),(4,6),(5,1)],7)
 => ([(0,1),(0,2),(0,3),(0,4),(1,5),(2,5),(3,5),(4,5)],6)
 => ([(0,1),(0,2),(0,3),(0,4),(1,5),(2,5),(3,5),(4,5)],6)
 => ([(0,4),(0,5),(1,4),(1,5),(2,4),(2,5),(3,4),(3,5)],6)
 => 0
([(0,3),(0,4),(0,5),(1,6),(2,6),(3,6),(4,6),(5,1),(5,2)],7)
 => ([],1)
 => ([],1)
 => ([],1)
 => ? ∊ {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1,2,2,3,4}
([(0,4),(0,5),(1,6),(2,6),(3,6),(4,6),(5,1),(5,2),(5,3)],7)
 => ([(0,1)],2)
 => ([(0,1)],2)
 => ([(0,1)],2)
 => -1
([(0,5),(1,6),(2,6),(3,6),(4,6),(5,1),(5,2),(5,3),(5,4)],7)
 => ([(0,5),(1,6),(2,6),(3,6),(4,6),(5,1),(5,2),(5,3),(5,4)],7)
 => ([(0,5),(1,6),(2,6),(3,6),(4,6),(5,1),(5,2),(5,3),(5,4)],7)
 => ([(0,6),(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)
 => ? ∊ {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1,2,2,3,4}
([(0,5),(1,6),(2,6),(3,6),(4,3),(5,1),(5,2),(5,4)],7)
 => ([(0,4),(1,5),(2,5),(3,5),(4,1),(4,2),(4,3)],6)
 => ([(0,4),(1,5),(2,5),(3,5),(4,1),(4,2),(4,3)],6)
 => ([(0,5),(1,4),(1,5),(2,4),(2,5),(3,4),(3,5)],6)
 => ? ∊ {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1,2,2,3,4}
([(0,4),(1,6),(2,5),(3,5),(4,1),(4,2),(4,3),(5,6)],7)
 => ([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => ([(0,2),(1,2)],3)
 => 0
([(0,5),(1,6),(2,6),(3,6),(5,1),(5,2),(5,3),(6,4)],7)
 => ([(0,5),(1,6),(2,6),(3,6),(5,1),(5,2),(5,3),(6,4)],7)
 => ([(0,5),(1,6),(2,6),(3,6),(5,1),(5,2),(5,3),(6,4)],7)
 => ([(0,6),(1,5),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)
 => 1
([(0,3),(0,5),(1,6),(2,6),(3,6),(4,2),(5,1),(5,4)],7)
 => ([(0,1)],2)
 => ([(0,1)],2)
 => ([(0,1)],2)
 => -1
([(0,5),(1,6),(2,6),(3,6),(4,2),(4,3),(5,1),(5,4)],7)
 => ([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => ([(0,2),(1,2)],3)
 => 0
([(0,3),(0,4),(1,5),(2,5),(3,6),(4,1),(4,2),(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
([(0,5),(2,6),(3,6),(4,1),(5,2),(5,3),(6,4)],7)
 => ([(0,5),(2,6),(3,6),(4,1),(5,2),(5,3),(6,4)],7)
 => ([(0,5),(2,6),(3,6),(4,1),(5,2),(5,3),(6,4)],7)
 => ([(0,6),(1,4),(2,5),(2,6),(3,5),(3,6),(4,5)],7)
 => ? ∊ {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1,2,2,3,4}
([(0,5),(1,6),(2,6),(3,2),(4,1),(5,3),(5,4)],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)
 => ? ∊ {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1,2,2,3,4}
([(0,4),(1,6),(2,5),(3,1),(3,5),(4,2),(4,3),(5,6)],7)
 => ([(0,4),(1,6),(2,5),(3,1),(3,5),(4,2),(4,3),(5,6)],7)
 => ([(0,4),(1,6),(2,5),(3,1),(3,5),(4,2),(4,3),(5,6)],7)
 => ([(0,6),(1,2),(1,4),(2,5),(3,4),(3,6),(4,5),(5,6)],7)
 => ? ∊ {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1,2,2,3,4}
([(0,2),(0,3),(0,5),(1,6),(2,6),(3,6),(4,1),(5,4)],7)
 => ([(0,1),(0,2),(0,3),(1,4),(2,4),(3,4)],5)
 => ([(0,1),(0,2),(0,3),(1,4),(2,4),(3,4)],5)
 => ([(0,3),(0,4),(1,3),(1,4),(2,3),(2,4)],5)
 => 0
([(0,3),(0,4),(1,6),(2,6),(3,6),(4,5),(5,1),(5,2)],7)
 => ([(0,1)],2)
 => ([(0,1)],2)
 => ([(0,1)],2)
 => -1
([(0,4),(1,6),(2,6),(3,6),(4,5),(5,1),(5,2),(5,3)],7)
 => ([(0,4),(1,6),(2,6),(3,6),(4,5),(5,1),(5,2),(5,3)],7)
 => ([(0,4),(1,6),(2,6),(3,6),(4,5),(5,1),(5,2),(5,3)],7)
 => ([(0,4),(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,6)],7)
 => ? ∊ {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1,2,2,3,4}
([(0,1),(0,2),(0,3),(0,4),(1,6),(2,6),(3,5),(4,5),(5,6)],7)
 => ([],1)
 => ([],1)
 => ([],1)
 => ? ∊ {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1,2,2,3,4}
([(0,2),(0,3),(0,4),(1,5),(2,6),(3,6),(4,5),(6,1)],7)
 => ([(0,1)],2)
 => ([(0,1)],2)
 => ([(0,1)],2)
 => -1
([(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,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)
 => ? ∊ {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1,2,2,3,4}
([(0,1),(0,2),(0,3),(0,4),(1,6),(2,6),(3,6),(4,5),(6,5)],7)
 => ([(0,1)],2)
 => ([(0,1)],2)
 => ([(0,1)],2)
 => -1
([(0,2),(0,3),(0,4),(2,6),(3,6),(4,6),(5,1),(6,5)],7)
 => ([(0,2),(0,3),(0,4),(2,6),(3,6),(4,6),(5,1),(6,5)],7)
 => ([(0,2),(0,3),(0,4),(2,6),(3,6),(4,6),(5,1),(6,5)],7)
 => ([(0,4),(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,6)],7)
 => ? ∊ {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1,2,2,3,4}
([(0,2),(0,3),(0,4),(0,5),(2,6),(3,6),(4,6),(5,6),(6,1)],7)
 => ([(0,2),(0,3),(0,4),(0,5),(2,6),(3,6),(4,6),(5,6),(6,1)],7)
 => ([(0,2),(0,3),(0,4),(0,5),(2,6),(3,6),(4,6),(5,6),(6,1)],7)
 => ([(0,6),(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)
 => ? ∊ {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1,2,2,3,4}
([(0,2),(0,3),(0,4),(1,6),(2,5),(3,5),(4,1),(5,6)],7)
 => ([(0,1)],2)
 => ([(0,1)],2)
 => ([(0,1)],2)
 => -1
([(0,1),(0,2),(0,3),(1,5),(2,4),(3,4),(3,5),(4,6),(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
([(0,2),(0,3),(2,6),(3,6),(4,1),(5,4),(6,5)],7)
 => ([(0,2),(0,3),(2,6),(3,6),(4,1),(5,4),(6,5)],7)
 => ([(0,2),(0,3),(2,6),(3,6),(4,1),(5,4),(6,5)],7)
 => ([(0,5),(1,2),(1,3),(2,6),(3,6),(4,5),(4,6)],7)
 => ? ∊ {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1,2,2,3,4}
([(0,2),(0,3),(0,4),(2,6),(3,5),(4,5),(5,6),(6,1)],7)
 => ([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => ([(0,2),(1,2)],3)
 => 0
([(0,2),(0,3),(0,4),(1,5),(2,6),(3,6),(4,1),(4,6),(6,5)],7)
 => ([(0,2),(0,3),(0,4),(1,5),(2,6),(3,6),(4,1),(4,6),(6,5)],7)
 => ([(0,2),(0,3),(0,4),(1,5),(2,6),(3,6),(4,1),(4,6),(6,5)],7)
 => ([(0,1),(0,6),(1,5),(2,4),(2,6),(3,4),(3,6),(4,5),(5,6)],7)
 => ? ∊ {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1,2,2,3,4}
([(0,3),(0,4),(0,5),(1,6),(3,6),(4,6),(5,1),(6,2)],7)
 => ([(0,2),(0,3),(0,4),(2,5),(3,5),(4,5),(5,1)],6)
 => ([(0,2),(0,3),(0,4),(2,5),(3,5),(4,5),(5,1)],6)
 => ([(0,5),(1,4),(1,5),(2,4),(2,5),(3,4),(3,5)],6)
 => ? ∊ {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1,2,2,3,4}
([(0,3),(0,4),(0,5),(1,6),(2,6),(3,6),(4,2),(5,1)],7)
 => ([(0,1),(0,2),(0,3),(1,4),(2,4),(3,4)],5)
 => ([(0,1),(0,2),(0,3),(1,4),(2,4),(3,4)],5)
 => ([(0,3),(0,4),(1,3),(1,4),(2,3),(2,4)],5)
 => 0
([(0,2),(0,3),(0,4),(1,6),(2,6),(3,5),(4,1),(4,5),(5,6)],7)
 => ([],1)
 => ([],1)
 => ([],1)
 => ? ∊ {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1,2,2,3,4}
([(0,2),(0,4),(1,6),(2,5),(3,1),(4,3),(4,5),(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,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7)
 => ([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7)
 => ([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7)
 => ([(0,6),(1,2),(1,4),(2,5),(3,4),(3,6),(4,5),(5,6)],7)
 => ? ∊ {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1,2,2,3,4}
([(0,3),(0,4),(1,5),(2,5),(3,6),(4,2),(4,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,4),(0,5),(1,6),(2,6),(3,6),(4,3),(5,1),(5,2)],7)
 => ([(0,1)],2)
 => ([(0,1)],2)
 => ([(0,1)],2)
 => -1
([(0,3),(0,4),(1,6),(2,6),(3,5),(4,1),(4,2),(4,5),(5,6)],7)
 => ([(0,3),(0,4),(1,6),(2,6),(3,5),(4,1),(4,2),(4,5),(5,6)],7)
 => ([(0,3),(0,4),(1,6),(2,6),(3,5),(4,1),(4,2),(4,5),(5,6)],7)
 => ([(0,1),(0,6),(1,5),(2,4),(2,6),(3,4),(3,6),(4,5),(5,6)],7)
 => ? ∊ {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1,2,2,3,4}
([(0,5),(1,6),(2,6),(3,4),(4,2),(5,1),(5,3)],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)
 => ? ∊ {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1,2,2,3,4}
([(0,3),(0,4),(1,6),(2,5),(3,5),(4,1),(4,2),(5,6)],7)
 => ([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => ([(0,2),(1,2)],3)
 => 0
([(0,5),(1,6),(2,6),(4,2),(5,1),(5,4),(6,3)],7)
 => ([(0,4),(1,5),(2,5),(4,1),(4,2),(5,3)],6)
 => ([(0,4),(1,5),(2,5),(4,1),(4,2),(5,3)],6)
 => ([(0,5),(1,4),(2,4),(2,5),(3,4),(3,5)],6)
 => 1
([(0,4),(0,5),(1,6),(2,6),(4,6),(5,1),(5,2),(6,3)],7)
 => ([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => ([(0,2),(1,2)],3)
 => 0
([(0,3),(0,4),(1,6),(2,6),(3,2),(3,5),(4,1),(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
([(0,3),(0,4),(1,6),(2,5),(3,2),(4,1),(4,5),(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,2),(0,5),(1,6),(2,6),(3,4),(4,1),(5,3)],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
([(0,4),(1,6),(2,6),(3,5),(4,3),(5,1),(5,2)],7)
 => ([(0,4),(1,6),(2,6),(3,5),(4,3),(5,1),(5,2)],7)
 => ([(0,4),(1,6),(2,6),(3,5),(4,3),(5,1),(5,2)],7)
 => ([(0,5),(1,2),(1,3),(2,6),(3,6),(4,5),(4,6)],7)
 => ? ∊ {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1,2,2,3,4}
([(0,2),(0,3),(0,4),(1,5),(2,6),(3,5),(4,1),(5,6)],7)
 => ([(0,1)],2)
 => ([(0,1)],2)
 => ([(0,1)],2)
 => -1
([(0,3),(0,5),(2,6),(3,6),(4,1),(5,2),(6,4)],7)
 => ([(0,2),(0,3),(2,5),(3,5),(4,1),(5,4)],6)
 => ([(0,2),(0,3),(2,5),(3,5),(4,1),(5,4)],6)
 => ([(0,4),(1,2),(1,3),(2,5),(3,5),(4,5)],6)
 => ? ∊ {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1,2,2,3,4}
([(0,4),(0,5),(1,6),(2,6),(3,2),(4,3),(5,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
([(0,4),(1,6),(2,6),(3,2),(4,5),(5,1),(5,3)],7)
 => ([(0,3),(1,5),(2,5),(3,4),(4,1),(4,2)],6)
 => ([(0,3),(1,5),(2,5),(3,4),(4,1),(4,2)],6)
 => ([(0,4),(1,2),(1,3),(2,5),(3,5),(4,5)],6)
 => ? ∊ {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1,2,2,3,4}
([(0,2),(0,4),(1,6),(2,5),(3,1),(3,5),(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,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
 => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
 => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
 => ([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)
 => ? ∊ {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1,2,2,3,4}
([(0,4),(0,5),(1,6),(2,6),(4,2),(5,1),(6,3)],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)
 => ? ∊ {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1,2,2,3,4}
([(0,3),(0,5),(1,6),(3,6),(4,1),(5,4),(6,2)],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)
 => ? ∊ {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1,2,2,3,4}
([(0,4),(1,6),(2,6),(4,5),(5,1),(5,2),(6,3)],7)
 => ([(0,4),(1,6),(2,6),(4,5),(5,1),(5,2),(6,3)],7)
 => ([(0,4),(1,6),(2,6),(4,5),(5,1),(5,2),(6,3)],7)
 => ([(0,6),(1,4),(2,5),(2,6),(3,5),(3,6),(4,5)],7)
 => ? ∊ {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1,2,2,3,4}

Description

The second largest eigenvalue of a graph if it is integral. This statistic is undefined if the second largest eigenvalue of the graph is not integral. Chapter 4 of [1] provides lots of context.

Matching statistic: St000260
(load all 2 compositions to match this statistic)

Mapping

Mp00263: Lattices —join irreducibles⟶ Posets
Mp00198: Posets —incomparability graph⟶ Graphs
Mp00111: Graphs —complement⟶ Graphs
St000260: Graphs ⟶ ℤResult quality: 50% ●values known / values provided: 53%●distinct values known / distinct values provided: 50%

Values

([],1)
 => ([],0)
 => ?
 => ?
 => ? = 1 + 1
([(0,1)],2)
 => ([],1)
 => ([],1)
 => ([],1)
 => 0 = -1 + 1
([(0,2),(2,1)],3)
 => ([(0,1)],2)
 => ([],2)
 => ([(0,1)],2)
 => 1 = 0 + 1
([(0,1),(0,2),(1,3),(2,3)],4)
 => ([],2)
 => ([(0,1)],2)
 => ([],2)
 => ? = 1 + 1
([(0,3),(2,1),(3,2)],4)
 => ([(0,2),(2,1)],3)
 => ([],3)
 => ([(0,1),(0,2),(1,2)],3)
 => 1 = 0 + 1
([(0,1),(0,2),(0,3),(1,4),(2,4),(3,4)],5)
 => ([],3)
 => ([(0,1),(0,2),(1,2)],3)
 => ([],3)
 => ? ∊ {1,2} + 1
([(0,2),(0,3),(1,4),(2,4),(3,1)],5)
 => ([(1,2)],3)
 => ([(0,2),(1,2)],3)
 => ([(1,2)],3)
 => ? ∊ {1,2} + 1
([(0,3),(1,4),(2,4),(3,1),(3,2)],5)
 => ([(0,1),(0,2)],3)
 => ([(1,2)],3)
 => ([(0,2),(1,2)],3)
 => 1 = 0 + 1
([(0,4),(2,3),(3,1),(4,2)],5)
 => ([(0,3),(2,1),(3,2)],4)
 => ([],4)
 => ([(0,1),(0,2),(0,3),(1,2),(1,3),(2,3)],4)
 => 1 = 0 + 1
([(0,2),(0,3),(2,4),(3,4),(4,1)],5)
 => ([(0,2),(1,2)],3)
 => ([(1,2)],3)
 => ([(0,2),(1,2)],3)
 => 1 = 0 + 1
([(0,1),(0,2),(0,3),(0,4),(1,5),(2,5),(3,5),(4,5)],6)
 => ([],4)
 => ([(0,1),(0,2),(0,3),(1,2),(1,3),(2,3)],4)
 => ([],4)
 => ? ∊ {-1,-1,0,1,1,2,3} + 1
([(0,2),(0,3),(0,4),(1,5),(2,5),(3,5),(4,1)],6)
 => ([(2,3)],4)
 => ([(0,2),(0,3),(1,2),(1,3),(2,3)],4)
 => ([(2,3)],4)
 => ? ∊ {-1,-1,0,1,1,2,3} + 1
([(0,3),(0,4),(1,5),(2,5),(3,5),(4,1),(4,2)],6)
 => ([(1,2),(1,3)],4)
 => ([(0,3),(1,2),(1,3),(2,3)],4)
 => ([(1,3),(2,3)],4)
 => ? ∊ {-1,-1,0,1,1,2,3} + 1
([(0,4),(1,5),(2,5),(3,5),(4,1),(4,2),(4,3)],6)
 => ([(0,1),(0,2),(0,3)],4)
 => ([(1,2),(1,3),(2,3)],4)
 => ([(0,3),(1,3),(2,3)],4)
 => 1 = 0 + 1
([(0,4),(1,5),(2,5),(3,2),(4,1),(4,3)],6)
 => ([(0,2),(0,3),(3,1)],4)
 => ([(1,3),(2,3)],4)
 => ([(0,3),(1,2),(1,3),(2,3)],4)
 => 1 = 0 + 1
([(0,4),(1,5),(2,5),(4,1),(4,2),(5,3)],6)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => ([(2,3)],4)
 => ([(0,2),(0,3),(1,2),(1,3),(2,3)],4)
 => 1 = 0 + 1
([(0,2),(0,4),(1,5),(2,5),(3,1),(4,3)],6)
 => ([(1,2),(2,3)],4)
 => ([(0,3),(1,3),(2,3)],4)
 => ([(1,2),(1,3),(2,3)],4)
 => ? ∊ {-1,-1,0,1,1,2,3} + 1
([(0,3),(1,5),(2,5),(3,4),(4,1),(4,2)],6)
 => ([(0,3),(3,1),(3,2)],4)
 => ([(2,3)],4)
 => ([(0,2),(0,3),(1,2),(1,3),(2,3)],4)
 => 1 = 0 + 1
([(0,1),(0,2),(0,3),(1,5),(2,4),(3,4),(4,5)],6)
 => ([],3)
 => ([(0,1),(0,2),(1,2)],3)
 => ([],3)
 => ? ∊ {-1,-1,0,1,1,2,3} + 1
([(0,2),(0,3),(2,5),(3,5),(4,1),(5,4)],6)
 => ([(0,3),(1,3),(3,2)],4)
 => ([(2,3)],4)
 => ([(0,2),(0,3),(1,2),(1,3),(2,3)],4)
 => 1 = 0 + 1
([(0,2),(0,3),(0,4),(2,5),(3,5),(4,5),(5,1)],6)
 => ([(0,3),(1,3),(2,3)],4)
 => ([(1,2),(1,3),(2,3)],4)
 => ([(0,3),(1,3),(2,3)],4)
 => 1 = 0 + 1
([(0,3),(0,4),(1,5),(2,5),(3,2),(4,1)],6)
 => ([(0,3),(1,2)],4)
 => ([(0,2),(0,3),(1,2),(1,3)],4)
 => ([(0,3),(1,2)],4)
 => ? ∊ {-1,-1,0,1,1,2,3} + 1
([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
 => ([(1,2)],3)
 => ([(0,2),(1,2)],3)
 => ([(1,2)],3)
 => ? ∊ {-1,-1,0,1,1,2,3} + 1
([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => ([],5)
 => ([(0,1),(0,2),(0,3),(0,4),(1,2),(1,3),(1,4),(2,3),(2,4),(3,4)],5)
 => 1 = 0 + 1
([(0,3),(0,4),(1,5),(3,5),(4,1),(5,2)],6)
 => ([(0,3),(1,2),(2,3)],4)
 => ([(1,3),(2,3)],4)
 => ([(0,3),(1,2),(1,3),(2,3)],4)
 => 1 = 0 + 1
([(0,1),(0,2),(0,3),(0,4),(0,5),(1,6),(2,6),(3,6),(4,6),(5,6)],7)
 => ([],5)
 => ([(0,1),(0,2),(0,3),(0,4),(1,2),(1,3),(1,4),(2,3),(2,4),(3,4)],5)
 => ([],5)
 => ? ∊ {-1,-1,-1,-1,-1,-1,-1,-1,0,0,0,0,0,0,0,0,1,1,1,1,1,1,2,2,3,4} + 1
([(0,2),(0,3),(0,4),(0,5),(1,6),(2,6),(3,6),(4,6),(5,1)],7)
 => ([(3,4)],5)
 => ([(0,2),(0,3),(0,4),(1,2),(1,3),(1,4),(2,3),(2,4),(3,4)],5)
 => ([(3,4)],5)
 => ? ∊ {-1,-1,-1,-1,-1,-1,-1,-1,0,0,0,0,0,0,0,0,1,1,1,1,1,1,2,2,3,4} + 1
([(0,3),(0,4),(0,5),(1,6),(2,6),(3,6),(4,6),(5,1),(5,2)],7)
 => ([(2,3),(2,4)],5)
 => ([(0,3),(0,4),(1,2),(1,3),(1,4),(2,3),(2,4),(3,4)],5)
 => ([(2,4),(3,4)],5)
 => ? ∊ {-1,-1,-1,-1,-1,-1,-1,-1,0,0,0,0,0,0,0,0,1,1,1,1,1,1,2,2,3,4} + 1
([(0,4),(0,5),(1,6),(2,6),(3,6),(4,6),(5,1),(5,2),(5,3)],7)
 => ([(1,2),(1,3),(1,4)],5)
 => ([(0,4),(1,2),(1,3),(1,4),(2,3),(2,4),(3,4)],5)
 => ([(1,4),(2,4),(3,4)],5)
 => ? ∊ {-1,-1,-1,-1,-1,-1,-1,-1,0,0,0,0,0,0,0,0,1,1,1,1,1,1,2,2,3,4} + 1
([(0,5),(1,6),(2,6),(3,6),(4,6),(5,1),(5,2),(5,3),(5,4)],7)
 => ([(0,1),(0,2),(0,3),(0,4)],5)
 => ([(1,2),(1,3),(1,4),(2,3),(2,4),(3,4)],5)
 => ([(0,4),(1,4),(2,4),(3,4)],5)
 => 1 = 0 + 1
([(0,5),(1,6),(2,6),(3,6),(4,3),(5,1),(5,2),(5,4)],7)
 => ([(0,2),(0,3),(0,4),(4,1)],5)
 => ([(1,3),(1,4),(2,3),(2,4),(3,4)],5)
 => ([(0,4),(1,4),(2,3),(2,4),(3,4)],5)
 => 1 = 0 + 1
([(0,4),(1,6),(2,5),(3,5),(4,1),(4,2),(4,3),(5,6)],7)
 => ([(0,1),(0,2),(0,3)],4)
 => ([(1,2),(1,3),(2,3)],4)
 => ([(0,3),(1,3),(2,3)],4)
 => 1 = 0 + 1
([(0,5),(1,6),(2,6),(3,6),(5,1),(5,2),(5,3),(6,4)],7)
 => ([(0,1),(0,2),(0,3),(1,4),(2,4),(3,4)],5)
 => ([(2,3),(2,4),(3,4)],5)
 => ([(0,3),(0,4),(1,3),(1,4),(2,3),(2,4),(3,4)],5)
 => 1 = 0 + 1
([(0,3),(0,5),(1,6),(2,6),(3,6),(4,2),(5,1),(5,4)],7)
 => ([(1,3),(1,4),(4,2)],5)
 => ([(0,4),(1,3),(1,4),(2,3),(2,4),(3,4)],5)
 => ([(1,4),(2,3),(2,4),(3,4)],5)
 => ? ∊ {-1,-1,-1,-1,-1,-1,-1,-1,0,0,0,0,0,0,0,0,1,1,1,1,1,1,2,2,3,4} + 1
([(0,5),(1,6),(2,6),(3,6),(4,2),(4,3),(5,1),(5,4)],7)
 => ([(0,3),(0,4),(4,1),(4,2)],5)
 => ([(1,4),(2,3),(2,4),(3,4)],5)
 => ([(0,4),(1,3),(1,4),(2,3),(2,4),(3,4)],5)
 => 1 = 0 + 1
([(0,3),(0,4),(1,5),(2,5),(3,6),(4,1),(4,2),(5,6)],7)
 => ([(1,2),(1,3)],4)
 => ([(0,3),(1,2),(1,3),(2,3)],4)
 => ([(1,3),(2,3)],4)
 => ? ∊ {-1,-1,-1,-1,-1,-1,-1,-1,0,0,0,0,0,0,0,0,1,1,1,1,1,1,2,2,3,4} + 1
([(0,5),(2,6),(3,6),(4,1),(5,2),(5,3),(6,4)],7)
 => ([(0,2),(0,3),(2,4),(3,4),(4,1)],5)
 => ([(3,4)],5)
 => ([(0,2),(0,3),(0,4),(1,2),(1,3),(1,4),(2,3),(2,4),(3,4)],5)
 => 1 = 0 + 1
([(0,5),(1,6),(2,6),(3,2),(4,1),(5,3),(5,4)],7)
 => ([(0,3),(0,4),(3,2),(4,1)],5)
 => ([(1,3),(1,4),(2,3),(2,4)],5)
 => ([(0,3),(0,4),(1,2),(1,4),(2,4),(3,4)],5)
 => 1 = 0 + 1
([(0,4),(1,6),(2,5),(3,1),(3,5),(4,2),(4,3),(5,6)],7)
 => ([(0,2),(0,3),(3,1)],4)
 => ([(1,3),(2,3)],4)
 => ([(0,3),(1,2),(1,3),(2,3)],4)
 => 1 = 0 + 1
([(0,2),(0,3),(0,5),(1,6),(2,6),(3,6),(4,1),(5,4)],7)
 => ([(2,3),(3,4)],5)
 => ([(0,3),(0,4),(1,3),(1,4),(2,3),(2,4),(3,4)],5)
 => ([(2,3),(2,4),(3,4)],5)
 => ? ∊ {-1,-1,-1,-1,-1,-1,-1,-1,0,0,0,0,0,0,0,0,1,1,1,1,1,1,2,2,3,4} + 1
([(0,3),(0,4),(1,6),(2,6),(3,6),(4,5),(5,1),(5,2)],7)
 => ([(1,4),(4,2),(4,3)],5)
 => ([(0,4),(1,4),(2,3),(2,4),(3,4)],5)
 => ([(1,3),(1,4),(2,3),(2,4),(3,4)],5)
 => ? ∊ {-1,-1,-1,-1,-1,-1,-1,-1,0,0,0,0,0,0,0,0,1,1,1,1,1,1,2,2,3,4} + 1
([(0,4),(1,6),(2,6),(3,6),(4,5),(5,1),(5,2),(5,3)],7)
 => ([(0,4),(4,1),(4,2),(4,3)],5)
 => ([(2,3),(2,4),(3,4)],5)
 => ([(0,3),(0,4),(1,3),(1,4),(2,3),(2,4),(3,4)],5)
 => 1 = 0 + 1
([(0,1),(0,2),(0,3),(0,4),(1,6),(2,6),(3,5),(4,5),(5,6)],7)
 => ([],4)
 => ([(0,1),(0,2),(0,3),(1,2),(1,3),(2,3)],4)
 => ([],4)
 => ? ∊ {-1,-1,-1,-1,-1,-1,-1,-1,0,0,0,0,0,0,0,0,1,1,1,1,1,1,2,2,3,4} + 1
([(0,2),(0,3),(0,4),(1,5),(2,6),(3,6),(4,5),(6,1)],7)
 => ([(1,3),(2,3)],4)
 => ([(0,3),(1,2),(1,3),(2,3)],4)
 => ([(1,3),(2,3)],4)
 => ? ∊ {-1,-1,-1,-1,-1,-1,-1,-1,0,0,0,0,0,0,0,0,1,1,1,1,1,1,2,2,3,4} + 1
([(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)
 => ([(0,3),(1,2)],4)
 => ([(0,2),(0,3),(1,2),(1,3)],4)
 => 2 = 1 + 1
([(0,1),(0,2),(0,3),(0,4),(1,6),(2,6),(3,6),(4,5),(6,5)],7)
 => ([],4)
 => ([(0,1),(0,2),(0,3),(1,2),(1,3),(2,3)],4)
 => ([],4)
 => ? ∊ {-1,-1,-1,-1,-1,-1,-1,-1,0,0,0,0,0,0,0,0,1,1,1,1,1,1,2,2,3,4} + 1
([(0,2),(0,3),(0,4),(2,6),(3,6),(4,6),(5,1),(6,5)],7)
 => ([(0,4),(1,4),(2,4),(4,3)],5)
 => ([(2,3),(2,4),(3,4)],5)
 => ([(0,3),(0,4),(1,3),(1,4),(2,3),(2,4),(3,4)],5)
 => 1 = 0 + 1
([(0,2),(0,3),(0,4),(0,5),(2,6),(3,6),(4,6),(5,6),(6,1)],7)
 => ([(0,4),(1,4),(2,4),(3,4)],5)
 => ([(1,2),(1,3),(1,4),(2,3),(2,4),(3,4)],5)
 => ([(0,4),(1,4),(2,4),(3,4)],5)
 => 1 = 0 + 1
([(0,2),(0,3),(0,4),(1,6),(2,5),(3,5),(4,1),(5,6)],7)
 => ([(2,3)],4)
 => ([(0,2),(0,3),(1,2),(1,3),(2,3)],4)
 => ([(2,3)],4)
 => ? ∊ {-1,-1,-1,-1,-1,-1,-1,-1,0,0,0,0,0,0,0,0,1,1,1,1,1,1,2,2,3,4} + 1
([(0,1),(0,2),(0,3),(1,5),(2,4),(3,4),(3,5),(4,6),(5,6)],7)
 => ([],3)
 => ([(0,1),(0,2),(1,2)],3)
 => ([],3)
 => ? ∊ {-1,-1,-1,-1,-1,-1,-1,-1,0,0,0,0,0,0,0,0,1,1,1,1,1,1,2,2,3,4} + 1
([(0,2),(0,3),(2,6),(3,6),(4,1),(5,4),(6,5)],7)
 => ([(0,4),(1,4),(2,3),(4,2)],5)
 => ([(3,4)],5)
 => ([(0,2),(0,3),(0,4),(1,2),(1,3),(1,4),(2,3),(2,4),(3,4)],5)
 => 1 = 0 + 1
([(0,2),(0,3),(0,4),(2,6),(3,5),(4,5),(5,6),(6,1)],7)
 => ([(0,3),(1,3),(2,3)],4)
 => ([(1,2),(1,3),(2,3)],4)
 => ([(0,3),(1,3),(2,3)],4)
 => 1 = 0 + 1
([(0,2),(0,3),(0,4),(1,5),(2,6),(3,6),(4,1),(4,6),(6,5)],7)
 => ([(2,3)],4)
 => ([(0,2),(0,3),(1,2),(1,3),(2,3)],4)
 => ([(2,3)],4)
 => ? ∊ {-1,-1,-1,-1,-1,-1,-1,-1,0,0,0,0,0,0,0,0,1,1,1,1,1,1,2,2,3,4} + 1
([(0,3),(0,4),(0,5),(1,6),(3,6),(4,6),(5,1),(6,2)],7)
 => ([(0,4),(1,4),(2,3),(3,4)],5)
 => ([(1,3),(1,4),(2,3),(2,4),(3,4)],5)
 => ([(0,4),(1,4),(2,3),(2,4),(3,4)],5)
 => 1 = 0 + 1
([(0,3),(0,4),(0,5),(1,6),(2,6),(3,6),(4,2),(5,1)],7)
 => ([(1,4),(2,3)],5)
 => ([(0,2),(0,3),(0,4),(1,2),(1,3),(1,4),(2,4),(3,4)],5)
 => ([(1,4),(2,3)],5)
 => ? ∊ {-1,-1,-1,-1,-1,-1,-1,-1,0,0,0,0,0,0,0,0,1,1,1,1,1,1,2,2,3,4} + 1
([(0,2),(0,3),(0,4),(1,6),(2,6),(3,5),(4,1),(4,5),(5,6)],7)
 => ([(2,3)],4)
 => ([(0,2),(0,3),(1,2),(1,3),(2,3)],4)
 => ([(2,3)],4)
 => ? ∊ {-1,-1,-1,-1,-1,-1,-1,-1,0,0,0,0,0,0,0,0,1,1,1,1,1,1,2,2,3,4} + 1
([(0,2),(0,4),(1,6),(2,5),(3,1),(4,3),(4,5),(5,6)],7)
 => ([(1,2),(2,3)],4)
 => ([(0,3),(1,3),(2,3)],4)
 => ([(1,2),(1,3),(2,3)],4)
 => ? ∊ {-1,-1,-1,-1,-1,-1,-1,-1,0,0,0,0,0,0,0,0,1,1,1,1,1,1,2,2,3,4} + 1
([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7)
 => ([(0,3),(1,2),(2,3)],4)
 => ([(1,3),(2,3)],4)
 => ([(0,3),(1,2),(1,3),(2,3)],4)
 => 1 = 0 + 1
([(0,3),(0,4),(1,5),(2,5),(3,6),(4,2),(4,6),(6,1)],7)
 => ([(0,3),(1,2),(1,3)],4)
 => ([(0,3),(1,2),(2,3)],4)
 => ([(0,3),(1,2),(2,3)],4)
 => 2 = 1 + 1
([(0,4),(0,5),(1,6),(2,6),(3,6),(4,3),(5,1),(5,2)],7)
 => ([(0,4),(1,2),(1,3)],5)
 => ([(0,3),(0,4),(1,2),(1,3),(1,4),(2,3),(2,4)],5)
 => ([(0,1),(2,4),(3,4)],5)
 => ? ∊ {-1,-1,-1,-1,-1,-1,-1,-1,0,0,0,0,0,0,0,0,1,1,1,1,1,1,2,2,3,4} + 1
([(0,3),(0,4),(1,6),(2,6),(3,5),(4,1),(4,2),(4,5),(5,6)],7)
 => ([(1,2),(1,3)],4)
 => ([(0,3),(1,2),(1,3),(2,3)],4)
 => ([(1,3),(2,3)],4)
 => ? ∊ {-1,-1,-1,-1,-1,-1,-1,-1,0,0,0,0,0,0,0,0,1,1,1,1,1,1,2,2,3,4} + 1
([(0,5),(1,6),(2,6),(3,4),(4,2),(5,1),(5,3)],7)
 => ([(0,2),(0,4),(3,1),(4,3)],5)
 => ([(1,4),(2,4),(3,4)],5)
 => ([(0,4),(1,2),(1,3),(1,4),(2,3),(2,4),(3,4)],5)
 => 1 = 0 + 1
([(0,3),(0,4),(1,6),(2,5),(3,5),(4,1),(4,2),(5,6)],7)
 => ([(1,2),(1,3)],4)
 => ([(0,3),(1,2),(1,3),(2,3)],4)
 => ([(1,3),(2,3)],4)
 => ? ∊ {-1,-1,-1,-1,-1,-1,-1,-1,0,0,0,0,0,0,0,0,1,1,1,1,1,1,2,2,3,4} + 1
([(0,5),(1,6),(2,6),(4,2),(5,1),(5,4),(6,3)],7)
 => ([(0,2),(0,3),(1,4),(2,4),(3,1)],5)
 => ([(2,4),(3,4)],5)
 => ([(0,3),(0,4),(1,2),(1,3),(1,4),(2,3),(2,4),(3,4)],5)
 => 1 = 0 + 1
([(0,4),(0,5),(1,6),(2,6),(4,6),(5,1),(5,2),(6,3)],7)
 => ([(0,4),(1,2),(1,3),(2,4),(3,4)],5)
 => ([(1,4),(2,3),(2,4),(3,4)],5)
 => ([(0,4),(1,3),(1,4),(2,3),(2,4),(3,4)],5)
 => 1 = 0 + 1
([(0,3),(0,4),(1,6),(2,6),(3,2),(3,5),(4,1),(4,5),(5,6)],7)
 => ([(0,3),(1,2)],4)
 => ([(0,2),(0,3),(1,2),(1,3)],4)
 => ([(0,3),(1,2)],4)
 => ? ∊ {-1,-1,-1,-1,-1,-1,-1,-1,0,0,0,0,0,0,0,0,1,1,1,1,1,1,2,2,3,4} + 1
([(0,3),(0,4),(1,6),(2,5),(3,2),(4,1),(4,5),(5,6)],7)
 => ([(0,3),(1,2)],4)
 => ([(0,2),(0,3),(1,2),(1,3)],4)
 => ([(0,3),(1,2)],4)
 => ? ∊ {-1,-1,-1,-1,-1,-1,-1,-1,0,0,0,0,0,0,0,0,1,1,1,1,1,1,2,2,3,4} + 1
([(0,2),(0,5),(1,6),(2,6),(3,4),(4,1),(5,3)],7)
 => ([(1,4),(3,2),(4,3)],5)
 => ([(0,4),(1,4),(2,4),(3,4)],5)
 => ([(1,2),(1,3),(1,4),(2,3),(2,4),(3,4)],5)
 => ? ∊ {-1,-1,-1,-1,-1,-1,-1,-1,0,0,0,0,0,0,0,0,1,1,1,1,1,1,2,2,3,4} + 1
([(0,4),(1,6),(2,6),(3,5),(4,3),(5,1),(5,2)],7)
 => ([(0,3),(3,4),(4,1),(4,2)],5)
 => ([(3,4)],5)
 => ([(0,2),(0,3),(0,4),(1,2),(1,3),(1,4),(2,3),(2,4),(3,4)],5)
 => 1 = 0 + 1
([(0,2),(0,3),(0,4),(1,5),(2,6),(3,5),(4,1),(5,6)],7)
 => ([(2,3)],4)
 => ([(0,2),(0,3),(1,2),(1,3),(2,3)],4)
 => ([(2,3)],4)
 => ? ∊ {-1,-1,-1,-1,-1,-1,-1,-1,0,0,0,0,0,0,0,0,1,1,1,1,1,1,2,2,3,4} + 1
([(0,3),(0,5),(2,6),(3,6),(4,1),(5,2),(6,4)],7)
 => ([(0,4),(1,2),(2,4),(4,3)],5)
 => ([(2,4),(3,4)],5)
 => ([(0,3),(0,4),(1,2),(1,3),(1,4),(2,3),(2,4),(3,4)],5)
 => 1 = 0 + 1
([(0,4),(0,5),(1,6),(2,6),(3,2),(4,3),(5,1)],7)
 => ([(0,3),(1,4),(4,2)],5)
 => ([(0,3),(0,4),(1,3),(1,4),(2,3),(2,4)],5)
 => ([(0,1),(2,3),(2,4),(3,4)],5)
 => ? ∊ {-1,-1,-1,-1,-1,-1,-1,-1,0,0,0,0,0,0,0,0,1,1,1,1,1,1,2,2,3,4} + 1
([(0,4),(1,6),(2,6),(3,2),(4,5),(5,1),(5,3)],7)
 => ([(0,4),(3,2),(4,1),(4,3)],5)
 => ([(2,4),(3,4)],5)
 => ([(0,3),(0,4),(1,2),(1,3),(1,4),(2,3),(2,4),(3,4)],5)
 => 1 = 0 + 1
([(0,2),(0,4),(1,6),(2,5),(3,1),(3,5),(4,3),(5,6)],7)
 => ([(1,2),(2,3)],4)
 => ([(0,3),(1,3),(2,3)],4)
 => ([(1,2),(1,3),(2,3)],4)
 => ? ∊ {-1,-1,-1,-1,-1,-1,-1,-1,0,0,0,0,0,0,0,0,1,1,1,1,1,1,2,2,3,4} + 1
([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
 => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
 => ([],6)
 => ([(0,1),(0,2),(0,3),(0,4),(0,5),(1,2),(1,3),(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6)
 => 1 = 0 + 1
([(0,4),(0,5),(1,6),(2,6),(4,2),(5,1),(6,3)],7)
 => ([(0,3),(1,2),(2,4),(3,4)],5)
 => ([(1,3),(1,4),(2,3),(2,4)],5)
 => ([(0,3),(0,4),(1,2),(1,4),(2,4),(3,4)],5)
 => 1 = 0 + 1
([(0,3),(0,5),(1,6),(3,6),(4,1),(5,4),(6,2)],7)
 => ([(0,4),(1,2),(2,3),(3,4)],5)
 => ([(1,4),(2,4),(3,4)],5)
 => ([(0,4),(1,2),(1,3),(1,4),(2,3),(2,4),(3,4)],5)
 => 1 = 0 + 1
([(0,4),(1,6),(2,6),(4,5),(5,1),(5,2),(6,3)],7)
 => ([(0,3),(1,4),(2,4),(3,1),(3,2)],5)
 => ([(3,4)],5)
 => ([(0,2),(0,3),(0,4),(1,2),(1,3),(1,4),(2,3),(2,4),(3,4)],5)
 => 1 = 0 + 1

Description

The radius of a connected graph. This is the minimum eccentricity of any vertex.

Matching statistic: St001651

Mapping

Mp00263: Lattices —join irreducibles⟶ Posets
Mp00206: Posets —antichains of maximal size⟶ Lattices
St001651: Lattices ⟶ ℤResult quality: 51% ●values known / values provided: 51%●distinct values known / distinct values provided: 83%

Values

([],1)
 => ([],0)
 => ?
 => ? = 1
([(0,1)],2)
 => ([],1)
 => ([],1)
 => ? = -1
([(0,2),(2,1)],3)
 => ([(0,1)],2)
 => ([(0,1)],2)
 => 0
([(0,1),(0,2),(1,3),(2,3)],4)
 => ([],2)
 => ([],1)
 => ? = 0
([(0,3),(2,1),(3,2)],4)
 => ([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => 1
([(0,1),(0,2),(0,3),(1,4),(2,4),(3,4)],5)
 => ([],3)
 => ([],1)
 => ? ∊ {0,0,1}
([(0,2),(0,3),(1,4),(2,4),(3,1)],5)
 => ([(1,2)],3)
 => ([(0,1)],2)
 => 0
([(0,3),(1,4),(2,4),(3,1),(3,2)],5)
 => ([(0,1),(0,2)],3)
 => ([],1)
 => ? ∊ {0,0,1}
([(0,4),(2,3),(3,1),(4,2)],5)
 => ([(0,3),(2,1),(3,2)],4)
 => ([(0,3),(2,1),(3,2)],4)
 => 2
([(0,2),(0,3),(2,4),(3,4),(4,1)],5)
 => ([(0,2),(1,2)],3)
 => ([],1)
 => ? ∊ {0,0,1}
([(0,1),(0,2),(0,3),(0,4),(1,5),(2,5),(3,5),(4,5)],6)
 => ([],4)
 => ([],1)
 => ? ∊ {-1,-1,0,0,0,0,1,2}
([(0,2),(0,3),(0,4),(1,5),(2,5),(3,5),(4,1)],6)
 => ([(2,3)],4)
 => ([(0,1)],2)
 => 0
([(0,3),(0,4),(1,5),(2,5),(3,5),(4,1),(4,2)],6)
 => ([(1,2),(1,3)],4)
 => ([],1)
 => ? ∊ {-1,-1,0,0,0,0,1,2}
([(0,4),(1,5),(2,5),(3,5),(4,1),(4,2),(4,3)],6)
 => ([(0,1),(0,2),(0,3)],4)
 => ([],1)
 => ? ∊ {-1,-1,0,0,0,0,1,2}
([(0,4),(1,5),(2,5),(3,2),(4,1),(4,3)],6)
 => ([(0,2),(0,3),(3,1)],4)
 => ([(0,1)],2)
 => 0
([(0,4),(1,5),(2,5),(4,1),(4,2),(5,3)],6)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => ([],1)
 => ? ∊ {-1,-1,0,0,0,0,1,2}
([(0,2),(0,4),(1,5),(2,5),(3,1),(4,3)],6)
 => ([(1,2),(2,3)],4)
 => ([(0,2),(2,1)],3)
 => 1
([(0,3),(1,5),(2,5),(3,4),(4,1),(4,2)],6)
 => ([(0,3),(3,1),(3,2)],4)
 => ([],1)
 => ? ∊ {-1,-1,0,0,0,0,1,2}
([(0,1),(0,2),(0,3),(1,5),(2,4),(3,4),(4,5)],6)
 => ([],3)
 => ([],1)
 => ? ∊ {-1,-1,0,0,0,0,1,2}
([(0,2),(0,3),(2,5),(3,5),(4,1),(5,4)],6)
 => ([(0,3),(1,3),(3,2)],4)
 => ([],1)
 => ? ∊ {-1,-1,0,0,0,0,1,2}
([(0,2),(0,3),(0,4),(2,5),(3,5),(4,5),(5,1)],6)
 => ([(0,3),(1,3),(2,3)],4)
 => ([],1)
 => ? ∊ {-1,-1,0,0,0,0,1,2}
([(0,3),(0,4),(1,5),(2,5),(3,2),(4,1)],6)
 => ([(0,3),(1,2)],4)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 0
([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
 => ([(1,2)],3)
 => ([(0,1)],2)
 => 0
([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => 3
([(0,3),(0,4),(1,5),(3,5),(4,1),(5,2)],6)
 => ([(0,3),(1,2),(2,3)],4)
 => ([(0,1)],2)
 => 0
([(0,1),(0,2),(0,3),(0,4),(0,5),(1,6),(2,6),(3,6),(4,6),(5,6)],7)
 => ([],5)
 => ([],1)
 => ? ∊ {-1,-1,-1,-1,-1,-1,-1,-1,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1,3}
([(0,2),(0,3),(0,4),(0,5),(1,6),(2,6),(3,6),(4,6),(5,1)],7)
 => ([(3,4)],5)
 => ([(0,1)],2)
 => 0
([(0,3),(0,4),(0,5),(1,6),(2,6),(3,6),(4,6),(5,1),(5,2)],7)
 => ([(2,3),(2,4)],5)
 => ([],1)
 => ? ∊ {-1,-1,-1,-1,-1,-1,-1,-1,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1,3}
([(0,4),(0,5),(1,6),(2,6),(3,6),(4,6),(5,1),(5,2),(5,3)],7)
 => ([(1,2),(1,3),(1,4)],5)
 => ([],1)
 => ? ∊ {-1,-1,-1,-1,-1,-1,-1,-1,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1,3}
([(0,5),(1,6),(2,6),(3,6),(4,6),(5,1),(5,2),(5,3),(5,4)],7)
 => ([(0,1),(0,2),(0,3),(0,4)],5)
 => ([],1)
 => ? ∊ {-1,-1,-1,-1,-1,-1,-1,-1,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1,3}
([(0,5),(1,6),(2,6),(3,6),(4,3),(5,1),(5,2),(5,4)],7)
 => ([(0,2),(0,3),(0,4),(4,1)],5)
 => ([(0,1)],2)
 => 0
([(0,4),(1,6),(2,5),(3,5),(4,1),(4,2),(4,3),(5,6)],7)
 => ([(0,1),(0,2),(0,3)],4)
 => ([],1)
 => ? ∊ {-1,-1,-1,-1,-1,-1,-1,-1,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1,3}
([(0,5),(1,6),(2,6),(3,6),(5,1),(5,2),(5,3),(6,4)],7)
 => ([(0,1),(0,2),(0,3),(1,4),(2,4),(3,4)],5)
 => ([],1)
 => ? ∊ {-1,-1,-1,-1,-1,-1,-1,-1,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1,3}
([(0,3),(0,5),(1,6),(2,6),(3,6),(4,2),(5,1),(5,4)],7)
 => ([(1,3),(1,4),(4,2)],5)
 => ([(0,1)],2)
 => 0
([(0,5),(1,6),(2,6),(3,6),(4,2),(4,3),(5,1),(5,4)],7)
 => ([(0,3),(0,4),(4,1),(4,2)],5)
 => ([],1)
 => ? ∊ {-1,-1,-1,-1,-1,-1,-1,-1,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1,3}
([(0,3),(0,4),(1,5),(2,5),(3,6),(4,1),(4,2),(5,6)],7)
 => ([(1,2),(1,3)],4)
 => ([],1)
 => ? ∊ {-1,-1,-1,-1,-1,-1,-1,-1,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1,3}
([(0,5),(2,6),(3,6),(4,1),(5,2),(5,3),(6,4)],7)
 => ([(0,2),(0,3),(2,4),(3,4),(4,1)],5)
 => ([],1)
 => ? ∊ {-1,-1,-1,-1,-1,-1,-1,-1,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1,3}
([(0,5),(1,6),(2,6),(3,2),(4,1),(5,3),(5,4)],7)
 => ([(0,3),(0,4),(3,2),(4,1)],5)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 0
([(0,4),(1,6),(2,5),(3,1),(3,5),(4,2),(4,3),(5,6)],7)
 => ([(0,2),(0,3),(3,1)],4)
 => ([(0,1)],2)
 => 0
([(0,2),(0,3),(0,5),(1,6),(2,6),(3,6),(4,1),(5,4)],7)
 => ([(2,3),(3,4)],5)
 => ([(0,2),(2,1)],3)
 => 1
([(0,3),(0,4),(1,6),(2,6),(3,6),(4,5),(5,1),(5,2)],7)
 => ([(1,4),(4,2),(4,3)],5)
 => ([],1)
 => ? ∊ {-1,-1,-1,-1,-1,-1,-1,-1,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1,3}
([(0,4),(1,6),(2,6),(3,6),(4,5),(5,1),(5,2),(5,3)],7)
 => ([(0,4),(4,1),(4,2),(4,3)],5)
 => ([],1)
 => ? ∊ {-1,-1,-1,-1,-1,-1,-1,-1,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1,3}
([(0,1),(0,2),(0,3),(0,4),(1,6),(2,6),(3,5),(4,5),(5,6)],7)
 => ([],4)
 => ([],1)
 => ? ∊ {-1,-1,-1,-1,-1,-1,-1,-1,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1,3}
([(0,2),(0,3),(0,4),(1,5),(2,6),(3,6),(4,5),(6,1)],7)
 => ([(1,3),(2,3)],4)
 => ([],1)
 => ? ∊ {-1,-1,-1,-1,-1,-1,-1,-1,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1,3}
([(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)
 => ([(0,1)],2)
 => 0
([(0,1),(0,2),(0,3),(0,4),(1,6),(2,6),(3,6),(4,5),(6,5)],7)
 => ([],4)
 => ([],1)
 => ? ∊ {-1,-1,-1,-1,-1,-1,-1,-1,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1,3}
([(0,2),(0,3),(0,4),(2,6),(3,6),(4,6),(5,1),(6,5)],7)
 => ([(0,4),(1,4),(2,4),(4,3)],5)
 => ([],1)
 => ? ∊ {-1,-1,-1,-1,-1,-1,-1,-1,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1,3}
([(0,2),(0,3),(0,4),(0,5),(2,6),(3,6),(4,6),(5,6),(6,1)],7)
 => ([(0,4),(1,4),(2,4),(3,4)],5)
 => ([],1)
 => ? ∊ {-1,-1,-1,-1,-1,-1,-1,-1,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1,3}
([(0,2),(0,3),(0,4),(1,6),(2,5),(3,5),(4,1),(5,6)],7)
 => ([(2,3)],4)
 => ([(0,1)],2)
 => 0
([(0,1),(0,2),(0,3),(1,5),(2,4),(3,4),(3,5),(4,6),(5,6)],7)
 => ([],3)
 => ([],1)
 => ? ∊ {-1,-1,-1,-1,-1,-1,-1,-1,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1,3}
([(0,2),(0,3),(2,6),(3,6),(4,1),(5,4),(6,5)],7)
 => ([(0,4),(1,4),(2,3),(4,2)],5)
 => ([],1)
 => ? ∊ {-1,-1,-1,-1,-1,-1,-1,-1,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1,3}
([(0,2),(0,3),(0,4),(2,6),(3,5),(4,5),(5,6),(6,1)],7)
 => ([(0,3),(1,3),(2,3)],4)
 => ([],1)
 => ? ∊ {-1,-1,-1,-1,-1,-1,-1,-1,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1,3}
([(0,2),(0,3),(0,4),(1,5),(2,6),(3,6),(4,1),(4,6),(6,5)],7)
 => ([(2,3)],4)
 => ([(0,1)],2)
 => 0
([(0,3),(0,4),(0,5),(1,6),(3,6),(4,6),(5,1),(6,2)],7)
 => ([(0,4),(1,4),(2,3),(3,4)],5)
 => ([(0,1)],2)
 => 0
([(0,3),(0,4),(0,5),(1,6),(2,6),(3,6),(4,2),(5,1)],7)
 => ([(1,4),(2,3)],5)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 0
([(0,2),(0,3),(0,4),(1,6),(2,6),(3,5),(4,1),(4,5),(5,6)],7)
 => ([(2,3)],4)
 => ([(0,1)],2)
 => 0
([(0,2),(0,4),(1,6),(2,5),(3,1),(4,3),(4,5),(5,6)],7)
 => ([(1,2),(2,3)],4)
 => ([(0,2),(2,1)],3)
 => 1
([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7)
 => ([(0,3),(1,2),(2,3)],4)
 => ([(0,1)],2)
 => 0
([(0,3),(0,4),(1,5),(2,5),(3,6),(4,2),(4,6),(6,1)],7)
 => ([(0,3),(1,2),(1,3)],4)
 => ([(0,2),(2,1)],3)
 => 1
([(0,4),(0,5),(1,6),(2,6),(3,6),(4,3),(5,1),(5,2)],7)
 => ([(0,4),(1,2),(1,3)],5)
 => ([(0,1)],2)
 => 0
([(0,3),(0,4),(1,6),(2,6),(3,5),(4,1),(4,2),(4,5),(5,6)],7)
 => ([(1,2),(1,3)],4)
 => ([],1)
 => ? ∊ {-1,-1,-1,-1,-1,-1,-1,-1,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1,3}
([(0,5),(1,6),(2,6),(3,4),(4,2),(5,1),(5,3)],7)
 => ([(0,2),(0,4),(3,1),(4,3)],5)
 => ([(0,2),(2,1)],3)
 => 1
([(0,3),(0,4),(1,6),(2,5),(3,5),(4,1),(4,2),(5,6)],7)
 => ([(1,2),(1,3)],4)
 => ([],1)
 => ? ∊ {-1,-1,-1,-1,-1,-1,-1,-1,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1,3}
([(0,5),(1,6),(2,6),(4,2),(5,1),(5,4),(6,3)],7)
 => ([(0,2),(0,3),(1,4),(2,4),(3,1)],5)
 => ([(0,1)],2)
 => 0
([(0,4),(0,5),(1,6),(2,6),(4,6),(5,1),(5,2),(6,3)],7)
 => ([(0,4),(1,2),(1,3),(2,4),(3,4)],5)
 => ([],1)
 => ? ∊ {-1,-1,-1,-1,-1,-1,-1,-1,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1,3}
([(0,3),(0,4),(1,6),(2,6),(3,2),(3,5),(4,1),(4,5),(5,6)],7)
 => ([(0,3),(1,2)],4)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 0
([(0,3),(0,4),(1,6),(2,5),(3,2),(4,1),(4,5),(5,6)],7)
 => ([(0,3),(1,2)],4)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 0
([(0,2),(0,5),(1,6),(2,6),(3,4),(4,1),(5,3)],7)
 => ([(1,4),(3,2),(4,3)],5)
 => ([(0,3),(2,1),(3,2)],4)
 => 2
([(0,4),(1,6),(2,6),(3,5),(4,3),(5,1),(5,2)],7)
 => ([(0,3),(3,4),(4,1),(4,2)],5)
 => ([],1)
 => ? ∊ {-1,-1,-1,-1,-1,-1,-1,-1,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1,3}
([(0,2),(0,3),(0,4),(1,5),(2,6),(3,5),(4,1),(5,6)],7)
 => ([(2,3)],4)
 => ([(0,1)],2)
 => 0
([(0,3),(0,5),(2,6),(3,6),(4,1),(5,2),(6,4)],7)
 => ([(0,4),(1,2),(2,4),(4,3)],5)
 => ([(0,1)],2)
 => 0
([(0,4),(0,5),(1,6),(2,6),(3,2),(4,3),(5,1)],7)
 => ([(0,3),(1,4),(4,2)],5)
 => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
 => 2
([(0,4),(1,6),(2,6),(3,2),(4,5),(5,1),(5,3)],7)
 => ([(0,4),(3,2),(4,1),(4,3)],5)
 => ([(0,1)],2)
 => 0
([(0,2),(0,4),(1,6),(2,5),(3,1),(3,5),(4,3),(5,6)],7)
 => ([(1,2),(2,3)],4)
 => ([(0,2),(2,1)],3)
 => 1
([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
 => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
 => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
 => 4
([(0,4),(0,5),(1,6),(2,6),(4,2),(5,1),(6,3)],7)
 => ([(0,3),(1,2),(2,4),(3,4)],5)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 0
([(0,3),(0,5),(1,6),(3,6),(4,1),(5,4),(6,2)],7)
 => ([(0,4),(1,2),(2,3),(3,4)],5)
 => ([(0,2),(2,1)],3)
 => 1
([(0,4),(1,6),(2,6),(4,5),(5,1),(5,2),(6,3)],7)
 => ([(0,3),(1,4),(2,4),(3,1),(3,2)],5)
 => ([],1)
 => ? ∊ {-1,-1,-1,-1,-1,-1,-1,-1,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1,3}

Description

The Frankl number of a lattice. For a lattice $L$ on at least two elements, this is $$ \max_x(|L|-2|[x, 1]|), $$ where we maximize over all join irreducible elements and $[x, 1]$ denotes the interval from $x$ to the top element. Frankl's conjecture asserts that this number is non-negative, and zero if and only if $L$ is a Boolean lattice.

Matching statistic: St000456

Mapping

Mp00263: Lattices —join irreducibles⟶ Posets
Mp00074: Posets —to graph⟶ Graphs
St000456: Graphs ⟶ ℤResult quality: 50% ●values known / values provided: 51%●distinct values known / distinct values provided: 50%

Values

([],1)
 => ([],0)
 => ?
 => ? = 1 + 1
([(0,1)],2)
 => ([],1)
 => ([],1)
 => ? = -1 + 1
([(0,2),(2,1)],3)
 => ([(0,1)],2)
 => ([(0,1)],2)
 => 1 = 0 + 1
([(0,1),(0,2),(1,3),(2,3)],4)
 => ([],2)
 => ([],2)
 => ? = 1 + 1
([(0,3),(2,1),(3,2)],4)
 => ([(0,2),(2,1)],3)
 => ([(0,2),(1,2)],3)
 => 1 = 0 + 1
([(0,1),(0,2),(0,3),(1,4),(2,4),(3,4)],5)
 => ([],3)
 => ([],3)
 => ? ∊ {1,2} + 1
([(0,2),(0,3),(1,4),(2,4),(3,1)],5)
 => ([(1,2)],3)
 => ([(1,2)],3)
 => ? ∊ {1,2} + 1
([(0,3),(1,4),(2,4),(3,1),(3,2)],5)
 => ([(0,1),(0,2)],3)
 => ([(0,2),(1,2)],3)
 => 1 = 0 + 1
([(0,4),(2,3),(3,1),(4,2)],5)
 => ([(0,3),(2,1),(3,2)],4)
 => ([(0,3),(1,2),(2,3)],4)
 => 1 = 0 + 1
([(0,2),(0,3),(2,4),(3,4),(4,1)],5)
 => ([(0,2),(1,2)],3)
 => ([(0,2),(1,2)],3)
 => 1 = 0 + 1
([(0,1),(0,2),(0,3),(0,4),(1,5),(2,5),(3,5),(4,5)],6)
 => ([],4)
 => ([],4)
 => ? ∊ {-1,-1,0,0,1,2,3} + 1
([(0,2),(0,3),(0,4),(1,5),(2,5),(3,5),(4,1)],6)
 => ([(2,3)],4)
 => ([(2,3)],4)
 => ? ∊ {-1,-1,0,0,1,2,3} + 1
([(0,3),(0,4),(1,5),(2,5),(3,5),(4,1),(4,2)],6)
 => ([(1,2),(1,3)],4)
 => ([(1,3),(2,3)],4)
 => ? ∊ {-1,-1,0,0,1,2,3} + 1
([(0,4),(1,5),(2,5),(3,5),(4,1),(4,2),(4,3)],6)
 => ([(0,1),(0,2),(0,3)],4)
 => ([(0,3),(1,3),(2,3)],4)
 => 1 = 0 + 1
([(0,4),(1,5),(2,5),(3,2),(4,1),(4,3)],6)
 => ([(0,2),(0,3),(3,1)],4)
 => ([(0,3),(1,2),(2,3)],4)
 => 1 = 0 + 1
([(0,4),(1,5),(2,5),(4,1),(4,2),(5,3)],6)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => ([(0,2),(0,3),(1,2),(1,3)],4)
 => 2 = 1 + 1
([(0,2),(0,4),(1,5),(2,5),(3,1),(4,3)],6)
 => ([(1,2),(2,3)],4)
 => ([(1,3),(2,3)],4)
 => ? ∊ {-1,-1,0,0,1,2,3} + 1
([(0,3),(1,5),(2,5),(3,4),(4,1),(4,2)],6)
 => ([(0,3),(3,1),(3,2)],4)
 => ([(0,3),(1,3),(2,3)],4)
 => 1 = 0 + 1
([(0,1),(0,2),(0,3),(1,5),(2,4),(3,4),(4,5)],6)
 => ([],3)
 => ([],3)
 => ? ∊ {-1,-1,0,0,1,2,3} + 1
([(0,2),(0,3),(2,5),(3,5),(4,1),(5,4)],6)
 => ([(0,3),(1,3),(3,2)],4)
 => ([(0,3),(1,3),(2,3)],4)
 => 1 = 0 + 1
([(0,2),(0,3),(0,4),(2,5),(3,5),(4,5),(5,1)],6)
 => ([(0,3),(1,3),(2,3)],4)
 => ([(0,3),(1,3),(2,3)],4)
 => 1 = 0 + 1
([(0,3),(0,4),(1,5),(2,5),(3,2),(4,1)],6)
 => ([(0,3),(1,2)],4)
 => ([(0,3),(1,2)],4)
 => ? ∊ {-1,-1,0,0,1,2,3} + 1
([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
 => ([(1,2)],3)
 => ([(1,2)],3)
 => ? ∊ {-1,-1,0,0,1,2,3} + 1
([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => ([(0,4),(1,3),(2,3),(2,4)],5)
 => 1 = 0 + 1
([(0,3),(0,4),(1,5),(3,5),(4,1),(5,2)],6)
 => ([(0,3),(1,2),(2,3)],4)
 => ([(0,3),(1,2),(2,3)],4)
 => 1 = 0 + 1
([(0,1),(0,2),(0,3),(0,4),(0,5),(1,6),(2,6),(3,6),(4,6),(5,6)],7)
 => ([],5)
 => ([],5)
 => ? ∊ {-1,-1,-1,-1,-1,-1,-1,-1,0,0,0,0,0,0,0,0,0,0,0,0,1,1,1,2,3,4} + 1
([(0,2),(0,3),(0,4),(0,5),(1,6),(2,6),(3,6),(4,6),(5,1)],7)
 => ([(3,4)],5)
 => ([(3,4)],5)
 => ? ∊ {-1,-1,-1,-1,-1,-1,-1,-1,0,0,0,0,0,0,0,0,0,0,0,0,1,1,1,2,3,4} + 1
([(0,3),(0,4),(0,5),(1,6),(2,6),(3,6),(4,6),(5,1),(5,2)],7)
 => ([(2,3),(2,4)],5)
 => ([(2,4),(3,4)],5)
 => ? ∊ {-1,-1,-1,-1,-1,-1,-1,-1,0,0,0,0,0,0,0,0,0,0,0,0,1,1,1,2,3,4} + 1
([(0,4),(0,5),(1,6),(2,6),(3,6),(4,6),(5,1),(5,2),(5,3)],7)
 => ([(1,2),(1,3),(1,4)],5)
 => ([(1,4),(2,4),(3,4)],5)
 => ? ∊ {-1,-1,-1,-1,-1,-1,-1,-1,0,0,0,0,0,0,0,0,0,0,0,0,1,1,1,2,3,4} + 1
([(0,5),(1,6),(2,6),(3,6),(4,6),(5,1),(5,2),(5,3),(5,4)],7)
 => ([(0,1),(0,2),(0,3),(0,4)],5)
 => ([(0,4),(1,4),(2,4),(3,4)],5)
 => 1 = 0 + 1
([(0,5),(1,6),(2,6),(3,6),(4,3),(5,1),(5,2),(5,4)],7)
 => ([(0,2),(0,3),(0,4),(4,1)],5)
 => ([(0,4),(1,4),(2,3),(3,4)],5)
 => 1 = 0 + 1
([(0,4),(1,6),(2,5),(3,5),(4,1),(4,2),(4,3),(5,6)],7)
 => ([(0,1),(0,2),(0,3)],4)
 => ([(0,3),(1,3),(2,3)],4)
 => 1 = 0 + 1
([(0,5),(1,6),(2,6),(3,6),(5,1),(5,2),(5,3),(6,4)],7)
 => ([(0,1),(0,2),(0,3),(1,4),(2,4),(3,4)],5)
 => ([(0,3),(0,4),(1,3),(1,4),(2,3),(2,4)],5)
 => 3 = 2 + 1
([(0,3),(0,5),(1,6),(2,6),(3,6),(4,2),(5,1),(5,4)],7)
 => ([(1,3),(1,4),(4,2)],5)
 => ([(1,4),(2,3),(3,4)],5)
 => ? ∊ {-1,-1,-1,-1,-1,-1,-1,-1,0,0,0,0,0,0,0,0,0,0,0,0,1,1,1,2,3,4} + 1
([(0,5),(1,6),(2,6),(3,6),(4,2),(4,3),(5,1),(5,4)],7)
 => ([(0,3),(0,4),(4,1),(4,2)],5)
 => ([(0,4),(1,4),(2,3),(3,4)],5)
 => 1 = 0 + 1
([(0,3),(0,4),(1,5),(2,5),(3,6),(4,1),(4,2),(5,6)],7)
 => ([(1,2),(1,3)],4)
 => ([(1,3),(2,3)],4)
 => ? ∊ {-1,-1,-1,-1,-1,-1,-1,-1,0,0,0,0,0,0,0,0,0,0,0,0,1,1,1,2,3,4} + 1
([(0,5),(2,6),(3,6),(4,1),(5,2),(5,3),(6,4)],7)
 => ([(0,2),(0,3),(2,4),(3,4),(4,1)],5)
 => ([(0,4),(1,2),(1,3),(2,4),(3,4)],5)
 => 2 = 1 + 1
([(0,5),(1,6),(2,6),(3,2),(4,1),(5,3),(5,4)],7)
 => ([(0,3),(0,4),(3,2),(4,1)],5)
 => ([(0,4),(1,3),(2,3),(2,4)],5)
 => 1 = 0 + 1
([(0,4),(1,6),(2,5),(3,1),(3,5),(4,2),(4,3),(5,6)],7)
 => ([(0,2),(0,3),(3,1)],4)
 => ([(0,3),(1,2),(2,3)],4)
 => 1 = 0 + 1
([(0,2),(0,3),(0,5),(1,6),(2,6),(3,6),(4,1),(5,4)],7)
 => ([(2,3),(3,4)],5)
 => ([(2,4),(3,4)],5)
 => ? ∊ {-1,-1,-1,-1,-1,-1,-1,-1,0,0,0,0,0,0,0,0,0,0,0,0,1,1,1,2,3,4} + 1
([(0,3),(0,4),(1,6),(2,6),(3,6),(4,5),(5,1),(5,2)],7)
 => ([(1,4),(4,2),(4,3)],5)
 => ([(1,4),(2,4),(3,4)],5)
 => ? ∊ {-1,-1,-1,-1,-1,-1,-1,-1,0,0,0,0,0,0,0,0,0,0,0,0,1,1,1,2,3,4} + 1
([(0,4),(1,6),(2,6),(3,6),(4,5),(5,1),(5,2),(5,3)],7)
 => ([(0,4),(4,1),(4,2),(4,3)],5)
 => ([(0,4),(1,4),(2,4),(3,4)],5)
 => 1 = 0 + 1
([(0,1),(0,2),(0,3),(0,4),(1,6),(2,6),(3,5),(4,5),(5,6)],7)
 => ([],4)
 => ([],4)
 => ? ∊ {-1,-1,-1,-1,-1,-1,-1,-1,0,0,0,0,0,0,0,0,0,0,0,0,1,1,1,2,3,4} + 1
([(0,2),(0,3),(0,4),(1,5),(2,6),(3,6),(4,5),(6,1)],7)
 => ([(1,3),(2,3)],4)
 => ([(1,3),(2,3)],4)
 => ? ∊ {-1,-1,-1,-1,-1,-1,-1,-1,0,0,0,0,0,0,0,0,0,0,0,0,1,1,1,2,3,4} + 1
([(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)
 => ([(0,2),(0,3),(1,2),(1,3)],4)
 => 2 = 1 + 1
([(0,1),(0,2),(0,3),(0,4),(1,6),(2,6),(3,6),(4,5),(6,5)],7)
 => ([],4)
 => ([],4)
 => ? ∊ {-1,-1,-1,-1,-1,-1,-1,-1,0,0,0,0,0,0,0,0,0,0,0,0,1,1,1,2,3,4} + 1
([(0,2),(0,3),(0,4),(2,6),(3,6),(4,6),(5,1),(6,5)],7)
 => ([(0,4),(1,4),(2,4),(4,3)],5)
 => ([(0,4),(1,4),(2,4),(3,4)],5)
 => 1 = 0 + 1
([(0,2),(0,3),(0,4),(0,5),(2,6),(3,6),(4,6),(5,6),(6,1)],7)
 => ([(0,4),(1,4),(2,4),(3,4)],5)
 => ([(0,4),(1,4),(2,4),(3,4)],5)
 => 1 = 0 + 1
([(0,2),(0,3),(0,4),(1,6),(2,5),(3,5),(4,1),(5,6)],7)
 => ([(2,3)],4)
 => ([(2,3)],4)
 => ? ∊ {-1,-1,-1,-1,-1,-1,-1,-1,0,0,0,0,0,0,0,0,0,0,0,0,1,1,1,2,3,4} + 1
([(0,1),(0,2),(0,3),(1,5),(2,4),(3,4),(3,5),(4,6),(5,6)],7)
 => ([],3)
 => ([],3)
 => ? ∊ {-1,-1,-1,-1,-1,-1,-1,-1,0,0,0,0,0,0,0,0,0,0,0,0,1,1,1,2,3,4} + 1
([(0,2),(0,3),(2,6),(3,6),(4,1),(5,4),(6,5)],7)
 => ([(0,4),(1,4),(2,3),(4,2)],5)
 => ([(0,4),(1,4),(2,3),(3,4)],5)
 => 1 = 0 + 1
([(0,2),(0,3),(0,4),(2,6),(3,5),(4,5),(5,6),(6,1)],7)
 => ([(0,3),(1,3),(2,3)],4)
 => ([(0,3),(1,3),(2,3)],4)
 => 1 = 0 + 1
([(0,2),(0,3),(0,4),(1,5),(2,6),(3,6),(4,1),(4,6),(6,5)],7)
 => ([(2,3)],4)
 => ([(2,3)],4)
 => ? ∊ {-1,-1,-1,-1,-1,-1,-1,-1,0,0,0,0,0,0,0,0,0,0,0,0,1,1,1,2,3,4} + 1
([(0,3),(0,4),(0,5),(1,6),(3,6),(4,6),(5,1),(6,2)],7)
 => ([(0,4),(1,4),(2,3),(3,4)],5)
 => ([(0,4),(1,4),(2,3),(3,4)],5)
 => 1 = 0 + 1
([(0,3),(0,4),(0,5),(1,6),(2,6),(3,6),(4,2),(5,1)],7)
 => ([(1,4),(2,3)],5)
 => ([(1,4),(2,3)],5)
 => ? ∊ {-1,-1,-1,-1,-1,-1,-1,-1,0,0,0,0,0,0,0,0,0,0,0,0,1,1,1,2,3,4} + 1
([(0,2),(0,3),(0,4),(1,6),(2,6),(3,5),(4,1),(4,5),(5,6)],7)
 => ([(2,3)],4)
 => ([(2,3)],4)
 => ? ∊ {-1,-1,-1,-1,-1,-1,-1,-1,0,0,0,0,0,0,0,0,0,0,0,0,1,1,1,2,3,4} + 1
([(0,2),(0,4),(1,6),(2,5),(3,1),(4,3),(4,5),(5,6)],7)
 => ([(1,2),(2,3)],4)
 => ([(1,3),(2,3)],4)
 => ? ∊ {-1,-1,-1,-1,-1,-1,-1,-1,0,0,0,0,0,0,0,0,0,0,0,0,1,1,1,2,3,4} + 1
([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7)
 => ([(0,3),(1,2),(2,3)],4)
 => ([(0,3),(1,2),(2,3)],4)
 => 1 = 0 + 1
([(0,3),(0,4),(1,5),(2,5),(3,6),(4,2),(4,6),(6,1)],7)
 => ([(0,3),(1,2),(1,3)],4)
 => ([(0,3),(1,2),(2,3)],4)
 => 1 = 0 + 1
([(0,4),(0,5),(1,6),(2,6),(3,6),(4,3),(5,1),(5,2)],7)
 => ([(0,4),(1,2),(1,3)],5)
 => ([(0,1),(2,4),(3,4)],5)
 => ? ∊ {-1,-1,-1,-1,-1,-1,-1,-1,0,0,0,0,0,0,0,0,0,0,0,0,1,1,1,2,3,4} + 1
([(0,3),(0,4),(1,6),(2,6),(3,5),(4,1),(4,2),(4,5),(5,6)],7)
 => ([(1,2),(1,3)],4)
 => ([(1,3),(2,3)],4)
 => ? ∊ {-1,-1,-1,-1,-1,-1,-1,-1,0,0,0,0,0,0,0,0,0,0,0,0,1,1,1,2,3,4} + 1
([(0,5),(1,6),(2,6),(3,4),(4,2),(5,1),(5,3)],7)
 => ([(0,2),(0,4),(3,1),(4,3)],5)
 => ([(0,4),(1,3),(2,3),(2,4)],5)
 => 1 = 0 + 1
([(0,3),(0,4),(1,6),(2,5),(3,5),(4,1),(4,2),(5,6)],7)
 => ([(1,2),(1,3)],4)
 => ([(1,3),(2,3)],4)
 => ? ∊ {-1,-1,-1,-1,-1,-1,-1,-1,0,0,0,0,0,0,0,0,0,0,0,0,1,1,1,2,3,4} + 1
([(0,5),(1,6),(2,6),(4,2),(5,1),(5,4),(6,3)],7)
 => ([(0,2),(0,3),(1,4),(2,4),(3,1)],5)
 => ([(0,3),(0,4),(1,2),(1,4),(2,3)],5)
 => 2 = 1 + 1
([(0,4),(0,5),(1,6),(2,6),(4,6),(5,1),(5,2),(6,3)],7)
 => ([(0,4),(1,2),(1,3),(2,4),(3,4)],5)
 => ([(0,4),(1,2),(1,3),(2,4),(3,4)],5)
 => 2 = 1 + 1
([(0,3),(0,4),(1,6),(2,6),(3,2),(3,5),(4,1),(4,5),(5,6)],7)
 => ([(0,3),(1,2)],4)
 => ([(0,3),(1,2)],4)
 => ? ∊ {-1,-1,-1,-1,-1,-1,-1,-1,0,0,0,0,0,0,0,0,0,0,0,0,1,1,1,2,3,4} + 1
([(0,3),(0,4),(1,6),(2,5),(3,2),(4,1),(4,5),(5,6)],7)
 => ([(0,3),(1,2)],4)
 => ([(0,3),(1,2)],4)
 => ? ∊ {-1,-1,-1,-1,-1,-1,-1,-1,0,0,0,0,0,0,0,0,0,0,0,0,1,1,1,2,3,4} + 1
([(0,2),(0,5),(1,6),(2,6),(3,4),(4,1),(5,3)],7)
 => ([(1,4),(3,2),(4,3)],5)
 => ([(1,4),(2,3),(3,4)],5)
 => ? ∊ {-1,-1,-1,-1,-1,-1,-1,-1,0,0,0,0,0,0,0,0,0,0,0,0,1,1,1,2,3,4} + 1
([(0,4),(1,6),(2,6),(3,5),(4,3),(5,1),(5,2)],7)
 => ([(0,3),(3,4),(4,1),(4,2)],5)
 => ([(0,4),(1,4),(2,3),(3,4)],5)
 => 1 = 0 + 1
([(0,2),(0,3),(0,4),(1,5),(2,6),(3,5),(4,1),(5,6)],7)
 => ([(2,3)],4)
 => ([(2,3)],4)
 => ? ∊ {-1,-1,-1,-1,-1,-1,-1,-1,0,0,0,0,0,0,0,0,0,0,0,0,1,1,1,2,3,4} + 1
([(0,3),(0,5),(2,6),(3,6),(4,1),(5,2),(6,4)],7)
 => ([(0,4),(1,2),(2,4),(4,3)],5)
 => ([(0,4),(1,4),(2,3),(3,4)],5)
 => 1 = 0 + 1
([(0,4),(0,5),(1,6),(2,6),(3,2),(4,3),(5,1)],7)
 => ([(0,3),(1,4),(4,2)],5)
 => ([(0,1),(2,4),(3,4)],5)
 => ? ∊ {-1,-1,-1,-1,-1,-1,-1,-1,0,0,0,0,0,0,0,0,0,0,0,0,1,1,1,2,3,4} + 1
([(0,4),(1,6),(2,6),(3,2),(4,5),(5,1),(5,3)],7)
 => ([(0,4),(3,2),(4,1),(4,3)],5)
 => ([(0,4),(1,4),(2,3),(3,4)],5)
 => 1 = 0 + 1
([(0,2),(0,4),(1,6),(2,5),(3,1),(3,5),(4,3),(5,6)],7)
 => ([(1,2),(2,3)],4)
 => ([(1,3),(2,3)],4)
 => ? ∊ {-1,-1,-1,-1,-1,-1,-1,-1,0,0,0,0,0,0,0,0,0,0,0,0,1,1,1,2,3,4} + 1
([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
 => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
 => ([(0,5),(1,4),(2,3),(2,4),(3,5)],6)
 => 1 = 0 + 1
([(0,4),(0,5),(1,6),(2,6),(4,2),(5,1),(6,3)],7)
 => ([(0,3),(1,2),(2,4),(3,4)],5)
 => ([(0,4),(1,3),(2,3),(2,4)],5)
 => 1 = 0 + 1
([(0,3),(0,5),(1,6),(3,6),(4,1),(5,4),(6,2)],7)
 => ([(0,4),(1,2),(2,3),(3,4)],5)
 => ([(0,4),(1,3),(2,3),(2,4)],5)
 => 1 = 0 + 1
([(0,4),(1,6),(2,6),(4,5),(5,1),(5,2),(6,3)],7)
 => ([(0,3),(1,4),(2,4),(3,1),(3,2)],5)
 => ([(0,4),(1,2),(1,3),(2,4),(3,4)],5)
 => 2 = 1 + 1

Description

The monochromatic index of a connected graph. This is the maximal number of colours such that there is a colouring of the edges where any two vertices can be joined by a monochromatic path. For example, a circle graph other than the triangle can be coloured with at most two colours: one edge blue, all the others red.

Matching statistic: St001632
(load all 2 compositions to match this statistic)

Mapping

Mp00196: Lattices —The modular quotient of a lattice.⟶ Lattices
Mp00263: Lattices —join irreducibles⟶ Posets
St001632: Posets ⟶ ℤResult quality: 50% ●values known / values provided: 51%●distinct values known / distinct values provided: 50%

Values

([],1)
 => ([],1)
 => ([],0)
 => ? = 1 + 1
([(0,1)],2)
 => ([(0,1)],2)
 => ([],1)
 => ? = -1 + 1
([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => ([(0,1)],2)
 => 1 = 0 + 1
([(0,1),(0,2),(1,3),(2,3)],4)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => ([],2)
 => ? = 1 + 1
([(0,3),(2,1),(3,2)],4)
 => ([(0,3),(2,1),(3,2)],4)
 => ([(0,2),(2,1)],3)
 => 1 = 0 + 1
([(0,1),(0,2),(0,3),(1,4),(2,4),(3,4)],5)
 => ([(0,1),(0,2),(0,3),(1,4),(2,4),(3,4)],5)
 => ([],3)
 => ? ∊ {0,2} + 1
([(0,2),(0,3),(1,4),(2,4),(3,1)],5)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => ([],2)
 => ? ∊ {0,2} + 1
([(0,3),(1,4),(2,4),(3,1),(3,2)],5)
 => ([(0,3),(1,4),(2,4),(3,1),(3,2)],5)
 => ([(0,1),(0,2)],3)
 => 2 = 1 + 1
([(0,4),(2,3),(3,1),(4,2)],5)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => ([(0,3),(2,1),(3,2)],4)
 => 1 = 0 + 1
([(0,2),(0,3),(2,4),(3,4),(4,1)],5)
 => ([(0,2),(0,3),(2,4),(3,4),(4,1)],5)
 => ([(0,2),(1,2)],3)
 => 1 = 0 + 1
([(0,1),(0,2),(0,3),(0,4),(1,5),(2,5),(3,5),(4,5)],6)
 => ([(0,1),(0,2),(0,3),(0,4),(1,5),(2,5),(3,5),(4,5)],6)
 => ([],4)
 => ? ∊ {0,0,0,0,0,2,3} + 1
([(0,2),(0,3),(0,4),(1,5),(2,5),(3,5),(4,1)],6)
 => ([(0,1),(0,2),(0,3),(1,4),(2,4),(3,4)],5)
 => ([],3)
 => ? ∊ {0,0,0,0,0,2,3} + 1
([(0,3),(0,4),(1,5),(2,5),(3,5),(4,1),(4,2)],6)
 => ([(0,1)],2)
 => ([],1)
 => ? ∊ {0,0,0,0,0,2,3} + 1
([(0,4),(1,5),(2,5),(3,5),(4,1),(4,2),(4,3)],6)
 => ([(0,4),(1,5),(2,5),(3,5),(4,1),(4,2),(4,3)],6)
 => ([(0,1),(0,2),(0,3)],4)
 => 0 = -1 + 1
([(0,4),(1,5),(2,5),(3,2),(4,1),(4,3)],6)
 => ([(0,3),(1,4),(2,4),(3,1),(3,2)],5)
 => ([(0,1),(0,2)],3)
 => 2 = 1 + 1
([(0,4),(1,5),(2,5),(4,1),(4,2),(5,3)],6)
 => ([(0,4),(1,5),(2,5),(4,1),(4,2),(5,3)],6)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 2 = 1 + 1
([(0,2),(0,4),(1,5),(2,5),(3,1),(4,3)],6)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => ([],2)
 => ? ∊ {0,0,0,0,0,2,3} + 1
([(0,3),(1,5),(2,5),(3,4),(4,1),(4,2)],6)
 => ([(0,3),(1,5),(2,5),(3,4),(4,1),(4,2)],6)
 => ([(0,3),(3,1),(3,2)],4)
 => 1 = 0 + 1
([(0,1),(0,2),(0,3),(1,5),(2,4),(3,4),(4,5)],6)
 => ([(0,1)],2)
 => ([],1)
 => ? ∊ {0,0,0,0,0,2,3} + 1
([(0,2),(0,3),(2,5),(3,5),(4,1),(5,4)],6)
 => ([(0,2),(0,3),(2,5),(3,5),(4,1),(5,4)],6)
 => ([(0,3),(1,3),(3,2)],4)
 => 1 = 0 + 1
([(0,2),(0,3),(0,4),(2,5),(3,5),(4,5),(5,1)],6)
 => ([(0,2),(0,3),(0,4),(2,5),(3,5),(4,5),(5,1)],6)
 => ([(0,3),(1,3),(2,3)],4)
 => 0 = -1 + 1
([(0,3),(0,4),(1,5),(2,5),(3,2),(4,1)],6)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => ([],2)
 => ? ∊ {0,0,0,0,0,2,3} + 1
([(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)
 => ([(1,2)],3)
 => ? ∊ {0,0,0,0,0,2,3} + 1
([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
 => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => 1 = 0 + 1
([(0,3),(0,4),(1,5),(3,5),(4,1),(5,2)],6)
 => ([(0,2),(0,3),(2,4),(3,4),(4,1)],5)
 => ([(0,2),(1,2)],3)
 => 1 = 0 + 1
([(0,1),(0,2),(0,3),(0,4),(0,5),(1,6),(2,6),(3,6),(4,6),(5,6)],7)
 => ([(0,1),(0,2),(0,3),(0,4),(0,5),(1,6),(2,6),(3,6),(4,6),(5,6)],7)
 => ([],5)
 => ? ∊ {-1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1,2,2,3,4} + 1
([(0,2),(0,3),(0,4),(0,5),(1,6),(2,6),(3,6),(4,6),(5,1)],7)
 => ([(0,1),(0,2),(0,3),(0,4),(1,5),(2,5),(3,5),(4,5)],6)
 => ([],4)
 => ? ∊ {-1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1,2,2,3,4} + 1
([(0,3),(0,4),(0,5),(1,6),(2,6),(3,6),(4,6),(5,1),(5,2)],7)
 => ([],1)
 => ([],0)
 => ? ∊ {-1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1,2,2,3,4} + 1
([(0,4),(0,5),(1,6),(2,6),(3,6),(4,6),(5,1),(5,2),(5,3)],7)
 => ([(0,1)],2)
 => ([],1)
 => ? ∊ {-1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1,2,2,3,4} + 1
([(0,5),(1,6),(2,6),(3,6),(4,6),(5,1),(5,2),(5,3),(5,4)],7)
 => ([(0,5),(1,6),(2,6),(3,6),(4,6),(5,1),(5,2),(5,3),(5,4)],7)
 => ([(0,1),(0,2),(0,3),(0,4)],5)
 => 0 = -1 + 1
([(0,5),(1,6),(2,6),(3,6),(4,3),(5,1),(5,2),(5,4)],7)
 => ([(0,4),(1,5),(2,5),(3,5),(4,1),(4,2),(4,3)],6)
 => ([(0,1),(0,2),(0,3)],4)
 => 0 = -1 + 1
([(0,4),(1,6),(2,5),(3,5),(4,1),(4,2),(4,3),(5,6)],7)
 => ([(0,2),(2,1)],3)
 => ([(0,1)],2)
 => 1 = 0 + 1
([(0,5),(1,6),(2,6),(3,6),(5,1),(5,2),(5,3),(6,4)],7)
 => ([(0,5),(1,6),(2,6),(3,6),(5,1),(5,2),(5,3),(6,4)],7)
 => ([(0,1),(0,2),(0,3),(1,4),(2,4),(3,4)],5)
 => 0 = -1 + 1
([(0,3),(0,5),(1,6),(2,6),(3,6),(4,2),(5,1),(5,4)],7)
 => ([(0,1)],2)
 => ([],1)
 => ? ∊ {-1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1,2,2,3,4} + 1
([(0,5),(1,6),(2,6),(3,6),(4,2),(4,3),(5,1),(5,4)],7)
 => ([(0,2),(2,1)],3)
 => ([(0,1)],2)
 => 1 = 0 + 1
([(0,3),(0,4),(1,5),(2,5),(3,6),(4,1),(4,2),(5,6)],7)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => ([],2)
 => ? ∊ {-1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1,2,2,3,4} + 1
([(0,5),(2,6),(3,6),(4,1),(5,2),(5,3),(6,4)],7)
 => ([(0,5),(2,6),(3,6),(4,1),(5,2),(5,3),(6,4)],7)
 => ([(0,2),(0,3),(2,4),(3,4),(4,1)],5)
 => 2 = 1 + 1
([(0,5),(1,6),(2,6),(3,2),(4,1),(5,3),(5,4)],7)
 => ([(0,3),(1,4),(2,4),(3,1),(3,2)],5)
 => ([(0,1),(0,2)],3)
 => 2 = 1 + 1
([(0,4),(1,6),(2,5),(3,1),(3,5),(4,2),(4,3),(5,6)],7)
 => ([(0,4),(1,6),(2,5),(3,1),(3,5),(4,2),(4,3),(5,6)],7)
 => ([(0,2),(0,3),(3,1)],4)
 => 2 = 1 + 1
([(0,2),(0,3),(0,5),(1,6),(2,6),(3,6),(4,1),(5,4)],7)
 => ([(0,1),(0,2),(0,3),(1,4),(2,4),(3,4)],5)
 => ([],3)
 => ? ∊ {-1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1,2,2,3,4} + 1
([(0,3),(0,4),(1,6),(2,6),(3,6),(4,5),(5,1),(5,2)],7)
 => ([(0,1)],2)
 => ([],1)
 => ? ∊ {-1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1,2,2,3,4} + 1
([(0,4),(1,6),(2,6),(3,6),(4,5),(5,1),(5,2),(5,3)],7)
 => ([(0,4),(1,6),(2,6),(3,6),(4,5),(5,1),(5,2),(5,3)],7)
 => ([(0,4),(4,1),(4,2),(4,3)],5)
 => 1 = 0 + 1
([(0,1),(0,2),(0,3),(0,4),(1,6),(2,6),(3,5),(4,5),(5,6)],7)
 => ([],1)
 => ([],0)
 => ? ∊ {-1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1,2,2,3,4} + 1
([(0,2),(0,3),(0,4),(1,5),(2,6),(3,6),(4,5),(6,1)],7)
 => ([(0,1)],2)
 => ([],1)
 => ? ∊ {-1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1,2,2,3,4} + 1
([(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,2),(0,3),(1,2),(1,3)],4)
 => 0 = -1 + 1
([(0,1),(0,2),(0,3),(0,4),(1,6),(2,6),(3,6),(4,5),(6,5)],7)
 => ([(0,1)],2)
 => ([],1)
 => ? ∊ {-1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1,2,2,3,4} + 1
([(0,2),(0,3),(0,4),(2,6),(3,6),(4,6),(5,1),(6,5)],7)
 => ([(0,2),(0,3),(0,4),(2,6),(3,6),(4,6),(5,1),(6,5)],7)
 => ([(0,4),(1,4),(2,4),(4,3)],5)
 => 0 = -1 + 1
([(0,2),(0,3),(0,4),(0,5),(2,6),(3,6),(4,6),(5,6),(6,1)],7)
 => ([(0,2),(0,3),(0,4),(0,5),(2,6),(3,6),(4,6),(5,6),(6,1)],7)
 => ([(0,4),(1,4),(2,4),(3,4)],5)
 => 0 = -1 + 1
([(0,2),(0,3),(0,4),(1,6),(2,5),(3,5),(4,1),(5,6)],7)
 => ([(0,1)],2)
 => ([],1)
 => ? ∊ {-1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1,2,2,3,4} + 1
([(0,1),(0,2),(0,3),(1,5),(2,4),(3,4),(3,5),(4,6),(5,6)],7)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => ([],2)
 => ? ∊ {-1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1,2,2,3,4} + 1
([(0,2),(0,3),(2,6),(3,6),(4,1),(5,4),(6,5)],7)
 => ([(0,2),(0,3),(2,6),(3,6),(4,1),(5,4),(6,5)],7)
 => ([(0,4),(1,4),(2,3),(4,2)],5)
 => 1 = 0 + 1
([(0,2),(0,3),(0,4),(2,6),(3,5),(4,5),(5,6),(6,1)],7)
 => ([(0,2),(2,1)],3)
 => ([(0,1)],2)
 => 1 = 0 + 1
([(0,2),(0,3),(0,4),(1,5),(2,6),(3,6),(4,1),(4,6),(6,5)],7)
 => ([(0,2),(0,3),(0,4),(1,5),(2,6),(3,6),(4,1),(4,6),(6,5)],7)
 => ([(2,3)],4)
 => ? ∊ {-1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1,2,2,3,4} + 1
([(0,3),(0,4),(0,5),(1,6),(3,6),(4,6),(5,1),(6,2)],7)
 => ([(0,2),(0,3),(0,4),(2,5),(3,5),(4,5),(5,1)],6)
 => ([(0,3),(1,3),(2,3)],4)
 => 0 = -1 + 1
([(0,3),(0,4),(0,5),(1,6),(2,6),(3,6),(4,2),(5,1)],7)
 => ([(0,1),(0,2),(0,3),(1,4),(2,4),(3,4)],5)
 => ([],3)
 => ? ∊ {-1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1,2,2,3,4} + 1
([(0,2),(0,3),(0,4),(1,6),(2,6),(3,5),(4,1),(4,5),(5,6)],7)
 => ([],1)
 => ([],0)
 => ? ∊ {-1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1,2,2,3,4} + 1
([(0,2),(0,4),(1,6),(2,5),(3,1),(4,3),(4,5),(5,6)],7)
 => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
 => ([(1,2)],3)
 => ? ∊ {-1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1,2,2,3,4} + 1
([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7)
 => ([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7)
 => ([(0,3),(1,2),(2,3)],4)
 => 1 = 0 + 1
([(0,3),(0,4),(1,5),(2,5),(3,6),(4,2),(4,6),(6,1)],7)
 => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
 => ([(1,2)],3)
 => ? ∊ {-1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1,2,2,3,4} + 1
([(0,4),(0,5),(1,6),(2,6),(3,6),(4,3),(5,1),(5,2)],7)
 => ([(0,1)],2)
 => ([],1)
 => ? ∊ {-1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1,2,2,3,4} + 1
([(0,3),(0,4),(1,6),(2,6),(3,5),(4,1),(4,2),(4,5),(5,6)],7)
 => ([(0,3),(0,4),(1,6),(2,6),(3,5),(4,1),(4,2),(4,5),(5,6)],7)
 => ([(1,2),(1,3)],4)
 => ? ∊ {-1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1,2,2,3,4} + 1
([(0,5),(1,6),(2,6),(3,4),(4,2),(5,1),(5,3)],7)
 => ([(0,3),(1,4),(2,4),(3,1),(3,2)],5)
 => ([(0,1),(0,2)],3)
 => 2 = 1 + 1
([(0,3),(0,4),(1,6),(2,5),(3,5),(4,1),(4,2),(5,6)],7)
 => ([(0,2),(2,1)],3)
 => ([(0,1)],2)
 => 1 = 0 + 1
([(0,5),(1,6),(2,6),(4,2),(5,1),(5,4),(6,3)],7)
 => ([(0,4),(1,5),(2,5),(4,1),(4,2),(5,3)],6)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 2 = 1 + 1
([(0,4),(0,5),(1,6),(2,6),(4,6),(5,1),(5,2),(6,3)],7)
 => ([(0,2),(2,1)],3)
 => ([(0,1)],2)
 => 1 = 0 + 1
([(0,3),(0,4),(1,6),(2,6),(3,2),(3,5),(4,1),(4,5),(5,6)],7)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => ([],2)
 => ? ∊ {-1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1,2,2,3,4} + 1
([(0,3),(0,4),(1,6),(2,5),(3,2),(4,1),(4,5),(5,6)],7)
 => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
 => ([(1,2)],3)
 => ? ∊ {-1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1,2,2,3,4} + 1
([(0,2),(0,5),(1,6),(2,6),(3,4),(4,1),(5,3)],7)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => ([],2)
 => ? ∊ {-1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1,2,2,3,4} + 1
([(0,4),(1,6),(2,6),(3,5),(4,3),(5,1),(5,2)],7)
 => ([(0,4),(1,6),(2,6),(3,5),(4,3),(5,1),(5,2)],7)
 => ([(0,3),(3,4),(4,1),(4,2)],5)
 => 1 = 0 + 1
([(0,2),(0,3),(0,4),(1,5),(2,6),(3,5),(4,1),(5,6)],7)
 => ([(0,1)],2)
 => ([],1)
 => ? ∊ {-1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1,2,2,3,4} + 1
([(0,3),(0,5),(2,6),(3,6),(4,1),(5,2),(6,4)],7)
 => ([(0,2),(0,3),(2,5),(3,5),(4,1),(5,4)],6)
 => ([(0,3),(1,3),(3,2)],4)
 => 1 = 0 + 1
([(0,4),(0,5),(1,6),(2,6),(3,2),(4,3),(5,1)],7)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => ([],2)
 => ? ∊ {-1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1,2,2,3,4} + 1
([(0,4),(1,6),(2,6),(3,2),(4,5),(5,1),(5,3)],7)
 => ([(0,3),(1,5),(2,5),(3,4),(4,1),(4,2)],6)
 => ([(0,3),(3,1),(3,2)],4)
 => 1 = 0 + 1
([(0,2),(0,4),(1,6),(2,5),(3,1),(3,5),(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,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1,2,2,3,4} + 1
([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
 => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
 => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
 => 1 = 0 + 1
([(0,4),(0,5),(1,6),(2,6),(4,2),(5,1),(6,3)],7)
 => ([(0,2),(0,3),(2,4),(3,4),(4,1)],5)
 => ([(0,2),(1,2)],3)
 => 1 = 0 + 1
([(0,3),(0,5),(1,6),(3,6),(4,1),(5,4),(6,2)],7)
 => ([(0,2),(0,3),(2,4),(3,4),(4,1)],5)
 => ([(0,2),(1,2)],3)
 => 1 = 0 + 1
([(0,4),(1,6),(2,6),(4,5),(5,1),(5,2),(6,3)],7)
 => ([(0,4),(1,6),(2,6),(4,5),(5,1),(5,2),(6,3)],7)
 => ([(0,3),(1,4),(2,4),(3,1),(3,2)],5)
 => 2 = 1 + 1

Description

The number of indecomposable injective modules $I$ with $dim Ext^1(I,A)=1$ for the incidence algebra A of a poset.

Matching statistic: St001878
(load all 5 compositions to match this statistic)

Mapping

Mp00193: Lattices —to poset⟶ Posets
Mp00206: Posets —antichains of maximal size⟶ Lattices
St001878: Lattices ⟶ ℤResult quality: 29% ●values known / values provided: 29%●distinct values known / distinct values provided: 33%

Values

([],1)
 => ([],1)
 => ([],1)
 => ? = 1 + 1
([(0,1)],2)
 => ([(0,1)],2)
 => ([(0,1)],2)
 => ? = -1 + 1
([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => 1 = 0 + 1
([(0,1),(0,2),(1,3),(2,3)],4)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => ([],1)
 => ? = 1 + 1
([(0,3),(2,1),(3,2)],4)
 => ([(0,3),(2,1),(3,2)],4)
 => ([(0,3),(2,1),(3,2)],4)
 => 1 = 0 + 1
([(0,1),(0,2),(0,3),(1,4),(2,4),(3,4)],5)
 => ([(0,1),(0,2),(0,3),(1,4),(2,4),(3,4)],5)
 => ([],1)
 => ? ∊ {0,0,1,2} + 1
([(0,2),(0,3),(1,4),(2,4),(3,1)],5)
 => ([(0,2),(0,3),(1,4),(2,4),(3,1)],5)
 => ([(0,1)],2)
 => ? ∊ {0,0,1,2} + 1
([(0,3),(1,4),(2,4),(3,1),(3,2)],5)
 => ([(0,3),(1,4),(2,4),(3,1),(3,2)],5)
 => ([],1)
 => ? ∊ {0,0,1,2} + 1
([(0,4),(2,3),(3,1),(4,2)],5)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => 1 = 0 + 1
([(0,2),(0,3),(2,4),(3,4),(4,1)],5)
 => ([(0,2),(0,3),(2,4),(3,4),(4,1)],5)
 => ([],1)
 => ? ∊ {0,0,1,2} + 1
([(0,1),(0,2),(0,3),(0,4),(1,5),(2,5),(3,5),(4,5)],6)
 => ([(0,1),(0,2),(0,3),(0,4),(1,5),(2,5),(3,5),(4,5)],6)
 => ([],1)
 => ? ∊ {-1,-1,0,0,0,0,0,0,1,2,3} + 1
([(0,2),(0,3),(0,4),(1,5),(2,5),(3,5),(4,1)],6)
 => ([(0,2),(0,3),(0,4),(1,5),(2,5),(3,5),(4,1)],6)
 => ([(0,1)],2)
 => ? ∊ {-1,-1,0,0,0,0,0,0,1,2,3} + 1
([(0,3),(0,4),(1,5),(2,5),(3,5),(4,1),(4,2)],6)
 => ([(0,3),(0,4),(1,5),(2,5),(3,5),(4,1),(4,2)],6)
 => ([],1)
 => ? ∊ {-1,-1,0,0,0,0,0,0,1,2,3} + 1
([(0,4),(1,5),(2,5),(3,5),(4,1),(4,2),(4,3)],6)
 => ([(0,4),(1,5),(2,5),(3,5),(4,1),(4,2),(4,3)],6)
 => ([],1)
 => ? ∊ {-1,-1,0,0,0,0,0,0,1,2,3} + 1
([(0,4),(1,5),(2,5),(3,2),(4,1),(4,3)],6)
 => ([(0,4),(1,5),(2,5),(3,2),(4,1),(4,3)],6)
 => ([(0,1)],2)
 => ? ∊ {-1,-1,0,0,0,0,0,0,1,2,3} + 1
([(0,4),(1,5),(2,5),(4,1),(4,2),(5,3)],6)
 => ([(0,4),(1,5),(2,5),(4,1),(4,2),(5,3)],6)
 => ([],1)
 => ? ∊ {-1,-1,0,0,0,0,0,0,1,2,3} + 1
([(0,2),(0,4),(1,5),(2,5),(3,1),(4,3)],6)
 => ([(0,2),(0,4),(1,5),(2,5),(3,1),(4,3)],6)
 => ([(0,2),(2,1)],3)
 => 1 = 0 + 1
([(0,3),(1,5),(2,5),(3,4),(4,1),(4,2)],6)
 => ([(0,3),(1,5),(2,5),(3,4),(4,1),(4,2)],6)
 => ([],1)
 => ? ∊ {-1,-1,0,0,0,0,0,0,1,2,3} + 1
([(0,1),(0,2),(0,3),(1,5),(2,4),(3,4),(4,5)],6)
 => ([(0,1),(0,2),(0,3),(1,5),(2,4),(3,4),(4,5)],6)
 => ([],1)
 => ? ∊ {-1,-1,0,0,0,0,0,0,1,2,3} + 1
([(0,2),(0,3),(2,5),(3,5),(4,1),(5,4)],6)
 => ([(0,2),(0,3),(2,5),(3,5),(4,1),(5,4)],6)
 => ([],1)
 => ? ∊ {-1,-1,0,0,0,0,0,0,1,2,3} + 1
([(0,2),(0,3),(0,4),(2,5),(3,5),(4,5),(5,1)],6)
 => ([(0,2),(0,3),(0,4),(2,5),(3,5),(4,5),(5,1)],6)
 => ([],1)
 => ? ∊ {-1,-1,0,0,0,0,0,0,1,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,2),(4,1)],6)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 2 = 1 + 1
([(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,2),(2,1)],3)
 => 1 = 0 + 1
([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
 => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
 => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
 => 1 = 0 + 1
([(0,3),(0,4),(1,5),(3,5),(4,1),(5,2)],6)
 => ([(0,3),(0,4),(1,5),(3,5),(4,1),(5,2)],6)
 => ([(0,1)],2)
 => ? ∊ {-1,-1,0,0,0,0,0,0,1,2,3} + 1
([(0,1),(0,2),(0,3),(0,4),(0,5),(1,6),(2,6),(3,6),(4,6),(5,6)],7)
 => ([(0,1),(0,2),(0,3),(0,4),(0,5),(1,6),(2,6),(3,6),(4,6),(5,6)],7)
 => ([],1)
 => ? ∊ {-1,-1,-1,-1,-1,-1,-1,-1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1,1,2,2,3,4} + 1
([(0,2),(0,3),(0,4),(0,5),(1,6),(2,6),(3,6),(4,6),(5,1)],7)
 => ([(0,2),(0,3),(0,4),(0,5),(1,6),(2,6),(3,6),(4,6),(5,1)],7)
 => ([(0,1)],2)
 => ? ∊ {-1,-1,-1,-1,-1,-1,-1,-1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1,1,2,2,3,4} + 1
([(0,3),(0,4),(0,5),(1,6),(2,6),(3,6),(4,6),(5,1),(5,2)],7)
 => ([(0,3),(0,4),(0,5),(1,6),(2,6),(3,6),(4,6),(5,1),(5,2)],7)
 => ([],1)
 => ? ∊ {-1,-1,-1,-1,-1,-1,-1,-1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1,1,2,2,3,4} + 1
([(0,4),(0,5),(1,6),(2,6),(3,6),(4,6),(5,1),(5,2),(5,3)],7)
 => ([(0,4),(0,5),(1,6),(2,6),(3,6),(4,6),(5,1),(5,2),(5,3)],7)
 => ([],1)
 => ? ∊ {-1,-1,-1,-1,-1,-1,-1,-1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1,1,2,2,3,4} + 1
([(0,5),(1,6),(2,6),(3,6),(4,6),(5,1),(5,2),(5,3),(5,4)],7)
 => ([(0,5),(1,6),(2,6),(3,6),(4,6),(5,1),(5,2),(5,3),(5,4)],7)
 => ([],1)
 => ? ∊ {-1,-1,-1,-1,-1,-1,-1,-1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1,1,2,2,3,4} + 1
([(0,5),(1,6),(2,6),(3,6),(4,3),(5,1),(5,2),(5,4)],7)
 => ([(0,5),(1,6),(2,6),(3,6),(4,3),(5,1),(5,2),(5,4)],7)
 => ([(0,1)],2)
 => ? ∊ {-1,-1,-1,-1,-1,-1,-1,-1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1,1,2,2,3,4} + 1
([(0,4),(1,6),(2,5),(3,5),(4,1),(4,2),(4,3),(5,6)],7)
 => ([(0,4),(1,6),(2,5),(3,5),(4,1),(4,2),(4,3),(5,6)],7)
 => ([],1)
 => ? ∊ {-1,-1,-1,-1,-1,-1,-1,-1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1,1,2,2,3,4} + 1
([(0,5),(1,6),(2,6),(3,6),(5,1),(5,2),(5,3),(6,4)],7)
 => ([(0,5),(1,6),(2,6),(3,6),(5,1),(5,2),(5,3),(6,4)],7)
 => ([],1)
 => ? ∊ {-1,-1,-1,-1,-1,-1,-1,-1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1,1,2,2,3,4} + 1
([(0,3),(0,5),(1,6),(2,6),(3,6),(4,2),(5,1),(5,4)],7)
 => ([(0,3),(0,5),(1,6),(2,6),(3,6),(4,2),(5,1),(5,4)],7)
 => ([(0,1)],2)
 => ? ∊ {-1,-1,-1,-1,-1,-1,-1,-1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1,1,2,2,3,4} + 1
([(0,5),(1,6),(2,6),(3,6),(4,2),(4,3),(5,1),(5,4)],7)
 => ([(0,5),(1,6),(2,6),(3,6),(4,2),(4,3),(5,1),(5,4)],7)
 => ([],1)
 => ? ∊ {-1,-1,-1,-1,-1,-1,-1,-1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1,1,2,2,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,1),(4,2),(5,6)],7)
 => ([],1)
 => ? ∊ {-1,-1,-1,-1,-1,-1,-1,-1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1,1,2,2,3,4} + 1
([(0,5),(2,6),(3,6),(4,1),(5,2),(5,3),(6,4)],7)
 => ([(0,5),(2,6),(3,6),(4,1),(5,2),(5,3),(6,4)],7)
 => ([],1)
 => ? ∊ {-1,-1,-1,-1,-1,-1,-1,-1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1,1,2,2,3,4} + 1
([(0,5),(1,6),(2,6),(3,2),(4,1),(5,3),(5,4)],7)
 => ([(0,5),(1,6),(2,6),(3,2),(4,1),(5,3),(5,4)],7)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 2 = 1 + 1
([(0,4),(1,6),(2,5),(3,1),(3,5),(4,2),(4,3),(5,6)],7)
 => ([(0,4),(1,6),(2,5),(3,1),(3,5),(4,2),(4,3),(5,6)],7)
 => ([(0,2),(2,1)],3)
 => 1 = 0 + 1
([(0,2),(0,3),(0,5),(1,6),(2,6),(3,6),(4,1),(5,4)],7)
 => ([(0,2),(0,3),(0,5),(1,6),(2,6),(3,6),(4,1),(5,4)],7)
 => ([(0,2),(2,1)],3)
 => 1 = 0 + 1
([(0,3),(0,4),(1,6),(2,6),(3,6),(4,5),(5,1),(5,2)],7)
 => ([(0,3),(0,4),(1,6),(2,6),(3,6),(4,5),(5,1),(5,2)],7)
 => ([],1)
 => ? ∊ {-1,-1,-1,-1,-1,-1,-1,-1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1,1,2,2,3,4} + 1
([(0,4),(1,6),(2,6),(3,6),(4,5),(5,1),(5,2),(5,3)],7)
 => ([(0,4),(1,6),(2,6),(3,6),(4,5),(5,1),(5,2),(5,3)],7)
 => ([],1)
 => ? ∊ {-1,-1,-1,-1,-1,-1,-1,-1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1,1,2,2,3,4} + 1
([(0,1),(0,2),(0,3),(0,4),(1,6),(2,6),(3,5),(4,5),(5,6)],7)
 => ([(0,1),(0,2),(0,3),(0,4),(1,6),(2,6),(3,5),(4,5),(5,6)],7)
 => ([],1)
 => ? ∊ {-1,-1,-1,-1,-1,-1,-1,-1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1,1,2,2,3,4} + 1
([(0,2),(0,3),(0,4),(1,5),(2,6),(3,6),(4,5),(6,1)],7)
 => ([(0,2),(0,3),(0,4),(1,5),(2,6),(3,6),(4,5),(6,1)],7)
 => ([],1)
 => ? ∊ {-1,-1,-1,-1,-1,-1,-1,-1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1,1,2,2,3,4} + 1
([(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,1)],2)
 => ? ∊ {-1,-1,-1,-1,-1,-1,-1,-1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1,1,2,2,3,4} + 1
([(0,1),(0,2),(0,3),(0,4),(1,6),(2,6),(3,6),(4,5),(6,5)],7)
 => ([(0,1),(0,2),(0,3),(0,4),(1,6),(2,6),(3,6),(4,5),(6,5)],7)
 => ([],1)
 => ? ∊ {-1,-1,-1,-1,-1,-1,-1,-1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1,1,2,2,3,4} + 1
([(0,2),(0,3),(0,4),(2,6),(3,6),(4,6),(5,1),(6,5)],7)
 => ([(0,2),(0,3),(0,4),(2,6),(3,6),(4,6),(5,1),(6,5)],7)
 => ([],1)
 => ? ∊ {-1,-1,-1,-1,-1,-1,-1,-1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1,1,2,2,3,4} + 1
([(0,2),(0,3),(0,4),(0,5),(2,6),(3,6),(4,6),(5,6),(6,1)],7)
 => ([(0,2),(0,3),(0,4),(0,5),(2,6),(3,6),(4,6),(5,6),(6,1)],7)
 => ([],1)
 => ? ∊ {-1,-1,-1,-1,-1,-1,-1,-1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1,1,2,2,3,4} + 1
([(0,2),(0,3),(0,4),(1,6),(2,5),(3,5),(4,1),(5,6)],7)
 => ([(0,2),(0,3),(0,4),(1,6),(2,5),(3,5),(4,1),(5,6)],7)
 => ([(0,1)],2)
 => ? ∊ {-1,-1,-1,-1,-1,-1,-1,-1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1,1,2,2,3,4} + 1
([(0,1),(0,2),(0,3),(1,5),(2,4),(3,4),(3,5),(4,6),(5,6)],7)
 => ([(0,1),(0,2),(0,3),(1,5),(2,4),(3,4),(3,5),(4,6),(5,6)],7)
 => ([],1)
 => ? ∊ {-1,-1,-1,-1,-1,-1,-1,-1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1,1,2,2,3,4} + 1
([(0,2),(0,3),(2,6),(3,6),(4,1),(5,4),(6,5)],7)
 => ([(0,2),(0,3),(2,6),(3,6),(4,1),(5,4),(6,5)],7)
 => ([],1)
 => ? ∊ {-1,-1,-1,-1,-1,-1,-1,-1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1,1,2,2,3,4} + 1
([(0,2),(0,3),(0,4),(2,6),(3,5),(4,5),(5,6),(6,1)],7)
 => ([(0,2),(0,3),(0,4),(2,6),(3,5),(4,5),(5,6),(6,1)],7)
 => ([],1)
 => ? ∊ {-1,-1,-1,-1,-1,-1,-1,-1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1,1,2,2,3,4} + 1
([(0,2),(0,3),(0,4),(1,5),(2,6),(3,6),(4,1),(4,6),(6,5)],7)
 => ([(0,2),(0,3),(0,4),(1,5),(2,6),(3,6),(4,1),(4,6),(6,5)],7)
 => ([(0,1)],2)
 => ? ∊ {-1,-1,-1,-1,-1,-1,-1,-1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1,1,2,2,3,4} + 1
([(0,3),(0,4),(0,5),(1,6),(3,6),(4,6),(5,1),(6,2)],7)
 => ([(0,3),(0,4),(0,5),(1,6),(3,6),(4,6),(5,1),(6,2)],7)
 => ([(0,1)],2)
 => ? ∊ {-1,-1,-1,-1,-1,-1,-1,-1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1,1,2,2,3,4} + 1
([(0,3),(0,4),(0,5),(1,6),(2,6),(3,6),(4,2),(5,1)],7)
 => ([(0,3),(0,4),(0,5),(1,6),(2,6),(3,6),(4,2),(5,1)],7)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 2 = 1 + 1
([(0,2),(0,3),(0,4),(1,6),(2,6),(3,5),(4,1),(4,5),(5,6)],7)
 => ([(0,2),(0,3),(0,4),(1,6),(2,6),(3,5),(4,1),(4,5),(5,6)],7)
 => ([(0,2),(2,1)],3)
 => 1 = 0 + 1
([(0,2),(0,4),(1,6),(2,5),(3,1),(4,3),(4,5),(5,6)],7)
 => ([(0,2),(0,4),(1,6),(2,5),(3,1),(4,3),(4,5),(5,6)],7)
 => ([(0,3),(1,4),(2,4),(3,1),(3,2)],5)
 => 1 = 0 + 1
([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7)
 => ([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7)
 => ([(0,2),(2,1)],3)
 => 1 = 0 + 1
([(0,3),(0,4),(1,5),(2,5),(3,6),(4,2),(4,6),(6,1)],7)
 => ([(0,3),(0,4),(1,5),(2,5),(3,6),(4,2),(4,6),(6,1)],7)
 => ([(0,3),(2,1),(3,2)],4)
 => 1 = 0 + 1
([(0,4),(0,5),(1,6),(2,6),(3,6),(4,3),(5,1),(5,2)],7)
 => ([(0,4),(0,5),(1,6),(2,6),(3,6),(4,3),(5,1),(5,2)],7)
 => ([(0,1)],2)
 => ? ∊ {-1,-1,-1,-1,-1,-1,-1,-1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1,1,2,2,3,4} + 1
([(0,3),(0,4),(1,6),(2,6),(3,5),(4,1),(4,2),(4,5),(5,6)],7)
 => ([(0,3),(0,4),(1,6),(2,6),(3,5),(4,1),(4,2),(4,5),(5,6)],7)
 => ([(0,1)],2)
 => ? ∊ {-1,-1,-1,-1,-1,-1,-1,-1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1,1,2,2,3,4} + 1
([(0,5),(1,6),(2,6),(3,4),(4,2),(5,1),(5,3)],7)
 => ([(0,5),(1,6),(2,6),(3,4),(4,2),(5,1),(5,3)],7)
 => ([(0,2),(2,1)],3)
 => 1 = 0 + 1
([(0,3),(0,4),(1,6),(2,5),(3,5),(4,1),(4,2),(5,6)],7)
 => ([(0,3),(0,4),(1,6),(2,5),(3,5),(4,1),(4,2),(5,6)],7)
 => ([],1)
 => ? ∊ {-1,-1,-1,-1,-1,-1,-1,-1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1,1,2,2,3,4} + 1
([(0,5),(1,6),(2,6),(4,2),(5,1),(5,4),(6,3)],7)
 => ([(0,5),(1,6),(2,6),(4,2),(5,1),(5,4),(6,3)],7)
 => ([(0,1)],2)
 => ? ∊ {-1,-1,-1,-1,-1,-1,-1,-1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1,1,2,2,3,4} + 1
([(0,4),(0,5),(1,6),(2,6),(4,6),(5,1),(5,2),(6,3)],7)
 => ([(0,4),(0,5),(1,6),(2,6),(4,6),(5,1),(5,2),(6,3)],7)
 => ([],1)
 => ? ∊ {-1,-1,-1,-1,-1,-1,-1,-1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1,1,2,2,3,4} + 1
([(0,3),(0,4),(1,6),(2,6),(3,2),(3,5),(4,1),(4,5),(5,6)],7)
 => ([(0,3),(0,4),(1,6),(2,6),(3,2),(3,5),(4,1),(4,5),(5,6)],7)
 => ([],1)
 => ? ∊ {-1,-1,-1,-1,-1,-1,-1,-1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1,1,2,2,3,4} + 1
([(0,3),(0,4),(1,6),(2,5),(3,2),(4,1),(4,5),(5,6)],7)
 => ([(0,3),(0,4),(1,6),(2,5),(3,2),(4,1),(4,5),(5,6)],7)
 => ([(0,2),(0,3),(2,4),(3,4),(4,1)],5)
 => 2 = 1 + 1
([(0,2),(0,5),(1,6),(2,6),(3,4),(4,1),(5,3)],7)
 => ([(0,2),(0,5),(1,6),(2,6),(3,4),(4,1),(5,3)],7)
 => ([(0,3),(2,1),(3,2)],4)
 => 1 = 0 + 1
([(0,4),(0,5),(1,6),(2,6),(3,2),(4,3),(5,1)],7)
 => ([(0,4),(0,5),(1,6),(2,6),(3,2),(4,3),(5,1)],7)
 => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
 => 2 = 1 + 1
([(0,2),(0,4),(1,6),(2,5),(3,1),(3,5),(4,3),(5,6)],7)
 => ([(0,2),(0,4),(1,6),(2,5),(3,1),(3,5),(4,3),(5,6)],7)
 => ([(0,3),(2,1),(3,2)],4)
 => 1 = 0 + 1
([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
 => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
 => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
 => 1 = 0 + 1
([(0,4),(0,5),(1,6),(2,6),(4,2),(5,1),(6,3)],7)
 => ([(0,4),(0,5),(1,6),(2,6),(4,2),(5,1),(6,3)],7)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 2 = 1 + 1
([(0,3),(0,5),(1,6),(3,6),(4,1),(5,4),(6,2)],7)
 => ([(0,3),(0,5),(1,6),(3,6),(4,1),(5,4),(6,2)],7)
 => ([(0,2),(2,1)],3)
 => 1 = 0 + 1

Description

The projective dimension of the simple modules corresponding to the minimum of L in the incidence algebra of the lattice L.

Matching statistic: St001630
(load all 4 compositions to match this statistic)

Mapping

Mp00196: Lattices —The modular quotient of a lattice.⟶ Lattices
Mp00197: Lattices —lattice of congruences⟶ Lattices
St001630: Lattices ⟶ ℤResult quality: 17% ●values known / values provided: 29%●distinct values known / distinct values provided: 17%

Values

([],1)
 => ([],1)
 => ([],1)
 => ? = 1 + 2
([(0,1)],2)
 => ([(0,1)],2)
 => ([(0,1)],2)
 => ? = -1 + 2
([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 2 = 0 + 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)
 => 2 = 0 + 2
([(0,3),(2,1),(3,2)],4)
 => ([(0,3),(2,1),(3,2)],4)
 => ([(0,1),(0,2),(0,3),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(4,7),(5,7),(6,7)],8)
 => ? = 1 + 2
([(0,1),(0,2),(0,3),(1,4),(2,4),(3,4)],5)
 => ([(0,1),(0,2),(0,3),(1,4),(2,4),(3,4)],5)
 => ([(0,1)],2)
 => ? ∊ {0,0,1,2} + 2
([(0,2),(0,3),(1,4),(2,4),(3,1)],5)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 2 = 0 + 2
([(0,3),(1,4),(2,4),(3,1),(3,2)],5)
 => ([(0,3),(1,4),(2,4),(3,1),(3,2)],5)
 => ([(0,1),(0,2),(0,3),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(4,7),(5,7),(6,7)],8)
 => ? ∊ {0,0,1,2} + 2
([(0,4),(2,3),(3,1),(4,2)],5)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => ([(0,1),(0,2),(0,3),(0,4),(1,8),(1,9),(1,10),(2,6),(2,7),(2,10),(3,5),(3,7),(3,9),(4,5),(4,6),(4,8),(5,11),(5,14),(6,11),(6,12),(7,11),(7,13),(8,12),(8,14),(9,13),(9,14),(10,12),(10,13),(11,15),(12,15),(13,15),(14,15)],16)
 => ? ∊ {0,0,1,2} + 2
([(0,2),(0,3),(2,4),(3,4),(4,1)],5)
 => ([(0,2),(0,3),(2,4),(3,4),(4,1)],5)
 => ([(0,1),(0,2),(0,3),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(4,7),(5,7),(6,7)],8)
 => ? ∊ {0,0,1,2} + 2
([(0,1),(0,2),(0,3),(0,4),(1,5),(2,5),(3,5),(4,5)],6)
 => ([(0,1),(0,2),(0,3),(0,4),(1,5),(2,5),(3,5),(4,5)],6)
 => ([(0,1)],2)
 => ? ∊ {-1,-1,0,0,0,0,0,1,1,2,3} + 2
([(0,2),(0,3),(0,4),(1,5),(2,5),(3,5),(4,1)],6)
 => ([(0,1),(0,2),(0,3),(1,4),(2,4),(3,4)],5)
 => ([(0,1)],2)
 => ? ∊ {-1,-1,0,0,0,0,0,1,1,2,3} + 2
([(0,3),(0,4),(1,5),(2,5),(3,5),(4,1),(4,2)],6)
 => ([(0,1)],2)
 => ([(0,1)],2)
 => ? ∊ {-1,-1,0,0,0,0,0,1,1,2,3} + 2
([(0,4),(1,5),(2,5),(3,5),(4,1),(4,2),(4,3)],6)
 => ([(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 = 0 + 2
([(0,4),(1,5),(2,5),(3,2),(4,1),(4,3)],6)
 => ([(0,3),(1,4),(2,4),(3,1),(3,2)],5)
 => ([(0,1),(0,2),(0,3),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(4,7),(5,7),(6,7)],8)
 => ? ∊ {-1,-1,0,0,0,0,0,1,1,2,3} + 2
([(0,4),(1,5),(2,5),(4,1),(4,2),(5,3)],6)
 => ([(0,4),(1,5),(2,5),(4,1),(4,2),(5,3)],6)
 => ([(0,1),(0,2),(0,3),(0,4),(1,8),(1,9),(1,10),(2,6),(2,7),(2,10),(3,5),(3,7),(3,9),(4,5),(4,6),(4,8),(5,11),(5,14),(6,11),(6,12),(7,11),(7,13),(8,12),(8,14),(9,13),(9,14),(10,12),(10,13),(11,15),(12,15),(13,15),(14,15)],16)
 => ? ∊ {-1,-1,0,0,0,0,0,1,1,2,3} + 2
([(0,2),(0,4),(1,5),(2,5),(3,1),(4,3)],6)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 2 = 0 + 2
([(0,3),(1,5),(2,5),(3,4),(4,1),(4,2)],6)
 => ([(0,3),(1,5),(2,5),(3,4),(4,1),(4,2)],6)
 => ([(0,1),(0,2),(0,3),(0,4),(1,8),(1,9),(1,10),(2,6),(2,7),(2,10),(3,5),(3,7),(3,9),(4,5),(4,6),(4,8),(5,11),(5,14),(6,11),(6,12),(7,11),(7,13),(8,12),(8,14),(9,13),(9,14),(10,12),(10,13),(11,15),(12,15),(13,15),(14,15)],16)
 => ? ∊ {-1,-1,0,0,0,0,0,1,1,2,3} + 2
([(0,1),(0,2),(0,3),(1,5),(2,4),(3,4),(4,5)],6)
 => ([(0,1)],2)
 => ([(0,1)],2)
 => ? ∊ {-1,-1,0,0,0,0,0,1,1,2,3} + 2
([(0,2),(0,3),(2,5),(3,5),(4,1),(5,4)],6)
 => ([(0,2),(0,3),(2,5),(3,5),(4,1),(5,4)],6)
 => ([(0,1),(0,2),(0,3),(0,4),(1,8),(1,9),(1,10),(2,6),(2,7),(2,10),(3,5),(3,7),(3,9),(4,5),(4,6),(4,8),(5,11),(5,14),(6,11),(6,12),(7,11),(7,13),(8,12),(8,14),(9,13),(9,14),(10,12),(10,13),(11,15),(12,15),(13,15),(14,15)],16)
 => ? ∊ {-1,-1,0,0,0,0,0,1,1,2,3} + 2
([(0,2),(0,3),(0,4),(2,5),(3,5),(4,5),(5,1)],6)
 => ([(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 = 0 + 2
([(0,3),(0,4),(1,5),(2,5),(3,2),(4,1)],6)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 2 = 0 + 2
([(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,1),(0,2),(0,3),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(4,7),(5,7),(6,7)],8)
 => ? ∊ {-1,-1,0,0,0,0,0,1,1,2,3} + 2
([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
 => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
 => ([(0,1),(0,2),(0,3),(0,4),(0,5),(1,12),(1,13),(1,14),(1,15),(2,9),(2,10),(2,11),(2,15),(3,7),(3,8),(3,11),(3,14),(4,6),(4,8),(4,10),(4,13),(5,6),(5,7),(5,9),(5,12),(6,16),(6,19),(6,22),(7,16),(7,17),(7,20),(8,16),(8,18),(8,21),(9,17),(9,19),(9,23),(10,18),(10,19),(10,24),(11,17),(11,18),(11,25),(12,20),(12,22),(12,23),(13,21),(13,22),(13,24),(14,20),(14,21),(14,25),(15,23),(15,24),(15,25),(16,29),(16,30),(17,26),(17,30),(18,27),(18,30),(19,28),(19,30),(20,26),(20,29),(21,27),(21,29),(22,28),(22,29),(23,26),(23,28),(24,27),(24,28),(25,26),(25,27),(26,31),(27,31),(28,31),(29,31),(30,31)],32)
 => ? ∊ {-1,-1,0,0,0,0,0,1,1,2,3} + 2
([(0,3),(0,4),(1,5),(3,5),(4,1),(5,2)],6)
 => ([(0,2),(0,3),(2,4),(3,4),(4,1)],5)
 => ([(0,1),(0,2),(0,3),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(4,7),(5,7),(6,7)],8)
 => ? ∊ {-1,-1,0,0,0,0,0,1,1,2,3} + 2
([(0,1),(0,2),(0,3),(0,4),(0,5),(1,6),(2,6),(3,6),(4,6),(5,6)],7)
 => ([(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,-1,-1,-1,-1,-1,-1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1,1,1,1,1,1,1,2,2,3,4} + 2
([(0,2),(0,3),(0,4),(0,5),(1,6),(2,6),(3,6),(4,6),(5,1)],7)
 => ([(0,1),(0,2),(0,3),(0,4),(1,5),(2,5),(3,5),(4,5)],6)
 => ([(0,1)],2)
 => ? ∊ {-1,-1,-1,-1,-1,-1,-1,-1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1,1,1,1,1,1,1,2,2,3,4} + 2
([(0,3),(0,4),(0,5),(1,6),(2,6),(3,6),(4,6),(5,1),(5,2)],7)
 => ([],1)
 => ([],1)
 => ? ∊ {-1,-1,-1,-1,-1,-1,-1,-1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1,1,1,1,1,1,1,2,2,3,4} + 2
([(0,4),(0,5),(1,6),(2,6),(3,6),(4,6),(5,1),(5,2),(5,3)],7)
 => ([(0,1)],2)
 => ([(0,1)],2)
 => ? ∊ {-1,-1,-1,-1,-1,-1,-1,-1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1,1,1,1,1,1,1,2,2,3,4} + 2
([(0,5),(1,6),(2,6),(3,6),(4,6),(5,1),(5,2),(5,3),(5,4)],7)
 => ([(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 = 0 + 2
([(0,5),(1,6),(2,6),(3,6),(4,3),(5,1),(5,2),(5,4)],7)
 => ([(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 = 0 + 2
([(0,4),(1,6),(2,5),(3,5),(4,1),(4,2),(4,3),(5,6)],7)
 => ([(0,2),(2,1)],3)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 2 = 0 + 2
([(0,5),(1,6),(2,6),(3,6),(5,1),(5,2),(5,3),(6,4)],7)
 => ([(0,5),(1,6),(2,6),(3,6),(5,1),(5,2),(5,3),(6,4)],7)
 => ([(0,1),(0,2),(0,3),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(4,7),(5,7),(6,7)],8)
 => ? ∊ {-1,-1,-1,-1,-1,-1,-1,-1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1,1,1,1,1,1,1,2,2,3,4} + 2
([(0,3),(0,5),(1,6),(2,6),(3,6),(4,2),(5,1),(5,4)],7)
 => ([(0,1)],2)
 => ([(0,1)],2)
 => ? ∊ {-1,-1,-1,-1,-1,-1,-1,-1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1,1,1,1,1,1,1,2,2,3,4} + 2
([(0,5),(1,6),(2,6),(3,6),(4,2),(4,3),(5,1),(5,4)],7)
 => ([(0,2),(2,1)],3)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 2 = 0 + 2
([(0,3),(0,4),(1,5),(2,5),(3,6),(4,1),(4,2),(5,6)],7)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 2 = 0 + 2
([(0,5),(2,6),(3,6),(4,1),(5,2),(5,3),(6,4)],7)
 => ([(0,5),(2,6),(3,6),(4,1),(5,2),(5,3),(6,4)],7)
 => ([(0,1),(0,2),(0,3),(0,4),(0,5),(1,12),(1,13),(1,14),(1,15),(2,9),(2,10),(2,11),(2,15),(3,7),(3,8),(3,11),(3,14),(4,6),(4,8),(4,10),(4,13),(5,6),(5,7),(5,9),(5,12),(6,16),(6,19),(6,22),(7,16),(7,17),(7,20),(8,16),(8,18),(8,21),(9,17),(9,19),(9,23),(10,18),(10,19),(10,24),(11,17),(11,18),(11,25),(12,20),(12,22),(12,23),(13,21),(13,22),(13,24),(14,20),(14,21),(14,25),(15,23),(15,24),(15,25),(16,29),(16,30),(17,26),(17,30),(18,27),(18,30),(19,28),(19,30),(20,26),(20,29),(21,27),(21,29),(22,28),(22,29),(23,26),(23,28),(24,27),(24,28),(25,26),(25,27),(26,31),(27,31),(28,31),(29,31),(30,31)],32)
 => ? ∊ {-1,-1,-1,-1,-1,-1,-1,-1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1,1,1,1,1,1,1,2,2,3,4} + 2
([(0,5),(1,6),(2,6),(3,2),(4,1),(5,3),(5,4)],7)
 => ([(0,3),(1,4),(2,4),(3,1),(3,2)],5)
 => ([(0,1),(0,2),(0,3),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(4,7),(5,7),(6,7)],8)
 => ? ∊ {-1,-1,-1,-1,-1,-1,-1,-1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1,1,1,1,1,1,1,2,2,3,4} + 2
([(0,4),(1,6),(2,5),(3,1),(3,5),(4,2),(4,3),(5,6)],7)
 => ([(0,4),(1,6),(2,5),(3,1),(3,5),(4,2),(4,3),(5,6)],7)
 => ([(0,1),(0,2),(0,3),(0,4),(1,8),(1,9),(1,10),(2,6),(2,7),(2,10),(3,5),(3,7),(3,9),(4,5),(4,6),(4,8),(5,11),(5,14),(6,11),(6,12),(7,11),(7,13),(8,12),(8,14),(9,13),(9,14),(10,12),(10,13),(11,15),(12,15),(13,15),(14,15)],16)
 => ? ∊ {-1,-1,-1,-1,-1,-1,-1,-1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1,1,1,1,1,1,1,2,2,3,4} + 2
([(0,2),(0,3),(0,5),(1,6),(2,6),(3,6),(4,1),(5,4)],7)
 => ([(0,1),(0,2),(0,3),(1,4),(2,4),(3,4)],5)
 => ([(0,1)],2)
 => ? ∊ {-1,-1,-1,-1,-1,-1,-1,-1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1,1,1,1,1,1,1,2,2,3,4} + 2
([(0,3),(0,4),(1,6),(2,6),(3,6),(4,5),(5,1),(5,2)],7)
 => ([(0,1)],2)
 => ([(0,1)],2)
 => ? ∊ {-1,-1,-1,-1,-1,-1,-1,-1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1,1,1,1,1,1,1,2,2,3,4} + 2
([(0,4),(1,6),(2,6),(3,6),(4,5),(5,1),(5,2),(5,3)],7)
 => ([(0,4),(1,6),(2,6),(3,6),(4,5),(5,1),(5,2),(5,3)],7)
 => ([(0,1),(0,2),(0,3),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(4,7),(5,7),(6,7)],8)
 => ? ∊ {-1,-1,-1,-1,-1,-1,-1,-1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1,1,1,1,1,1,1,2,2,3,4} + 2
([(0,1),(0,2),(0,3),(0,4),(1,6),(2,6),(3,5),(4,5),(5,6)],7)
 => ([],1)
 => ([],1)
 => ? ∊ {-1,-1,-1,-1,-1,-1,-1,-1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1,1,1,1,1,1,1,2,2,3,4} + 2
([(0,2),(0,3),(0,4),(1,5),(2,6),(3,6),(4,5),(6,1)],7)
 => ([(0,1)],2)
 => ([(0,1)],2)
 => ? ∊ {-1,-1,-1,-1,-1,-1,-1,-1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1,1,1,1,1,1,1,2,2,3,4} + 2
([(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,1),(0,2),(0,3),(0,4),(1,8),(1,9),(1,10),(2,6),(2,7),(2,10),(3,5),(3,7),(3,9),(4,5),(4,6),(4,8),(5,11),(5,14),(6,11),(6,12),(7,11),(7,13),(8,12),(8,14),(9,13),(9,14),(10,12),(10,13),(11,15),(12,15),(13,15),(14,15)],16)
 => ? ∊ {-1,-1,-1,-1,-1,-1,-1,-1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1,1,1,1,1,1,1,2,2,3,4} + 2
([(0,1),(0,2),(0,3),(0,4),(1,6),(2,6),(3,6),(4,5),(6,5)],7)
 => ([(0,1)],2)
 => ([(0,1)],2)
 => ? ∊ {-1,-1,-1,-1,-1,-1,-1,-1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1,1,1,1,1,1,1,2,2,3,4} + 2
([(0,2),(0,3),(0,4),(2,6),(3,6),(4,6),(5,1),(6,5)],7)
 => ([(0,2),(0,3),(0,4),(2,6),(3,6),(4,6),(5,1),(6,5)],7)
 => ([(0,1),(0,2),(0,3),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(4,7),(5,7),(6,7)],8)
 => ? ∊ {-1,-1,-1,-1,-1,-1,-1,-1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1,1,1,1,1,1,1,2,2,3,4} + 2
([(0,2),(0,3),(0,4),(0,5),(2,6),(3,6),(4,6),(5,6),(6,1)],7)
 => ([(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 = 0 + 2
([(0,2),(0,3),(0,4),(1,6),(2,5),(3,5),(4,1),(5,6)],7)
 => ([(0,1)],2)
 => ([(0,1)],2)
 => ? ∊ {-1,-1,-1,-1,-1,-1,-1,-1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1,1,1,1,1,1,1,2,2,3,4} + 2
([(0,1),(0,2),(0,3),(1,5),(2,4),(3,4),(3,5),(4,6),(5,6)],7)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 2 = 0 + 2
([(0,2),(0,3),(2,6),(3,6),(4,1),(5,4),(6,5)],7)
 => ([(0,2),(0,3),(2,6),(3,6),(4,1),(5,4),(6,5)],7)
 => ([(0,1),(0,2),(0,3),(0,4),(0,5),(1,12),(1,13),(1,14),(1,15),(2,9),(2,10),(2,11),(2,15),(3,7),(3,8),(3,11),(3,14),(4,6),(4,8),(4,10),(4,13),(5,6),(5,7),(5,9),(5,12),(6,16),(6,19),(6,22),(7,16),(7,17),(7,20),(8,16),(8,18),(8,21),(9,17),(9,19),(9,23),(10,18),(10,19),(10,24),(11,17),(11,18),(11,25),(12,20),(12,22),(12,23),(13,21),(13,22),(13,24),(14,20),(14,21),(14,25),(15,23),(15,24),(15,25),(16,29),(16,30),(17,26),(17,30),(18,27),(18,30),(19,28),(19,30),(20,26),(20,29),(21,27),(21,29),(22,28),(22,29),(23,26),(23,28),(24,27),(24,28),(25,26),(25,27),(26,31),(27,31),(28,31),(29,31),(30,31)],32)
 => ? ∊ {-1,-1,-1,-1,-1,-1,-1,-1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1,1,1,1,1,1,1,2,2,3,4} + 2
([(0,2),(0,3),(0,4),(2,6),(3,5),(4,5),(5,6),(6,1)],7)
 => ([(0,2),(2,1)],3)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 2 = 0 + 2
([(0,2),(0,3),(0,4),(1,5),(2,6),(3,6),(4,1),(4,6),(6,5)],7)
 => ([(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 = 0 + 2
([(0,3),(0,4),(0,5),(1,6),(3,6),(4,6),(5,1),(6,2)],7)
 => ([(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 = 0 + 2
([(0,3),(0,4),(0,5),(1,6),(2,6),(3,6),(4,2),(5,1)],7)
 => ([(0,1),(0,2),(0,3),(1,4),(2,4),(3,4)],5)
 => ([(0,1)],2)
 => ? ∊ {-1,-1,-1,-1,-1,-1,-1,-1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1,1,1,1,1,1,1,2,2,3,4} + 2
([(0,2),(0,3),(0,4),(1,6),(2,6),(3,5),(4,1),(4,5),(5,6)],7)
 => ([],1)
 => ([],1)
 => ? ∊ {-1,-1,-1,-1,-1,-1,-1,-1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1,1,1,1,1,1,1,2,2,3,4} + 2
([(0,2),(0,4),(1,6),(2,5),(3,1),(4,3),(4,5),(5,6)],7)
 => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
 => ([(0,1),(0,2),(0,3),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(4,7),(5,7),(6,7)],8)
 => ? ∊ {-1,-1,-1,-1,-1,-1,-1,-1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1,1,1,1,1,1,1,2,2,3,4} + 2
([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7)
 => ([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7)
 => ([(0,1),(0,2),(0,3),(0,4),(1,8),(1,9),(1,10),(2,6),(2,7),(2,10),(3,5),(3,7),(3,9),(4,5),(4,6),(4,8),(5,11),(5,14),(6,11),(6,12),(7,11),(7,13),(8,12),(8,14),(9,13),(9,14),(10,12),(10,13),(11,15),(12,15),(13,15),(14,15)],16)
 => ? ∊ {-1,-1,-1,-1,-1,-1,-1,-1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1,1,1,1,1,1,1,2,2,3,4} + 2
([(0,3),(0,4),(1,5),(2,5),(3,6),(4,2),(4,6),(6,1)],7)
 => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
 => ([(0,1),(0,2),(0,3),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(4,7),(5,7),(6,7)],8)
 => ? ∊ {-1,-1,-1,-1,-1,-1,-1,-1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1,1,1,1,1,1,1,2,2,3,4} + 2
([(0,4),(0,5),(1,6),(2,6),(3,6),(4,3),(5,1),(5,2)],7)
 => ([(0,1)],2)
 => ([(0,1)],2)
 => ? ∊ {-1,-1,-1,-1,-1,-1,-1,-1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1,1,1,1,1,1,1,2,2,3,4} + 2
([(0,3),(0,4),(1,6),(2,6),(3,5),(4,1),(4,2),(4,5),(5,6)],7)
 => ([(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 = 0 + 2
([(0,5),(1,6),(2,6),(3,4),(4,2),(5,1),(5,3)],7)
 => ([(0,3),(1,4),(2,4),(3,1),(3,2)],5)
 => ([(0,1),(0,2),(0,3),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(4,7),(5,7),(6,7)],8)
 => ? ∊ {-1,-1,-1,-1,-1,-1,-1,-1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1,1,1,1,1,1,1,2,2,3,4} + 2
([(0,3),(0,4),(1,6),(2,5),(3,5),(4,1),(4,2),(5,6)],7)
 => ([(0,2),(2,1)],3)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 2 = 0 + 2
([(0,5),(1,6),(2,6),(4,2),(5,1),(5,4),(6,3)],7)
 => ([(0,4),(1,5),(2,5),(4,1),(4,2),(5,3)],6)
 => ([(0,1),(0,2),(0,3),(0,4),(1,8),(1,9),(1,10),(2,6),(2,7),(2,10),(3,5),(3,7),(3,9),(4,5),(4,6),(4,8),(5,11),(5,14),(6,11),(6,12),(7,11),(7,13),(8,12),(8,14),(9,13),(9,14),(10,12),(10,13),(11,15),(12,15),(13,15),(14,15)],16)
 => ? ∊ {-1,-1,-1,-1,-1,-1,-1,-1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1,1,1,1,1,1,1,2,2,3,4} + 2
([(0,4),(0,5),(1,6),(2,6),(4,6),(5,1),(5,2),(6,3)],7)
 => ([(0,2),(2,1)],3)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 2 = 0 + 2
([(0,3),(0,4),(1,6),(2,6),(3,2),(3,5),(4,1),(4,5),(5,6)],7)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 2 = 0 + 2
([(0,3),(0,4),(1,6),(2,5),(3,2),(4,1),(4,5),(5,6)],7)
 => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
 => ([(0,1),(0,2),(0,3),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(4,7),(5,7),(6,7)],8)
 => ? ∊ {-1,-1,-1,-1,-1,-1,-1,-1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1,1,1,1,1,1,1,2,2,3,4} + 2
([(0,2),(0,5),(1,6),(2,6),(3,4),(4,1),(5,3)],7)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 2 = 0 + 2
([(0,4),(1,6),(2,6),(3,5),(4,3),(5,1),(5,2)],7)
 => ([(0,4),(1,6),(2,6),(3,5),(4,3),(5,1),(5,2)],7)
 => ([(0,1),(0,2),(0,3),(0,4),(0,5),(1,12),(1,13),(1,14),(1,15),(2,9),(2,10),(2,11),(2,15),(3,7),(3,8),(3,11),(3,14),(4,6),(4,8),(4,10),(4,13),(5,6),(5,7),(5,9),(5,12),(6,16),(6,19),(6,22),(7,16),(7,17),(7,20),(8,16),(8,18),(8,21),(9,17),(9,19),(9,23),(10,18),(10,19),(10,24),(11,17),(11,18),(11,25),(12,20),(12,22),(12,23),(13,21),(13,22),(13,24),(14,20),(14,21),(14,25),(15,23),(15,24),(15,25),(16,29),(16,30),(17,26),(17,30),(18,27),(18,30),(19,28),(19,30),(20,26),(20,29),(21,27),(21,29),(22,28),(22,29),(23,26),(23,28),(24,27),(24,28),(25,26),(25,27),(26,31),(27,31),(28,31),(29,31),(30,31)],32)
 => ? ∊ {-1,-1,-1,-1,-1,-1,-1,-1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1,1,1,1,1,1,1,2,2,3,4} + 2
([(0,2),(0,3),(0,4),(1,5),(2,6),(3,5),(4,1),(5,6)],7)
 => ([(0,1)],2)
 => ([(0,1)],2)
 => ? ∊ {-1,-1,-1,-1,-1,-1,-1,-1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1,1,1,1,1,1,1,2,2,3,4} + 2
([(0,3),(0,5),(2,6),(3,6),(4,1),(5,2),(6,4)],7)
 => ([(0,2),(0,3),(2,5),(3,5),(4,1),(5,4)],6)
 => ([(0,1),(0,2),(0,3),(0,4),(1,8),(1,9),(1,10),(2,6),(2,7),(2,10),(3,5),(3,7),(3,9),(4,5),(4,6),(4,8),(5,11),(5,14),(6,11),(6,12),(7,11),(7,13),(8,12),(8,14),(9,13),(9,14),(10,12),(10,13),(11,15),(12,15),(13,15),(14,15)],16)
 => ? ∊ {-1,-1,-1,-1,-1,-1,-1,-1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1,1,1,1,1,1,1,2,2,3,4} + 2
([(0,4),(0,5),(1,6),(2,6),(3,2),(4,3),(5,1)],7)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 2 = 0 + 2
([(0,4),(1,6),(2,6),(3,2),(4,5),(5,1),(5,3)],7)
 => ([(0,3),(1,5),(2,5),(3,4),(4,1),(4,2)],6)
 => ([(0,1),(0,2),(0,3),(0,4),(1,8),(1,9),(1,10),(2,6),(2,7),(2,10),(3,5),(3,7),(3,9),(4,5),(4,6),(4,8),(5,11),(5,14),(6,11),(6,12),(7,11),(7,13),(8,12),(8,14),(9,13),(9,14),(10,12),(10,13),(11,15),(12,15),(13,15),(14,15)],16)
 => ? ∊ {-1,-1,-1,-1,-1,-1,-1,-1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1,1,1,1,1,1,1,2,2,3,4} + 2

Description

The global dimension of the incidence algebra of the lattice over the rational numbers.

The following 7 statistics, ordered by result quality, also match your data. Click on any of them to see the details.

St001875The number of simple modules with projective dimension at most 1. St001118The acyclic chromatic index of a graph. St001880The number of 2-Gorenstein indecomposable injective modules in the incidence algebra of the lattice. St000264The girth of a graph, which is not a tree. 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. St001604The multiplicity of the irreducible representation corresponding to a partition in the relabelling action on polygons. St001570The minimal number of edges to add to make a graph Hamiltonian.