searching the database
Your data matches 240 different statistics following compositions of up to 3 maps.
(click to perform a complete search on your data)
(click to perform a complete search on your data)
Matching statistic: St000068
(load all 10 compositions to match this statistic)
(load all 10 compositions to match this statistic)
Values
([],1)
=> ([],1)
=> ([],1)
=> 1
([(0,1)],2)
=> ([(0,1)],2)
=> ([(0,1)],2)
=> 1
([(0,2),(2,1)],3)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> 1
([(0,1),(0,2),(1,3),(2,3)],4)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> 1
([(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,1),(0,2),(0,3),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(4,7),(5,7),(6,7)],8)
=> 1
([(0,1),(0,2),(0,3),(1,4),(2,4),(3,4)],5)
=> ([(0,1)],2)
=> ([(0,1)],2)
=> 1
([(0,2),(0,3),(1,4),(2,4),(3,1)],5)
=> ([(0,3),(1,4),(2,4),(3,1),(3,2)],5)
=> ([(0,3),(1,4),(2,4),(3,1),(3,2)],5)
=> 1
([(0,3),(1,4),(2,4),(3,1),(3,2)],5)
=> ([(0,1),(0,2),(0,3),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(4,7),(5,7),(6,7)],8)
=> ([(0,1),(0,2),(0,3),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(4,7),(5,7),(6,7)],8)
=> 1
([(0,4),(2,3),(3,1),(4,2)],5)
=> ([(0,1),(0,2),(0,3),(0,4),(1,8),(1,9),(1,10),(2,6),(2,7),(2,10),(3,5),(3,7),(3,9),(4,5),(4,6),(4,8),(5,11),(5,14),(6,11),(6,12),(7,11),(7,13),(8,12),(8,14),(9,13),(9,14),(10,12),(10,13),(11,15),(12,15),(13,15),(14,15)],16)
=> ([(0,1),(0,2),(0,3),(0,4),(1,8),(1,9),(1,10),(2,6),(2,7),(2,10),(3,5),(3,7),(3,9),(4,5),(4,6),(4,8),(5,11),(5,14),(6,11),(6,12),(7,11),(7,13),(8,12),(8,14),(9,13),(9,14),(10,12),(10,13),(11,15),(12,15),(13,15),(14,15)],16)
=> 1
([(0,2),(0,3),(2,4),(3,4),(4,1)],5)
=> ([(0,1),(0,2),(0,3),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(4,7),(5,7),(6,7)],8)
=> ([(0,1),(0,2),(0,3),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(4,7),(5,7),(6,7)],8)
=> 1
([(0,1),(0,2),(0,3),(0,4),(1,5),(2,5),(3,5),(4,5)],6)
=> ([(0,1)],2)
=> ([(0,1)],2)
=> 1
([(0,2),(0,3),(0,4),(1,5),(2,5),(3,5),(4,1)],6)
=> ([(0,2),(2,1)],3)
=> ([(0,2),(2,1)],3)
=> 1
([(0,3),(0,4),(1,5),(2,5),(3,5),(4,1),(4,2)],6)
=> ([(0,2),(2,1)],3)
=> ([(0,2),(2,1)],3)
=> 1
([(0,4),(1,5),(2,5),(3,5),(4,1),(4,2),(4,3)],6)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> 1
([(0,4),(1,5),(2,5),(3,2),(4,1),(4,3)],6)
=> ([(0,3),(0,4),(1,6),(1,8),(2,6),(2,7),(3,5),(4,1),(4,2),(4,5),(5,7),(5,8),(6,9),(7,9),(8,9)],10)
=> ([(0,3),(0,4),(1,6),(1,8),(2,6),(2,7),(3,5),(4,1),(4,2),(4,5),(5,7),(5,8),(6,9),(7,9),(8,9)],10)
=> 1
([(0,4),(1,5),(2,5),(4,1),(4,2),(5,3)],6)
=> ([(0,1),(0,2),(0,3),(0,4),(1,8),(1,9),(1,10),(2,6),(2,7),(2,10),(3,5),(3,7),(3,9),(4,5),(4,6),(4,8),(5,11),(5,14),(6,11),(6,12),(7,11),(7,13),(8,12),(8,14),(9,13),(9,14),(10,12),(10,13),(11,15),(12,15),(13,15),(14,15)],16)
=> ([(0,1),(0,2),(0,3),(0,4),(1,8),(1,9),(1,10),(2,6),(2,7),(2,10),(3,5),(3,7),(3,9),(4,5),(4,6),(4,8),(5,11),(5,14),(6,11),(6,12),(7,11),(7,13),(8,12),(8,14),(9,13),(9,14),(10,12),(10,13),(11,15),(12,15),(13,15),(14,15)],16)
=> 1
([(0,2),(0,4),(1,5),(2,5),(3,1),(4,3)],6)
=> ([(0,3),(0,4),(1,5),(2,5),(3,6),(4,6),(6,1),(6,2)],7)
=> ([(0,3),(0,4),(1,5),(2,5),(3,6),(4,6),(6,1),(6,2)],7)
=> 1
([(0,3),(1,5),(2,5),(3,4),(4,1),(4,2)],6)
=> ([(0,1),(0,2),(0,3),(0,4),(1,8),(1,9),(1,10),(2,6),(2,7),(2,10),(3,5),(3,7),(3,9),(4,5),(4,6),(4,8),(5,11),(5,14),(6,11),(6,12),(7,11),(7,13),(8,12),(8,14),(9,13),(9,14),(10,12),(10,13),(11,15),(12,15),(13,15),(14,15)],16)
=> ([(0,1),(0,2),(0,3),(0,4),(1,8),(1,9),(1,10),(2,6),(2,7),(2,10),(3,5),(3,7),(3,9),(4,5),(4,6),(4,8),(5,11),(5,14),(6,11),(6,12),(7,11),(7,13),(8,12),(8,14),(9,13),(9,14),(10,12),(10,13),(11,15),(12,15),(13,15),(14,15)],16)
=> 1
([(0,1),(0,2),(0,3),(1,5),(2,4),(3,4),(4,5)],6)
=> ([(0,2),(2,1)],3)
=> ([(0,2),(2,1)],3)
=> 1
([(0,2),(0,3),(2,5),(3,5),(4,1),(5,4)],6)
=> ([(0,1),(0,2),(0,3),(0,4),(1,8),(1,9),(1,10),(2,6),(2,7),(2,10),(3,5),(3,7),(3,9),(4,5),(4,6),(4,8),(5,11),(5,14),(6,11),(6,12),(7,11),(7,13),(8,12),(8,14),(9,13),(9,14),(10,12),(10,13),(11,15),(12,15),(13,15),(14,15)],16)
=> ([(0,1),(0,2),(0,3),(0,4),(1,8),(1,9),(1,10),(2,6),(2,7),(2,10),(3,5),(3,7),(3,9),(4,5),(4,6),(4,8),(5,11),(5,14),(6,11),(6,12),(7,11),(7,13),(8,12),(8,14),(9,13),(9,14),(10,12),(10,13),(11,15),(12,15),(13,15),(14,15)],16)
=> 1
([(0,2),(0,3),(0,4),(2,5),(3,5),(4,5),(5,1)],6)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> 1
([(0,3),(0,4),(1,5),(2,5),(3,2),(4,1)],6)
=> ([(0,3),(0,4),(1,5),(2,5),(3,6),(4,6),(6,1),(6,2)],7)
=> ([(0,3),(0,4),(1,5),(2,5),(3,6),(4,6),(6,1),(6,2)],7)
=> 1
([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
=> ([(0,1),(0,2),(0,3),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(4,7),(5,7),(6,7)],8)
=> ([(0,1),(0,2),(0,3),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(4,7),(5,7),(6,7)],8)
=> 1
([(0,3),(0,4),(1,5),(3,5),(4,1),(5,2)],6)
=> ([(0,3),(0,4),(1,6),(1,8),(2,6),(2,7),(3,5),(4,1),(4,2),(4,5),(5,7),(5,8),(6,9),(7,9),(8,9)],10)
=> ([(0,3),(0,4),(1,6),(1,8),(2,6),(2,7),(3,5),(4,1),(4,2),(4,5),(5,7),(5,8),(6,9),(7,9),(8,9)],10)
=> 1
([(0,1),(0,2),(0,3),(0,4),(0,5),(1,6),(2,6),(3,6),(4,6),(5,6)],7)
=> ([(0,1)],2)
=> ([(0,1)],2)
=> 1
([(0,2),(0,3),(0,4),(0,5),(1,6),(2,6),(3,6),(4,6),(5,1)],7)
=> ([(0,2),(2,1)],3)
=> ([(0,2),(2,1)],3)
=> 1
([(0,3),(0,4),(0,5),(1,6),(2,6),(3,6),(4,6),(5,1),(5,2)],7)
=> ([(0,1)],2)
=> ([(0,1)],2)
=> 1
([(0,4),(0,5),(1,6),(2,6),(3,6),(4,6),(5,1),(5,2),(5,3)],7)
=> ([(0,2),(2,1)],3)
=> ([(0,2),(2,1)],3)
=> 1
([(0,5),(1,6),(2,6),(3,6),(4,6),(5,1),(5,2),(5,3),(5,4)],7)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> 1
([(0,5),(1,6),(2,6),(3,6),(4,3),(5,1),(5,2),(5,4)],7)
=> ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
=> ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
=> 1
([(0,4),(1,6),(2,5),(3,5),(4,1),(4,2),(4,3),(5,6)],7)
=> ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
=> ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
=> 1
([(0,5),(1,6),(2,6),(3,6),(5,1),(5,2),(5,3),(6,4)],7)
=> ([(0,1),(0,2),(0,3),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(4,7),(5,7),(6,7)],8)
=> ([(0,1),(0,2),(0,3),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(4,7),(5,7),(6,7)],8)
=> 1
([(0,3),(0,5),(1,6),(2,6),(3,6),(4,2),(5,1),(5,4)],7)
=> ([(0,3),(2,1),(3,2)],4)
=> ([(0,3),(2,1),(3,2)],4)
=> 1
([(0,5),(1,6),(2,6),(3,6),(4,2),(4,3),(5,1),(5,4)],7)
=> ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
=> ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
=> 1
([(0,3),(0,4),(1,5),(2,5),(3,6),(4,1),(4,2),(5,6)],7)
=> ([(0,3),(0,4),(1,5),(2,5),(3,6),(4,6),(6,1),(6,2)],7)
=> ([(0,3),(0,4),(1,5),(2,5),(3,6),(4,6),(6,1),(6,2)],7)
=> 1
([(0,4),(1,6),(2,5),(3,1),(3,5),(4,2),(4,3),(5,6)],7)
=> ([(0,1),(0,2),(0,3),(0,4),(1,8),(1,9),(1,10),(2,6),(2,7),(2,10),(3,5),(3,7),(3,9),(4,5),(4,6),(4,8),(5,11),(5,14),(6,11),(6,12),(7,11),(7,13),(8,12),(8,14),(9,13),(9,14),(10,12),(10,13),(11,15),(12,15),(13,15),(14,15)],16)
=> ([(0,1),(0,2),(0,3),(0,4),(1,8),(1,9),(1,10),(2,6),(2,7),(2,10),(3,5),(3,7),(3,9),(4,5),(4,6),(4,8),(5,11),(5,14),(6,11),(6,12),(7,11),(7,13),(8,12),(8,14),(9,13),(9,14),(10,12),(10,13),(11,15),(12,15),(13,15),(14,15)],16)
=> 1
([(0,2),(0,3),(0,5),(1,6),(2,6),(3,6),(4,1),(5,4)],7)
=> ([(0,2),(0,3),(2,4),(3,4),(4,1)],5)
=> ([(0,2),(0,3),(2,4),(3,4),(4,1)],5)
=> 1
([(0,3),(0,4),(1,6),(2,6),(3,6),(4,5),(5,1),(5,2)],7)
=> ([(0,3),(2,1),(3,2)],4)
=> ([(0,3),(2,1),(3,2)],4)
=> 1
([(0,4),(1,6),(2,6),(3,6),(4,5),(5,1),(5,2),(5,3)],7)
=> ([(0,1),(0,2),(0,3),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(4,7),(5,7),(6,7)],8)
=> ([(0,1),(0,2),(0,3),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(4,7),(5,7),(6,7)],8)
=> 1
([(0,1),(0,2),(0,3),(0,4),(1,6),(2,6),(3,5),(4,5),(5,6)],7)
=> ([(0,1)],2)
=> ([(0,1)],2)
=> 1
([(0,2),(0,3),(0,4),(1,5),(2,6),(3,6),(4,5),(6,1)],7)
=> ([(0,3),(2,1),(3,2)],4)
=> ([(0,3),(2,1),(3,2)],4)
=> 1
([(0,3),(0,4),(1,5),(2,5),(3,6),(4,6),(6,1),(6,2)],7)
=> ([(0,1),(0,2),(0,3),(0,4),(1,8),(1,9),(1,10),(2,6),(2,7),(2,10),(3,5),(3,7),(3,9),(4,5),(4,6),(4,8),(5,11),(5,14),(6,11),(6,12),(7,11),(7,13),(8,12),(8,14),(9,13),(9,14),(10,12),(10,13),(11,15),(12,15),(13,15),(14,15)],16)
=> ([(0,1),(0,2),(0,3),(0,4),(1,8),(1,9),(1,10),(2,6),(2,7),(2,10),(3,5),(3,7),(3,9),(4,5),(4,6),(4,8),(5,11),(5,14),(6,11),(6,12),(7,11),(7,13),(8,12),(8,14),(9,13),(9,14),(10,12),(10,13),(11,15),(12,15),(13,15),(14,15)],16)
=> 1
([(0,1),(0,2),(0,3),(0,4),(1,6),(2,6),(3,6),(4,5),(6,5)],7)
=> ([(0,2),(2,1)],3)
=> ([(0,2),(2,1)],3)
=> 1
([(0,2),(0,3),(0,4),(2,6),(3,6),(4,6),(5,1),(6,5)],7)
=> ([(0,1),(0,2),(0,3),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(4,7),(5,7),(6,7)],8)
=> ([(0,1),(0,2),(0,3),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(4,7),(5,7),(6,7)],8)
=> 1
([(0,2),(0,3),(0,4),(0,5),(2,6),(3,6),(4,6),(5,6),(6,1)],7)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> 1
([(0,2),(0,3),(0,4),(1,6),(2,5),(3,5),(4,1),(5,6)],7)
=> ([(0,3),(2,1),(3,2)],4)
=> ([(0,3),(2,1),(3,2)],4)
=> 1
([(0,1),(0,2),(0,3),(1,5),(2,4),(3,4),(3,5),(4,6),(5,6)],7)
=> ([(0,3),(1,4),(2,4),(3,1),(3,2)],5)
=> ([(0,3),(1,4),(2,4),(3,1),(3,2)],5)
=> 1
([(0,2),(0,3),(0,4),(2,6),(3,5),(4,5),(5,6),(6,1)],7)
=> ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
=> ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
=> 1
([(0,2),(0,3),(0,4),(1,5),(2,6),(3,6),(4,1),(4,6),(6,5)],7)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> 1
([(0,3),(0,4),(0,5),(1,6),(3,6),(4,6),(5,1),(6,2)],7)
=> ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
=> ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
=> 1
Description
The number of minimal elements in a poset.
Matching statistic: St000069
(load all 11 compositions to match this statistic)
(load all 11 compositions to match this statistic)
Values
([],1)
=> ([],1)
=> ([],1)
=> 1
([(0,1)],2)
=> ([(0,1)],2)
=> ([(0,1)],2)
=> 1
([(0,2),(2,1)],3)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> 1
([(0,1),(0,2),(1,3),(2,3)],4)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> 1
([(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,1),(0,2),(0,3),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(4,7),(5,7),(6,7)],8)
=> 1
([(0,1),(0,2),(0,3),(1,4),(2,4),(3,4)],5)
=> ([(0,1)],2)
=> ([(0,1)],2)
=> 1
([(0,2),(0,3),(1,4),(2,4),(3,1)],5)
=> ([(0,3),(1,4),(2,4),(3,1),(3,2)],5)
=> ([(0,3),(1,4),(2,4),(3,1),(3,2)],5)
=> 1
([(0,3),(1,4),(2,4),(3,1),(3,2)],5)
=> ([(0,1),(0,2),(0,3),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(4,7),(5,7),(6,7)],8)
=> ([(0,1),(0,2),(0,3),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(4,7),(5,7),(6,7)],8)
=> 1
([(0,4),(2,3),(3,1),(4,2)],5)
=> ([(0,1),(0,2),(0,3),(0,4),(1,8),(1,9),(1,10),(2,6),(2,7),(2,10),(3,5),(3,7),(3,9),(4,5),(4,6),(4,8),(5,11),(5,14),(6,11),(6,12),(7,11),(7,13),(8,12),(8,14),(9,13),(9,14),(10,12),(10,13),(11,15),(12,15),(13,15),(14,15)],16)
=> ([(0,1),(0,2),(0,3),(0,4),(1,8),(1,9),(1,10),(2,6),(2,7),(2,10),(3,5),(3,7),(3,9),(4,5),(4,6),(4,8),(5,11),(5,14),(6,11),(6,12),(7,11),(7,13),(8,12),(8,14),(9,13),(9,14),(10,12),(10,13),(11,15),(12,15),(13,15),(14,15)],16)
=> 1
([(0,2),(0,3),(2,4),(3,4),(4,1)],5)
=> ([(0,1),(0,2),(0,3),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(4,7),(5,7),(6,7)],8)
=> ([(0,1),(0,2),(0,3),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(4,7),(5,7),(6,7)],8)
=> 1
([(0,1),(0,2),(0,3),(0,4),(1,5),(2,5),(3,5),(4,5)],6)
=> ([(0,1)],2)
=> ([(0,1)],2)
=> 1
([(0,2),(0,3),(0,4),(1,5),(2,5),(3,5),(4,1)],6)
=> ([(0,2),(2,1)],3)
=> ([(0,2),(2,1)],3)
=> 1
([(0,3),(0,4),(1,5),(2,5),(3,5),(4,1),(4,2)],6)
=> ([(0,2),(2,1)],3)
=> ([(0,2),(2,1)],3)
=> 1
([(0,4),(1,5),(2,5),(3,5),(4,1),(4,2),(4,3)],6)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> 1
([(0,4),(1,5),(2,5),(3,2),(4,1),(4,3)],6)
=> ([(0,3),(0,4),(1,6),(1,8),(2,6),(2,7),(3,5),(4,1),(4,2),(4,5),(5,7),(5,8),(6,9),(7,9),(8,9)],10)
=> ([(0,3),(0,4),(1,6),(1,8),(2,6),(2,7),(3,5),(4,1),(4,2),(4,5),(5,7),(5,8),(6,9),(7,9),(8,9)],10)
=> 1
([(0,4),(1,5),(2,5),(4,1),(4,2),(5,3)],6)
=> ([(0,1),(0,2),(0,3),(0,4),(1,8),(1,9),(1,10),(2,6),(2,7),(2,10),(3,5),(3,7),(3,9),(4,5),(4,6),(4,8),(5,11),(5,14),(6,11),(6,12),(7,11),(7,13),(8,12),(8,14),(9,13),(9,14),(10,12),(10,13),(11,15),(12,15),(13,15),(14,15)],16)
=> ([(0,1),(0,2),(0,3),(0,4),(1,8),(1,9),(1,10),(2,6),(2,7),(2,10),(3,5),(3,7),(3,9),(4,5),(4,6),(4,8),(5,11),(5,14),(6,11),(6,12),(7,11),(7,13),(8,12),(8,14),(9,13),(9,14),(10,12),(10,13),(11,15),(12,15),(13,15),(14,15)],16)
=> 1
([(0,2),(0,4),(1,5),(2,5),(3,1),(4,3)],6)
=> ([(0,3),(0,4),(1,5),(2,5),(3,6),(4,6),(6,1),(6,2)],7)
=> ([(0,3),(0,4),(1,5),(2,5),(3,6),(4,6),(6,1),(6,2)],7)
=> 1
([(0,3),(1,5),(2,5),(3,4),(4,1),(4,2)],6)
=> ([(0,1),(0,2),(0,3),(0,4),(1,8),(1,9),(1,10),(2,6),(2,7),(2,10),(3,5),(3,7),(3,9),(4,5),(4,6),(4,8),(5,11),(5,14),(6,11),(6,12),(7,11),(7,13),(8,12),(8,14),(9,13),(9,14),(10,12),(10,13),(11,15),(12,15),(13,15),(14,15)],16)
=> ([(0,1),(0,2),(0,3),(0,4),(1,8),(1,9),(1,10),(2,6),(2,7),(2,10),(3,5),(3,7),(3,9),(4,5),(4,6),(4,8),(5,11),(5,14),(6,11),(6,12),(7,11),(7,13),(8,12),(8,14),(9,13),(9,14),(10,12),(10,13),(11,15),(12,15),(13,15),(14,15)],16)
=> 1
([(0,1),(0,2),(0,3),(1,5),(2,4),(3,4),(4,5)],6)
=> ([(0,2),(2,1)],3)
=> ([(0,2),(2,1)],3)
=> 1
([(0,2),(0,3),(2,5),(3,5),(4,1),(5,4)],6)
=> ([(0,1),(0,2),(0,3),(0,4),(1,8),(1,9),(1,10),(2,6),(2,7),(2,10),(3,5),(3,7),(3,9),(4,5),(4,6),(4,8),(5,11),(5,14),(6,11),(6,12),(7,11),(7,13),(8,12),(8,14),(9,13),(9,14),(10,12),(10,13),(11,15),(12,15),(13,15),(14,15)],16)
=> ([(0,1),(0,2),(0,3),(0,4),(1,8),(1,9),(1,10),(2,6),(2,7),(2,10),(3,5),(3,7),(3,9),(4,5),(4,6),(4,8),(5,11),(5,14),(6,11),(6,12),(7,11),(7,13),(8,12),(8,14),(9,13),(9,14),(10,12),(10,13),(11,15),(12,15),(13,15),(14,15)],16)
=> 1
([(0,2),(0,3),(0,4),(2,5),(3,5),(4,5),(5,1)],6)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> 1
([(0,3),(0,4),(1,5),(2,5),(3,2),(4,1)],6)
=> ([(0,3),(0,4),(1,5),(2,5),(3,6),(4,6),(6,1),(6,2)],7)
=> ([(0,3),(0,4),(1,5),(2,5),(3,6),(4,6),(6,1),(6,2)],7)
=> 1
([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
=> ([(0,1),(0,2),(0,3),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(4,7),(5,7),(6,7)],8)
=> ([(0,1),(0,2),(0,3),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(4,7),(5,7),(6,7)],8)
=> 1
([(0,3),(0,4),(1,5),(3,5),(4,1),(5,2)],6)
=> ([(0,3),(0,4),(1,6),(1,8),(2,6),(2,7),(3,5),(4,1),(4,2),(4,5),(5,7),(5,8),(6,9),(7,9),(8,9)],10)
=> ([(0,3),(0,4),(1,6),(1,8),(2,6),(2,7),(3,5),(4,1),(4,2),(4,5),(5,7),(5,8),(6,9),(7,9),(8,9)],10)
=> 1
([(0,1),(0,2),(0,3),(0,4),(0,5),(1,6),(2,6),(3,6),(4,6),(5,6)],7)
=> ([(0,1)],2)
=> ([(0,1)],2)
=> 1
([(0,2),(0,3),(0,4),(0,5),(1,6),(2,6),(3,6),(4,6),(5,1)],7)
=> ([(0,2),(2,1)],3)
=> ([(0,2),(2,1)],3)
=> 1
([(0,3),(0,4),(0,5),(1,6),(2,6),(3,6),(4,6),(5,1),(5,2)],7)
=> ([(0,1)],2)
=> ([(0,1)],2)
=> 1
([(0,4),(0,5),(1,6),(2,6),(3,6),(4,6),(5,1),(5,2),(5,3)],7)
=> ([(0,2),(2,1)],3)
=> ([(0,2),(2,1)],3)
=> 1
([(0,5),(1,6),(2,6),(3,6),(4,6),(5,1),(5,2),(5,3),(5,4)],7)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> 1
([(0,5),(1,6),(2,6),(3,6),(4,3),(5,1),(5,2),(5,4)],7)
=> ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
=> ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
=> 1
([(0,4),(1,6),(2,5),(3,5),(4,1),(4,2),(4,3),(5,6)],7)
=> ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
=> ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
=> 1
([(0,5),(1,6),(2,6),(3,6),(5,1),(5,2),(5,3),(6,4)],7)
=> ([(0,1),(0,2),(0,3),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(4,7),(5,7),(6,7)],8)
=> ([(0,1),(0,2),(0,3),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(4,7),(5,7),(6,7)],8)
=> 1
([(0,3),(0,5),(1,6),(2,6),(3,6),(4,2),(5,1),(5,4)],7)
=> ([(0,3),(2,1),(3,2)],4)
=> ([(0,3),(2,1),(3,2)],4)
=> 1
([(0,5),(1,6),(2,6),(3,6),(4,2),(4,3),(5,1),(5,4)],7)
=> ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
=> ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
=> 1
([(0,3),(0,4),(1,5),(2,5),(3,6),(4,1),(4,2),(5,6)],7)
=> ([(0,3),(0,4),(1,5),(2,5),(3,6),(4,6),(6,1),(6,2)],7)
=> ([(0,3),(0,4),(1,5),(2,5),(3,6),(4,6),(6,1),(6,2)],7)
=> 1
([(0,4),(1,6),(2,5),(3,1),(3,5),(4,2),(4,3),(5,6)],7)
=> ([(0,1),(0,2),(0,3),(0,4),(1,8),(1,9),(1,10),(2,6),(2,7),(2,10),(3,5),(3,7),(3,9),(4,5),(4,6),(4,8),(5,11),(5,14),(6,11),(6,12),(7,11),(7,13),(8,12),(8,14),(9,13),(9,14),(10,12),(10,13),(11,15),(12,15),(13,15),(14,15)],16)
=> ([(0,1),(0,2),(0,3),(0,4),(1,8),(1,9),(1,10),(2,6),(2,7),(2,10),(3,5),(3,7),(3,9),(4,5),(4,6),(4,8),(5,11),(5,14),(6,11),(6,12),(7,11),(7,13),(8,12),(8,14),(9,13),(9,14),(10,12),(10,13),(11,15),(12,15),(13,15),(14,15)],16)
=> 1
([(0,2),(0,3),(0,5),(1,6),(2,6),(3,6),(4,1),(5,4)],7)
=> ([(0,2),(0,3),(2,4),(3,4),(4,1)],5)
=> ([(0,2),(0,3),(2,4),(3,4),(4,1)],5)
=> 1
([(0,3),(0,4),(1,6),(2,6),(3,6),(4,5),(5,1),(5,2)],7)
=> ([(0,3),(2,1),(3,2)],4)
=> ([(0,3),(2,1),(3,2)],4)
=> 1
([(0,4),(1,6),(2,6),(3,6),(4,5),(5,1),(5,2),(5,3)],7)
=> ([(0,1),(0,2),(0,3),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(4,7),(5,7),(6,7)],8)
=> ([(0,1),(0,2),(0,3),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(4,7),(5,7),(6,7)],8)
=> 1
([(0,1),(0,2),(0,3),(0,4),(1,6),(2,6),(3,5),(4,5),(5,6)],7)
=> ([(0,1)],2)
=> ([(0,1)],2)
=> 1
([(0,2),(0,3),(0,4),(1,5),(2,6),(3,6),(4,5),(6,1)],7)
=> ([(0,3),(2,1),(3,2)],4)
=> ([(0,3),(2,1),(3,2)],4)
=> 1
([(0,3),(0,4),(1,5),(2,5),(3,6),(4,6),(6,1),(6,2)],7)
=> ([(0,1),(0,2),(0,3),(0,4),(1,8),(1,9),(1,10),(2,6),(2,7),(2,10),(3,5),(3,7),(3,9),(4,5),(4,6),(4,8),(5,11),(5,14),(6,11),(6,12),(7,11),(7,13),(8,12),(8,14),(9,13),(9,14),(10,12),(10,13),(11,15),(12,15),(13,15),(14,15)],16)
=> ([(0,1),(0,2),(0,3),(0,4),(1,8),(1,9),(1,10),(2,6),(2,7),(2,10),(3,5),(3,7),(3,9),(4,5),(4,6),(4,8),(5,11),(5,14),(6,11),(6,12),(7,11),(7,13),(8,12),(8,14),(9,13),(9,14),(10,12),(10,13),(11,15),(12,15),(13,15),(14,15)],16)
=> 1
([(0,1),(0,2),(0,3),(0,4),(1,6),(2,6),(3,6),(4,5),(6,5)],7)
=> ([(0,2),(2,1)],3)
=> ([(0,2),(2,1)],3)
=> 1
([(0,2),(0,3),(0,4),(2,6),(3,6),(4,6),(5,1),(6,5)],7)
=> ([(0,1),(0,2),(0,3),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(4,7),(5,7),(6,7)],8)
=> ([(0,1),(0,2),(0,3),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(4,7),(5,7),(6,7)],8)
=> 1
([(0,2),(0,3),(0,4),(0,5),(2,6),(3,6),(4,6),(5,6),(6,1)],7)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> 1
([(0,2),(0,3),(0,4),(1,6),(2,5),(3,5),(4,1),(5,6)],7)
=> ([(0,3),(2,1),(3,2)],4)
=> ([(0,3),(2,1),(3,2)],4)
=> 1
([(0,1),(0,2),(0,3),(1,5),(2,4),(3,4),(3,5),(4,6),(5,6)],7)
=> ([(0,3),(1,4),(2,4),(3,1),(3,2)],5)
=> ([(0,3),(1,4),(2,4),(3,1),(3,2)],5)
=> 1
([(0,2),(0,3),(0,4),(2,6),(3,5),(4,5),(5,6),(6,1)],7)
=> ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
=> ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
=> 1
([(0,2),(0,3),(0,4),(1,5),(2,6),(3,6),(4,1),(4,6),(6,5)],7)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> 1
([(0,3),(0,4),(0,5),(1,6),(3,6),(4,6),(5,1),(6,2)],7)
=> ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
=> ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
=> 1
Description
The number of maximal elements of a poset.
Matching statistic: St001681
(load all 9 compositions to match this statistic)
(load all 9 compositions to match this statistic)
Values
([],1)
=> ([],1)
=> ([],1)
=> ([],1)
=> 1
([(0,1)],2)
=> ([(0,1)],2)
=> ([(0,1)],2)
=> ([(0,1)],2)
=> 1
([(0,2),(2,1)],3)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> ([],1)
=> 1
([(0,1),(0,2),(1,3),(2,3)],4)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> ([],1)
=> 1
([(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,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,1)],2)
=> 1
([(0,1),(0,2),(0,3),(1,4),(2,4),(3,4)],5)
=> ([(0,1)],2)
=> ([(0,1)],2)
=> ([(0,1)],2)
=> 1
([(0,2),(0,3),(1,4),(2,4),(3,1)],5)
=> ([(0,3),(1,4),(2,4),(3,1),(3,2)],5)
=> ([(0,3),(1,4),(2,4),(3,1),(3,2)],5)
=> ([],1)
=> 1
([(0,3),(1,4),(2,4),(3,1),(3,2)],5)
=> ([(0,1),(0,2),(0,3),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(4,7),(5,7),(6,7)],8)
=> ([(0,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,1)],2)
=> 1
([(0,4),(2,3),(3,1),(4,2)],5)
=> ([(0,1),(0,2),(0,3),(0,4),(1,8),(1,9),(1,10),(2,6),(2,7),(2,10),(3,5),(3,7),(3,9),(4,5),(4,6),(4,8),(5,11),(5,14),(6,11),(6,12),(7,11),(7,13),(8,12),(8,14),(9,13),(9,14),(10,12),(10,13),(11,15),(12,15),(13,15),(14,15)],16)
=> ([(0,1),(0,2),(0,3),(0,4),(1,8),(1,9),(1,10),(2,6),(2,7),(2,10),(3,5),(3,7),(3,9),(4,5),(4,6),(4,8),(5,11),(5,14),(6,11),(6,12),(7,11),(7,13),(8,12),(8,14),(9,13),(9,14),(10,12),(10,13),(11,15),(12,15),(13,15),(14,15)],16)
=> ([],1)
=> 1
([(0,2),(0,3),(2,4),(3,4),(4,1)],5)
=> ([(0,1),(0,2),(0,3),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(4,7),(5,7),(6,7)],8)
=> ([(0,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,1)],2)
=> 1
([(0,1),(0,2),(0,3),(0,4),(1,5),(2,5),(3,5),(4,5)],6)
=> ([(0,1)],2)
=> ([(0,1)],2)
=> ([(0,1)],2)
=> 1
([(0,2),(0,3),(0,4),(1,5),(2,5),(3,5),(4,1)],6)
=> ([(0,2),(2,1)],3)
=> ([(0,2),(2,1)],3)
=> ([(0,2),(2,1)],3)
=> 1
([(0,3),(0,4),(1,5),(2,5),(3,5),(4,1),(4,2)],6)
=> ([(0,2),(2,1)],3)
=> ([(0,2),(2,1)],3)
=> ([(0,2),(2,1)],3)
=> 1
([(0,4),(1,5),(2,5),(3,5),(4,1),(4,2),(4,3)],6)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> ([],1)
=> 1
([(0,4),(1,5),(2,5),(3,2),(4,1),(4,3)],6)
=> ([(0,3),(0,4),(1,6),(1,8),(2,6),(2,7),(3,5),(4,1),(4,2),(4,5),(5,7),(5,8),(6,9),(7,9),(8,9)],10)
=> ([(0,3),(0,4),(1,6),(1,8),(2,6),(2,7),(3,5),(4,1),(4,2),(4,5),(5,7),(5,8),(6,9),(7,9),(8,9)],10)
=> ([(0,2),(2,1)],3)
=> 1
([(0,4),(1,5),(2,5),(4,1),(4,2),(5,3)],6)
=> ([(0,1),(0,2),(0,3),(0,4),(1,8),(1,9),(1,10),(2,6),(2,7),(2,10),(3,5),(3,7),(3,9),(4,5),(4,6),(4,8),(5,11),(5,14),(6,11),(6,12),(7,11),(7,13),(8,12),(8,14),(9,13),(9,14),(10,12),(10,13),(11,15),(12,15),(13,15),(14,15)],16)
=> ([(0,1),(0,2),(0,3),(0,4),(1,8),(1,9),(1,10),(2,6),(2,7),(2,10),(3,5),(3,7),(3,9),(4,5),(4,6),(4,8),(5,11),(5,14),(6,11),(6,12),(7,11),(7,13),(8,12),(8,14),(9,13),(9,14),(10,12),(10,13),(11,15),(12,15),(13,15),(14,15)],16)
=> ([],1)
=> 1
([(0,2),(0,4),(1,5),(2,5),(3,1),(4,3)],6)
=> ([(0,3),(0,4),(1,5),(2,5),(3,6),(4,6),(6,1),(6,2)],7)
=> ([(0,3),(0,4),(1,5),(2,5),(3,6),(4,6),(6,1),(6,2)],7)
=> ([(0,1)],2)
=> 1
([(0,3),(1,5),(2,5),(3,4),(4,1),(4,2)],6)
=> ([(0,1),(0,2),(0,3),(0,4),(1,8),(1,9),(1,10),(2,6),(2,7),(2,10),(3,5),(3,7),(3,9),(4,5),(4,6),(4,8),(5,11),(5,14),(6,11),(6,12),(7,11),(7,13),(8,12),(8,14),(9,13),(9,14),(10,12),(10,13),(11,15),(12,15),(13,15),(14,15)],16)
=> ([(0,1),(0,2),(0,3),(0,4),(1,8),(1,9),(1,10),(2,6),(2,7),(2,10),(3,5),(3,7),(3,9),(4,5),(4,6),(4,8),(5,11),(5,14),(6,11),(6,12),(7,11),(7,13),(8,12),(8,14),(9,13),(9,14),(10,12),(10,13),(11,15),(12,15),(13,15),(14,15)],16)
=> ([],1)
=> 1
([(0,1),(0,2),(0,3),(1,5),(2,4),(3,4),(4,5)],6)
=> ([(0,2),(2,1)],3)
=> ([(0,2),(2,1)],3)
=> ([(0,2),(2,1)],3)
=> 1
([(0,2),(0,3),(2,5),(3,5),(4,1),(5,4)],6)
=> ([(0,1),(0,2),(0,3),(0,4),(1,8),(1,9),(1,10),(2,6),(2,7),(2,10),(3,5),(3,7),(3,9),(4,5),(4,6),(4,8),(5,11),(5,14),(6,11),(6,12),(7,11),(7,13),(8,12),(8,14),(9,13),(9,14),(10,12),(10,13),(11,15),(12,15),(13,15),(14,15)],16)
=> ([(0,1),(0,2),(0,3),(0,4),(1,8),(1,9),(1,10),(2,6),(2,7),(2,10),(3,5),(3,7),(3,9),(4,5),(4,6),(4,8),(5,11),(5,14),(6,11),(6,12),(7,11),(7,13),(8,12),(8,14),(9,13),(9,14),(10,12),(10,13),(11,15),(12,15),(13,15),(14,15)],16)
=> ([],1)
=> 1
([(0,2),(0,3),(0,4),(2,5),(3,5),(4,5),(5,1)],6)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> ([],1)
=> 1
([(0,3),(0,4),(1,5),(2,5),(3,2),(4,1)],6)
=> ([(0,3),(0,4),(1,5),(2,5),(3,6),(4,6),(6,1),(6,2)],7)
=> ([(0,3),(0,4),(1,5),(2,5),(3,6),(4,6),(6,1),(6,2)],7)
=> ([(0,1)],2)
=> 1
([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
=> ([(0,1),(0,2),(0,3),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(4,7),(5,7),(6,7)],8)
=> ([(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,1)],2)
=> 1
([(0,3),(0,4),(1,5),(3,5),(4,1),(5,2)],6)
=> ([(0,3),(0,4),(1,6),(1,8),(2,6),(2,7),(3,5),(4,1),(4,2),(4,5),(5,7),(5,8),(6,9),(7,9),(8,9)],10)
=> ([(0,3),(0,4),(1,6),(1,8),(2,6),(2,7),(3,5),(4,1),(4,2),(4,5),(5,7),(5,8),(6,9),(7,9),(8,9)],10)
=> ([(0,2),(2,1)],3)
=> 1
([(0,1),(0,2),(0,3),(0,4),(0,5),(1,6),(2,6),(3,6),(4,6),(5,6)],7)
=> ([(0,1)],2)
=> ([(0,1)],2)
=> ([(0,1)],2)
=> 1
([(0,2),(0,3),(0,4),(0,5),(1,6),(2,6),(3,6),(4,6),(5,1)],7)
=> ([(0,2),(2,1)],3)
=> ([(0,2),(2,1)],3)
=> ([(0,2),(2,1)],3)
=> 1
([(0,3),(0,4),(0,5),(1,6),(2,6),(3,6),(4,6),(5,1),(5,2)],7)
=> ([(0,1)],2)
=> ([(0,1)],2)
=> ([(0,1)],2)
=> 1
([(0,4),(0,5),(1,6),(2,6),(3,6),(4,6),(5,1),(5,2),(5,3)],7)
=> ([(0,2),(2,1)],3)
=> ([(0,2),(2,1)],3)
=> ([(0,2),(2,1)],3)
=> 1
([(0,5),(1,6),(2,6),(3,6),(4,6),(5,1),(5,2),(5,3),(5,4)],7)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> ([],1)
=> 1
([(0,5),(1,6),(2,6),(3,6),(4,3),(5,1),(5,2),(5,4)],7)
=> ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
=> ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
=> ([(0,2),(2,1)],3)
=> 1
([(0,4),(1,6),(2,5),(3,5),(4,1),(4,2),(4,3),(5,6)],7)
=> ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
=> ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
=> ([(0,2),(2,1)],3)
=> 1
([(0,5),(1,6),(2,6),(3,6),(5,1),(5,2),(5,3),(6,4)],7)
=> ([(0,1),(0,2),(0,3),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(4,7),(5,7),(6,7)],8)
=> ([(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,1)],2)
=> 1
([(0,3),(0,5),(1,6),(2,6),(3,6),(4,2),(5,1),(5,4)],7)
=> ([(0,3),(2,1),(3,2)],4)
=> ([(0,3),(2,1),(3,2)],4)
=> ([(0,3),(2,1),(3,2)],4)
=> 1
([(0,5),(1,6),(2,6),(3,6),(4,2),(4,3),(5,1),(5,4)],7)
=> ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
=> ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
=> ([(0,2),(2,1)],3)
=> 1
([(0,3),(0,4),(1,5),(2,5),(3,6),(4,1),(4,2),(5,6)],7)
=> ([(0,3),(0,4),(1,5),(2,5),(3,6),(4,6),(6,1),(6,2)],7)
=> ([(0,3),(0,4),(1,5),(2,5),(3,6),(4,6),(6,1),(6,2)],7)
=> ([(0,1)],2)
=> 1
([(0,4),(1,6),(2,5),(3,1),(3,5),(4,2),(4,3),(5,6)],7)
=> ([(0,1),(0,2),(0,3),(0,4),(1,8),(1,9),(1,10),(2,6),(2,7),(2,10),(3,5),(3,7),(3,9),(4,5),(4,6),(4,8),(5,11),(5,14),(6,11),(6,12),(7,11),(7,13),(8,12),(8,14),(9,13),(9,14),(10,12),(10,13),(11,15),(12,15),(13,15),(14,15)],16)
=> ([(0,1),(0,2),(0,3),(0,4),(1,8),(1,9),(1,10),(2,6),(2,7),(2,10),(3,5),(3,7),(3,9),(4,5),(4,6),(4,8),(5,11),(5,14),(6,11),(6,12),(7,11),(7,13),(8,12),(8,14),(9,13),(9,14),(10,12),(10,13),(11,15),(12,15),(13,15),(14,15)],16)
=> ([],1)
=> 1
([(0,2),(0,3),(0,5),(1,6),(2,6),(3,6),(4,1),(5,4)],7)
=> ([(0,2),(0,3),(2,4),(3,4),(4,1)],5)
=> ([(0,2),(0,3),(2,4),(3,4),(4,1)],5)
=> ([],1)
=> 1
([(0,3),(0,4),(1,6),(2,6),(3,6),(4,5),(5,1),(5,2)],7)
=> ([(0,3),(2,1),(3,2)],4)
=> ([(0,3),(2,1),(3,2)],4)
=> ([(0,3),(2,1),(3,2)],4)
=> 1
([(0,4),(1,6),(2,6),(3,6),(4,5),(5,1),(5,2),(5,3)],7)
=> ([(0,1),(0,2),(0,3),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(4,7),(5,7),(6,7)],8)
=> ([(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,1)],2)
=> 1
([(0,1),(0,2),(0,3),(0,4),(1,6),(2,6),(3,5),(4,5),(5,6)],7)
=> ([(0,1)],2)
=> ([(0,1)],2)
=> ([(0,1)],2)
=> 1
([(0,2),(0,3),(0,4),(1,5),(2,6),(3,6),(4,5),(6,1)],7)
=> ([(0,3),(2,1),(3,2)],4)
=> ([(0,3),(2,1),(3,2)],4)
=> ([(0,3),(2,1),(3,2)],4)
=> 1
([(0,3),(0,4),(1,5),(2,5),(3,6),(4,6),(6,1),(6,2)],7)
=> ([(0,1),(0,2),(0,3),(0,4),(1,8),(1,9),(1,10),(2,6),(2,7),(2,10),(3,5),(3,7),(3,9),(4,5),(4,6),(4,8),(5,11),(5,14),(6,11),(6,12),(7,11),(7,13),(8,12),(8,14),(9,13),(9,14),(10,12),(10,13),(11,15),(12,15),(13,15),(14,15)],16)
=> ([(0,1),(0,2),(0,3),(0,4),(1,8),(1,9),(1,10),(2,6),(2,7),(2,10),(3,5),(3,7),(3,9),(4,5),(4,6),(4,8),(5,11),(5,14),(6,11),(6,12),(7,11),(7,13),(8,12),(8,14),(9,13),(9,14),(10,12),(10,13),(11,15),(12,15),(13,15),(14,15)],16)
=> ([],1)
=> 1
([(0,1),(0,2),(0,3),(0,4),(1,6),(2,6),(3,6),(4,5),(6,5)],7)
=> ([(0,2),(2,1)],3)
=> ([(0,2),(2,1)],3)
=> ([(0,2),(2,1)],3)
=> 1
([(0,2),(0,3),(0,4),(2,6),(3,6),(4,6),(5,1),(6,5)],7)
=> ([(0,1),(0,2),(0,3),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(4,7),(5,7),(6,7)],8)
=> ([(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,1)],2)
=> 1
([(0,2),(0,3),(0,4),(0,5),(2,6),(3,6),(4,6),(5,6),(6,1)],7)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> ([],1)
=> 1
([(0,2),(0,3),(0,4),(1,6),(2,5),(3,5),(4,1),(5,6)],7)
=> ([(0,3),(2,1),(3,2)],4)
=> ([(0,3),(2,1),(3,2)],4)
=> ([(0,3),(2,1),(3,2)],4)
=> 1
([(0,1),(0,2),(0,3),(1,5),(2,4),(3,4),(3,5),(4,6),(5,6)],7)
=> ([(0,3),(1,4),(2,4),(3,1),(3,2)],5)
=> ([(0,3),(1,4),(2,4),(3,1),(3,2)],5)
=> ([],1)
=> 1
([(0,2),(0,3),(0,4),(2,6),(3,5),(4,5),(5,6),(6,1)],7)
=> ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
=> ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
=> ([(0,2),(2,1)],3)
=> 1
([(0,2),(0,3),(0,4),(1,5),(2,6),(3,6),(4,1),(4,6),(6,5)],7)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> ([],1)
=> 1
([(0,3),(0,4),(0,5),(1,6),(3,6),(4,6),(5,1),(6,2)],7)
=> ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
=> ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
=> ([(0,2),(2,1)],3)
=> 1
Description
The number of inclusion-wise minimal subsets of a lattice, whose meet is the bottom element.
For example, the pentagon lattice has three such sets: the bottom element, and the two antichains of size two. The cube is the smallest lattice which has such sets of three different sizes: the bottom element, six antichains of size two and one antichain of size three.
Matching statistic: St001719
(load all 12 compositions to match this statistic)
(load all 12 compositions to match this statistic)
Values
([],1)
=> ([],1)
=> ([],1)
=> ([],1)
=> 1
([(0,1)],2)
=> ([(0,1)],2)
=> ([(0,1)],2)
=> ([(0,1)],2)
=> 1
([(0,2),(2,1)],3)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> ([],1)
=> 1
([(0,1),(0,2),(1,3),(2,3)],4)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> ([],1)
=> 1
([(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,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,1)],2)
=> 1
([(0,1),(0,2),(0,3),(1,4),(2,4),(3,4)],5)
=> ([(0,1)],2)
=> ([(0,1)],2)
=> ([(0,1)],2)
=> 1
([(0,2),(0,3),(1,4),(2,4),(3,1)],5)
=> ([(0,3),(1,4),(2,4),(3,1),(3,2)],5)
=> ([(0,3),(1,4),(2,4),(3,1),(3,2)],5)
=> ([],1)
=> 1
([(0,3),(1,4),(2,4),(3,1),(3,2)],5)
=> ([(0,1),(0,2),(0,3),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(4,7),(5,7),(6,7)],8)
=> ([(0,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,1)],2)
=> 1
([(0,4),(2,3),(3,1),(4,2)],5)
=> ([(0,1),(0,2),(0,3),(0,4),(1,8),(1,9),(1,10),(2,6),(2,7),(2,10),(3,5),(3,7),(3,9),(4,5),(4,6),(4,8),(5,11),(5,14),(6,11),(6,12),(7,11),(7,13),(8,12),(8,14),(9,13),(9,14),(10,12),(10,13),(11,15),(12,15),(13,15),(14,15)],16)
=> ([(0,1),(0,2),(0,3),(0,4),(1,8),(1,9),(1,10),(2,6),(2,7),(2,10),(3,5),(3,7),(3,9),(4,5),(4,6),(4,8),(5,11),(5,14),(6,11),(6,12),(7,11),(7,13),(8,12),(8,14),(9,13),(9,14),(10,12),(10,13),(11,15),(12,15),(13,15),(14,15)],16)
=> ([],1)
=> 1
([(0,2),(0,3),(2,4),(3,4),(4,1)],5)
=> ([(0,1),(0,2),(0,3),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(4,7),(5,7),(6,7)],8)
=> ([(0,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,1)],2)
=> 1
([(0,1),(0,2),(0,3),(0,4),(1,5),(2,5),(3,5),(4,5)],6)
=> ([(0,1)],2)
=> ([(0,1)],2)
=> ([(0,1)],2)
=> 1
([(0,2),(0,3),(0,4),(1,5),(2,5),(3,5),(4,1)],6)
=> ([(0,2),(2,1)],3)
=> ([(0,2),(2,1)],3)
=> ([(0,2),(2,1)],3)
=> 1
([(0,3),(0,4),(1,5),(2,5),(3,5),(4,1),(4,2)],6)
=> ([(0,2),(2,1)],3)
=> ([(0,2),(2,1)],3)
=> ([(0,2),(2,1)],3)
=> 1
([(0,4),(1,5),(2,5),(3,5),(4,1),(4,2),(4,3)],6)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> ([],1)
=> 1
([(0,4),(1,5),(2,5),(3,2),(4,1),(4,3)],6)
=> ([(0,3),(0,4),(1,6),(1,8),(2,6),(2,7),(3,5),(4,1),(4,2),(4,5),(5,7),(5,8),(6,9),(7,9),(8,9)],10)
=> ([(0,3),(0,4),(1,6),(1,8),(2,6),(2,7),(3,5),(4,1),(4,2),(4,5),(5,7),(5,8),(6,9),(7,9),(8,9)],10)
=> ([(0,2),(2,1)],3)
=> 1
([(0,4),(1,5),(2,5),(4,1),(4,2),(5,3)],6)
=> ([(0,1),(0,2),(0,3),(0,4),(1,8),(1,9),(1,10),(2,6),(2,7),(2,10),(3,5),(3,7),(3,9),(4,5),(4,6),(4,8),(5,11),(5,14),(6,11),(6,12),(7,11),(7,13),(8,12),(8,14),(9,13),(9,14),(10,12),(10,13),(11,15),(12,15),(13,15),(14,15)],16)
=> ([(0,1),(0,2),(0,3),(0,4),(1,8),(1,9),(1,10),(2,6),(2,7),(2,10),(3,5),(3,7),(3,9),(4,5),(4,6),(4,8),(5,11),(5,14),(6,11),(6,12),(7,11),(7,13),(8,12),(8,14),(9,13),(9,14),(10,12),(10,13),(11,15),(12,15),(13,15),(14,15)],16)
=> ([],1)
=> 1
([(0,2),(0,4),(1,5),(2,5),(3,1),(4,3)],6)
=> ([(0,3),(0,4),(1,5),(2,5),(3,6),(4,6),(6,1),(6,2)],7)
=> ([(0,3),(0,4),(1,5),(2,5),(3,6),(4,6),(6,1),(6,2)],7)
=> ([(0,1)],2)
=> 1
([(0,3),(1,5),(2,5),(3,4),(4,1),(4,2)],6)
=> ([(0,1),(0,2),(0,3),(0,4),(1,8),(1,9),(1,10),(2,6),(2,7),(2,10),(3,5),(3,7),(3,9),(4,5),(4,6),(4,8),(5,11),(5,14),(6,11),(6,12),(7,11),(7,13),(8,12),(8,14),(9,13),(9,14),(10,12),(10,13),(11,15),(12,15),(13,15),(14,15)],16)
=> ([(0,1),(0,2),(0,3),(0,4),(1,8),(1,9),(1,10),(2,6),(2,7),(2,10),(3,5),(3,7),(3,9),(4,5),(4,6),(4,8),(5,11),(5,14),(6,11),(6,12),(7,11),(7,13),(8,12),(8,14),(9,13),(9,14),(10,12),(10,13),(11,15),(12,15),(13,15),(14,15)],16)
=> ([],1)
=> 1
([(0,1),(0,2),(0,3),(1,5),(2,4),(3,4),(4,5)],6)
=> ([(0,2),(2,1)],3)
=> ([(0,2),(2,1)],3)
=> ([(0,2),(2,1)],3)
=> 1
([(0,2),(0,3),(2,5),(3,5),(4,1),(5,4)],6)
=> ([(0,1),(0,2),(0,3),(0,4),(1,8),(1,9),(1,10),(2,6),(2,7),(2,10),(3,5),(3,7),(3,9),(4,5),(4,6),(4,8),(5,11),(5,14),(6,11),(6,12),(7,11),(7,13),(8,12),(8,14),(9,13),(9,14),(10,12),(10,13),(11,15),(12,15),(13,15),(14,15)],16)
=> ([(0,1),(0,2),(0,3),(0,4),(1,8),(1,9),(1,10),(2,6),(2,7),(2,10),(3,5),(3,7),(3,9),(4,5),(4,6),(4,8),(5,11),(5,14),(6,11),(6,12),(7,11),(7,13),(8,12),(8,14),(9,13),(9,14),(10,12),(10,13),(11,15),(12,15),(13,15),(14,15)],16)
=> ([],1)
=> 1
([(0,2),(0,3),(0,4),(2,5),(3,5),(4,5),(5,1)],6)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> ([],1)
=> 1
([(0,3),(0,4),(1,5),(2,5),(3,2),(4,1)],6)
=> ([(0,3),(0,4),(1,5),(2,5),(3,6),(4,6),(6,1),(6,2)],7)
=> ([(0,3),(0,4),(1,5),(2,5),(3,6),(4,6),(6,1),(6,2)],7)
=> ([(0,1)],2)
=> 1
([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
=> ([(0,1),(0,2),(0,3),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(4,7),(5,7),(6,7)],8)
=> ([(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,1)],2)
=> 1
([(0,3),(0,4),(1,5),(3,5),(4,1),(5,2)],6)
=> ([(0,3),(0,4),(1,6),(1,8),(2,6),(2,7),(3,5),(4,1),(4,2),(4,5),(5,7),(5,8),(6,9),(7,9),(8,9)],10)
=> ([(0,3),(0,4),(1,6),(1,8),(2,6),(2,7),(3,5),(4,1),(4,2),(4,5),(5,7),(5,8),(6,9),(7,9),(8,9)],10)
=> ([(0,2),(2,1)],3)
=> 1
([(0,1),(0,2),(0,3),(0,4),(0,5),(1,6),(2,6),(3,6),(4,6),(5,6)],7)
=> ([(0,1)],2)
=> ([(0,1)],2)
=> ([(0,1)],2)
=> 1
([(0,2),(0,3),(0,4),(0,5),(1,6),(2,6),(3,6),(4,6),(5,1)],7)
=> ([(0,2),(2,1)],3)
=> ([(0,2),(2,1)],3)
=> ([(0,2),(2,1)],3)
=> 1
([(0,3),(0,4),(0,5),(1,6),(2,6),(3,6),(4,6),(5,1),(5,2)],7)
=> ([(0,1)],2)
=> ([(0,1)],2)
=> ([(0,1)],2)
=> 1
([(0,4),(0,5),(1,6),(2,6),(3,6),(4,6),(5,1),(5,2),(5,3)],7)
=> ([(0,2),(2,1)],3)
=> ([(0,2),(2,1)],3)
=> ([(0,2),(2,1)],3)
=> 1
([(0,5),(1,6),(2,6),(3,6),(4,6),(5,1),(5,2),(5,3),(5,4)],7)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> ([],1)
=> 1
([(0,5),(1,6),(2,6),(3,6),(4,3),(5,1),(5,2),(5,4)],7)
=> ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
=> ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
=> ([(0,2),(2,1)],3)
=> 1
([(0,4),(1,6),(2,5),(3,5),(4,1),(4,2),(4,3),(5,6)],7)
=> ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
=> ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
=> ([(0,2),(2,1)],3)
=> 1
([(0,5),(1,6),(2,6),(3,6),(5,1),(5,2),(5,3),(6,4)],7)
=> ([(0,1),(0,2),(0,3),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(4,7),(5,7),(6,7)],8)
=> ([(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,1)],2)
=> 1
([(0,3),(0,5),(1,6),(2,6),(3,6),(4,2),(5,1),(5,4)],7)
=> ([(0,3),(2,1),(3,2)],4)
=> ([(0,3),(2,1),(3,2)],4)
=> ([(0,3),(2,1),(3,2)],4)
=> 1
([(0,5),(1,6),(2,6),(3,6),(4,2),(4,3),(5,1),(5,4)],7)
=> ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
=> ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
=> ([(0,2),(2,1)],3)
=> 1
([(0,3),(0,4),(1,5),(2,5),(3,6),(4,1),(4,2),(5,6)],7)
=> ([(0,3),(0,4),(1,5),(2,5),(3,6),(4,6),(6,1),(6,2)],7)
=> ([(0,3),(0,4),(1,5),(2,5),(3,6),(4,6),(6,1),(6,2)],7)
=> ([(0,1)],2)
=> 1
([(0,4),(1,6),(2,5),(3,1),(3,5),(4,2),(4,3),(5,6)],7)
=> ([(0,1),(0,2),(0,3),(0,4),(1,8),(1,9),(1,10),(2,6),(2,7),(2,10),(3,5),(3,7),(3,9),(4,5),(4,6),(4,8),(5,11),(5,14),(6,11),(6,12),(7,11),(7,13),(8,12),(8,14),(9,13),(9,14),(10,12),(10,13),(11,15),(12,15),(13,15),(14,15)],16)
=> ([(0,1),(0,2),(0,3),(0,4),(1,8),(1,9),(1,10),(2,6),(2,7),(2,10),(3,5),(3,7),(3,9),(4,5),(4,6),(4,8),(5,11),(5,14),(6,11),(6,12),(7,11),(7,13),(8,12),(8,14),(9,13),(9,14),(10,12),(10,13),(11,15),(12,15),(13,15),(14,15)],16)
=> ([],1)
=> 1
([(0,2),(0,3),(0,5),(1,6),(2,6),(3,6),(4,1),(5,4)],7)
=> ([(0,2),(0,3),(2,4),(3,4),(4,1)],5)
=> ([(0,2),(0,3),(2,4),(3,4),(4,1)],5)
=> ([],1)
=> 1
([(0,3),(0,4),(1,6),(2,6),(3,6),(4,5),(5,1),(5,2)],7)
=> ([(0,3),(2,1),(3,2)],4)
=> ([(0,3),(2,1),(3,2)],4)
=> ([(0,3),(2,1),(3,2)],4)
=> 1
([(0,4),(1,6),(2,6),(3,6),(4,5),(5,1),(5,2),(5,3)],7)
=> ([(0,1),(0,2),(0,3),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(4,7),(5,7),(6,7)],8)
=> ([(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,1)],2)
=> 1
([(0,1),(0,2),(0,3),(0,4),(1,6),(2,6),(3,5),(4,5),(5,6)],7)
=> ([(0,1)],2)
=> ([(0,1)],2)
=> ([(0,1)],2)
=> 1
([(0,2),(0,3),(0,4),(1,5),(2,6),(3,6),(4,5),(6,1)],7)
=> ([(0,3),(2,1),(3,2)],4)
=> ([(0,3),(2,1),(3,2)],4)
=> ([(0,3),(2,1),(3,2)],4)
=> 1
([(0,3),(0,4),(1,5),(2,5),(3,6),(4,6),(6,1),(6,2)],7)
=> ([(0,1),(0,2),(0,3),(0,4),(1,8),(1,9),(1,10),(2,6),(2,7),(2,10),(3,5),(3,7),(3,9),(4,5),(4,6),(4,8),(5,11),(5,14),(6,11),(6,12),(7,11),(7,13),(8,12),(8,14),(9,13),(9,14),(10,12),(10,13),(11,15),(12,15),(13,15),(14,15)],16)
=> ([(0,1),(0,2),(0,3),(0,4),(1,8),(1,9),(1,10),(2,6),(2,7),(2,10),(3,5),(3,7),(3,9),(4,5),(4,6),(4,8),(5,11),(5,14),(6,11),(6,12),(7,11),(7,13),(8,12),(8,14),(9,13),(9,14),(10,12),(10,13),(11,15),(12,15),(13,15),(14,15)],16)
=> ([],1)
=> 1
([(0,1),(0,2),(0,3),(0,4),(1,6),(2,6),(3,6),(4,5),(6,5)],7)
=> ([(0,2),(2,1)],3)
=> ([(0,2),(2,1)],3)
=> ([(0,2),(2,1)],3)
=> 1
([(0,2),(0,3),(0,4),(2,6),(3,6),(4,6),(5,1),(6,5)],7)
=> ([(0,1),(0,2),(0,3),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(4,7),(5,7),(6,7)],8)
=> ([(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,1)],2)
=> 1
([(0,2),(0,3),(0,4),(0,5),(2,6),(3,6),(4,6),(5,6),(6,1)],7)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> ([],1)
=> 1
([(0,2),(0,3),(0,4),(1,6),(2,5),(3,5),(4,1),(5,6)],7)
=> ([(0,3),(2,1),(3,2)],4)
=> ([(0,3),(2,1),(3,2)],4)
=> ([(0,3),(2,1),(3,2)],4)
=> 1
([(0,1),(0,2),(0,3),(1,5),(2,4),(3,4),(3,5),(4,6),(5,6)],7)
=> ([(0,3),(1,4),(2,4),(3,1),(3,2)],5)
=> ([(0,3),(1,4),(2,4),(3,1),(3,2)],5)
=> ([],1)
=> 1
([(0,2),(0,3),(0,4),(2,6),(3,5),(4,5),(5,6),(6,1)],7)
=> ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
=> ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
=> ([(0,2),(2,1)],3)
=> 1
([(0,2),(0,3),(0,4),(1,5),(2,6),(3,6),(4,1),(4,6),(6,5)],7)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> ([],1)
=> 1
([(0,3),(0,4),(0,5),(1,6),(3,6),(4,6),(5,1),(6,2)],7)
=> ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
=> ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
=> ([(0,2),(2,1)],3)
=> 1
Description
The number of shortest chains of small intervals from the bottom to the top in a lattice.
An interval [a,b] in a lattice is small if b is a join of elements covering a.
Matching statistic: St001881
(load all 9 compositions to match this statistic)
(load all 9 compositions to match this statistic)
Values
([],1)
=> ([],1)
=> ([],1)
=> ([],1)
=> 1
([(0,1)],2)
=> ([(0,1)],2)
=> ([(0,1)],2)
=> ([(0,1)],2)
=> 1
([(0,2),(2,1)],3)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> ([],1)
=> 1
([(0,1),(0,2),(1,3),(2,3)],4)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> ([],1)
=> 1
([(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,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,1)],2)
=> 1
([(0,1),(0,2),(0,3),(1,4),(2,4),(3,4)],5)
=> ([(0,1)],2)
=> ([(0,1)],2)
=> ([(0,1)],2)
=> 1
([(0,2),(0,3),(1,4),(2,4),(3,1)],5)
=> ([(0,3),(1,4),(2,4),(3,1),(3,2)],5)
=> ([(0,3),(1,4),(2,4),(3,1),(3,2)],5)
=> ([],1)
=> 1
([(0,3),(1,4),(2,4),(3,1),(3,2)],5)
=> ([(0,1),(0,2),(0,3),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(4,7),(5,7),(6,7)],8)
=> ([(0,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,1)],2)
=> 1
([(0,4),(2,3),(3,1),(4,2)],5)
=> ([(0,1),(0,2),(0,3),(0,4),(1,8),(1,9),(1,10),(2,6),(2,7),(2,10),(3,5),(3,7),(3,9),(4,5),(4,6),(4,8),(5,11),(5,14),(6,11),(6,12),(7,11),(7,13),(8,12),(8,14),(9,13),(9,14),(10,12),(10,13),(11,15),(12,15),(13,15),(14,15)],16)
=> ([(0,1),(0,2),(0,3),(0,4),(1,8),(1,9),(1,10),(2,6),(2,7),(2,10),(3,5),(3,7),(3,9),(4,5),(4,6),(4,8),(5,11),(5,14),(6,11),(6,12),(7,11),(7,13),(8,12),(8,14),(9,13),(9,14),(10,12),(10,13),(11,15),(12,15),(13,15),(14,15)],16)
=> ([],1)
=> 1
([(0,2),(0,3),(2,4),(3,4),(4,1)],5)
=> ([(0,1),(0,2),(0,3),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(4,7),(5,7),(6,7)],8)
=> ([(0,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,1)],2)
=> 1
([(0,1),(0,2),(0,3),(0,4),(1,5),(2,5),(3,5),(4,5)],6)
=> ([(0,1)],2)
=> ([(0,1)],2)
=> ([(0,1)],2)
=> 1
([(0,2),(0,3),(0,4),(1,5),(2,5),(3,5),(4,1)],6)
=> ([(0,2),(2,1)],3)
=> ([(0,2),(2,1)],3)
=> ([(0,2),(2,1)],3)
=> 1
([(0,3),(0,4),(1,5),(2,5),(3,5),(4,1),(4,2)],6)
=> ([(0,2),(2,1)],3)
=> ([(0,2),(2,1)],3)
=> ([(0,2),(2,1)],3)
=> 1
([(0,4),(1,5),(2,5),(3,5),(4,1),(4,2),(4,3)],6)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> ([],1)
=> 1
([(0,4),(1,5),(2,5),(3,2),(4,1),(4,3)],6)
=> ([(0,3),(0,4),(1,6),(1,8),(2,6),(2,7),(3,5),(4,1),(4,2),(4,5),(5,7),(5,8),(6,9),(7,9),(8,9)],10)
=> ([(0,3),(0,4),(1,6),(1,8),(2,6),(2,7),(3,5),(4,1),(4,2),(4,5),(5,7),(5,8),(6,9),(7,9),(8,9)],10)
=> ([(0,2),(2,1)],3)
=> 1
([(0,4),(1,5),(2,5),(4,1),(4,2),(5,3)],6)
=> ([(0,1),(0,2),(0,3),(0,4),(1,8),(1,9),(1,10),(2,6),(2,7),(2,10),(3,5),(3,7),(3,9),(4,5),(4,6),(4,8),(5,11),(5,14),(6,11),(6,12),(7,11),(7,13),(8,12),(8,14),(9,13),(9,14),(10,12),(10,13),(11,15),(12,15),(13,15),(14,15)],16)
=> ([(0,1),(0,2),(0,3),(0,4),(1,8),(1,9),(1,10),(2,6),(2,7),(2,10),(3,5),(3,7),(3,9),(4,5),(4,6),(4,8),(5,11),(5,14),(6,11),(6,12),(7,11),(7,13),(8,12),(8,14),(9,13),(9,14),(10,12),(10,13),(11,15),(12,15),(13,15),(14,15)],16)
=> ([],1)
=> 1
([(0,2),(0,4),(1,5),(2,5),(3,1),(4,3)],6)
=> ([(0,3),(0,4),(1,5),(2,5),(3,6),(4,6),(6,1),(6,2)],7)
=> ([(0,3),(0,4),(1,5),(2,5),(3,6),(4,6),(6,1),(6,2)],7)
=> ([(0,1)],2)
=> 1
([(0,3),(1,5),(2,5),(3,4),(4,1),(4,2)],6)
=> ([(0,1),(0,2),(0,3),(0,4),(1,8),(1,9),(1,10),(2,6),(2,7),(2,10),(3,5),(3,7),(3,9),(4,5),(4,6),(4,8),(5,11),(5,14),(6,11),(6,12),(7,11),(7,13),(8,12),(8,14),(9,13),(9,14),(10,12),(10,13),(11,15),(12,15),(13,15),(14,15)],16)
=> ([(0,1),(0,2),(0,3),(0,4),(1,8),(1,9),(1,10),(2,6),(2,7),(2,10),(3,5),(3,7),(3,9),(4,5),(4,6),(4,8),(5,11),(5,14),(6,11),(6,12),(7,11),(7,13),(8,12),(8,14),(9,13),(9,14),(10,12),(10,13),(11,15),(12,15),(13,15),(14,15)],16)
=> ([],1)
=> 1
([(0,1),(0,2),(0,3),(1,5),(2,4),(3,4),(4,5)],6)
=> ([(0,2),(2,1)],3)
=> ([(0,2),(2,1)],3)
=> ([(0,2),(2,1)],3)
=> 1
([(0,2),(0,3),(2,5),(3,5),(4,1),(5,4)],6)
=> ([(0,1),(0,2),(0,3),(0,4),(1,8),(1,9),(1,10),(2,6),(2,7),(2,10),(3,5),(3,7),(3,9),(4,5),(4,6),(4,8),(5,11),(5,14),(6,11),(6,12),(7,11),(7,13),(8,12),(8,14),(9,13),(9,14),(10,12),(10,13),(11,15),(12,15),(13,15),(14,15)],16)
=> ([(0,1),(0,2),(0,3),(0,4),(1,8),(1,9),(1,10),(2,6),(2,7),(2,10),(3,5),(3,7),(3,9),(4,5),(4,6),(4,8),(5,11),(5,14),(6,11),(6,12),(7,11),(7,13),(8,12),(8,14),(9,13),(9,14),(10,12),(10,13),(11,15),(12,15),(13,15),(14,15)],16)
=> ([],1)
=> 1
([(0,2),(0,3),(0,4),(2,5),(3,5),(4,5),(5,1)],6)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> ([],1)
=> 1
([(0,3),(0,4),(1,5),(2,5),(3,2),(4,1)],6)
=> ([(0,3),(0,4),(1,5),(2,5),(3,6),(4,6),(6,1),(6,2)],7)
=> ([(0,3),(0,4),(1,5),(2,5),(3,6),(4,6),(6,1),(6,2)],7)
=> ([(0,1)],2)
=> 1
([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
=> ([(0,1),(0,2),(0,3),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(4,7),(5,7),(6,7)],8)
=> ([(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,1)],2)
=> 1
([(0,3),(0,4),(1,5),(3,5),(4,1),(5,2)],6)
=> ([(0,3),(0,4),(1,6),(1,8),(2,6),(2,7),(3,5),(4,1),(4,2),(4,5),(5,7),(5,8),(6,9),(7,9),(8,9)],10)
=> ([(0,3),(0,4),(1,6),(1,8),(2,6),(2,7),(3,5),(4,1),(4,2),(4,5),(5,7),(5,8),(6,9),(7,9),(8,9)],10)
=> ([(0,2),(2,1)],3)
=> 1
([(0,1),(0,2),(0,3),(0,4),(0,5),(1,6),(2,6),(3,6),(4,6),(5,6)],7)
=> ([(0,1)],2)
=> ([(0,1)],2)
=> ([(0,1)],2)
=> 1
([(0,2),(0,3),(0,4),(0,5),(1,6),(2,6),(3,6),(4,6),(5,1)],7)
=> ([(0,2),(2,1)],3)
=> ([(0,2),(2,1)],3)
=> ([(0,2),(2,1)],3)
=> 1
([(0,3),(0,4),(0,5),(1,6),(2,6),(3,6),(4,6),(5,1),(5,2)],7)
=> ([(0,1)],2)
=> ([(0,1)],2)
=> ([(0,1)],2)
=> 1
([(0,4),(0,5),(1,6),(2,6),(3,6),(4,6),(5,1),(5,2),(5,3)],7)
=> ([(0,2),(2,1)],3)
=> ([(0,2),(2,1)],3)
=> ([(0,2),(2,1)],3)
=> 1
([(0,5),(1,6),(2,6),(3,6),(4,6),(5,1),(5,2),(5,3),(5,4)],7)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> ([],1)
=> 1
([(0,5),(1,6),(2,6),(3,6),(4,3),(5,1),(5,2),(5,4)],7)
=> ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
=> ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
=> ([(0,2),(2,1)],3)
=> 1
([(0,4),(1,6),(2,5),(3,5),(4,1),(4,2),(4,3),(5,6)],7)
=> ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
=> ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
=> ([(0,2),(2,1)],3)
=> 1
([(0,5),(1,6),(2,6),(3,6),(5,1),(5,2),(5,3),(6,4)],7)
=> ([(0,1),(0,2),(0,3),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(4,7),(5,7),(6,7)],8)
=> ([(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,1)],2)
=> 1
([(0,3),(0,5),(1,6),(2,6),(3,6),(4,2),(5,1),(5,4)],7)
=> ([(0,3),(2,1),(3,2)],4)
=> ([(0,3),(2,1),(3,2)],4)
=> ([(0,3),(2,1),(3,2)],4)
=> 1
([(0,5),(1,6),(2,6),(3,6),(4,2),(4,3),(5,1),(5,4)],7)
=> ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
=> ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
=> ([(0,2),(2,1)],3)
=> 1
([(0,3),(0,4),(1,5),(2,5),(3,6),(4,1),(4,2),(5,6)],7)
=> ([(0,3),(0,4),(1,5),(2,5),(3,6),(4,6),(6,1),(6,2)],7)
=> ([(0,3),(0,4),(1,5),(2,5),(3,6),(4,6),(6,1),(6,2)],7)
=> ([(0,1)],2)
=> 1
([(0,4),(1,6),(2,5),(3,1),(3,5),(4,2),(4,3),(5,6)],7)
=> ([(0,1),(0,2),(0,3),(0,4),(1,8),(1,9),(1,10),(2,6),(2,7),(2,10),(3,5),(3,7),(3,9),(4,5),(4,6),(4,8),(5,11),(5,14),(6,11),(6,12),(7,11),(7,13),(8,12),(8,14),(9,13),(9,14),(10,12),(10,13),(11,15),(12,15),(13,15),(14,15)],16)
=> ([(0,1),(0,2),(0,3),(0,4),(1,8),(1,9),(1,10),(2,6),(2,7),(2,10),(3,5),(3,7),(3,9),(4,5),(4,6),(4,8),(5,11),(5,14),(6,11),(6,12),(7,11),(7,13),(8,12),(8,14),(9,13),(9,14),(10,12),(10,13),(11,15),(12,15),(13,15),(14,15)],16)
=> ([],1)
=> 1
([(0,2),(0,3),(0,5),(1,6),(2,6),(3,6),(4,1),(5,4)],7)
=> ([(0,2),(0,3),(2,4),(3,4),(4,1)],5)
=> ([(0,2),(0,3),(2,4),(3,4),(4,1)],5)
=> ([],1)
=> 1
([(0,3),(0,4),(1,6),(2,6),(3,6),(4,5),(5,1),(5,2)],7)
=> ([(0,3),(2,1),(3,2)],4)
=> ([(0,3),(2,1),(3,2)],4)
=> ([(0,3),(2,1),(3,2)],4)
=> 1
([(0,4),(1,6),(2,6),(3,6),(4,5),(5,1),(5,2),(5,3)],7)
=> ([(0,1),(0,2),(0,3),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(4,7),(5,7),(6,7)],8)
=> ([(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,1)],2)
=> 1
([(0,1),(0,2),(0,3),(0,4),(1,6),(2,6),(3,5),(4,5),(5,6)],7)
=> ([(0,1)],2)
=> ([(0,1)],2)
=> ([(0,1)],2)
=> 1
([(0,2),(0,3),(0,4),(1,5),(2,6),(3,6),(4,5),(6,1)],7)
=> ([(0,3),(2,1),(3,2)],4)
=> ([(0,3),(2,1),(3,2)],4)
=> ([(0,3),(2,1),(3,2)],4)
=> 1
([(0,3),(0,4),(1,5),(2,5),(3,6),(4,6),(6,1),(6,2)],7)
=> ([(0,1),(0,2),(0,3),(0,4),(1,8),(1,9),(1,10),(2,6),(2,7),(2,10),(3,5),(3,7),(3,9),(4,5),(4,6),(4,8),(5,11),(5,14),(6,11),(6,12),(7,11),(7,13),(8,12),(8,14),(9,13),(9,14),(10,12),(10,13),(11,15),(12,15),(13,15),(14,15)],16)
=> ([(0,1),(0,2),(0,3),(0,4),(1,8),(1,9),(1,10),(2,6),(2,7),(2,10),(3,5),(3,7),(3,9),(4,5),(4,6),(4,8),(5,11),(5,14),(6,11),(6,12),(7,11),(7,13),(8,12),(8,14),(9,13),(9,14),(10,12),(10,13),(11,15),(12,15),(13,15),(14,15)],16)
=> ([],1)
=> 1
([(0,1),(0,2),(0,3),(0,4),(1,6),(2,6),(3,6),(4,5),(6,5)],7)
=> ([(0,2),(2,1)],3)
=> ([(0,2),(2,1)],3)
=> ([(0,2),(2,1)],3)
=> 1
([(0,2),(0,3),(0,4),(2,6),(3,6),(4,6),(5,1),(6,5)],7)
=> ([(0,1),(0,2),(0,3),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(4,7),(5,7),(6,7)],8)
=> ([(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,1)],2)
=> 1
([(0,2),(0,3),(0,4),(0,5),(2,6),(3,6),(4,6),(5,6),(6,1)],7)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> ([],1)
=> 1
([(0,2),(0,3),(0,4),(1,6),(2,5),(3,5),(4,1),(5,6)],7)
=> ([(0,3),(2,1),(3,2)],4)
=> ([(0,3),(2,1),(3,2)],4)
=> ([(0,3),(2,1),(3,2)],4)
=> 1
([(0,1),(0,2),(0,3),(1,5),(2,4),(3,4),(3,5),(4,6),(5,6)],7)
=> ([(0,3),(1,4),(2,4),(3,1),(3,2)],5)
=> ([(0,3),(1,4),(2,4),(3,1),(3,2)],5)
=> ([],1)
=> 1
([(0,2),(0,3),(0,4),(2,6),(3,5),(4,5),(5,6),(6,1)],7)
=> ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
=> ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
=> ([(0,2),(2,1)],3)
=> 1
([(0,2),(0,3),(0,4),(1,5),(2,6),(3,6),(4,1),(4,6),(6,5)],7)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> ([],1)
=> 1
([(0,3),(0,4),(0,5),(1,6),(3,6),(4,6),(5,1),(6,2)],7)
=> ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
=> ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
=> ([(0,2),(2,1)],3)
=> 1
Description
The number of factors of a lattice as a Cartesian product of lattices.
Since the cardinality of a lattice is the product of the cardinalities of its factors, this statistic is one whenever the cardinality of the lattice is prime.
Matching statistic: St001677
(load all 9 compositions to match this statistic)
(load all 9 compositions to match this statistic)
Values
([],1)
=> ([],1)
=> ([],1)
=> ([],1)
=> 0 = 1 - 1
([(0,1)],2)
=> ([(0,1)],2)
=> ([(0,1)],2)
=> ([(0,1)],2)
=> 0 = 1 - 1
([(0,2),(2,1)],3)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> ([],1)
=> 0 = 1 - 1
([(0,1),(0,2),(1,3),(2,3)],4)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> ([],1)
=> 0 = 1 - 1
([(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,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,1)],2)
=> 0 = 1 - 1
([(0,1),(0,2),(0,3),(1,4),(2,4),(3,4)],5)
=> ([(0,1)],2)
=> ([(0,1)],2)
=> ([(0,1)],2)
=> 0 = 1 - 1
([(0,2),(0,3),(1,4),(2,4),(3,1)],5)
=> ([(0,3),(1,4),(2,4),(3,1),(3,2)],5)
=> ([(0,3),(1,4),(2,4),(3,1),(3,2)],5)
=> ([],1)
=> 0 = 1 - 1
([(0,3),(1,4),(2,4),(3,1),(3,2)],5)
=> ([(0,1),(0,2),(0,3),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(4,7),(5,7),(6,7)],8)
=> ([(0,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,1)],2)
=> 0 = 1 - 1
([(0,4),(2,3),(3,1),(4,2)],5)
=> ([(0,1),(0,2),(0,3),(0,4),(1,8),(1,9),(1,10),(2,6),(2,7),(2,10),(3,5),(3,7),(3,9),(4,5),(4,6),(4,8),(5,11),(5,14),(6,11),(6,12),(7,11),(7,13),(8,12),(8,14),(9,13),(9,14),(10,12),(10,13),(11,15),(12,15),(13,15),(14,15)],16)
=> ([(0,1),(0,2),(0,3),(0,4),(1,8),(1,9),(1,10),(2,6),(2,7),(2,10),(3,5),(3,7),(3,9),(4,5),(4,6),(4,8),(5,11),(5,14),(6,11),(6,12),(7,11),(7,13),(8,12),(8,14),(9,13),(9,14),(10,12),(10,13),(11,15),(12,15),(13,15),(14,15)],16)
=> ([],1)
=> 0 = 1 - 1
([(0,2),(0,3),(2,4),(3,4),(4,1)],5)
=> ([(0,1),(0,2),(0,3),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(4,7),(5,7),(6,7)],8)
=> ([(0,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,1)],2)
=> 0 = 1 - 1
([(0,1),(0,2),(0,3),(0,4),(1,5),(2,5),(3,5),(4,5)],6)
=> ([(0,1)],2)
=> ([(0,1)],2)
=> ([(0,1)],2)
=> 0 = 1 - 1
([(0,2),(0,3),(0,4),(1,5),(2,5),(3,5),(4,1)],6)
=> ([(0,2),(2,1)],3)
=> ([(0,2),(2,1)],3)
=> ([(0,2),(2,1)],3)
=> 0 = 1 - 1
([(0,3),(0,4),(1,5),(2,5),(3,5),(4,1),(4,2)],6)
=> ([(0,2),(2,1)],3)
=> ([(0,2),(2,1)],3)
=> ([(0,2),(2,1)],3)
=> 0 = 1 - 1
([(0,4),(1,5),(2,5),(3,5),(4,1),(4,2),(4,3)],6)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> ([],1)
=> 0 = 1 - 1
([(0,4),(1,5),(2,5),(3,2),(4,1),(4,3)],6)
=> ([(0,3),(0,4),(1,6),(1,8),(2,6),(2,7),(3,5),(4,1),(4,2),(4,5),(5,7),(5,8),(6,9),(7,9),(8,9)],10)
=> ([(0,3),(0,4),(1,6),(1,8),(2,6),(2,7),(3,5),(4,1),(4,2),(4,5),(5,7),(5,8),(6,9),(7,9),(8,9)],10)
=> ([(0,2),(2,1)],3)
=> 0 = 1 - 1
([(0,4),(1,5),(2,5),(4,1),(4,2),(5,3)],6)
=> ([(0,1),(0,2),(0,3),(0,4),(1,8),(1,9),(1,10),(2,6),(2,7),(2,10),(3,5),(3,7),(3,9),(4,5),(4,6),(4,8),(5,11),(5,14),(6,11),(6,12),(7,11),(7,13),(8,12),(8,14),(9,13),(9,14),(10,12),(10,13),(11,15),(12,15),(13,15),(14,15)],16)
=> ([(0,1),(0,2),(0,3),(0,4),(1,8),(1,9),(1,10),(2,6),(2,7),(2,10),(3,5),(3,7),(3,9),(4,5),(4,6),(4,8),(5,11),(5,14),(6,11),(6,12),(7,11),(7,13),(8,12),(8,14),(9,13),(9,14),(10,12),(10,13),(11,15),(12,15),(13,15),(14,15)],16)
=> ([],1)
=> 0 = 1 - 1
([(0,2),(0,4),(1,5),(2,5),(3,1),(4,3)],6)
=> ([(0,3),(0,4),(1,5),(2,5),(3,6),(4,6),(6,1),(6,2)],7)
=> ([(0,3),(0,4),(1,5),(2,5),(3,6),(4,6),(6,1),(6,2)],7)
=> ([(0,1)],2)
=> 0 = 1 - 1
([(0,3),(1,5),(2,5),(3,4),(4,1),(4,2)],6)
=> ([(0,1),(0,2),(0,3),(0,4),(1,8),(1,9),(1,10),(2,6),(2,7),(2,10),(3,5),(3,7),(3,9),(4,5),(4,6),(4,8),(5,11),(5,14),(6,11),(6,12),(7,11),(7,13),(8,12),(8,14),(9,13),(9,14),(10,12),(10,13),(11,15),(12,15),(13,15),(14,15)],16)
=> ([(0,1),(0,2),(0,3),(0,4),(1,8),(1,9),(1,10),(2,6),(2,7),(2,10),(3,5),(3,7),(3,9),(4,5),(4,6),(4,8),(5,11),(5,14),(6,11),(6,12),(7,11),(7,13),(8,12),(8,14),(9,13),(9,14),(10,12),(10,13),(11,15),(12,15),(13,15),(14,15)],16)
=> ([],1)
=> 0 = 1 - 1
([(0,1),(0,2),(0,3),(1,5),(2,4),(3,4),(4,5)],6)
=> ([(0,2),(2,1)],3)
=> ([(0,2),(2,1)],3)
=> ([(0,2),(2,1)],3)
=> 0 = 1 - 1
([(0,2),(0,3),(2,5),(3,5),(4,1),(5,4)],6)
=> ([(0,1),(0,2),(0,3),(0,4),(1,8),(1,9),(1,10),(2,6),(2,7),(2,10),(3,5),(3,7),(3,9),(4,5),(4,6),(4,8),(5,11),(5,14),(6,11),(6,12),(7,11),(7,13),(8,12),(8,14),(9,13),(9,14),(10,12),(10,13),(11,15),(12,15),(13,15),(14,15)],16)
=> ([(0,1),(0,2),(0,3),(0,4),(1,8),(1,9),(1,10),(2,6),(2,7),(2,10),(3,5),(3,7),(3,9),(4,5),(4,6),(4,8),(5,11),(5,14),(6,11),(6,12),(7,11),(7,13),(8,12),(8,14),(9,13),(9,14),(10,12),(10,13),(11,15),(12,15),(13,15),(14,15)],16)
=> ([],1)
=> 0 = 1 - 1
([(0,2),(0,3),(0,4),(2,5),(3,5),(4,5),(5,1)],6)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> ([],1)
=> 0 = 1 - 1
([(0,3),(0,4),(1,5),(2,5),(3,2),(4,1)],6)
=> ([(0,3),(0,4),(1,5),(2,5),(3,6),(4,6),(6,1),(6,2)],7)
=> ([(0,3),(0,4),(1,5),(2,5),(3,6),(4,6),(6,1),(6,2)],7)
=> ([(0,1)],2)
=> 0 = 1 - 1
([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
=> ([(0,1),(0,2),(0,3),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(4,7),(5,7),(6,7)],8)
=> ([(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,1)],2)
=> 0 = 1 - 1
([(0,3),(0,4),(1,5),(3,5),(4,1),(5,2)],6)
=> ([(0,3),(0,4),(1,6),(1,8),(2,6),(2,7),(3,5),(4,1),(4,2),(4,5),(5,7),(5,8),(6,9),(7,9),(8,9)],10)
=> ([(0,3),(0,4),(1,6),(1,8),(2,6),(2,7),(3,5),(4,1),(4,2),(4,5),(5,7),(5,8),(6,9),(7,9),(8,9)],10)
=> ([(0,2),(2,1)],3)
=> 0 = 1 - 1
([(0,1),(0,2),(0,3),(0,4),(0,5),(1,6),(2,6),(3,6),(4,6),(5,6)],7)
=> ([(0,1)],2)
=> ([(0,1)],2)
=> ([(0,1)],2)
=> 0 = 1 - 1
([(0,2),(0,3),(0,4),(0,5),(1,6),(2,6),(3,6),(4,6),(5,1)],7)
=> ([(0,2),(2,1)],3)
=> ([(0,2),(2,1)],3)
=> ([(0,2),(2,1)],3)
=> 0 = 1 - 1
([(0,3),(0,4),(0,5),(1,6),(2,6),(3,6),(4,6),(5,1),(5,2)],7)
=> ([(0,1)],2)
=> ([(0,1)],2)
=> ([(0,1)],2)
=> 0 = 1 - 1
([(0,4),(0,5),(1,6),(2,6),(3,6),(4,6),(5,1),(5,2),(5,3)],7)
=> ([(0,2),(2,1)],3)
=> ([(0,2),(2,1)],3)
=> ([(0,2),(2,1)],3)
=> 0 = 1 - 1
([(0,5),(1,6),(2,6),(3,6),(4,6),(5,1),(5,2),(5,3),(5,4)],7)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> ([],1)
=> 0 = 1 - 1
([(0,5),(1,6),(2,6),(3,6),(4,3),(5,1),(5,2),(5,4)],7)
=> ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
=> ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
=> ([(0,2),(2,1)],3)
=> 0 = 1 - 1
([(0,4),(1,6),(2,5),(3,5),(4,1),(4,2),(4,3),(5,6)],7)
=> ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
=> ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
=> ([(0,2),(2,1)],3)
=> 0 = 1 - 1
([(0,5),(1,6),(2,6),(3,6),(5,1),(5,2),(5,3),(6,4)],7)
=> ([(0,1),(0,2),(0,3),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(4,7),(5,7),(6,7)],8)
=> ([(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,1)],2)
=> 0 = 1 - 1
([(0,3),(0,5),(1,6),(2,6),(3,6),(4,2),(5,1),(5,4)],7)
=> ([(0,3),(2,1),(3,2)],4)
=> ([(0,3),(2,1),(3,2)],4)
=> ([(0,3),(2,1),(3,2)],4)
=> 0 = 1 - 1
([(0,5),(1,6),(2,6),(3,6),(4,2),(4,3),(5,1),(5,4)],7)
=> ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
=> ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
=> ([(0,2),(2,1)],3)
=> 0 = 1 - 1
([(0,3),(0,4),(1,5),(2,5),(3,6),(4,1),(4,2),(5,6)],7)
=> ([(0,3),(0,4),(1,5),(2,5),(3,6),(4,6),(6,1),(6,2)],7)
=> ([(0,3),(0,4),(1,5),(2,5),(3,6),(4,6),(6,1),(6,2)],7)
=> ([(0,1)],2)
=> 0 = 1 - 1
([(0,4),(1,6),(2,5),(3,1),(3,5),(4,2),(4,3),(5,6)],7)
=> ([(0,1),(0,2),(0,3),(0,4),(1,8),(1,9),(1,10),(2,6),(2,7),(2,10),(3,5),(3,7),(3,9),(4,5),(4,6),(4,8),(5,11),(5,14),(6,11),(6,12),(7,11),(7,13),(8,12),(8,14),(9,13),(9,14),(10,12),(10,13),(11,15),(12,15),(13,15),(14,15)],16)
=> ([(0,1),(0,2),(0,3),(0,4),(1,8),(1,9),(1,10),(2,6),(2,7),(2,10),(3,5),(3,7),(3,9),(4,5),(4,6),(4,8),(5,11),(5,14),(6,11),(6,12),(7,11),(7,13),(8,12),(8,14),(9,13),(9,14),(10,12),(10,13),(11,15),(12,15),(13,15),(14,15)],16)
=> ([],1)
=> 0 = 1 - 1
([(0,2),(0,3),(0,5),(1,6),(2,6),(3,6),(4,1),(5,4)],7)
=> ([(0,2),(0,3),(2,4),(3,4),(4,1)],5)
=> ([(0,2),(0,3),(2,4),(3,4),(4,1)],5)
=> ([],1)
=> 0 = 1 - 1
([(0,3),(0,4),(1,6),(2,6),(3,6),(4,5),(5,1),(5,2)],7)
=> ([(0,3),(2,1),(3,2)],4)
=> ([(0,3),(2,1),(3,2)],4)
=> ([(0,3),(2,1),(3,2)],4)
=> 0 = 1 - 1
([(0,4),(1,6),(2,6),(3,6),(4,5),(5,1),(5,2),(5,3)],7)
=> ([(0,1),(0,2),(0,3),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(4,7),(5,7),(6,7)],8)
=> ([(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,1)],2)
=> 0 = 1 - 1
([(0,1),(0,2),(0,3),(0,4),(1,6),(2,6),(3,5),(4,5),(5,6)],7)
=> ([(0,1)],2)
=> ([(0,1)],2)
=> ([(0,1)],2)
=> 0 = 1 - 1
([(0,2),(0,3),(0,4),(1,5),(2,6),(3,6),(4,5),(6,1)],7)
=> ([(0,3),(2,1),(3,2)],4)
=> ([(0,3),(2,1),(3,2)],4)
=> ([(0,3),(2,1),(3,2)],4)
=> 0 = 1 - 1
([(0,3),(0,4),(1,5),(2,5),(3,6),(4,6),(6,1),(6,2)],7)
=> ([(0,1),(0,2),(0,3),(0,4),(1,8),(1,9),(1,10),(2,6),(2,7),(2,10),(3,5),(3,7),(3,9),(4,5),(4,6),(4,8),(5,11),(5,14),(6,11),(6,12),(7,11),(7,13),(8,12),(8,14),(9,13),(9,14),(10,12),(10,13),(11,15),(12,15),(13,15),(14,15)],16)
=> ([(0,1),(0,2),(0,3),(0,4),(1,8),(1,9),(1,10),(2,6),(2,7),(2,10),(3,5),(3,7),(3,9),(4,5),(4,6),(4,8),(5,11),(5,14),(6,11),(6,12),(7,11),(7,13),(8,12),(8,14),(9,13),(9,14),(10,12),(10,13),(11,15),(12,15),(13,15),(14,15)],16)
=> ([],1)
=> 0 = 1 - 1
([(0,1),(0,2),(0,3),(0,4),(1,6),(2,6),(3,6),(4,5),(6,5)],7)
=> ([(0,2),(2,1)],3)
=> ([(0,2),(2,1)],3)
=> ([(0,2),(2,1)],3)
=> 0 = 1 - 1
([(0,2),(0,3),(0,4),(2,6),(3,6),(4,6),(5,1),(6,5)],7)
=> ([(0,1),(0,2),(0,3),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(4,7),(5,7),(6,7)],8)
=> ([(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,1)],2)
=> 0 = 1 - 1
([(0,2),(0,3),(0,4),(0,5),(2,6),(3,6),(4,6),(5,6),(6,1)],7)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> ([],1)
=> 0 = 1 - 1
([(0,2),(0,3),(0,4),(1,6),(2,5),(3,5),(4,1),(5,6)],7)
=> ([(0,3),(2,1),(3,2)],4)
=> ([(0,3),(2,1),(3,2)],4)
=> ([(0,3),(2,1),(3,2)],4)
=> 0 = 1 - 1
([(0,1),(0,2),(0,3),(1,5),(2,4),(3,4),(3,5),(4,6),(5,6)],7)
=> ([(0,3),(1,4),(2,4),(3,1),(3,2)],5)
=> ([(0,3),(1,4),(2,4),(3,1),(3,2)],5)
=> ([],1)
=> 0 = 1 - 1
([(0,2),(0,3),(0,4),(2,6),(3,5),(4,5),(5,6),(6,1)],7)
=> ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
=> ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
=> ([(0,2),(2,1)],3)
=> 0 = 1 - 1
([(0,2),(0,3),(0,4),(1,5),(2,6),(3,6),(4,1),(4,6),(6,5)],7)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> ([],1)
=> 0 = 1 - 1
([(0,3),(0,4),(0,5),(1,6),(3,6),(4,6),(5,1),(6,2)],7)
=> ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
=> ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
=> ([(0,2),(2,1)],3)
=> 0 = 1 - 1
Description
The number of non-degenerate subsets of a lattice whose meet is the bottom element.
A subset whose meet is the bottom element is non-degenerate, if it neither contains the bottom, nor the top element of the lattice.
Matching statistic: St001845
(load all 21 compositions to match this statistic)
(load all 21 compositions to match this statistic)
Values
([],1)
=> ([],1)
=> ([],1)
=> ([],1)
=> 0 = 1 - 1
([(0,1)],2)
=> ([(0,1)],2)
=> ([(0,1)],2)
=> ([(0,1)],2)
=> 0 = 1 - 1
([(0,2),(2,1)],3)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> ([],1)
=> 0 = 1 - 1
([(0,1),(0,2),(1,3),(2,3)],4)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> ([],1)
=> 0 = 1 - 1
([(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,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,1)],2)
=> 0 = 1 - 1
([(0,1),(0,2),(0,3),(1,4),(2,4),(3,4)],5)
=> ([(0,1)],2)
=> ([(0,1)],2)
=> ([(0,1)],2)
=> 0 = 1 - 1
([(0,2),(0,3),(1,4),(2,4),(3,1)],5)
=> ([(0,3),(1,4),(2,4),(3,1),(3,2)],5)
=> ([(0,3),(1,4),(2,4),(3,1),(3,2)],5)
=> ([],1)
=> 0 = 1 - 1
([(0,3),(1,4),(2,4),(3,1),(3,2)],5)
=> ([(0,1),(0,2),(0,3),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(4,7),(5,7),(6,7)],8)
=> ([(0,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,1)],2)
=> 0 = 1 - 1
([(0,4),(2,3),(3,1),(4,2)],5)
=> ([(0,1),(0,2),(0,3),(0,4),(1,8),(1,9),(1,10),(2,6),(2,7),(2,10),(3,5),(3,7),(3,9),(4,5),(4,6),(4,8),(5,11),(5,14),(6,11),(6,12),(7,11),(7,13),(8,12),(8,14),(9,13),(9,14),(10,12),(10,13),(11,15),(12,15),(13,15),(14,15)],16)
=> ([(0,1),(0,2),(0,3),(0,4),(1,8),(1,9),(1,10),(2,6),(2,7),(2,10),(3,5),(3,7),(3,9),(4,5),(4,6),(4,8),(5,11),(5,14),(6,11),(6,12),(7,11),(7,13),(8,12),(8,14),(9,13),(9,14),(10,12),(10,13),(11,15),(12,15),(13,15),(14,15)],16)
=> ([],1)
=> 0 = 1 - 1
([(0,2),(0,3),(2,4),(3,4),(4,1)],5)
=> ([(0,1),(0,2),(0,3),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(4,7),(5,7),(6,7)],8)
=> ([(0,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,1)],2)
=> 0 = 1 - 1
([(0,1),(0,2),(0,3),(0,4),(1,5),(2,5),(3,5),(4,5)],6)
=> ([(0,1)],2)
=> ([(0,1)],2)
=> ([(0,1)],2)
=> 0 = 1 - 1
([(0,2),(0,3),(0,4),(1,5),(2,5),(3,5),(4,1)],6)
=> ([(0,2),(2,1)],3)
=> ([(0,2),(2,1)],3)
=> ([(0,2),(2,1)],3)
=> 0 = 1 - 1
([(0,3),(0,4),(1,5),(2,5),(3,5),(4,1),(4,2)],6)
=> ([(0,2),(2,1)],3)
=> ([(0,2),(2,1)],3)
=> ([(0,2),(2,1)],3)
=> 0 = 1 - 1
([(0,4),(1,5),(2,5),(3,5),(4,1),(4,2),(4,3)],6)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> ([],1)
=> 0 = 1 - 1
([(0,4),(1,5),(2,5),(3,2),(4,1),(4,3)],6)
=> ([(0,3),(0,4),(1,6),(1,8),(2,6),(2,7),(3,5),(4,1),(4,2),(4,5),(5,7),(5,8),(6,9),(7,9),(8,9)],10)
=> ([(0,3),(0,4),(1,6),(1,8),(2,6),(2,7),(3,5),(4,1),(4,2),(4,5),(5,7),(5,8),(6,9),(7,9),(8,9)],10)
=> ([(0,2),(2,1)],3)
=> 0 = 1 - 1
([(0,4),(1,5),(2,5),(4,1),(4,2),(5,3)],6)
=> ([(0,1),(0,2),(0,3),(0,4),(1,8),(1,9),(1,10),(2,6),(2,7),(2,10),(3,5),(3,7),(3,9),(4,5),(4,6),(4,8),(5,11),(5,14),(6,11),(6,12),(7,11),(7,13),(8,12),(8,14),(9,13),(9,14),(10,12),(10,13),(11,15),(12,15),(13,15),(14,15)],16)
=> ([(0,1),(0,2),(0,3),(0,4),(1,8),(1,9),(1,10),(2,6),(2,7),(2,10),(3,5),(3,7),(3,9),(4,5),(4,6),(4,8),(5,11),(5,14),(6,11),(6,12),(7,11),(7,13),(8,12),(8,14),(9,13),(9,14),(10,12),(10,13),(11,15),(12,15),(13,15),(14,15)],16)
=> ([],1)
=> 0 = 1 - 1
([(0,2),(0,4),(1,5),(2,5),(3,1),(4,3)],6)
=> ([(0,3),(0,4),(1,5),(2,5),(3,6),(4,6),(6,1),(6,2)],7)
=> ([(0,3),(0,4),(1,5),(2,5),(3,6),(4,6),(6,1),(6,2)],7)
=> ([(0,1)],2)
=> 0 = 1 - 1
([(0,3),(1,5),(2,5),(3,4),(4,1),(4,2)],6)
=> ([(0,1),(0,2),(0,3),(0,4),(1,8),(1,9),(1,10),(2,6),(2,7),(2,10),(3,5),(3,7),(3,9),(4,5),(4,6),(4,8),(5,11),(5,14),(6,11),(6,12),(7,11),(7,13),(8,12),(8,14),(9,13),(9,14),(10,12),(10,13),(11,15),(12,15),(13,15),(14,15)],16)
=> ([(0,1),(0,2),(0,3),(0,4),(1,8),(1,9),(1,10),(2,6),(2,7),(2,10),(3,5),(3,7),(3,9),(4,5),(4,6),(4,8),(5,11),(5,14),(6,11),(6,12),(7,11),(7,13),(8,12),(8,14),(9,13),(9,14),(10,12),(10,13),(11,15),(12,15),(13,15),(14,15)],16)
=> ([],1)
=> 0 = 1 - 1
([(0,1),(0,2),(0,3),(1,5),(2,4),(3,4),(4,5)],6)
=> ([(0,2),(2,1)],3)
=> ([(0,2),(2,1)],3)
=> ([(0,2),(2,1)],3)
=> 0 = 1 - 1
([(0,2),(0,3),(2,5),(3,5),(4,1),(5,4)],6)
=> ([(0,1),(0,2),(0,3),(0,4),(1,8),(1,9),(1,10),(2,6),(2,7),(2,10),(3,5),(3,7),(3,9),(4,5),(4,6),(4,8),(5,11),(5,14),(6,11),(6,12),(7,11),(7,13),(8,12),(8,14),(9,13),(9,14),(10,12),(10,13),(11,15),(12,15),(13,15),(14,15)],16)
=> ([(0,1),(0,2),(0,3),(0,4),(1,8),(1,9),(1,10),(2,6),(2,7),(2,10),(3,5),(3,7),(3,9),(4,5),(4,6),(4,8),(5,11),(5,14),(6,11),(6,12),(7,11),(7,13),(8,12),(8,14),(9,13),(9,14),(10,12),(10,13),(11,15),(12,15),(13,15),(14,15)],16)
=> ([],1)
=> 0 = 1 - 1
([(0,2),(0,3),(0,4),(2,5),(3,5),(4,5),(5,1)],6)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> ([],1)
=> 0 = 1 - 1
([(0,3),(0,4),(1,5),(2,5),(3,2),(4,1)],6)
=> ([(0,3),(0,4),(1,5),(2,5),(3,6),(4,6),(6,1),(6,2)],7)
=> ([(0,3),(0,4),(1,5),(2,5),(3,6),(4,6),(6,1),(6,2)],7)
=> ([(0,1)],2)
=> 0 = 1 - 1
([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
=> ([(0,1),(0,2),(0,3),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(4,7),(5,7),(6,7)],8)
=> ([(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,1)],2)
=> 0 = 1 - 1
([(0,3),(0,4),(1,5),(3,5),(4,1),(5,2)],6)
=> ([(0,3),(0,4),(1,6),(1,8),(2,6),(2,7),(3,5),(4,1),(4,2),(4,5),(5,7),(5,8),(6,9),(7,9),(8,9)],10)
=> ([(0,3),(0,4),(1,6),(1,8),(2,6),(2,7),(3,5),(4,1),(4,2),(4,5),(5,7),(5,8),(6,9),(7,9),(8,9)],10)
=> ([(0,2),(2,1)],3)
=> 0 = 1 - 1
([(0,1),(0,2),(0,3),(0,4),(0,5),(1,6),(2,6),(3,6),(4,6),(5,6)],7)
=> ([(0,1)],2)
=> ([(0,1)],2)
=> ([(0,1)],2)
=> 0 = 1 - 1
([(0,2),(0,3),(0,4),(0,5),(1,6),(2,6),(3,6),(4,6),(5,1)],7)
=> ([(0,2),(2,1)],3)
=> ([(0,2),(2,1)],3)
=> ([(0,2),(2,1)],3)
=> 0 = 1 - 1
([(0,3),(0,4),(0,5),(1,6),(2,6),(3,6),(4,6),(5,1),(5,2)],7)
=> ([(0,1)],2)
=> ([(0,1)],2)
=> ([(0,1)],2)
=> 0 = 1 - 1
([(0,4),(0,5),(1,6),(2,6),(3,6),(4,6),(5,1),(5,2),(5,3)],7)
=> ([(0,2),(2,1)],3)
=> ([(0,2),(2,1)],3)
=> ([(0,2),(2,1)],3)
=> 0 = 1 - 1
([(0,5),(1,6),(2,6),(3,6),(4,6),(5,1),(5,2),(5,3),(5,4)],7)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> ([],1)
=> 0 = 1 - 1
([(0,5),(1,6),(2,6),(3,6),(4,3),(5,1),(5,2),(5,4)],7)
=> ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
=> ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
=> ([(0,2),(2,1)],3)
=> 0 = 1 - 1
([(0,4),(1,6),(2,5),(3,5),(4,1),(4,2),(4,3),(5,6)],7)
=> ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
=> ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
=> ([(0,2),(2,1)],3)
=> 0 = 1 - 1
([(0,5),(1,6),(2,6),(3,6),(5,1),(5,2),(5,3),(6,4)],7)
=> ([(0,1),(0,2),(0,3),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(4,7),(5,7),(6,7)],8)
=> ([(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,1)],2)
=> 0 = 1 - 1
([(0,3),(0,5),(1,6),(2,6),(3,6),(4,2),(5,1),(5,4)],7)
=> ([(0,3),(2,1),(3,2)],4)
=> ([(0,3),(2,1),(3,2)],4)
=> ([(0,3),(2,1),(3,2)],4)
=> 0 = 1 - 1
([(0,5),(1,6),(2,6),(3,6),(4,2),(4,3),(5,1),(5,4)],7)
=> ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
=> ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
=> ([(0,2),(2,1)],3)
=> 0 = 1 - 1
([(0,3),(0,4),(1,5),(2,5),(3,6),(4,1),(4,2),(5,6)],7)
=> ([(0,3),(0,4),(1,5),(2,5),(3,6),(4,6),(6,1),(6,2)],7)
=> ([(0,3),(0,4),(1,5),(2,5),(3,6),(4,6),(6,1),(6,2)],7)
=> ([(0,1)],2)
=> 0 = 1 - 1
([(0,4),(1,6),(2,5),(3,1),(3,5),(4,2),(4,3),(5,6)],7)
=> ([(0,1),(0,2),(0,3),(0,4),(1,8),(1,9),(1,10),(2,6),(2,7),(2,10),(3,5),(3,7),(3,9),(4,5),(4,6),(4,8),(5,11),(5,14),(6,11),(6,12),(7,11),(7,13),(8,12),(8,14),(9,13),(9,14),(10,12),(10,13),(11,15),(12,15),(13,15),(14,15)],16)
=> ([(0,1),(0,2),(0,3),(0,4),(1,8),(1,9),(1,10),(2,6),(2,7),(2,10),(3,5),(3,7),(3,9),(4,5),(4,6),(4,8),(5,11),(5,14),(6,11),(6,12),(7,11),(7,13),(8,12),(8,14),(9,13),(9,14),(10,12),(10,13),(11,15),(12,15),(13,15),(14,15)],16)
=> ([],1)
=> 0 = 1 - 1
([(0,2),(0,3),(0,5),(1,6),(2,6),(3,6),(4,1),(5,4)],7)
=> ([(0,2),(0,3),(2,4),(3,4),(4,1)],5)
=> ([(0,2),(0,3),(2,4),(3,4),(4,1)],5)
=> ([],1)
=> 0 = 1 - 1
([(0,3),(0,4),(1,6),(2,6),(3,6),(4,5),(5,1),(5,2)],7)
=> ([(0,3),(2,1),(3,2)],4)
=> ([(0,3),(2,1),(3,2)],4)
=> ([(0,3),(2,1),(3,2)],4)
=> 0 = 1 - 1
([(0,4),(1,6),(2,6),(3,6),(4,5),(5,1),(5,2),(5,3)],7)
=> ([(0,1),(0,2),(0,3),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(4,7),(5,7),(6,7)],8)
=> ([(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,1)],2)
=> 0 = 1 - 1
([(0,1),(0,2),(0,3),(0,4),(1,6),(2,6),(3,5),(4,5),(5,6)],7)
=> ([(0,1)],2)
=> ([(0,1)],2)
=> ([(0,1)],2)
=> 0 = 1 - 1
([(0,2),(0,3),(0,4),(1,5),(2,6),(3,6),(4,5),(6,1)],7)
=> ([(0,3),(2,1),(3,2)],4)
=> ([(0,3),(2,1),(3,2)],4)
=> ([(0,3),(2,1),(3,2)],4)
=> 0 = 1 - 1
([(0,3),(0,4),(1,5),(2,5),(3,6),(4,6),(6,1),(6,2)],7)
=> ([(0,1),(0,2),(0,3),(0,4),(1,8),(1,9),(1,10),(2,6),(2,7),(2,10),(3,5),(3,7),(3,9),(4,5),(4,6),(4,8),(5,11),(5,14),(6,11),(6,12),(7,11),(7,13),(8,12),(8,14),(9,13),(9,14),(10,12),(10,13),(11,15),(12,15),(13,15),(14,15)],16)
=> ([(0,1),(0,2),(0,3),(0,4),(1,8),(1,9),(1,10),(2,6),(2,7),(2,10),(3,5),(3,7),(3,9),(4,5),(4,6),(4,8),(5,11),(5,14),(6,11),(6,12),(7,11),(7,13),(8,12),(8,14),(9,13),(9,14),(10,12),(10,13),(11,15),(12,15),(13,15),(14,15)],16)
=> ([],1)
=> 0 = 1 - 1
([(0,1),(0,2),(0,3),(0,4),(1,6),(2,6),(3,6),(4,5),(6,5)],7)
=> ([(0,2),(2,1)],3)
=> ([(0,2),(2,1)],3)
=> ([(0,2),(2,1)],3)
=> 0 = 1 - 1
([(0,2),(0,3),(0,4),(2,6),(3,6),(4,6),(5,1),(6,5)],7)
=> ([(0,1),(0,2),(0,3),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(4,7),(5,7),(6,7)],8)
=> ([(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,1)],2)
=> 0 = 1 - 1
([(0,2),(0,3),(0,4),(0,5),(2,6),(3,6),(4,6),(5,6),(6,1)],7)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> ([],1)
=> 0 = 1 - 1
([(0,2),(0,3),(0,4),(1,6),(2,5),(3,5),(4,1),(5,6)],7)
=> ([(0,3),(2,1),(3,2)],4)
=> ([(0,3),(2,1),(3,2)],4)
=> ([(0,3),(2,1),(3,2)],4)
=> 0 = 1 - 1
([(0,1),(0,2),(0,3),(1,5),(2,4),(3,4),(3,5),(4,6),(5,6)],7)
=> ([(0,3),(1,4),(2,4),(3,1),(3,2)],5)
=> ([(0,3),(1,4),(2,4),(3,1),(3,2)],5)
=> ([],1)
=> 0 = 1 - 1
([(0,2),(0,3),(0,4),(2,6),(3,5),(4,5),(5,6),(6,1)],7)
=> ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
=> ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
=> ([(0,2),(2,1)],3)
=> 0 = 1 - 1
([(0,2),(0,3),(0,4),(1,5),(2,6),(3,6),(4,1),(4,6),(6,5)],7)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> ([],1)
=> 0 = 1 - 1
([(0,3),(0,4),(0,5),(1,6),(3,6),(4,6),(5,1),(6,2)],7)
=> ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
=> ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
=> ([(0,2),(2,1)],3)
=> 0 = 1 - 1
Description
The number of join irreducibles minus the rank of a lattice.
A lattice is join-extremal, if this statistic is 0.
Matching statistic: St001651
(load all 4 compositions to match this statistic)
(load all 4 compositions to match this statistic)
Values
([],1)
=> ([],1)
=> ([],1)
=> ? = 1 - 1
([(0,1)],2)
=> ([(0,1)],2)
=> ([(0,1)],2)
=> 0 = 1 - 1
([(0,2),(2,1)],3)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> 0 = 1 - 1
([(0,1),(0,2),(1,3),(2,3)],4)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> 0 = 1 - 1
([(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,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 = 1 - 1
([(0,1),(0,2),(0,3),(1,4),(2,4),(3,4)],5)
=> ([(0,1)],2)
=> ([(0,1)],2)
=> 0 = 1 - 1
([(0,2),(0,3),(1,4),(2,4),(3,1)],5)
=> ([(0,3),(1,4),(2,4),(3,1),(3,2)],5)
=> ([(0,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 = 1 - 1
([(0,3),(1,4),(2,4),(3,1),(3,2)],5)
=> ([(0,1),(0,2),(0,3),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(4,7),(5,7),(6,7)],8)
=> ([(0,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 = 1 - 1
([(0,4),(2,3),(3,1),(4,2)],5)
=> ([(0,1),(0,2),(0,3),(0,4),(1,8),(1,9),(1,10),(2,6),(2,7),(2,10),(3,5),(3,7),(3,9),(4,5),(4,6),(4,8),(5,11),(5,14),(6,11),(6,12),(7,11),(7,13),(8,12),(8,14),(9,13),(9,14),(10,12),(10,13),(11,15),(12,15),(13,15),(14,15)],16)
=> ([(0,1),(0,2),(0,3),(0,4),(1,8),(1,9),(1,10),(2,6),(2,7),(2,10),(3,5),(3,7),(3,9),(4,5),(4,6),(4,8),(5,11),(5,14),(6,11),(6,12),(7,11),(7,13),(8,12),(8,14),(9,13),(9,14),(10,12),(10,13),(11,15),(12,15),(13,15),(14,15)],16)
=> 0 = 1 - 1
([(0,2),(0,3),(2,4),(3,4),(4,1)],5)
=> ([(0,1),(0,2),(0,3),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(4,7),(5,7),(6,7)],8)
=> ([(0,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 = 1 - 1
([(0,1),(0,2),(0,3),(0,4),(1,5),(2,5),(3,5),(4,5)],6)
=> ([(0,1)],2)
=> ([(0,1)],2)
=> 0 = 1 - 1
([(0,2),(0,3),(0,4),(1,5),(2,5),(3,5),(4,1)],6)
=> ([(0,2),(2,1)],3)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> 0 = 1 - 1
([(0,3),(0,4),(1,5),(2,5),(3,5),(4,1),(4,2)],6)
=> ([(0,2),(2,1)],3)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> 0 = 1 - 1
([(0,4),(1,5),(2,5),(3,5),(4,1),(4,2),(4,3)],6)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> 0 = 1 - 1
([(0,4),(1,5),(2,5),(3,2),(4,1),(4,3)],6)
=> ([(0,3),(0,4),(1,6),(1,8),(2,6),(2,7),(3,5),(4,1),(4,2),(4,5),(5,7),(5,8),(6,9),(7,9),(8,9)],10)
=> ([(0,1),(0,2),(0,3),(0,4),(1,8),(1,9),(1,10),(2,6),(2,7),(2,10),(3,5),(3,7),(3,9),(4,5),(4,6),(4,8),(5,11),(5,14),(6,11),(6,12),(7,11),(7,13),(8,12),(8,14),(9,13),(9,14),(10,12),(10,13),(11,15),(12,15),(13,15),(14,15)],16)
=> 0 = 1 - 1
([(0,4),(1,5),(2,5),(4,1),(4,2),(5,3)],6)
=> ([(0,1),(0,2),(0,3),(0,4),(1,8),(1,9),(1,10),(2,6),(2,7),(2,10),(3,5),(3,7),(3,9),(4,5),(4,6),(4,8),(5,11),(5,14),(6,11),(6,12),(7,11),(7,13),(8,12),(8,14),(9,13),(9,14),(10,12),(10,13),(11,15),(12,15),(13,15),(14,15)],16)
=> ([(0,1),(0,2),(0,3),(0,4),(1,8),(1,9),(1,10),(2,6),(2,7),(2,10),(3,5),(3,7),(3,9),(4,5),(4,6),(4,8),(5,11),(5,14),(6,11),(6,12),(7,11),(7,13),(8,12),(8,14),(9,13),(9,14),(10,12),(10,13),(11,15),(12,15),(13,15),(14,15)],16)
=> 0 = 1 - 1
([(0,2),(0,4),(1,5),(2,5),(3,1),(4,3)],6)
=> ([(0,3),(0,4),(1,5),(2,5),(3,6),(4,6),(6,1),(6,2)],7)
=> ([(0,1),(0,2),(0,3),(0,4),(1,8),(1,9),(1,10),(2,6),(2,7),(2,10),(3,5),(3,7),(3,9),(4,5),(4,6),(4,8),(5,11),(5,14),(6,11),(6,12),(7,11),(7,13),(8,12),(8,14),(9,13),(9,14),(10,12),(10,13),(11,15),(12,15),(13,15),(14,15)],16)
=> 0 = 1 - 1
([(0,3),(1,5),(2,5),(3,4),(4,1),(4,2)],6)
=> ([(0,1),(0,2),(0,3),(0,4),(1,8),(1,9),(1,10),(2,6),(2,7),(2,10),(3,5),(3,7),(3,9),(4,5),(4,6),(4,8),(5,11),(5,14),(6,11),(6,12),(7,11),(7,13),(8,12),(8,14),(9,13),(9,14),(10,12),(10,13),(11,15),(12,15),(13,15),(14,15)],16)
=> ([(0,1),(0,2),(0,3),(0,4),(1,8),(1,9),(1,10),(2,6),(2,7),(2,10),(3,5),(3,7),(3,9),(4,5),(4,6),(4,8),(5,11),(5,14),(6,11),(6,12),(7,11),(7,13),(8,12),(8,14),(9,13),(9,14),(10,12),(10,13),(11,15),(12,15),(13,15),(14,15)],16)
=> 0 = 1 - 1
([(0,1),(0,2),(0,3),(1,5),(2,4),(3,4),(4,5)],6)
=> ([(0,2),(2,1)],3)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> 0 = 1 - 1
([(0,2),(0,3),(2,5),(3,5),(4,1),(5,4)],6)
=> ([(0,1),(0,2),(0,3),(0,4),(1,8),(1,9),(1,10),(2,6),(2,7),(2,10),(3,5),(3,7),(3,9),(4,5),(4,6),(4,8),(5,11),(5,14),(6,11),(6,12),(7,11),(7,13),(8,12),(8,14),(9,13),(9,14),(10,12),(10,13),(11,15),(12,15),(13,15),(14,15)],16)
=> ([(0,1),(0,2),(0,3),(0,4),(1,8),(1,9),(1,10),(2,6),(2,7),(2,10),(3,5),(3,7),(3,9),(4,5),(4,6),(4,8),(5,11),(5,14),(6,11),(6,12),(7,11),(7,13),(8,12),(8,14),(9,13),(9,14),(10,12),(10,13),(11,15),(12,15),(13,15),(14,15)],16)
=> 0 = 1 - 1
([(0,2),(0,3),(0,4),(2,5),(3,5),(4,5),(5,1)],6)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> 0 = 1 - 1
([(0,3),(0,4),(1,5),(2,5),(3,2),(4,1)],6)
=> ([(0,3),(0,4),(1,5),(2,5),(3,6),(4,6),(6,1),(6,2)],7)
=> ([(0,1),(0,2),(0,3),(0,4),(1,8),(1,9),(1,10),(2,6),(2,7),(2,10),(3,5),(3,7),(3,9),(4,5),(4,6),(4,8),(5,11),(5,14),(6,11),(6,12),(7,11),(7,13),(8,12),(8,14),(9,13),(9,14),(10,12),(10,13),(11,15),(12,15),(13,15),(14,15)],16)
=> 0 = 1 - 1
([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
=> ([(0,1),(0,2),(0,3),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(4,7),(5,7),(6,7)],8)
=> ([(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 = 1 - 1
([(0,3),(0,4),(1,5),(3,5),(4,1),(5,2)],6)
=> ([(0,3),(0,4),(1,6),(1,8),(2,6),(2,7),(3,5),(4,1),(4,2),(4,5),(5,7),(5,8),(6,9),(7,9),(8,9)],10)
=> ([(0,1),(0,2),(0,3),(0,4),(1,8),(1,9),(1,10),(2,6),(2,7),(2,10),(3,5),(3,7),(3,9),(4,5),(4,6),(4,8),(5,11),(5,14),(6,11),(6,12),(7,11),(7,13),(8,12),(8,14),(9,13),(9,14),(10,12),(10,13),(11,15),(12,15),(13,15),(14,15)],16)
=> 0 = 1 - 1
([(0,1),(0,2),(0,3),(0,4),(0,5),(1,6),(2,6),(3,6),(4,6),(5,6)],7)
=> ([(0,1)],2)
=> ([(0,1)],2)
=> 0 = 1 - 1
([(0,2),(0,3),(0,4),(0,5),(1,6),(2,6),(3,6),(4,6),(5,1)],7)
=> ([(0,2),(2,1)],3)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> 0 = 1 - 1
([(0,3),(0,4),(0,5),(1,6),(2,6),(3,6),(4,6),(5,1),(5,2)],7)
=> ([(0,1)],2)
=> ([(0,1)],2)
=> 0 = 1 - 1
([(0,4),(0,5),(1,6),(2,6),(3,6),(4,6),(5,1),(5,2),(5,3)],7)
=> ([(0,2),(2,1)],3)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> 0 = 1 - 1
([(0,5),(1,6),(2,6),(3,6),(4,6),(5,1),(5,2),(5,3),(5,4)],7)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> 0 = 1 - 1
([(0,5),(1,6),(2,6),(3,6),(4,3),(5,1),(5,2),(5,4)],7)
=> ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
=> ([(0,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 = 1 - 1
([(0,4),(1,6),(2,5),(3,5),(4,1),(4,2),(4,3),(5,6)],7)
=> ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
=> ([(0,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 = 1 - 1
([(0,5),(1,6),(2,6),(3,6),(5,1),(5,2),(5,3),(6,4)],7)
=> ([(0,1),(0,2),(0,3),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(4,7),(5,7),(6,7)],8)
=> ([(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 = 1 - 1
([(0,3),(0,5),(1,6),(2,6),(3,6),(4,2),(5,1),(5,4)],7)
=> ([(0,3),(2,1),(3,2)],4)
=> ([(0,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 = 1 - 1
([(0,5),(1,6),(2,6),(3,6),(4,2),(4,3),(5,1),(5,4)],7)
=> ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
=> ([(0,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 = 1 - 1
([(0,3),(0,4),(1,5),(2,5),(3,6),(4,1),(4,2),(5,6)],7)
=> ([(0,3),(0,4),(1,5),(2,5),(3,6),(4,6),(6,1),(6,2)],7)
=> ([(0,1),(0,2),(0,3),(0,4),(1,8),(1,9),(1,10),(2,6),(2,7),(2,10),(3,5),(3,7),(3,9),(4,5),(4,6),(4,8),(5,11),(5,14),(6,11),(6,12),(7,11),(7,13),(8,12),(8,14),(9,13),(9,14),(10,12),(10,13),(11,15),(12,15),(13,15),(14,15)],16)
=> 0 = 1 - 1
([(0,4),(1,6),(2,5),(3,1),(3,5),(4,2),(4,3),(5,6)],7)
=> ([(0,1),(0,2),(0,3),(0,4),(1,8),(1,9),(1,10),(2,6),(2,7),(2,10),(3,5),(3,7),(3,9),(4,5),(4,6),(4,8),(5,11),(5,14),(6,11),(6,12),(7,11),(7,13),(8,12),(8,14),(9,13),(9,14),(10,12),(10,13),(11,15),(12,15),(13,15),(14,15)],16)
=> ([(0,1),(0,2),(0,3),(0,4),(1,8),(1,9),(1,10),(2,6),(2,7),(2,10),(3,5),(3,7),(3,9),(4,5),(4,6),(4,8),(5,11),(5,14),(6,11),(6,12),(7,11),(7,13),(8,12),(8,14),(9,13),(9,14),(10,12),(10,13),(11,15),(12,15),(13,15),(14,15)],16)
=> 0 = 1 - 1
([(0,2),(0,3),(0,5),(1,6),(2,6),(3,6),(4,1),(5,4)],7)
=> ([(0,2),(0,3),(2,4),(3,4),(4,1)],5)
=> ([(0,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 = 1 - 1
([(0,3),(0,4),(1,6),(2,6),(3,6),(4,5),(5,1),(5,2)],7)
=> ([(0,3),(2,1),(3,2)],4)
=> ([(0,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 = 1 - 1
([(0,4),(1,6),(2,6),(3,6),(4,5),(5,1),(5,2),(5,3)],7)
=> ([(0,1),(0,2),(0,3),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(4,7),(5,7),(6,7)],8)
=> ([(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 = 1 - 1
([(0,1),(0,2),(0,3),(0,4),(1,6),(2,6),(3,5),(4,5),(5,6)],7)
=> ([(0,1)],2)
=> ([(0,1)],2)
=> 0 = 1 - 1
([(0,2),(0,3),(0,4),(1,5),(2,6),(3,6),(4,5),(6,1)],7)
=> ([(0,3),(2,1),(3,2)],4)
=> ([(0,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 = 1 - 1
([(0,3),(0,4),(1,5),(2,5),(3,6),(4,6),(6,1),(6,2)],7)
=> ([(0,1),(0,2),(0,3),(0,4),(1,8),(1,9),(1,10),(2,6),(2,7),(2,10),(3,5),(3,7),(3,9),(4,5),(4,6),(4,8),(5,11),(5,14),(6,11),(6,12),(7,11),(7,13),(8,12),(8,14),(9,13),(9,14),(10,12),(10,13),(11,15),(12,15),(13,15),(14,15)],16)
=> ([(0,1),(0,2),(0,3),(0,4),(1,8),(1,9),(1,10),(2,6),(2,7),(2,10),(3,5),(3,7),(3,9),(4,5),(4,6),(4,8),(5,11),(5,14),(6,11),(6,12),(7,11),(7,13),(8,12),(8,14),(9,13),(9,14),(10,12),(10,13),(11,15),(12,15),(13,15),(14,15)],16)
=> 0 = 1 - 1
([(0,1),(0,2),(0,3),(0,4),(1,6),(2,6),(3,6),(4,5),(6,5)],7)
=> ([(0,2),(2,1)],3)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> 0 = 1 - 1
([(0,2),(0,3),(0,4),(2,6),(3,6),(4,6),(5,1),(6,5)],7)
=> ([(0,1),(0,2),(0,3),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(4,7),(5,7),(6,7)],8)
=> ([(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 = 1 - 1
([(0,2),(0,3),(0,4),(0,5),(2,6),(3,6),(4,6),(5,6),(6,1)],7)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> 0 = 1 - 1
([(0,2),(0,3),(0,4),(1,6),(2,5),(3,5),(4,1),(5,6)],7)
=> ([(0,3),(2,1),(3,2)],4)
=> ([(0,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 = 1 - 1
([(0,1),(0,2),(0,3),(1,5),(2,4),(3,4),(3,5),(4,6),(5,6)],7)
=> ([(0,3),(1,4),(2,4),(3,1),(3,2)],5)
=> ([(0,1),(0,2),(0,3),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(4,7),(5,7),(6,7)],8)
=> 0 = 1 - 1
([(0,2),(0,3),(0,4),(2,6),(3,5),(4,5),(5,6),(6,1)],7)
=> ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
=> ([(0,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 = 1 - 1
([(0,2),(0,3),(0,4),(1,5),(2,6),(3,6),(4,1),(4,6),(6,5)],7)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> 0 = 1 - 1
([(0,3),(0,4),(0,5),(1,6),(3,6),(4,6),(5,1),(6,2)],7)
=> ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
=> ([(0,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 = 1 - 1
([(0,3),(0,4),(0,5),(1,6),(2,6),(3,6),(4,2),(5,1)],7)
=> ([(0,2),(0,3),(2,4),(3,4),(4,1)],5)
=> ([(0,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 = 1 - 1
Description
The Frankl number of a lattice.
For a lattice L on at least two elements, this is
max
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: St001820
(load all 4 compositions to match this statistic)
(load all 4 compositions to match this statistic)
Values
([],1)
=> ([],1)
=> ([],1)
=> 1
([(0,1)],2)
=> ([(0,1)],2)
=> ([(0,1)],2)
=> 1
([(0,2),(2,1)],3)
=> ([(0,2),(2,1)],3)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> 1
([(0,1),(0,2),(1,3),(2,3)],4)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> 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)
=> 1
([(0,1),(0,2),(0,3),(1,4),(2,4),(3,4)],5)
=> ([(0,1),(0,2),(0,3),(1,4),(2,4),(3,4)],5)
=> ([(0,1)],2)
=> 1
([(0,2),(0,3),(1,4),(2,4),(3,1)],5)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> 1
([(0,3),(1,4),(2,4),(3,1),(3,2)],5)
=> ([(0,3),(1,4),(2,4),(3,1),(3,2)],5)
=> ([(0,1),(0,2),(0,3),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(4,7),(5,7),(6,7)],8)
=> 1
([(0,4),(2,3),(3,1),(4,2)],5)
=> ([(0,4),(2,3),(3,1),(4,2)],5)
=> ([(0,1),(0,2),(0,3),(0,4),(1,8),(1,9),(1,10),(2,6),(2,7),(2,10),(3,5),(3,7),(3,9),(4,5),(4,6),(4,8),(5,11),(5,14),(6,11),(6,12),(7,11),(7,13),(8,12),(8,14),(9,13),(9,14),(10,12),(10,13),(11,15),(12,15),(13,15),(14,15)],16)
=> ? = 1
([(0,2),(0,3),(2,4),(3,4),(4,1)],5)
=> ([(0,2),(0,3),(2,4),(3,4),(4,1)],5)
=> ([(0,1),(0,2),(0,3),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(4,7),(5,7),(6,7)],8)
=> 1
([(0,1),(0,2),(0,3),(0,4),(1,5),(2,5),(3,5),(4,5)],6)
=> ([(0,1),(0,2),(0,3),(0,4),(1,5),(2,5),(3,5),(4,5)],6)
=> ([(0,1)],2)
=> 1
([(0,2),(0,3),(0,4),(1,5),(2,5),(3,5),(4,1)],6)
=> ([(0,1),(0,2),(0,3),(1,4),(2,4),(3,4)],5)
=> ([(0,1)],2)
=> 1
([(0,3),(0,4),(1,5),(2,5),(3,5),(4,1),(4,2)],6)
=> ([(0,1)],2)
=> ([(0,1)],2)
=> 1
([(0,4),(1,5),(2,5),(3,5),(4,1),(4,2),(4,3)],6)
=> ([(0,4),(1,5),(2,5),(3,5),(4,1),(4,2),(4,3)],6)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> 1
([(0,4),(1,5),(2,5),(3,2),(4,1),(4,3)],6)
=> ([(0,3),(1,4),(2,4),(3,1),(3,2)],5)
=> ([(0,1),(0,2),(0,3),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(4,7),(5,7),(6,7)],8)
=> 1
([(0,4),(1,5),(2,5),(4,1),(4,2),(5,3)],6)
=> ([(0,4),(1,5),(2,5),(4,1),(4,2),(5,3)],6)
=> ([(0,1),(0,2),(0,3),(0,4),(1,8),(1,9),(1,10),(2,6),(2,7),(2,10),(3,5),(3,7),(3,9),(4,5),(4,6),(4,8),(5,11),(5,14),(6,11),(6,12),(7,11),(7,13),(8,12),(8,14),(9,13),(9,14),(10,12),(10,13),(11,15),(12,15),(13,15),(14,15)],16)
=> ? = 1
([(0,2),(0,4),(1,5),(2,5),(3,1),(4,3)],6)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> 1
([(0,3),(1,5),(2,5),(3,4),(4,1),(4,2)],6)
=> ([(0,3),(1,5),(2,5),(3,4),(4,1),(4,2)],6)
=> ([(0,1),(0,2),(0,3),(0,4),(1,8),(1,9),(1,10),(2,6),(2,7),(2,10),(3,5),(3,7),(3,9),(4,5),(4,6),(4,8),(5,11),(5,14),(6,11),(6,12),(7,11),(7,13),(8,12),(8,14),(9,13),(9,14),(10,12),(10,13),(11,15),(12,15),(13,15),(14,15)],16)
=> ? = 1
([(0,1),(0,2),(0,3),(1,5),(2,4),(3,4),(4,5)],6)
=> ([(0,1)],2)
=> ([(0,1)],2)
=> 1
([(0,2),(0,3),(2,5),(3,5),(4,1),(5,4)],6)
=> ([(0,2),(0,3),(2,5),(3,5),(4,1),(5,4)],6)
=> ([(0,1),(0,2),(0,3),(0,4),(1,8),(1,9),(1,10),(2,6),(2,7),(2,10),(3,5),(3,7),(3,9),(4,5),(4,6),(4,8),(5,11),(5,14),(6,11),(6,12),(7,11),(7,13),(8,12),(8,14),(9,13),(9,14),(10,12),(10,13),(11,15),(12,15),(13,15),(14,15)],16)
=> ? = 1
([(0,2),(0,3),(0,4),(2,5),(3,5),(4,5),(5,1)],6)
=> ([(0,2),(0,3),(0,4),(2,5),(3,5),(4,5),(5,1)],6)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> 1
([(0,3),(0,4),(1,5),(2,5),(3,2),(4,1)],6)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> 1
([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
=> ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
=> ([(0,1),(0,2),(0,3),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(4,7),(5,7),(6,7)],8)
=> 1
([(0,3),(0,4),(1,5),(3,5),(4,1),(5,2)],6)
=> ([(0,2),(0,3),(2,4),(3,4),(4,1)],5)
=> ([(0,1),(0,2),(0,3),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(4,7),(5,7),(6,7)],8)
=> 1
([(0,1),(0,2),(0,3),(0,4),(0,5),(1,6),(2,6),(3,6),(4,6),(5,6)],7)
=> ([(0,1),(0,2),(0,3),(0,4),(0,5),(1,6),(2,6),(3,6),(4,6),(5,6)],7)
=> ([(0,1)],2)
=> 1
([(0,2),(0,3),(0,4),(0,5),(1,6),(2,6),(3,6),(4,6),(5,1)],7)
=> ([(0,1),(0,2),(0,3),(0,4),(1,5),(2,5),(3,5),(4,5)],6)
=> ([(0,1)],2)
=> 1
([(0,3),(0,4),(0,5),(1,6),(2,6),(3,6),(4,6),(5,1),(5,2)],7)
=> ([],1)
=> ([],1)
=> 1
([(0,4),(0,5),(1,6),(2,6),(3,6),(4,6),(5,1),(5,2),(5,3)],7)
=> ([(0,1)],2)
=> ([(0,1)],2)
=> 1
([(0,5),(1,6),(2,6),(3,6),(4,6),(5,1),(5,2),(5,3),(5,4)],7)
=> ([(0,5),(1,6),(2,6),(3,6),(4,6),(5,1),(5,2),(5,3),(5,4)],7)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> 1
([(0,5),(1,6),(2,6),(3,6),(4,3),(5,1),(5,2),(5,4)],7)
=> ([(0,4),(1,5),(2,5),(3,5),(4,1),(4,2),(4,3)],6)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> 1
([(0,4),(1,6),(2,5),(3,5),(4,1),(4,2),(4,3),(5,6)],7)
=> ([(0,2),(2,1)],3)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> 1
([(0,5),(1,6),(2,6),(3,6),(5,1),(5,2),(5,3),(6,4)],7)
=> ([(0,5),(1,6),(2,6),(3,6),(5,1),(5,2),(5,3),(6,4)],7)
=> ([(0,1),(0,2),(0,3),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(4,7),(5,7),(6,7)],8)
=> 1
([(0,3),(0,5),(1,6),(2,6),(3,6),(4,2),(5,1),(5,4)],7)
=> ([(0,1)],2)
=> ([(0,1)],2)
=> 1
([(0,5),(1,6),(2,6),(3,6),(4,2),(4,3),(5,1),(5,4)],7)
=> ([(0,2),(2,1)],3)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> 1
([(0,3),(0,4),(1,5),(2,5),(3,6),(4,1),(4,2),(5,6)],7)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> 1
([(0,4),(1,6),(2,5),(3,1),(3,5),(4,2),(4,3),(5,6)],7)
=> ([(0,4),(1,6),(2,5),(3,1),(3,5),(4,2),(4,3),(5,6)],7)
=> ([(0,1),(0,2),(0,3),(0,4),(1,8),(1,9),(1,10),(2,6),(2,7),(2,10),(3,5),(3,7),(3,9),(4,5),(4,6),(4,8),(5,11),(5,14),(6,11),(6,12),(7,11),(7,13),(8,12),(8,14),(9,13),(9,14),(10,12),(10,13),(11,15),(12,15),(13,15),(14,15)],16)
=> ? = 1
([(0,2),(0,3),(0,5),(1,6),(2,6),(3,6),(4,1),(5,4)],7)
=> ([(0,1),(0,2),(0,3),(1,4),(2,4),(3,4)],5)
=> ([(0,1)],2)
=> 1
([(0,3),(0,4),(1,6),(2,6),(3,6),(4,5),(5,1),(5,2)],7)
=> ([(0,1)],2)
=> ([(0,1)],2)
=> 1
([(0,4),(1,6),(2,6),(3,6),(4,5),(5,1),(5,2),(5,3)],7)
=> ([(0,4),(1,6),(2,6),(3,6),(4,5),(5,1),(5,2),(5,3)],7)
=> ([(0,1),(0,2),(0,3),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(4,7),(5,7),(6,7)],8)
=> 1
([(0,1),(0,2),(0,3),(0,4),(1,6),(2,6),(3,5),(4,5),(5,6)],7)
=> ([],1)
=> ([],1)
=> 1
([(0,2),(0,3),(0,4),(1,5),(2,6),(3,6),(4,5),(6,1)],7)
=> ([(0,1)],2)
=> ([(0,1)],2)
=> 1
([(0,3),(0,4),(1,5),(2,5),(3,6),(4,6),(6,1),(6,2)],7)
=> ([(0,3),(0,4),(1,5),(2,5),(3,6),(4,6),(6,1),(6,2)],7)
=> ([(0,1),(0,2),(0,3),(0,4),(1,8),(1,9),(1,10),(2,6),(2,7),(2,10),(3,5),(3,7),(3,9),(4,5),(4,6),(4,8),(5,11),(5,14),(6,11),(6,12),(7,11),(7,13),(8,12),(8,14),(9,13),(9,14),(10,12),(10,13),(11,15),(12,15),(13,15),(14,15)],16)
=> ? = 1
([(0,1),(0,2),(0,3),(0,4),(1,6),(2,6),(3,6),(4,5),(6,5)],7)
=> ([(0,1)],2)
=> ([(0,1)],2)
=> 1
([(0,2),(0,3),(0,4),(2,6),(3,6),(4,6),(5,1),(6,5)],7)
=> ([(0,2),(0,3),(0,4),(2,6),(3,6),(4,6),(5,1),(6,5)],7)
=> ([(0,1),(0,2),(0,3),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(4,7),(5,7),(6,7)],8)
=> 1
([(0,2),(0,3),(0,4),(0,5),(2,6),(3,6),(4,6),(5,6),(6,1)],7)
=> ([(0,2),(0,3),(0,4),(0,5),(2,6),(3,6),(4,6),(5,6),(6,1)],7)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> 1
([(0,2),(0,3),(0,4),(1,6),(2,5),(3,5),(4,1),(5,6)],7)
=> ([(0,1)],2)
=> ([(0,1)],2)
=> 1
([(0,1),(0,2),(0,3),(1,5),(2,4),(3,4),(3,5),(4,6),(5,6)],7)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> 1
([(0,2),(0,3),(0,4),(2,6),(3,5),(4,5),(5,6),(6,1)],7)
=> ([(0,2),(2,1)],3)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> 1
([(0,2),(0,3),(0,4),(1,5),(2,6),(3,6),(4,1),(4,6),(6,5)],7)
=> ([(0,2),(0,3),(0,4),(1,5),(2,6),(3,6),(4,1),(4,6),(6,5)],7)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> 1
([(0,3),(0,4),(0,5),(1,6),(3,6),(4,6),(5,1),(6,2)],7)
=> ([(0,2),(0,3),(0,4),(2,5),(3,5),(4,5),(5,1)],6)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> 1
([(0,3),(0,4),(0,5),(1,6),(2,6),(3,6),(4,2),(5,1)],7)
=> ([(0,1),(0,2),(0,3),(1,4),(2,4),(3,4)],5)
=> ([(0,1)],2)
=> 1
([(0,2),(0,3),(0,4),(1,6),(2,6),(3,5),(4,1),(4,5),(5,6)],7)
=> ([],1)
=> ([],1)
=> 1
([(0,2),(0,4),(1,6),(2,5),(3,1),(4,3),(4,5),(5,6)],7)
=> ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
=> ([(0,1),(0,2),(0,3),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(4,7),(5,7),(6,7)],8)
=> 1
([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7)
=> ([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7)
=> ([(0,1),(0,2),(0,3),(0,4),(1,8),(1,9),(1,10),(2,6),(2,7),(2,10),(3,5),(3,7),(3,9),(4,5),(4,6),(4,8),(5,11),(5,14),(6,11),(6,12),(7,11),(7,13),(8,12),(8,14),(9,13),(9,14),(10,12),(10,13),(11,15),(12,15),(13,15),(14,15)],16)
=> ? = 1
([(0,3),(0,4),(1,5),(2,5),(3,6),(4,2),(4,6),(6,1)],7)
=> ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
=> ([(0,1),(0,2),(0,3),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(4,7),(5,7),(6,7)],8)
=> 1
([(0,4),(0,5),(1,6),(2,6),(3,6),(4,3),(5,1),(5,2)],7)
=> ([(0,1)],2)
=> ([(0,1)],2)
=> 1
([(0,3),(0,4),(1,6),(2,6),(3,5),(4,1),(4,2),(4,5),(5,6)],7)
=> ([(0,3),(0,4),(1,6),(2,6),(3,5),(4,1),(4,2),(4,5),(5,6)],7)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> 1
([(0,6),(2,7),(3,7),(4,7),(5,1),(6,2),(6,3),(6,4),(7,5)],8)
=> ([(0,6),(2,7),(3,7),(4,7),(5,1),(6,2),(6,3),(6,4),(7,5)],8)
=> ([(0,1),(0,2),(0,3),(0,4),(1,8),(1,9),(1,10),(2,6),(2,7),(2,10),(3,5),(3,7),(3,9),(4,5),(4,6),(4,8),(5,11),(5,14),(6,11),(6,12),(7,11),(7,13),(8,12),(8,14),(9,13),(9,14),(10,12),(10,13),(11,15),(12,15),(13,15),(14,15)],16)
=> ? = 1
([(0,5),(1,7),(2,7),(3,7),(4,6),(5,4),(6,1),(6,2),(6,3)],8)
=> ([(0,5),(1,7),(2,7),(3,7),(4,6),(5,4),(6,1),(6,2),(6,3)],8)
=> ([(0,1),(0,2),(0,3),(0,4),(1,8),(1,9),(1,10),(2,6),(2,7),(2,10),(3,5),(3,7),(3,9),(4,5),(4,6),(4,8),(5,11),(5,14),(6,11),(6,12),(7,11),(7,13),(8,12),(8,14),(9,13),(9,14),(10,12),(10,13),(11,15),(12,15),(13,15),(14,15)],16)
=> ? = 1
([(0,2),(0,3),(0,4),(2,7),(3,7),(4,7),(5,1),(6,5),(7,6)],8)
=> ([(0,2),(0,3),(0,4),(2,7),(3,7),(4,7),(5,1),(6,5),(7,6)],8)
=> ([(0,1),(0,2),(0,3),(0,4),(1,8),(1,9),(1,10),(2,6),(2,7),(2,10),(3,5),(3,7),(3,9),(4,5),(4,6),(4,8),(5,11),(5,14),(6,11),(6,12),(7,11),(7,13),(8,12),(8,14),(9,13),(9,14),(10,12),(10,13),(11,15),(12,15),(13,15),(14,15)],16)
=> ? = 1
([(0,5),(1,7),(2,7),(3,7),(5,6),(6,1),(6,2),(6,3),(7,4)],8)
=> ([(0,5),(1,7),(2,7),(3,7),(5,6),(6,1),(6,2),(6,3),(7,4)],8)
=> ([(0,1),(0,2),(0,3),(0,4),(1,8),(1,9),(1,10),(2,6),(2,7),(2,10),(3,5),(3,7),(3,9),(4,5),(4,6),(4,8),(5,11),(5,14),(6,11),(6,12),(7,11),(7,13),(8,12),(8,14),(9,13),(9,14),(10,12),(10,13),(11,15),(12,15),(13,15),(14,15)],16)
=> ? = 1
([(0,2),(0,4),(1,6),(2,5),(3,1),(3,7),(4,3),(4,5),(5,7),(7,6)],8)
=> ([(0,2),(0,4),(1,6),(2,5),(3,1),(3,7),(4,3),(4,5),(5,7),(7,6)],8)
=> ([(0,1),(0,2),(0,3),(0,4),(1,8),(1,9),(1,10),(2,6),(2,7),(2,10),(3,5),(3,7),(3,9),(4,5),(4,6),(4,8),(5,11),(5,14),(6,11),(6,12),(7,11),(7,13),(8,12),(8,14),(9,13),(9,14),(10,12),(10,13),(11,15),(12,15),(13,15),(14,15)],16)
=> ? = 1
([(0,3),(0,4),(1,6),(2,5),(3,7),(4,2),(4,7),(5,6),(7,1),(7,5)],8)
=> ([(0,3),(0,4),(1,6),(2,5),(3,7),(4,2),(4,7),(5,6),(7,1),(7,5)],8)
=> ([(0,1),(0,2),(0,3),(0,4),(1,8),(1,9),(1,10),(2,6),(2,7),(2,10),(3,5),(3,7),(3,9),(4,5),(4,6),(4,8),(5,11),(5,14),(6,11),(6,12),(7,11),(7,13),(8,12),(8,14),(9,13),(9,14),(10,12),(10,13),(11,15),(12,15),(13,15),(14,15)],16)
=> ? = 1
([(0,7),(2,8),(3,8),(4,8),(5,8),(6,1),(7,2),(7,3),(7,4),(7,5),(8,6)],9)
=> ([(0,7),(2,8),(3,8),(4,8),(5,8),(6,1),(7,2),(7,3),(7,4),(7,5),(8,6)],9)
=> ([(0,1),(0,2),(0,3),(0,4),(1,8),(1,9),(1,10),(2,6),(2,7),(2,10),(3,5),(3,7),(3,9),(4,5),(4,6),(4,8),(5,11),(5,14),(6,11),(6,12),(7,11),(7,13),(8,12),(8,14),(9,13),(9,14),(10,12),(10,13),(11,15),(12,15),(13,15),(14,15)],16)
=> ? = 1
([(0,6),(1,8),(2,8),(3,8),(4,7),(5,7),(6,1),(6,2),(6,3),(8,4),(8,5)],9)
=> ([(0,6),(1,8),(2,8),(3,8),(4,7),(5,7),(6,1),(6,2),(6,3),(8,4),(8,5)],9)
=> ([(0,1),(0,2),(0,3),(0,4),(1,8),(1,9),(1,10),(2,6),(2,7),(2,10),(3,5),(3,7),(3,9),(4,5),(4,6),(4,8),(5,11),(5,14),(6,11),(6,12),(7,11),(7,13),(8,12),(8,14),(9,13),(9,14),(10,12),(10,13),(11,15),(12,15),(13,15),(14,15)],16)
=> ? = 1
([(0,4),(1,6),(1,7),(2,5),(2,7),(3,5),(3,6),(4,1),(4,2),(4,3),(5,8),(6,8),(7,8)],9)
=> ([(0,4),(1,6),(1,7),(2,5),(2,7),(3,5),(3,6),(4,1),(4,2),(4,3),(5,8),(6,8),(7,8)],9)
=> ([(0,1),(0,2),(0,3),(0,4),(1,8),(1,9),(1,10),(2,6),(2,7),(2,10),(3,5),(3,7),(3,9),(4,5),(4,6),(4,8),(5,11),(5,14),(6,11),(6,12),(7,11),(7,13),(8,12),(8,14),(9,13),(9,14),(10,12),(10,13),(11,15),(12,15),(13,15),(14,15)],16)
=> ? = 1
([(0,6),(1,7),(2,7),(3,8),(4,8),(5,8),(6,1),(6,2),(7,3),(7,4),(7,5)],9)
=> ([(0,6),(1,7),(2,7),(3,8),(4,8),(5,8),(6,1),(6,2),(7,3),(7,4),(7,5)],9)
=> ([(0,1),(0,2),(0,3),(0,4),(1,8),(1,9),(1,10),(2,6),(2,7),(2,10),(3,5),(3,7),(3,9),(4,5),(4,6),(4,8),(5,11),(5,14),(6,11),(6,12),(7,11),(7,13),(8,12),(8,14),(9,13),(9,14),(10,12),(10,13),(11,15),(12,15),(13,15),(14,15)],16)
=> ? = 1
([(0,6),(1,8),(2,8),(3,8),(4,8),(5,7),(6,5),(7,1),(7,2),(7,3),(7,4)],9)
=> ([(0,6),(1,8),(2,8),(3,8),(4,8),(5,7),(6,5),(7,1),(7,2),(7,3),(7,4)],9)
=> ([(0,1),(0,2),(0,3),(0,4),(1,8),(1,9),(1,10),(2,6),(2,7),(2,10),(3,5),(3,7),(3,9),(4,5),(4,6),(4,8),(5,11),(5,14),(6,11),(6,12),(7,11),(7,13),(8,12),(8,14),(9,13),(9,14),(10,12),(10,13),(11,15),(12,15),(13,15),(14,15)],16)
=> ? = 1
([(0,2),(0,3),(0,4),(0,5),(2,8),(3,8),(4,8),(5,8),(6,1),(7,6),(8,7)],9)
=> ([(0,2),(0,3),(0,4),(0,5),(2,8),(3,8),(4,8),(5,8),(6,1),(7,6),(8,7)],9)
=> ([(0,1),(0,2),(0,3),(0,4),(1,8),(1,9),(1,10),(2,6),(2,7),(2,10),(3,5),(3,7),(3,9),(4,5),(4,6),(4,8),(5,11),(5,14),(6,11),(6,12),(7,11),(7,13),(8,12),(8,14),(9,13),(9,14),(10,12),(10,13),(11,15),(12,15),(13,15),(14,15)],16)
=> ? = 1
([(0,3),(0,4),(0,5),(1,7),(2,7),(3,8),(4,8),(5,8),(6,1),(6,2),(8,6)],9)
=> ([(0,3),(0,4),(0,5),(1,7),(2,7),(3,8),(4,8),(5,8),(6,1),(6,2),(8,6)],9)
=> ([(0,1),(0,2),(0,3),(0,4),(1,8),(1,9),(1,10),(2,6),(2,7),(2,10),(3,5),(3,7),(3,9),(4,5),(4,6),(4,8),(5,11),(5,14),(6,11),(6,12),(7,11),(7,13),(8,12),(8,14),(9,13),(9,14),(10,12),(10,13),(11,15),(12,15),(13,15),(14,15)],16)
=> ? = 1
([(0,4),(0,5),(0,6),(1,7),(2,7),(4,8),(5,8),(6,8),(7,3),(8,1),(8,2)],9)
=> ([(0,4),(0,5),(0,6),(1,7),(2,7),(4,8),(5,8),(6,8),(7,3),(8,1),(8,2)],9)
=> ([(0,1),(0,2),(0,3),(0,4),(1,8),(1,9),(1,10),(2,6),(2,7),(2,10),(3,5),(3,7),(3,9),(4,5),(4,6),(4,8),(5,11),(5,14),(6,11),(6,12),(7,11),(7,13),(8,12),(8,14),(9,13),(9,14),(10,12),(10,13),(11,15),(12,15),(13,15),(14,15)],16)
=> ? = 1
([(0,5),(0,6),(2,8),(3,8),(4,8),(5,7),(6,7),(7,2),(7,3),(7,4),(8,1)],9)
=> ([(0,5),(0,6),(2,8),(3,8),(4,8),(5,7),(6,7),(7,2),(7,3),(7,4),(8,1)],9)
=> ([(0,1),(0,2),(0,3),(0,4),(1,8),(1,9),(1,10),(2,6),(2,7),(2,10),(3,5),(3,7),(3,9),(4,5),(4,6),(4,8),(5,11),(5,14),(6,11),(6,12),(7,11),(7,13),(8,12),(8,14),(9,13),(9,14),(10,12),(10,13),(11,15),(12,15),(13,15),(14,15)],16)
=> ? = 1
([(0,3),(0,4),(0,6),(2,7),(3,8),(4,8),(5,1),(6,2),(6,8),(7,5),(8,7)],9)
=> ([(0,3),(0,4),(0,6),(2,7),(3,8),(4,8),(5,1),(6,2),(6,8),(7,5),(8,7)],9)
=> ([(0,1),(0,2),(0,3),(0,4),(1,8),(1,9),(1,10),(2,6),(2,7),(2,10),(3,5),(3,7),(3,9),(4,5),(4,6),(4,8),(5,11),(5,14),(6,11),(6,12),(7,11),(7,13),(8,12),(8,14),(9,13),(9,14),(10,12),(10,13),(11,15),(12,15),(13,15),(14,15)],16)
=> ? = 1
([(0,4),(0,5),(1,8),(2,8),(3,8),(4,7),(5,7),(6,1),(6,2),(6,3),(7,6)],9)
=> ([(0,4),(0,5),(1,8),(2,8),(3,8),(4,7),(5,7),(6,1),(6,2),(6,3),(7,6)],9)
=> ([(0,1),(0,2),(0,3),(0,4),(1,8),(1,9),(1,10),(2,6),(2,7),(2,10),(3,5),(3,7),(3,9),(4,5),(4,6),(4,8),(5,11),(5,14),(6,11),(6,12),(7,11),(7,13),(8,12),(8,14),(9,13),(9,14),(10,12),(10,13),(11,15),(12,15),(13,15),(14,15)],16)
=> ? = 1
([(0,6),(1,8),(2,8),(4,7),(5,1),(5,2),(5,7),(6,4),(6,5),(7,8),(8,3)],9)
=> ([(0,6),(1,8),(2,8),(4,7),(5,1),(5,2),(5,7),(6,4),(6,5),(7,8),(8,3)],9)
=> ([(0,1),(0,2),(0,3),(0,4),(1,8),(1,9),(1,10),(2,6),(2,7),(2,10),(3,5),(3,7),(3,9),(4,5),(4,6),(4,8),(5,11),(5,14),(6,11),(6,12),(7,11),(7,13),(8,12),(8,14),(9,13),(9,14),(10,12),(10,13),(11,15),(12,15),(13,15),(14,15)],16)
=> ? = 1
([(0,6),(1,8),(2,8),(3,8),(4,8),(6,7),(7,1),(7,2),(7,3),(7,4),(8,5)],9)
=> ([(0,6),(1,8),(2,8),(3,8),(4,8),(6,7),(7,1),(7,2),(7,3),(7,4),(8,5)],9)
=> ([(0,1),(0,2),(0,3),(0,4),(1,8),(1,9),(1,10),(2,6),(2,7),(2,10),(3,5),(3,7),(3,9),(4,5),(4,6),(4,8),(5,11),(5,14),(6,11),(6,12),(7,11),(7,13),(8,12),(8,14),(9,13),(9,14),(10,12),(10,13),(11,15),(12,15),(13,15),(14,15)],16)
=> ? = 1
([(0,4),(0,6),(2,8),(3,8),(4,7),(5,1),(6,2),(6,3),(6,7),(7,8),(8,5)],9)
=> ([(0,4),(0,6),(2,8),(3,8),(4,7),(5,1),(6,2),(6,3),(6,7),(7,8),(8,5)],9)
=> ([(0,1),(0,2),(0,3),(0,4),(1,8),(1,9),(1,10),(2,6),(2,7),(2,10),(3,5),(3,7),(3,9),(4,5),(4,6),(4,8),(5,11),(5,14),(6,11),(6,12),(7,11),(7,13),(8,12),(8,14),(9,13),(9,14),(10,12),(10,13),(11,15),(12,15),(13,15),(14,15)],16)
=> ? = 1
([(0,6),(1,8),(2,8),(3,7),(5,3),(5,8),(6,1),(6,2),(6,5),(7,4),(8,7)],9)
=> ([(0,6),(1,8),(2,8),(3,7),(5,3),(5,8),(6,1),(6,2),(6,5),(7,4),(8,7)],9)
=> ([(0,1),(0,2),(0,3),(0,4),(1,8),(1,9),(1,10),(2,6),(2,7),(2,10),(3,5),(3,7),(3,9),(4,5),(4,6),(4,8),(5,11),(5,14),(6,11),(6,12),(7,11),(7,13),(8,12),(8,14),(9,13),(9,14),(10,12),(10,13),(11,15),(12,15),(13,15),(14,15)],16)
=> ? = 1
([(0,3),(0,4),(1,7),(2,6),(3,2),(3,5),(4,1),(4,5),(5,6),(5,7),(6,8),(7,8)],9)
=> ([(0,3),(0,4),(1,7),(2,6),(3,2),(3,5),(4,1),(4,5),(5,6),(5,7),(6,8),(7,8)],9)
=> ([(0,1),(0,2),(0,3),(0,4),(1,8),(1,9),(1,10),(2,6),(2,7),(2,10),(3,5),(3,7),(3,9),(4,5),(4,6),(4,8),(5,11),(5,14),(6,11),(6,12),(7,11),(7,13),(8,12),(8,14),(9,13),(9,14),(10,12),(10,13),(11,15),(12,15),(13,15),(14,15)],16)
=> ? = 1
([(0,2),(0,3),(0,4),(2,6),(2,7),(3,5),(3,7),(4,5),(4,6),(5,8),(6,8),(7,8),(8,1)],9)
=> ([(0,2),(0,3),(0,4),(2,6),(2,7),(3,5),(3,7),(4,5),(4,6),(5,8),(6,8),(7,8),(8,1)],9)
=> ([(0,1),(0,2),(0,3),(0,4),(1,8),(1,9),(1,10),(2,6),(2,7),(2,10),(3,5),(3,7),(3,9),(4,5),(4,6),(4,8),(5,11),(5,14),(6,11),(6,12),(7,11),(7,13),(8,12),(8,14),(9,13),(9,14),(10,12),(10,13),(11,15),(12,15),(13,15),(14,15)],16)
=> ? = 1
([(0,5),(1,8),(2,8),(3,7),(4,3),(4,8),(5,6),(6,1),(6,2),(6,4),(8,7)],9)
=> ([(0,5),(1,8),(2,8),(3,7),(4,3),(4,8),(5,6),(6,1),(6,2),(6,4),(8,7)],9)
=> ([(0,1),(0,2),(0,3),(0,4),(1,8),(1,9),(1,10),(2,6),(2,7),(2,10),(3,5),(3,7),(3,9),(4,5),(4,6),(4,8),(5,11),(5,14),(6,11),(6,12),(7,11),(7,13),(8,12),(8,14),(9,13),(9,14),(10,12),(10,13),(11,15),(12,15),(13,15),(14,15)],16)
=> ? = 1
([(0,4),(1,8),(2,8),(3,7),(4,5),(5,3),(5,6),(6,1),(6,2),(6,7),(7,8)],9)
=> ([(0,4),(1,8),(2,8),(3,7),(4,5),(5,3),(5,6),(6,1),(6,2),(6,7),(7,8)],9)
=> ([(0,1),(0,2),(0,3),(0,4),(1,8),(1,9),(1,10),(2,6),(2,7),(2,10),(3,5),(3,7),(3,9),(4,5),(4,6),(4,8),(5,11),(5,14),(6,11),(6,12),(7,11),(7,13),(8,12),(8,14),(9,13),(9,14),(10,12),(10,13),(11,15),(12,15),(13,15),(14,15)],16)
=> ? = 1
([(0,1),(0,2),(0,3),(0,4),(1,8),(1,9),(1,10),(2,6),(2,7),(2,10),(3,5),(3,7),(3,9),(4,5),(4,6),(4,8),(5,11),(5,14),(6,11),(6,12),(7,11),(7,13),(8,12),(8,14),(9,13),(9,14),(10,12),(10,13),(11,15),(12,15),(13,15),(14,15)],16)
=> ([(0,1),(0,2),(0,3),(0,4),(1,8),(1,9),(1,10),(2,6),(2,7),(2,10),(3,5),(3,7),(3,9),(4,5),(4,6),(4,8),(5,11),(5,14),(6,11),(6,12),(7,11),(7,13),(8,12),(8,14),(9,13),(9,14),(10,12),(10,13),(11,15),(12,15),(13,15),(14,15)],16)
=> ([(0,1),(0,2),(0,3),(0,4),(1,8),(1,9),(1,10),(2,6),(2,7),(2,10),(3,5),(3,7),(3,9),(4,5),(4,6),(4,8),(5,11),(5,14),(6,11),(6,12),(7,11),(7,13),(8,12),(8,14),(9,13),(9,14),(10,12),(10,13),(11,15),(12,15),(13,15),(14,15)],16)
=> ? = 1
([(0,2),(0,3),(0,4),(1,5),(1,6),(2,7),(2,9),(3,7),(3,8),(4,1),(4,8),(4,9),(5,11),(6,11),(7,10),(8,5),(8,10),(9,6),(9,10),(10,11)],12)
=> ([(0,2),(0,3),(0,4),(1,5),(1,6),(2,7),(2,9),(3,7),(3,8),(4,1),(4,8),(4,9),(5,11),(6,11),(7,10),(8,5),(8,10),(9,6),(9,10),(10,11)],12)
=> ([(0,1),(0,2),(0,3),(0,4),(1,8),(1,9),(1,10),(2,6),(2,7),(2,10),(3,5),(3,7),(3,9),(4,5),(4,6),(4,8),(5,11),(5,14),(6,11),(6,12),(7,11),(7,13),(8,12),(8,14),(9,13),(9,14),(10,12),(10,13),(11,15),(12,15),(13,15),(14,15)],16)
=> ? = 1
([(0,3),(0,4),(1,6),(1,8),(2,6),(2,7),(3,5),(4,1),(4,2),(4,5),(5,7),(5,8),(6,9),(7,9),(8,9)],10)
=> ([(0,3),(0,4),(1,6),(1,8),(2,6),(2,7),(3,5),(4,1),(4,2),(4,5),(5,7),(5,8),(6,9),(7,9),(8,9)],10)
=> ([(0,1),(0,2),(0,3),(0,4),(1,8),(1,9),(1,10),(2,6),(2,7),(2,10),(3,5),(3,7),(3,9),(4,5),(4,6),(4,8),(5,11),(5,14),(6,11),(6,12),(7,11),(7,13),(8,12),(8,14),(9,13),(9,14),(10,12),(10,13),(11,15),(12,15),(13,15),(14,15)],16)
=> ? = 1
([(0,2),(0,3),(0,4),(1,7),(2,6),(2,8),(3,5),(3,8),(4,5),(4,6),(5,9),(6,9),(8,1),(8,9),(9,7)],10)
=> ([(0,2),(0,3),(0,4),(1,7),(2,6),(2,8),(3,5),(3,8),(4,5),(4,6),(5,9),(6,9),(8,1),(8,9),(9,7)],10)
=> ([(0,1),(0,2),(0,3),(0,4),(1,8),(1,9),(1,10),(2,6),(2,7),(2,10),(3,5),(3,7),(3,9),(4,5),(4,6),(4,8),(5,11),(5,14),(6,11),(6,12),(7,11),(7,13),(8,12),(8,14),(9,13),(9,14),(10,12),(10,13),(11,15),(12,15),(13,15),(14,15)],16)
=> ? = 1
Description
The size of the image of the pop stack sorting operator.
The pop stack sorting operator is defined by Pop_L^\downarrow(x) = x\wedge\bigwedge\{y\in L\mid y\lessdot x\}. This statistic returns the size of Pop_L^\downarrow(L)\}.
Matching statistic: St001846
(load all 4 compositions to match this statistic)
(load all 4 compositions to match this statistic)
Values
([],1)
=> ([],1)
=> ([],1)
=> 0 = 1 - 1
([(0,1)],2)
=> ([(0,1)],2)
=> ([(0,1)],2)
=> 0 = 1 - 1
([(0,2),(2,1)],3)
=> ([(0,2),(2,1)],3)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> 0 = 1 - 1
([(0,1),(0,2),(1,3),(2,3)],4)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> 0 = 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)
=> 0 = 1 - 1
([(0,1),(0,2),(0,3),(1,4),(2,4),(3,4)],5)
=> ([(0,1),(0,2),(0,3),(1,4),(2,4),(3,4)],5)
=> ([(0,1)],2)
=> 0 = 1 - 1
([(0,2),(0,3),(1,4),(2,4),(3,1)],5)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> 0 = 1 - 1
([(0,3),(1,4),(2,4),(3,1),(3,2)],5)
=> ([(0,3),(1,4),(2,4),(3,1),(3,2)],5)
=> ([(0,1),(0,2),(0,3),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(4,7),(5,7),(6,7)],8)
=> 0 = 1 - 1
([(0,4),(2,3),(3,1),(4,2)],5)
=> ([(0,4),(2,3),(3,1),(4,2)],5)
=> ([(0,1),(0,2),(0,3),(0,4),(1,8),(1,9),(1,10),(2,6),(2,7),(2,10),(3,5),(3,7),(3,9),(4,5),(4,6),(4,8),(5,11),(5,14),(6,11),(6,12),(7,11),(7,13),(8,12),(8,14),(9,13),(9,14),(10,12),(10,13),(11,15),(12,15),(13,15),(14,15)],16)
=> ? = 1 - 1
([(0,2),(0,3),(2,4),(3,4),(4,1)],5)
=> ([(0,2),(0,3),(2,4),(3,4),(4,1)],5)
=> ([(0,1),(0,2),(0,3),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(4,7),(5,7),(6,7)],8)
=> 0 = 1 - 1
([(0,1),(0,2),(0,3),(0,4),(1,5),(2,5),(3,5),(4,5)],6)
=> ([(0,1),(0,2),(0,3),(0,4),(1,5),(2,5),(3,5),(4,5)],6)
=> ([(0,1)],2)
=> 0 = 1 - 1
([(0,2),(0,3),(0,4),(1,5),(2,5),(3,5),(4,1)],6)
=> ([(0,1),(0,2),(0,3),(1,4),(2,4),(3,4)],5)
=> ([(0,1)],2)
=> 0 = 1 - 1
([(0,3),(0,4),(1,5),(2,5),(3,5),(4,1),(4,2)],6)
=> ([(0,1)],2)
=> ([(0,1)],2)
=> 0 = 1 - 1
([(0,4),(1,5),(2,5),(3,5),(4,1),(4,2),(4,3)],6)
=> ([(0,4),(1,5),(2,5),(3,5),(4,1),(4,2),(4,3)],6)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> 0 = 1 - 1
([(0,4),(1,5),(2,5),(3,2),(4,1),(4,3)],6)
=> ([(0,3),(1,4),(2,4),(3,1),(3,2)],5)
=> ([(0,1),(0,2),(0,3),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(4,7),(5,7),(6,7)],8)
=> 0 = 1 - 1
([(0,4),(1,5),(2,5),(4,1),(4,2),(5,3)],6)
=> ([(0,4),(1,5),(2,5),(4,1),(4,2),(5,3)],6)
=> ([(0,1),(0,2),(0,3),(0,4),(1,8),(1,9),(1,10),(2,6),(2,7),(2,10),(3,5),(3,7),(3,9),(4,5),(4,6),(4,8),(5,11),(5,14),(6,11),(6,12),(7,11),(7,13),(8,12),(8,14),(9,13),(9,14),(10,12),(10,13),(11,15),(12,15),(13,15),(14,15)],16)
=> ? = 1 - 1
([(0,2),(0,4),(1,5),(2,5),(3,1),(4,3)],6)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> 0 = 1 - 1
([(0,3),(1,5),(2,5),(3,4),(4,1),(4,2)],6)
=> ([(0,3),(1,5),(2,5),(3,4),(4,1),(4,2)],6)
=> ([(0,1),(0,2),(0,3),(0,4),(1,8),(1,9),(1,10),(2,6),(2,7),(2,10),(3,5),(3,7),(3,9),(4,5),(4,6),(4,8),(5,11),(5,14),(6,11),(6,12),(7,11),(7,13),(8,12),(8,14),(9,13),(9,14),(10,12),(10,13),(11,15),(12,15),(13,15),(14,15)],16)
=> ? = 1 - 1
([(0,1),(0,2),(0,3),(1,5),(2,4),(3,4),(4,5)],6)
=> ([(0,1)],2)
=> ([(0,1)],2)
=> 0 = 1 - 1
([(0,2),(0,3),(2,5),(3,5),(4,1),(5,4)],6)
=> ([(0,2),(0,3),(2,5),(3,5),(4,1),(5,4)],6)
=> ([(0,1),(0,2),(0,3),(0,4),(1,8),(1,9),(1,10),(2,6),(2,7),(2,10),(3,5),(3,7),(3,9),(4,5),(4,6),(4,8),(5,11),(5,14),(6,11),(6,12),(7,11),(7,13),(8,12),(8,14),(9,13),(9,14),(10,12),(10,13),(11,15),(12,15),(13,15),(14,15)],16)
=> ? = 1 - 1
([(0,2),(0,3),(0,4),(2,5),(3,5),(4,5),(5,1)],6)
=> ([(0,2),(0,3),(0,4),(2,5),(3,5),(4,5),(5,1)],6)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> 0 = 1 - 1
([(0,3),(0,4),(1,5),(2,5),(3,2),(4,1)],6)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> 0 = 1 - 1
([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
=> ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
=> ([(0,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 = 1 - 1
([(0,3),(0,4),(1,5),(3,5),(4,1),(5,2)],6)
=> ([(0,2),(0,3),(2,4),(3,4),(4,1)],5)
=> ([(0,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 = 1 - 1
([(0,1),(0,2),(0,3),(0,4),(0,5),(1,6),(2,6),(3,6),(4,6),(5,6)],7)
=> ([(0,1),(0,2),(0,3),(0,4),(0,5),(1,6),(2,6),(3,6),(4,6),(5,6)],7)
=> ([(0,1)],2)
=> 0 = 1 - 1
([(0,2),(0,3),(0,4),(0,5),(1,6),(2,6),(3,6),(4,6),(5,1)],7)
=> ([(0,1),(0,2),(0,3),(0,4),(1,5),(2,5),(3,5),(4,5)],6)
=> ([(0,1)],2)
=> 0 = 1 - 1
([(0,3),(0,4),(0,5),(1,6),(2,6),(3,6),(4,6),(5,1),(5,2)],7)
=> ([],1)
=> ([],1)
=> 0 = 1 - 1
([(0,4),(0,5),(1,6),(2,6),(3,6),(4,6),(5,1),(5,2),(5,3)],7)
=> ([(0,1)],2)
=> ([(0,1)],2)
=> 0 = 1 - 1
([(0,5),(1,6),(2,6),(3,6),(4,6),(5,1),(5,2),(5,3),(5,4)],7)
=> ([(0,5),(1,6),(2,6),(3,6),(4,6),(5,1),(5,2),(5,3),(5,4)],7)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> 0 = 1 - 1
([(0,5),(1,6),(2,6),(3,6),(4,3),(5,1),(5,2),(5,4)],7)
=> ([(0,4),(1,5),(2,5),(3,5),(4,1),(4,2),(4,3)],6)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> 0 = 1 - 1
([(0,4),(1,6),(2,5),(3,5),(4,1),(4,2),(4,3),(5,6)],7)
=> ([(0,2),(2,1)],3)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> 0 = 1 - 1
([(0,5),(1,6),(2,6),(3,6),(5,1),(5,2),(5,3),(6,4)],7)
=> ([(0,5),(1,6),(2,6),(3,6),(5,1),(5,2),(5,3),(6,4)],7)
=> ([(0,1),(0,2),(0,3),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(4,7),(5,7),(6,7)],8)
=> 0 = 1 - 1
([(0,3),(0,5),(1,6),(2,6),(3,6),(4,2),(5,1),(5,4)],7)
=> ([(0,1)],2)
=> ([(0,1)],2)
=> 0 = 1 - 1
([(0,5),(1,6),(2,6),(3,6),(4,2),(4,3),(5,1),(5,4)],7)
=> ([(0,2),(2,1)],3)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> 0 = 1 - 1
([(0,3),(0,4),(1,5),(2,5),(3,6),(4,1),(4,2),(5,6)],7)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> 0 = 1 - 1
([(0,4),(1,6),(2,5),(3,1),(3,5),(4,2),(4,3),(5,6)],7)
=> ([(0,4),(1,6),(2,5),(3,1),(3,5),(4,2),(4,3),(5,6)],7)
=> ([(0,1),(0,2),(0,3),(0,4),(1,8),(1,9),(1,10),(2,6),(2,7),(2,10),(3,5),(3,7),(3,9),(4,5),(4,6),(4,8),(5,11),(5,14),(6,11),(6,12),(7,11),(7,13),(8,12),(8,14),(9,13),(9,14),(10,12),(10,13),(11,15),(12,15),(13,15),(14,15)],16)
=> ? = 1 - 1
([(0,2),(0,3),(0,5),(1,6),(2,6),(3,6),(4,1),(5,4)],7)
=> ([(0,1),(0,2),(0,3),(1,4),(2,4),(3,4)],5)
=> ([(0,1)],2)
=> 0 = 1 - 1
([(0,3),(0,4),(1,6),(2,6),(3,6),(4,5),(5,1),(5,2)],7)
=> ([(0,1)],2)
=> ([(0,1)],2)
=> 0 = 1 - 1
([(0,4),(1,6),(2,6),(3,6),(4,5),(5,1),(5,2),(5,3)],7)
=> ([(0,4),(1,6),(2,6),(3,6),(4,5),(5,1),(5,2),(5,3)],7)
=> ([(0,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 = 1 - 1
([(0,1),(0,2),(0,3),(0,4),(1,6),(2,6),(3,5),(4,5),(5,6)],7)
=> ([],1)
=> ([],1)
=> 0 = 1 - 1
([(0,2),(0,3),(0,4),(1,5),(2,6),(3,6),(4,5),(6,1)],7)
=> ([(0,1)],2)
=> ([(0,1)],2)
=> 0 = 1 - 1
([(0,3),(0,4),(1,5),(2,5),(3,6),(4,6),(6,1),(6,2)],7)
=> ([(0,3),(0,4),(1,5),(2,5),(3,6),(4,6),(6,1),(6,2)],7)
=> ([(0,1),(0,2),(0,3),(0,4),(1,8),(1,9),(1,10),(2,6),(2,7),(2,10),(3,5),(3,7),(3,9),(4,5),(4,6),(4,8),(5,11),(5,14),(6,11),(6,12),(7,11),(7,13),(8,12),(8,14),(9,13),(9,14),(10,12),(10,13),(11,15),(12,15),(13,15),(14,15)],16)
=> ? = 1 - 1
([(0,1),(0,2),(0,3),(0,4),(1,6),(2,6),(3,6),(4,5),(6,5)],7)
=> ([(0,1)],2)
=> ([(0,1)],2)
=> 0 = 1 - 1
([(0,2),(0,3),(0,4),(2,6),(3,6),(4,6),(5,1),(6,5)],7)
=> ([(0,2),(0,3),(0,4),(2,6),(3,6),(4,6),(5,1),(6,5)],7)
=> ([(0,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 = 1 - 1
([(0,2),(0,3),(0,4),(0,5),(2,6),(3,6),(4,6),(5,6),(6,1)],7)
=> ([(0,2),(0,3),(0,4),(0,5),(2,6),(3,6),(4,6),(5,6),(6,1)],7)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> 0 = 1 - 1
([(0,2),(0,3),(0,4),(1,6),(2,5),(3,5),(4,1),(5,6)],7)
=> ([(0,1)],2)
=> ([(0,1)],2)
=> 0 = 1 - 1
([(0,1),(0,2),(0,3),(1,5),(2,4),(3,4),(3,5),(4,6),(5,6)],7)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> 0 = 1 - 1
([(0,2),(0,3),(0,4),(2,6),(3,5),(4,5),(5,6),(6,1)],7)
=> ([(0,2),(2,1)],3)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> 0 = 1 - 1
([(0,2),(0,3),(0,4),(1,5),(2,6),(3,6),(4,1),(4,6),(6,5)],7)
=> ([(0,2),(0,3),(0,4),(1,5),(2,6),(3,6),(4,1),(4,6),(6,5)],7)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> 0 = 1 - 1
([(0,3),(0,4),(0,5),(1,6),(3,6),(4,6),(5,1),(6,2)],7)
=> ([(0,2),(0,3),(0,4),(2,5),(3,5),(4,5),(5,1)],6)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> 0 = 1 - 1
([(0,3),(0,4),(0,5),(1,6),(2,6),(3,6),(4,2),(5,1)],7)
=> ([(0,1),(0,2),(0,3),(1,4),(2,4),(3,4)],5)
=> ([(0,1)],2)
=> 0 = 1 - 1
([(0,2),(0,3),(0,4),(1,6),(2,6),(3,5),(4,1),(4,5),(5,6)],7)
=> ([],1)
=> ([],1)
=> 0 = 1 - 1
([(0,2),(0,4),(1,6),(2,5),(3,1),(4,3),(4,5),(5,6)],7)
=> ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
=> ([(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 = 1 - 1
([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7)
=> ([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7)
=> ([(0,1),(0,2),(0,3),(0,4),(1,8),(1,9),(1,10),(2,6),(2,7),(2,10),(3,5),(3,7),(3,9),(4,5),(4,6),(4,8),(5,11),(5,14),(6,11),(6,12),(7,11),(7,13),(8,12),(8,14),(9,13),(9,14),(10,12),(10,13),(11,15),(12,15),(13,15),(14,15)],16)
=> ? = 1 - 1
([(0,3),(0,4),(1,5),(2,5),(3,6),(4,2),(4,6),(6,1)],7)
=> ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
=> ([(0,1),(0,2),(0,3),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(4,7),(5,7),(6,7)],8)
=> 0 = 1 - 1
([(0,4),(0,5),(1,6),(2,6),(3,6),(4,3),(5,1),(5,2)],7)
=> ([(0,1)],2)
=> ([(0,1)],2)
=> 0 = 1 - 1
([(0,3),(0,4),(1,6),(2,6),(3,5),(4,1),(4,2),(4,5),(5,6)],7)
=> ([(0,3),(0,4),(1,6),(2,6),(3,5),(4,1),(4,2),(4,5),(5,6)],7)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> 0 = 1 - 1
([(0,6),(2,7),(3,7),(4,7),(5,1),(6,2),(6,3),(6,4),(7,5)],8)
=> ([(0,6),(2,7),(3,7),(4,7),(5,1),(6,2),(6,3),(6,4),(7,5)],8)
=> ([(0,1),(0,2),(0,3),(0,4),(1,8),(1,9),(1,10),(2,6),(2,7),(2,10),(3,5),(3,7),(3,9),(4,5),(4,6),(4,8),(5,11),(5,14),(6,11),(6,12),(7,11),(7,13),(8,12),(8,14),(9,13),(9,14),(10,12),(10,13),(11,15),(12,15),(13,15),(14,15)],16)
=> ? = 1 - 1
([(0,5),(1,7),(2,7),(3,7),(4,6),(5,4),(6,1),(6,2),(6,3)],8)
=> ([(0,5),(1,7),(2,7),(3,7),(4,6),(5,4),(6,1),(6,2),(6,3)],8)
=> ([(0,1),(0,2),(0,3),(0,4),(1,8),(1,9),(1,10),(2,6),(2,7),(2,10),(3,5),(3,7),(3,9),(4,5),(4,6),(4,8),(5,11),(5,14),(6,11),(6,12),(7,11),(7,13),(8,12),(8,14),(9,13),(9,14),(10,12),(10,13),(11,15),(12,15),(13,15),(14,15)],16)
=> ? = 1 - 1
([(0,2),(0,3),(0,4),(2,7),(3,7),(4,7),(5,1),(6,5),(7,6)],8)
=> ([(0,2),(0,3),(0,4),(2,7),(3,7),(4,7),(5,1),(6,5),(7,6)],8)
=> ([(0,1),(0,2),(0,3),(0,4),(1,8),(1,9),(1,10),(2,6),(2,7),(2,10),(3,5),(3,7),(3,9),(4,5),(4,6),(4,8),(5,11),(5,14),(6,11),(6,12),(7,11),(7,13),(8,12),(8,14),(9,13),(9,14),(10,12),(10,13),(11,15),(12,15),(13,15),(14,15)],16)
=> ? = 1 - 1
([(0,5),(1,7),(2,7),(3,7),(5,6),(6,1),(6,2),(6,3),(7,4)],8)
=> ([(0,5),(1,7),(2,7),(3,7),(5,6),(6,1),(6,2),(6,3),(7,4)],8)
=> ([(0,1),(0,2),(0,3),(0,4),(1,8),(1,9),(1,10),(2,6),(2,7),(2,10),(3,5),(3,7),(3,9),(4,5),(4,6),(4,8),(5,11),(5,14),(6,11),(6,12),(7,11),(7,13),(8,12),(8,14),(9,13),(9,14),(10,12),(10,13),(11,15),(12,15),(13,15),(14,15)],16)
=> ? = 1 - 1
([(0,2),(0,4),(1,6),(2,5),(3,1),(3,7),(4,3),(4,5),(5,7),(7,6)],8)
=> ([(0,2),(0,4),(1,6),(2,5),(3,1),(3,7),(4,3),(4,5),(5,7),(7,6)],8)
=> ([(0,1),(0,2),(0,3),(0,4),(1,8),(1,9),(1,10),(2,6),(2,7),(2,10),(3,5),(3,7),(3,9),(4,5),(4,6),(4,8),(5,11),(5,14),(6,11),(6,12),(7,11),(7,13),(8,12),(8,14),(9,13),(9,14),(10,12),(10,13),(11,15),(12,15),(13,15),(14,15)],16)
=> ? = 1 - 1
([(0,3),(0,4),(1,6),(2,5),(3,7),(4,2),(4,7),(5,6),(7,1),(7,5)],8)
=> ([(0,3),(0,4),(1,6),(2,5),(3,7),(4,2),(4,7),(5,6),(7,1),(7,5)],8)
=> ([(0,1),(0,2),(0,3),(0,4),(1,8),(1,9),(1,10),(2,6),(2,7),(2,10),(3,5),(3,7),(3,9),(4,5),(4,6),(4,8),(5,11),(5,14),(6,11),(6,12),(7,11),(7,13),(8,12),(8,14),(9,13),(9,14),(10,12),(10,13),(11,15),(12,15),(13,15),(14,15)],16)
=> ? = 1 - 1
([(0,7),(2,8),(3,8),(4,8),(5,8),(6,1),(7,2),(7,3),(7,4),(7,5),(8,6)],9)
=> ([(0,7),(2,8),(3,8),(4,8),(5,8),(6,1),(7,2),(7,3),(7,4),(7,5),(8,6)],9)
=> ([(0,1),(0,2),(0,3),(0,4),(1,8),(1,9),(1,10),(2,6),(2,7),(2,10),(3,5),(3,7),(3,9),(4,5),(4,6),(4,8),(5,11),(5,14),(6,11),(6,12),(7,11),(7,13),(8,12),(8,14),(9,13),(9,14),(10,12),(10,13),(11,15),(12,15),(13,15),(14,15)],16)
=> ? = 1 - 1
([(0,6),(1,8),(2,8),(3,8),(4,7),(5,7),(6,1),(6,2),(6,3),(8,4),(8,5)],9)
=> ([(0,6),(1,8),(2,8),(3,8),(4,7),(5,7),(6,1),(6,2),(6,3),(8,4),(8,5)],9)
=> ([(0,1),(0,2),(0,3),(0,4),(1,8),(1,9),(1,10),(2,6),(2,7),(2,10),(3,5),(3,7),(3,9),(4,5),(4,6),(4,8),(5,11),(5,14),(6,11),(6,12),(7,11),(7,13),(8,12),(8,14),(9,13),(9,14),(10,12),(10,13),(11,15),(12,15),(13,15),(14,15)],16)
=> ? = 1 - 1
([(0,4),(1,6),(1,7),(2,5),(2,7),(3,5),(3,6),(4,1),(4,2),(4,3),(5,8),(6,8),(7,8)],9)
=> ([(0,4),(1,6),(1,7),(2,5),(2,7),(3,5),(3,6),(4,1),(4,2),(4,3),(5,8),(6,8),(7,8)],9)
=> ([(0,1),(0,2),(0,3),(0,4),(1,8),(1,9),(1,10),(2,6),(2,7),(2,10),(3,5),(3,7),(3,9),(4,5),(4,6),(4,8),(5,11),(5,14),(6,11),(6,12),(7,11),(7,13),(8,12),(8,14),(9,13),(9,14),(10,12),(10,13),(11,15),(12,15),(13,15),(14,15)],16)
=> ? = 1 - 1
([(0,6),(1,7),(2,7),(3,8),(4,8),(5,8),(6,1),(6,2),(7,3),(7,4),(7,5)],9)
=> ([(0,6),(1,7),(2,7),(3,8),(4,8),(5,8),(6,1),(6,2),(7,3),(7,4),(7,5)],9)
=> ([(0,1),(0,2),(0,3),(0,4),(1,8),(1,9),(1,10),(2,6),(2,7),(2,10),(3,5),(3,7),(3,9),(4,5),(4,6),(4,8),(5,11),(5,14),(6,11),(6,12),(7,11),(7,13),(8,12),(8,14),(9,13),(9,14),(10,12),(10,13),(11,15),(12,15),(13,15),(14,15)],16)
=> ? = 1 - 1
([(0,6),(1,8),(2,8),(3,8),(4,8),(5,7),(6,5),(7,1),(7,2),(7,3),(7,4)],9)
=> ([(0,6),(1,8),(2,8),(3,8),(4,8),(5,7),(6,5),(7,1),(7,2),(7,3),(7,4)],9)
=> ([(0,1),(0,2),(0,3),(0,4),(1,8),(1,9),(1,10),(2,6),(2,7),(2,10),(3,5),(3,7),(3,9),(4,5),(4,6),(4,8),(5,11),(5,14),(6,11),(6,12),(7,11),(7,13),(8,12),(8,14),(9,13),(9,14),(10,12),(10,13),(11,15),(12,15),(13,15),(14,15)],16)
=> ? = 1 - 1
([(0,2),(0,3),(0,4),(0,5),(2,8),(3,8),(4,8),(5,8),(6,1),(7,6),(8,7)],9)
=> ([(0,2),(0,3),(0,4),(0,5),(2,8),(3,8),(4,8),(5,8),(6,1),(7,6),(8,7)],9)
=> ([(0,1),(0,2),(0,3),(0,4),(1,8),(1,9),(1,10),(2,6),(2,7),(2,10),(3,5),(3,7),(3,9),(4,5),(4,6),(4,8),(5,11),(5,14),(6,11),(6,12),(7,11),(7,13),(8,12),(8,14),(9,13),(9,14),(10,12),(10,13),(11,15),(12,15),(13,15),(14,15)],16)
=> ? = 1 - 1
([(0,3),(0,4),(0,5),(1,7),(2,7),(3,8),(4,8),(5,8),(6,1),(6,2),(8,6)],9)
=> ([(0,3),(0,4),(0,5),(1,7),(2,7),(3,8),(4,8),(5,8),(6,1),(6,2),(8,6)],9)
=> ([(0,1),(0,2),(0,3),(0,4),(1,8),(1,9),(1,10),(2,6),(2,7),(2,10),(3,5),(3,7),(3,9),(4,5),(4,6),(4,8),(5,11),(5,14),(6,11),(6,12),(7,11),(7,13),(8,12),(8,14),(9,13),(9,14),(10,12),(10,13),(11,15),(12,15),(13,15),(14,15)],16)
=> ? = 1 - 1
([(0,4),(0,5),(0,6),(1,7),(2,7),(4,8),(5,8),(6,8),(7,3),(8,1),(8,2)],9)
=> ([(0,4),(0,5),(0,6),(1,7),(2,7),(4,8),(5,8),(6,8),(7,3),(8,1),(8,2)],9)
=> ([(0,1),(0,2),(0,3),(0,4),(1,8),(1,9),(1,10),(2,6),(2,7),(2,10),(3,5),(3,7),(3,9),(4,5),(4,6),(4,8),(5,11),(5,14),(6,11),(6,12),(7,11),(7,13),(8,12),(8,14),(9,13),(9,14),(10,12),(10,13),(11,15),(12,15),(13,15),(14,15)],16)
=> ? = 1 - 1
([(0,5),(0,6),(2,8),(3,8),(4,8),(5,7),(6,7),(7,2),(7,3),(7,4),(8,1)],9)
=> ([(0,5),(0,6),(2,8),(3,8),(4,8),(5,7),(6,7),(7,2),(7,3),(7,4),(8,1)],9)
=> ([(0,1),(0,2),(0,3),(0,4),(1,8),(1,9),(1,10),(2,6),(2,7),(2,10),(3,5),(3,7),(3,9),(4,5),(4,6),(4,8),(5,11),(5,14),(6,11),(6,12),(7,11),(7,13),(8,12),(8,14),(9,13),(9,14),(10,12),(10,13),(11,15),(12,15),(13,15),(14,15)],16)
=> ? = 1 - 1
([(0,3),(0,4),(0,6),(2,7),(3,8),(4,8),(5,1),(6,2),(6,8),(7,5),(8,7)],9)
=> ([(0,3),(0,4),(0,6),(2,7),(3,8),(4,8),(5,1),(6,2),(6,8),(7,5),(8,7)],9)
=> ([(0,1),(0,2),(0,3),(0,4),(1,8),(1,9),(1,10),(2,6),(2,7),(2,10),(3,5),(3,7),(3,9),(4,5),(4,6),(4,8),(5,11),(5,14),(6,11),(6,12),(7,11),(7,13),(8,12),(8,14),(9,13),(9,14),(10,12),(10,13),(11,15),(12,15),(13,15),(14,15)],16)
=> ? = 1 - 1
([(0,4),(0,5),(1,8),(2,8),(3,8),(4,7),(5,7),(6,1),(6,2),(6,3),(7,6)],9)
=> ([(0,4),(0,5),(1,8),(2,8),(3,8),(4,7),(5,7),(6,1),(6,2),(6,3),(7,6)],9)
=> ([(0,1),(0,2),(0,3),(0,4),(1,8),(1,9),(1,10),(2,6),(2,7),(2,10),(3,5),(3,7),(3,9),(4,5),(4,6),(4,8),(5,11),(5,14),(6,11),(6,12),(7,11),(7,13),(8,12),(8,14),(9,13),(9,14),(10,12),(10,13),(11,15),(12,15),(13,15),(14,15)],16)
=> ? = 1 - 1
([(0,6),(1,8),(2,8),(4,7),(5,1),(5,2),(5,7),(6,4),(6,5),(7,8),(8,3)],9)
=> ([(0,6),(1,8),(2,8),(4,7),(5,1),(5,2),(5,7),(6,4),(6,5),(7,8),(8,3)],9)
=> ([(0,1),(0,2),(0,3),(0,4),(1,8),(1,9),(1,10),(2,6),(2,7),(2,10),(3,5),(3,7),(3,9),(4,5),(4,6),(4,8),(5,11),(5,14),(6,11),(6,12),(7,11),(7,13),(8,12),(8,14),(9,13),(9,14),(10,12),(10,13),(11,15),(12,15),(13,15),(14,15)],16)
=> ? = 1 - 1
([(0,6),(1,8),(2,8),(3,8),(4,8),(6,7),(7,1),(7,2),(7,3),(7,4),(8,5)],9)
=> ([(0,6),(1,8),(2,8),(3,8),(4,8),(6,7),(7,1),(7,2),(7,3),(7,4),(8,5)],9)
=> ([(0,1),(0,2),(0,3),(0,4),(1,8),(1,9),(1,10),(2,6),(2,7),(2,10),(3,5),(3,7),(3,9),(4,5),(4,6),(4,8),(5,11),(5,14),(6,11),(6,12),(7,11),(7,13),(8,12),(8,14),(9,13),(9,14),(10,12),(10,13),(11,15),(12,15),(13,15),(14,15)],16)
=> ? = 1 - 1
([(0,4),(0,6),(2,8),(3,8),(4,7),(5,1),(6,2),(6,3),(6,7),(7,8),(8,5)],9)
=> ([(0,4),(0,6),(2,8),(3,8),(4,7),(5,1),(6,2),(6,3),(6,7),(7,8),(8,5)],9)
=> ([(0,1),(0,2),(0,3),(0,4),(1,8),(1,9),(1,10),(2,6),(2,7),(2,10),(3,5),(3,7),(3,9),(4,5),(4,6),(4,8),(5,11),(5,14),(6,11),(6,12),(7,11),(7,13),(8,12),(8,14),(9,13),(9,14),(10,12),(10,13),(11,15),(12,15),(13,15),(14,15)],16)
=> ? = 1 - 1
([(0,6),(1,8),(2,8),(3,7),(5,3),(5,8),(6,1),(6,2),(6,5),(7,4),(8,7)],9)
=> ([(0,6),(1,8),(2,8),(3,7),(5,3),(5,8),(6,1),(6,2),(6,5),(7,4),(8,7)],9)
=> ([(0,1),(0,2),(0,3),(0,4),(1,8),(1,9),(1,10),(2,6),(2,7),(2,10),(3,5),(3,7),(3,9),(4,5),(4,6),(4,8),(5,11),(5,14),(6,11),(6,12),(7,11),(7,13),(8,12),(8,14),(9,13),(9,14),(10,12),(10,13),(11,15),(12,15),(13,15),(14,15)],16)
=> ? = 1 - 1
([(0,3),(0,4),(1,7),(2,6),(3,2),(3,5),(4,1),(4,5),(5,6),(5,7),(6,8),(7,8)],9)
=> ([(0,3),(0,4),(1,7),(2,6),(3,2),(3,5),(4,1),(4,5),(5,6),(5,7),(6,8),(7,8)],9)
=> ([(0,1),(0,2),(0,3),(0,4),(1,8),(1,9),(1,10),(2,6),(2,7),(2,10),(3,5),(3,7),(3,9),(4,5),(4,6),(4,8),(5,11),(5,14),(6,11),(6,12),(7,11),(7,13),(8,12),(8,14),(9,13),(9,14),(10,12),(10,13),(11,15),(12,15),(13,15),(14,15)],16)
=> ? = 1 - 1
([(0,2),(0,3),(0,4),(2,6),(2,7),(3,5),(3,7),(4,5),(4,6),(5,8),(6,8),(7,8),(8,1)],9)
=> ([(0,2),(0,3),(0,4),(2,6),(2,7),(3,5),(3,7),(4,5),(4,6),(5,8),(6,8),(7,8),(8,1)],9)
=> ([(0,1),(0,2),(0,3),(0,4),(1,8),(1,9),(1,10),(2,6),(2,7),(2,10),(3,5),(3,7),(3,9),(4,5),(4,6),(4,8),(5,11),(5,14),(6,11),(6,12),(7,11),(7,13),(8,12),(8,14),(9,13),(9,14),(10,12),(10,13),(11,15),(12,15),(13,15),(14,15)],16)
=> ? = 1 - 1
([(0,5),(1,8),(2,8),(3,7),(4,3),(4,8),(5,6),(6,1),(6,2),(6,4),(8,7)],9)
=> ([(0,5),(1,8),(2,8),(3,7),(4,3),(4,8),(5,6),(6,1),(6,2),(6,4),(8,7)],9)
=> ([(0,1),(0,2),(0,3),(0,4),(1,8),(1,9),(1,10),(2,6),(2,7),(2,10),(3,5),(3,7),(3,9),(4,5),(4,6),(4,8),(5,11),(5,14),(6,11),(6,12),(7,11),(7,13),(8,12),(8,14),(9,13),(9,14),(10,12),(10,13),(11,15),(12,15),(13,15),(14,15)],16)
=> ? = 1 - 1
([(0,4),(1,8),(2,8),(3,7),(4,5),(5,3),(5,6),(6,1),(6,2),(6,7),(7,8)],9)
=> ([(0,4),(1,8),(2,8),(3,7),(4,5),(5,3),(5,6),(6,1),(6,2),(6,7),(7,8)],9)
=> ([(0,1),(0,2),(0,3),(0,4),(1,8),(1,9),(1,10),(2,6),(2,7),(2,10),(3,5),(3,7),(3,9),(4,5),(4,6),(4,8),(5,11),(5,14),(6,11),(6,12),(7,11),(7,13),(8,12),(8,14),(9,13),(9,14),(10,12),(10,13),(11,15),(12,15),(13,15),(14,15)],16)
=> ? = 1 - 1
([(0,1),(0,2),(0,3),(0,4),(1,8),(1,9),(1,10),(2,6),(2,7),(2,10),(3,5),(3,7),(3,9),(4,5),(4,6),(4,8),(5,11),(5,14),(6,11),(6,12),(7,11),(7,13),(8,12),(8,14),(9,13),(9,14),(10,12),(10,13),(11,15),(12,15),(13,15),(14,15)],16)
=> ([(0,1),(0,2),(0,3),(0,4),(1,8),(1,9),(1,10),(2,6),(2,7),(2,10),(3,5),(3,7),(3,9),(4,5),(4,6),(4,8),(5,11),(5,14),(6,11),(6,12),(7,11),(7,13),(8,12),(8,14),(9,13),(9,14),(10,12),(10,13),(11,15),(12,15),(13,15),(14,15)],16)
=> ([(0,1),(0,2),(0,3),(0,4),(1,8),(1,9),(1,10),(2,6),(2,7),(2,10),(3,5),(3,7),(3,9),(4,5),(4,6),(4,8),(5,11),(5,14),(6,11),(6,12),(7,11),(7,13),(8,12),(8,14),(9,13),(9,14),(10,12),(10,13),(11,15),(12,15),(13,15),(14,15)],16)
=> ? = 1 - 1
([(0,2),(0,3),(0,4),(1,5),(1,6),(2,7),(2,9),(3,7),(3,8),(4,1),(4,8),(4,9),(5,11),(6,11),(7,10),(8,5),(8,10),(9,6),(9,10),(10,11)],12)
=> ([(0,2),(0,3),(0,4),(1,5),(1,6),(2,7),(2,9),(3,7),(3,8),(4,1),(4,8),(4,9),(5,11),(6,11),(7,10),(8,5),(8,10),(9,6),(9,10),(10,11)],12)
=> ([(0,1),(0,2),(0,3),(0,4),(1,8),(1,9),(1,10),(2,6),(2,7),(2,10),(3,5),(3,7),(3,9),(4,5),(4,6),(4,8),(5,11),(5,14),(6,11),(6,12),(7,11),(7,13),(8,12),(8,14),(9,13),(9,14),(10,12),(10,13),(11,15),(12,15),(13,15),(14,15)],16)
=> ? = 1 - 1
([(0,3),(0,4),(1,6),(1,8),(2,6),(2,7),(3,5),(4,1),(4,2),(4,5),(5,7),(5,8),(6,9),(7,9),(8,9)],10)
=> ([(0,3),(0,4),(1,6),(1,8),(2,6),(2,7),(3,5),(4,1),(4,2),(4,5),(5,7),(5,8),(6,9),(7,9),(8,9)],10)
=> ([(0,1),(0,2),(0,3),(0,4),(1,8),(1,9),(1,10),(2,6),(2,7),(2,10),(3,5),(3,7),(3,9),(4,5),(4,6),(4,8),(5,11),(5,14),(6,11),(6,12),(7,11),(7,13),(8,12),(8,14),(9,13),(9,14),(10,12),(10,13),(11,15),(12,15),(13,15),(14,15)],16)
=> ? = 1 - 1
([(0,2),(0,3),(0,4),(1,7),(2,6),(2,8),(3,5),(3,8),(4,5),(4,6),(5,9),(6,9),(8,1),(8,9),(9,7)],10)
=> ([(0,2),(0,3),(0,4),(1,7),(2,6),(2,8),(3,5),(3,8),(4,5),(4,6),(5,9),(6,9),(8,1),(8,9),(9,7)],10)
=> ([(0,1),(0,2),(0,3),(0,4),(1,8),(1,9),(1,10),(2,6),(2,7),(2,10),(3,5),(3,7),(3,9),(4,5),(4,6),(4,8),(5,11),(5,14),(6,11),(6,12),(7,11),(7,13),(8,12),(8,14),(9,13),(9,14),(10,12),(10,13),(11,15),(12,15),(13,15),(14,15)],16)
=> ? = 1 - 1
Description
The number of elements which do not have a complement in the lattice.
A complement of an element x in a lattice is an element y such that the meet of x and y is the bottom element and their join is the top element.
The following 230 statistics, ordered by result quality, also match your data. Click on any of them to see the details.
St000993The multiplicity of the largest part of an integer partition. St000929The constant term of the character polynomial of an integer partition. St001568The smallest positive integer that does not appear twice in the partition. St000773The multiplicity of the largest Laplacian eigenvalue in a graph. St000775The multiplicity of the largest eigenvalue in a graph. St000785The number of distinct colouring schemes of a graph. St001272The number of graphs with the same degree sequence. St001316The domatic number of a graph. St001496The number of graphs with the same Laplacian spectrum as the given graph. St000323The minimal crossing number of a graph. St000351The determinant of the adjacency matrix of a graph. St000368The Altshuler-Steinberg determinant of a graph. St000370The genus of a graph. St000671The maximin edge-connectivity for choosing a subgraph. St001119The length of a shortest maximal path in a graph. St001271The competition number of a graph. St001305The number of induced cycles on four vertices in a graph. St001307The number of induced stars on four vertices in a graph. St001309The number of four-cliques in a graph. St001310The number of induced diamond graphs in a graph. St001323The independence gap of a graph. St001324The minimal number of occurrences of the chordal-pattern in a linear ordering of the vertices of the graph. St001325The minimal number of occurrences of the comparability-pattern in a linear ordering of the vertices of the graph. St001326The minimal number of occurrences of the interval-pattern in a linear ordering of the vertices of the graph. St001328The minimal number of occurrences of the bipartite-pattern in a linear ordering of the vertices of the graph. St001334The minimal number of occurrences of the 3-colorable pattern in a linear ordering of the vertices of the graph. St001336The minimal number of vertices in a graph whose complement is triangle-free. St001357The maximal degree of a regular spanning subgraph of a graph. St001395The number of strictly unfriendly partitions of a graph. St001689The number of celebrities in a graph. St001702The absolute value of the determinant of the adjacency matrix of a graph. St001793The difference between the clique number and the chromatic number of a graph. St001794Half the number of sets of vertices in a graph which are dominating and non-blocking. St001797The number of overfull subgraphs of a graph. St000908The length of the shortest maximal antichain in a poset. St001301The first Betti number of the order complex associated with the poset. St001634The trace of the Coxeter matrix of the incidence algebra of a poset. St000449The number of pairs of vertices of a graph with distance 4. St000181The number of connected components of the Hasse diagram for the poset. St001532The leading coefficient of the Poincare polynomial of the poset cone. St001533The largest coefficient of the Poincare polynomial of the poset cone. St001396Number of triples of incomparable elements in a finite poset. St001964The interval resolution global dimension of a poset. St000286The number of connected components of the complement of a graph. St000287The number of connected components of a graph. St001518The number of graphs with the same ordinary spectrum as the given graph. St000095The number of triangles of a graph. St000261The edge connectivity of a graph. St000262The vertex connectivity of a graph. St000274The number of perfect matchings of a graph. St000303The determinant of the product of the incidence matrix and its transpose of a graph divided by 4. St000310The minimal degree of a vertex of a graph. St000322The skewness of a graph. St001572The minimal number of edges to remove to make a graph bipartite. St001573The minimal number of edges to remove to make a graph triangle-free. St001578The minimal number of edges to add or remove to make a graph a line graph. St001871The number of triconnected components of a graph. St001890The maximum magnitude of the Möbius function of a poset. St001613The binary logarithm of the size of the center of a lattice. St001621The number of atoms of a lattice. St000266The number of spanning subgraphs of a graph with the same connected components. St000267The number of maximal spanning forests contained in a graph. St001475The evaluation of the Tutte polynomial of the graph at (x,y) equal to (1,0). St001476The evaluation of the Tutte polynomial of the graph at (x,y) equal to (1,-1). St001546The number of monomials in the Tutte polynomial of a graph. St000403The Szeged index minus the Wiener index of a graph. St000637The length of the longest cycle in a graph. St001069The coefficient of the monomial xy of the Tutte polynomial of the graph. St001311The cyclomatic number of a graph. St001317The minimal number of occurrences of the forest-pattern in a linear ordering of the vertices of the graph. St001320The minimal number of occurrences of the path-pattern in a linear ordering of the vertices of the graph. St001329The minimal number of occurrences of the outerplanar pattern in a linear ordering of the vertices of the graph. St001331The size of the minimal feedback vertex set. St001335The cardinality of a minimal cycle-isolating set of a graph. St001638The book thickness of a graph. St001736The total number of cycles in a graph. St000379The number of Hamiltonian cycles in a graph. St000699The toughness times the least common multiple of 1,. St001281The normalized isoperimetric number of a graph. St000914The sum of the values of the Möbius function of a poset. St001690The length of a longest path in a graph such that after removing the paths edges, every vertex of the path has distance two from some other vertex of the path. St001878The projective dimension of the simple modules corresponding to the minimum of L in the incidence algebra of the lattice L. St001095The number of non-isomorphic posets with precisely one further covering relation. St000264The girth of a graph, which is not a tree. St001877Number of indecomposable injective modules with projective dimension 2. St001630The global dimension of the incidence algebra of the lattice over the rational numbers. St001875The number of simple modules with projective dimension at most 1. St001879The number of indecomposable summands of the top of the first syzygy of the dual of the regular module in the incidence algebra of the lattice. St001880The number of 2-Gorenstein indecomposable injective modules in the incidence algebra of the lattice. St000771The largest multiplicity of a distance Laplacian eigenvalue in a connected graph. St000772The multiplicity of the largest distance Laplacian eigenvalue in a connected graph. St000777The number of distinct eigenvalues of the distance Laplacian of a connected graph. St001645The pebbling number of a connected graph. St000259The diameter of a connected graph. St000260The radius of a connected graph. St000302The determinant of the distance matrix of a connected graph. St000466The Gutman (or modified Schultz) index of a connected graph. St000467The hyper-Wiener index of a connected graph. St000455The second largest eigenvalue of a graph if it is integral. St000655The length of the minimal rise of a Dyck path. St001722The number of minimal chains with small intervals between a binary word and the top element. St000629The defect of a binary word. St001107The number of times one can erase the first up and the last down step in a Dyck path and still remain a Dyck path. St000667The greatest common divisor of the parts of the partition. St000297The number of leading ones in a binary word. St000326The position of the first one in a binary word after appending a 1 at the end. St000296The length of the symmetric border of a binary word. St000478Another weight of a partition according to Alladi. St000733The row containing the largest entry of a standard tableau. St000745The index of the last row whose first entry is the row number in a standard Young tableau. St001696The natural major index of a standard Young tableau. St001256Number of simple reflexive modules that are 2-stable reflexive. St001481The minimal height of a peak of a Dyck path. St000439The position of the first down step of a Dyck path. St001371The length of the longest Yamanouchi prefix of a binary word. St000791The number of pairs of left tunnels, one strictly containing the other, of a Dyck path. St000025The number of initial rises of a Dyck path. St000026The position of the first return of a Dyck path. St000687The dimension of Hom(I,P) for the LNakayama algebra of a Dyck path. St001498The normalised height of a Nakayama algebra with magnitude 1. St001695The natural comajor index of a standard Young tableau. St001698The comajor index of a standard tableau minus the weighted size of its shape. St001699The major index of a standard tableau minus the weighted size of its shape. St001712The number of natural descents of a standard Young tableau. St001803The maximal overlap of the cylindrical tableau associated with a tableau. St000383The last part of an integer composition. St000657The smallest part of an integer composition. St000781The number of proper colouring schemes of a Ferrers diagram. St000315The number of isolated vertices of a graph. St000553The number of blocks of a graph. St000723The maximal cardinality of a set of vertices with the same neighbourhood in a graph. St000763The sum of the positions of the strong records of an integer composition. St000764The number of strong records in an integer composition. St000765The number of weak records in an integer composition. St000805The number of peaks of the associated bargraph. St000900The minimal number of repetitions of a part in an integer composition. St000902 The minimal number of repetitions of an integer composition. St001352The number of internal nodes in the modular decomposition of a graph. St000091The descent variation of a composition. St000447The number of pairs of vertices of a graph with distance 3. St000761The number of ascents in an integer composition. St000768The number of peaks in an integer composition. St000807The sum of the heights of the valleys of the associated bargraph. St001347The number of pairs of vertices of a graph having the same neighbourhood. St000273The domination number of a graph. St000544The cop number of a graph. St000762The sum of the positions of the weak records of an integer composition. St000916The packing number of a graph. St001740The number of graphs with the same symmetric edge polytope as the given graph. St001776The degree of the minimal polynomial of the largest Laplacian eigenvalue of a graph. St001829The common independence number of a graph. St000552The number of cut vertices of a graph. St001322The size of a minimal independent dominating set in a graph. St001339The irredundance number of a graph. St001363The Euler characteristic of a graph according to Knill. St000635The number of strictly order preserving maps of a poset into itself. St001785The number of ways to obtain a partition as the multiset of antidiagonal lengths of the Ferrers diagram of a partition. St001593This is the number of standard Young tableaux of the given shifted shape. St001283The number of finite solvable groups that are realised by the given partition over the complex numbers. St001284The number of finite groups that are realised by the given partition over the complex numbers. St001714The number of subpartitions of an integer partition that do not dominate the conjugate subpartition. St000999Number of indecomposable projective module with injective dimension equal to the global dimension in the Nakayama algebra corresponding to the Dyck path. St001006Number of simple modules with projective dimension equal to the global dimension of the Nakayama algebra corresponding to the Dyck path. St001292The injective dimension of the tensor product of two copies of the dual of the Nakayama algebra associated to a Dyck path. St001204Call a CNakayama algebra (a Nakayama algebra with a cyclic quiver) with Kupisch series L=[c_0,c_1,...,c_{n−1}] such that n=c_0 < c_i for all i > 0 a special CNakayama algebra. St001385The number of conjugacy classes of subgroups with connected subgroups of sizes prescribed by an integer partition. St000759The smallest missing part in an integer partition. St001711The number of permutations such that conjugation with a permutation of given cycle type yields the squared permutation. St000475The number of parts equal to 1 in a partition. St001122The multiplicity of the sign representation in the Kronecker square corresponding to a partition. St001934The number of monotone factorisations of genus zero of a permutation of given cycle type. St000093The cardinality of a maximal independent set of vertices of a graph. St000349The number of different adjacency matrices of a graph. St000388The number of orbits of vertices of a graph under automorphisms. St000786The maximal number of occurrences of a colour in a proper colouring of a graph. St001057The Grundy value of the game of creating an independent set in a graph. St001070The absolute value of the derivative of the chromatic polynomial of the graph at 1. St001236The dominant dimension of the corresponding Comp-Nakayama algebra. St001282The number of graphs with the same chromatic polynomial. St001333The cardinality of a minimal edge-isolating set of a graph. St001337The upper domination number of a graph. St001338The upper irredundance number of a graph. St001340The cardinality of a minimal non-edge isolating set of a graph. St001354The number of series nodes in the modular decomposition of a graph. St001373The logarithm of the number of winning configurations of the lights out game on a graph. St001393The induced matching number of a graph. St001463The number of distinct columns in the nullspace of a graph. St001642The Prague dimension of a graph. St001734The lettericity of a graph. St001739The number of graphs with the same edge polytope as the given graph. St001765The number of connected components of the friends and strangers graph. St001774The degree of the minimal polynomial of the smallest eigenvalue of a graph. St001775The degree of the minimal polynomial of the largest eigenvalue of a graph. St001917The order of toric promotion on the set of labellings of a graph. St001951The number of factors in the disjoint direct product decomposition of the automorphism group of a graph. St000258The burning number of a graph. St000268The number of strongly connected orientations of a graph. St000344The number of strongly connected outdegree sequences of a graph. St000448The number of pairs of vertices of a graph with distance 2. St000917The open packing number of a graph. St000918The 2-limited packing number of a graph. St001073The number of nowhere zero 3-flows of a graph. St001261The Castelnuovo-Mumford regularity of a graph. St001306The number of induced paths on four vertices in a graph. St001308The number of induced paths on three vertices in a graph. St001327The minimal number of occurrences of the split-pattern in a linear ordering of the vertices of the graph. St001350Half of the Albertson index of a graph. St001351The Albertson index of a graph. St001367The smallest number which does not occur as degree of a vertex in a graph. St001374The Padmakar-Ivan index of a graph. St001477The number of nowhere zero 5-flows of a graph. St001478The number of nowhere zero 4-flows of a graph. St001521Half the total irregularity of a graph. St001522The total irregularity of a graph. St001574The minimal number of edges to add or remove to make a graph regular. St001575The minimal number of edges to add or remove to make a graph edge transitive. St001576The minimal number of edges to add or remove to make a graph vertex transitive. St001577The minimal number of edges to add or remove to make a graph a cograph. St001646The number of edges that can be added without increasing the maximal degree of a graph. St001647The number of edges that can be added without increasing the clique number. St001648The number of edges that can be added without increasing the chromatic number. St001692The number of vertices with higher degree than the average degree in a graph. St001703The villainy of a graph. St001708The number of pairs of vertices of different degree in a graph. St001738The minimal order of a graph which is not an induced subgraph of the given graph. St001742The difference of the maximal and the minimal degree in a graph. St001764The number of non-convex subsets of vertices in a graph. St001798The difference of the number of edges in a graph and the number of edges in the complement of the Turán graph. St001799The number of proper separations of a graph. St001704The size of the largest multi-subset-intersection of the deck of a graph with the deck of another graph.
Sorry, this statistic was not found in the database
or
add this statistic to the database – it's very simple and we need your support!