Your data matches 10 different statistics following compositions of up to 3 maps.
(click to perform a complete search on your data)
Matching statistic: St001720
Mp00013: Binary trees to posetPosets
Mp00206: Posets antichains of maximal sizeLattices
Mp00197: Lattices lattice of congruencesLattices
St001720: Lattices ⟶ ℤResult quality: 100% values known / values provided: 100%distinct values known / distinct values provided: 100%
Values
[.,.]
=> ([],1)
=> ([],1)
=> ([],1)
=> 1
[.,[.,.]]
=> ([(0,1)],2)
=> ([(0,1)],2)
=> ([(0,1)],2)
=> 2
[[.,.],.]
=> ([(0,1)],2)
=> ([(0,1)],2)
=> ([(0,1)],2)
=> 2
[.,[.,[.,.]]]
=> ([(0,2),(2,1)],3)
=> ([(0,2),(2,1)],3)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> 2
[.,[[.,.],.]]
=> ([(0,2),(2,1)],3)
=> ([(0,2),(2,1)],3)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> 2
[[.,.],[.,.]]
=> ([(0,2),(1,2)],3)
=> ([],1)
=> ([],1)
=> 1
[[.,[.,.]],.]
=> ([(0,2),(2,1)],3)
=> ([(0,2),(2,1)],3)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> 2
[[[.,.],.],.]
=> ([(0,2),(2,1)],3)
=> ([(0,2),(2,1)],3)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> 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)
=> 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)
=> 2
[.,[[.,.],[.,.]]]
=> ([(0,3),(1,3),(3,2)],4)
=> ([],1)
=> ([],1)
=> 1
[.,[[.,[.,.]],.]]
=> ([(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)
=> 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)
=> 2
[[.,.],[.,[.,.]]]
=> ([(0,3),(1,2),(2,3)],4)
=> ([(0,1)],2)
=> ([(0,1)],2)
=> 2
[[.,.],[[.,.],.]]
=> ([(0,3),(1,2),(2,3)],4)
=> ([(0,1)],2)
=> ([(0,1)],2)
=> 2
[[.,[.,.]],[.,.]]
=> ([(0,3),(1,2),(2,3)],4)
=> ([(0,1)],2)
=> ([(0,1)],2)
=> 2
[[[.,.],.],[.,.]]
=> ([(0,3),(1,2),(2,3)],4)
=> ([(0,1)],2)
=> ([(0,1)],2)
=> 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)
=> 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)
=> 2
[[[.,.],[.,.]],.]
=> ([(0,3),(1,3),(3,2)],4)
=> ([],1)
=> ([],1)
=> 1
[[[.,[.,.]],.],.]
=> ([(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)
=> 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)
=> 2
[.,[.,[[.,.],[.,.]]]]
=> ([(0,4),(1,4),(2,3),(4,2)],5)
=> ([],1)
=> ([],1)
=> 1
[.,[[.,.],[.,[.,.]]]]
=> ([(0,4),(1,2),(2,4),(4,3)],5)
=> ([(0,1)],2)
=> ([(0,1)],2)
=> 2
[.,[[.,.],[[.,.],.]]]
=> ([(0,4),(1,2),(2,4),(4,3)],5)
=> ([(0,1)],2)
=> ([(0,1)],2)
=> 2
[.,[[.,[.,.]],[.,.]]]
=> ([(0,4),(1,2),(2,4),(4,3)],5)
=> ([(0,1)],2)
=> ([(0,1)],2)
=> 2
[.,[[[.,.],.],[.,.]]]
=> ([(0,4),(1,2),(2,4),(4,3)],5)
=> ([(0,1)],2)
=> ([(0,1)],2)
=> 2
[.,[[[.,.],[.,.]],.]]
=> ([(0,4),(1,4),(2,3),(4,2)],5)
=> ([],1)
=> ([],1)
=> 1
[[.,.],[.,[.,[.,.]]]]
=> ([(0,4),(1,2),(2,3),(3,4)],5)
=> ([(0,2),(2,1)],3)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> 2
[[.,.],[.,[[.,.],.]]]
=> ([(0,4),(1,2),(2,3),(3,4)],5)
=> ([(0,2),(2,1)],3)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> 2
[[.,.],[[.,.],[.,.]]]
=> ([(0,4),(1,3),(2,3),(3,4)],5)
=> ([],1)
=> ([],1)
=> 1
[[.,.],[[.,[.,.]],.]]
=> ([(0,4),(1,2),(2,3),(3,4)],5)
=> ([(0,2),(2,1)],3)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> 2
[[.,.],[[[.,.],.],.]]
=> ([(0,4),(1,2),(2,3),(3,4)],5)
=> ([(0,2),(2,1)],3)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> 2
[[.,[.,.]],[.,[.,.]]]
=> ([(0,3),(1,2),(2,4),(3,4)],5)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> 2
[[.,[.,.]],[[.,.],.]]
=> ([(0,3),(1,2),(2,4),(3,4)],5)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> 2
[[[.,.],.],[.,[.,.]]]
=> ([(0,3),(1,2),(2,4),(3,4)],5)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> 2
[[[.,.],.],[[.,.],.]]
=> ([(0,3),(1,2),(2,4),(3,4)],5)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> 2
[[.,[.,[.,.]]],[.,.]]
=> ([(0,4),(1,2),(2,3),(3,4)],5)
=> ([(0,2),(2,1)],3)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> 2
[[.,[[.,.],.]],[.,.]]
=> ([(0,4),(1,2),(2,3),(3,4)],5)
=> ([(0,2),(2,1)],3)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> 2
[[[.,.],[.,.]],[.,.]]
=> ([(0,4),(1,3),(2,3),(3,4)],5)
=> ([],1)
=> ([],1)
=> 1
[[[.,[.,.]],.],[.,.]]
=> ([(0,4),(1,2),(2,3),(3,4)],5)
=> ([(0,2),(2,1)],3)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> 2
[[[[.,.],.],.],[.,.]]
=> ([(0,4),(1,2),(2,3),(3,4)],5)
=> ([(0,2),(2,1)],3)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> 2
[[.,[[.,.],[.,.]]],.]
=> ([(0,4),(1,4),(2,3),(4,2)],5)
=> ([],1)
=> ([],1)
=> 1
[[[.,.],[.,[.,.]]],.]
=> ([(0,4),(1,2),(2,4),(4,3)],5)
=> ([(0,1)],2)
=> ([(0,1)],2)
=> 2
[[[.,.],[[.,.],.]],.]
=> ([(0,4),(1,2),(2,4),(4,3)],5)
=> ([(0,1)],2)
=> ([(0,1)],2)
=> 2
[[[.,[.,.]],[.,.]],.]
=> ([(0,4),(1,2),(2,4),(4,3)],5)
=> ([(0,1)],2)
=> ([(0,1)],2)
=> 2
[[[[.,.],.],[.,.]],.]
=> ([(0,4),(1,2),(2,4),(4,3)],5)
=> ([(0,1)],2)
=> ([(0,1)],2)
=> 2
[[[[.,.],[.,.]],.],.]
=> ([(0,4),(1,4),(2,3),(4,2)],5)
=> ([],1)
=> ([],1)
=> 1
[.,[.,[.,[[.,.],[.,.]]]]]
=> ([(0,5),(1,5),(3,2),(4,3),(5,4)],6)
=> ([],1)
=> ([],1)
=> 1
[.,[.,[[.,.],[.,[.,.]]]]]
=> ([(0,5),(1,3),(3,5),(4,2),(5,4)],6)
=> ([(0,1)],2)
=> ([(0,1)],2)
=> 2
Description
The minimal length of a chain of small intervals in a lattice. An interval $[a, b]$ is small if $b$ is a join of elements covering $a$.
Matching statistic: St000914
Mp00013: Binary trees to posetPosets
Mp00206: Posets antichains of maximal sizeLattices
Mp00193: Lattices to posetPosets
St000914: Posets ⟶ ℤResult quality: 50% values known / values provided: 84%distinct values known / distinct values provided: 50%
Values
[.,.]
=> ([],1)
=> ([],1)
=> ([],1)
=> ? = 1 - 1
[.,[.,.]]
=> ([(0,1)],2)
=> ([(0,1)],2)
=> ([(0,1)],2)
=> 1 = 2 - 1
[[.,.],.]
=> ([(0,1)],2)
=> ([(0,1)],2)
=> ([(0,1)],2)
=> 1 = 2 - 1
[.,[.,[.,.]]]
=> ([(0,2),(2,1)],3)
=> ([(0,2),(2,1)],3)
=> ([(0,2),(2,1)],3)
=> 1 = 2 - 1
[.,[[.,.],.]]
=> ([(0,2),(2,1)],3)
=> ([(0,2),(2,1)],3)
=> ([(0,2),(2,1)],3)
=> 1 = 2 - 1
[[.,.],[.,.]]
=> ([(0,2),(1,2)],3)
=> ([],1)
=> ([],1)
=> ? = 1 - 1
[[.,[.,.]],.]
=> ([(0,2),(2,1)],3)
=> ([(0,2),(2,1)],3)
=> ([(0,2),(2,1)],3)
=> 1 = 2 - 1
[[[.,.],.],.]
=> ([(0,2),(2,1)],3)
=> ([(0,2),(2,1)],3)
=> ([(0,2),(2,1)],3)
=> 1 = 2 - 1
[.,[.,[.,[.,.]]]]
=> ([(0,3),(2,1),(3,2)],4)
=> ([(0,3),(2,1),(3,2)],4)
=> ([(0,3),(2,1),(3,2)],4)
=> 1 = 2 - 1
[.,[.,[[.,.],.]]]
=> ([(0,3),(2,1),(3,2)],4)
=> ([(0,3),(2,1),(3,2)],4)
=> ([(0,3),(2,1),(3,2)],4)
=> 1 = 2 - 1
[.,[[.,.],[.,.]]]
=> ([(0,3),(1,3),(3,2)],4)
=> ([],1)
=> ([],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 = 2 - 1
[.,[[[.,.],.],.]]
=> ([(0,3),(2,1),(3,2)],4)
=> ([(0,3),(2,1),(3,2)],4)
=> ([(0,3),(2,1),(3,2)],4)
=> 1 = 2 - 1
[[.,.],[.,[.,.]]]
=> ([(0,3),(1,2),(2,3)],4)
=> ([(0,1)],2)
=> ([(0,1)],2)
=> 1 = 2 - 1
[[.,.],[[.,.],.]]
=> ([(0,3),(1,2),(2,3)],4)
=> ([(0,1)],2)
=> ([(0,1)],2)
=> 1 = 2 - 1
[[.,[.,.]],[.,.]]
=> ([(0,3),(1,2),(2,3)],4)
=> ([(0,1)],2)
=> ([(0,1)],2)
=> 1 = 2 - 1
[[[.,.],.],[.,.]]
=> ([(0,3),(1,2),(2,3)],4)
=> ([(0,1)],2)
=> ([(0,1)],2)
=> 1 = 2 - 1
[[.,[.,[.,.]]],.]
=> ([(0,3),(2,1),(3,2)],4)
=> ([(0,3),(2,1),(3,2)],4)
=> ([(0,3),(2,1),(3,2)],4)
=> 1 = 2 - 1
[[.,[[.,.],.]],.]
=> ([(0,3),(2,1),(3,2)],4)
=> ([(0,3),(2,1),(3,2)],4)
=> ([(0,3),(2,1),(3,2)],4)
=> 1 = 2 - 1
[[[.,.],[.,.]],.]
=> ([(0,3),(1,3),(3,2)],4)
=> ([],1)
=> ([],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 = 2 - 1
[[[[.,.],.],.],.]
=> ([(0,3),(2,1),(3,2)],4)
=> ([(0,3),(2,1),(3,2)],4)
=> ([(0,3),(2,1),(3,2)],4)
=> 1 = 2 - 1
[.,[.,[[.,.],[.,.]]]]
=> ([(0,4),(1,4),(2,3),(4,2)],5)
=> ([],1)
=> ([],1)
=> ? = 1 - 1
[.,[[.,.],[.,[.,.]]]]
=> ([(0,4),(1,2),(2,4),(4,3)],5)
=> ([(0,1)],2)
=> ([(0,1)],2)
=> 1 = 2 - 1
[.,[[.,.],[[.,.],.]]]
=> ([(0,4),(1,2),(2,4),(4,3)],5)
=> ([(0,1)],2)
=> ([(0,1)],2)
=> 1 = 2 - 1
[.,[[.,[.,.]],[.,.]]]
=> ([(0,4),(1,2),(2,4),(4,3)],5)
=> ([(0,1)],2)
=> ([(0,1)],2)
=> 1 = 2 - 1
[.,[[[.,.],.],[.,.]]]
=> ([(0,4),(1,2),(2,4),(4,3)],5)
=> ([(0,1)],2)
=> ([(0,1)],2)
=> 1 = 2 - 1
[.,[[[.,.],[.,.]],.]]
=> ([(0,4),(1,4),(2,3),(4,2)],5)
=> ([],1)
=> ([],1)
=> ? = 1 - 1
[[.,.],[.,[.,[.,.]]]]
=> ([(0,4),(1,2),(2,3),(3,4)],5)
=> ([(0,2),(2,1)],3)
=> ([(0,2),(2,1)],3)
=> 1 = 2 - 1
[[.,.],[.,[[.,.],.]]]
=> ([(0,4),(1,2),(2,3),(3,4)],5)
=> ([(0,2),(2,1)],3)
=> ([(0,2),(2,1)],3)
=> 1 = 2 - 1
[[.,.],[[.,.],[.,.]]]
=> ([(0,4),(1,3),(2,3),(3,4)],5)
=> ([],1)
=> ([],1)
=> ? = 1 - 1
[[.,.],[[.,[.,.]],.]]
=> ([(0,4),(1,2),(2,3),(3,4)],5)
=> ([(0,2),(2,1)],3)
=> ([(0,2),(2,1)],3)
=> 1 = 2 - 1
[[.,.],[[[.,.],.],.]]
=> ([(0,4),(1,2),(2,3),(3,4)],5)
=> ([(0,2),(2,1)],3)
=> ([(0,2),(2,1)],3)
=> 1 = 2 - 1
[[.,[.,.]],[.,[.,.]]]
=> ([(0,3),(1,2),(2,4),(3,4)],5)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> 1 = 2 - 1
[[.,[.,.]],[[.,.],.]]
=> ([(0,3),(1,2),(2,4),(3,4)],5)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> 1 = 2 - 1
[[[.,.],.],[.,[.,.]]]
=> ([(0,3),(1,2),(2,4),(3,4)],5)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> 1 = 2 - 1
[[[.,.],.],[[.,.],.]]
=> ([(0,3),(1,2),(2,4),(3,4)],5)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> 1 = 2 - 1
[[.,[.,[.,.]]],[.,.]]
=> ([(0,4),(1,2),(2,3),(3,4)],5)
=> ([(0,2),(2,1)],3)
=> ([(0,2),(2,1)],3)
=> 1 = 2 - 1
[[.,[[.,.],.]],[.,.]]
=> ([(0,4),(1,2),(2,3),(3,4)],5)
=> ([(0,2),(2,1)],3)
=> ([(0,2),(2,1)],3)
=> 1 = 2 - 1
[[[.,.],[.,.]],[.,.]]
=> ([(0,4),(1,3),(2,3),(3,4)],5)
=> ([],1)
=> ([],1)
=> ? = 1 - 1
[[[.,[.,.]],.],[.,.]]
=> ([(0,4),(1,2),(2,3),(3,4)],5)
=> ([(0,2),(2,1)],3)
=> ([(0,2),(2,1)],3)
=> 1 = 2 - 1
[[[[.,.],.],.],[.,.]]
=> ([(0,4),(1,2),(2,3),(3,4)],5)
=> ([(0,2),(2,1)],3)
=> ([(0,2),(2,1)],3)
=> 1 = 2 - 1
[[.,[[.,.],[.,.]]],.]
=> ([(0,4),(1,4),(2,3),(4,2)],5)
=> ([],1)
=> ([],1)
=> ? = 1 - 1
[[[.,.],[.,[.,.]]],.]
=> ([(0,4),(1,2),(2,4),(4,3)],5)
=> ([(0,1)],2)
=> ([(0,1)],2)
=> 1 = 2 - 1
[[[.,.],[[.,.],.]],.]
=> ([(0,4),(1,2),(2,4),(4,3)],5)
=> ([(0,1)],2)
=> ([(0,1)],2)
=> 1 = 2 - 1
[[[.,[.,.]],[.,.]],.]
=> ([(0,4),(1,2),(2,4),(4,3)],5)
=> ([(0,1)],2)
=> ([(0,1)],2)
=> 1 = 2 - 1
[[[[.,.],.],[.,.]],.]
=> ([(0,4),(1,2),(2,4),(4,3)],5)
=> ([(0,1)],2)
=> ([(0,1)],2)
=> 1 = 2 - 1
[[[[.,.],[.,.]],.],.]
=> ([(0,4),(1,4),(2,3),(4,2)],5)
=> ([],1)
=> ([],1)
=> ? = 1 - 1
[.,[.,[.,[[.,.],[.,.]]]]]
=> ([(0,5),(1,5),(3,2),(4,3),(5,4)],6)
=> ([],1)
=> ([],1)
=> ? = 1 - 1
[.,[.,[[.,.],[.,[.,.]]]]]
=> ([(0,5),(1,3),(3,5),(4,2),(5,4)],6)
=> ([(0,1)],2)
=> ([(0,1)],2)
=> 1 = 2 - 1
[.,[.,[[.,.],[[.,.],.]]]]
=> ([(0,5),(1,3),(3,5),(4,2),(5,4)],6)
=> ([(0,1)],2)
=> ([(0,1)],2)
=> 1 = 2 - 1
[.,[.,[[.,[.,.]],[.,.]]]]
=> ([(0,5),(1,3),(3,5),(4,2),(5,4)],6)
=> ([(0,1)],2)
=> ([(0,1)],2)
=> 1 = 2 - 1
[.,[.,[[[.,.],.],[.,.]]]]
=> ([(0,5),(1,3),(3,5),(4,2),(5,4)],6)
=> ([(0,1)],2)
=> ([(0,1)],2)
=> 1 = 2 - 1
[.,[.,[[[.,.],[.,.]],.]]]
=> ([(0,5),(1,5),(3,2),(4,3),(5,4)],6)
=> ([],1)
=> ([],1)
=> ? = 1 - 1
[.,[[.,.],[.,[.,[.,.]]]]]
=> ([(0,5),(1,4),(2,5),(4,2),(5,3)],6)
=> ([(0,2),(2,1)],3)
=> ([(0,2),(2,1)],3)
=> 1 = 2 - 1
[.,[[.,.],[.,[[.,.],.]]]]
=> ([(0,5),(1,4),(2,5),(4,2),(5,3)],6)
=> ([(0,2),(2,1)],3)
=> ([(0,2),(2,1)],3)
=> 1 = 2 - 1
[.,[[.,.],[[.,.],[.,.]]]]
=> ([(0,5),(1,4),(2,4),(4,5),(5,3)],6)
=> ([],1)
=> ([],1)
=> ? = 1 - 1
[.,[[.,.],[[.,[.,.]],.]]]
=> ([(0,5),(1,4),(2,5),(4,2),(5,3)],6)
=> ([(0,2),(2,1)],3)
=> ([(0,2),(2,1)],3)
=> 1 = 2 - 1
[.,[[.,.],[[[.,.],.],.]]]
=> ([(0,5),(1,4),(2,5),(4,2),(5,3)],6)
=> ([(0,2),(2,1)],3)
=> ([(0,2),(2,1)],3)
=> 1 = 2 - 1
[.,[[.,[.,.]],[.,[.,.]]]]
=> ([(0,4),(1,3),(3,5),(4,5),(5,2)],6)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> 1 = 2 - 1
[.,[[.,[.,.]],[[.,.],.]]]
=> ([(0,4),(1,3),(3,5),(4,5),(5,2)],6)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> 1 = 2 - 1
[.,[[[.,.],.],[.,[.,.]]]]
=> ([(0,4),(1,3),(3,5),(4,5),(5,2)],6)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> 1 = 2 - 1
[.,[[[.,.],.],[[.,.],.]]]
=> ([(0,4),(1,3),(3,5),(4,5),(5,2)],6)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> 1 = 2 - 1
[.,[[[.,.],[.,.]],[.,.]]]
=> ([(0,5),(1,4),(2,4),(4,5),(5,3)],6)
=> ([],1)
=> ([],1)
=> ? = 1 - 1
[.,[[.,[[.,.],[.,.]]],.]]
=> ([(0,5),(1,5),(3,2),(4,3),(5,4)],6)
=> ([],1)
=> ([],1)
=> ? = 1 - 1
[.,[[[[.,.],[.,.]],.],.]]
=> ([(0,5),(1,5),(3,2),(4,3),(5,4)],6)
=> ([],1)
=> ([],1)
=> ? = 1 - 1
[[.,.],[.,[[.,.],[.,.]]]]
=> ([(0,5),(1,4),(2,4),(3,5),(4,3)],6)
=> ([],1)
=> ([],1)
=> ? = 1 - 1
[[.,.],[[[.,.],[.,.]],.]]
=> ([(0,5),(1,4),(2,4),(3,5),(4,3)],6)
=> ([],1)
=> ([],1)
=> ? = 1 - 1
[[.,[[.,.],[.,.]]],[.,.]]
=> ([(0,5),(1,4),(2,4),(3,5),(4,3)],6)
=> ([],1)
=> ([],1)
=> ? = 1 - 1
[[[[.,.],[.,.]],.],[.,.]]
=> ([(0,5),(1,4),(2,4),(3,5),(4,3)],6)
=> ([],1)
=> ([],1)
=> ? = 1 - 1
[[.,[.,[[.,.],[.,.]]]],.]
=> ([(0,5),(1,5),(3,2),(4,3),(5,4)],6)
=> ([],1)
=> ([],1)
=> ? = 1 - 1
[[.,[[[.,.],[.,.]],.]],.]
=> ([(0,5),(1,5),(3,2),(4,3),(5,4)],6)
=> ([],1)
=> ([],1)
=> ? = 1 - 1
[[[.,.],[[.,.],[.,.]]],.]
=> ([(0,5),(1,4),(2,4),(4,5),(5,3)],6)
=> ([],1)
=> ([],1)
=> ? = 1 - 1
[[[[.,.],[.,.]],[.,.]],.]
=> ([(0,5),(1,4),(2,4),(4,5),(5,3)],6)
=> ([],1)
=> ([],1)
=> ? = 1 - 1
[[[.,[[.,.],[.,.]]],.],.]
=> ([(0,5),(1,5),(3,2),(4,3),(5,4)],6)
=> ([],1)
=> ([],1)
=> ? = 1 - 1
[[[[[.,.],[.,.]],.],.],.]
=> ([(0,5),(1,5),(3,2),(4,3),(5,4)],6)
=> ([],1)
=> ([],1)
=> ? = 1 - 1
[.,[.,[.,[.,[[.,.],[.,.]]]]]]
=> ([(0,6),(1,6),(3,4),(4,2),(5,3),(6,5)],7)
=> ([],1)
=> ([],1)
=> ? = 1 - 1
[.,[.,[.,[[[.,.],[.,.]],.]]]]
=> ([(0,6),(1,6),(3,4),(4,2),(5,3),(6,5)],7)
=> ([],1)
=> ([],1)
=> ? = 1 - 1
[.,[.,[[.,.],[[.,.],[.,.]]]]]
=> ([(0,6),(1,5),(2,5),(3,4),(5,6),(6,3)],7)
=> ([],1)
=> ([],1)
=> ? = 1 - 1
[.,[.,[[[.,.],[.,.]],[.,.]]]]
=> ([(0,6),(1,5),(2,5),(3,4),(5,6),(6,3)],7)
=> ([],1)
=> ([],1)
=> ? = 1 - 1
[.,[.,[[.,[[.,.],[.,.]]],.]]]
=> ([(0,6),(1,6),(3,4),(4,2),(5,3),(6,5)],7)
=> ([],1)
=> ([],1)
=> ? = 1 - 1
[.,[.,[[[[.,.],[.,.]],.],.]]]
=> ([(0,6),(1,6),(3,4),(4,2),(5,3),(6,5)],7)
=> ([],1)
=> ([],1)
=> ? = 1 - 1
[.,[[.,.],[.,[[.,.],[.,.]]]]]
=> ([(0,6),(1,5),(2,5),(4,6),(5,4),(6,3)],7)
=> ([],1)
=> ([],1)
=> ? = 1 - 1
[.,[[.,.],[[[.,.],[.,.]],.]]]
=> ([(0,6),(1,5),(2,5),(4,6),(5,4),(6,3)],7)
=> ([],1)
=> ([],1)
=> ? = 1 - 1
[.,[[.,[[.,.],[.,.]]],[.,.]]]
=> ([(0,6),(1,5),(2,5),(4,6),(5,4),(6,3)],7)
=> ([],1)
=> ([],1)
=> ? = 1 - 1
[.,[[[[.,.],[.,.]],.],[.,.]]]
=> ([(0,6),(1,5),(2,5),(4,6),(5,4),(6,3)],7)
=> ([],1)
=> ([],1)
=> ? = 1 - 1
[.,[[.,[.,[[.,.],[.,.]]]],.]]
=> ([(0,6),(1,6),(3,4),(4,2),(5,3),(6,5)],7)
=> ([],1)
=> ([],1)
=> ? = 1 - 1
[.,[[.,[[[.,.],[.,.]],.]],.]]
=> ([(0,6),(1,6),(3,4),(4,2),(5,3),(6,5)],7)
=> ([],1)
=> ([],1)
=> ? = 1 - 1
[.,[[[.,.],[[.,.],[.,.]]],.]]
=> ([(0,6),(1,5),(2,5),(3,4),(5,6),(6,3)],7)
=> ([],1)
=> ([],1)
=> ? = 1 - 1
[.,[[[[.,.],[.,.]],[.,.]],.]]
=> ([(0,6),(1,5),(2,5),(3,4),(5,6),(6,3)],7)
=> ([],1)
=> ([],1)
=> ? = 1 - 1
[.,[[[.,[[.,.],[.,.]]],.],.]]
=> ([(0,6),(1,6),(3,4),(4,2),(5,3),(6,5)],7)
=> ([],1)
=> ([],1)
=> ? = 1 - 1
[.,[[[[[.,.],[.,.]],.],.],.]]
=> ([(0,6),(1,6),(3,4),(4,2),(5,3),(6,5)],7)
=> ([],1)
=> ([],1)
=> ? = 1 - 1
[[.,.],[.,[.,[[.,.],[.,.]]]]]
=> ([(0,6),(1,6),(2,5),(3,4),(4,5),(6,3)],7)
=> ([],1)
=> ([],1)
=> ? = 1 - 1
[[.,.],[.,[[[.,.],[.,.]],.]]]
=> ([(0,6),(1,6),(2,5),(3,4),(4,5),(6,3)],7)
=> ([],1)
=> ([],1)
=> ? = 1 - 1
[[.,.],[[.,.],[[.,.],[.,.]]]]
=> ([(0,4),(1,4),(2,5),(3,6),(4,6),(6,5)],7)
=> ([],1)
=> ([],1)
=> ? = 1 - 1
[[.,.],[[[.,.],[.,.]],[.,.]]]
=> ([(0,4),(1,4),(2,5),(3,6),(4,6),(6,5)],7)
=> ([],1)
=> ([],1)
=> ? = 1 - 1
[[.,.],[[.,[[.,.],[.,.]]],.]]
=> ([(0,6),(1,6),(2,5),(3,4),(4,5),(6,3)],7)
=> ([],1)
=> ([],1)
=> ? = 1 - 1
[[.,.],[[[[.,.],[.,.]],.],.]]
=> ([(0,6),(1,6),(2,5),(3,4),(4,5),(6,3)],7)
=> ([],1)
=> ([],1)
=> ? = 1 - 1
[[[.,.],[.,.]],[[.,.],[.,.]]]
=> ([(0,5),(1,5),(2,4),(3,4),(4,6),(5,6)],7)
=> ([],1)
=> ([],1)
=> ? = 1 - 1
[[.,[.,[[.,.],[.,.]]]],[.,.]]
=> ([(0,6),(1,6),(2,5),(3,4),(4,5),(6,3)],7)
=> ([],1)
=> ([],1)
=> ? = 1 - 1
Description
The sum of the values of the Möbius function of a poset. The Möbius function $\mu$ of a finite poset is defined as $$\mu (x,y)=\begin{cases} 1& \text{if }x = y\\ -\sum _{z: x\leq z < y}\mu (x,z)& \text{for }x < y\\ 0&\text{otherwise}. \end{cases} $$ Since $\mu(x,y)=0$ whenever $x\not\leq y$, this statistic is $$ \sum_{x\leq y} \mu(x,y). $$ If the poset has a minimal or a maximal element, then the definition implies immediately that the statistic equals $1$. Moreover, the statistic equals the sum of the statistics of the connected components. This statistic is also called the magnitude of a poset.
Matching statistic: St001651
Mp00013: Binary trees to posetPosets
Mp00206: Posets antichains of maximal sizeLattices
Mp00197: Lattices lattice of congruencesLattices
St001651: Lattices ⟶ ℤResult quality: 50% values known / values provided: 84%distinct values known / distinct values provided: 50%
Values
[.,.]
=> ([],1)
=> ([],1)
=> ([],1)
=> ? = 1 - 2
[.,[.,.]]
=> ([(0,1)],2)
=> ([(0,1)],2)
=> ([(0,1)],2)
=> 0 = 2 - 2
[[.,.],.]
=> ([(0,1)],2)
=> ([(0,1)],2)
=> ([(0,1)],2)
=> 0 = 2 - 2
[.,[.,[.,.]]]
=> ([(0,2),(2,1)],3)
=> ([(0,2),(2,1)],3)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> 0 = 2 - 2
[.,[[.,.],.]]
=> ([(0,2),(2,1)],3)
=> ([(0,2),(2,1)],3)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> 0 = 2 - 2
[[.,.],[.,.]]
=> ([(0,2),(1,2)],3)
=> ([],1)
=> ([],1)
=> ? = 1 - 2
[[.,[.,.]],.]
=> ([(0,2),(2,1)],3)
=> ([(0,2),(2,1)],3)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> 0 = 2 - 2
[[[.,.],.],.]
=> ([(0,2),(2,1)],3)
=> ([(0,2),(2,1)],3)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> 0 = 2 - 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)
=> 0 = 2 - 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)
=> 0 = 2 - 2
[.,[[.,.],[.,.]]]
=> ([(0,3),(1,3),(3,2)],4)
=> ([],1)
=> ([],1)
=> ? = 1 - 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)
=> 0 = 2 - 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)
=> 0 = 2 - 2
[[.,.],[.,[.,.]]]
=> ([(0,3),(1,2),(2,3)],4)
=> ([(0,1)],2)
=> ([(0,1)],2)
=> 0 = 2 - 2
[[.,.],[[.,.],.]]
=> ([(0,3),(1,2),(2,3)],4)
=> ([(0,1)],2)
=> ([(0,1)],2)
=> 0 = 2 - 2
[[.,[.,.]],[.,.]]
=> ([(0,3),(1,2),(2,3)],4)
=> ([(0,1)],2)
=> ([(0,1)],2)
=> 0 = 2 - 2
[[[.,.],.],[.,.]]
=> ([(0,3),(1,2),(2,3)],4)
=> ([(0,1)],2)
=> ([(0,1)],2)
=> 0 = 2 - 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)
=> 0 = 2 - 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)
=> 0 = 2 - 2
[[[.,.],[.,.]],.]
=> ([(0,3),(1,3),(3,2)],4)
=> ([],1)
=> ([],1)
=> ? = 1 - 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)
=> 0 = 2 - 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)
=> 0 = 2 - 2
[.,[.,[[.,.],[.,.]]]]
=> ([(0,4),(1,4),(2,3),(4,2)],5)
=> ([],1)
=> ([],1)
=> ? = 1 - 2
[.,[[.,.],[.,[.,.]]]]
=> ([(0,4),(1,2),(2,4),(4,3)],5)
=> ([(0,1)],2)
=> ([(0,1)],2)
=> 0 = 2 - 2
[.,[[.,.],[[.,.],.]]]
=> ([(0,4),(1,2),(2,4),(4,3)],5)
=> ([(0,1)],2)
=> ([(0,1)],2)
=> 0 = 2 - 2
[.,[[.,[.,.]],[.,.]]]
=> ([(0,4),(1,2),(2,4),(4,3)],5)
=> ([(0,1)],2)
=> ([(0,1)],2)
=> 0 = 2 - 2
[.,[[[.,.],.],[.,.]]]
=> ([(0,4),(1,2),(2,4),(4,3)],5)
=> ([(0,1)],2)
=> ([(0,1)],2)
=> 0 = 2 - 2
[.,[[[.,.],[.,.]],.]]
=> ([(0,4),(1,4),(2,3),(4,2)],5)
=> ([],1)
=> ([],1)
=> ? = 1 - 2
[[.,.],[.,[.,[.,.]]]]
=> ([(0,4),(1,2),(2,3),(3,4)],5)
=> ([(0,2),(2,1)],3)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> 0 = 2 - 2
[[.,.],[.,[[.,.],.]]]
=> ([(0,4),(1,2),(2,3),(3,4)],5)
=> ([(0,2),(2,1)],3)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> 0 = 2 - 2
[[.,.],[[.,.],[.,.]]]
=> ([(0,4),(1,3),(2,3),(3,4)],5)
=> ([],1)
=> ([],1)
=> ? = 1 - 2
[[.,.],[[.,[.,.]],.]]
=> ([(0,4),(1,2),(2,3),(3,4)],5)
=> ([(0,2),(2,1)],3)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> 0 = 2 - 2
[[.,.],[[[.,.],.],.]]
=> ([(0,4),(1,2),(2,3),(3,4)],5)
=> ([(0,2),(2,1)],3)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> 0 = 2 - 2
[[.,[.,.]],[.,[.,.]]]
=> ([(0,3),(1,2),(2,4),(3,4)],5)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> 0 = 2 - 2
[[.,[.,.]],[[.,.],.]]
=> ([(0,3),(1,2),(2,4),(3,4)],5)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> 0 = 2 - 2
[[[.,.],.],[.,[.,.]]]
=> ([(0,3),(1,2),(2,4),(3,4)],5)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> 0 = 2 - 2
[[[.,.],.],[[.,.],.]]
=> ([(0,3),(1,2),(2,4),(3,4)],5)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> 0 = 2 - 2
[[.,[.,[.,.]]],[.,.]]
=> ([(0,4),(1,2),(2,3),(3,4)],5)
=> ([(0,2),(2,1)],3)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> 0 = 2 - 2
[[.,[[.,.],.]],[.,.]]
=> ([(0,4),(1,2),(2,3),(3,4)],5)
=> ([(0,2),(2,1)],3)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> 0 = 2 - 2
[[[.,.],[.,.]],[.,.]]
=> ([(0,4),(1,3),(2,3),(3,4)],5)
=> ([],1)
=> ([],1)
=> ? = 1 - 2
[[[.,[.,.]],.],[.,.]]
=> ([(0,4),(1,2),(2,3),(3,4)],5)
=> ([(0,2),(2,1)],3)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> 0 = 2 - 2
[[[[.,.],.],.],[.,.]]
=> ([(0,4),(1,2),(2,3),(3,4)],5)
=> ([(0,2),(2,1)],3)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> 0 = 2 - 2
[[.,[[.,.],[.,.]]],.]
=> ([(0,4),(1,4),(2,3),(4,2)],5)
=> ([],1)
=> ([],1)
=> ? = 1 - 2
[[[.,.],[.,[.,.]]],.]
=> ([(0,4),(1,2),(2,4),(4,3)],5)
=> ([(0,1)],2)
=> ([(0,1)],2)
=> 0 = 2 - 2
[[[.,.],[[.,.],.]],.]
=> ([(0,4),(1,2),(2,4),(4,3)],5)
=> ([(0,1)],2)
=> ([(0,1)],2)
=> 0 = 2 - 2
[[[.,[.,.]],[.,.]],.]
=> ([(0,4),(1,2),(2,4),(4,3)],5)
=> ([(0,1)],2)
=> ([(0,1)],2)
=> 0 = 2 - 2
[[[[.,.],.],[.,.]],.]
=> ([(0,4),(1,2),(2,4),(4,3)],5)
=> ([(0,1)],2)
=> ([(0,1)],2)
=> 0 = 2 - 2
[[[[.,.],[.,.]],.],.]
=> ([(0,4),(1,4),(2,3),(4,2)],5)
=> ([],1)
=> ([],1)
=> ? = 1 - 2
[.,[.,[.,[[.,.],[.,.]]]]]
=> ([(0,5),(1,5),(3,2),(4,3),(5,4)],6)
=> ([],1)
=> ([],1)
=> ? = 1 - 2
[.,[.,[[.,.],[.,[.,.]]]]]
=> ([(0,5),(1,3),(3,5),(4,2),(5,4)],6)
=> ([(0,1)],2)
=> ([(0,1)],2)
=> 0 = 2 - 2
[.,[.,[[.,.],[[.,.],.]]]]
=> ([(0,5),(1,3),(3,5),(4,2),(5,4)],6)
=> ([(0,1)],2)
=> ([(0,1)],2)
=> 0 = 2 - 2
[.,[.,[[.,[.,.]],[.,.]]]]
=> ([(0,5),(1,3),(3,5),(4,2),(5,4)],6)
=> ([(0,1)],2)
=> ([(0,1)],2)
=> 0 = 2 - 2
[.,[.,[[[.,.],.],[.,.]]]]
=> ([(0,5),(1,3),(3,5),(4,2),(5,4)],6)
=> ([(0,1)],2)
=> ([(0,1)],2)
=> 0 = 2 - 2
[.,[.,[[[.,.],[.,.]],.]]]
=> ([(0,5),(1,5),(3,2),(4,3),(5,4)],6)
=> ([],1)
=> ([],1)
=> ? = 1 - 2
[.,[[.,.],[.,[.,[.,.]]]]]
=> ([(0,5),(1,4),(2,5),(4,2),(5,3)],6)
=> ([(0,2),(2,1)],3)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> 0 = 2 - 2
[.,[[.,.],[.,[[.,.],.]]]]
=> ([(0,5),(1,4),(2,5),(4,2),(5,3)],6)
=> ([(0,2),(2,1)],3)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> 0 = 2 - 2
[.,[[.,.],[[.,.],[.,.]]]]
=> ([(0,5),(1,4),(2,4),(4,5),(5,3)],6)
=> ([],1)
=> ([],1)
=> ? = 1 - 2
[.,[[.,.],[[.,[.,.]],.]]]
=> ([(0,5),(1,4),(2,5),(4,2),(5,3)],6)
=> ([(0,2),(2,1)],3)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> 0 = 2 - 2
[.,[[.,.],[[[.,.],.],.]]]
=> ([(0,5),(1,4),(2,5),(4,2),(5,3)],6)
=> ([(0,2),(2,1)],3)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> 0 = 2 - 2
[.,[[.,[.,.]],[.,[.,.]]]]
=> ([(0,4),(1,3),(3,5),(4,5),(5,2)],6)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> 0 = 2 - 2
[.,[[.,[.,.]],[[.,.],.]]]
=> ([(0,4),(1,3),(3,5),(4,5),(5,2)],6)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> 0 = 2 - 2
[.,[[[.,.],.],[.,[.,.]]]]
=> ([(0,4),(1,3),(3,5),(4,5),(5,2)],6)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> 0 = 2 - 2
[.,[[[.,.],.],[[.,.],.]]]
=> ([(0,4),(1,3),(3,5),(4,5),(5,2)],6)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> 0 = 2 - 2
[.,[[[.,.],[.,.]],[.,.]]]
=> ([(0,5),(1,4),(2,4),(4,5),(5,3)],6)
=> ([],1)
=> ([],1)
=> ? = 1 - 2
[.,[[.,[[.,.],[.,.]]],.]]
=> ([(0,5),(1,5),(3,2),(4,3),(5,4)],6)
=> ([],1)
=> ([],1)
=> ? = 1 - 2
[.,[[[[.,.],[.,.]],.],.]]
=> ([(0,5),(1,5),(3,2),(4,3),(5,4)],6)
=> ([],1)
=> ([],1)
=> ? = 1 - 2
[[.,.],[.,[[.,.],[.,.]]]]
=> ([(0,5),(1,4),(2,4),(3,5),(4,3)],6)
=> ([],1)
=> ([],1)
=> ? = 1 - 2
[[.,.],[[[.,.],[.,.]],.]]
=> ([(0,5),(1,4),(2,4),(3,5),(4,3)],6)
=> ([],1)
=> ([],1)
=> ? = 1 - 2
[[.,[[.,.],[.,.]]],[.,.]]
=> ([(0,5),(1,4),(2,4),(3,5),(4,3)],6)
=> ([],1)
=> ([],1)
=> ? = 1 - 2
[[[[.,.],[.,.]],.],[.,.]]
=> ([(0,5),(1,4),(2,4),(3,5),(4,3)],6)
=> ([],1)
=> ([],1)
=> ? = 1 - 2
[[.,[.,[[.,.],[.,.]]]],.]
=> ([(0,5),(1,5),(3,2),(4,3),(5,4)],6)
=> ([],1)
=> ([],1)
=> ? = 1 - 2
[[.,[[[.,.],[.,.]],.]],.]
=> ([(0,5),(1,5),(3,2),(4,3),(5,4)],6)
=> ([],1)
=> ([],1)
=> ? = 1 - 2
[[[.,.],[[.,.],[.,.]]],.]
=> ([(0,5),(1,4),(2,4),(4,5),(5,3)],6)
=> ([],1)
=> ([],1)
=> ? = 1 - 2
[[[[.,.],[.,.]],[.,.]],.]
=> ([(0,5),(1,4),(2,4),(4,5),(5,3)],6)
=> ([],1)
=> ([],1)
=> ? = 1 - 2
[[[.,[[.,.],[.,.]]],.],.]
=> ([(0,5),(1,5),(3,2),(4,3),(5,4)],6)
=> ([],1)
=> ([],1)
=> ? = 1 - 2
[[[[[.,.],[.,.]],.],.],.]
=> ([(0,5),(1,5),(3,2),(4,3),(5,4)],6)
=> ([],1)
=> ([],1)
=> ? = 1 - 2
[.,[.,[.,[.,[[.,.],[.,.]]]]]]
=> ([(0,6),(1,6),(3,4),(4,2),(5,3),(6,5)],7)
=> ([],1)
=> ([],1)
=> ? = 1 - 2
[.,[.,[.,[[[.,.],[.,.]],.]]]]
=> ([(0,6),(1,6),(3,4),(4,2),(5,3),(6,5)],7)
=> ([],1)
=> ([],1)
=> ? = 1 - 2
[.,[.,[[.,.],[[.,.],[.,.]]]]]
=> ([(0,6),(1,5),(2,5),(3,4),(5,6),(6,3)],7)
=> ([],1)
=> ([],1)
=> ? = 1 - 2
[.,[.,[[[.,.],[.,.]],[.,.]]]]
=> ([(0,6),(1,5),(2,5),(3,4),(5,6),(6,3)],7)
=> ([],1)
=> ([],1)
=> ? = 1 - 2
[.,[.,[[.,[[.,.],[.,.]]],.]]]
=> ([(0,6),(1,6),(3,4),(4,2),(5,3),(6,5)],7)
=> ([],1)
=> ([],1)
=> ? = 1 - 2
[.,[.,[[[[.,.],[.,.]],.],.]]]
=> ([(0,6),(1,6),(3,4),(4,2),(5,3),(6,5)],7)
=> ([],1)
=> ([],1)
=> ? = 1 - 2
[.,[[.,.],[.,[[.,.],[.,.]]]]]
=> ([(0,6),(1,5),(2,5),(4,6),(5,4),(6,3)],7)
=> ([],1)
=> ([],1)
=> ? = 1 - 2
[.,[[.,.],[[[.,.],[.,.]],.]]]
=> ([(0,6),(1,5),(2,5),(4,6),(5,4),(6,3)],7)
=> ([],1)
=> ([],1)
=> ? = 1 - 2
[.,[[.,[[.,.],[.,.]]],[.,.]]]
=> ([(0,6),(1,5),(2,5),(4,6),(5,4),(6,3)],7)
=> ([],1)
=> ([],1)
=> ? = 1 - 2
[.,[[[[.,.],[.,.]],.],[.,.]]]
=> ([(0,6),(1,5),(2,5),(4,6),(5,4),(6,3)],7)
=> ([],1)
=> ([],1)
=> ? = 1 - 2
[.,[[.,[.,[[.,.],[.,.]]]],.]]
=> ([(0,6),(1,6),(3,4),(4,2),(5,3),(6,5)],7)
=> ([],1)
=> ([],1)
=> ? = 1 - 2
[.,[[.,[[[.,.],[.,.]],.]],.]]
=> ([(0,6),(1,6),(3,4),(4,2),(5,3),(6,5)],7)
=> ([],1)
=> ([],1)
=> ? = 1 - 2
[.,[[[.,.],[[.,.],[.,.]]],.]]
=> ([(0,6),(1,5),(2,5),(3,4),(5,6),(6,3)],7)
=> ([],1)
=> ([],1)
=> ? = 1 - 2
[.,[[[[.,.],[.,.]],[.,.]],.]]
=> ([(0,6),(1,5),(2,5),(3,4),(5,6),(6,3)],7)
=> ([],1)
=> ([],1)
=> ? = 1 - 2
[.,[[[.,[[.,.],[.,.]]],.],.]]
=> ([(0,6),(1,6),(3,4),(4,2),(5,3),(6,5)],7)
=> ([],1)
=> ([],1)
=> ? = 1 - 2
[.,[[[[[.,.],[.,.]],.],.],.]]
=> ([(0,6),(1,6),(3,4),(4,2),(5,3),(6,5)],7)
=> ([],1)
=> ([],1)
=> ? = 1 - 2
[[.,.],[.,[.,[[.,.],[.,.]]]]]
=> ([(0,6),(1,6),(2,5),(3,4),(4,5),(6,3)],7)
=> ([],1)
=> ([],1)
=> ? = 1 - 2
[[.,.],[.,[[[.,.],[.,.]],.]]]
=> ([(0,6),(1,6),(2,5),(3,4),(4,5),(6,3)],7)
=> ([],1)
=> ([],1)
=> ? = 1 - 2
[[.,.],[[.,.],[[.,.],[.,.]]]]
=> ([(0,4),(1,4),(2,5),(3,6),(4,6),(6,5)],7)
=> ([],1)
=> ([],1)
=> ? = 1 - 2
[[.,.],[[[.,.],[.,.]],[.,.]]]
=> ([(0,4),(1,4),(2,5),(3,6),(4,6),(6,5)],7)
=> ([],1)
=> ([],1)
=> ? = 1 - 2
[[.,.],[[.,[[.,.],[.,.]]],.]]
=> ([(0,6),(1,6),(2,5),(3,4),(4,5),(6,3)],7)
=> ([],1)
=> ([],1)
=> ? = 1 - 2
[[.,.],[[[[.,.],[.,.]],.],.]]
=> ([(0,6),(1,6),(2,5),(3,4),(4,5),(6,3)],7)
=> ([],1)
=> ([],1)
=> ? = 1 - 2
[[[.,.],[.,.]],[[.,.],[.,.]]]
=> ([(0,5),(1,5),(2,4),(3,4),(4,6),(5,6)],7)
=> ([],1)
=> ([],1)
=> ? = 1 - 2
[[.,[.,[[.,.],[.,.]]]],[.,.]]
=> ([(0,6),(1,6),(2,5),(3,4),(4,5),(6,3)],7)
=> ([],1)
=> ([],1)
=> ? = 1 - 2
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: St001890
Mp00013: Binary trees to posetPosets
Mp00206: Posets antichains of maximal sizeLattices
Mp00193: Lattices to posetPosets
St001890: Posets ⟶ ℤResult quality: 50% values known / values provided: 73%distinct values known / distinct values provided: 50%
Values
[.,.]
=> ([],1)
=> ([],1)
=> ([],1)
=> ? = 1 - 1
[.,[.,.]]
=> ([(0,1)],2)
=> ([(0,1)],2)
=> ([(0,1)],2)
=> 1 = 2 - 1
[[.,.],.]
=> ([(0,1)],2)
=> ([(0,1)],2)
=> ([(0,1)],2)
=> 1 = 2 - 1
[.,[.,[.,.]]]
=> ([(0,2),(2,1)],3)
=> ([(0,2),(2,1)],3)
=> ([(0,2),(2,1)],3)
=> 1 = 2 - 1
[.,[[.,.],.]]
=> ([(0,2),(2,1)],3)
=> ([(0,2),(2,1)],3)
=> ([(0,2),(2,1)],3)
=> 1 = 2 - 1
[[.,.],[.,.]]
=> ([(0,2),(1,2)],3)
=> ([],1)
=> ([],1)
=> ? = 1 - 1
[[.,[.,.]],.]
=> ([(0,2),(2,1)],3)
=> ([(0,2),(2,1)],3)
=> ([(0,2),(2,1)],3)
=> 1 = 2 - 1
[[[.,.],.],.]
=> ([(0,2),(2,1)],3)
=> ([(0,2),(2,1)],3)
=> ([(0,2),(2,1)],3)
=> 1 = 2 - 1
[.,[.,[.,[.,.]]]]
=> ([(0,3),(2,1),(3,2)],4)
=> ([(0,3),(2,1),(3,2)],4)
=> ([(0,3),(2,1),(3,2)],4)
=> 1 = 2 - 1
[.,[.,[[.,.],.]]]
=> ([(0,3),(2,1),(3,2)],4)
=> ([(0,3),(2,1),(3,2)],4)
=> ([(0,3),(2,1),(3,2)],4)
=> 1 = 2 - 1
[.,[[.,.],[.,.]]]
=> ([(0,3),(1,3),(3,2)],4)
=> ([],1)
=> ([],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 = 2 - 1
[.,[[[.,.],.],.]]
=> ([(0,3),(2,1),(3,2)],4)
=> ([(0,3),(2,1),(3,2)],4)
=> ([(0,3),(2,1),(3,2)],4)
=> 1 = 2 - 1
[[.,.],[.,[.,.]]]
=> ([(0,3),(1,2),(2,3)],4)
=> ([(0,1)],2)
=> ([(0,1)],2)
=> 1 = 2 - 1
[[.,.],[[.,.],.]]
=> ([(0,3),(1,2),(2,3)],4)
=> ([(0,1)],2)
=> ([(0,1)],2)
=> 1 = 2 - 1
[[.,[.,.]],[.,.]]
=> ([(0,3),(1,2),(2,3)],4)
=> ([(0,1)],2)
=> ([(0,1)],2)
=> 1 = 2 - 1
[[[.,.],.],[.,.]]
=> ([(0,3),(1,2),(2,3)],4)
=> ([(0,1)],2)
=> ([(0,1)],2)
=> 1 = 2 - 1
[[.,[.,[.,.]]],.]
=> ([(0,3),(2,1),(3,2)],4)
=> ([(0,3),(2,1),(3,2)],4)
=> ([(0,3),(2,1),(3,2)],4)
=> 1 = 2 - 1
[[.,[[.,.],.]],.]
=> ([(0,3),(2,1),(3,2)],4)
=> ([(0,3),(2,1),(3,2)],4)
=> ([(0,3),(2,1),(3,2)],4)
=> 1 = 2 - 1
[[[.,.],[.,.]],.]
=> ([(0,3),(1,3),(3,2)],4)
=> ([],1)
=> ([],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 = 2 - 1
[[[[.,.],.],.],.]
=> ([(0,3),(2,1),(3,2)],4)
=> ([(0,3),(2,1),(3,2)],4)
=> ([(0,3),(2,1),(3,2)],4)
=> 1 = 2 - 1
[.,[.,[[.,.],[.,.]]]]
=> ([(0,4),(1,4),(2,3),(4,2)],5)
=> ([],1)
=> ([],1)
=> ? = 1 - 1
[.,[[.,.],[.,[.,.]]]]
=> ([(0,4),(1,2),(2,4),(4,3)],5)
=> ([(0,1)],2)
=> ([(0,1)],2)
=> 1 = 2 - 1
[.,[[.,.],[[.,.],.]]]
=> ([(0,4),(1,2),(2,4),(4,3)],5)
=> ([(0,1)],2)
=> ([(0,1)],2)
=> 1 = 2 - 1
[.,[[.,[.,.]],[.,.]]]
=> ([(0,4),(1,2),(2,4),(4,3)],5)
=> ([(0,1)],2)
=> ([(0,1)],2)
=> 1 = 2 - 1
[.,[[[.,.],.],[.,.]]]
=> ([(0,4),(1,2),(2,4),(4,3)],5)
=> ([(0,1)],2)
=> ([(0,1)],2)
=> 1 = 2 - 1
[.,[[[.,.],[.,.]],.]]
=> ([(0,4),(1,4),(2,3),(4,2)],5)
=> ([],1)
=> ([],1)
=> ? = 1 - 1
[[.,.],[.,[.,[.,.]]]]
=> ([(0,4),(1,2),(2,3),(3,4)],5)
=> ([(0,2),(2,1)],3)
=> ([(0,2),(2,1)],3)
=> 1 = 2 - 1
[[.,.],[.,[[.,.],.]]]
=> ([(0,4),(1,2),(2,3),(3,4)],5)
=> ([(0,2),(2,1)],3)
=> ([(0,2),(2,1)],3)
=> 1 = 2 - 1
[[.,.],[[.,.],[.,.]]]
=> ([(0,4),(1,3),(2,3),(3,4)],5)
=> ([],1)
=> ([],1)
=> ? = 1 - 1
[[.,.],[[.,[.,.]],.]]
=> ([(0,4),(1,2),(2,3),(3,4)],5)
=> ([(0,2),(2,1)],3)
=> ([(0,2),(2,1)],3)
=> 1 = 2 - 1
[[.,.],[[[.,.],.],.]]
=> ([(0,4),(1,2),(2,3),(3,4)],5)
=> ([(0,2),(2,1)],3)
=> ([(0,2),(2,1)],3)
=> 1 = 2 - 1
[[.,[.,.]],[.,[.,.]]]
=> ([(0,3),(1,2),(2,4),(3,4)],5)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> 1 = 2 - 1
[[.,[.,.]],[[.,.],.]]
=> ([(0,3),(1,2),(2,4),(3,4)],5)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> 1 = 2 - 1
[[[.,.],.],[.,[.,.]]]
=> ([(0,3),(1,2),(2,4),(3,4)],5)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> 1 = 2 - 1
[[[.,.],.],[[.,.],.]]
=> ([(0,3),(1,2),(2,4),(3,4)],5)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> 1 = 2 - 1
[[.,[.,[.,.]]],[.,.]]
=> ([(0,4),(1,2),(2,3),(3,4)],5)
=> ([(0,2),(2,1)],3)
=> ([(0,2),(2,1)],3)
=> 1 = 2 - 1
[[.,[[.,.],.]],[.,.]]
=> ([(0,4),(1,2),(2,3),(3,4)],5)
=> ([(0,2),(2,1)],3)
=> ([(0,2),(2,1)],3)
=> 1 = 2 - 1
[[[.,.],[.,.]],[.,.]]
=> ([(0,4),(1,3),(2,3),(3,4)],5)
=> ([],1)
=> ([],1)
=> ? = 1 - 1
[[[.,[.,.]],.],[.,.]]
=> ([(0,4),(1,2),(2,3),(3,4)],5)
=> ([(0,2),(2,1)],3)
=> ([(0,2),(2,1)],3)
=> 1 = 2 - 1
[[[[.,.],.],.],[.,.]]
=> ([(0,4),(1,2),(2,3),(3,4)],5)
=> ([(0,2),(2,1)],3)
=> ([(0,2),(2,1)],3)
=> 1 = 2 - 1
[[.,[[.,.],[.,.]]],.]
=> ([(0,4),(1,4),(2,3),(4,2)],5)
=> ([],1)
=> ([],1)
=> ? = 1 - 1
[[[.,.],[.,[.,.]]],.]
=> ([(0,4),(1,2),(2,4),(4,3)],5)
=> ([(0,1)],2)
=> ([(0,1)],2)
=> 1 = 2 - 1
[[[.,.],[[.,.],.]],.]
=> ([(0,4),(1,2),(2,4),(4,3)],5)
=> ([(0,1)],2)
=> ([(0,1)],2)
=> 1 = 2 - 1
[[[.,[.,.]],[.,.]],.]
=> ([(0,4),(1,2),(2,4),(4,3)],5)
=> ([(0,1)],2)
=> ([(0,1)],2)
=> 1 = 2 - 1
[[[[.,.],.],[.,.]],.]
=> ([(0,4),(1,2),(2,4),(4,3)],5)
=> ([(0,1)],2)
=> ([(0,1)],2)
=> 1 = 2 - 1
[[[[.,.],[.,.]],.],.]
=> ([(0,4),(1,4),(2,3),(4,2)],5)
=> ([],1)
=> ([],1)
=> ? = 1 - 1
[.,[.,[.,[[.,.],[.,.]]]]]
=> ([(0,5),(1,5),(3,2),(4,3),(5,4)],6)
=> ([],1)
=> ([],1)
=> ? = 1 - 1
[.,[.,[[.,.],[.,[.,.]]]]]
=> ([(0,5),(1,3),(3,5),(4,2),(5,4)],6)
=> ([(0,1)],2)
=> ([(0,1)],2)
=> 1 = 2 - 1
[.,[.,[[.,.],[[.,.],.]]]]
=> ([(0,5),(1,3),(3,5),(4,2),(5,4)],6)
=> ([(0,1)],2)
=> ([(0,1)],2)
=> 1 = 2 - 1
[.,[.,[[.,[.,.]],[.,.]]]]
=> ([(0,5),(1,3),(3,5),(4,2),(5,4)],6)
=> ([(0,1)],2)
=> ([(0,1)],2)
=> 1 = 2 - 1
[.,[.,[[[.,.],.],[.,.]]]]
=> ([(0,5),(1,3),(3,5),(4,2),(5,4)],6)
=> ([(0,1)],2)
=> ([(0,1)],2)
=> 1 = 2 - 1
[.,[.,[[[.,.],[.,.]],.]]]
=> ([(0,5),(1,5),(3,2),(4,3),(5,4)],6)
=> ([],1)
=> ([],1)
=> ? = 1 - 1
[.,[[.,.],[.,[.,[.,.]]]]]
=> ([(0,5),(1,4),(2,5),(4,2),(5,3)],6)
=> ([(0,2),(2,1)],3)
=> ([(0,2),(2,1)],3)
=> 1 = 2 - 1
[.,[[.,.],[.,[[.,.],.]]]]
=> ([(0,5),(1,4),(2,5),(4,2),(5,3)],6)
=> ([(0,2),(2,1)],3)
=> ([(0,2),(2,1)],3)
=> 1 = 2 - 1
[.,[[.,.],[[.,.],[.,.]]]]
=> ([(0,5),(1,4),(2,4),(4,5),(5,3)],6)
=> ([],1)
=> ([],1)
=> ? = 1 - 1
[.,[[.,.],[[.,[.,.]],.]]]
=> ([(0,5),(1,4),(2,5),(4,2),(5,3)],6)
=> ([(0,2),(2,1)],3)
=> ([(0,2),(2,1)],3)
=> 1 = 2 - 1
[.,[[.,.],[[[.,.],.],.]]]
=> ([(0,5),(1,4),(2,5),(4,2),(5,3)],6)
=> ([(0,2),(2,1)],3)
=> ([(0,2),(2,1)],3)
=> 1 = 2 - 1
[.,[[.,[.,.]],[.,[.,.]]]]
=> ([(0,4),(1,3),(3,5),(4,5),(5,2)],6)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> 1 = 2 - 1
[.,[[.,[.,.]],[[.,.],.]]]
=> ([(0,4),(1,3),(3,5),(4,5),(5,2)],6)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> 1 = 2 - 1
[.,[[[.,.],.],[.,[.,.]]]]
=> ([(0,4),(1,3),(3,5),(4,5),(5,2)],6)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> 1 = 2 - 1
[.,[[[.,.],.],[[.,.],.]]]
=> ([(0,4),(1,3),(3,5),(4,5),(5,2)],6)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> 1 = 2 - 1
[.,[[[.,.],[.,.]],[.,.]]]
=> ([(0,5),(1,4),(2,4),(4,5),(5,3)],6)
=> ([],1)
=> ([],1)
=> ? = 1 - 1
[.,[[.,[[.,.],[.,.]]],.]]
=> ([(0,5),(1,5),(3,2),(4,3),(5,4)],6)
=> ([],1)
=> ([],1)
=> ? = 1 - 1
[.,[[[[.,.],[.,.]],.],.]]
=> ([(0,5),(1,5),(3,2),(4,3),(5,4)],6)
=> ([],1)
=> ([],1)
=> ? = 1 - 1
[[.,.],[.,[[.,.],[.,.]]]]
=> ([(0,5),(1,4),(2,4),(3,5),(4,3)],6)
=> ([],1)
=> ([],1)
=> ? = 1 - 1
[[.,.],[[[.,.],[.,.]],.]]
=> ([(0,5),(1,4),(2,4),(3,5),(4,3)],6)
=> ([],1)
=> ([],1)
=> ? = 1 - 1
[[.,[.,.]],[.,[.,[.,.]]]]
=> ([(0,3),(1,4),(2,5),(3,5),(4,2)],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)
=> ? = 2 - 1
[[.,[.,.]],[.,[[.,.],.]]]
=> ([(0,3),(1,4),(2,5),(3,5),(4,2)],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)
=> ? = 2 - 1
[[.,[.,.]],[[.,[.,.]],.]]
=> ([(0,3),(1,4),(2,5),(3,5),(4,2)],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)
=> ? = 2 - 1
[[.,[.,.]],[[[.,.],.],.]]
=> ([(0,3),(1,4),(2,5),(3,5),(4,2)],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)
=> ? = 2 - 1
[[[.,.],.],[.,[.,[.,.]]]]
=> ([(0,3),(1,4),(2,5),(3,5),(4,2)],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)
=> ? = 2 - 1
[[[.,.],.],[.,[[.,.],.]]]
=> ([(0,3),(1,4),(2,5),(3,5),(4,2)],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)
=> ? = 2 - 1
[[[.,.],.],[[.,[.,.]],.]]
=> ([(0,3),(1,4),(2,5),(3,5),(4,2)],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)
=> ? = 2 - 1
[[[.,.],.],[[[.,.],.],.]]
=> ([(0,3),(1,4),(2,5),(3,5),(4,2)],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)
=> ? = 2 - 1
[[.,[.,[.,.]]],[.,[.,.]]]
=> ([(0,3),(1,4),(2,5),(3,5),(4,2)],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)
=> ? = 2 - 1
[[.,[.,[.,.]]],[[.,.],.]]
=> ([(0,3),(1,4),(2,5),(3,5),(4,2)],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)
=> ? = 2 - 1
[[.,[[.,.],.]],[.,[.,.]]]
=> ([(0,3),(1,4),(2,5),(3,5),(4,2)],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)
=> ? = 2 - 1
[[.,[[.,.],.]],[[.,.],.]]
=> ([(0,3),(1,4),(2,5),(3,5),(4,2)],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)
=> ? = 2 - 1
[[[.,[.,.]],.],[.,[.,.]]]
=> ([(0,3),(1,4),(2,5),(3,5),(4,2)],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)
=> ? = 2 - 1
[[[.,[.,.]],.],[[.,.],.]]
=> ([(0,3),(1,4),(2,5),(3,5),(4,2)],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)
=> ? = 2 - 1
[[[[.,.],.],.],[.,[.,.]]]
=> ([(0,3),(1,4),(2,5),(3,5),(4,2)],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)
=> ? = 2 - 1
[[[[.,.],.],.],[[.,.],.]]
=> ([(0,3),(1,4),(2,5),(3,5),(4,2)],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)
=> ? = 2 - 1
[[.,[[.,.],[.,.]]],[.,.]]
=> ([(0,5),(1,4),(2,4),(3,5),(4,3)],6)
=> ([],1)
=> ([],1)
=> ? = 1 - 1
[[[[.,.],[.,.]],.],[.,.]]
=> ([(0,5),(1,4),(2,4),(3,5),(4,3)],6)
=> ([],1)
=> ([],1)
=> ? = 1 - 1
[[.,[.,[[.,.],[.,.]]]],.]
=> ([(0,5),(1,5),(3,2),(4,3),(5,4)],6)
=> ([],1)
=> ([],1)
=> ? = 1 - 1
[[.,[[[.,.],[.,.]],.]],.]
=> ([(0,5),(1,5),(3,2),(4,3),(5,4)],6)
=> ([],1)
=> ([],1)
=> ? = 1 - 1
[[[.,.],[[.,.],[.,.]]],.]
=> ([(0,5),(1,4),(2,4),(4,5),(5,3)],6)
=> ([],1)
=> ([],1)
=> ? = 1 - 1
[[[[.,.],[.,.]],[.,.]],.]
=> ([(0,5),(1,4),(2,4),(4,5),(5,3)],6)
=> ([],1)
=> ([],1)
=> ? = 1 - 1
[[[.,[[.,.],[.,.]]],.],.]
=> ([(0,5),(1,5),(3,2),(4,3),(5,4)],6)
=> ([],1)
=> ([],1)
=> ? = 1 - 1
[[[[[.,.],[.,.]],.],.],.]
=> ([(0,5),(1,5),(3,2),(4,3),(5,4)],6)
=> ([],1)
=> ([],1)
=> ? = 1 - 1
[.,[.,[.,[.,[[.,.],[.,.]]]]]]
=> ([(0,6),(1,6),(3,4),(4,2),(5,3),(6,5)],7)
=> ([],1)
=> ([],1)
=> ? = 1 - 1
[.,[.,[.,[[[.,.],[.,.]],.]]]]
=> ([(0,6),(1,6),(3,4),(4,2),(5,3),(6,5)],7)
=> ([],1)
=> ([],1)
=> ? = 1 - 1
[.,[.,[[.,.],[[.,.],[.,.]]]]]
=> ([(0,6),(1,5),(2,5),(3,4),(5,6),(6,3)],7)
=> ([],1)
=> ([],1)
=> ? = 1 - 1
[.,[.,[[[.,.],[.,.]],[.,.]]]]
=> ([(0,6),(1,5),(2,5),(3,4),(5,6),(6,3)],7)
=> ([],1)
=> ([],1)
=> ? = 1 - 1
[.,[.,[[.,[[.,.],[.,.]]],.]]]
=> ([(0,6),(1,6),(3,4),(4,2),(5,3),(6,5)],7)
=> ([],1)
=> ([],1)
=> ? = 1 - 1
[.,[.,[[[[.,.],[.,.]],.],.]]]
=> ([(0,6),(1,6),(3,4),(4,2),(5,3),(6,5)],7)
=> ([],1)
=> ([],1)
=> ? = 1 - 1
[.,[[.,.],[.,[[.,.],[.,.]]]]]
=> ([(0,6),(1,5),(2,5),(4,6),(5,4),(6,3)],7)
=> ([],1)
=> ([],1)
=> ? = 1 - 1
[.,[[.,.],[[[.,.],[.,.]],.]]]
=> ([(0,6),(1,5),(2,5),(4,6),(5,4),(6,3)],7)
=> ([],1)
=> ([],1)
=> ? = 1 - 1
Description
The maximum magnitude of the Möbius function of a poset. The '''Möbius function''' of a poset is the multiplicative inverse of the zeta function in the incidence algebra. The Möbius value $\mu(x, y)$ is equal to the signed sum of chains from $x$ to $y$, where odd-length chains are counted with a minus sign, so this statistic is bounded above by the total number of chains in the poset.
Mp00141: Binary trees pruning number to logarithmic heightDyck paths
Mp00102: Dyck paths rise compositionInteger compositions
Mp00184: Integer compositions to threshold graphGraphs
St000260: Graphs ⟶ ℤResult quality: 62% values known / values provided: 62%distinct values known / distinct values provided: 100%
Values
[.,.]
=> [1,0]
=> [1] => ([],1)
=> 0 = 1 - 1
[.,[.,.]]
=> [1,0,1,0]
=> [1,1] => ([(0,1)],2)
=> 1 = 2 - 1
[[.,.],.]
=> [1,1,0,0]
=> [2] => ([],2)
=> ? = 2 - 1
[.,[.,[.,.]]]
=> [1,0,1,0,1,0]
=> [1,1,1] => ([(0,1),(0,2),(1,2)],3)
=> 1 = 2 - 1
[.,[[.,.],.]]
=> [1,0,1,1,0,0]
=> [1,2] => ([(1,2)],3)
=> ? = 2 - 1
[[.,.],[.,.]]
=> [1,1,1,0,0,0]
=> [3] => ([],3)
=> ? = 1 - 1
[[.,[.,.]],.]
=> [1,1,0,0,1,0]
=> [2,1] => ([(0,2),(1,2)],3)
=> 1 = 2 - 1
[[[.,.],.],.]
=> [1,1,0,1,0,0]
=> [2,1] => ([(0,2),(1,2)],3)
=> 1 = 2 - 1
[.,[.,[.,[.,.]]]]
=> [1,0,1,0,1,0,1,0]
=> [1,1,1,1] => ([(0,1),(0,2),(0,3),(1,2),(1,3),(2,3)],4)
=> 1 = 2 - 1
[.,[.,[[.,.],.]]]
=> [1,0,1,0,1,1,0,0]
=> [1,1,2] => ([(1,2),(1,3),(2,3)],4)
=> ? = 2 - 1
[.,[[.,.],[.,.]]]
=> [1,0,1,1,1,0,0,0]
=> [1,3] => ([(2,3)],4)
=> ? = 1 - 1
[.,[[.,[.,.]],.]]
=> [1,0,1,1,0,0,1,0]
=> [1,2,1] => ([(0,3),(1,2),(1,3),(2,3)],4)
=> 1 = 2 - 1
[.,[[[.,.],.],.]]
=> [1,0,1,1,0,1,0,0]
=> [1,2,1] => ([(0,3),(1,2),(1,3),(2,3)],4)
=> 1 = 2 - 1
[[.,.],[.,[.,.]]]
=> [1,1,1,0,0,0,1,0]
=> [3,1] => ([(0,3),(1,3),(2,3)],4)
=> 1 = 2 - 1
[[.,.],[[.,.],.]]
=> [1,1,1,0,0,1,0,0]
=> [3,1] => ([(0,3),(1,3),(2,3)],4)
=> 1 = 2 - 1
[[.,[.,.]],[.,.]]
=> [1,1,1,0,1,0,0,0]
=> [3,1] => ([(0,3),(1,3),(2,3)],4)
=> 1 = 2 - 1
[[[.,.],.],[.,.]]
=> [1,1,1,1,0,0,0,0]
=> [4] => ([],4)
=> ? = 2 - 1
[[.,[.,[.,.]]],.]
=> [1,1,0,0,1,0,1,0]
=> [2,1,1] => ([(0,2),(0,3),(1,2),(1,3),(2,3)],4)
=> 1 = 2 - 1
[[.,[[.,.],.]],.]
=> [1,1,0,0,1,1,0,0]
=> [2,2] => ([(1,3),(2,3)],4)
=> ? = 2 - 1
[[[.,.],[.,.]],.]
=> [1,1,0,1,1,0,0,0]
=> [2,2] => ([(1,3),(2,3)],4)
=> ? = 1 - 1
[[[.,[.,.]],.],.]
=> [1,1,0,1,0,0,1,0]
=> [2,1,1] => ([(0,2),(0,3),(1,2),(1,3),(2,3)],4)
=> 1 = 2 - 1
[[[[.,.],.],.],.]
=> [1,1,0,1,0,1,0,0]
=> [2,1,1] => ([(0,2),(0,3),(1,2),(1,3),(2,3)],4)
=> 1 = 2 - 1
[.,[.,[[.,.],[.,.]]]]
=> [1,0,1,0,1,1,1,0,0,0]
=> [1,1,3] => ([(2,3),(2,4),(3,4)],5)
=> ? = 1 - 1
[.,[[.,.],[.,[.,.]]]]
=> [1,0,1,1,1,0,0,0,1,0]
=> [1,3,1] => ([(0,4),(1,4),(2,3),(2,4),(3,4)],5)
=> 1 = 2 - 1
[.,[[.,.],[[.,.],.]]]
=> [1,0,1,1,1,0,0,1,0,0]
=> [1,3,1] => ([(0,4),(1,4),(2,3),(2,4),(3,4)],5)
=> 1 = 2 - 1
[.,[[.,[.,.]],[.,.]]]
=> [1,0,1,1,1,0,1,0,0,0]
=> [1,3,1] => ([(0,4),(1,4),(2,3),(2,4),(3,4)],5)
=> 1 = 2 - 1
[.,[[[.,.],.],[.,.]]]
=> [1,0,1,1,1,1,0,0,0,0]
=> [1,4] => ([(3,4)],5)
=> ? = 2 - 1
[.,[[[.,.],[.,.]],.]]
=> [1,0,1,1,0,1,1,0,0,0]
=> [1,2,2] => ([(1,4),(2,3),(2,4),(3,4)],5)
=> ? = 1 - 1
[[.,.],[.,[.,[.,.]]]]
=> [1,1,1,0,0,0,1,0,1,0]
=> [3,1,1] => ([(0,3),(0,4),(1,3),(1,4),(2,3),(2,4),(3,4)],5)
=> 1 = 2 - 1
[[.,.],[.,[[.,.],.]]]
=> [1,1,1,0,0,0,1,1,0,0]
=> [3,2] => ([(1,4),(2,4),(3,4)],5)
=> ? = 2 - 1
[[.,.],[[.,.],[.,.]]]
=> [1,1,1,0,0,1,1,0,0,0]
=> [3,2] => ([(1,4),(2,4),(3,4)],5)
=> ? = 1 - 1
[[.,.],[[.,[.,.]],.]]
=> [1,1,1,0,0,1,0,0,1,0]
=> [3,1,1] => ([(0,3),(0,4),(1,3),(1,4),(2,3),(2,4),(3,4)],5)
=> 1 = 2 - 1
[[.,.],[[[.,.],.],.]]
=> [1,1,1,0,0,1,0,1,0,0]
=> [3,1,1] => ([(0,3),(0,4),(1,3),(1,4),(2,3),(2,4),(3,4)],5)
=> 1 = 2 - 1
[[.,[.,.]],[.,[.,.]]]
=> [1,1,1,0,1,0,0,0,1,0]
=> [3,1,1] => ([(0,3),(0,4),(1,3),(1,4),(2,3),(2,4),(3,4)],5)
=> 1 = 2 - 1
[[.,[.,.]],[[.,.],.]]
=> [1,1,1,0,1,0,0,1,0,0]
=> [3,1,1] => ([(0,3),(0,4),(1,3),(1,4),(2,3),(2,4),(3,4)],5)
=> 1 = 2 - 1
[[[.,.],.],[.,[.,.]]]
=> [1,1,1,1,0,0,0,0,1,0]
=> [4,1] => ([(0,4),(1,4),(2,4),(3,4)],5)
=> 1 = 2 - 1
[[[.,.],.],[[.,.],.]]
=> [1,1,1,1,0,0,0,1,0,0]
=> [4,1] => ([(0,4),(1,4),(2,4),(3,4)],5)
=> 1 = 2 - 1
[[.,[.,[.,.]]],[.,.]]
=> [1,1,1,0,1,0,1,0,0,0]
=> [3,1,1] => ([(0,3),(0,4),(1,3),(1,4),(2,3),(2,4),(3,4)],5)
=> 1 = 2 - 1
[[.,[[.,.],.]],[.,.]]
=> [1,1,1,0,1,1,0,0,0,0]
=> [3,2] => ([(1,4),(2,4),(3,4)],5)
=> ? = 2 - 1
[[[.,.],[.,.]],[.,.]]
=> [1,1,1,1,1,0,0,0,0,0]
=> [5] => ([],5)
=> ? = 1 - 1
[[[.,[.,.]],.],[.,.]]
=> [1,1,1,1,0,0,1,0,0,0]
=> [4,1] => ([(0,4),(1,4),(2,4),(3,4)],5)
=> 1 = 2 - 1
[[[[.,.],.],.],[.,.]]
=> [1,1,1,1,0,1,0,0,0,0]
=> [4,1] => ([(0,4),(1,4),(2,4),(3,4)],5)
=> 1 = 2 - 1
[[.,[[.,.],[.,.]]],.]
=> [1,1,0,0,1,1,1,0,0,0]
=> [2,3] => ([(2,4),(3,4)],5)
=> ? = 1 - 1
[[[.,.],[.,[.,.]]],.]
=> [1,1,0,1,1,0,0,0,1,0]
=> [2,2,1] => ([(0,4),(1,3),(1,4),(2,3),(2,4),(3,4)],5)
=> 1 = 2 - 1
[[[.,.],[[.,.],.]],.]
=> [1,1,0,1,1,0,0,1,0,0]
=> [2,2,1] => ([(0,4),(1,3),(1,4),(2,3),(2,4),(3,4)],5)
=> 1 = 2 - 1
[[[.,[.,.]],[.,.]],.]
=> [1,1,0,1,1,0,1,0,0,0]
=> [2,2,1] => ([(0,4),(1,3),(1,4),(2,3),(2,4),(3,4)],5)
=> 1 = 2 - 1
[[[[.,.],.],[.,.]],.]
=> [1,1,0,1,1,1,0,0,0,0]
=> [2,3] => ([(2,4),(3,4)],5)
=> ? = 2 - 1
[[[[.,.],[.,.]],.],.]
=> [1,1,0,1,0,1,1,0,0,0]
=> [2,1,2] => ([(1,3),(1,4),(2,3),(2,4),(3,4)],5)
=> ? = 1 - 1
[.,[.,[.,[[.,.],[.,.]]]]]
=> [1,0,1,0,1,0,1,1,1,0,0,0]
=> [1,1,1,3] => ([(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6)
=> ? = 1 - 1
[.,[.,[[.,.],[.,[.,.]]]]]
=> [1,0,1,0,1,1,1,0,0,0,1,0]
=> [1,1,3,1] => ([(0,5),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6)
=> 1 = 2 - 1
[.,[.,[[.,.],[[.,.],.]]]]
=> [1,0,1,0,1,1,1,0,0,1,0,0]
=> [1,1,3,1] => ([(0,5),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6)
=> 1 = 2 - 1
[.,[.,[[.,[.,.]],[.,.]]]]
=> [1,0,1,0,1,1,1,0,1,0,0,0]
=> [1,1,3,1] => ([(0,5),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6)
=> 1 = 2 - 1
[.,[.,[[[.,.],.],[.,.]]]]
=> [1,0,1,0,1,1,1,1,0,0,0,0]
=> [1,1,4] => ([(3,4),(3,5),(4,5)],6)
=> ? = 2 - 1
[.,[.,[[[.,.],[.,.]],.]]]
=> [1,0,1,0,1,1,0,1,1,0,0,0]
=> [1,1,2,2] => ([(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6)
=> ? = 1 - 1
[.,[[.,.],[.,[.,[.,.]]]]]
=> [1,0,1,1,1,0,0,0,1,0,1,0]
=> [1,3,1,1] => ([(0,4),(0,5),(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6)
=> 1 = 2 - 1
[.,[[.,.],[.,[[.,.],.]]]]
=> [1,0,1,1,1,0,0,0,1,1,0,0]
=> [1,3,2] => ([(1,5),(2,5),(3,4),(3,5),(4,5)],6)
=> ? = 2 - 1
[.,[[.,.],[[.,.],[.,.]]]]
=> [1,0,1,1,1,0,0,1,1,0,0,0]
=> [1,3,2] => ([(1,5),(2,5),(3,4),(3,5),(4,5)],6)
=> ? = 1 - 1
[.,[[.,.],[[.,[.,.]],.]]]
=> [1,0,1,1,1,0,0,1,0,0,1,0]
=> [1,3,1,1] => ([(0,4),(0,5),(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6)
=> 1 = 2 - 1
[.,[[.,.],[[[.,.],.],.]]]
=> [1,0,1,1,1,0,0,1,0,1,0,0]
=> [1,3,1,1] => ([(0,4),(0,5),(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6)
=> 1 = 2 - 1
[.,[[.,[.,.]],[.,[.,.]]]]
=> [1,0,1,1,1,0,1,0,0,0,1,0]
=> [1,3,1,1] => ([(0,4),(0,5),(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6)
=> 1 = 2 - 1
[.,[[.,[.,.]],[[.,.],.]]]
=> [1,0,1,1,1,0,1,0,0,1,0,0]
=> [1,3,1,1] => ([(0,4),(0,5),(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6)
=> 1 = 2 - 1
[.,[[[.,.],.],[.,[.,.]]]]
=> [1,0,1,1,1,1,0,0,0,0,1,0]
=> [1,4,1] => ([(0,5),(1,5),(2,5),(3,4),(3,5),(4,5)],6)
=> 1 = 2 - 1
[.,[[[.,.],.],[[.,.],.]]]
=> [1,0,1,1,1,1,0,0,0,1,0,0]
=> [1,4,1] => ([(0,5),(1,5),(2,5),(3,4),(3,5),(4,5)],6)
=> 1 = 2 - 1
[.,[[.,[.,[.,.]]],[.,.]]]
=> [1,0,1,1,1,0,1,0,1,0,0,0]
=> [1,3,1,1] => ([(0,4),(0,5),(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6)
=> 1 = 2 - 1
[.,[[.,[[.,.],.]],[.,.]]]
=> [1,0,1,1,1,0,1,1,0,0,0,0]
=> [1,3,2] => ([(1,5),(2,5),(3,4),(3,5),(4,5)],6)
=> ? = 2 - 1
[.,[[[.,.],[.,.]],[.,.]]]
=> [1,0,1,1,1,1,1,0,0,0,0,0]
=> [1,5] => ([(4,5)],6)
=> ? = 1 - 1
[.,[[[.,[.,.]],.],[.,.]]]
=> [1,0,1,1,1,1,0,0,1,0,0,0]
=> [1,4,1] => ([(0,5),(1,5),(2,5),(3,4),(3,5),(4,5)],6)
=> 1 = 2 - 1
[.,[[[[.,.],.],.],[.,.]]]
=> [1,0,1,1,1,1,0,1,0,0,0,0]
=> [1,4,1] => ([(0,5),(1,5),(2,5),(3,4),(3,5),(4,5)],6)
=> 1 = 2 - 1
[.,[[.,[[.,.],[.,.]]],.]]
=> [1,0,1,1,0,0,1,1,1,0,0,0]
=> [1,2,3] => ([(2,5),(3,4),(3,5),(4,5)],6)
=> ? = 1 - 1
[.,[[[.,.],[.,[.,.]]],.]]
=> [1,0,1,1,0,1,1,0,0,0,1,0]
=> [1,2,2,1] => ([(0,5),(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6)
=> 1 = 2 - 1
[.,[[[.,.],[[.,.],.]],.]]
=> [1,0,1,1,0,1,1,0,0,1,0,0]
=> [1,2,2,1] => ([(0,5),(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6)
=> 1 = 2 - 1
[.,[[[.,[.,.]],[.,.]],.]]
=> [1,0,1,1,0,1,1,0,1,0,0,0]
=> [1,2,2,1] => ([(0,5),(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6)
=> 1 = 2 - 1
[.,[[[[.,.],.],[.,.]],.]]
=> [1,0,1,1,0,1,1,1,0,0,0,0]
=> [1,2,3] => ([(2,5),(3,4),(3,5),(4,5)],6)
=> ? = 2 - 1
[.,[[[[.,.],[.,.]],.],.]]
=> [1,0,1,1,0,1,0,1,1,0,0,0]
=> [1,2,1,2] => ([(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6)
=> ? = 1 - 1
[[.,.],[.,[.,[.,[.,.]]]]]
=> [1,1,1,0,0,0,1,0,1,0,1,0]
=> [3,1,1,1] => ([(0,3),(0,4),(0,5),(1,3),(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6)
=> 1 = 2 - 1
[[.,.],[.,[.,[[.,.],.]]]]
=> [1,1,1,0,0,0,1,0,1,1,0,0]
=> [3,1,2] => ([(1,4),(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6)
=> ? = 2 - 1
[[.,.],[.,[[.,.],[.,.]]]]
=> [1,1,1,0,0,0,1,1,1,0,0,0]
=> [3,3] => ([(2,5),(3,5),(4,5)],6)
=> ? = 1 - 1
[[.,.],[.,[[.,[.,.]],.]]]
=> [1,1,1,0,0,0,1,1,0,0,1,0]
=> [3,2,1] => ([(0,5),(1,4),(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6)
=> 1 = 2 - 1
[[.,.],[.,[[[.,.],.],.]]]
=> [1,1,1,0,0,0,1,1,0,1,0,0]
=> [3,2,1] => ([(0,5),(1,4),(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6)
=> 1 = 2 - 1
[[.,.],[[.,.],[.,[.,.]]]]
=> [1,1,1,0,0,1,1,0,0,0,1,0]
=> [3,2,1] => ([(0,5),(1,4),(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6)
=> 1 = 2 - 1
[[.,.],[[[.,.],.],[.,.]]]
=> [1,1,1,0,0,1,1,1,0,0,0,0]
=> [3,3] => ([(2,5),(3,5),(4,5)],6)
=> ? = 2 - 1
[[.,.],[[.,[[.,.],.]],.]]
=> [1,1,1,0,0,1,0,0,1,1,0,0]
=> [3,1,2] => ([(1,4),(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6)
=> ? = 2 - 1
[[.,.],[[[.,.],[.,.]],.]]
=> [1,1,1,0,0,1,0,1,1,0,0,0]
=> [3,1,2] => ([(1,4),(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6)
=> ? = 1 - 1
[[.,[.,.]],[.,[[.,.],.]]]
=> [1,1,1,0,1,0,0,0,1,1,0,0]
=> [3,1,2] => ([(1,4),(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6)
=> ? = 2 - 1
[[.,[.,.]],[[.,.],[.,.]]]
=> [1,1,1,0,1,0,0,1,1,0,0,0]
=> [3,1,2] => ([(1,4),(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6)
=> ? = 2 - 1
[[[.,.],.],[.,[[.,.],.]]]
=> [1,1,1,1,0,0,0,0,1,1,0,0]
=> [4,2] => ([(1,5),(2,5),(3,5),(4,5)],6)
=> ? = 2 - 1
[[[.,.],.],[[.,.],[.,.]]]
=> [1,1,1,1,0,0,0,1,1,0,0,0]
=> [4,2] => ([(1,5),(2,5),(3,5),(4,5)],6)
=> ? = 2 - 1
[[[.,.],[.,.]],[[.,.],.]]
=> [1,1,1,1,1,1,0,0,0,0,0,0]
=> [6] => ([],6)
=> ? = 2 - 1
[[.,[.,[[.,.],.]]],[.,.]]
=> [1,1,1,0,1,0,1,1,0,0,0,0]
=> [3,1,2] => ([(1,4),(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6)
=> ? = 2 - 1
[[.,[[.,.],[.,.]]],[.,.]]
=> [1,1,1,0,1,1,1,0,0,0,0,0]
=> [3,3] => ([(2,5),(3,5),(4,5)],6)
=> ? = 1 - 1
[[[.,[[.,.],.]],.],[.,.]]
=> [1,1,1,1,0,0,1,1,0,0,0,0]
=> [4,2] => ([(1,5),(2,5),(3,5),(4,5)],6)
=> ? = 2 - 1
[[[[.,.],[.,.]],.],[.,.]]
=> [1,1,1,1,0,1,1,0,0,0,0,0]
=> [4,2] => ([(1,5),(2,5),(3,5),(4,5)],6)
=> ? = 1 - 1
[[.,[.,[[.,.],[.,.]]]],.]
=> [1,1,0,0,1,0,1,1,1,0,0,0]
=> [2,1,3] => ([(2,4),(2,5),(3,4),(3,5),(4,5)],6)
=> ? = 1 - 1
[[.,[[[.,.],.],[.,.]]],.]
=> [1,1,0,0,1,1,1,1,0,0,0,0]
=> [2,4] => ([(3,5),(4,5)],6)
=> ? = 2 - 1
[[.,[[[.,.],[.,.]],.]],.]
=> [1,1,0,0,1,1,0,1,1,0,0,0]
=> [2,2,2] => ([(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6)
=> ? = 1 - 1
[[[.,.],[.,[[.,.],.]]],.]
=> [1,1,0,1,1,0,0,0,1,1,0,0]
=> [2,2,2] => ([(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6)
=> ? = 2 - 1
[[[.,.],[[.,.],[.,.]]],.]
=> [1,1,0,1,1,0,0,1,1,0,0,0]
=> [2,2,2] => ([(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6)
=> ? = 1 - 1
[[[.,[[.,.],.]],[.,.]],.]
=> [1,1,0,1,1,0,1,1,0,0,0,0]
=> [2,2,2] => ([(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6)
=> ? = 2 - 1
[[[[.,.],[.,.]],[.,.]],.]
=> [1,1,0,1,1,1,1,0,0,0,0,0]
=> [2,4] => ([(3,5),(4,5)],6)
=> ? = 1 - 1
[[[.,[[.,.],[.,.]]],.],.]
=> [1,1,0,1,0,0,1,1,1,0,0,0]
=> [2,1,3] => ([(2,4),(2,5),(3,4),(3,5),(4,5)],6)
=> ? = 1 - 1
Description
The radius of a connected graph. This is the minimum eccentricity of any vertex.
Matching statistic: St001630
Mp00013: Binary trees to posetPosets
Mp00206: Posets antichains of maximal sizeLattices
Mp00197: Lattices lattice of congruencesLattices
St001630: Lattices ⟶ ℤResult quality: 30% values known / values provided: 30%distinct values known / distinct values provided: 50%
Values
[.,.]
=> ([],1)
=> ([],1)
=> ([],1)
=> ? = 1
[.,[.,.]]
=> ([(0,1)],2)
=> ([(0,1)],2)
=> ([(0,1)],2)
=> ? = 2
[[.,.],.]
=> ([(0,1)],2)
=> ([(0,1)],2)
=> ([(0,1)],2)
=> ? = 2
[.,[.,[.,.]]]
=> ([(0,2),(2,1)],3)
=> ([(0,2),(2,1)],3)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> 2
[.,[[.,.],.]]
=> ([(0,2),(2,1)],3)
=> ([(0,2),(2,1)],3)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> 2
[[.,.],[.,.]]
=> ([(0,2),(1,2)],3)
=> ([],1)
=> ([],1)
=> ? = 1
[[.,[.,.]],.]
=> ([(0,2),(2,1)],3)
=> ([(0,2),(2,1)],3)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> 2
[[[.,.],.],.]
=> ([(0,2),(2,1)],3)
=> ([(0,2),(2,1)],3)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> 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)
=> ? = 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)
=> ? = 2
[.,[[.,.],[.,.]]]
=> ([(0,3),(1,3),(3,2)],4)
=> ([],1)
=> ([],1)
=> ? = 1
[.,[[.,[.,.]],.]]
=> ([(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)
=> ? = 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)
=> ? = 2
[[.,.],[.,[.,.]]]
=> ([(0,3),(1,2),(2,3)],4)
=> ([(0,1)],2)
=> ([(0,1)],2)
=> ? = 2
[[.,.],[[.,.],.]]
=> ([(0,3),(1,2),(2,3)],4)
=> ([(0,1)],2)
=> ([(0,1)],2)
=> ? = 2
[[.,[.,.]],[.,.]]
=> ([(0,3),(1,2),(2,3)],4)
=> ([(0,1)],2)
=> ([(0,1)],2)
=> ? = 2
[[[.,.],.],[.,.]]
=> ([(0,3),(1,2),(2,3)],4)
=> ([(0,1)],2)
=> ([(0,1)],2)
=> ? = 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)
=> ? = 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)
=> ? = 2
[[[.,.],[.,.]],.]
=> ([(0,3),(1,3),(3,2)],4)
=> ([],1)
=> ([],1)
=> ? = 1
[[[.,[.,.]],.],.]
=> ([(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)
=> ? = 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)
=> ? = 2
[.,[.,[[.,.],[.,.]]]]
=> ([(0,4),(1,4),(2,3),(4,2)],5)
=> ([],1)
=> ([],1)
=> ? = 1
[.,[[.,.],[.,[.,.]]]]
=> ([(0,4),(1,2),(2,4),(4,3)],5)
=> ([(0,1)],2)
=> ([(0,1)],2)
=> ? = 2
[.,[[.,.],[[.,.],.]]]
=> ([(0,4),(1,2),(2,4),(4,3)],5)
=> ([(0,1)],2)
=> ([(0,1)],2)
=> ? = 2
[.,[[.,[.,.]],[.,.]]]
=> ([(0,4),(1,2),(2,4),(4,3)],5)
=> ([(0,1)],2)
=> ([(0,1)],2)
=> ? = 2
[.,[[[.,.],.],[.,.]]]
=> ([(0,4),(1,2),(2,4),(4,3)],5)
=> ([(0,1)],2)
=> ([(0,1)],2)
=> ? = 2
[.,[[[.,.],[.,.]],.]]
=> ([(0,4),(1,4),(2,3),(4,2)],5)
=> ([],1)
=> ([],1)
=> ? = 1
[[.,.],[.,[.,[.,.]]]]
=> ([(0,4),(1,2),(2,3),(3,4)],5)
=> ([(0,2),(2,1)],3)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> 2
[[.,.],[.,[[.,.],.]]]
=> ([(0,4),(1,2),(2,3),(3,4)],5)
=> ([(0,2),(2,1)],3)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> 2
[[.,.],[[.,.],[.,.]]]
=> ([(0,4),(1,3),(2,3),(3,4)],5)
=> ([],1)
=> ([],1)
=> ? = 1
[[.,.],[[.,[.,.]],.]]
=> ([(0,4),(1,2),(2,3),(3,4)],5)
=> ([(0,2),(2,1)],3)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> 2
[[.,.],[[[.,.],.],.]]
=> ([(0,4),(1,2),(2,3),(3,4)],5)
=> ([(0,2),(2,1)],3)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> 2
[[.,[.,.]],[.,[.,.]]]
=> ([(0,3),(1,2),(2,4),(3,4)],5)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> 2
[[.,[.,.]],[[.,.],.]]
=> ([(0,3),(1,2),(2,4),(3,4)],5)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> 2
[[[.,.],.],[.,[.,.]]]
=> ([(0,3),(1,2),(2,4),(3,4)],5)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> 2
[[[.,.],.],[[.,.],.]]
=> ([(0,3),(1,2),(2,4),(3,4)],5)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> 2
[[.,[.,[.,.]]],[.,.]]
=> ([(0,4),(1,2),(2,3),(3,4)],5)
=> ([(0,2),(2,1)],3)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> 2
[[.,[[.,.],.]],[.,.]]
=> ([(0,4),(1,2),(2,3),(3,4)],5)
=> ([(0,2),(2,1)],3)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> 2
[[[.,.],[.,.]],[.,.]]
=> ([(0,4),(1,3),(2,3),(3,4)],5)
=> ([],1)
=> ([],1)
=> ? = 1
[[[.,[.,.]],.],[.,.]]
=> ([(0,4),(1,2),(2,3),(3,4)],5)
=> ([(0,2),(2,1)],3)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> 2
[[[[.,.],.],.],[.,.]]
=> ([(0,4),(1,2),(2,3),(3,4)],5)
=> ([(0,2),(2,1)],3)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> 2
[[.,[[.,.],[.,.]]],.]
=> ([(0,4),(1,4),(2,3),(4,2)],5)
=> ([],1)
=> ([],1)
=> ? = 1
[[[.,.],[.,[.,.]]],.]
=> ([(0,4),(1,2),(2,4),(4,3)],5)
=> ([(0,1)],2)
=> ([(0,1)],2)
=> ? = 2
[[[.,.],[[.,.],.]],.]
=> ([(0,4),(1,2),(2,4),(4,3)],5)
=> ([(0,1)],2)
=> ([(0,1)],2)
=> ? = 2
[[[.,[.,.]],[.,.]],.]
=> ([(0,4),(1,2),(2,4),(4,3)],5)
=> ([(0,1)],2)
=> ([(0,1)],2)
=> ? = 2
[[[[.,.],.],[.,.]],.]
=> ([(0,4),(1,2),(2,4),(4,3)],5)
=> ([(0,1)],2)
=> ([(0,1)],2)
=> ? = 2
[[[[.,.],[.,.]],.],.]
=> ([(0,4),(1,4),(2,3),(4,2)],5)
=> ([],1)
=> ([],1)
=> ? = 1
[.,[.,[.,[[.,.],[.,.]]]]]
=> ([(0,5),(1,5),(3,2),(4,3),(5,4)],6)
=> ([],1)
=> ([],1)
=> ? = 1
[.,[.,[[.,.],[.,[.,.]]]]]
=> ([(0,5),(1,3),(3,5),(4,2),(5,4)],6)
=> ([(0,1)],2)
=> ([(0,1)],2)
=> ? = 2
[.,[.,[[.,.],[[.,.],.]]]]
=> ([(0,5),(1,3),(3,5),(4,2),(5,4)],6)
=> ([(0,1)],2)
=> ([(0,1)],2)
=> ? = 2
[.,[.,[[.,[.,.]],[.,.]]]]
=> ([(0,5),(1,3),(3,5),(4,2),(5,4)],6)
=> ([(0,1)],2)
=> ([(0,1)],2)
=> ? = 2
[.,[.,[[[.,.],.],[.,.]]]]
=> ([(0,5),(1,3),(3,5),(4,2),(5,4)],6)
=> ([(0,1)],2)
=> ([(0,1)],2)
=> ? = 2
[.,[.,[[[.,.],[.,.]],.]]]
=> ([(0,5),(1,5),(3,2),(4,3),(5,4)],6)
=> ([],1)
=> ([],1)
=> ? = 1
[.,[[.,.],[.,[.,[.,.]]]]]
=> ([(0,5),(1,4),(2,5),(4,2),(5,3)],6)
=> ([(0,2),(2,1)],3)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> 2
[.,[[.,.],[.,[[.,.],.]]]]
=> ([(0,5),(1,4),(2,5),(4,2),(5,3)],6)
=> ([(0,2),(2,1)],3)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> 2
[.,[[.,.],[[.,.],[.,.]]]]
=> ([(0,5),(1,4),(2,4),(4,5),(5,3)],6)
=> ([],1)
=> ([],1)
=> ? = 1
[.,[[.,.],[[.,[.,.]],.]]]
=> ([(0,5),(1,4),(2,5),(4,2),(5,3)],6)
=> ([(0,2),(2,1)],3)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> 2
[.,[[.,.],[[[.,.],.],.]]]
=> ([(0,5),(1,4),(2,5),(4,2),(5,3)],6)
=> ([(0,2),(2,1)],3)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> 2
[.,[[.,[.,.]],[.,[.,.]]]]
=> ([(0,4),(1,3),(3,5),(4,5),(5,2)],6)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> 2
[.,[[.,[.,.]],[[.,.],.]]]
=> ([(0,4),(1,3),(3,5),(4,5),(5,2)],6)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> 2
[.,[[[.,.],.],[.,[.,.]]]]
=> ([(0,4),(1,3),(3,5),(4,5),(5,2)],6)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> 2
[.,[[[.,.],.],[[.,.],.]]]
=> ([(0,4),(1,3),(3,5),(4,5),(5,2)],6)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> 2
[.,[[.,[.,[.,.]]],[.,.]]]
=> ([(0,5),(1,4),(2,5),(4,2),(5,3)],6)
=> ([(0,2),(2,1)],3)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> 2
[.,[[.,[[.,.],.]],[.,.]]]
=> ([(0,5),(1,4),(2,5),(4,2),(5,3)],6)
=> ([(0,2),(2,1)],3)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> 2
[.,[[[.,.],[.,.]],[.,.]]]
=> ([(0,5),(1,4),(2,4),(4,5),(5,3)],6)
=> ([],1)
=> ([],1)
=> ? = 1
[.,[[[.,[.,.]],.],[.,.]]]
=> ([(0,5),(1,4),(2,5),(4,2),(5,3)],6)
=> ([(0,2),(2,1)],3)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> 2
[.,[[[[.,.],.],.],[.,.]]]
=> ([(0,5),(1,4),(2,5),(4,2),(5,3)],6)
=> ([(0,2),(2,1)],3)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> 2
[.,[[.,[[.,.],[.,.]]],.]]
=> ([(0,5),(1,5),(3,2),(4,3),(5,4)],6)
=> ([],1)
=> ([],1)
=> ? = 1
[.,[[[.,.],[.,[.,.]]],.]]
=> ([(0,5),(1,3),(3,5),(4,2),(5,4)],6)
=> ([(0,1)],2)
=> ([(0,1)],2)
=> ? = 2
[.,[[[.,.],[[.,.],.]],.]]
=> ([(0,5),(1,3),(3,5),(4,2),(5,4)],6)
=> ([(0,1)],2)
=> ([(0,1)],2)
=> ? = 2
[.,[[[.,[.,.]],[.,.]],.]]
=> ([(0,5),(1,3),(3,5),(4,2),(5,4)],6)
=> ([(0,1)],2)
=> ([(0,1)],2)
=> ? = 2
[.,[[[[.,.],.],[.,.]],.]]
=> ([(0,5),(1,3),(3,5),(4,2),(5,4)],6)
=> ([(0,1)],2)
=> ([(0,1)],2)
=> ? = 2
[.,[[[[.,.],[.,.]],.],.]]
=> ([(0,5),(1,5),(3,2),(4,3),(5,4)],6)
=> ([],1)
=> ([],1)
=> ? = 1
[[.,.],[.,[.,[.,[.,.]]]]]
=> ([(0,5),(1,4),(2,5),(3,2),(4,3)],6)
=> ([(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)
=> ? = 2
[[.,.],[.,[.,[[.,.],.]]]]
=> ([(0,5),(1,4),(2,5),(3,2),(4,3)],6)
=> ([(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)
=> ? = 2
[[.,.],[.,[[.,.],[.,.]]]]
=> ([(0,5),(1,4),(2,4),(3,5),(4,3)],6)
=> ([],1)
=> ([],1)
=> ? = 1
[[.,.],[.,[[.,[.,.]],.]]]
=> ([(0,5),(1,4),(2,5),(3,2),(4,3)],6)
=> ([(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)
=> ? = 2
[[[.,.],[.,[.,[.,.]]]],.]
=> ([(0,5),(1,4),(2,5),(4,2),(5,3)],6)
=> ([(0,2),(2,1)],3)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> 2
[[[.,.],[.,[[.,.],.]]],.]
=> ([(0,5),(1,4),(2,5),(4,2),(5,3)],6)
=> ([(0,2),(2,1)],3)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> 2
[[[.,.],[[.,[.,.]],.]],.]
=> ([(0,5),(1,4),(2,5),(4,2),(5,3)],6)
=> ([(0,2),(2,1)],3)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> 2
[[[.,.],[[[.,.],.],.]],.]
=> ([(0,5),(1,4),(2,5),(4,2),(5,3)],6)
=> ([(0,2),(2,1)],3)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> 2
[[[.,[.,.]],[.,[.,.]]],.]
=> ([(0,4),(1,3),(3,5),(4,5),(5,2)],6)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> 2
[[[.,[.,.]],[[.,.],.]],.]
=> ([(0,4),(1,3),(3,5),(4,5),(5,2)],6)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> 2
[[[[.,.],.],[.,[.,.]]],.]
=> ([(0,4),(1,3),(3,5),(4,5),(5,2)],6)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> 2
[[[[.,.],.],[[.,.],.]],.]
=> ([(0,4),(1,3),(3,5),(4,5),(5,2)],6)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> 2
[[[.,[.,[.,.]]],[.,.]],.]
=> ([(0,5),(1,4),(2,5),(4,2),(5,3)],6)
=> ([(0,2),(2,1)],3)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> 2
[[[.,[[.,.],.]],[.,.]],.]
=> ([(0,5),(1,4),(2,5),(4,2),(5,3)],6)
=> ([(0,2),(2,1)],3)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> 2
[[[[.,[.,.]],.],[.,.]],.]
=> ([(0,5),(1,4),(2,5),(4,2),(5,3)],6)
=> ([(0,2),(2,1)],3)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> 2
[[[[[.,.],.],.],[.,.]],.]
=> ([(0,5),(1,4),(2,5),(4,2),(5,3)],6)
=> ([(0,2),(2,1)],3)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> 2
[.,[.,[[.,.],[.,[.,[.,.]]]]]]
=> ([(0,6),(1,4),(3,6),(4,3),(5,2),(6,5)],7)
=> ([(0,2),(2,1)],3)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> 2
[.,[.,[[.,.],[.,[[.,.],.]]]]]
=> ([(0,6),(1,4),(3,6),(4,3),(5,2),(6,5)],7)
=> ([(0,2),(2,1)],3)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> 2
[.,[.,[[.,.],[[.,[.,.]],.]]]]
=> ([(0,6),(1,4),(3,6),(4,3),(5,2),(6,5)],7)
=> ([(0,2),(2,1)],3)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> 2
[.,[.,[[.,.],[[[.,.],.],.]]]]
=> ([(0,6),(1,4),(3,6),(4,3),(5,2),(6,5)],7)
=> ([(0,2),(2,1)],3)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> 2
[.,[.,[[.,[.,.]],[.,[.,.]]]]]
=> ([(0,4),(1,3),(3,6),(4,6),(5,2),(6,5)],7)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> 2
[.,[.,[[.,[.,.]],[[.,.],.]]]]
=> ([(0,4),(1,3),(3,6),(4,6),(5,2),(6,5)],7)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> 2
[.,[.,[[[.,.],.],[.,[.,.]]]]]
=> ([(0,4),(1,3),(3,6),(4,6),(5,2),(6,5)],7)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> 2
[.,[.,[[[.,.],.],[[.,.],.]]]]
=> ([(0,4),(1,3),(3,6),(4,6),(5,2),(6,5)],7)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> 2
[.,[.,[[.,[.,[.,.]]],[.,.]]]]
=> ([(0,6),(1,4),(3,6),(4,3),(5,2),(6,5)],7)
=> ([(0,2),(2,1)],3)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> 2
[.,[.,[[.,[[.,.],.]],[.,.]]]]
=> ([(0,6),(1,4),(3,6),(4,3),(5,2),(6,5)],7)
=> ([(0,2),(2,1)],3)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> 2
Description
The global dimension of the incidence algebra of the lattice over the rational numbers.
Matching statistic: St001878
Mp00013: Binary trees to posetPosets
Mp00206: Posets antichains of maximal sizeLattices
Mp00197: Lattices lattice of congruencesLattices
St001878: Lattices ⟶ ℤResult quality: 30% values known / values provided: 30%distinct values known / distinct values provided: 50%
Values
[.,.]
=> ([],1)
=> ([],1)
=> ([],1)
=> ? = 1
[.,[.,.]]
=> ([(0,1)],2)
=> ([(0,1)],2)
=> ([(0,1)],2)
=> ? = 2
[[.,.],.]
=> ([(0,1)],2)
=> ([(0,1)],2)
=> ([(0,1)],2)
=> ? = 2
[.,[.,[.,.]]]
=> ([(0,2),(2,1)],3)
=> ([(0,2),(2,1)],3)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> 2
[.,[[.,.],.]]
=> ([(0,2),(2,1)],3)
=> ([(0,2),(2,1)],3)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> 2
[[.,.],[.,.]]
=> ([(0,2),(1,2)],3)
=> ([],1)
=> ([],1)
=> ? = 1
[[.,[.,.]],.]
=> ([(0,2),(2,1)],3)
=> ([(0,2),(2,1)],3)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> 2
[[[.,.],.],.]
=> ([(0,2),(2,1)],3)
=> ([(0,2),(2,1)],3)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> 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)
=> ? = 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)
=> ? = 2
[.,[[.,.],[.,.]]]
=> ([(0,3),(1,3),(3,2)],4)
=> ([],1)
=> ([],1)
=> ? = 1
[.,[[.,[.,.]],.]]
=> ([(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)
=> ? = 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)
=> ? = 2
[[.,.],[.,[.,.]]]
=> ([(0,3),(1,2),(2,3)],4)
=> ([(0,1)],2)
=> ([(0,1)],2)
=> ? = 2
[[.,.],[[.,.],.]]
=> ([(0,3),(1,2),(2,3)],4)
=> ([(0,1)],2)
=> ([(0,1)],2)
=> ? = 2
[[.,[.,.]],[.,.]]
=> ([(0,3),(1,2),(2,3)],4)
=> ([(0,1)],2)
=> ([(0,1)],2)
=> ? = 2
[[[.,.],.],[.,.]]
=> ([(0,3),(1,2),(2,3)],4)
=> ([(0,1)],2)
=> ([(0,1)],2)
=> ? = 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)
=> ? = 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)
=> ? = 2
[[[.,.],[.,.]],.]
=> ([(0,3),(1,3),(3,2)],4)
=> ([],1)
=> ([],1)
=> ? = 1
[[[.,[.,.]],.],.]
=> ([(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)
=> ? = 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)
=> ? = 2
[.,[.,[[.,.],[.,.]]]]
=> ([(0,4),(1,4),(2,3),(4,2)],5)
=> ([],1)
=> ([],1)
=> ? = 1
[.,[[.,.],[.,[.,.]]]]
=> ([(0,4),(1,2),(2,4),(4,3)],5)
=> ([(0,1)],2)
=> ([(0,1)],2)
=> ? = 2
[.,[[.,.],[[.,.],.]]]
=> ([(0,4),(1,2),(2,4),(4,3)],5)
=> ([(0,1)],2)
=> ([(0,1)],2)
=> ? = 2
[.,[[.,[.,.]],[.,.]]]
=> ([(0,4),(1,2),(2,4),(4,3)],5)
=> ([(0,1)],2)
=> ([(0,1)],2)
=> ? = 2
[.,[[[.,.],.],[.,.]]]
=> ([(0,4),(1,2),(2,4),(4,3)],5)
=> ([(0,1)],2)
=> ([(0,1)],2)
=> ? = 2
[.,[[[.,.],[.,.]],.]]
=> ([(0,4),(1,4),(2,3),(4,2)],5)
=> ([],1)
=> ([],1)
=> ? = 1
[[.,.],[.,[.,[.,.]]]]
=> ([(0,4),(1,2),(2,3),(3,4)],5)
=> ([(0,2),(2,1)],3)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> 2
[[.,.],[.,[[.,.],.]]]
=> ([(0,4),(1,2),(2,3),(3,4)],5)
=> ([(0,2),(2,1)],3)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> 2
[[.,.],[[.,.],[.,.]]]
=> ([(0,4),(1,3),(2,3),(3,4)],5)
=> ([],1)
=> ([],1)
=> ? = 1
[[.,.],[[.,[.,.]],.]]
=> ([(0,4),(1,2),(2,3),(3,4)],5)
=> ([(0,2),(2,1)],3)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> 2
[[.,.],[[[.,.],.],.]]
=> ([(0,4),(1,2),(2,3),(3,4)],5)
=> ([(0,2),(2,1)],3)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> 2
[[.,[.,.]],[.,[.,.]]]
=> ([(0,3),(1,2),(2,4),(3,4)],5)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> 2
[[.,[.,.]],[[.,.],.]]
=> ([(0,3),(1,2),(2,4),(3,4)],5)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> 2
[[[.,.],.],[.,[.,.]]]
=> ([(0,3),(1,2),(2,4),(3,4)],5)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> 2
[[[.,.],.],[[.,.],.]]
=> ([(0,3),(1,2),(2,4),(3,4)],5)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> 2
[[.,[.,[.,.]]],[.,.]]
=> ([(0,4),(1,2),(2,3),(3,4)],5)
=> ([(0,2),(2,1)],3)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> 2
[[.,[[.,.],.]],[.,.]]
=> ([(0,4),(1,2),(2,3),(3,4)],5)
=> ([(0,2),(2,1)],3)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> 2
[[[.,.],[.,.]],[.,.]]
=> ([(0,4),(1,3),(2,3),(3,4)],5)
=> ([],1)
=> ([],1)
=> ? = 1
[[[.,[.,.]],.],[.,.]]
=> ([(0,4),(1,2),(2,3),(3,4)],5)
=> ([(0,2),(2,1)],3)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> 2
[[[[.,.],.],.],[.,.]]
=> ([(0,4),(1,2),(2,3),(3,4)],5)
=> ([(0,2),(2,1)],3)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> 2
[[.,[[.,.],[.,.]]],.]
=> ([(0,4),(1,4),(2,3),(4,2)],5)
=> ([],1)
=> ([],1)
=> ? = 1
[[[.,.],[.,[.,.]]],.]
=> ([(0,4),(1,2),(2,4),(4,3)],5)
=> ([(0,1)],2)
=> ([(0,1)],2)
=> ? = 2
[[[.,.],[[.,.],.]],.]
=> ([(0,4),(1,2),(2,4),(4,3)],5)
=> ([(0,1)],2)
=> ([(0,1)],2)
=> ? = 2
[[[.,[.,.]],[.,.]],.]
=> ([(0,4),(1,2),(2,4),(4,3)],5)
=> ([(0,1)],2)
=> ([(0,1)],2)
=> ? = 2
[[[[.,.],.],[.,.]],.]
=> ([(0,4),(1,2),(2,4),(4,3)],5)
=> ([(0,1)],2)
=> ([(0,1)],2)
=> ? = 2
[[[[.,.],[.,.]],.],.]
=> ([(0,4),(1,4),(2,3),(4,2)],5)
=> ([],1)
=> ([],1)
=> ? = 1
[.,[.,[.,[[.,.],[.,.]]]]]
=> ([(0,5),(1,5),(3,2),(4,3),(5,4)],6)
=> ([],1)
=> ([],1)
=> ? = 1
[.,[.,[[.,.],[.,[.,.]]]]]
=> ([(0,5),(1,3),(3,5),(4,2),(5,4)],6)
=> ([(0,1)],2)
=> ([(0,1)],2)
=> ? = 2
[.,[.,[[.,.],[[.,.],.]]]]
=> ([(0,5),(1,3),(3,5),(4,2),(5,4)],6)
=> ([(0,1)],2)
=> ([(0,1)],2)
=> ? = 2
[.,[.,[[.,[.,.]],[.,.]]]]
=> ([(0,5),(1,3),(3,5),(4,2),(5,4)],6)
=> ([(0,1)],2)
=> ([(0,1)],2)
=> ? = 2
[.,[.,[[[.,.],.],[.,.]]]]
=> ([(0,5),(1,3),(3,5),(4,2),(5,4)],6)
=> ([(0,1)],2)
=> ([(0,1)],2)
=> ? = 2
[.,[.,[[[.,.],[.,.]],.]]]
=> ([(0,5),(1,5),(3,2),(4,3),(5,4)],6)
=> ([],1)
=> ([],1)
=> ? = 1
[.,[[.,.],[.,[.,[.,.]]]]]
=> ([(0,5),(1,4),(2,5),(4,2),(5,3)],6)
=> ([(0,2),(2,1)],3)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> 2
[.,[[.,.],[.,[[.,.],.]]]]
=> ([(0,5),(1,4),(2,5),(4,2),(5,3)],6)
=> ([(0,2),(2,1)],3)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> 2
[.,[[.,.],[[.,.],[.,.]]]]
=> ([(0,5),(1,4),(2,4),(4,5),(5,3)],6)
=> ([],1)
=> ([],1)
=> ? = 1
[.,[[.,.],[[.,[.,.]],.]]]
=> ([(0,5),(1,4),(2,5),(4,2),(5,3)],6)
=> ([(0,2),(2,1)],3)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> 2
[.,[[.,.],[[[.,.],.],.]]]
=> ([(0,5),(1,4),(2,5),(4,2),(5,3)],6)
=> ([(0,2),(2,1)],3)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> 2
[.,[[.,[.,.]],[.,[.,.]]]]
=> ([(0,4),(1,3),(3,5),(4,5),(5,2)],6)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> 2
[.,[[.,[.,.]],[[.,.],.]]]
=> ([(0,4),(1,3),(3,5),(4,5),(5,2)],6)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> 2
[.,[[[.,.],.],[.,[.,.]]]]
=> ([(0,4),(1,3),(3,5),(4,5),(5,2)],6)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> 2
[.,[[[.,.],.],[[.,.],.]]]
=> ([(0,4),(1,3),(3,5),(4,5),(5,2)],6)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> 2
[.,[[.,[.,[.,.]]],[.,.]]]
=> ([(0,5),(1,4),(2,5),(4,2),(5,3)],6)
=> ([(0,2),(2,1)],3)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> 2
[.,[[.,[[.,.],.]],[.,.]]]
=> ([(0,5),(1,4),(2,5),(4,2),(5,3)],6)
=> ([(0,2),(2,1)],3)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> 2
[.,[[[.,.],[.,.]],[.,.]]]
=> ([(0,5),(1,4),(2,4),(4,5),(5,3)],6)
=> ([],1)
=> ([],1)
=> ? = 1
[.,[[[.,[.,.]],.],[.,.]]]
=> ([(0,5),(1,4),(2,5),(4,2),(5,3)],6)
=> ([(0,2),(2,1)],3)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> 2
[.,[[[[.,.],.],.],[.,.]]]
=> ([(0,5),(1,4),(2,5),(4,2),(5,3)],6)
=> ([(0,2),(2,1)],3)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> 2
[.,[[.,[[.,.],[.,.]]],.]]
=> ([(0,5),(1,5),(3,2),(4,3),(5,4)],6)
=> ([],1)
=> ([],1)
=> ? = 1
[.,[[[.,.],[.,[.,.]]],.]]
=> ([(0,5),(1,3),(3,5),(4,2),(5,4)],6)
=> ([(0,1)],2)
=> ([(0,1)],2)
=> ? = 2
[.,[[[.,.],[[.,.],.]],.]]
=> ([(0,5),(1,3),(3,5),(4,2),(5,4)],6)
=> ([(0,1)],2)
=> ([(0,1)],2)
=> ? = 2
[.,[[[.,[.,.]],[.,.]],.]]
=> ([(0,5),(1,3),(3,5),(4,2),(5,4)],6)
=> ([(0,1)],2)
=> ([(0,1)],2)
=> ? = 2
[.,[[[[.,.],.],[.,.]],.]]
=> ([(0,5),(1,3),(3,5),(4,2),(5,4)],6)
=> ([(0,1)],2)
=> ([(0,1)],2)
=> ? = 2
[.,[[[[.,.],[.,.]],.],.]]
=> ([(0,5),(1,5),(3,2),(4,3),(5,4)],6)
=> ([],1)
=> ([],1)
=> ? = 1
[[.,.],[.,[.,[.,[.,.]]]]]
=> ([(0,5),(1,4),(2,5),(3,2),(4,3)],6)
=> ([(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)
=> ? = 2
[[.,.],[.,[.,[[.,.],.]]]]
=> ([(0,5),(1,4),(2,5),(3,2),(4,3)],6)
=> ([(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)
=> ? = 2
[[.,.],[.,[[.,.],[.,.]]]]
=> ([(0,5),(1,4),(2,4),(3,5),(4,3)],6)
=> ([],1)
=> ([],1)
=> ? = 1
[[.,.],[.,[[.,[.,.]],.]]]
=> ([(0,5),(1,4),(2,5),(3,2),(4,3)],6)
=> ([(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)
=> ? = 2
[[[.,.],[.,[.,[.,.]]]],.]
=> ([(0,5),(1,4),(2,5),(4,2),(5,3)],6)
=> ([(0,2),(2,1)],3)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> 2
[[[.,.],[.,[[.,.],.]]],.]
=> ([(0,5),(1,4),(2,5),(4,2),(5,3)],6)
=> ([(0,2),(2,1)],3)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> 2
[[[.,.],[[.,[.,.]],.]],.]
=> ([(0,5),(1,4),(2,5),(4,2),(5,3)],6)
=> ([(0,2),(2,1)],3)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> 2
[[[.,.],[[[.,.],.],.]],.]
=> ([(0,5),(1,4),(2,5),(4,2),(5,3)],6)
=> ([(0,2),(2,1)],3)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> 2
[[[.,[.,.]],[.,[.,.]]],.]
=> ([(0,4),(1,3),(3,5),(4,5),(5,2)],6)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> 2
[[[.,[.,.]],[[.,.],.]],.]
=> ([(0,4),(1,3),(3,5),(4,5),(5,2)],6)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> 2
[[[[.,.],.],[.,[.,.]]],.]
=> ([(0,4),(1,3),(3,5),(4,5),(5,2)],6)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> 2
[[[[.,.],.],[[.,.],.]],.]
=> ([(0,4),(1,3),(3,5),(4,5),(5,2)],6)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> 2
[[[.,[.,[.,.]]],[.,.]],.]
=> ([(0,5),(1,4),(2,5),(4,2),(5,3)],6)
=> ([(0,2),(2,1)],3)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> 2
[[[.,[[.,.],.]],[.,.]],.]
=> ([(0,5),(1,4),(2,5),(4,2),(5,3)],6)
=> ([(0,2),(2,1)],3)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> 2
[[[[.,[.,.]],.],[.,.]],.]
=> ([(0,5),(1,4),(2,5),(4,2),(5,3)],6)
=> ([(0,2),(2,1)],3)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> 2
[[[[[.,.],.],.],[.,.]],.]
=> ([(0,5),(1,4),(2,5),(4,2),(5,3)],6)
=> ([(0,2),(2,1)],3)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> 2
[.,[.,[[.,.],[.,[.,[.,.]]]]]]
=> ([(0,6),(1,4),(3,6),(4,3),(5,2),(6,5)],7)
=> ([(0,2),(2,1)],3)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> 2
[.,[.,[[.,.],[.,[[.,.],.]]]]]
=> ([(0,6),(1,4),(3,6),(4,3),(5,2),(6,5)],7)
=> ([(0,2),(2,1)],3)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> 2
[.,[.,[[.,.],[[.,[.,.]],.]]]]
=> ([(0,6),(1,4),(3,6),(4,3),(5,2),(6,5)],7)
=> ([(0,2),(2,1)],3)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> 2
[.,[.,[[.,.],[[[.,.],.],.]]]]
=> ([(0,6),(1,4),(3,6),(4,3),(5,2),(6,5)],7)
=> ([(0,2),(2,1)],3)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> 2
[.,[.,[[.,[.,.]],[.,[.,.]]]]]
=> ([(0,4),(1,3),(3,6),(4,6),(5,2),(6,5)],7)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> 2
[.,[.,[[.,[.,.]],[[.,.],.]]]]
=> ([(0,4),(1,3),(3,6),(4,6),(5,2),(6,5)],7)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> 2
[.,[.,[[[.,.],.],[.,[.,.]]]]]
=> ([(0,4),(1,3),(3,6),(4,6),(5,2),(6,5)],7)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> 2
[.,[.,[[[.,.],.],[[.,.],.]]]]
=> ([(0,4),(1,3),(3,6),(4,6),(5,2),(6,5)],7)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> 2
[.,[.,[[.,[.,[.,.]]],[.,.]]]]
=> ([(0,6),(1,4),(3,6),(4,3),(5,2),(6,5)],7)
=> ([(0,2),(2,1)],3)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> 2
[.,[.,[[.,[[.,.],.]],[.,.]]]]
=> ([(0,6),(1,4),(3,6),(4,3),(5,2),(6,5)],7)
=> ([(0,2),(2,1)],3)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> 2
Description
The projective dimension of the simple modules corresponding to the minimum of L in the incidence algebra of the lattice L.
Matching statistic: St001875
Mp00013: Binary trees to posetPosets
Mp00206: Posets antichains of maximal sizeLattices
Mp00197: Lattices lattice of congruencesLattices
St001875: Lattices ⟶ ℤResult quality: 30% values known / values provided: 30%distinct values known / distinct values provided: 50%
Values
[.,.]
=> ([],1)
=> ([],1)
=> ([],1)
=> ? = 1 + 1
[.,[.,.]]
=> ([(0,1)],2)
=> ([(0,1)],2)
=> ([(0,1)],2)
=> ? = 2 + 1
[[.,.],.]
=> ([(0,1)],2)
=> ([(0,1)],2)
=> ([(0,1)],2)
=> ? = 2 + 1
[.,[.,[.,.]]]
=> ([(0,2),(2,1)],3)
=> ([(0,2),(2,1)],3)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> 3 = 2 + 1
[.,[[.,.],.]]
=> ([(0,2),(2,1)],3)
=> ([(0,2),(2,1)],3)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> 3 = 2 + 1
[[.,.],[.,.]]
=> ([(0,2),(1,2)],3)
=> ([],1)
=> ([],1)
=> ? = 1 + 1
[[.,[.,.]],.]
=> ([(0,2),(2,1)],3)
=> ([(0,2),(2,1)],3)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> 3 = 2 + 1
[[[.,.],.],.]
=> ([(0,2),(2,1)],3)
=> ([(0,2),(2,1)],3)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> 3 = 2 + 1
[.,[.,[.,[.,.]]]]
=> ([(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)
=> ? = 2 + 1
[.,[.,[[.,.],.]]]
=> ([(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)
=> ? = 2 + 1
[.,[[.,.],[.,.]]]
=> ([(0,3),(1,3),(3,2)],4)
=> ([],1)
=> ([],1)
=> ? = 1 + 1
[.,[[.,[.,.]],.]]
=> ([(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)
=> ? = 2 + 1
[.,[[[.,.],.],.]]
=> ([(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)
=> ? = 2 + 1
[[.,.],[.,[.,.]]]
=> ([(0,3),(1,2),(2,3)],4)
=> ([(0,1)],2)
=> ([(0,1)],2)
=> ? = 2 + 1
[[.,.],[[.,.],.]]
=> ([(0,3),(1,2),(2,3)],4)
=> ([(0,1)],2)
=> ([(0,1)],2)
=> ? = 2 + 1
[[.,[.,.]],[.,.]]
=> ([(0,3),(1,2),(2,3)],4)
=> ([(0,1)],2)
=> ([(0,1)],2)
=> ? = 2 + 1
[[[.,.],.],[.,.]]
=> ([(0,3),(1,2),(2,3)],4)
=> ([(0,1)],2)
=> ([(0,1)],2)
=> ? = 2 + 1
[[.,[.,[.,.]]],.]
=> ([(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)
=> ? = 2 + 1
[[.,[[.,.],.]],.]
=> ([(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)
=> ? = 2 + 1
[[[.,.],[.,.]],.]
=> ([(0,3),(1,3),(3,2)],4)
=> ([],1)
=> ([],1)
=> ? = 1 + 1
[[[.,[.,.]],.],.]
=> ([(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)
=> ? = 2 + 1
[[[[.,.],.],.],.]
=> ([(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)
=> ? = 2 + 1
[.,[.,[[.,.],[.,.]]]]
=> ([(0,4),(1,4),(2,3),(4,2)],5)
=> ([],1)
=> ([],1)
=> ? = 1 + 1
[.,[[.,.],[.,[.,.]]]]
=> ([(0,4),(1,2),(2,4),(4,3)],5)
=> ([(0,1)],2)
=> ([(0,1)],2)
=> ? = 2 + 1
[.,[[.,.],[[.,.],.]]]
=> ([(0,4),(1,2),(2,4),(4,3)],5)
=> ([(0,1)],2)
=> ([(0,1)],2)
=> ? = 2 + 1
[.,[[.,[.,.]],[.,.]]]
=> ([(0,4),(1,2),(2,4),(4,3)],5)
=> ([(0,1)],2)
=> ([(0,1)],2)
=> ? = 2 + 1
[.,[[[.,.],.],[.,.]]]
=> ([(0,4),(1,2),(2,4),(4,3)],5)
=> ([(0,1)],2)
=> ([(0,1)],2)
=> ? = 2 + 1
[.,[[[.,.],[.,.]],.]]
=> ([(0,4),(1,4),(2,3),(4,2)],5)
=> ([],1)
=> ([],1)
=> ? = 1 + 1
[[.,.],[.,[.,[.,.]]]]
=> ([(0,4),(1,2),(2,3),(3,4)],5)
=> ([(0,2),(2,1)],3)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> 3 = 2 + 1
[[.,.],[.,[[.,.],.]]]
=> ([(0,4),(1,2),(2,3),(3,4)],5)
=> ([(0,2),(2,1)],3)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> 3 = 2 + 1
[[.,.],[[.,.],[.,.]]]
=> ([(0,4),(1,3),(2,3),(3,4)],5)
=> ([],1)
=> ([],1)
=> ? = 1 + 1
[[.,.],[[.,[.,.]],.]]
=> ([(0,4),(1,2),(2,3),(3,4)],5)
=> ([(0,2),(2,1)],3)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> 3 = 2 + 1
[[.,.],[[[.,.],.],.]]
=> ([(0,4),(1,2),(2,3),(3,4)],5)
=> ([(0,2),(2,1)],3)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> 3 = 2 + 1
[[.,[.,.]],[.,[.,.]]]
=> ([(0,3),(1,2),(2,4),(3,4)],5)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> 3 = 2 + 1
[[.,[.,.]],[[.,.],.]]
=> ([(0,3),(1,2),(2,4),(3,4)],5)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> 3 = 2 + 1
[[[.,.],.],[.,[.,.]]]
=> ([(0,3),(1,2),(2,4),(3,4)],5)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> 3 = 2 + 1
[[[.,.],.],[[.,.],.]]
=> ([(0,3),(1,2),(2,4),(3,4)],5)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> 3 = 2 + 1
[[.,[.,[.,.]]],[.,.]]
=> ([(0,4),(1,2),(2,3),(3,4)],5)
=> ([(0,2),(2,1)],3)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> 3 = 2 + 1
[[.,[[.,.],.]],[.,.]]
=> ([(0,4),(1,2),(2,3),(3,4)],5)
=> ([(0,2),(2,1)],3)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> 3 = 2 + 1
[[[.,.],[.,.]],[.,.]]
=> ([(0,4),(1,3),(2,3),(3,4)],5)
=> ([],1)
=> ([],1)
=> ? = 1 + 1
[[[.,[.,.]],.],[.,.]]
=> ([(0,4),(1,2),(2,3),(3,4)],5)
=> ([(0,2),(2,1)],3)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> 3 = 2 + 1
[[[[.,.],.],.],[.,.]]
=> ([(0,4),(1,2),(2,3),(3,4)],5)
=> ([(0,2),(2,1)],3)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> 3 = 2 + 1
[[.,[[.,.],[.,.]]],.]
=> ([(0,4),(1,4),(2,3),(4,2)],5)
=> ([],1)
=> ([],1)
=> ? = 1 + 1
[[[.,.],[.,[.,.]]],.]
=> ([(0,4),(1,2),(2,4),(4,3)],5)
=> ([(0,1)],2)
=> ([(0,1)],2)
=> ? = 2 + 1
[[[.,.],[[.,.],.]],.]
=> ([(0,4),(1,2),(2,4),(4,3)],5)
=> ([(0,1)],2)
=> ([(0,1)],2)
=> ? = 2 + 1
[[[.,[.,.]],[.,.]],.]
=> ([(0,4),(1,2),(2,4),(4,3)],5)
=> ([(0,1)],2)
=> ([(0,1)],2)
=> ? = 2 + 1
[[[[.,.],.],[.,.]],.]
=> ([(0,4),(1,2),(2,4),(4,3)],5)
=> ([(0,1)],2)
=> ([(0,1)],2)
=> ? = 2 + 1
[[[[.,.],[.,.]],.],.]
=> ([(0,4),(1,4),(2,3),(4,2)],5)
=> ([],1)
=> ([],1)
=> ? = 1 + 1
[.,[.,[.,[[.,.],[.,.]]]]]
=> ([(0,5),(1,5),(3,2),(4,3),(5,4)],6)
=> ([],1)
=> ([],1)
=> ? = 1 + 1
[.,[.,[[.,.],[.,[.,.]]]]]
=> ([(0,5),(1,3),(3,5),(4,2),(5,4)],6)
=> ([(0,1)],2)
=> ([(0,1)],2)
=> ? = 2 + 1
[.,[.,[[.,.],[[.,.],.]]]]
=> ([(0,5),(1,3),(3,5),(4,2),(5,4)],6)
=> ([(0,1)],2)
=> ([(0,1)],2)
=> ? = 2 + 1
[.,[.,[[.,[.,.]],[.,.]]]]
=> ([(0,5),(1,3),(3,5),(4,2),(5,4)],6)
=> ([(0,1)],2)
=> ([(0,1)],2)
=> ? = 2 + 1
[.,[.,[[[.,.],.],[.,.]]]]
=> ([(0,5),(1,3),(3,5),(4,2),(5,4)],6)
=> ([(0,1)],2)
=> ([(0,1)],2)
=> ? = 2 + 1
[.,[.,[[[.,.],[.,.]],.]]]
=> ([(0,5),(1,5),(3,2),(4,3),(5,4)],6)
=> ([],1)
=> ([],1)
=> ? = 1 + 1
[.,[[.,.],[.,[.,[.,.]]]]]
=> ([(0,5),(1,4),(2,5),(4,2),(5,3)],6)
=> ([(0,2),(2,1)],3)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> 3 = 2 + 1
[.,[[.,.],[.,[[.,.],.]]]]
=> ([(0,5),(1,4),(2,5),(4,2),(5,3)],6)
=> ([(0,2),(2,1)],3)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> 3 = 2 + 1
[.,[[.,.],[[.,.],[.,.]]]]
=> ([(0,5),(1,4),(2,4),(4,5),(5,3)],6)
=> ([],1)
=> ([],1)
=> ? = 1 + 1
[.,[[.,.],[[.,[.,.]],.]]]
=> ([(0,5),(1,4),(2,5),(4,2),(5,3)],6)
=> ([(0,2),(2,1)],3)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> 3 = 2 + 1
[.,[[.,.],[[[.,.],.],.]]]
=> ([(0,5),(1,4),(2,5),(4,2),(5,3)],6)
=> ([(0,2),(2,1)],3)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> 3 = 2 + 1
[.,[[.,[.,.]],[.,[.,.]]]]
=> ([(0,4),(1,3),(3,5),(4,5),(5,2)],6)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> 3 = 2 + 1
[.,[[.,[.,.]],[[.,.],.]]]
=> ([(0,4),(1,3),(3,5),(4,5),(5,2)],6)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> 3 = 2 + 1
[.,[[[.,.],.],[.,[.,.]]]]
=> ([(0,4),(1,3),(3,5),(4,5),(5,2)],6)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> 3 = 2 + 1
[.,[[[.,.],.],[[.,.],.]]]
=> ([(0,4),(1,3),(3,5),(4,5),(5,2)],6)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> 3 = 2 + 1
[.,[[.,[.,[.,.]]],[.,.]]]
=> ([(0,5),(1,4),(2,5),(4,2),(5,3)],6)
=> ([(0,2),(2,1)],3)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> 3 = 2 + 1
[.,[[.,[[.,.],.]],[.,.]]]
=> ([(0,5),(1,4),(2,5),(4,2),(5,3)],6)
=> ([(0,2),(2,1)],3)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> 3 = 2 + 1
[.,[[[.,.],[.,.]],[.,.]]]
=> ([(0,5),(1,4),(2,4),(4,5),(5,3)],6)
=> ([],1)
=> ([],1)
=> ? = 1 + 1
[.,[[[.,[.,.]],.],[.,.]]]
=> ([(0,5),(1,4),(2,5),(4,2),(5,3)],6)
=> ([(0,2),(2,1)],3)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> 3 = 2 + 1
[.,[[[[.,.],.],.],[.,.]]]
=> ([(0,5),(1,4),(2,5),(4,2),(5,3)],6)
=> ([(0,2),(2,1)],3)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> 3 = 2 + 1
[.,[[.,[[.,.],[.,.]]],.]]
=> ([(0,5),(1,5),(3,2),(4,3),(5,4)],6)
=> ([],1)
=> ([],1)
=> ? = 1 + 1
[.,[[[.,.],[.,[.,.]]],.]]
=> ([(0,5),(1,3),(3,5),(4,2),(5,4)],6)
=> ([(0,1)],2)
=> ([(0,1)],2)
=> ? = 2 + 1
[.,[[[.,.],[[.,.],.]],.]]
=> ([(0,5),(1,3),(3,5),(4,2),(5,4)],6)
=> ([(0,1)],2)
=> ([(0,1)],2)
=> ? = 2 + 1
[.,[[[.,[.,.]],[.,.]],.]]
=> ([(0,5),(1,3),(3,5),(4,2),(5,4)],6)
=> ([(0,1)],2)
=> ([(0,1)],2)
=> ? = 2 + 1
[.,[[[[.,.],.],[.,.]],.]]
=> ([(0,5),(1,3),(3,5),(4,2),(5,4)],6)
=> ([(0,1)],2)
=> ([(0,1)],2)
=> ? = 2 + 1
[.,[[[[.,.],[.,.]],.],.]]
=> ([(0,5),(1,5),(3,2),(4,3),(5,4)],6)
=> ([],1)
=> ([],1)
=> ? = 1 + 1
[[.,.],[.,[.,[.,[.,.]]]]]
=> ([(0,5),(1,4),(2,5),(3,2),(4,3)],6)
=> ([(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)
=> ? = 2 + 1
[[.,.],[.,[.,[[.,.],.]]]]
=> ([(0,5),(1,4),(2,5),(3,2),(4,3)],6)
=> ([(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)
=> ? = 2 + 1
[[.,.],[.,[[.,.],[.,.]]]]
=> ([(0,5),(1,4),(2,4),(3,5),(4,3)],6)
=> ([],1)
=> ([],1)
=> ? = 1 + 1
[[.,.],[.,[[.,[.,.]],.]]]
=> ([(0,5),(1,4),(2,5),(3,2),(4,3)],6)
=> ([(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)
=> ? = 2 + 1
[[[.,.],[.,[.,[.,.]]]],.]
=> ([(0,5),(1,4),(2,5),(4,2),(5,3)],6)
=> ([(0,2),(2,1)],3)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> 3 = 2 + 1
[[[.,.],[.,[[.,.],.]]],.]
=> ([(0,5),(1,4),(2,5),(4,2),(5,3)],6)
=> ([(0,2),(2,1)],3)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> 3 = 2 + 1
[[[.,.],[[.,[.,.]],.]],.]
=> ([(0,5),(1,4),(2,5),(4,2),(5,3)],6)
=> ([(0,2),(2,1)],3)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> 3 = 2 + 1
[[[.,.],[[[.,.],.],.]],.]
=> ([(0,5),(1,4),(2,5),(4,2),(5,3)],6)
=> ([(0,2),(2,1)],3)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> 3 = 2 + 1
[[[.,[.,.]],[.,[.,.]]],.]
=> ([(0,4),(1,3),(3,5),(4,5),(5,2)],6)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> 3 = 2 + 1
[[[.,[.,.]],[[.,.],.]],.]
=> ([(0,4),(1,3),(3,5),(4,5),(5,2)],6)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> 3 = 2 + 1
[[[[.,.],.],[.,[.,.]]],.]
=> ([(0,4),(1,3),(3,5),(4,5),(5,2)],6)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> 3 = 2 + 1
[[[[.,.],.],[[.,.],.]],.]
=> ([(0,4),(1,3),(3,5),(4,5),(5,2)],6)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> 3 = 2 + 1
[[[.,[.,[.,.]]],[.,.]],.]
=> ([(0,5),(1,4),(2,5),(4,2),(5,3)],6)
=> ([(0,2),(2,1)],3)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> 3 = 2 + 1
[[[.,[[.,.],.]],[.,.]],.]
=> ([(0,5),(1,4),(2,5),(4,2),(5,3)],6)
=> ([(0,2),(2,1)],3)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> 3 = 2 + 1
[[[[.,[.,.]],.],[.,.]],.]
=> ([(0,5),(1,4),(2,5),(4,2),(5,3)],6)
=> ([(0,2),(2,1)],3)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> 3 = 2 + 1
[[[[[.,.],.],.],[.,.]],.]
=> ([(0,5),(1,4),(2,5),(4,2),(5,3)],6)
=> ([(0,2),(2,1)],3)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> 3 = 2 + 1
[.,[.,[[.,.],[.,[.,[.,.]]]]]]
=> ([(0,6),(1,4),(3,6),(4,3),(5,2),(6,5)],7)
=> ([(0,2),(2,1)],3)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> 3 = 2 + 1
[.,[.,[[.,.],[.,[[.,.],.]]]]]
=> ([(0,6),(1,4),(3,6),(4,3),(5,2),(6,5)],7)
=> ([(0,2),(2,1)],3)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> 3 = 2 + 1
[.,[.,[[.,.],[[.,[.,.]],.]]]]
=> ([(0,6),(1,4),(3,6),(4,3),(5,2),(6,5)],7)
=> ([(0,2),(2,1)],3)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> 3 = 2 + 1
[.,[.,[[.,.],[[[.,.],.],.]]]]
=> ([(0,6),(1,4),(3,6),(4,3),(5,2),(6,5)],7)
=> ([(0,2),(2,1)],3)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> 3 = 2 + 1
[.,[.,[[.,[.,.]],[.,[.,.]]]]]
=> ([(0,4),(1,3),(3,6),(4,6),(5,2),(6,5)],7)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> 3 = 2 + 1
[.,[.,[[.,[.,.]],[[.,.],.]]]]
=> ([(0,4),(1,3),(3,6),(4,6),(5,2),(6,5)],7)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> 3 = 2 + 1
[.,[.,[[[.,.],.],[.,[.,.]]]]]
=> ([(0,4),(1,3),(3,6),(4,6),(5,2),(6,5)],7)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> 3 = 2 + 1
[.,[.,[[[.,.],.],[[.,.],.]]]]
=> ([(0,4),(1,3),(3,6),(4,6),(5,2),(6,5)],7)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> 3 = 2 + 1
[.,[.,[[.,[.,[.,.]]],[.,.]]]]
=> ([(0,6),(1,4),(3,6),(4,3),(5,2),(6,5)],7)
=> ([(0,2),(2,1)],3)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> 3 = 2 + 1
[.,[.,[[.,[[.,.],.]],[.,.]]]]
=> ([(0,6),(1,4),(3,6),(4,3),(5,2),(6,5)],7)
=> ([(0,2),(2,1)],3)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> 3 = 2 + 1
Description
The number of simple modules with projective dimension at most 1.
Matching statistic: St001877
Mp00013: Binary trees to posetPosets
Mp00206: Posets antichains of maximal sizeLattices
Mp00197: Lattices lattice of congruencesLattices
St001877: Lattices ⟶ ℤResult quality: 30% values known / values provided: 30%distinct values known / distinct values provided: 50%
Values
[.,.]
=> ([],1)
=> ([],1)
=> ([],1)
=> ? = 1 - 1
[.,[.,.]]
=> ([(0,1)],2)
=> ([(0,1)],2)
=> ([(0,1)],2)
=> ? = 2 - 1
[[.,.],.]
=> ([(0,1)],2)
=> ([(0,1)],2)
=> ([(0,1)],2)
=> ? = 2 - 1
[.,[.,[.,.]]]
=> ([(0,2),(2,1)],3)
=> ([(0,2),(2,1)],3)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> 1 = 2 - 1
[.,[[.,.],.]]
=> ([(0,2),(2,1)],3)
=> ([(0,2),(2,1)],3)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> 1 = 2 - 1
[[.,.],[.,.]]
=> ([(0,2),(1,2)],3)
=> ([],1)
=> ([],1)
=> ? = 1 - 1
[[.,[.,.]],.]
=> ([(0,2),(2,1)],3)
=> ([(0,2),(2,1)],3)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> 1 = 2 - 1
[[[.,.],.],.]
=> ([(0,2),(2,1)],3)
=> ([(0,2),(2,1)],3)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> 1 = 2 - 1
[.,[.,[.,[.,.]]]]
=> ([(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)
=> ? = 2 - 1
[.,[.,[[.,.],.]]]
=> ([(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)
=> ? = 2 - 1
[.,[[.,.],[.,.]]]
=> ([(0,3),(1,3),(3,2)],4)
=> ([],1)
=> ([],1)
=> ? = 1 - 1
[.,[[.,[.,.]],.]]
=> ([(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)
=> ? = 2 - 1
[.,[[[.,.],.],.]]
=> ([(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)
=> ? = 2 - 1
[[.,.],[.,[.,.]]]
=> ([(0,3),(1,2),(2,3)],4)
=> ([(0,1)],2)
=> ([(0,1)],2)
=> ? = 2 - 1
[[.,.],[[.,.],.]]
=> ([(0,3),(1,2),(2,3)],4)
=> ([(0,1)],2)
=> ([(0,1)],2)
=> ? = 2 - 1
[[.,[.,.]],[.,.]]
=> ([(0,3),(1,2),(2,3)],4)
=> ([(0,1)],2)
=> ([(0,1)],2)
=> ? = 2 - 1
[[[.,.],.],[.,.]]
=> ([(0,3),(1,2),(2,3)],4)
=> ([(0,1)],2)
=> ([(0,1)],2)
=> ? = 2 - 1
[[.,[.,[.,.]]],.]
=> ([(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)
=> ? = 2 - 1
[[.,[[.,.],.]],.]
=> ([(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)
=> ? = 2 - 1
[[[.,.],[.,.]],.]
=> ([(0,3),(1,3),(3,2)],4)
=> ([],1)
=> ([],1)
=> ? = 1 - 1
[[[.,[.,.]],.],.]
=> ([(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)
=> ? = 2 - 1
[[[[.,.],.],.],.]
=> ([(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)
=> ? = 2 - 1
[.,[.,[[.,.],[.,.]]]]
=> ([(0,4),(1,4),(2,3),(4,2)],5)
=> ([],1)
=> ([],1)
=> ? = 1 - 1
[.,[[.,.],[.,[.,.]]]]
=> ([(0,4),(1,2),(2,4),(4,3)],5)
=> ([(0,1)],2)
=> ([(0,1)],2)
=> ? = 2 - 1
[.,[[.,.],[[.,.],.]]]
=> ([(0,4),(1,2),(2,4),(4,3)],5)
=> ([(0,1)],2)
=> ([(0,1)],2)
=> ? = 2 - 1
[.,[[.,[.,.]],[.,.]]]
=> ([(0,4),(1,2),(2,4),(4,3)],5)
=> ([(0,1)],2)
=> ([(0,1)],2)
=> ? = 2 - 1
[.,[[[.,.],.],[.,.]]]
=> ([(0,4),(1,2),(2,4),(4,3)],5)
=> ([(0,1)],2)
=> ([(0,1)],2)
=> ? = 2 - 1
[.,[[[.,.],[.,.]],.]]
=> ([(0,4),(1,4),(2,3),(4,2)],5)
=> ([],1)
=> ([],1)
=> ? = 1 - 1
[[.,.],[.,[.,[.,.]]]]
=> ([(0,4),(1,2),(2,3),(3,4)],5)
=> ([(0,2),(2,1)],3)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> 1 = 2 - 1
[[.,.],[.,[[.,.],.]]]
=> ([(0,4),(1,2),(2,3),(3,4)],5)
=> ([(0,2),(2,1)],3)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> 1 = 2 - 1
[[.,.],[[.,.],[.,.]]]
=> ([(0,4),(1,3),(2,3),(3,4)],5)
=> ([],1)
=> ([],1)
=> ? = 1 - 1
[[.,.],[[.,[.,.]],.]]
=> ([(0,4),(1,2),(2,3),(3,4)],5)
=> ([(0,2),(2,1)],3)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> 1 = 2 - 1
[[.,.],[[[.,.],.],.]]
=> ([(0,4),(1,2),(2,3),(3,4)],5)
=> ([(0,2),(2,1)],3)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> 1 = 2 - 1
[[.,[.,.]],[.,[.,.]]]
=> ([(0,3),(1,2),(2,4),(3,4)],5)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> 1 = 2 - 1
[[.,[.,.]],[[.,.],.]]
=> ([(0,3),(1,2),(2,4),(3,4)],5)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> 1 = 2 - 1
[[[.,.],.],[.,[.,.]]]
=> ([(0,3),(1,2),(2,4),(3,4)],5)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> 1 = 2 - 1
[[[.,.],.],[[.,.],.]]
=> ([(0,3),(1,2),(2,4),(3,4)],5)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> 1 = 2 - 1
[[.,[.,[.,.]]],[.,.]]
=> ([(0,4),(1,2),(2,3),(3,4)],5)
=> ([(0,2),(2,1)],3)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> 1 = 2 - 1
[[.,[[.,.],.]],[.,.]]
=> ([(0,4),(1,2),(2,3),(3,4)],5)
=> ([(0,2),(2,1)],3)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> 1 = 2 - 1
[[[.,.],[.,.]],[.,.]]
=> ([(0,4),(1,3),(2,3),(3,4)],5)
=> ([],1)
=> ([],1)
=> ? = 1 - 1
[[[.,[.,.]],.],[.,.]]
=> ([(0,4),(1,2),(2,3),(3,4)],5)
=> ([(0,2),(2,1)],3)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> 1 = 2 - 1
[[[[.,.],.],.],[.,.]]
=> ([(0,4),(1,2),(2,3),(3,4)],5)
=> ([(0,2),(2,1)],3)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> 1 = 2 - 1
[[.,[[.,.],[.,.]]],.]
=> ([(0,4),(1,4),(2,3),(4,2)],5)
=> ([],1)
=> ([],1)
=> ? = 1 - 1
[[[.,.],[.,[.,.]]],.]
=> ([(0,4),(1,2),(2,4),(4,3)],5)
=> ([(0,1)],2)
=> ([(0,1)],2)
=> ? = 2 - 1
[[[.,.],[[.,.],.]],.]
=> ([(0,4),(1,2),(2,4),(4,3)],5)
=> ([(0,1)],2)
=> ([(0,1)],2)
=> ? = 2 - 1
[[[.,[.,.]],[.,.]],.]
=> ([(0,4),(1,2),(2,4),(4,3)],5)
=> ([(0,1)],2)
=> ([(0,1)],2)
=> ? = 2 - 1
[[[[.,.],.],[.,.]],.]
=> ([(0,4),(1,2),(2,4),(4,3)],5)
=> ([(0,1)],2)
=> ([(0,1)],2)
=> ? = 2 - 1
[[[[.,.],[.,.]],.],.]
=> ([(0,4),(1,4),(2,3),(4,2)],5)
=> ([],1)
=> ([],1)
=> ? = 1 - 1
[.,[.,[.,[[.,.],[.,.]]]]]
=> ([(0,5),(1,5),(3,2),(4,3),(5,4)],6)
=> ([],1)
=> ([],1)
=> ? = 1 - 1
[.,[.,[[.,.],[.,[.,.]]]]]
=> ([(0,5),(1,3),(3,5),(4,2),(5,4)],6)
=> ([(0,1)],2)
=> ([(0,1)],2)
=> ? = 2 - 1
[.,[.,[[.,.],[[.,.],.]]]]
=> ([(0,5),(1,3),(3,5),(4,2),(5,4)],6)
=> ([(0,1)],2)
=> ([(0,1)],2)
=> ? = 2 - 1
[.,[.,[[.,[.,.]],[.,.]]]]
=> ([(0,5),(1,3),(3,5),(4,2),(5,4)],6)
=> ([(0,1)],2)
=> ([(0,1)],2)
=> ? = 2 - 1
[.,[.,[[[.,.],.],[.,.]]]]
=> ([(0,5),(1,3),(3,5),(4,2),(5,4)],6)
=> ([(0,1)],2)
=> ([(0,1)],2)
=> ? = 2 - 1
[.,[.,[[[.,.],[.,.]],.]]]
=> ([(0,5),(1,5),(3,2),(4,3),(5,4)],6)
=> ([],1)
=> ([],1)
=> ? = 1 - 1
[.,[[.,.],[.,[.,[.,.]]]]]
=> ([(0,5),(1,4),(2,5),(4,2),(5,3)],6)
=> ([(0,2),(2,1)],3)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> 1 = 2 - 1
[.,[[.,.],[.,[[.,.],.]]]]
=> ([(0,5),(1,4),(2,5),(4,2),(5,3)],6)
=> ([(0,2),(2,1)],3)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> 1 = 2 - 1
[.,[[.,.],[[.,.],[.,.]]]]
=> ([(0,5),(1,4),(2,4),(4,5),(5,3)],6)
=> ([],1)
=> ([],1)
=> ? = 1 - 1
[.,[[.,.],[[.,[.,.]],.]]]
=> ([(0,5),(1,4),(2,5),(4,2),(5,3)],6)
=> ([(0,2),(2,1)],3)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> 1 = 2 - 1
[.,[[.,.],[[[.,.],.],.]]]
=> ([(0,5),(1,4),(2,5),(4,2),(5,3)],6)
=> ([(0,2),(2,1)],3)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> 1 = 2 - 1
[.,[[.,[.,.]],[.,[.,.]]]]
=> ([(0,4),(1,3),(3,5),(4,5),(5,2)],6)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> 1 = 2 - 1
[.,[[.,[.,.]],[[.,.],.]]]
=> ([(0,4),(1,3),(3,5),(4,5),(5,2)],6)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> 1 = 2 - 1
[.,[[[.,.],.],[.,[.,.]]]]
=> ([(0,4),(1,3),(3,5),(4,5),(5,2)],6)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> 1 = 2 - 1
[.,[[[.,.],.],[[.,.],.]]]
=> ([(0,4),(1,3),(3,5),(4,5),(5,2)],6)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> 1 = 2 - 1
[.,[[.,[.,[.,.]]],[.,.]]]
=> ([(0,5),(1,4),(2,5),(4,2),(5,3)],6)
=> ([(0,2),(2,1)],3)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> 1 = 2 - 1
[.,[[.,[[.,.],.]],[.,.]]]
=> ([(0,5),(1,4),(2,5),(4,2),(5,3)],6)
=> ([(0,2),(2,1)],3)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> 1 = 2 - 1
[.,[[[.,.],[.,.]],[.,.]]]
=> ([(0,5),(1,4),(2,4),(4,5),(5,3)],6)
=> ([],1)
=> ([],1)
=> ? = 1 - 1
[.,[[[.,[.,.]],.],[.,.]]]
=> ([(0,5),(1,4),(2,5),(4,2),(5,3)],6)
=> ([(0,2),(2,1)],3)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> 1 = 2 - 1
[.,[[[[.,.],.],.],[.,.]]]
=> ([(0,5),(1,4),(2,5),(4,2),(5,3)],6)
=> ([(0,2),(2,1)],3)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> 1 = 2 - 1
[.,[[.,[[.,.],[.,.]]],.]]
=> ([(0,5),(1,5),(3,2),(4,3),(5,4)],6)
=> ([],1)
=> ([],1)
=> ? = 1 - 1
[.,[[[.,.],[.,[.,.]]],.]]
=> ([(0,5),(1,3),(3,5),(4,2),(5,4)],6)
=> ([(0,1)],2)
=> ([(0,1)],2)
=> ? = 2 - 1
[.,[[[.,.],[[.,.],.]],.]]
=> ([(0,5),(1,3),(3,5),(4,2),(5,4)],6)
=> ([(0,1)],2)
=> ([(0,1)],2)
=> ? = 2 - 1
[.,[[[.,[.,.]],[.,.]],.]]
=> ([(0,5),(1,3),(3,5),(4,2),(5,4)],6)
=> ([(0,1)],2)
=> ([(0,1)],2)
=> ? = 2 - 1
[.,[[[[.,.],.],[.,.]],.]]
=> ([(0,5),(1,3),(3,5),(4,2),(5,4)],6)
=> ([(0,1)],2)
=> ([(0,1)],2)
=> ? = 2 - 1
[.,[[[[.,.],[.,.]],.],.]]
=> ([(0,5),(1,5),(3,2),(4,3),(5,4)],6)
=> ([],1)
=> ([],1)
=> ? = 1 - 1
[[.,.],[.,[.,[.,[.,.]]]]]
=> ([(0,5),(1,4),(2,5),(3,2),(4,3)],6)
=> ([(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)
=> ? = 2 - 1
[[.,.],[.,[.,[[.,.],.]]]]
=> ([(0,5),(1,4),(2,5),(3,2),(4,3)],6)
=> ([(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)
=> ? = 2 - 1
[[.,.],[.,[[.,.],[.,.]]]]
=> ([(0,5),(1,4),(2,4),(3,5),(4,3)],6)
=> ([],1)
=> ([],1)
=> ? = 1 - 1
[[.,.],[.,[[.,[.,.]],.]]]
=> ([(0,5),(1,4),(2,5),(3,2),(4,3)],6)
=> ([(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)
=> ? = 2 - 1
[[[.,.],[.,[.,[.,.]]]],.]
=> ([(0,5),(1,4),(2,5),(4,2),(5,3)],6)
=> ([(0,2),(2,1)],3)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> 1 = 2 - 1
[[[.,.],[.,[[.,.],.]]],.]
=> ([(0,5),(1,4),(2,5),(4,2),(5,3)],6)
=> ([(0,2),(2,1)],3)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> 1 = 2 - 1
[[[.,.],[[.,[.,.]],.]],.]
=> ([(0,5),(1,4),(2,5),(4,2),(5,3)],6)
=> ([(0,2),(2,1)],3)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> 1 = 2 - 1
[[[.,.],[[[.,.],.],.]],.]
=> ([(0,5),(1,4),(2,5),(4,2),(5,3)],6)
=> ([(0,2),(2,1)],3)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> 1 = 2 - 1
[[[.,[.,.]],[.,[.,.]]],.]
=> ([(0,4),(1,3),(3,5),(4,5),(5,2)],6)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> 1 = 2 - 1
[[[.,[.,.]],[[.,.],.]],.]
=> ([(0,4),(1,3),(3,5),(4,5),(5,2)],6)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> 1 = 2 - 1
[[[[.,.],.],[.,[.,.]]],.]
=> ([(0,4),(1,3),(3,5),(4,5),(5,2)],6)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> 1 = 2 - 1
[[[[.,.],.],[[.,.],.]],.]
=> ([(0,4),(1,3),(3,5),(4,5),(5,2)],6)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> 1 = 2 - 1
[[[.,[.,[.,.]]],[.,.]],.]
=> ([(0,5),(1,4),(2,5),(4,2),(5,3)],6)
=> ([(0,2),(2,1)],3)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> 1 = 2 - 1
[[[.,[[.,.],.]],[.,.]],.]
=> ([(0,5),(1,4),(2,5),(4,2),(5,3)],6)
=> ([(0,2),(2,1)],3)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> 1 = 2 - 1
[[[[.,[.,.]],.],[.,.]],.]
=> ([(0,5),(1,4),(2,5),(4,2),(5,3)],6)
=> ([(0,2),(2,1)],3)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> 1 = 2 - 1
[[[[[.,.],.],.],[.,.]],.]
=> ([(0,5),(1,4),(2,5),(4,2),(5,3)],6)
=> ([(0,2),(2,1)],3)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> 1 = 2 - 1
[.,[.,[[.,.],[.,[.,[.,.]]]]]]
=> ([(0,6),(1,4),(3,6),(4,3),(5,2),(6,5)],7)
=> ([(0,2),(2,1)],3)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> 1 = 2 - 1
[.,[.,[[.,.],[.,[[.,.],.]]]]]
=> ([(0,6),(1,4),(3,6),(4,3),(5,2),(6,5)],7)
=> ([(0,2),(2,1)],3)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> 1 = 2 - 1
[.,[.,[[.,.],[[.,[.,.]],.]]]]
=> ([(0,6),(1,4),(3,6),(4,3),(5,2),(6,5)],7)
=> ([(0,2),(2,1)],3)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> 1 = 2 - 1
[.,[.,[[.,.],[[[.,.],.],.]]]]
=> ([(0,6),(1,4),(3,6),(4,3),(5,2),(6,5)],7)
=> ([(0,2),(2,1)],3)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> 1 = 2 - 1
[.,[.,[[.,[.,.]],[.,[.,.]]]]]
=> ([(0,4),(1,3),(3,6),(4,6),(5,2),(6,5)],7)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> 1 = 2 - 1
[.,[.,[[.,[.,.]],[[.,.],.]]]]
=> ([(0,4),(1,3),(3,6),(4,6),(5,2),(6,5)],7)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> 1 = 2 - 1
[.,[.,[[[.,.],.],[.,[.,.]]]]]
=> ([(0,4),(1,3),(3,6),(4,6),(5,2),(6,5)],7)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> 1 = 2 - 1
[.,[.,[[[.,.],.],[[.,.],.]]]]
=> ([(0,4),(1,3),(3,6),(4,6),(5,2),(6,5)],7)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> 1 = 2 - 1
[.,[.,[[.,[.,[.,.]]],[.,.]]]]
=> ([(0,6),(1,4),(3,6),(4,3),(5,2),(6,5)],7)
=> ([(0,2),(2,1)],3)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> 1 = 2 - 1
[.,[.,[[.,[[.,.],.]],[.,.]]]]
=> ([(0,6),(1,4),(3,6),(4,3),(5,2),(6,5)],7)
=> ([(0,2),(2,1)],3)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> 1 = 2 - 1
Description
Number of indecomposable injective modules with projective dimension 2.
Matching statistic: St000455
Mp00011: Binary trees to graphGraphs
Mp00247: Graphs de-duplicateGraphs
Mp00111: Graphs complementGraphs
St000455: Graphs ⟶ ℤResult quality: 5% values known / values provided: 5%distinct values known / distinct values provided: 50%
Values
[.,.]
=> ([],1)
=> ([],1)
=> ([],1)
=> ? = 1 - 1
[.,[.,.]]
=> ([(0,1)],2)
=> ([(0,1)],2)
=> ([],2)
=> ? = 2 - 1
[[.,.],.]
=> ([(0,1)],2)
=> ([(0,1)],2)
=> ([],2)
=> ? = 2 - 1
[.,[.,[.,.]]]
=> ([(0,2),(1,2)],3)
=> ([(0,1)],2)
=> ([],2)
=> ? = 2 - 1
[.,[[.,.],.]]
=> ([(0,2),(1,2)],3)
=> ([(0,1)],2)
=> ([],2)
=> ? = 2 - 1
[[.,.],[.,.]]
=> ([(0,2),(1,2)],3)
=> ([(0,1)],2)
=> ([],2)
=> ? = 1 - 1
[[.,[.,.]],.]
=> ([(0,2),(1,2)],3)
=> ([(0,1)],2)
=> ([],2)
=> ? = 2 - 1
[[[.,.],.],.]
=> ([(0,2),(1,2)],3)
=> ([(0,1)],2)
=> ([],2)
=> ? = 2 - 1
[.,[.,[.,[.,.]]]]
=> ([(0,3),(1,2),(2,3)],4)
=> ([(0,3),(1,2),(2,3)],4)
=> ([(0,3),(1,2),(2,3)],4)
=> ? = 2 - 1
[.,[.,[[.,.],.]]]
=> ([(0,3),(1,2),(2,3)],4)
=> ([(0,3),(1,2),(2,3)],4)
=> ([(0,3),(1,2),(2,3)],4)
=> ? = 2 - 1
[.,[[.,.],[.,.]]]
=> ([(0,3),(1,3),(2,3)],4)
=> ([(0,1)],2)
=> ([],2)
=> ? = 1 - 1
[.,[[.,[.,.]],.]]
=> ([(0,3),(1,2),(2,3)],4)
=> ([(0,3),(1,2),(2,3)],4)
=> ([(0,3),(1,2),(2,3)],4)
=> ? = 2 - 1
[.,[[[.,.],.],.]]
=> ([(0,3),(1,2),(2,3)],4)
=> ([(0,3),(1,2),(2,3)],4)
=> ([(0,3),(1,2),(2,3)],4)
=> ? = 2 - 1
[[.,.],[.,[.,.]]]
=> ([(0,3),(1,2),(2,3)],4)
=> ([(0,3),(1,2),(2,3)],4)
=> ([(0,3),(1,2),(2,3)],4)
=> ? = 2 - 1
[[.,.],[[.,.],.]]
=> ([(0,3),(1,2),(2,3)],4)
=> ([(0,3),(1,2),(2,3)],4)
=> ([(0,3),(1,2),(2,3)],4)
=> ? = 2 - 1
[[.,[.,.]],[.,.]]
=> ([(0,3),(1,2),(2,3)],4)
=> ([(0,3),(1,2),(2,3)],4)
=> ([(0,3),(1,2),(2,3)],4)
=> ? = 2 - 1
[[[.,.],.],[.,.]]
=> ([(0,3),(1,2),(2,3)],4)
=> ([(0,3),(1,2),(2,3)],4)
=> ([(0,3),(1,2),(2,3)],4)
=> ? = 2 - 1
[[.,[.,[.,.]]],.]
=> ([(0,3),(1,2),(2,3)],4)
=> ([(0,3),(1,2),(2,3)],4)
=> ([(0,3),(1,2),(2,3)],4)
=> ? = 2 - 1
[[.,[[.,.],.]],.]
=> ([(0,3),(1,2),(2,3)],4)
=> ([(0,3),(1,2),(2,3)],4)
=> ([(0,3),(1,2),(2,3)],4)
=> ? = 2 - 1
[[[.,.],[.,.]],.]
=> ([(0,3),(1,3),(2,3)],4)
=> ([(0,1)],2)
=> ([],2)
=> ? = 1 - 1
[[[.,[.,.]],.],.]
=> ([(0,3),(1,2),(2,3)],4)
=> ([(0,3),(1,2),(2,3)],4)
=> ([(0,3),(1,2),(2,3)],4)
=> ? = 2 - 1
[[[[.,.],.],.],.]
=> ([(0,3),(1,2),(2,3)],4)
=> ([(0,3),(1,2),(2,3)],4)
=> ([(0,3),(1,2),(2,3)],4)
=> ? = 2 - 1
[.,[.,[[.,.],[.,.]]]]
=> ([(0,4),(1,4),(2,3),(3,4)],5)
=> ([(0,3),(1,2),(2,3)],4)
=> ([(0,3),(1,2),(2,3)],4)
=> ? = 1 - 1
[.,[[.,.],[.,[.,.]]]]
=> ([(0,4),(1,4),(2,3),(3,4)],5)
=> ([(0,3),(1,2),(2,3)],4)
=> ([(0,3),(1,2),(2,3)],4)
=> ? = 2 - 1
[.,[[.,.],[[.,.],.]]]
=> ([(0,4),(1,4),(2,3),(3,4)],5)
=> ([(0,3),(1,2),(2,3)],4)
=> ([(0,3),(1,2),(2,3)],4)
=> ? = 2 - 1
[.,[[.,[.,.]],[.,.]]]
=> ([(0,4),(1,4),(2,3),(3,4)],5)
=> ([(0,3),(1,2),(2,3)],4)
=> ([(0,3),(1,2),(2,3)],4)
=> ? = 2 - 1
[.,[[[.,.],.],[.,.]]]
=> ([(0,4),(1,4),(2,3),(3,4)],5)
=> ([(0,3),(1,2),(2,3)],4)
=> ([(0,3),(1,2),(2,3)],4)
=> ? = 2 - 1
[.,[[[.,.],[.,.]],.]]
=> ([(0,4),(1,4),(2,3),(3,4)],5)
=> ([(0,3),(1,2),(2,3)],4)
=> ([(0,3),(1,2),(2,3)],4)
=> ? = 1 - 1
[[.,.],[.,[.,[.,.]]]]
=> ([(0,4),(1,3),(2,3),(2,4)],5)
=> ([(0,4),(1,3),(2,3),(2,4)],5)
=> ([(0,1),(0,4),(1,3),(2,3),(2,4),(3,4)],5)
=> ? = 2 - 1
[[.,.],[.,[[.,.],.]]]
=> ([(0,4),(1,3),(2,3),(2,4)],5)
=> ([(0,4),(1,3),(2,3),(2,4)],5)
=> ([(0,1),(0,4),(1,3),(2,3),(2,4),(3,4)],5)
=> ? = 2 - 1
[[.,.],[[.,.],[.,.]]]
=> ([(0,4),(1,4),(2,3),(3,4)],5)
=> ([(0,3),(1,2),(2,3)],4)
=> ([(0,3),(1,2),(2,3)],4)
=> ? = 1 - 1
[[.,.],[[.,[.,.]],.]]
=> ([(0,4),(1,3),(2,3),(2,4)],5)
=> ([(0,4),(1,3),(2,3),(2,4)],5)
=> ([(0,1),(0,4),(1,3),(2,3),(2,4),(3,4)],5)
=> ? = 2 - 1
[[.,.],[[[.,.],.],.]]
=> ([(0,4),(1,3),(2,3),(2,4)],5)
=> ([(0,4),(1,3),(2,3),(2,4)],5)
=> ([(0,1),(0,4),(1,3),(2,3),(2,4),(3,4)],5)
=> ? = 2 - 1
[[.,[.,.]],[.,[.,.]]]
=> ([(0,4),(1,3),(2,3),(2,4)],5)
=> ([(0,4),(1,3),(2,3),(2,4)],5)
=> ([(0,1),(0,4),(1,3),(2,3),(2,4),(3,4)],5)
=> ? = 2 - 1
[[.,[.,.]],[[.,.],.]]
=> ([(0,4),(1,3),(2,3),(2,4)],5)
=> ([(0,4),(1,3),(2,3),(2,4)],5)
=> ([(0,1),(0,4),(1,3),(2,3),(2,4),(3,4)],5)
=> ? = 2 - 1
[[[.,.],.],[.,[.,.]]]
=> ([(0,4),(1,3),(2,3),(2,4)],5)
=> ([(0,4),(1,3),(2,3),(2,4)],5)
=> ([(0,1),(0,4),(1,3),(2,3),(2,4),(3,4)],5)
=> ? = 2 - 1
[[[.,.],.],[[.,.],.]]
=> ([(0,4),(1,3),(2,3),(2,4)],5)
=> ([(0,4),(1,3),(2,3),(2,4)],5)
=> ([(0,1),(0,4),(1,3),(2,3),(2,4),(3,4)],5)
=> ? = 2 - 1
[[.,[.,[.,.]]],[.,.]]
=> ([(0,4),(1,3),(2,3),(2,4)],5)
=> ([(0,4),(1,3),(2,3),(2,4)],5)
=> ([(0,1),(0,4),(1,3),(2,3),(2,4),(3,4)],5)
=> ? = 2 - 1
[[.,[[.,.],.]],[.,.]]
=> ([(0,4),(1,3),(2,3),(2,4)],5)
=> ([(0,4),(1,3),(2,3),(2,4)],5)
=> ([(0,1),(0,4),(1,3),(2,3),(2,4),(3,4)],5)
=> ? = 2 - 1
[[[.,.],[.,.]],[.,.]]
=> ([(0,4),(1,4),(2,3),(3,4)],5)
=> ([(0,3),(1,2),(2,3)],4)
=> ([(0,3),(1,2),(2,3)],4)
=> ? = 1 - 1
[[[.,[.,.]],.],[.,.]]
=> ([(0,4),(1,3),(2,3),(2,4)],5)
=> ([(0,4),(1,3),(2,3),(2,4)],5)
=> ([(0,1),(0,4),(1,3),(2,3),(2,4),(3,4)],5)
=> ? = 2 - 1
[[[[.,.],.],.],[.,.]]
=> ([(0,4),(1,3),(2,3),(2,4)],5)
=> ([(0,4),(1,3),(2,3),(2,4)],5)
=> ([(0,1),(0,4),(1,3),(2,3),(2,4),(3,4)],5)
=> ? = 2 - 1
[[.,[[.,.],[.,.]]],.]
=> ([(0,4),(1,4),(2,3),(3,4)],5)
=> ([(0,3),(1,2),(2,3)],4)
=> ([(0,3),(1,2),(2,3)],4)
=> ? = 1 - 1
[[[.,.],[.,[.,.]]],.]
=> ([(0,4),(1,4),(2,3),(3,4)],5)
=> ([(0,3),(1,2),(2,3)],4)
=> ([(0,3),(1,2),(2,3)],4)
=> ? = 2 - 1
[[[.,.],[[.,.],.]],.]
=> ([(0,4),(1,4),(2,3),(3,4)],5)
=> ([(0,3),(1,2),(2,3)],4)
=> ([(0,3),(1,2),(2,3)],4)
=> ? = 2 - 1
[[[.,[.,.]],[.,.]],.]
=> ([(0,4),(1,4),(2,3),(3,4)],5)
=> ([(0,3),(1,2),(2,3)],4)
=> ([(0,3),(1,2),(2,3)],4)
=> ? = 2 - 1
[[[[.,.],.],[.,.]],.]
=> ([(0,4),(1,4),(2,3),(3,4)],5)
=> ([(0,3),(1,2),(2,3)],4)
=> ([(0,3),(1,2),(2,3)],4)
=> ? = 2 - 1
[[[[.,.],[.,.]],.],.]
=> ([(0,4),(1,4),(2,3),(3,4)],5)
=> ([(0,3),(1,2),(2,3)],4)
=> ([(0,3),(1,2),(2,3)],4)
=> ? = 1 - 1
[.,[.,[.,[[.,.],[.,.]]]]]
=> ([(0,5),(1,5),(2,3),(3,4),(4,5)],6)
=> ([(0,4),(1,3),(2,3),(2,4)],5)
=> ([(0,1),(0,4),(1,3),(2,3),(2,4),(3,4)],5)
=> ? = 1 - 1
[.,[.,[[.,.],[.,[.,.]]]]]
=> ([(0,5),(1,4),(2,3),(3,5),(4,5)],6)
=> ([(0,5),(1,4),(2,3),(3,5),(4,5)],6)
=> ([(0,4),(0,5),(1,2),(1,3),(1,5),(2,3),(2,4),(3,4),(3,5),(4,5)],6)
=> ? = 2 - 1
[.,[.,[[.,[.,.]],[.,[.,.]]]]]
=> ([(0,5),(1,4),(2,3),(3,6),(4,6),(5,6)],7)
=> ([(0,5),(1,4),(2,3),(3,6),(4,6),(5,6)],7)
=> ([(0,4),(0,5),(0,6),(1,2),(1,3),(1,5),(1,6),(2,3),(2,4),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7)
=> 1 = 2 - 1
[.,[.,[[.,[.,.]],[[.,.],.]]]]
=> ([(0,5),(1,4),(2,3),(3,6),(4,6),(5,6)],7)
=> ([(0,5),(1,4),(2,3),(3,6),(4,6),(5,6)],7)
=> ([(0,4),(0,5),(0,6),(1,2),(1,3),(1,5),(1,6),(2,3),(2,4),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7)
=> 1 = 2 - 1
[.,[.,[[[.,.],.],[.,[.,.]]]]]
=> ([(0,5),(1,4),(2,3),(3,6),(4,6),(5,6)],7)
=> ([(0,5),(1,4),(2,3),(3,6),(4,6),(5,6)],7)
=> ([(0,4),(0,5),(0,6),(1,2),(1,3),(1,5),(1,6),(2,3),(2,4),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7)
=> 1 = 2 - 1
[.,[.,[[[.,.],.],[[.,.],.]]]]
=> ([(0,5),(1,4),(2,3),(3,6),(4,6),(5,6)],7)
=> ([(0,5),(1,4),(2,3),(3,6),(4,6),(5,6)],7)
=> ([(0,4),(0,5),(0,6),(1,2),(1,3),(1,5),(1,6),(2,3),(2,4),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7)
=> 1 = 2 - 1
[.,[[[.,[.,.]],[.,[.,.]]],.]]
=> ([(0,5),(1,4),(2,3),(3,6),(4,6),(5,6)],7)
=> ([(0,5),(1,4),(2,3),(3,6),(4,6),(5,6)],7)
=> ([(0,4),(0,5),(0,6),(1,2),(1,3),(1,5),(1,6),(2,3),(2,4),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7)
=> 1 = 2 - 1
[.,[[[.,[.,.]],[[.,.],.]],.]]
=> ([(0,5),(1,4),(2,3),(3,6),(4,6),(5,6)],7)
=> ([(0,5),(1,4),(2,3),(3,6),(4,6),(5,6)],7)
=> ([(0,4),(0,5),(0,6),(1,2),(1,3),(1,5),(1,6),(2,3),(2,4),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7)
=> 1 = 2 - 1
[.,[[[[.,.],.],[.,[.,.]]],.]]
=> ([(0,5),(1,4),(2,3),(3,6),(4,6),(5,6)],7)
=> ([(0,5),(1,4),(2,3),(3,6),(4,6),(5,6)],7)
=> ([(0,4),(0,5),(0,6),(1,2),(1,3),(1,5),(1,6),(2,3),(2,4),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7)
=> 1 = 2 - 1
[.,[[[[.,.],.],[[.,.],.]],.]]
=> ([(0,5),(1,4),(2,3),(3,6),(4,6),(5,6)],7)
=> ([(0,5),(1,4),(2,3),(3,6),(4,6),(5,6)],7)
=> ([(0,4),(0,5),(0,6),(1,2),(1,3),(1,5),(1,6),(2,3),(2,4),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7)
=> 1 = 2 - 1
[[.,.],[[.,[.,.]],[.,[.,.]]]]
=> ([(0,5),(1,4),(2,3),(3,6),(4,6),(5,6)],7)
=> ([(0,5),(1,4),(2,3),(3,6),(4,6),(5,6)],7)
=> ([(0,4),(0,5),(0,6),(1,2),(1,3),(1,5),(1,6),(2,3),(2,4),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7)
=> 1 = 2 - 1
[[.,.],[[.,[.,.]],[[.,.],.]]]
=> ([(0,5),(1,4),(2,3),(3,6),(4,6),(5,6)],7)
=> ([(0,5),(1,4),(2,3),(3,6),(4,6),(5,6)],7)
=> ([(0,4),(0,5),(0,6),(1,2),(1,3),(1,5),(1,6),(2,3),(2,4),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7)
=> 1 = 2 - 1
[[.,.],[[[.,.],.],[.,[.,.]]]]
=> ([(0,5),(1,4),(2,3),(3,6),(4,6),(5,6)],7)
=> ([(0,5),(1,4),(2,3),(3,6),(4,6),(5,6)],7)
=> ([(0,4),(0,5),(0,6),(1,2),(1,3),(1,5),(1,6),(2,3),(2,4),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7)
=> 1 = 2 - 1
[[.,.],[[[.,.],.],[[.,.],.]]]
=> ([(0,5),(1,4),(2,3),(3,6),(4,6),(5,6)],7)
=> ([(0,5),(1,4),(2,3),(3,6),(4,6),(5,6)],7)
=> ([(0,4),(0,5),(0,6),(1,2),(1,3),(1,5),(1,6),(2,3),(2,4),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7)
=> 1 = 2 - 1
[[[.,[.,.]],[.,[.,.]]],[.,.]]
=> ([(0,5),(1,4),(2,3),(3,6),(4,6),(5,6)],7)
=> ([(0,5),(1,4),(2,3),(3,6),(4,6),(5,6)],7)
=> ([(0,4),(0,5),(0,6),(1,2),(1,3),(1,5),(1,6),(2,3),(2,4),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7)
=> 1 = 2 - 1
[[[.,[.,.]],[[.,.],.]],[.,.]]
=> ([(0,5),(1,4),(2,3),(3,6),(4,6),(5,6)],7)
=> ([(0,5),(1,4),(2,3),(3,6),(4,6),(5,6)],7)
=> ([(0,4),(0,5),(0,6),(1,2),(1,3),(1,5),(1,6),(2,3),(2,4),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7)
=> 1 = 2 - 1
[[[[.,.],.],[.,[.,.]]],[.,.]]
=> ([(0,5),(1,4),(2,3),(3,6),(4,6),(5,6)],7)
=> ([(0,5),(1,4),(2,3),(3,6),(4,6),(5,6)],7)
=> ([(0,4),(0,5),(0,6),(1,2),(1,3),(1,5),(1,6),(2,3),(2,4),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7)
=> 1 = 2 - 1
[[[[.,.],.],[[.,.],.]],[.,.]]
=> ([(0,5),(1,4),(2,3),(3,6),(4,6),(5,6)],7)
=> ([(0,5),(1,4),(2,3),(3,6),(4,6),(5,6)],7)
=> ([(0,4),(0,5),(0,6),(1,2),(1,3),(1,5),(1,6),(2,3),(2,4),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7)
=> 1 = 2 - 1
[[.,[[.,[.,.]],[.,[.,.]]]],.]
=> ([(0,5),(1,4),(2,3),(3,6),(4,6),(5,6)],7)
=> ([(0,5),(1,4),(2,3),(3,6),(4,6),(5,6)],7)
=> ([(0,4),(0,5),(0,6),(1,2),(1,3),(1,5),(1,6),(2,3),(2,4),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7)
=> 1 = 2 - 1
[[.,[[.,[.,.]],[[.,.],.]]],.]
=> ([(0,5),(1,4),(2,3),(3,6),(4,6),(5,6)],7)
=> ([(0,5),(1,4),(2,3),(3,6),(4,6),(5,6)],7)
=> ([(0,4),(0,5),(0,6),(1,2),(1,3),(1,5),(1,6),(2,3),(2,4),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7)
=> 1 = 2 - 1
[[.,[[[.,.],.],[.,[.,.]]]],.]
=> ([(0,5),(1,4),(2,3),(3,6),(4,6),(5,6)],7)
=> ([(0,5),(1,4),(2,3),(3,6),(4,6),(5,6)],7)
=> ([(0,4),(0,5),(0,6),(1,2),(1,3),(1,5),(1,6),(2,3),(2,4),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7)
=> 1 = 2 - 1
[[.,[[[.,.],.],[[.,.],.]]],.]
=> ([(0,5),(1,4),(2,3),(3,6),(4,6),(5,6)],7)
=> ([(0,5),(1,4),(2,3),(3,6),(4,6),(5,6)],7)
=> ([(0,4),(0,5),(0,6),(1,2),(1,3),(1,5),(1,6),(2,3),(2,4),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7)
=> 1 = 2 - 1
[[[[.,[.,.]],[.,[.,.]]],.],.]
=> ([(0,5),(1,4),(2,3),(3,6),(4,6),(5,6)],7)
=> ([(0,5),(1,4),(2,3),(3,6),(4,6),(5,6)],7)
=> ([(0,4),(0,5),(0,6),(1,2),(1,3),(1,5),(1,6),(2,3),(2,4),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7)
=> 1 = 2 - 1
[[[[.,[.,.]],[[.,.],.]],.],.]
=> ([(0,5),(1,4),(2,3),(3,6),(4,6),(5,6)],7)
=> ([(0,5),(1,4),(2,3),(3,6),(4,6),(5,6)],7)
=> ([(0,4),(0,5),(0,6),(1,2),(1,3),(1,5),(1,6),(2,3),(2,4),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7)
=> 1 = 2 - 1
[[[[[.,.],.],[.,[.,.]]],.],.]
=> ([(0,5),(1,4),(2,3),(3,6),(4,6),(5,6)],7)
=> ([(0,5),(1,4),(2,3),(3,6),(4,6),(5,6)],7)
=> ([(0,4),(0,5),(0,6),(1,2),(1,3),(1,5),(1,6),(2,3),(2,4),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7)
=> 1 = 2 - 1
[[[[[.,.],.],[[.,.],.]],.],.]
=> ([(0,5),(1,4),(2,3),(3,6),(4,6),(5,6)],7)
=> ([(0,5),(1,4),(2,3),(3,6),(4,6),(5,6)],7)
=> ([(0,4),(0,5),(0,6),(1,2),(1,3),(1,5),(1,6),(2,3),(2,4),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7)
=> 1 = 2 - 1
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.