searching the database
Your data matches 157 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: St001644
Values
[1] => ([],1)
=> ([],0)
=> ([],0)
=> 0
[1,1] => ([(0,1)],2)
=> ([],1)
=> ([],1)
=> 0
[2] => ([],2)
=> ([],0)
=> ([],0)
=> 0
[1,1,1] => ([(0,1),(0,2),(1,2)],3)
=> ([(0,1),(0,2),(1,2)],3)
=> ([],3)
=> 0
[1,2] => ([(1,2)],3)
=> ([],1)
=> ([],1)
=> 0
[2,1] => ([(0,2),(1,2)],3)
=> ([(0,1)],2)
=> ([],2)
=> 0
[3] => ([],3)
=> ([],0)
=> ([],0)
=> 0
[1,1,1,1] => ([(0,1),(0,2),(0,3),(1,2),(1,3),(2,3)],4)
=> ([(0,2),(0,3),(0,4),(0,5),(1,2),(1,3),(1,4),(1,5),(2,4),(2,5),(3,4),(3,5)],6)
=> ([(0,5),(1,4),(2,3)],6)
=> 1
[1,1,2] => ([(1,2),(1,3),(2,3)],4)
=> ([(0,1),(0,2),(1,2)],3)
=> ([],3)
=> 0
[1,2,1] => ([(0,3),(1,2),(1,3),(2,3)],4)
=> ([(0,2),(0,3),(1,2),(1,3),(2,3)],4)
=> ([(2,3)],4)
=> 1
[1,3] => ([(2,3)],4)
=> ([],1)
=> ([],1)
=> 0
[2,1,1] => ([(0,2),(0,3),(1,2),(1,3),(2,3)],4)
=> ([(0,2),(0,3),(0,4),(1,2),(1,3),(1,4),(2,4),(3,4)],5)
=> ([(1,4),(2,3)],5)
=> 1
[2,2] => ([(1,3),(2,3)],4)
=> ([(0,1)],2)
=> ([],2)
=> 0
[3,1] => ([(0,3),(1,3),(2,3)],4)
=> ([(0,1),(0,2),(1,2)],3)
=> ([],3)
=> 0
[4] => ([],4)
=> ([],0)
=> ([],0)
=> 0
[1,1,1,2] => ([(1,2),(1,3),(1,4),(2,3),(2,4),(3,4)],5)
=> ([(0,2),(0,3),(0,4),(0,5),(1,2),(1,3),(1,4),(1,5),(2,4),(2,5),(3,4),(3,5)],6)
=> ([(0,5),(1,4),(2,3)],6)
=> 1
[1,1,2,1] => ([(0,4),(1,2),(1,3),(1,4),(2,3),(2,4),(3,4)],5)
=> ([(0,4),(0,5),(0,6),(1,2),(1,3),(1,5),(1,6),(2,3),(2,4),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7)
=> ([(0,5),(1,4),(2,3),(3,6),(4,6),(5,6)],7)
=> 2
[1,1,3] => ([(2,3),(2,4),(3,4)],5)
=> ([(0,1),(0,2),(1,2)],3)
=> ([],3)
=> 0
[1,2,2] => ([(1,4),(2,3),(2,4),(3,4)],5)
=> ([(0,2),(0,3),(1,2),(1,3),(2,3)],4)
=> ([(2,3)],4)
=> 1
[1,3,1] => ([(0,4),(1,4),(2,3),(2,4),(3,4)],5)
=> ([(0,3),(0,4),(1,2),(1,3),(1,4),(2,3),(2,4),(3,4)],5)
=> ([(2,4),(3,4)],5)
=> 1
[1,4] => ([(3,4)],5)
=> ([],1)
=> ([],1)
=> 0
[2,1,2] => ([(1,3),(1,4),(2,3),(2,4),(3,4)],5)
=> ([(0,2),(0,3),(0,4),(1,2),(1,3),(1,4),(2,4),(3,4)],5)
=> ([(1,4),(2,3)],5)
=> 1
[2,2,1] => ([(0,4),(1,3),(1,4),(2,3),(2,4),(3,4)],5)
=> ([(0,1),(0,4),(0,5),(1,3),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6)
=> ([(1,5),(2,4),(3,4),(3,5)],6)
=> 1
[2,3] => ([(2,4),(3,4)],5)
=> ([(0,1)],2)
=> ([],2)
=> 0
[3,1,1] => ([(0,3),(0,4),(1,3),(1,4),(2,3),(2,4),(3,4)],5)
=> ([(0,3),(0,4),(0,5),(0,6),(1,2),(1,4),(1,5),(1,6),(2,3),(2,5),(2,6),(3,4),(3,6),(4,6),(5,6)],7)
=> ([(1,5),(1,6),(2,3),(2,4),(3,6),(4,5)],7)
=> 2
[3,2] => ([(1,4),(2,4),(3,4)],5)
=> ([(0,1),(0,2),(1,2)],3)
=> ([],3)
=> 0
[4,1] => ([(0,4),(1,4),(2,4),(3,4)],5)
=> ([(0,1),(0,2),(0,3),(1,2),(1,3),(2,3)],4)
=> ([],4)
=> 0
[5] => ([],5)
=> ([],0)
=> ([],0)
=> 0
[1,1,1,3] => ([(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6)
=> ([(0,2),(0,3),(0,4),(0,5),(1,2),(1,3),(1,4),(1,5),(2,4),(2,5),(3,4),(3,5)],6)
=> ([(0,5),(1,4),(2,3)],6)
=> 1
[1,1,2,2] => ([(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6)
=> ([(0,4),(0,5),(0,6),(1,2),(1,3),(1,5),(1,6),(2,3),(2,4),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7)
=> ([(0,5),(1,4),(2,3),(3,6),(4,6),(5,6)],7)
=> 2
[1,1,3,1] => ([(0,5),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6)
=> ([(0,1),(0,2),(0,6),(0,7),(1,2),(1,5),(1,7),(2,5),(2,6),(3,4),(3,5),(3,6),(3,7),(4,5),(4,6),(4,7),(5,6),(5,7),(6,7)],8)
=> ([(0,7),(1,6),(2,5),(3,5),(3,6),(3,7),(4,5),(4,6),(4,7)],8)
=> 3
[1,1,4] => ([(3,4),(3,5),(4,5)],6)
=> ([(0,1),(0,2),(1,2)],3)
=> ([],3)
=> 0
[1,2,3] => ([(2,5),(3,4),(3,5),(4,5)],6)
=> ([(0,2),(0,3),(1,2),(1,3),(2,3)],4)
=> ([(2,3)],4)
=> 1
[1,3,2] => ([(1,5),(2,5),(3,4),(3,5),(4,5)],6)
=> ([(0,3),(0,4),(1,2),(1,3),(1,4),(2,3),(2,4),(3,4)],5)
=> ([(2,4),(3,4)],5)
=> 1
[1,4,1] => ([(0,5),(1,5),(2,5),(3,4),(3,5),(4,5)],6)
=> ([(0,4),(0,5),(1,2),(1,3),(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6)
=> ([(2,5),(3,5),(4,5)],6)
=> 2
[1,5] => ([(4,5)],6)
=> ([],1)
=> ([],1)
=> 0
[2,1,3] => ([(2,4),(2,5),(3,4),(3,5),(4,5)],6)
=> ([(0,2),(0,3),(0,4),(1,2),(1,3),(1,4),(2,4),(3,4)],5)
=> ([(1,4),(2,3)],5)
=> 1
[2,2,2] => ([(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6)
=> ([(0,1),(0,4),(0,5),(1,3),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6)
=> ([(1,5),(2,4),(3,4),(3,5)],6)
=> 1
[2,3,1] => ([(0,5),(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6)
=> ([(0,1),(0,5),(0,6),(1,4),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
=> ([(1,6),(2,5),(3,5),(3,6),(4,5),(4,6)],7)
=> 2
[2,4] => ([(3,5),(4,5)],6)
=> ([(0,1)],2)
=> ([],2)
=> 0
[3,1,2] => ([(1,4),(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6)
=> ([(0,3),(0,4),(0,5),(0,6),(1,2),(1,4),(1,5),(1,6),(2,3),(2,5),(2,6),(3,4),(3,6),(4,6),(5,6)],7)
=> ([(1,5),(1,6),(2,3),(2,4),(3,6),(4,5)],7)
=> 2
[3,3] => ([(2,5),(3,5),(4,5)],6)
=> ([(0,1),(0,2),(1,2)],3)
=> ([],3)
=> 0
[4,1,1] => ([(0,4),(0,5),(1,4),(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6)
=> ([(0,4),(0,5),(0,6),(0,7),(0,8),(1,2),(1,3),(1,6),(1,7),(1,8),(2,3),(2,5),(2,7),(2,8),(3,4),(3,7),(3,8),(4,5),(4,6),(4,8),(5,6),(5,8),(6,8),(7,8)],9)
=> ([(1,6),(1,7),(1,8),(2,3),(2,4),(2,5),(3,7),(3,8),(4,6),(4,8),(5,6),(5,7)],9)
=> 2
[4,2] => ([(1,5),(2,5),(3,5),(4,5)],6)
=> ([(0,1),(0,2),(0,3),(1,2),(1,3),(2,3)],4)
=> ([],4)
=> 0
[5,1] => ([(0,5),(1,5),(2,5),(3,5),(4,5)],6)
=> ([(0,1),(0,2),(0,3),(0,4),(1,2),(1,3),(1,4),(2,3),(2,4),(3,4)],5)
=> ([],5)
=> 0
[6] => ([],6)
=> ([],0)
=> ([],0)
=> 0
[1,1,1,4] => ([(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
=> ([(0,2),(0,3),(0,4),(0,5),(1,2),(1,3),(1,4),(1,5),(2,4),(2,5),(3,4),(3,5)],6)
=> ([(0,5),(1,4),(2,3)],6)
=> 1
[1,1,2,3] => ([(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
=> ([(0,4),(0,5),(0,6),(1,2),(1,3),(1,5),(1,6),(2,3),(2,4),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7)
=> ([(0,5),(1,4),(2,3),(3,6),(4,6),(5,6)],7)
=> 2
[1,1,3,2] => ([(1,6),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
=> ([(0,1),(0,2),(0,6),(0,7),(1,2),(1,5),(1,7),(2,5),(2,6),(3,4),(3,5),(3,6),(3,7),(4,5),(4,6),(4,7),(5,6),(5,7),(6,7)],8)
=> ([(0,7),(1,6),(2,5),(3,5),(3,6),(3,7),(4,5),(4,6),(4,7)],8)
=> 3
[1,1,5] => ([(4,5),(4,6),(5,6)],7)
=> ([(0,1),(0,2),(1,2)],3)
=> ([],3)
=> 0
Description
The dimension of a graph.
The dimension of a graph is the least integer n such that there exists a representation of the graph in the Euclidean space of dimension n with all vertices distinct and all edges having unit length. Edges are allowed to intersect, however.
Matching statistic: St000537
Values
[1] => ([],1)
=> ([],0)
=> ([],0)
=> ? = 0
[1,1] => ([(0,1)],2)
=> ([],1)
=> ([],1)
=> 0
[2] => ([],2)
=> ([],0)
=> ([],0)
=> ? = 0
[1,1,1] => ([(0,1),(0,2),(1,2)],3)
=> ([(0,1),(0,2),(1,2)],3)
=> ([],3)
=> 0
[1,2] => ([(1,2)],3)
=> ([],1)
=> ([],1)
=> 0
[2,1] => ([(0,2),(1,2)],3)
=> ([(0,1)],2)
=> ([],2)
=> 0
[3] => ([],3)
=> ([],0)
=> ([],0)
=> ? = 0
[1,1,1,1] => ([(0,1),(0,2),(0,3),(1,2),(1,3),(2,3)],4)
=> ([(0,2),(0,3),(0,4),(0,5),(1,2),(1,3),(1,4),(1,5),(2,4),(2,5),(3,4),(3,5)],6)
=> ([(0,5),(1,4),(2,3)],6)
=> 1
[1,1,2] => ([(1,2),(1,3),(2,3)],4)
=> ([(0,1),(0,2),(1,2)],3)
=> ([],3)
=> 0
[1,2,1] => ([(0,3),(1,2),(1,3),(2,3)],4)
=> ([(0,2),(0,3),(1,2),(1,3),(2,3)],4)
=> ([(2,3)],4)
=> 1
[1,3] => ([(2,3)],4)
=> ([],1)
=> ([],1)
=> 0
[2,1,1] => ([(0,2),(0,3),(1,2),(1,3),(2,3)],4)
=> ([(0,2),(0,3),(0,4),(1,2),(1,3),(1,4),(2,4),(3,4)],5)
=> ([(1,4),(2,3)],5)
=> 1
[2,2] => ([(1,3),(2,3)],4)
=> ([(0,1)],2)
=> ([],2)
=> 0
[3,1] => ([(0,3),(1,3),(2,3)],4)
=> ([(0,1),(0,2),(1,2)],3)
=> ([],3)
=> 0
[4] => ([],4)
=> ([],0)
=> ([],0)
=> ? = 0
[1,1,1,2] => ([(1,2),(1,3),(1,4),(2,3),(2,4),(3,4)],5)
=> ([(0,2),(0,3),(0,4),(0,5),(1,2),(1,3),(1,4),(1,5),(2,4),(2,5),(3,4),(3,5)],6)
=> ([(0,5),(1,4),(2,3)],6)
=> 1
[1,1,2,1] => ([(0,4),(1,2),(1,3),(1,4),(2,3),(2,4),(3,4)],5)
=> ([(0,4),(0,5),(0,6),(1,2),(1,3),(1,5),(1,6),(2,3),(2,4),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7)
=> ([(0,5),(1,4),(2,3),(3,6),(4,6),(5,6)],7)
=> 2
[1,1,3] => ([(2,3),(2,4),(3,4)],5)
=> ([(0,1),(0,2),(1,2)],3)
=> ([],3)
=> 0
[1,2,2] => ([(1,4),(2,3),(2,4),(3,4)],5)
=> ([(0,2),(0,3),(1,2),(1,3),(2,3)],4)
=> ([(2,3)],4)
=> 1
[1,3,1] => ([(0,4),(1,4),(2,3),(2,4),(3,4)],5)
=> ([(0,3),(0,4),(1,2),(1,3),(1,4),(2,3),(2,4),(3,4)],5)
=> ([(2,4),(3,4)],5)
=> 1
[1,4] => ([(3,4)],5)
=> ([],1)
=> ([],1)
=> 0
[2,1,2] => ([(1,3),(1,4),(2,3),(2,4),(3,4)],5)
=> ([(0,2),(0,3),(0,4),(1,2),(1,3),(1,4),(2,4),(3,4)],5)
=> ([(1,4),(2,3)],5)
=> 1
[2,2,1] => ([(0,4),(1,3),(1,4),(2,3),(2,4),(3,4)],5)
=> ([(0,1),(0,4),(0,5),(1,3),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6)
=> ([(1,5),(2,4),(3,4),(3,5)],6)
=> 1
[2,3] => ([(2,4),(3,4)],5)
=> ([(0,1)],2)
=> ([],2)
=> 0
[3,1,1] => ([(0,3),(0,4),(1,3),(1,4),(2,3),(2,4),(3,4)],5)
=> ([(0,3),(0,4),(0,5),(0,6),(1,2),(1,4),(1,5),(1,6),(2,3),(2,5),(2,6),(3,4),(3,6),(4,6),(5,6)],7)
=> ([(1,5),(1,6),(2,3),(2,4),(3,6),(4,5)],7)
=> 2
[3,2] => ([(1,4),(2,4),(3,4)],5)
=> ([(0,1),(0,2),(1,2)],3)
=> ([],3)
=> 0
[4,1] => ([(0,4),(1,4),(2,4),(3,4)],5)
=> ([(0,1),(0,2),(0,3),(1,2),(1,3),(2,3)],4)
=> ([],4)
=> 0
[5] => ([],5)
=> ([],0)
=> ([],0)
=> ? = 0
[1,1,1,3] => ([(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6)
=> ([(0,2),(0,3),(0,4),(0,5),(1,2),(1,3),(1,4),(1,5),(2,4),(2,5),(3,4),(3,5)],6)
=> ([(0,5),(1,4),(2,3)],6)
=> 1
[1,1,2,2] => ([(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6)
=> ([(0,4),(0,5),(0,6),(1,2),(1,3),(1,5),(1,6),(2,3),(2,4),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7)
=> ([(0,5),(1,4),(2,3),(3,6),(4,6),(5,6)],7)
=> 2
[1,1,3,1] => ([(0,5),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6)
=> ([(0,1),(0,2),(0,6),(0,7),(1,2),(1,5),(1,7),(2,5),(2,6),(3,4),(3,5),(3,6),(3,7),(4,5),(4,6),(4,7),(5,6),(5,7),(6,7)],8)
=> ([(0,7),(1,6),(2,5),(3,5),(3,6),(3,7),(4,5),(4,6),(4,7)],8)
=> ? = 3
[1,1,4] => ([(3,4),(3,5),(4,5)],6)
=> ([(0,1),(0,2),(1,2)],3)
=> ([],3)
=> 0
[1,2,3] => ([(2,5),(3,4),(3,5),(4,5)],6)
=> ([(0,2),(0,3),(1,2),(1,3),(2,3)],4)
=> ([(2,3)],4)
=> 1
[1,3,2] => ([(1,5),(2,5),(3,4),(3,5),(4,5)],6)
=> ([(0,3),(0,4),(1,2),(1,3),(1,4),(2,3),(2,4),(3,4)],5)
=> ([(2,4),(3,4)],5)
=> 1
[1,4,1] => ([(0,5),(1,5),(2,5),(3,4),(3,5),(4,5)],6)
=> ([(0,4),(0,5),(1,2),(1,3),(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6)
=> ([(2,5),(3,5),(4,5)],6)
=> 2
[1,5] => ([(4,5)],6)
=> ([],1)
=> ([],1)
=> 0
[2,1,3] => ([(2,4),(2,5),(3,4),(3,5),(4,5)],6)
=> ([(0,2),(0,3),(0,4),(1,2),(1,3),(1,4),(2,4),(3,4)],5)
=> ([(1,4),(2,3)],5)
=> 1
[2,2,2] => ([(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6)
=> ([(0,1),(0,4),(0,5),(1,3),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6)
=> ([(1,5),(2,4),(3,4),(3,5)],6)
=> 1
[2,3,1] => ([(0,5),(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6)
=> ([(0,1),(0,5),(0,6),(1,4),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
=> ([(1,6),(2,5),(3,5),(3,6),(4,5),(4,6)],7)
=> 2
[2,4] => ([(3,5),(4,5)],6)
=> ([(0,1)],2)
=> ([],2)
=> 0
[3,1,2] => ([(1,4),(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6)
=> ([(0,3),(0,4),(0,5),(0,6),(1,2),(1,4),(1,5),(1,6),(2,3),(2,5),(2,6),(3,4),(3,6),(4,6),(5,6)],7)
=> ([(1,5),(1,6),(2,3),(2,4),(3,6),(4,5)],7)
=> 2
[3,3] => ([(2,5),(3,5),(4,5)],6)
=> ([(0,1),(0,2),(1,2)],3)
=> ([],3)
=> 0
[4,1,1] => ([(0,4),(0,5),(1,4),(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6)
=> ([(0,4),(0,5),(0,6),(0,7),(0,8),(1,2),(1,3),(1,6),(1,7),(1,8),(2,3),(2,5),(2,7),(2,8),(3,4),(3,7),(3,8),(4,5),(4,6),(4,8),(5,6),(5,8),(6,8),(7,8)],9)
=> ([(1,6),(1,7),(1,8),(2,3),(2,4),(2,5),(3,7),(3,8),(4,6),(4,8),(5,6),(5,7)],9)
=> ? = 2
[4,2] => ([(1,5),(2,5),(3,5),(4,5)],6)
=> ([(0,1),(0,2),(0,3),(1,2),(1,3),(2,3)],4)
=> ([],4)
=> 0
[5,1] => ([(0,5),(1,5),(2,5),(3,5),(4,5)],6)
=> ([(0,1),(0,2),(0,3),(0,4),(1,2),(1,3),(1,4),(2,3),(2,4),(3,4)],5)
=> ([],5)
=> 0
[6] => ([],6)
=> ([],0)
=> ([],0)
=> ? = 0
[1,1,1,4] => ([(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
=> ([(0,2),(0,3),(0,4),(0,5),(1,2),(1,3),(1,4),(1,5),(2,4),(2,5),(3,4),(3,5)],6)
=> ([(0,5),(1,4),(2,3)],6)
=> 1
[1,1,2,3] => ([(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
=> ([(0,4),(0,5),(0,6),(1,2),(1,3),(1,5),(1,6),(2,3),(2,4),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7)
=> ([(0,5),(1,4),(2,3),(3,6),(4,6),(5,6)],7)
=> 2
[1,1,3,2] => ([(1,6),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
=> ([(0,1),(0,2),(0,6),(0,7),(1,2),(1,5),(1,7),(2,5),(2,6),(3,4),(3,5),(3,6),(3,7),(4,5),(4,6),(4,7),(5,6),(5,7),(6,7)],8)
=> ([(0,7),(1,6),(2,5),(3,5),(3,6),(3,7),(4,5),(4,6),(4,7)],8)
=> ? = 3
[1,1,5] => ([(4,5),(4,6),(5,6)],7)
=> ([(0,1),(0,2),(1,2)],3)
=> ([],3)
=> 0
[1,2,4] => ([(3,6),(4,5),(4,6),(5,6)],7)
=> ([(0,2),(0,3),(1,2),(1,3),(2,3)],4)
=> ([(2,3)],4)
=> 1
[1,3,3] => ([(2,6),(3,6),(4,5),(4,6),(5,6)],7)
=> ([(0,3),(0,4),(1,2),(1,3),(1,4),(2,3),(2,4),(3,4)],5)
=> ([(2,4),(3,4)],5)
=> 1
[1,4,2] => ([(1,6),(2,6),(3,6),(4,5),(4,6),(5,6)],7)
=> ([(0,4),(0,5),(1,2),(1,3),(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6)
=> ([(2,5),(3,5),(4,5)],6)
=> 2
[1,5,1] => ([(0,6),(1,6),(2,6),(3,6),(4,5),(4,6),(5,6)],7)
=> ([(0,5),(0,6),(1,2),(1,3),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
=> ([(2,6),(3,6),(4,6),(5,6)],7)
=> 2
[1,6] => ([(5,6)],7)
=> ([],1)
=> ([],1)
=> 0
[2,1,4] => ([(3,5),(3,6),(4,5),(4,6),(5,6)],7)
=> ([(0,2),(0,3),(0,4),(1,2),(1,3),(1,4),(2,4),(3,4)],5)
=> ([(1,4),(2,3)],5)
=> 1
[2,2,3] => ([(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
=> ([(0,1),(0,4),(0,5),(1,3),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6)
=> ([(1,5),(2,4),(3,4),(3,5)],6)
=> 1
[2,3,2] => ([(1,6),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
=> ([(0,1),(0,5),(0,6),(1,4),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
=> ([(1,6),(2,5),(3,5),(3,6),(4,5),(4,6)],7)
=> 2
[2,5] => ([(4,6),(5,6)],7)
=> ([(0,1)],2)
=> ([],2)
=> 0
[4,1,2] => ([(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
=> ([(0,4),(0,5),(0,6),(0,7),(0,8),(1,2),(1,3),(1,6),(1,7),(1,8),(2,3),(2,5),(2,7),(2,8),(3,4),(3,7),(3,8),(4,5),(4,6),(4,8),(5,6),(5,8),(6,8),(7,8)],9)
=> ([(1,6),(1,7),(1,8),(2,3),(2,4),(2,5),(3,7),(3,8),(4,6),(4,8),(5,6),(5,7)],9)
=> ? = 2
[7] => ([],7)
=> ([],0)
=> ([],0)
=> ? = 0
Description
The cutwidth of a graph.
This is the minimum possible width of a linear ordering of its vertices, where the width of an ordering σ is the maximum, among all the prefixes of σ, of the number of edges that have exactly one vertex in a prefix.
Matching statistic: St001270
Values
[1] => ([],1)
=> ([],0)
=> ([],0)
=> ? = 0
[1,1] => ([(0,1)],2)
=> ([],1)
=> ([],1)
=> 0
[2] => ([],2)
=> ([],0)
=> ([],0)
=> ? = 0
[1,1,1] => ([(0,1),(0,2),(1,2)],3)
=> ([(0,1),(0,2),(1,2)],3)
=> ([],3)
=> 0
[1,2] => ([(1,2)],3)
=> ([],1)
=> ([],1)
=> 0
[2,1] => ([(0,2),(1,2)],3)
=> ([(0,1)],2)
=> ([],2)
=> 0
[3] => ([],3)
=> ([],0)
=> ([],0)
=> ? = 0
[1,1,1,1] => ([(0,1),(0,2),(0,3),(1,2),(1,3),(2,3)],4)
=> ([(0,2),(0,3),(0,4),(0,5),(1,2),(1,3),(1,4),(1,5),(2,4),(2,5),(3,4),(3,5)],6)
=> ([(0,5),(1,4),(2,3)],6)
=> 1
[1,1,2] => ([(1,2),(1,3),(2,3)],4)
=> ([(0,1),(0,2),(1,2)],3)
=> ([],3)
=> 0
[1,2,1] => ([(0,3),(1,2),(1,3),(2,3)],4)
=> ([(0,2),(0,3),(1,2),(1,3),(2,3)],4)
=> ([(2,3)],4)
=> 1
[1,3] => ([(2,3)],4)
=> ([],1)
=> ([],1)
=> 0
[2,1,1] => ([(0,2),(0,3),(1,2),(1,3),(2,3)],4)
=> ([(0,2),(0,3),(0,4),(1,2),(1,3),(1,4),(2,4),(3,4)],5)
=> ([(1,4),(2,3)],5)
=> 1
[2,2] => ([(1,3),(2,3)],4)
=> ([(0,1)],2)
=> ([],2)
=> 0
[3,1] => ([(0,3),(1,3),(2,3)],4)
=> ([(0,1),(0,2),(1,2)],3)
=> ([],3)
=> 0
[4] => ([],4)
=> ([],0)
=> ([],0)
=> ? = 0
[1,1,1,2] => ([(1,2),(1,3),(1,4),(2,3),(2,4),(3,4)],5)
=> ([(0,2),(0,3),(0,4),(0,5),(1,2),(1,3),(1,4),(1,5),(2,4),(2,5),(3,4),(3,5)],6)
=> ([(0,5),(1,4),(2,3)],6)
=> 1
[1,1,2,1] => ([(0,4),(1,2),(1,3),(1,4),(2,3),(2,4),(3,4)],5)
=> ([(0,4),(0,5),(0,6),(1,2),(1,3),(1,5),(1,6),(2,3),(2,4),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7)
=> ([(0,5),(1,4),(2,3),(3,6),(4,6),(5,6)],7)
=> 2
[1,1,3] => ([(2,3),(2,4),(3,4)],5)
=> ([(0,1),(0,2),(1,2)],3)
=> ([],3)
=> 0
[1,2,2] => ([(1,4),(2,3),(2,4),(3,4)],5)
=> ([(0,2),(0,3),(1,2),(1,3),(2,3)],4)
=> ([(2,3)],4)
=> 1
[1,3,1] => ([(0,4),(1,4),(2,3),(2,4),(3,4)],5)
=> ([(0,3),(0,4),(1,2),(1,3),(1,4),(2,3),(2,4),(3,4)],5)
=> ([(2,4),(3,4)],5)
=> 1
[1,4] => ([(3,4)],5)
=> ([],1)
=> ([],1)
=> 0
[2,1,2] => ([(1,3),(1,4),(2,3),(2,4),(3,4)],5)
=> ([(0,2),(0,3),(0,4),(1,2),(1,3),(1,4),(2,4),(3,4)],5)
=> ([(1,4),(2,3)],5)
=> 1
[2,2,1] => ([(0,4),(1,3),(1,4),(2,3),(2,4),(3,4)],5)
=> ([(0,1),(0,4),(0,5),(1,3),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6)
=> ([(1,5),(2,4),(3,4),(3,5)],6)
=> 1
[2,3] => ([(2,4),(3,4)],5)
=> ([(0,1)],2)
=> ([],2)
=> 0
[3,1,1] => ([(0,3),(0,4),(1,3),(1,4),(2,3),(2,4),(3,4)],5)
=> ([(0,3),(0,4),(0,5),(0,6),(1,2),(1,4),(1,5),(1,6),(2,3),(2,5),(2,6),(3,4),(3,6),(4,6),(5,6)],7)
=> ([(1,5),(1,6),(2,3),(2,4),(3,6),(4,5)],7)
=> 2
[3,2] => ([(1,4),(2,4),(3,4)],5)
=> ([(0,1),(0,2),(1,2)],3)
=> ([],3)
=> 0
[4,1] => ([(0,4),(1,4),(2,4),(3,4)],5)
=> ([(0,1),(0,2),(0,3),(1,2),(1,3),(2,3)],4)
=> ([],4)
=> 0
[5] => ([],5)
=> ([],0)
=> ([],0)
=> ? = 0
[1,1,1,3] => ([(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6)
=> ([(0,2),(0,3),(0,4),(0,5),(1,2),(1,3),(1,4),(1,5),(2,4),(2,5),(3,4),(3,5)],6)
=> ([(0,5),(1,4),(2,3)],6)
=> 1
[1,1,2,2] => ([(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6)
=> ([(0,4),(0,5),(0,6),(1,2),(1,3),(1,5),(1,6),(2,3),(2,4),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7)
=> ([(0,5),(1,4),(2,3),(3,6),(4,6),(5,6)],7)
=> 2
[1,1,3,1] => ([(0,5),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6)
=> ([(0,1),(0,2),(0,6),(0,7),(1,2),(1,5),(1,7),(2,5),(2,6),(3,4),(3,5),(3,6),(3,7),(4,5),(4,6),(4,7),(5,6),(5,7),(6,7)],8)
=> ([(0,7),(1,6),(2,5),(3,5),(3,6),(3,7),(4,5),(4,6),(4,7)],8)
=> ? = 3
[1,1,4] => ([(3,4),(3,5),(4,5)],6)
=> ([(0,1),(0,2),(1,2)],3)
=> ([],3)
=> 0
[1,2,3] => ([(2,5),(3,4),(3,5),(4,5)],6)
=> ([(0,2),(0,3),(1,2),(1,3),(2,3)],4)
=> ([(2,3)],4)
=> 1
[1,3,2] => ([(1,5),(2,5),(3,4),(3,5),(4,5)],6)
=> ([(0,3),(0,4),(1,2),(1,3),(1,4),(2,3),(2,4),(3,4)],5)
=> ([(2,4),(3,4)],5)
=> 1
[1,4,1] => ([(0,5),(1,5),(2,5),(3,4),(3,5),(4,5)],6)
=> ([(0,4),(0,5),(1,2),(1,3),(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6)
=> ([(2,5),(3,5),(4,5)],6)
=> 2
[1,5] => ([(4,5)],6)
=> ([],1)
=> ([],1)
=> 0
[2,1,3] => ([(2,4),(2,5),(3,4),(3,5),(4,5)],6)
=> ([(0,2),(0,3),(0,4),(1,2),(1,3),(1,4),(2,4),(3,4)],5)
=> ([(1,4),(2,3)],5)
=> 1
[2,2,2] => ([(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6)
=> ([(0,1),(0,4),(0,5),(1,3),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6)
=> ([(1,5),(2,4),(3,4),(3,5)],6)
=> 1
[2,3,1] => ([(0,5),(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6)
=> ([(0,1),(0,5),(0,6),(1,4),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
=> ([(1,6),(2,5),(3,5),(3,6),(4,5),(4,6)],7)
=> 2
[2,4] => ([(3,5),(4,5)],6)
=> ([(0,1)],2)
=> ([],2)
=> 0
[3,1,2] => ([(1,4),(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6)
=> ([(0,3),(0,4),(0,5),(0,6),(1,2),(1,4),(1,5),(1,6),(2,3),(2,5),(2,6),(3,4),(3,6),(4,6),(5,6)],7)
=> ([(1,5),(1,6),(2,3),(2,4),(3,6),(4,5)],7)
=> 2
[3,3] => ([(2,5),(3,5),(4,5)],6)
=> ([(0,1),(0,2),(1,2)],3)
=> ([],3)
=> 0
[4,1,1] => ([(0,4),(0,5),(1,4),(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6)
=> ([(0,4),(0,5),(0,6),(0,7),(0,8),(1,2),(1,3),(1,6),(1,7),(1,8),(2,3),(2,5),(2,7),(2,8),(3,4),(3,7),(3,8),(4,5),(4,6),(4,8),(5,6),(5,8),(6,8),(7,8)],9)
=> ([(1,6),(1,7),(1,8),(2,3),(2,4),(2,5),(3,7),(3,8),(4,6),(4,8),(5,6),(5,7)],9)
=> ? = 2
[4,2] => ([(1,5),(2,5),(3,5),(4,5)],6)
=> ([(0,1),(0,2),(0,3),(1,2),(1,3),(2,3)],4)
=> ([],4)
=> 0
[5,1] => ([(0,5),(1,5),(2,5),(3,5),(4,5)],6)
=> ([(0,1),(0,2),(0,3),(0,4),(1,2),(1,3),(1,4),(2,3),(2,4),(3,4)],5)
=> ([],5)
=> 0
[6] => ([],6)
=> ([],0)
=> ([],0)
=> ? = 0
[1,1,1,4] => ([(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
=> ([(0,2),(0,3),(0,4),(0,5),(1,2),(1,3),(1,4),(1,5),(2,4),(2,5),(3,4),(3,5)],6)
=> ([(0,5),(1,4),(2,3)],6)
=> 1
[1,1,2,3] => ([(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
=> ([(0,4),(0,5),(0,6),(1,2),(1,3),(1,5),(1,6),(2,3),(2,4),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7)
=> ([(0,5),(1,4),(2,3),(3,6),(4,6),(5,6)],7)
=> 2
[1,1,3,2] => ([(1,6),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
=> ([(0,1),(0,2),(0,6),(0,7),(1,2),(1,5),(1,7),(2,5),(2,6),(3,4),(3,5),(3,6),(3,7),(4,5),(4,6),(4,7),(5,6),(5,7),(6,7)],8)
=> ([(0,7),(1,6),(2,5),(3,5),(3,6),(3,7),(4,5),(4,6),(4,7)],8)
=> ? = 3
[1,1,5] => ([(4,5),(4,6),(5,6)],7)
=> ([(0,1),(0,2),(1,2)],3)
=> ([],3)
=> 0
[1,2,4] => ([(3,6),(4,5),(4,6),(5,6)],7)
=> ([(0,2),(0,3),(1,2),(1,3),(2,3)],4)
=> ([(2,3)],4)
=> 1
[1,3,3] => ([(2,6),(3,6),(4,5),(4,6),(5,6)],7)
=> ([(0,3),(0,4),(1,2),(1,3),(1,4),(2,3),(2,4),(3,4)],5)
=> ([(2,4),(3,4)],5)
=> 1
[1,4,2] => ([(1,6),(2,6),(3,6),(4,5),(4,6),(5,6)],7)
=> ([(0,4),(0,5),(1,2),(1,3),(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6)
=> ([(2,5),(3,5),(4,5)],6)
=> 2
[1,5,1] => ([(0,6),(1,6),(2,6),(3,6),(4,5),(4,6),(5,6)],7)
=> ([(0,5),(0,6),(1,2),(1,3),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
=> ([(2,6),(3,6),(4,6),(5,6)],7)
=> 2
[1,6] => ([(5,6)],7)
=> ([],1)
=> ([],1)
=> 0
[2,1,4] => ([(3,5),(3,6),(4,5),(4,6),(5,6)],7)
=> ([(0,2),(0,3),(0,4),(1,2),(1,3),(1,4),(2,4),(3,4)],5)
=> ([(1,4),(2,3)],5)
=> 1
[2,2,3] => ([(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
=> ([(0,1),(0,4),(0,5),(1,3),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6)
=> ([(1,5),(2,4),(3,4),(3,5)],6)
=> 1
[2,3,2] => ([(1,6),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
=> ([(0,1),(0,5),(0,6),(1,4),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
=> ([(1,6),(2,5),(3,5),(3,6),(4,5),(4,6)],7)
=> 2
[2,5] => ([(4,6),(5,6)],7)
=> ([(0,1)],2)
=> ([],2)
=> 0
[4,1,2] => ([(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
=> ([(0,4),(0,5),(0,6),(0,7),(0,8),(1,2),(1,3),(1,6),(1,7),(1,8),(2,3),(2,5),(2,7),(2,8),(3,4),(3,7),(3,8),(4,5),(4,6),(4,8),(5,6),(5,8),(6,8),(7,8)],9)
=> ([(1,6),(1,7),(1,8),(2,3),(2,4),(2,5),(3,7),(3,8),(4,6),(4,8),(5,6),(5,7)],9)
=> ? = 2
[7] => ([],7)
=> ([],0)
=> ([],0)
=> ? = 0
Description
The bandwidth of a graph.
The bandwidth of a graph is the smallest number k such that the vertices of the graph can be
ordered as v1,…,vn with k⋅d(vi,vj)≥|i−j|.
We adopt the convention that the singleton graph has bandwidth 0, consistent with the bandwith of the complete graph on n vertices having bandwidth n−1, but in contrast to any path graph on more than one vertex having bandwidth 1. The bandwidth of a disconnected graph is the maximum of the bandwidths of the connected components.
Matching statistic: St001962
Values
[1] => ([],1)
=> ([],0)
=> ([],0)
=> ? = 0
[1,1] => ([(0,1)],2)
=> ([],1)
=> ([],1)
=> 0
[2] => ([],2)
=> ([],0)
=> ([],0)
=> ? = 0
[1,1,1] => ([(0,1),(0,2),(1,2)],3)
=> ([(0,1),(0,2),(1,2)],3)
=> ([],3)
=> 0
[1,2] => ([(1,2)],3)
=> ([],1)
=> ([],1)
=> 0
[2,1] => ([(0,2),(1,2)],3)
=> ([(0,1)],2)
=> ([],2)
=> 0
[3] => ([],3)
=> ([],0)
=> ([],0)
=> ? = 0
[1,1,1,1] => ([(0,1),(0,2),(0,3),(1,2),(1,3),(2,3)],4)
=> ([(0,2),(0,3),(0,4),(0,5),(1,2),(1,3),(1,4),(1,5),(2,4),(2,5),(3,4),(3,5)],6)
=> ([(0,5),(1,4),(2,3)],6)
=> 1
[1,1,2] => ([(1,2),(1,3),(2,3)],4)
=> ([(0,1),(0,2),(1,2)],3)
=> ([],3)
=> 0
[1,2,1] => ([(0,3),(1,2),(1,3),(2,3)],4)
=> ([(0,2),(0,3),(1,2),(1,3),(2,3)],4)
=> ([(2,3)],4)
=> 1
[1,3] => ([(2,3)],4)
=> ([],1)
=> ([],1)
=> 0
[2,1,1] => ([(0,2),(0,3),(1,2),(1,3),(2,3)],4)
=> ([(0,2),(0,3),(0,4),(1,2),(1,3),(1,4),(2,4),(3,4)],5)
=> ([(1,4),(2,3)],5)
=> 1
[2,2] => ([(1,3),(2,3)],4)
=> ([(0,1)],2)
=> ([],2)
=> 0
[3,1] => ([(0,3),(1,3),(2,3)],4)
=> ([(0,1),(0,2),(1,2)],3)
=> ([],3)
=> 0
[4] => ([],4)
=> ([],0)
=> ([],0)
=> ? = 0
[1,1,1,2] => ([(1,2),(1,3),(1,4),(2,3),(2,4),(3,4)],5)
=> ([(0,2),(0,3),(0,4),(0,5),(1,2),(1,3),(1,4),(1,5),(2,4),(2,5),(3,4),(3,5)],6)
=> ([(0,5),(1,4),(2,3)],6)
=> 1
[1,1,2,1] => ([(0,4),(1,2),(1,3),(1,4),(2,3),(2,4),(3,4)],5)
=> ([(0,4),(0,5),(0,6),(1,2),(1,3),(1,5),(1,6),(2,3),(2,4),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7)
=> ([(0,5),(1,4),(2,3),(3,6),(4,6),(5,6)],7)
=> 2
[1,1,3] => ([(2,3),(2,4),(3,4)],5)
=> ([(0,1),(0,2),(1,2)],3)
=> ([],3)
=> 0
[1,2,2] => ([(1,4),(2,3),(2,4),(3,4)],5)
=> ([(0,2),(0,3),(1,2),(1,3),(2,3)],4)
=> ([(2,3)],4)
=> 1
[1,3,1] => ([(0,4),(1,4),(2,3),(2,4),(3,4)],5)
=> ([(0,3),(0,4),(1,2),(1,3),(1,4),(2,3),(2,4),(3,4)],5)
=> ([(2,4),(3,4)],5)
=> 1
[1,4] => ([(3,4)],5)
=> ([],1)
=> ([],1)
=> 0
[2,1,2] => ([(1,3),(1,4),(2,3),(2,4),(3,4)],5)
=> ([(0,2),(0,3),(0,4),(1,2),(1,3),(1,4),(2,4),(3,4)],5)
=> ([(1,4),(2,3)],5)
=> 1
[2,2,1] => ([(0,4),(1,3),(1,4),(2,3),(2,4),(3,4)],5)
=> ([(0,1),(0,4),(0,5),(1,3),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6)
=> ([(1,5),(2,4),(3,4),(3,5)],6)
=> 1
[2,3] => ([(2,4),(3,4)],5)
=> ([(0,1)],2)
=> ([],2)
=> 0
[3,1,1] => ([(0,3),(0,4),(1,3),(1,4),(2,3),(2,4),(3,4)],5)
=> ([(0,3),(0,4),(0,5),(0,6),(1,2),(1,4),(1,5),(1,6),(2,3),(2,5),(2,6),(3,4),(3,6),(4,6),(5,6)],7)
=> ([(1,5),(1,6),(2,3),(2,4),(3,6),(4,5)],7)
=> 2
[3,2] => ([(1,4),(2,4),(3,4)],5)
=> ([(0,1),(0,2),(1,2)],3)
=> ([],3)
=> 0
[4,1] => ([(0,4),(1,4),(2,4),(3,4)],5)
=> ([(0,1),(0,2),(0,3),(1,2),(1,3),(2,3)],4)
=> ([],4)
=> 0
[5] => ([],5)
=> ([],0)
=> ([],0)
=> ? = 0
[1,1,1,3] => ([(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6)
=> ([(0,2),(0,3),(0,4),(0,5),(1,2),(1,3),(1,4),(1,5),(2,4),(2,5),(3,4),(3,5)],6)
=> ([(0,5),(1,4),(2,3)],6)
=> 1
[1,1,2,2] => ([(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6)
=> ([(0,4),(0,5),(0,6),(1,2),(1,3),(1,5),(1,6),(2,3),(2,4),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7)
=> ([(0,5),(1,4),(2,3),(3,6),(4,6),(5,6)],7)
=> 2
[1,1,3,1] => ([(0,5),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6)
=> ([(0,1),(0,2),(0,6),(0,7),(1,2),(1,5),(1,7),(2,5),(2,6),(3,4),(3,5),(3,6),(3,7),(4,5),(4,6),(4,7),(5,6),(5,7),(6,7)],8)
=> ([(0,7),(1,6),(2,5),(3,5),(3,6),(3,7),(4,5),(4,6),(4,7)],8)
=> ? = 3
[1,1,4] => ([(3,4),(3,5),(4,5)],6)
=> ([(0,1),(0,2),(1,2)],3)
=> ([],3)
=> 0
[1,2,3] => ([(2,5),(3,4),(3,5),(4,5)],6)
=> ([(0,2),(0,3),(1,2),(1,3),(2,3)],4)
=> ([(2,3)],4)
=> 1
[1,3,2] => ([(1,5),(2,5),(3,4),(3,5),(4,5)],6)
=> ([(0,3),(0,4),(1,2),(1,3),(1,4),(2,3),(2,4),(3,4)],5)
=> ([(2,4),(3,4)],5)
=> 1
[1,4,1] => ([(0,5),(1,5),(2,5),(3,4),(3,5),(4,5)],6)
=> ([(0,4),(0,5),(1,2),(1,3),(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6)
=> ([(2,5),(3,5),(4,5)],6)
=> 2
[1,5] => ([(4,5)],6)
=> ([],1)
=> ([],1)
=> 0
[2,1,3] => ([(2,4),(2,5),(3,4),(3,5),(4,5)],6)
=> ([(0,2),(0,3),(0,4),(1,2),(1,3),(1,4),(2,4),(3,4)],5)
=> ([(1,4),(2,3)],5)
=> 1
[2,2,2] => ([(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6)
=> ([(0,1),(0,4),(0,5),(1,3),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6)
=> ([(1,5),(2,4),(3,4),(3,5)],6)
=> 1
[2,3,1] => ([(0,5),(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6)
=> ([(0,1),(0,5),(0,6),(1,4),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
=> ([(1,6),(2,5),(3,5),(3,6),(4,5),(4,6)],7)
=> 2
[2,4] => ([(3,5),(4,5)],6)
=> ([(0,1)],2)
=> ([],2)
=> 0
[3,1,2] => ([(1,4),(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6)
=> ([(0,3),(0,4),(0,5),(0,6),(1,2),(1,4),(1,5),(1,6),(2,3),(2,5),(2,6),(3,4),(3,6),(4,6),(5,6)],7)
=> ([(1,5),(1,6),(2,3),(2,4),(3,6),(4,5)],7)
=> 2
[3,3] => ([(2,5),(3,5),(4,5)],6)
=> ([(0,1),(0,2),(1,2)],3)
=> ([],3)
=> 0
[4,1,1] => ([(0,4),(0,5),(1,4),(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6)
=> ([(0,4),(0,5),(0,6),(0,7),(0,8),(1,2),(1,3),(1,6),(1,7),(1,8),(2,3),(2,5),(2,7),(2,8),(3,4),(3,7),(3,8),(4,5),(4,6),(4,8),(5,6),(5,8),(6,8),(7,8)],9)
=> ([(1,6),(1,7),(1,8),(2,3),(2,4),(2,5),(3,7),(3,8),(4,6),(4,8),(5,6),(5,7)],9)
=> ? = 2
[4,2] => ([(1,5),(2,5),(3,5),(4,5)],6)
=> ([(0,1),(0,2),(0,3),(1,2),(1,3),(2,3)],4)
=> ([],4)
=> 0
[5,1] => ([(0,5),(1,5),(2,5),(3,5),(4,5)],6)
=> ([(0,1),(0,2),(0,3),(0,4),(1,2),(1,3),(1,4),(2,3),(2,4),(3,4)],5)
=> ([],5)
=> 0
[6] => ([],6)
=> ([],0)
=> ([],0)
=> ? = 0
[1,1,1,4] => ([(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
=> ([(0,2),(0,3),(0,4),(0,5),(1,2),(1,3),(1,4),(1,5),(2,4),(2,5),(3,4),(3,5)],6)
=> ([(0,5),(1,4),(2,3)],6)
=> 1
[1,1,2,3] => ([(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
=> ([(0,4),(0,5),(0,6),(1,2),(1,3),(1,5),(1,6),(2,3),(2,4),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7)
=> ([(0,5),(1,4),(2,3),(3,6),(4,6),(5,6)],7)
=> 2
[1,1,3,2] => ([(1,6),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
=> ([(0,1),(0,2),(0,6),(0,7),(1,2),(1,5),(1,7),(2,5),(2,6),(3,4),(3,5),(3,6),(3,7),(4,5),(4,6),(4,7),(5,6),(5,7),(6,7)],8)
=> ([(0,7),(1,6),(2,5),(3,5),(3,6),(3,7),(4,5),(4,6),(4,7)],8)
=> ? = 3
[1,1,5] => ([(4,5),(4,6),(5,6)],7)
=> ([(0,1),(0,2),(1,2)],3)
=> ([],3)
=> 0
[1,2,4] => ([(3,6),(4,5),(4,6),(5,6)],7)
=> ([(0,2),(0,3),(1,2),(1,3),(2,3)],4)
=> ([(2,3)],4)
=> 1
[1,3,3] => ([(2,6),(3,6),(4,5),(4,6),(5,6)],7)
=> ([(0,3),(0,4),(1,2),(1,3),(1,4),(2,3),(2,4),(3,4)],5)
=> ([(2,4),(3,4)],5)
=> 1
[1,4,2] => ([(1,6),(2,6),(3,6),(4,5),(4,6),(5,6)],7)
=> ([(0,4),(0,5),(1,2),(1,3),(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6)
=> ([(2,5),(3,5),(4,5)],6)
=> 2
[1,5,1] => ([(0,6),(1,6),(2,6),(3,6),(4,5),(4,6),(5,6)],7)
=> ([(0,5),(0,6),(1,2),(1,3),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
=> ([(2,6),(3,6),(4,6),(5,6)],7)
=> 2
[1,6] => ([(5,6)],7)
=> ([],1)
=> ([],1)
=> 0
[2,1,4] => ([(3,5),(3,6),(4,5),(4,6),(5,6)],7)
=> ([(0,2),(0,3),(0,4),(1,2),(1,3),(1,4),(2,4),(3,4)],5)
=> ([(1,4),(2,3)],5)
=> 1
[2,2,3] => ([(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
=> ([(0,1),(0,4),(0,5),(1,3),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6)
=> ([(1,5),(2,4),(3,4),(3,5)],6)
=> 1
[2,3,2] => ([(1,6),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
=> ([(0,1),(0,5),(0,6),(1,4),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
=> ([(1,6),(2,5),(3,5),(3,6),(4,5),(4,6)],7)
=> 2
[2,5] => ([(4,6),(5,6)],7)
=> ([(0,1)],2)
=> ([],2)
=> 0
[4,1,2] => ([(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
=> ([(0,4),(0,5),(0,6),(0,7),(0,8),(1,2),(1,3),(1,6),(1,7),(1,8),(2,3),(2,5),(2,7),(2,8),(3,4),(3,7),(3,8),(4,5),(4,6),(4,8),(5,6),(5,8),(6,8),(7,8)],9)
=> ([(1,6),(1,7),(1,8),(2,3),(2,4),(2,5),(3,7),(3,8),(4,6),(4,8),(5,6),(5,7)],9)
=> ? = 2
[7] => ([],7)
=> ([],0)
=> ([],0)
=> ? = 0
Description
The proper pathwidth of a graph.
The proper pathwidth ppw(G) was introduced in [1] as the minimum width of a proper-path-decomposition. Barioli et al. [2] showed that if G has at least one edge, then ppw(G) is the minimum k for which G is a minor of the Cartesian product Kk◻P of a complete graph on k vertices with a path; and further that ppw(G) is the minor monotone floor ⌊Z⌋(G):=min of the [[St000482|zero forcing number]] \operatorname{Z}(G). It can be shown [3, Corollary 9.130] that only the spanning supergraphs need to be considered for H in this definition, i.e. \lfloor \operatorname{Z} \rfloor(G) = \min\{\operatorname{Z}(H) \mid G \le H,\; V(H) = V(G)\}.
The minimum degree \delta, treewidth \operatorname{tw}, and pathwidth \operatorname{pw} satisfy
\delta \le \operatorname{tw} \le \operatorname{pw} \le \operatorname{ppw} = \lfloor \operatorname{Z} \rfloor \le \operatorname{pw} + 1.
Note that [4] uses a different notion of proper pathwidth, which is equal to bandwidth.
Matching statistic: St001642
(load all 2 compositions to match this statistic)
(load all 2 compositions to match this statistic)
Values
[1] => ([],1)
=> ([],0)
=> ? = 0 + 1
[1,1] => ([(0,1)],2)
=> ([],1)
=> 1 = 0 + 1
[2] => ([],2)
=> ([],0)
=> ? = 0 + 1
[1,1,1] => ([(0,1),(0,2),(1,2)],3)
=> ([(0,1),(0,2),(1,2)],3)
=> 1 = 0 + 1
[1,2] => ([(1,2)],3)
=> ([],1)
=> 1 = 0 + 1
[2,1] => ([(0,2),(1,2)],3)
=> ([(0,1)],2)
=> 1 = 0 + 1
[3] => ([],3)
=> ([],0)
=> ? = 0 + 1
[1,1,1,1] => ([(0,1),(0,2),(0,3),(1,2),(1,3),(2,3)],4)
=> ([(0,2),(0,3),(0,4),(0,5),(1,2),(1,3),(1,4),(1,5),(2,4),(2,5),(3,4),(3,5)],6)
=> 2 = 1 + 1
[1,1,2] => ([(1,2),(1,3),(2,3)],4)
=> ([(0,1),(0,2),(1,2)],3)
=> 1 = 0 + 1
[1,2,1] => ([(0,3),(1,2),(1,3),(2,3)],4)
=> ([(0,2),(0,3),(1,2),(1,3),(2,3)],4)
=> 2 = 1 + 1
[1,3] => ([(2,3)],4)
=> ([],1)
=> 1 = 0 + 1
[2,1,1] => ([(0,2),(0,3),(1,2),(1,3),(2,3)],4)
=> ([(0,2),(0,3),(0,4),(1,2),(1,3),(1,4),(2,4),(3,4)],5)
=> 2 = 1 + 1
[2,2] => ([(1,3),(2,3)],4)
=> ([(0,1)],2)
=> 1 = 0 + 1
[3,1] => ([(0,3),(1,3),(2,3)],4)
=> ([(0,1),(0,2),(1,2)],3)
=> 1 = 0 + 1
[4] => ([],4)
=> ([],0)
=> ? = 0 + 1
[1,1,1,2] => ([(1,2),(1,3),(1,4),(2,3),(2,4),(3,4)],5)
=> ([(0,2),(0,3),(0,4),(0,5),(1,2),(1,3),(1,4),(1,5),(2,4),(2,5),(3,4),(3,5)],6)
=> 2 = 1 + 1
[1,1,2,1] => ([(0,4),(1,2),(1,3),(1,4),(2,3),(2,4),(3,4)],5)
=> ([(0,4),(0,5),(0,6),(1,2),(1,3),(1,5),(1,6),(2,3),(2,4),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7)
=> ? = 2 + 1
[1,1,3] => ([(2,3),(2,4),(3,4)],5)
=> ([(0,1),(0,2),(1,2)],3)
=> 1 = 0 + 1
[1,2,2] => ([(1,4),(2,3),(2,4),(3,4)],5)
=> ([(0,2),(0,3),(1,2),(1,3),(2,3)],4)
=> 2 = 1 + 1
[1,3,1] => ([(0,4),(1,4),(2,3),(2,4),(3,4)],5)
=> ([(0,3),(0,4),(1,2),(1,3),(1,4),(2,3),(2,4),(3,4)],5)
=> 2 = 1 + 1
[1,4] => ([(3,4)],5)
=> ([],1)
=> 1 = 0 + 1
[2,1,2] => ([(1,3),(1,4),(2,3),(2,4),(3,4)],5)
=> ([(0,2),(0,3),(0,4),(1,2),(1,3),(1,4),(2,4),(3,4)],5)
=> 2 = 1 + 1
[2,2,1] => ([(0,4),(1,3),(1,4),(2,3),(2,4),(3,4)],5)
=> ([(0,1),(0,4),(0,5),(1,3),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6)
=> 2 = 1 + 1
[2,3] => ([(2,4),(3,4)],5)
=> ([(0,1)],2)
=> 1 = 0 + 1
[3,1,1] => ([(0,3),(0,4),(1,3),(1,4),(2,3),(2,4),(3,4)],5)
=> ([(0,3),(0,4),(0,5),(0,6),(1,2),(1,4),(1,5),(1,6),(2,3),(2,5),(2,6),(3,4),(3,6),(4,6),(5,6)],7)
=> ? = 2 + 1
[3,2] => ([(1,4),(2,4),(3,4)],5)
=> ([(0,1),(0,2),(1,2)],3)
=> 1 = 0 + 1
[4,1] => ([(0,4),(1,4),(2,4),(3,4)],5)
=> ([(0,1),(0,2),(0,3),(1,2),(1,3),(2,3)],4)
=> 1 = 0 + 1
[5] => ([],5)
=> ([],0)
=> ? = 0 + 1
[1,1,1,3] => ([(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6)
=> ([(0,2),(0,3),(0,4),(0,5),(1,2),(1,3),(1,4),(1,5),(2,4),(2,5),(3,4),(3,5)],6)
=> 2 = 1 + 1
[1,1,2,2] => ([(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6)
=> ([(0,4),(0,5),(0,6),(1,2),(1,3),(1,5),(1,6),(2,3),(2,4),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7)
=> ? = 2 + 1
[1,1,3,1] => ([(0,5),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6)
=> ([(0,1),(0,2),(0,6),(0,7),(1,2),(1,5),(1,7),(2,5),(2,6),(3,4),(3,5),(3,6),(3,7),(4,5),(4,6),(4,7),(5,6),(5,7),(6,7)],8)
=> ? = 3 + 1
[1,1,4] => ([(3,4),(3,5),(4,5)],6)
=> ([(0,1),(0,2),(1,2)],3)
=> 1 = 0 + 1
[1,2,3] => ([(2,5),(3,4),(3,5),(4,5)],6)
=> ([(0,2),(0,3),(1,2),(1,3),(2,3)],4)
=> 2 = 1 + 1
[1,3,2] => ([(1,5),(2,5),(3,4),(3,5),(4,5)],6)
=> ([(0,3),(0,4),(1,2),(1,3),(1,4),(2,3),(2,4),(3,4)],5)
=> 2 = 1 + 1
[1,4,1] => ([(0,5),(1,5),(2,5),(3,4),(3,5),(4,5)],6)
=> ([(0,4),(0,5),(1,2),(1,3),(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6)
=> 3 = 2 + 1
[1,5] => ([(4,5)],6)
=> ([],1)
=> 1 = 0 + 1
[2,1,3] => ([(2,4),(2,5),(3,4),(3,5),(4,5)],6)
=> ([(0,2),(0,3),(0,4),(1,2),(1,3),(1,4),(2,4),(3,4)],5)
=> 2 = 1 + 1
[2,2,2] => ([(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6)
=> ([(0,1),(0,4),(0,5),(1,3),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6)
=> 2 = 1 + 1
[2,3,1] => ([(0,5),(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6)
=> ([(0,1),(0,5),(0,6),(1,4),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
=> ? = 2 + 1
[2,4] => ([(3,5),(4,5)],6)
=> ([(0,1)],2)
=> 1 = 0 + 1
[3,1,2] => ([(1,4),(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6)
=> ([(0,3),(0,4),(0,5),(0,6),(1,2),(1,4),(1,5),(1,6),(2,3),(2,5),(2,6),(3,4),(3,6),(4,6),(5,6)],7)
=> ? = 2 + 1
[3,3] => ([(2,5),(3,5),(4,5)],6)
=> ([(0,1),(0,2),(1,2)],3)
=> 1 = 0 + 1
[4,1,1] => ([(0,4),(0,5),(1,4),(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6)
=> ([(0,4),(0,5),(0,6),(0,7),(0,8),(1,2),(1,3),(1,6),(1,7),(1,8),(2,3),(2,5),(2,7),(2,8),(3,4),(3,7),(3,8),(4,5),(4,6),(4,8),(5,6),(5,8),(6,8),(7,8)],9)
=> ? = 2 + 1
[4,2] => ([(1,5),(2,5),(3,5),(4,5)],6)
=> ([(0,1),(0,2),(0,3),(1,2),(1,3),(2,3)],4)
=> 1 = 0 + 1
[5,1] => ([(0,5),(1,5),(2,5),(3,5),(4,5)],6)
=> ([(0,1),(0,2),(0,3),(0,4),(1,2),(1,3),(1,4),(2,3),(2,4),(3,4)],5)
=> 1 = 0 + 1
[6] => ([],6)
=> ([],0)
=> ? = 0 + 1
[1,1,1,4] => ([(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
=> ([(0,2),(0,3),(0,4),(0,5),(1,2),(1,3),(1,4),(1,5),(2,4),(2,5),(3,4),(3,5)],6)
=> 2 = 1 + 1
[1,1,2,3] => ([(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
=> ([(0,4),(0,5),(0,6),(1,2),(1,3),(1,5),(1,6),(2,3),(2,4),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7)
=> ? = 2 + 1
[1,1,3,2] => ([(1,6),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
=> ([(0,1),(0,2),(0,6),(0,7),(1,2),(1,5),(1,7),(2,5),(2,6),(3,4),(3,5),(3,6),(3,7),(4,5),(4,6),(4,7),(5,6),(5,7),(6,7)],8)
=> ? = 3 + 1
[1,1,5] => ([(4,5),(4,6),(5,6)],7)
=> ([(0,1),(0,2),(1,2)],3)
=> 1 = 0 + 1
[1,2,4] => ([(3,6),(4,5),(4,6),(5,6)],7)
=> ([(0,2),(0,3),(1,2),(1,3),(2,3)],4)
=> 2 = 1 + 1
[1,3,3] => ([(2,6),(3,6),(4,5),(4,6),(5,6)],7)
=> ([(0,3),(0,4),(1,2),(1,3),(1,4),(2,3),(2,4),(3,4)],5)
=> 2 = 1 + 1
[1,4,2] => ([(1,6),(2,6),(3,6),(4,5),(4,6),(5,6)],7)
=> ([(0,4),(0,5),(1,2),(1,3),(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6)
=> 3 = 2 + 1
[1,5,1] => ([(0,6),(1,6),(2,6),(3,6),(4,5),(4,6),(5,6)],7)
=> ([(0,5),(0,6),(1,2),(1,3),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
=> ? = 2 + 1
[1,6] => ([(5,6)],7)
=> ([],1)
=> 1 = 0 + 1
[2,1,4] => ([(3,5),(3,6),(4,5),(4,6),(5,6)],7)
=> ([(0,2),(0,3),(0,4),(1,2),(1,3),(1,4),(2,4),(3,4)],5)
=> 2 = 1 + 1
[2,2,3] => ([(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
=> ([(0,1),(0,4),(0,5),(1,3),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6)
=> 2 = 1 + 1
[2,3,2] => ([(1,6),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
=> ([(0,1),(0,5),(0,6),(1,4),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
=> ? = 2 + 1
[2,5] => ([(4,6),(5,6)],7)
=> ([(0,1)],2)
=> 1 = 0 + 1
[3,1,3] => ([(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
=> ([(0,3),(0,4),(0,5),(0,6),(1,2),(1,4),(1,5),(1,6),(2,3),(2,5),(2,6),(3,4),(3,6),(4,6),(5,6)],7)
=> ? = 2 + 1
[3,4] => ([(3,6),(4,6),(5,6)],7)
=> ([(0,1),(0,2),(1,2)],3)
=> 1 = 0 + 1
[4,1,2] => ([(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
=> ([(0,4),(0,5),(0,6),(0,7),(0,8),(1,2),(1,3),(1,6),(1,7),(1,8),(2,3),(2,5),(2,7),(2,8),(3,4),(3,7),(3,8),(4,5),(4,6),(4,8),(5,6),(5,8),(6,8),(7,8)],9)
=> ? = 2 + 1
[4,3] => ([(2,6),(3,6),(4,6),(5,6)],7)
=> ([(0,1),(0,2),(0,3),(1,2),(1,3),(2,3)],4)
=> 1 = 0 + 1
[5,2] => ([(1,6),(2,6),(3,6),(4,6),(5,6)],7)
=> ([(0,1),(0,2),(0,3),(0,4),(1,2),(1,3),(1,4),(2,3),(2,4),(3,4)],5)
=> 1 = 0 + 1
[6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7)
=> ([(0,1),(0,2),(0,3),(0,4),(0,5),(1,2),(1,3),(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6)
=> 1 = 0 + 1
[7] => ([],7)
=> ([],0)
=> ? = 0 + 1
Description
The Prague dimension of a graph.
This is the least number of complete graphs such that the graph is an induced subgraph of their (categorical) product.
Put differently, this is the least number n such that the graph can be embedded into \mathbb N^n, where two points are connected by an edge if and only if they differ in all coordinates.
Matching statistic: St000454
Values
[1] => ([],1)
=> ([],0)
=> ([],0)
=> ? = 0
[1,1] => ([(0,1)],2)
=> ([],1)
=> ([],1)
=> 0
[2] => ([],2)
=> ([],0)
=> ([],0)
=> ? = 0
[1,1,1] => ([(0,1),(0,2),(1,2)],3)
=> ([(0,1),(0,2),(1,2)],3)
=> ([],3)
=> 0
[1,2] => ([(1,2)],3)
=> ([],1)
=> ([],1)
=> 0
[2,1] => ([(0,2),(1,2)],3)
=> ([(0,1)],2)
=> ([],2)
=> 0
[3] => ([],3)
=> ([],0)
=> ([],0)
=> ? = 0
[1,1,1,1] => ([(0,1),(0,2),(0,3),(1,2),(1,3),(2,3)],4)
=> ([(0,2),(0,3),(0,4),(0,5),(1,2),(1,3),(1,4),(1,5),(2,4),(2,5),(3,4),(3,5)],6)
=> ([(0,5),(1,4),(2,3)],6)
=> 1
[1,1,2] => ([(1,2),(1,3),(2,3)],4)
=> ([(0,1),(0,2),(1,2)],3)
=> ([],3)
=> 0
[1,2,1] => ([(0,3),(1,2),(1,3),(2,3)],4)
=> ([(0,2),(0,3),(1,2),(1,3),(2,3)],4)
=> ([(2,3)],4)
=> 1
[1,3] => ([(2,3)],4)
=> ([],1)
=> ([],1)
=> 0
[2,1,1] => ([(0,2),(0,3),(1,2),(1,3),(2,3)],4)
=> ([(0,2),(0,3),(0,4),(1,2),(1,3),(1,4),(2,4),(3,4)],5)
=> ([(1,4),(2,3)],5)
=> 1
[2,2] => ([(1,3),(2,3)],4)
=> ([(0,1)],2)
=> ([],2)
=> 0
[3,1] => ([(0,3),(1,3),(2,3)],4)
=> ([(0,1),(0,2),(1,2)],3)
=> ([],3)
=> 0
[4] => ([],4)
=> ([],0)
=> ([],0)
=> ? = 0
[1,1,1,2] => ([(1,2),(1,3),(1,4),(2,3),(2,4),(3,4)],5)
=> ([(0,2),(0,3),(0,4),(0,5),(1,2),(1,3),(1,4),(1,5),(2,4),(2,5),(3,4),(3,5)],6)
=> ([(0,5),(1,4),(2,3)],6)
=> 1
[1,1,2,1] => ([(0,4),(1,2),(1,3),(1,4),(2,3),(2,4),(3,4)],5)
=> ([(0,4),(0,5),(0,6),(1,2),(1,3),(1,5),(1,6),(2,3),(2,4),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7)
=> ([(0,5),(1,4),(2,3),(3,6),(4,6),(5,6)],7)
=> 2
[1,1,3] => ([(2,3),(2,4),(3,4)],5)
=> ([(0,1),(0,2),(1,2)],3)
=> ([],3)
=> 0
[1,2,2] => ([(1,4),(2,3),(2,4),(3,4)],5)
=> ([(0,2),(0,3),(1,2),(1,3),(2,3)],4)
=> ([(2,3)],4)
=> 1
[1,3,1] => ([(0,4),(1,4),(2,3),(2,4),(3,4)],5)
=> ([(0,3),(0,4),(1,2),(1,3),(1,4),(2,3),(2,4),(3,4)],5)
=> ([(2,4),(3,4)],5)
=> ? = 1
[1,4] => ([(3,4)],5)
=> ([],1)
=> ([],1)
=> 0
[2,1,2] => ([(1,3),(1,4),(2,3),(2,4),(3,4)],5)
=> ([(0,2),(0,3),(0,4),(1,2),(1,3),(1,4),(2,4),(3,4)],5)
=> ([(1,4),(2,3)],5)
=> 1
[2,2,1] => ([(0,4),(1,3),(1,4),(2,3),(2,4),(3,4)],5)
=> ([(0,1),(0,4),(0,5),(1,3),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6)
=> ([(1,5),(2,4),(3,4),(3,5)],6)
=> ? = 1
[2,3] => ([(2,4),(3,4)],5)
=> ([(0,1)],2)
=> ([],2)
=> 0
[3,1,1] => ([(0,3),(0,4),(1,3),(1,4),(2,3),(2,4),(3,4)],5)
=> ([(0,3),(0,4),(0,5),(0,6),(1,2),(1,4),(1,5),(1,6),(2,3),(2,5),(2,6),(3,4),(3,6),(4,6),(5,6)],7)
=> ([(1,5),(1,6),(2,3),(2,4),(3,6),(4,5)],7)
=> 2
[3,2] => ([(1,4),(2,4),(3,4)],5)
=> ([(0,1),(0,2),(1,2)],3)
=> ([],3)
=> 0
[4,1] => ([(0,4),(1,4),(2,4),(3,4)],5)
=> ([(0,1),(0,2),(0,3),(1,2),(1,3),(2,3)],4)
=> ([],4)
=> 0
[5] => ([],5)
=> ([],0)
=> ([],0)
=> ? = 0
[1,1,1,3] => ([(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6)
=> ([(0,2),(0,3),(0,4),(0,5),(1,2),(1,3),(1,4),(1,5),(2,4),(2,5),(3,4),(3,5)],6)
=> ([(0,5),(1,4),(2,3)],6)
=> 1
[1,1,2,2] => ([(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6)
=> ([(0,4),(0,5),(0,6),(1,2),(1,3),(1,5),(1,6),(2,3),(2,4),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7)
=> ([(0,5),(1,4),(2,3),(3,6),(4,6),(5,6)],7)
=> 2
[1,1,3,1] => ([(0,5),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6)
=> ([(0,1),(0,2),(0,6),(0,7),(1,2),(1,5),(1,7),(2,5),(2,6),(3,4),(3,5),(3,6),(3,7),(4,5),(4,6),(4,7),(5,6),(5,7),(6,7)],8)
=> ([(0,7),(1,6),(2,5),(3,5),(3,6),(3,7),(4,5),(4,6),(4,7)],8)
=> ? = 3
[1,1,4] => ([(3,4),(3,5),(4,5)],6)
=> ([(0,1),(0,2),(1,2)],3)
=> ([],3)
=> 0
[1,2,3] => ([(2,5),(3,4),(3,5),(4,5)],6)
=> ([(0,2),(0,3),(1,2),(1,3),(2,3)],4)
=> ([(2,3)],4)
=> 1
[1,3,2] => ([(1,5),(2,5),(3,4),(3,5),(4,5)],6)
=> ([(0,3),(0,4),(1,2),(1,3),(1,4),(2,3),(2,4),(3,4)],5)
=> ([(2,4),(3,4)],5)
=> ? = 1
[1,4,1] => ([(0,5),(1,5),(2,5),(3,4),(3,5),(4,5)],6)
=> ([(0,4),(0,5),(1,2),(1,3),(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6)
=> ([(2,5),(3,5),(4,5)],6)
=> ? = 2
[1,5] => ([(4,5)],6)
=> ([],1)
=> ([],1)
=> 0
[2,1,3] => ([(2,4),(2,5),(3,4),(3,5),(4,5)],6)
=> ([(0,2),(0,3),(0,4),(1,2),(1,3),(1,4),(2,4),(3,4)],5)
=> ([(1,4),(2,3)],5)
=> 1
[2,2,2] => ([(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6)
=> ([(0,1),(0,4),(0,5),(1,3),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6)
=> ([(1,5),(2,4),(3,4),(3,5)],6)
=> ? = 1
[2,3,1] => ([(0,5),(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6)
=> ([(0,1),(0,5),(0,6),(1,4),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
=> ([(1,6),(2,5),(3,5),(3,6),(4,5),(4,6)],7)
=> ? = 2
[2,4] => ([(3,5),(4,5)],6)
=> ([(0,1)],2)
=> ([],2)
=> 0
[3,1,2] => ([(1,4),(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6)
=> ([(0,3),(0,4),(0,5),(0,6),(1,2),(1,4),(1,5),(1,6),(2,3),(2,5),(2,6),(3,4),(3,6),(4,6),(5,6)],7)
=> ([(1,5),(1,6),(2,3),(2,4),(3,6),(4,5)],7)
=> 2
[3,3] => ([(2,5),(3,5),(4,5)],6)
=> ([(0,1),(0,2),(1,2)],3)
=> ([],3)
=> 0
[4,1,1] => ([(0,4),(0,5),(1,4),(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6)
=> ([(0,4),(0,5),(0,6),(0,7),(0,8),(1,2),(1,3),(1,6),(1,7),(1,8),(2,3),(2,5),(2,7),(2,8),(3,4),(3,7),(3,8),(4,5),(4,6),(4,8),(5,6),(5,8),(6,8),(7,8)],9)
=> ([(1,6),(1,7),(1,8),(2,3),(2,4),(2,5),(3,7),(3,8),(4,6),(4,8),(5,6),(5,7)],9)
=> ? = 2
[4,2] => ([(1,5),(2,5),(3,5),(4,5)],6)
=> ([(0,1),(0,2),(0,3),(1,2),(1,3),(2,3)],4)
=> ([],4)
=> 0
[5,1] => ([(0,5),(1,5),(2,5),(3,5),(4,5)],6)
=> ([(0,1),(0,2),(0,3),(0,4),(1,2),(1,3),(1,4),(2,3),(2,4),(3,4)],5)
=> ([],5)
=> 0
[6] => ([],6)
=> ([],0)
=> ([],0)
=> ? = 0
[1,1,1,4] => ([(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
=> ([(0,2),(0,3),(0,4),(0,5),(1,2),(1,3),(1,4),(1,5),(2,4),(2,5),(3,4),(3,5)],6)
=> ([(0,5),(1,4),(2,3)],6)
=> 1
[1,1,2,3] => ([(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
=> ([(0,4),(0,5),(0,6),(1,2),(1,3),(1,5),(1,6),(2,3),(2,4),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7)
=> ([(0,5),(1,4),(2,3),(3,6),(4,6),(5,6)],7)
=> 2
[1,1,3,2] => ([(1,6),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
=> ([(0,1),(0,2),(0,6),(0,7),(1,2),(1,5),(1,7),(2,5),(2,6),(3,4),(3,5),(3,6),(3,7),(4,5),(4,6),(4,7),(5,6),(5,7),(6,7)],8)
=> ([(0,7),(1,6),(2,5),(3,5),(3,6),(3,7),(4,5),(4,6),(4,7)],8)
=> ? = 3
[1,1,5] => ([(4,5),(4,6),(5,6)],7)
=> ([(0,1),(0,2),(1,2)],3)
=> ([],3)
=> 0
[1,2,4] => ([(3,6),(4,5),(4,6),(5,6)],7)
=> ([(0,2),(0,3),(1,2),(1,3),(2,3)],4)
=> ([(2,3)],4)
=> 1
[1,3,3] => ([(2,6),(3,6),(4,5),(4,6),(5,6)],7)
=> ([(0,3),(0,4),(1,2),(1,3),(1,4),(2,3),(2,4),(3,4)],5)
=> ([(2,4),(3,4)],5)
=> ? = 1
[1,4,2] => ([(1,6),(2,6),(3,6),(4,5),(4,6),(5,6)],7)
=> ([(0,4),(0,5),(1,2),(1,3),(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6)
=> ([(2,5),(3,5),(4,5)],6)
=> ? = 2
[1,5,1] => ([(0,6),(1,6),(2,6),(3,6),(4,5),(4,6),(5,6)],7)
=> ([(0,5),(0,6),(1,2),(1,3),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
=> ([(2,6),(3,6),(4,6),(5,6)],7)
=> 2
[1,6] => ([(5,6)],7)
=> ([],1)
=> ([],1)
=> 0
[2,1,4] => ([(3,5),(3,6),(4,5),(4,6),(5,6)],7)
=> ([(0,2),(0,3),(0,4),(1,2),(1,3),(1,4),(2,4),(3,4)],5)
=> ([(1,4),(2,3)],5)
=> 1
[2,2,3] => ([(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
=> ([(0,1),(0,4),(0,5),(1,3),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6)
=> ([(1,5),(2,4),(3,4),(3,5)],6)
=> ? = 1
[2,3,2] => ([(1,6),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
=> ([(0,1),(0,5),(0,6),(1,4),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
=> ([(1,6),(2,5),(3,5),(3,6),(4,5),(4,6)],7)
=> ? = 2
[2,5] => ([(4,6),(5,6)],7)
=> ([(0,1)],2)
=> ([],2)
=> 0
[3,1,3] => ([(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
=> ([(0,3),(0,4),(0,5),(0,6),(1,2),(1,4),(1,5),(1,6),(2,3),(2,5),(2,6),(3,4),(3,6),(4,6),(5,6)],7)
=> ([(1,5),(1,6),(2,3),(2,4),(3,6),(4,5)],7)
=> 2
[3,4] => ([(3,6),(4,6),(5,6)],7)
=> ([(0,1),(0,2),(1,2)],3)
=> ([],3)
=> 0
[4,1,2] => ([(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
=> ([(0,4),(0,5),(0,6),(0,7),(0,8),(1,2),(1,3),(1,6),(1,7),(1,8),(2,3),(2,5),(2,7),(2,8),(3,4),(3,7),(3,8),(4,5),(4,6),(4,8),(5,6),(5,8),(6,8),(7,8)],9)
=> ([(1,6),(1,7),(1,8),(2,3),(2,4),(2,5),(3,7),(3,8),(4,6),(4,8),(5,6),(5,7)],9)
=> ? = 2
[4,3] => ([(2,6),(3,6),(4,6),(5,6)],7)
=> ([(0,1),(0,2),(0,3),(1,2),(1,3),(2,3)],4)
=> ([],4)
=> 0
[5,2] => ([(1,6),(2,6),(3,6),(4,6),(5,6)],7)
=> ([(0,1),(0,2),(0,3),(0,4),(1,2),(1,3),(1,4),(2,3),(2,4),(3,4)],5)
=> ([],5)
=> 0
[6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7)
=> ([(0,1),(0,2),(0,3),(0,4),(0,5),(1,2),(1,3),(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6)
=> ([],6)
=> 0
[7] => ([],7)
=> ([],0)
=> ([],0)
=> ? = 0
Description
The largest eigenvalue of a graph if it is integral.
If a graph is d-regular, then its largest eigenvalue equals d. One can show that the largest eigenvalue always lies between the average degree and the maximal degree.
This statistic is undefined if the largest eigenvalue of the graph is not integral.
Matching statistic: St000455
(load all 2 compositions to match this statistic)
(load all 2 compositions to match this statistic)
Values
[1] => ([],1)
=> ([],0)
=> ? = 0 - 1
[1,1] => ([(0,1)],2)
=> ([],1)
=> ? = 0 - 1
[2] => ([],2)
=> ([],0)
=> ? = 0 - 1
[1,1,1] => ([(0,1),(0,2),(1,2)],3)
=> ([(0,1),(0,2),(1,2)],3)
=> -1 = 0 - 1
[1,2] => ([(1,2)],3)
=> ([],1)
=> ? = 0 - 1
[2,1] => ([(0,2),(1,2)],3)
=> ([(0,1)],2)
=> -1 = 0 - 1
[3] => ([],3)
=> ([],0)
=> ? = 0 - 1
[1,1,1,1] => ([(0,1),(0,2),(0,3),(1,2),(1,3),(2,3)],4)
=> ([(0,2),(0,3),(0,4),(0,5),(1,2),(1,3),(1,4),(1,5),(2,4),(2,5),(3,4),(3,5)],6)
=> 0 = 1 - 1
[1,1,2] => ([(1,2),(1,3),(2,3)],4)
=> ([(0,1),(0,2),(1,2)],3)
=> -1 = 0 - 1
[1,2,1] => ([(0,3),(1,2),(1,3),(2,3)],4)
=> ([(0,2),(0,3),(1,2),(1,3),(2,3)],4)
=> 0 = 1 - 1
[1,3] => ([(2,3)],4)
=> ([],1)
=> ? = 0 - 1
[2,1,1] => ([(0,2),(0,3),(1,2),(1,3),(2,3)],4)
=> ([(0,2),(0,3),(0,4),(1,2),(1,3),(1,4),(2,4),(3,4)],5)
=> 0 = 1 - 1
[2,2] => ([(1,3),(2,3)],4)
=> ([(0,1)],2)
=> -1 = 0 - 1
[3,1] => ([(0,3),(1,3),(2,3)],4)
=> ([(0,1),(0,2),(1,2)],3)
=> -1 = 0 - 1
[4] => ([],4)
=> ([],0)
=> ? = 0 - 1
[1,1,1,2] => ([(1,2),(1,3),(1,4),(2,3),(2,4),(3,4)],5)
=> ([(0,2),(0,3),(0,4),(0,5),(1,2),(1,3),(1,4),(1,5),(2,4),(2,5),(3,4),(3,5)],6)
=> 0 = 1 - 1
[1,1,2,1] => ([(0,4),(1,2),(1,3),(1,4),(2,3),(2,4),(3,4)],5)
=> ([(0,4),(0,5),(0,6),(1,2),(1,3),(1,5),(1,6),(2,3),(2,4),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7)
=> 1 = 2 - 1
[1,1,3] => ([(2,3),(2,4),(3,4)],5)
=> ([(0,1),(0,2),(1,2)],3)
=> -1 = 0 - 1
[1,2,2] => ([(1,4),(2,3),(2,4),(3,4)],5)
=> ([(0,2),(0,3),(1,2),(1,3),(2,3)],4)
=> 0 = 1 - 1
[1,3,1] => ([(0,4),(1,4),(2,3),(2,4),(3,4)],5)
=> ([(0,3),(0,4),(1,2),(1,3),(1,4),(2,3),(2,4),(3,4)],5)
=> ? = 1 - 1
[1,4] => ([(3,4)],5)
=> ([],1)
=> ? = 0 - 1
[2,1,2] => ([(1,3),(1,4),(2,3),(2,4),(3,4)],5)
=> ([(0,2),(0,3),(0,4),(1,2),(1,3),(1,4),(2,4),(3,4)],5)
=> 0 = 1 - 1
[2,2,1] => ([(0,4),(1,3),(1,4),(2,3),(2,4),(3,4)],5)
=> ([(0,1),(0,4),(0,5),(1,3),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6)
=> ? = 1 - 1
[2,3] => ([(2,4),(3,4)],5)
=> ([(0,1)],2)
=> -1 = 0 - 1
[3,1,1] => ([(0,3),(0,4),(1,3),(1,4),(2,3),(2,4),(3,4)],5)
=> ([(0,3),(0,4),(0,5),(0,6),(1,2),(1,4),(1,5),(1,6),(2,3),(2,5),(2,6),(3,4),(3,6),(4,6),(5,6)],7)
=> 1 = 2 - 1
[3,2] => ([(1,4),(2,4),(3,4)],5)
=> ([(0,1),(0,2),(1,2)],3)
=> -1 = 0 - 1
[4,1] => ([(0,4),(1,4),(2,4),(3,4)],5)
=> ([(0,1),(0,2),(0,3),(1,2),(1,3),(2,3)],4)
=> -1 = 0 - 1
[5] => ([],5)
=> ([],0)
=> ? = 0 - 1
[1,1,1,3] => ([(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6)
=> ([(0,2),(0,3),(0,4),(0,5),(1,2),(1,3),(1,4),(1,5),(2,4),(2,5),(3,4),(3,5)],6)
=> 0 = 1 - 1
[1,1,2,2] => ([(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6)
=> ([(0,4),(0,5),(0,6),(1,2),(1,3),(1,5),(1,6),(2,3),(2,4),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7)
=> 1 = 2 - 1
[1,1,3,1] => ([(0,5),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6)
=> ([(0,1),(0,2),(0,6),(0,7),(1,2),(1,5),(1,7),(2,5),(2,6),(3,4),(3,5),(3,6),(3,7),(4,5),(4,6),(4,7),(5,6),(5,7),(6,7)],8)
=> ? = 3 - 1
[1,1,4] => ([(3,4),(3,5),(4,5)],6)
=> ([(0,1),(0,2),(1,2)],3)
=> -1 = 0 - 1
[1,2,3] => ([(2,5),(3,4),(3,5),(4,5)],6)
=> ([(0,2),(0,3),(1,2),(1,3),(2,3)],4)
=> 0 = 1 - 1
[1,3,2] => ([(1,5),(2,5),(3,4),(3,5),(4,5)],6)
=> ([(0,3),(0,4),(1,2),(1,3),(1,4),(2,3),(2,4),(3,4)],5)
=> ? = 1 - 1
[1,4,1] => ([(0,5),(1,5),(2,5),(3,4),(3,5),(4,5)],6)
=> ([(0,4),(0,5),(1,2),(1,3),(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6)
=> ? = 2 - 1
[1,5] => ([(4,5)],6)
=> ([],1)
=> ? = 0 - 1
[2,1,3] => ([(2,4),(2,5),(3,4),(3,5),(4,5)],6)
=> ([(0,2),(0,3),(0,4),(1,2),(1,3),(1,4),(2,4),(3,4)],5)
=> 0 = 1 - 1
[2,2,2] => ([(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6)
=> ([(0,1),(0,4),(0,5),(1,3),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6)
=> ? = 1 - 1
[2,3,1] => ([(0,5),(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6)
=> ([(0,1),(0,5),(0,6),(1,4),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
=> ? = 2 - 1
[2,4] => ([(3,5),(4,5)],6)
=> ([(0,1)],2)
=> -1 = 0 - 1
[3,1,2] => ([(1,4),(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6)
=> ([(0,3),(0,4),(0,5),(0,6),(1,2),(1,4),(1,5),(1,6),(2,3),(2,5),(2,6),(3,4),(3,6),(4,6),(5,6)],7)
=> 1 = 2 - 1
[3,3] => ([(2,5),(3,5),(4,5)],6)
=> ([(0,1),(0,2),(1,2)],3)
=> -1 = 0 - 1
[4,1,1] => ([(0,4),(0,5),(1,4),(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6)
=> ([(0,4),(0,5),(0,6),(0,7),(0,8),(1,2),(1,3),(1,6),(1,7),(1,8),(2,3),(2,5),(2,7),(2,8),(3,4),(3,7),(3,8),(4,5),(4,6),(4,8),(5,6),(5,8),(6,8),(7,8)],9)
=> ? = 2 - 1
[4,2] => ([(1,5),(2,5),(3,5),(4,5)],6)
=> ([(0,1),(0,2),(0,3),(1,2),(1,3),(2,3)],4)
=> -1 = 0 - 1
[5,1] => ([(0,5),(1,5),(2,5),(3,5),(4,5)],6)
=> ([(0,1),(0,2),(0,3),(0,4),(1,2),(1,3),(1,4),(2,3),(2,4),(3,4)],5)
=> -1 = 0 - 1
[6] => ([],6)
=> ([],0)
=> ? = 0 - 1
[1,1,1,4] => ([(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
=> ([(0,2),(0,3),(0,4),(0,5),(1,2),(1,3),(1,4),(1,5),(2,4),(2,5),(3,4),(3,5)],6)
=> 0 = 1 - 1
[1,1,2,3] => ([(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
=> ([(0,4),(0,5),(0,6),(1,2),(1,3),(1,5),(1,6),(2,3),(2,4),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7)
=> 1 = 2 - 1
[1,1,3,2] => ([(1,6),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
=> ([(0,1),(0,2),(0,6),(0,7),(1,2),(1,5),(1,7),(2,5),(2,6),(3,4),(3,5),(3,6),(3,7),(4,5),(4,6),(4,7),(5,6),(5,7),(6,7)],8)
=> ? = 3 - 1
[1,1,5] => ([(4,5),(4,6),(5,6)],7)
=> ([(0,1),(0,2),(1,2)],3)
=> -1 = 0 - 1
[1,2,4] => ([(3,6),(4,5),(4,6),(5,6)],7)
=> ([(0,2),(0,3),(1,2),(1,3),(2,3)],4)
=> 0 = 1 - 1
[1,3,3] => ([(2,6),(3,6),(4,5),(4,6),(5,6)],7)
=> ([(0,3),(0,4),(1,2),(1,3),(1,4),(2,3),(2,4),(3,4)],5)
=> ? = 1 - 1
[1,4,2] => ([(1,6),(2,6),(3,6),(4,5),(4,6),(5,6)],7)
=> ([(0,4),(0,5),(1,2),(1,3),(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6)
=> ? = 2 - 1
[1,5,1] => ([(0,6),(1,6),(2,6),(3,6),(4,5),(4,6),(5,6)],7)
=> ([(0,5),(0,6),(1,2),(1,3),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
=> ? = 2 - 1
[1,6] => ([(5,6)],7)
=> ([],1)
=> ? = 0 - 1
[2,1,4] => ([(3,5),(3,6),(4,5),(4,6),(5,6)],7)
=> ([(0,2),(0,3),(0,4),(1,2),(1,3),(1,4),(2,4),(3,4)],5)
=> 0 = 1 - 1
[2,2,3] => ([(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
=> ([(0,1),(0,4),(0,5),(1,3),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6)
=> ? = 1 - 1
[2,3,2] => ([(1,6),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
=> ([(0,1),(0,5),(0,6),(1,4),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
=> ? = 2 - 1
[2,5] => ([(4,6),(5,6)],7)
=> ([(0,1)],2)
=> -1 = 0 - 1
[3,1,3] => ([(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
=> ([(0,3),(0,4),(0,5),(0,6),(1,2),(1,4),(1,5),(1,6),(2,3),(2,5),(2,6),(3,4),(3,6),(4,6),(5,6)],7)
=> 1 = 2 - 1
[3,4] => ([(3,6),(4,6),(5,6)],7)
=> ([(0,1),(0,2),(1,2)],3)
=> -1 = 0 - 1
[4,1,2] => ([(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
=> ([(0,4),(0,5),(0,6),(0,7),(0,8),(1,2),(1,3),(1,6),(1,7),(1,8),(2,3),(2,5),(2,7),(2,8),(3,4),(3,7),(3,8),(4,5),(4,6),(4,8),(5,6),(5,8),(6,8),(7,8)],9)
=> ? = 2 - 1
[4,3] => ([(2,6),(3,6),(4,6),(5,6)],7)
=> ([(0,1),(0,2),(0,3),(1,2),(1,3),(2,3)],4)
=> -1 = 0 - 1
[5,2] => ([(1,6),(2,6),(3,6),(4,6),(5,6)],7)
=> ([(0,1),(0,2),(0,3),(0,4),(1,2),(1,3),(1,4),(2,3),(2,4),(3,4)],5)
=> -1 = 0 - 1
[6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7)
=> ([(0,1),(0,2),(0,3),(0,4),(0,5),(1,2),(1,3),(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6)
=> -1 = 0 - 1
[7] => ([],7)
=> ([],0)
=> ? = 0 - 1
Description
The second largest eigenvalue of a graph if it is integral.
This statistic is undefined if the second largest eigenvalue of the graph is not integral.
Chapter 4 of [1] provides lots of context.
Matching statistic: St001846
(load all 3 compositions to match this statistic)
(load all 3 compositions to match this statistic)
Values
[1] => ([],1)
=> ([],1)
=> 0
[1,1] => ([(0,1)],2)
=> ([(0,1)],2)
=> 0
[2] => ([],2)
=> ([],1)
=> 0
[1,1,1] => ([(0,1),(0,2),(1,2)],3)
=> ([(0,1),(0,2),(0,3),(1,4),(2,4),(3,4)],5)
=> 0
[1,2] => ([(1,2)],3)
=> ([(0,1)],2)
=> 0
[2,1] => ([(0,2),(1,2)],3)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> 0
[3] => ([],3)
=> ([],1)
=> 0
[1,1,1,1] => ([(0,1),(0,2),(0,3),(1,2),(1,3),(2,3)],4)
=> ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,9),(1,11),(1,13),(2,9),(2,10),(2,12),(3,8),(3,10),(3,13),(4,8),(4,11),(4,12),(5,7),(5,12),(5,13),(6,7),(6,10),(6,11),(7,14),(8,14),(9,14),(10,14),(11,14),(12,14),(13,14)],15)
=> ? = 1
[1,1,2] => ([(1,2),(1,3),(2,3)],4)
=> ([(0,1),(0,2),(0,3),(1,4),(2,4),(3,4)],5)
=> 0
[1,2,1] => ([(0,3),(1,2),(1,3),(2,3)],4)
=> ([(0,1),(0,2),(0,3),(0,4),(1,7),(1,8),(2,6),(2,8),(3,5),(3,8),(4,5),(4,6),(4,7),(5,9),(6,9),(7,9),(8,9)],10)
=> ? = 1
[1,3] => ([(2,3)],4)
=> ([(0,1)],2)
=> 0
[2,1,1] => ([(0,2),(0,3),(1,2),(1,3),(2,3)],4)
=> ([(0,1),(0,2),(0,3),(0,4),(0,5),(1,10),(1,11),(2,8),(2,9),(2,11),(3,6),(3,7),(3,11),(4,7),(4,9),(4,10),(5,6),(5,8),(5,10),(6,12),(7,12),(8,12),(9,12),(10,12),(11,12)],13)
=> ? = 1
[2,2] => ([(1,3),(2,3)],4)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> 0
[3,1] => ([(0,3),(1,3),(2,3)],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
[4] => ([],4)
=> ([],1)
=> 0
[1,1,1,2] => ([(1,2),(1,3),(1,4),(2,3),(2,4),(3,4)],5)
=> ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,9),(1,11),(1,13),(2,9),(2,10),(2,12),(3,8),(3,10),(3,13),(4,8),(4,11),(4,12),(5,7),(5,12),(5,13),(6,7),(6,10),(6,11),(7,14),(8,14),(9,14),(10,14),(11,14),(12,14),(13,14)],15)
=> ? = 1
[1,1,2,1] => ([(0,4),(1,2),(1,3),(1,4),(2,3),(2,4),(3,4)],5)
=> ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,9),(1,16),(1,21),(1,23),(2,8),(2,16),(2,20),(2,22),(3,10),(3,15),(3,20),(3,23),(4,11),(4,15),(4,21),(4,22),(5,13),(5,14),(5,22),(5,23),(6,12),(6,14),(6,20),(6,21),(7,8),(7,9),(7,10),(7,11),(7,12),(7,13),(8,17),(8,24),(8,26),(9,17),(9,25),(9,27),(10,18),(10,24),(10,27),(11,18),(11,25),(11,26),(12,19),(12,24),(12,25),(13,19),(13,26),(13,27),(14,19),(14,28),(15,18),(15,28),(16,17),(16,28),(17,29),(18,29),(19,29),(20,24),(20,28),(21,25),(21,28),(22,26),(22,28),(23,27),(23,28),(24,29),(25,29),(26,29),(27,29),(28,29)],30)
=> ? = 2
[1,1,3] => ([(2,3),(2,4),(3,4)],5)
=> ([(0,1),(0,2),(0,3),(1,4),(2,4),(3,4)],5)
=> 0
[1,2,2] => ([(1,4),(2,3),(2,4),(3,4)],5)
=> ([(0,1),(0,2),(0,3),(0,4),(1,7),(1,8),(2,6),(2,8),(3,5),(3,8),(4,5),(4,6),(4,7),(5,9),(6,9),(7,9),(8,9)],10)
=> ? = 1
[1,3,1] => ([(0,4),(1,4),(2,3),(2,4),(3,4)],5)
=> ([(0,1),(0,2),(0,3),(0,4),(0,5),(1,9),(1,12),(1,16),(2,8),(2,11),(2,16),(3,7),(3,10),(3,16),(4,6),(4,10),(4,11),(4,12),(5,6),(5,7),(5,8),(5,9),(6,13),(6,14),(6,15),(7,13),(7,17),(8,14),(8,17),(9,15),(9,17),(10,13),(10,18),(11,14),(11,18),(12,15),(12,18),(13,19),(14,19),(15,19),(16,17),(16,18),(17,19),(18,19)],20)
=> ? = 1
[1,4] => ([(3,4)],5)
=> ([(0,1)],2)
=> 0
[2,1,2] => ([(1,3),(1,4),(2,3),(2,4),(3,4)],5)
=> ([(0,1),(0,2),(0,3),(0,4),(0,5),(1,10),(1,11),(2,8),(2,9),(2,11),(3,6),(3,7),(3,11),(4,7),(4,9),(4,10),(5,6),(5,8),(5,10),(6,12),(7,12),(8,12),(9,12),(10,12),(11,12)],13)
=> ? = 1
[2,2,1] => ([(0,4),(1,3),(1,4),(2,3),(2,4),(3,4)],5)
=> ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,7),(1,20),(1,21),(2,9),(2,14),(2,15),(2,21),(3,8),(3,12),(3,13),(3,21),(4,11),(4,13),(4,15),(4,20),(5,10),(5,12),(5,14),(5,20),(6,7),(6,8),(6,9),(6,10),(6,11),(7,22),(7,23),(8,16),(8,17),(8,22),(9,18),(9,19),(9,22),(10,16),(10,18),(10,23),(11,17),(11,19),(11,23),(12,16),(12,24),(13,17),(13,24),(14,18),(14,24),(15,19),(15,24),(16,25),(17,25),(18,25),(19,25),(20,23),(20,24),(21,22),(21,24),(22,25),(23,25),(24,25)],26)
=> ? = 1
[2,3] => ([(2,4),(3,4)],5)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> 0
[3,1,1] => ([(0,3),(0,4),(1,3),(1,4),(2,3),(2,4),(3,4)],5)
=> ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,28),(1,29),(1,30),(2,9),(2,13),(2,18),(2,19),(2,30),(3,8),(3,12),(3,16),(3,17),(3,30),(4,11),(4,15),(4,17),(4,19),(4,29),(5,10),(5,14),(5,16),(5,18),(5,29),(6,12),(6,13),(6,14),(6,15),(6,28),(7,8),(7,9),(7,10),(7,11),(7,28),(8,20),(8,21),(8,32),(9,22),(9,23),(9,32),(10,20),(10,22),(10,33),(11,21),(11,23),(11,33),(12,24),(12,25),(12,32),(13,26),(13,27),(13,32),(14,24),(14,26),(14,33),(15,25),(15,27),(15,33),(16,20),(16,24),(16,31),(17,21),(17,25),(17,31),(18,22),(18,26),(18,31),(19,23),(19,27),(19,31),(20,34),(21,34),(22,34),(23,34),(24,34),(25,34),(26,34),(27,34),(28,32),(28,33),(29,31),(29,33),(30,31),(30,32),(31,34),(32,34),(33,34)],35)
=> ? = 2
[3,2] => ([(1,4),(2,4),(3,4)],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
[4,1] => ([(0,4),(1,4),(2,4),(3,4)],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
[5] => ([],5)
=> ([],1)
=> 0
[1,1,1,3] => ([(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6)
=> ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,9),(1,11),(1,13),(2,9),(2,10),(2,12),(3,8),(3,10),(3,13),(4,8),(4,11),(4,12),(5,7),(5,12),(5,13),(6,7),(6,10),(6,11),(7,14),(8,14),(9,14),(10,14),(11,14),(12,14),(13,14)],15)
=> ? = 1
[1,1,2,2] => ([(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6)
=> ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,9),(1,16),(1,21),(1,23),(2,8),(2,16),(2,20),(2,22),(3,10),(3,15),(3,20),(3,23),(4,11),(4,15),(4,21),(4,22),(5,13),(5,14),(5,22),(5,23),(6,12),(6,14),(6,20),(6,21),(7,8),(7,9),(7,10),(7,11),(7,12),(7,13),(8,17),(8,24),(8,26),(9,17),(9,25),(9,27),(10,18),(10,24),(10,27),(11,18),(11,25),(11,26),(12,19),(12,24),(12,25),(13,19),(13,26),(13,27),(14,19),(14,28),(15,18),(15,28),(16,17),(16,28),(17,29),(18,29),(19,29),(20,24),(20,28),(21,25),(21,28),(22,26),(22,28),(23,27),(23,28),(24,29),(25,29),(26,29),(27,29),(28,29)],30)
=> ? = 2
[1,1,3,1] => ([(0,5),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6)
=> ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(0,8),(1,11),(1,17),(1,24),(1,38),(1,40),(2,10),(2,16),(2,24),(2,37),(2,39),(3,12),(3,18),(3,23),(3,37),(3,40),(4,13),(4,19),(4,23),(4,38),(4,39),(5,15),(5,21),(5,22),(5,39),(5,40),(6,14),(6,20),(6,22),(6,37),(6,38),(7,9),(7,16),(7,17),(7,18),(7,19),(7,20),(7,21),(8,9),(8,10),(8,11),(8,12),(8,13),(8,14),(8,15),(9,31),(9,32),(9,33),(9,34),(9,35),(9,36),(10,25),(10,31),(10,41),(10,43),(11,25),(11,32),(11,42),(11,44),(12,26),(12,33),(12,41),(12,44),(13,26),(13,34),(13,42),(13,43),(14,27),(14,35),(14,41),(14,42),(15,27),(15,36),(15,43),(15,44),(16,28),(16,31),(16,45),(16,47),(17,28),(17,32),(17,46),(17,48),(18,29),(18,33),(18,45),(18,48),(19,29),(19,34),(19,46),(19,47),(20,30),(20,35),(20,45),(20,46),(21,30),(21,36),(21,47),(21,48),(22,27),(22,30),(22,56),(23,26),(23,29),(23,56),(24,25),(24,28),(24,56),(25,49),(25,57),(26,50),(26,57),(27,51),(27,57),(28,49),(28,58),(29,50),(29,58),(30,51),(30,58),(31,49),(31,52),(31,54),(32,49),(32,53),(32,55),(33,50),(33,52),(33,55),(34,50),(34,53),(34,54),(35,51),(35,52),(35,53),(36,51),(36,54),(36,55),(37,41),(37,45),(37,56),(38,42),(38,46),(38,56),(39,43),(39,47),(39,56),(40,44),(40,48),(40,56),(41,52),(41,57),(42,53),(42,57),(43,54),(43,57),(44,55),(44,57),(45,52),(45,58),(46,53),(46,58),(47,54),(47,58),(48,55),(48,58),(49,59),(50,59),(51,59),(52,59),(53,59),(54,59),(55,59),(56,57),(56,58),(57,59),(58,59)],60)
=> ? = 3
[1,1,4] => ([(3,4),(3,5),(4,5)],6)
=> ([(0,1),(0,2),(0,3),(1,4),(2,4),(3,4)],5)
=> 0
[1,2,3] => ([(2,5),(3,4),(3,5),(4,5)],6)
=> ([(0,1),(0,2),(0,3),(0,4),(1,7),(1,8),(2,6),(2,8),(3,5),(3,8),(4,5),(4,6),(4,7),(5,9),(6,9),(7,9),(8,9)],10)
=> ? = 1
[1,3,2] => ([(1,5),(2,5),(3,4),(3,5),(4,5)],6)
=> ([(0,1),(0,2),(0,3),(0,4),(0,5),(1,9),(1,12),(1,16),(2,8),(2,11),(2,16),(3,7),(3,10),(3,16),(4,6),(4,10),(4,11),(4,12),(5,6),(5,7),(5,8),(5,9),(6,13),(6,14),(6,15),(7,13),(7,17),(8,14),(8,17),(9,15),(9,17),(10,13),(10,18),(11,14),(11,18),(12,15),(12,18),(13,19),(14,19),(15,19),(16,17),(16,18),(17,19),(18,19)],20)
=> ? = 1
[1,4,1] => ([(0,5),(1,5),(2,5),(3,4),(3,5),(4,5)],6)
=> ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,16),(1,17),(1,18),(1,29),(2,13),(2,14),(2,15),(2,29),(3,10),(3,11),(3,12),(3,29),(4,8),(4,9),(4,12),(4,15),(4,18),(5,7),(5,9),(5,11),(5,14),(5,17),(6,7),(6,8),(6,10),(6,13),(6,16),(7,19),(7,22),(7,25),(7,28),(8,19),(8,20),(8,23),(8,26),(9,19),(9,21),(9,24),(9,27),(10,20),(10,22),(10,30),(11,21),(11,22),(11,31),(12,20),(12,21),(12,32),(13,23),(13,25),(13,30),(14,24),(14,25),(14,31),(15,23),(15,24),(15,32),(16,26),(16,28),(16,30),(17,27),(17,28),(17,31),(18,26),(18,27),(18,32),(19,33),(19,34),(19,35),(20,33),(20,36),(21,33),(21,37),(22,33),(22,38),(23,34),(23,36),(24,34),(24,37),(25,34),(25,38),(26,35),(26,36),(27,35),(27,37),(28,35),(28,38),(29,30),(29,31),(29,32),(30,36),(30,38),(31,37),(31,38),(32,36),(32,37),(33,39),(34,39),(35,39),(36,39),(37,39),(38,39)],40)
=> ? = 2
[1,5] => ([(4,5)],6)
=> ([(0,1)],2)
=> 0
[2,1,3] => ([(2,4),(2,5),(3,4),(3,5),(4,5)],6)
=> ([(0,1),(0,2),(0,3),(0,4),(0,5),(1,10),(1,11),(2,8),(2,9),(2,11),(3,6),(3,7),(3,11),(4,7),(4,9),(4,10),(5,6),(5,8),(5,10),(6,12),(7,12),(8,12),(9,12),(10,12),(11,12)],13)
=> ? = 1
[2,2,2] => ([(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6)
=> ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,7),(1,20),(1,21),(2,9),(2,14),(2,15),(2,21),(3,8),(3,12),(3,13),(3,21),(4,11),(4,13),(4,15),(4,20),(5,10),(5,12),(5,14),(5,20),(6,7),(6,8),(6,9),(6,10),(6,11),(7,22),(7,23),(8,16),(8,17),(8,22),(9,18),(9,19),(9,22),(10,16),(10,18),(10,23),(11,17),(11,19),(11,23),(12,16),(12,24),(13,17),(13,24),(14,18),(14,24),(15,19),(15,24),(16,25),(17,25),(18,25),(19,25),(20,23),(20,24),(21,22),(21,24),(22,25),(23,25),(24,25)],26)
=> ? = 1
[2,3,1] => ([(0,5),(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6)
=> ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,8),(1,9),(1,36),(1,37),(2,12),(2,16),(2,21),(2,22),(2,37),(3,11),(3,15),(3,19),(3,20),(3,37),(4,14),(4,18),(4,20),(4,22),(4,36),(5,13),(5,17),(5,19),(5,21),(5,36),(6,9),(6,10),(6,15),(6,16),(6,17),(6,18),(7,8),(7,10),(7,11),(7,12),(7,13),(7,14),(8,35),(8,38),(8,39),(9,35),(9,40),(9,41),(10,31),(10,32),(10,33),(10,34),(10,35),(11,23),(11,24),(11,31),(11,38),(12,25),(12,26),(12,32),(12,38),(13,23),(13,25),(13,33),(13,39),(14,24),(14,26),(14,34),(14,39),(15,27),(15,28),(15,31),(15,40),(16,29),(16,30),(16,32),(16,40),(17,27),(17,29),(17,33),(17,41),(18,28),(18,30),(18,34),(18,41),(19,23),(19,27),(19,48),(20,24),(20,28),(20,48),(21,25),(21,29),(21,48),(22,26),(22,30),(22,48),(23,42),(23,49),(24,43),(24,49),(25,44),(25,49),(26,45),(26,49),(27,42),(27,50),(28,43),(28,50),(29,44),(29,50),(30,45),(30,50),(31,42),(31,43),(31,46),(32,44),(32,45),(32,46),(33,42),(33,44),(33,47),(34,43),(34,45),(34,47),(35,46),(35,47),(36,39),(36,41),(36,48),(37,38),(37,40),(37,48),(38,46),(38,49),(39,47),(39,49),(40,46),(40,50),(41,47),(41,50),(42,51),(43,51),(44,51),(45,51),(46,51),(47,51),(48,49),(48,50),(49,51),(50,51)],52)
=> ? = 2
[2,4] => ([(3,5),(4,5)],6)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> 0
[3,1,2] => ([(1,4),(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6)
=> ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,28),(1,29),(1,30),(2,9),(2,13),(2,18),(2,19),(2,30),(3,8),(3,12),(3,16),(3,17),(3,30),(4,11),(4,15),(4,17),(4,19),(4,29),(5,10),(5,14),(5,16),(5,18),(5,29),(6,12),(6,13),(6,14),(6,15),(6,28),(7,8),(7,9),(7,10),(7,11),(7,28),(8,20),(8,21),(8,32),(9,22),(9,23),(9,32),(10,20),(10,22),(10,33),(11,21),(11,23),(11,33),(12,24),(12,25),(12,32),(13,26),(13,27),(13,32),(14,24),(14,26),(14,33),(15,25),(15,27),(15,33),(16,20),(16,24),(16,31),(17,21),(17,25),(17,31),(18,22),(18,26),(18,31),(19,23),(19,27),(19,31),(20,34),(21,34),(22,34),(23,34),(24,34),(25,34),(26,34),(27,34),(28,32),(28,33),(29,31),(29,33),(30,31),(30,32),(31,34),(32,34),(33,34)],35)
=> ? = 2
[3,3] => ([(2,5),(3,5),(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
[4,1,1] => ([(0,4),(0,5),(1,4),(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6)
=> ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(0,8),(0,9),(1,11),(1,15),(1,20),(1,21),(1,23),(1,29),(1,69),(2,10),(2,14),(2,18),(2,19),(2,22),(2,28),(2,69),(3,13),(3,17),(3,19),(3,21),(3,25),(3,31),(3,68),(4,12),(4,16),(4,18),(4,20),(4,24),(4,30),(4,68),(5,14),(5,15),(5,16),(5,17),(5,27),(5,33),(5,67),(6,10),(6,11),(6,12),(6,13),(6,26),(6,32),(6,67),(7,28),(7,29),(7,30),(7,31),(7,32),(7,33),(7,66),(8,22),(8,23),(8,24),(8,25),(8,26),(8,27),(8,66),(9,66),(9,67),(9,68),(9,69),(10,34),(10,46),(10,58),(10,59),(10,87),(11,35),(11,47),(11,60),(11,61),(11,87),(12,36),(12,48),(12,58),(12,60),(12,88),(13,37),(13,49),(13,59),(13,61),(13,88),(14,38),(14,50),(14,62),(14,63),(14,87),(15,39),(15,51),(15,64),(15,65),(15,87),(16,40),(16,52),(16,62),(16,64),(16,88),(17,41),(17,53),(17,63),(17,65),(17,88),(18,42),(18,54),(18,58),(18,62),(18,86),(19,43),(19,55),(19,59),(19,63),(19,86),(20,44),(20,56),(20,60),(20,64),(20,86),(21,45),(21,57),(21,61),(21,65),(21,86),(22,34),(22,38),(22,42),(22,43),(22,89),(23,35),(23,39),(23,44),(23,45),(23,89),(24,36),(24,40),(24,42),(24,44),(24,90),(25,37),(25,41),(25,43),(25,45),(25,90),(26,34),(26,35),(26,36),(26,37),(26,91),(27,38),(27,39),(27,40),(27,41),(27,91),(28,46),(28,50),(28,54),(28,55),(28,89),(29,47),(29,51),(29,56),(29,57),(29,89),(30,48),(30,52),(30,54),(30,56),(30,90),(31,49),(31,53),(31,55),(31,57),(31,90),(32,46),(32,47),(32,48),(32,49),(32,91),(33,50),(33,51),(33,52),(33,53),(33,91),(34,70),(34,71),(34,93),(35,72),(35,73),(35,93),(36,70),(36,72),(36,94),(37,71),(37,73),(37,94),(38,74),(38,75),(38,93),(39,76),(39,77),(39,93),(40,74),(40,76),(40,94),(41,75),(41,77),(41,94),(42,70),(42,74),(42,95),(43,71),(43,75),(43,95),(44,72),(44,76),(44,95),(45,73),(45,77),(45,95),(46,78),(46,79),(46,93),(47,80),(47,81),(47,93),(48,78),(48,80),(48,94),(49,79),(49,81),(49,94),(50,82),(50,83),(50,93),(51,84),(51,85),(51,93),(52,82),(52,84),(52,94),(53,83),(53,85),(53,94),(54,78),(54,82),(54,95),(55,79),(55,83),(55,95),(56,80),(56,84),(56,95),(57,81),(57,85),(57,95),(58,70),(58,78),(58,92),(59,71),(59,79),(59,92),(60,72),(60,80),(60,92),(61,73),(61,81),(61,92),(62,74),(62,82),(62,92),(63,75),(63,83),(63,92),(64,76),(64,84),(64,92),(65,77),(65,85),(65,92),(66,89),(66,90),(66,91),(67,87),(67,88),(67,91),(68,86),(68,88),(68,90),(69,86),(69,87),(69,89),(70,96),(71,96),(72,96),(73,96),(74,96),(75,96),(76,96),(77,96),(78,96),(79,96),(80,96),(81,96),(82,96),(83,96),(84,96),(85,96),(86,92),(86,95),(87,92),(87,93),(88,92),(88,94),(89,93),(89,95),(90,94),(90,95),(91,93),(91,94),(92,96),(93,96),(94,96),(95,96)],97)
=> ? = 2
[4,2] => ([(1,5),(2,5),(3,5),(4,5)],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
[5,1] => ([(0,5),(1,5),(2,5),(3,5),(4,5)],6)
=> ([(0,1),(0,2),(0,3),(0,4),(0,5),(1,12),(1,13),(1,14),(1,15),(2,9),(2,10),(2,11),(2,15),(3,7),(3,8),(3,11),(3,14),(4,6),(4,8),(4,10),(4,13),(5,6),(5,7),(5,9),(5,12),(6,16),(6,19),(6,22),(7,16),(7,17),(7,20),(8,16),(8,18),(8,21),(9,17),(9,19),(9,23),(10,18),(10,19),(10,24),(11,17),(11,18),(11,25),(12,20),(12,22),(12,23),(13,21),(13,22),(13,24),(14,20),(14,21),(14,25),(15,23),(15,24),(15,25),(16,29),(16,30),(17,26),(17,30),(18,27),(18,30),(19,28),(19,30),(20,26),(20,29),(21,27),(21,29),(22,28),(22,29),(23,26),(23,28),(24,27),(24,28),(25,26),(25,27),(26,31),(27,31),(28,31),(29,31),(30,31)],32)
=> ? = 0
[6] => ([],6)
=> ([],1)
=> 0
[1,1,1,4] => ([(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
=> ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,9),(1,11),(1,13),(2,9),(2,10),(2,12),(3,8),(3,10),(3,13),(4,8),(4,11),(4,12),(5,7),(5,12),(5,13),(6,7),(6,10),(6,11),(7,14),(8,14),(9,14),(10,14),(11,14),(12,14),(13,14)],15)
=> ? = 1
[1,1,2,3] => ([(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
=> ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,9),(1,16),(1,21),(1,23),(2,8),(2,16),(2,20),(2,22),(3,10),(3,15),(3,20),(3,23),(4,11),(4,15),(4,21),(4,22),(5,13),(5,14),(5,22),(5,23),(6,12),(6,14),(6,20),(6,21),(7,8),(7,9),(7,10),(7,11),(7,12),(7,13),(8,17),(8,24),(8,26),(9,17),(9,25),(9,27),(10,18),(10,24),(10,27),(11,18),(11,25),(11,26),(12,19),(12,24),(12,25),(13,19),(13,26),(13,27),(14,19),(14,28),(15,18),(15,28),(16,17),(16,28),(17,29),(18,29),(19,29),(20,24),(20,28),(21,25),(21,28),(22,26),(22,28),(23,27),(23,28),(24,29),(25,29),(26,29),(27,29),(28,29)],30)
=> ? = 2
[1,1,3,2] => ([(1,6),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
=> ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(0,8),(1,11),(1,17),(1,24),(1,38),(1,40),(2,10),(2,16),(2,24),(2,37),(2,39),(3,12),(3,18),(3,23),(3,37),(3,40),(4,13),(4,19),(4,23),(4,38),(4,39),(5,15),(5,21),(5,22),(5,39),(5,40),(6,14),(6,20),(6,22),(6,37),(6,38),(7,9),(7,16),(7,17),(7,18),(7,19),(7,20),(7,21),(8,9),(8,10),(8,11),(8,12),(8,13),(8,14),(8,15),(9,31),(9,32),(9,33),(9,34),(9,35),(9,36),(10,25),(10,31),(10,41),(10,43),(11,25),(11,32),(11,42),(11,44),(12,26),(12,33),(12,41),(12,44),(13,26),(13,34),(13,42),(13,43),(14,27),(14,35),(14,41),(14,42),(15,27),(15,36),(15,43),(15,44),(16,28),(16,31),(16,45),(16,47),(17,28),(17,32),(17,46),(17,48),(18,29),(18,33),(18,45),(18,48),(19,29),(19,34),(19,46),(19,47),(20,30),(20,35),(20,45),(20,46),(21,30),(21,36),(21,47),(21,48),(22,27),(22,30),(22,56),(23,26),(23,29),(23,56),(24,25),(24,28),(24,56),(25,49),(25,57),(26,50),(26,57),(27,51),(27,57),(28,49),(28,58),(29,50),(29,58),(30,51),(30,58),(31,49),(31,52),(31,54),(32,49),(32,53),(32,55),(33,50),(33,52),(33,55),(34,50),(34,53),(34,54),(35,51),(35,52),(35,53),(36,51),(36,54),(36,55),(37,41),(37,45),(37,56),(38,42),(38,46),(38,56),(39,43),(39,47),(39,56),(40,44),(40,48),(40,56),(41,52),(41,57),(42,53),(42,57),(43,54),(43,57),(44,55),(44,57),(45,52),(45,58),(46,53),(46,58),(47,54),(47,58),(48,55),(48,58),(49,59),(50,59),(51,59),(52,59),(53,59),(54,59),(55,59),(56,57),(56,58),(57,59),(58,59)],60)
=> ? = 3
[1,1,5] => ([(4,5),(4,6),(5,6)],7)
=> ([(0,1),(0,2),(0,3),(1,4),(2,4),(3,4)],5)
=> 0
[1,2,4] => ([(3,6),(4,5),(4,6),(5,6)],7)
=> ([(0,1),(0,2),(0,3),(0,4),(1,7),(1,8),(2,6),(2,8),(3,5),(3,8),(4,5),(4,6),(4,7),(5,9),(6,9),(7,9),(8,9)],10)
=> ? = 1
[1,3,3] => ([(2,6),(3,6),(4,5),(4,6),(5,6)],7)
=> ([(0,1),(0,2),(0,3),(0,4),(0,5),(1,9),(1,12),(1,16),(2,8),(2,11),(2,16),(3,7),(3,10),(3,16),(4,6),(4,10),(4,11),(4,12),(5,6),(5,7),(5,8),(5,9),(6,13),(6,14),(6,15),(7,13),(7,17),(8,14),(8,17),(9,15),(9,17),(10,13),(10,18),(11,14),(11,18),(12,15),(12,18),(13,19),(14,19),(15,19),(16,17),(16,18),(17,19),(18,19)],20)
=> ? = 1
[1,4,2] => ([(1,6),(2,6),(3,6),(4,5),(4,6),(5,6)],7)
=> ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,16),(1,17),(1,18),(1,29),(2,13),(2,14),(2,15),(2,29),(3,10),(3,11),(3,12),(3,29),(4,8),(4,9),(4,12),(4,15),(4,18),(5,7),(5,9),(5,11),(5,14),(5,17),(6,7),(6,8),(6,10),(6,13),(6,16),(7,19),(7,22),(7,25),(7,28),(8,19),(8,20),(8,23),(8,26),(9,19),(9,21),(9,24),(9,27),(10,20),(10,22),(10,30),(11,21),(11,22),(11,31),(12,20),(12,21),(12,32),(13,23),(13,25),(13,30),(14,24),(14,25),(14,31),(15,23),(15,24),(15,32),(16,26),(16,28),(16,30),(17,27),(17,28),(17,31),(18,26),(18,27),(18,32),(19,33),(19,34),(19,35),(20,33),(20,36),(21,33),(21,37),(22,33),(22,38),(23,34),(23,36),(24,34),(24,37),(25,34),(25,38),(26,35),(26,36),(27,35),(27,37),(28,35),(28,38),(29,30),(29,31),(29,32),(30,36),(30,38),(31,37),(31,38),(32,36),(32,37),(33,39),(34,39),(35,39),(36,39),(37,39),(38,39)],40)
=> ? = 2
[1,5,1] => ([(0,6),(1,6),(2,6),(3,6),(4,5),(4,6),(5,6)],7)
=> ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,11),(1,15),(1,19),(1,23),(1,24),(1,25),(2,10),(2,14),(2,18),(2,21),(2,22),(2,25),(3,9),(3,13),(3,17),(3,20),(3,22),(3,24),(4,8),(4,12),(4,16),(4,20),(4,21),(4,23),(5,16),(5,17),(5,18),(5,19),(5,26),(6,12),(6,13),(6,14),(6,15),(6,26),(7,8),(7,9),(7,10),(7,11),(7,26),(8,31),(8,32),(8,34),(8,62),(9,31),(9,33),(9,35),(9,63),(10,32),(10,33),(10,36),(10,64),(11,34),(11,35),(11,36),(11,65),(12,37),(12,38),(12,40),(12,62),(13,37),(13,39),(13,41),(13,63),(14,38),(14,39),(14,42),(14,64),(15,40),(15,41),(15,42),(15,65),(16,43),(16,44),(16,46),(16,62),(17,43),(17,45),(17,47),(17,63),(18,44),(18,45),(18,48),(18,64),(19,46),(19,47),(19,48),(19,65),(20,27),(20,30),(20,31),(20,37),(20,43),(21,27),(21,28),(21,32),(21,38),(21,44),(22,27),(22,29),(22,33),(22,39),(22,45),(23,28),(23,30),(23,34),(23,40),(23,46),(24,29),(24,30),(24,35),(24,41),(24,47),(25,28),(25,29),(25,36),(25,42),(25,48),(26,62),(26,63),(26,64),(26,65),(27,49),(27,50),(27,54),(27,58),(28,49),(28,51),(28,55),(28,59),(29,49),(29,52),(29,56),(29,60),(30,49),(30,53),(30,57),(30,61),(31,50),(31,53),(31,68),(32,50),(32,51),(32,66),(33,50),(33,52),(33,67),(34,51),(34,53),(34,69),(35,52),(35,53),(35,70),(36,51),(36,52),(36,71),(37,54),(37,57),(37,68),(38,54),(38,55),(38,66),(39,54),(39,56),(39,67),(40,55),(40,57),(40,69),(41,56),(41,57),(41,70),(42,55),(42,56),(42,71),(43,58),(43,61),(43,68),(44,58),(44,59),(44,66),(45,58),(45,60),(45,67),(46,59),(46,61),(46,69),(47,60),(47,61),(47,70),(48,59),(48,60),(48,71),(49,72),(49,73),(49,74),(50,72),(50,78),(51,72),(51,75),(52,72),(52,76),(53,72),(53,77),(54,73),(54,78),(55,73),(55,75),(56,73),(56,76),(57,73),(57,77),(58,74),(58,78),(59,74),(59,75),(60,74),(60,76),(61,74),(61,77),(62,66),(62,68),(62,69),(63,67),(63,68),(63,70),(64,66),(64,67),(64,71),(65,69),(65,70),(65,71),(66,75),(66,78),(67,76),(67,78),(68,77),(68,78),(69,75),(69,77),(70,76),(70,77),(71,75),(71,76),(72,79),(73,79),(74,79),(75,79),(76,79),(77,79),(78,79)],80)
=> ? = 2
[1,6] => ([(5,6)],7)
=> ([(0,1)],2)
=> 0
[2,1,4] => ([(3,5),(3,6),(4,5),(4,6),(5,6)],7)
=> ([(0,1),(0,2),(0,3),(0,4),(0,5),(1,10),(1,11),(2,8),(2,9),(2,11),(3,6),(3,7),(3,11),(4,7),(4,9),(4,10),(5,6),(5,8),(5,10),(6,12),(7,12),(8,12),(9,12),(10,12),(11,12)],13)
=> ? = 1
[2,2,3] => ([(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
=> ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,7),(1,20),(1,21),(2,9),(2,14),(2,15),(2,21),(3,8),(3,12),(3,13),(3,21),(4,11),(4,13),(4,15),(4,20),(5,10),(5,12),(5,14),(5,20),(6,7),(6,8),(6,9),(6,10),(6,11),(7,22),(7,23),(8,16),(8,17),(8,22),(9,18),(9,19),(9,22),(10,16),(10,18),(10,23),(11,17),(11,19),(11,23),(12,16),(12,24),(13,17),(13,24),(14,18),(14,24),(15,19),(15,24),(16,25),(17,25),(18,25),(19,25),(20,23),(20,24),(21,22),(21,24),(22,25),(23,25),(24,25)],26)
=> ? = 1
[2,3,2] => ([(1,6),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
=> ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,8),(1,9),(1,36),(1,37),(2,12),(2,16),(2,21),(2,22),(2,37),(3,11),(3,15),(3,19),(3,20),(3,37),(4,14),(4,18),(4,20),(4,22),(4,36),(5,13),(5,17),(5,19),(5,21),(5,36),(6,9),(6,10),(6,15),(6,16),(6,17),(6,18),(7,8),(7,10),(7,11),(7,12),(7,13),(7,14),(8,35),(8,38),(8,39),(9,35),(9,40),(9,41),(10,31),(10,32),(10,33),(10,34),(10,35),(11,23),(11,24),(11,31),(11,38),(12,25),(12,26),(12,32),(12,38),(13,23),(13,25),(13,33),(13,39),(14,24),(14,26),(14,34),(14,39),(15,27),(15,28),(15,31),(15,40),(16,29),(16,30),(16,32),(16,40),(17,27),(17,29),(17,33),(17,41),(18,28),(18,30),(18,34),(18,41),(19,23),(19,27),(19,48),(20,24),(20,28),(20,48),(21,25),(21,29),(21,48),(22,26),(22,30),(22,48),(23,42),(23,49),(24,43),(24,49),(25,44),(25,49),(26,45),(26,49),(27,42),(27,50),(28,43),(28,50),(29,44),(29,50),(30,45),(30,50),(31,42),(31,43),(31,46),(32,44),(32,45),(32,46),(33,42),(33,44),(33,47),(34,43),(34,45),(34,47),(35,46),(35,47),(36,39),(36,41),(36,48),(37,38),(37,40),(37,48),(38,46),(38,49),(39,47),(39,49),(40,46),(40,50),(41,47),(41,50),(42,51),(43,51),(44,51),(45,51),(46,51),(47,51),(48,49),(48,50),(49,51),(50,51)],52)
=> ? = 2
[2,5] => ([(4,6),(5,6)],7)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> 0
[3,1,3] => ([(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
=> ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,28),(1,29),(1,30),(2,9),(2,13),(2,18),(2,19),(2,30),(3,8),(3,12),(3,16),(3,17),(3,30),(4,11),(4,15),(4,17),(4,19),(4,29),(5,10),(5,14),(5,16),(5,18),(5,29),(6,12),(6,13),(6,14),(6,15),(6,28),(7,8),(7,9),(7,10),(7,11),(7,28),(8,20),(8,21),(8,32),(9,22),(9,23),(9,32),(10,20),(10,22),(10,33),(11,21),(11,23),(11,33),(12,24),(12,25),(12,32),(13,26),(13,27),(13,32),(14,24),(14,26),(14,33),(15,25),(15,27),(15,33),(16,20),(16,24),(16,31),(17,21),(17,25),(17,31),(18,22),(18,26),(18,31),(19,23),(19,27),(19,31),(20,34),(21,34),(22,34),(23,34),(24,34),(25,34),(26,34),(27,34),(28,32),(28,33),(29,31),(29,33),(30,31),(30,32),(31,34),(32,34),(33,34)],35)
=> ? = 2
[3,4] => ([(3,6),(4,6),(5,6)],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
[4,1,2] => ([(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
=> ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(0,8),(0,9),(1,11),(1,15),(1,20),(1,21),(1,23),(1,29),(1,69),(2,10),(2,14),(2,18),(2,19),(2,22),(2,28),(2,69),(3,13),(3,17),(3,19),(3,21),(3,25),(3,31),(3,68),(4,12),(4,16),(4,18),(4,20),(4,24),(4,30),(4,68),(5,14),(5,15),(5,16),(5,17),(5,27),(5,33),(5,67),(6,10),(6,11),(6,12),(6,13),(6,26),(6,32),(6,67),(7,28),(7,29),(7,30),(7,31),(7,32),(7,33),(7,66),(8,22),(8,23),(8,24),(8,25),(8,26),(8,27),(8,66),(9,66),(9,67),(9,68),(9,69),(10,34),(10,46),(10,58),(10,59),(10,87),(11,35),(11,47),(11,60),(11,61),(11,87),(12,36),(12,48),(12,58),(12,60),(12,88),(13,37),(13,49),(13,59),(13,61),(13,88),(14,38),(14,50),(14,62),(14,63),(14,87),(15,39),(15,51),(15,64),(15,65),(15,87),(16,40),(16,52),(16,62),(16,64),(16,88),(17,41),(17,53),(17,63),(17,65),(17,88),(18,42),(18,54),(18,58),(18,62),(18,86),(19,43),(19,55),(19,59),(19,63),(19,86),(20,44),(20,56),(20,60),(20,64),(20,86),(21,45),(21,57),(21,61),(21,65),(21,86),(22,34),(22,38),(22,42),(22,43),(22,89),(23,35),(23,39),(23,44),(23,45),(23,89),(24,36),(24,40),(24,42),(24,44),(24,90),(25,37),(25,41),(25,43),(25,45),(25,90),(26,34),(26,35),(26,36),(26,37),(26,91),(27,38),(27,39),(27,40),(27,41),(27,91),(28,46),(28,50),(28,54),(28,55),(28,89),(29,47),(29,51),(29,56),(29,57),(29,89),(30,48),(30,52),(30,54),(30,56),(30,90),(31,49),(31,53),(31,55),(31,57),(31,90),(32,46),(32,47),(32,48),(32,49),(32,91),(33,50),(33,51),(33,52),(33,53),(33,91),(34,70),(34,71),(34,93),(35,72),(35,73),(35,93),(36,70),(36,72),(36,94),(37,71),(37,73),(37,94),(38,74),(38,75),(38,93),(39,76),(39,77),(39,93),(40,74),(40,76),(40,94),(41,75),(41,77),(41,94),(42,70),(42,74),(42,95),(43,71),(43,75),(43,95),(44,72),(44,76),(44,95),(45,73),(45,77),(45,95),(46,78),(46,79),(46,93),(47,80),(47,81),(47,93),(48,78),(48,80),(48,94),(49,79),(49,81),(49,94),(50,82),(50,83),(50,93),(51,84),(51,85),(51,93),(52,82),(52,84),(52,94),(53,83),(53,85),(53,94),(54,78),(54,82),(54,95),(55,79),(55,83),(55,95),(56,80),(56,84),(56,95),(57,81),(57,85),(57,95),(58,70),(58,78),(58,92),(59,71),(59,79),(59,92),(60,72),(60,80),(60,92),(61,73),(61,81),(61,92),(62,74),(62,82),(62,92),(63,75),(63,83),(63,92),(64,76),(64,84),(64,92),(65,77),(65,85),(65,92),(66,89),(66,90),(66,91),(67,87),(67,88),(67,91),(68,86),(68,88),(68,90),(69,86),(69,87),(69,89),(70,96),(71,96),(72,96),(73,96),(74,96),(75,96),(76,96),(77,96),(78,96),(79,96),(80,96),(81,96),(82,96),(83,96),(84,96),(85,96),(86,92),(86,95),(87,92),(87,93),(88,92),(88,94),(89,93),(89,95),(90,94),(90,95),(91,93),(91,94),(92,96),(93,96),(94,96),(95,96)],97)
=> ? = 2
[4,3] => ([(2,6),(3,6),(4,6),(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
[5,2] => ([(1,6),(2,6),(3,6),(4,6),(5,6)],7)
=> ([(0,1),(0,2),(0,3),(0,4),(0,5),(1,12),(1,13),(1,14),(1,15),(2,9),(2,10),(2,11),(2,15),(3,7),(3,8),(3,11),(3,14),(4,6),(4,8),(4,10),(4,13),(5,6),(5,7),(5,9),(5,12),(6,16),(6,19),(6,22),(7,16),(7,17),(7,20),(8,16),(8,18),(8,21),(9,17),(9,19),(9,23),(10,18),(10,19),(10,24),(11,17),(11,18),(11,25),(12,20),(12,22),(12,23),(13,21),(13,22),(13,24),(14,20),(14,21),(14,25),(15,23),(15,24),(15,25),(16,29),(16,30),(17,26),(17,30),(18,27),(18,30),(19,28),(19,30),(20,26),(20,29),(21,27),(21,29),(22,28),(22,29),(23,26),(23,28),(24,27),(24,28),(25,26),(25,27),(26,31),(27,31),(28,31),(29,31),(30,31)],32)
=> ? = 0
[6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7)
=> ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,17),(1,18),(1,19),(1,20),(1,21),(2,13),(2,14),(2,15),(2,16),(2,21),(3,10),(3,11),(3,12),(3,16),(3,20),(4,8),(4,9),(4,12),(4,15),(4,19),(5,7),(5,9),(5,11),(5,14),(5,18),(6,7),(6,8),(6,10),(6,13),(6,17),(7,22),(7,25),(7,28),(7,34),(8,22),(8,23),(8,26),(8,32),(9,22),(9,24),(9,27),(9,33),(10,23),(10,25),(10,29),(10,35),(11,24),(11,25),(11,30),(11,36),(12,23),(12,24),(12,31),(12,37),(13,26),(13,28),(13,29),(13,38),(14,27),(14,28),(14,30),(14,39),(15,26),(15,27),(15,31),(15,40),(16,29),(16,30),(16,31),(16,41),(17,32),(17,34),(17,35),(17,38),(18,33),(18,34),(18,36),(18,39),(19,32),(19,33),(19,37),(19,40),(20,35),(20,36),(20,37),(20,41),(21,38),(21,39),(21,40),(21,41),(22,45),(22,46),(22,56),(23,42),(23,46),(23,53),(24,43),(24,46),(24,54),(25,44),(25,46),(25,55),(26,42),(26,45),(26,47),(27,43),(27,45),(27,48),(28,44),(28,45),(28,49),(29,42),(29,44),(29,50),(30,43),(30,44),(30,51),(31,42),(31,43),(31,52),(32,47),(32,53),(32,56),(33,48),(33,54),(33,56),(34,49),(34,55),(34,56),(35,50),(35,53),(35,55),(36,51),(36,54),(36,55),(37,52),(37,53),(37,54),(38,47),(38,49),(38,50),(39,48),(39,49),(39,51),(40,47),(40,48),(40,52),(41,50),(41,51),(41,52),(42,57),(42,62),(43,58),(43,62),(44,59),(44,62),(45,60),(45,62),(46,61),(46,62),(47,57),(47,60),(48,58),(48,60),(49,59),(49,60),(50,57),(50,59),(51,58),(51,59),(52,57),(52,58),(53,57),(53,61),(54,58),(54,61),(55,59),(55,61),(56,60),(56,61),(57,63),(58,63),(59,63),(60,63),(61,63),(62,63)],64)
=> ? = 0
[7] => ([],7)
=> ([],1)
=> 0
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.
Matching statistic: St001719
(load all 3 compositions to match this statistic)
(load all 3 compositions to match this statistic)
Values
[1] => ([],1)
=> ([],1)
=> 1 = 0 + 1
[1,1] => ([(0,1)],2)
=> ([(0,1)],2)
=> 1 = 0 + 1
[2] => ([],2)
=> ([],1)
=> 1 = 0 + 1
[1,1,1] => ([(0,1),(0,2),(1,2)],3)
=> ([(0,1),(0,2),(0,3),(1,4),(2,4),(3,4)],5)
=> 1 = 0 + 1
[1,2] => ([(1,2)],3)
=> ([(0,1)],2)
=> 1 = 0 + 1
[2,1] => ([(0,2),(1,2)],3)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> 1 = 0 + 1
[3] => ([],3)
=> ([],1)
=> 1 = 0 + 1
[1,1,1,1] => ([(0,1),(0,2),(0,3),(1,2),(1,3),(2,3)],4)
=> ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,9),(1,11),(1,13),(2,9),(2,10),(2,12),(3,8),(3,10),(3,13),(4,8),(4,11),(4,12),(5,7),(5,12),(5,13),(6,7),(6,10),(6,11),(7,14),(8,14),(9,14),(10,14),(11,14),(12,14),(13,14)],15)
=> ? = 1 + 1
[1,1,2] => ([(1,2),(1,3),(2,3)],4)
=> ([(0,1),(0,2),(0,3),(1,4),(2,4),(3,4)],5)
=> 1 = 0 + 1
[1,2,1] => ([(0,3),(1,2),(1,3),(2,3)],4)
=> ([(0,1),(0,2),(0,3),(0,4),(1,7),(1,8),(2,6),(2,8),(3,5),(3,8),(4,5),(4,6),(4,7),(5,9),(6,9),(7,9),(8,9)],10)
=> ? = 1 + 1
[1,3] => ([(2,3)],4)
=> ([(0,1)],2)
=> 1 = 0 + 1
[2,1,1] => ([(0,2),(0,3),(1,2),(1,3),(2,3)],4)
=> ([(0,1),(0,2),(0,3),(0,4),(0,5),(1,10),(1,11),(2,8),(2,9),(2,11),(3,6),(3,7),(3,11),(4,7),(4,9),(4,10),(5,6),(5,8),(5,10),(6,12),(7,12),(8,12),(9,12),(10,12),(11,12)],13)
=> ? = 1 + 1
[2,2] => ([(1,3),(2,3)],4)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> 1 = 0 + 1
[3,1] => ([(0,3),(1,3),(2,3)],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
[4] => ([],4)
=> ([],1)
=> 1 = 0 + 1
[1,1,1,2] => ([(1,2),(1,3),(1,4),(2,3),(2,4),(3,4)],5)
=> ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,9),(1,11),(1,13),(2,9),(2,10),(2,12),(3,8),(3,10),(3,13),(4,8),(4,11),(4,12),(5,7),(5,12),(5,13),(6,7),(6,10),(6,11),(7,14),(8,14),(9,14),(10,14),(11,14),(12,14),(13,14)],15)
=> ? = 1 + 1
[1,1,2,1] => ([(0,4),(1,2),(1,3),(1,4),(2,3),(2,4),(3,4)],5)
=> ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,9),(1,16),(1,21),(1,23),(2,8),(2,16),(2,20),(2,22),(3,10),(3,15),(3,20),(3,23),(4,11),(4,15),(4,21),(4,22),(5,13),(5,14),(5,22),(5,23),(6,12),(6,14),(6,20),(6,21),(7,8),(7,9),(7,10),(7,11),(7,12),(7,13),(8,17),(8,24),(8,26),(9,17),(9,25),(9,27),(10,18),(10,24),(10,27),(11,18),(11,25),(11,26),(12,19),(12,24),(12,25),(13,19),(13,26),(13,27),(14,19),(14,28),(15,18),(15,28),(16,17),(16,28),(17,29),(18,29),(19,29),(20,24),(20,28),(21,25),(21,28),(22,26),(22,28),(23,27),(23,28),(24,29),(25,29),(26,29),(27,29),(28,29)],30)
=> ? = 2 + 1
[1,1,3] => ([(2,3),(2,4),(3,4)],5)
=> ([(0,1),(0,2),(0,3),(1,4),(2,4),(3,4)],5)
=> 1 = 0 + 1
[1,2,2] => ([(1,4),(2,3),(2,4),(3,4)],5)
=> ([(0,1),(0,2),(0,3),(0,4),(1,7),(1,8),(2,6),(2,8),(3,5),(3,8),(4,5),(4,6),(4,7),(5,9),(6,9),(7,9),(8,9)],10)
=> ? = 1 + 1
[1,3,1] => ([(0,4),(1,4),(2,3),(2,4),(3,4)],5)
=> ([(0,1),(0,2),(0,3),(0,4),(0,5),(1,9),(1,12),(1,16),(2,8),(2,11),(2,16),(3,7),(3,10),(3,16),(4,6),(4,10),(4,11),(4,12),(5,6),(5,7),(5,8),(5,9),(6,13),(6,14),(6,15),(7,13),(7,17),(8,14),(8,17),(9,15),(9,17),(10,13),(10,18),(11,14),(11,18),(12,15),(12,18),(13,19),(14,19),(15,19),(16,17),(16,18),(17,19),(18,19)],20)
=> ? = 1 + 1
[1,4] => ([(3,4)],5)
=> ([(0,1)],2)
=> 1 = 0 + 1
[2,1,2] => ([(1,3),(1,4),(2,3),(2,4),(3,4)],5)
=> ([(0,1),(0,2),(0,3),(0,4),(0,5),(1,10),(1,11),(2,8),(2,9),(2,11),(3,6),(3,7),(3,11),(4,7),(4,9),(4,10),(5,6),(5,8),(5,10),(6,12),(7,12),(8,12),(9,12),(10,12),(11,12)],13)
=> ? = 1 + 1
[2,2,1] => ([(0,4),(1,3),(1,4),(2,3),(2,4),(3,4)],5)
=> ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,7),(1,20),(1,21),(2,9),(2,14),(2,15),(2,21),(3,8),(3,12),(3,13),(3,21),(4,11),(4,13),(4,15),(4,20),(5,10),(5,12),(5,14),(5,20),(6,7),(6,8),(6,9),(6,10),(6,11),(7,22),(7,23),(8,16),(8,17),(8,22),(9,18),(9,19),(9,22),(10,16),(10,18),(10,23),(11,17),(11,19),(11,23),(12,16),(12,24),(13,17),(13,24),(14,18),(14,24),(15,19),(15,24),(16,25),(17,25),(18,25),(19,25),(20,23),(20,24),(21,22),(21,24),(22,25),(23,25),(24,25)],26)
=> ? = 1 + 1
[2,3] => ([(2,4),(3,4)],5)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> 1 = 0 + 1
[3,1,1] => ([(0,3),(0,4),(1,3),(1,4),(2,3),(2,4),(3,4)],5)
=> ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,28),(1,29),(1,30),(2,9),(2,13),(2,18),(2,19),(2,30),(3,8),(3,12),(3,16),(3,17),(3,30),(4,11),(4,15),(4,17),(4,19),(4,29),(5,10),(5,14),(5,16),(5,18),(5,29),(6,12),(6,13),(6,14),(6,15),(6,28),(7,8),(7,9),(7,10),(7,11),(7,28),(8,20),(8,21),(8,32),(9,22),(9,23),(9,32),(10,20),(10,22),(10,33),(11,21),(11,23),(11,33),(12,24),(12,25),(12,32),(13,26),(13,27),(13,32),(14,24),(14,26),(14,33),(15,25),(15,27),(15,33),(16,20),(16,24),(16,31),(17,21),(17,25),(17,31),(18,22),(18,26),(18,31),(19,23),(19,27),(19,31),(20,34),(21,34),(22,34),(23,34),(24,34),(25,34),(26,34),(27,34),(28,32),(28,33),(29,31),(29,33),(30,31),(30,32),(31,34),(32,34),(33,34)],35)
=> ? = 2 + 1
[3,2] => ([(1,4),(2,4),(3,4)],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
[4,1] => ([(0,4),(1,4),(2,4),(3,4)],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
[5] => ([],5)
=> ([],1)
=> 1 = 0 + 1
[1,1,1,3] => ([(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6)
=> ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,9),(1,11),(1,13),(2,9),(2,10),(2,12),(3,8),(3,10),(3,13),(4,8),(4,11),(4,12),(5,7),(5,12),(5,13),(6,7),(6,10),(6,11),(7,14),(8,14),(9,14),(10,14),(11,14),(12,14),(13,14)],15)
=> ? = 1 + 1
[1,1,2,2] => ([(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6)
=> ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,9),(1,16),(1,21),(1,23),(2,8),(2,16),(2,20),(2,22),(3,10),(3,15),(3,20),(3,23),(4,11),(4,15),(4,21),(4,22),(5,13),(5,14),(5,22),(5,23),(6,12),(6,14),(6,20),(6,21),(7,8),(7,9),(7,10),(7,11),(7,12),(7,13),(8,17),(8,24),(8,26),(9,17),(9,25),(9,27),(10,18),(10,24),(10,27),(11,18),(11,25),(11,26),(12,19),(12,24),(12,25),(13,19),(13,26),(13,27),(14,19),(14,28),(15,18),(15,28),(16,17),(16,28),(17,29),(18,29),(19,29),(20,24),(20,28),(21,25),(21,28),(22,26),(22,28),(23,27),(23,28),(24,29),(25,29),(26,29),(27,29),(28,29)],30)
=> ? = 2 + 1
[1,1,3,1] => ([(0,5),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6)
=> ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(0,8),(1,11),(1,17),(1,24),(1,38),(1,40),(2,10),(2,16),(2,24),(2,37),(2,39),(3,12),(3,18),(3,23),(3,37),(3,40),(4,13),(4,19),(4,23),(4,38),(4,39),(5,15),(5,21),(5,22),(5,39),(5,40),(6,14),(6,20),(6,22),(6,37),(6,38),(7,9),(7,16),(7,17),(7,18),(7,19),(7,20),(7,21),(8,9),(8,10),(8,11),(8,12),(8,13),(8,14),(8,15),(9,31),(9,32),(9,33),(9,34),(9,35),(9,36),(10,25),(10,31),(10,41),(10,43),(11,25),(11,32),(11,42),(11,44),(12,26),(12,33),(12,41),(12,44),(13,26),(13,34),(13,42),(13,43),(14,27),(14,35),(14,41),(14,42),(15,27),(15,36),(15,43),(15,44),(16,28),(16,31),(16,45),(16,47),(17,28),(17,32),(17,46),(17,48),(18,29),(18,33),(18,45),(18,48),(19,29),(19,34),(19,46),(19,47),(20,30),(20,35),(20,45),(20,46),(21,30),(21,36),(21,47),(21,48),(22,27),(22,30),(22,56),(23,26),(23,29),(23,56),(24,25),(24,28),(24,56),(25,49),(25,57),(26,50),(26,57),(27,51),(27,57),(28,49),(28,58),(29,50),(29,58),(30,51),(30,58),(31,49),(31,52),(31,54),(32,49),(32,53),(32,55),(33,50),(33,52),(33,55),(34,50),(34,53),(34,54),(35,51),(35,52),(35,53),(36,51),(36,54),(36,55),(37,41),(37,45),(37,56),(38,42),(38,46),(38,56),(39,43),(39,47),(39,56),(40,44),(40,48),(40,56),(41,52),(41,57),(42,53),(42,57),(43,54),(43,57),(44,55),(44,57),(45,52),(45,58),(46,53),(46,58),(47,54),(47,58),(48,55),(48,58),(49,59),(50,59),(51,59),(52,59),(53,59),(54,59),(55,59),(56,57),(56,58),(57,59),(58,59)],60)
=> ? = 3 + 1
[1,1,4] => ([(3,4),(3,5),(4,5)],6)
=> ([(0,1),(0,2),(0,3),(1,4),(2,4),(3,4)],5)
=> 1 = 0 + 1
[1,2,3] => ([(2,5),(3,4),(3,5),(4,5)],6)
=> ([(0,1),(0,2),(0,3),(0,4),(1,7),(1,8),(2,6),(2,8),(3,5),(3,8),(4,5),(4,6),(4,7),(5,9),(6,9),(7,9),(8,9)],10)
=> ? = 1 + 1
[1,3,2] => ([(1,5),(2,5),(3,4),(3,5),(4,5)],6)
=> ([(0,1),(0,2),(0,3),(0,4),(0,5),(1,9),(1,12),(1,16),(2,8),(2,11),(2,16),(3,7),(3,10),(3,16),(4,6),(4,10),(4,11),(4,12),(5,6),(5,7),(5,8),(5,9),(6,13),(6,14),(6,15),(7,13),(7,17),(8,14),(8,17),(9,15),(9,17),(10,13),(10,18),(11,14),(11,18),(12,15),(12,18),(13,19),(14,19),(15,19),(16,17),(16,18),(17,19),(18,19)],20)
=> ? = 1 + 1
[1,4,1] => ([(0,5),(1,5),(2,5),(3,4),(3,5),(4,5)],6)
=> ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,16),(1,17),(1,18),(1,29),(2,13),(2,14),(2,15),(2,29),(3,10),(3,11),(3,12),(3,29),(4,8),(4,9),(4,12),(4,15),(4,18),(5,7),(5,9),(5,11),(5,14),(5,17),(6,7),(6,8),(6,10),(6,13),(6,16),(7,19),(7,22),(7,25),(7,28),(8,19),(8,20),(8,23),(8,26),(9,19),(9,21),(9,24),(9,27),(10,20),(10,22),(10,30),(11,21),(11,22),(11,31),(12,20),(12,21),(12,32),(13,23),(13,25),(13,30),(14,24),(14,25),(14,31),(15,23),(15,24),(15,32),(16,26),(16,28),(16,30),(17,27),(17,28),(17,31),(18,26),(18,27),(18,32),(19,33),(19,34),(19,35),(20,33),(20,36),(21,33),(21,37),(22,33),(22,38),(23,34),(23,36),(24,34),(24,37),(25,34),(25,38),(26,35),(26,36),(27,35),(27,37),(28,35),(28,38),(29,30),(29,31),(29,32),(30,36),(30,38),(31,37),(31,38),(32,36),(32,37),(33,39),(34,39),(35,39),(36,39),(37,39),(38,39)],40)
=> ? = 2 + 1
[1,5] => ([(4,5)],6)
=> ([(0,1)],2)
=> 1 = 0 + 1
[2,1,3] => ([(2,4),(2,5),(3,4),(3,5),(4,5)],6)
=> ([(0,1),(0,2),(0,3),(0,4),(0,5),(1,10),(1,11),(2,8),(2,9),(2,11),(3,6),(3,7),(3,11),(4,7),(4,9),(4,10),(5,6),(5,8),(5,10),(6,12),(7,12),(8,12),(9,12),(10,12),(11,12)],13)
=> ? = 1 + 1
[2,2,2] => ([(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6)
=> ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,7),(1,20),(1,21),(2,9),(2,14),(2,15),(2,21),(3,8),(3,12),(3,13),(3,21),(4,11),(4,13),(4,15),(4,20),(5,10),(5,12),(5,14),(5,20),(6,7),(6,8),(6,9),(6,10),(6,11),(7,22),(7,23),(8,16),(8,17),(8,22),(9,18),(9,19),(9,22),(10,16),(10,18),(10,23),(11,17),(11,19),(11,23),(12,16),(12,24),(13,17),(13,24),(14,18),(14,24),(15,19),(15,24),(16,25),(17,25),(18,25),(19,25),(20,23),(20,24),(21,22),(21,24),(22,25),(23,25),(24,25)],26)
=> ? = 1 + 1
[2,3,1] => ([(0,5),(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6)
=> ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,8),(1,9),(1,36),(1,37),(2,12),(2,16),(2,21),(2,22),(2,37),(3,11),(3,15),(3,19),(3,20),(3,37),(4,14),(4,18),(4,20),(4,22),(4,36),(5,13),(5,17),(5,19),(5,21),(5,36),(6,9),(6,10),(6,15),(6,16),(6,17),(6,18),(7,8),(7,10),(7,11),(7,12),(7,13),(7,14),(8,35),(8,38),(8,39),(9,35),(9,40),(9,41),(10,31),(10,32),(10,33),(10,34),(10,35),(11,23),(11,24),(11,31),(11,38),(12,25),(12,26),(12,32),(12,38),(13,23),(13,25),(13,33),(13,39),(14,24),(14,26),(14,34),(14,39),(15,27),(15,28),(15,31),(15,40),(16,29),(16,30),(16,32),(16,40),(17,27),(17,29),(17,33),(17,41),(18,28),(18,30),(18,34),(18,41),(19,23),(19,27),(19,48),(20,24),(20,28),(20,48),(21,25),(21,29),(21,48),(22,26),(22,30),(22,48),(23,42),(23,49),(24,43),(24,49),(25,44),(25,49),(26,45),(26,49),(27,42),(27,50),(28,43),(28,50),(29,44),(29,50),(30,45),(30,50),(31,42),(31,43),(31,46),(32,44),(32,45),(32,46),(33,42),(33,44),(33,47),(34,43),(34,45),(34,47),(35,46),(35,47),(36,39),(36,41),(36,48),(37,38),(37,40),(37,48),(38,46),(38,49),(39,47),(39,49),(40,46),(40,50),(41,47),(41,50),(42,51),(43,51),(44,51),(45,51),(46,51),(47,51),(48,49),(48,50),(49,51),(50,51)],52)
=> ? = 2 + 1
[2,4] => ([(3,5),(4,5)],6)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> 1 = 0 + 1
[3,1,2] => ([(1,4),(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6)
=> ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,28),(1,29),(1,30),(2,9),(2,13),(2,18),(2,19),(2,30),(3,8),(3,12),(3,16),(3,17),(3,30),(4,11),(4,15),(4,17),(4,19),(4,29),(5,10),(5,14),(5,16),(5,18),(5,29),(6,12),(6,13),(6,14),(6,15),(6,28),(7,8),(7,9),(7,10),(7,11),(7,28),(8,20),(8,21),(8,32),(9,22),(9,23),(9,32),(10,20),(10,22),(10,33),(11,21),(11,23),(11,33),(12,24),(12,25),(12,32),(13,26),(13,27),(13,32),(14,24),(14,26),(14,33),(15,25),(15,27),(15,33),(16,20),(16,24),(16,31),(17,21),(17,25),(17,31),(18,22),(18,26),(18,31),(19,23),(19,27),(19,31),(20,34),(21,34),(22,34),(23,34),(24,34),(25,34),(26,34),(27,34),(28,32),(28,33),(29,31),(29,33),(30,31),(30,32),(31,34),(32,34),(33,34)],35)
=> ? = 2 + 1
[3,3] => ([(2,5),(3,5),(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 + 1
[4,1,1] => ([(0,4),(0,5),(1,4),(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6)
=> ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(0,8),(0,9),(1,11),(1,15),(1,20),(1,21),(1,23),(1,29),(1,69),(2,10),(2,14),(2,18),(2,19),(2,22),(2,28),(2,69),(3,13),(3,17),(3,19),(3,21),(3,25),(3,31),(3,68),(4,12),(4,16),(4,18),(4,20),(4,24),(4,30),(4,68),(5,14),(5,15),(5,16),(5,17),(5,27),(5,33),(5,67),(6,10),(6,11),(6,12),(6,13),(6,26),(6,32),(6,67),(7,28),(7,29),(7,30),(7,31),(7,32),(7,33),(7,66),(8,22),(8,23),(8,24),(8,25),(8,26),(8,27),(8,66),(9,66),(9,67),(9,68),(9,69),(10,34),(10,46),(10,58),(10,59),(10,87),(11,35),(11,47),(11,60),(11,61),(11,87),(12,36),(12,48),(12,58),(12,60),(12,88),(13,37),(13,49),(13,59),(13,61),(13,88),(14,38),(14,50),(14,62),(14,63),(14,87),(15,39),(15,51),(15,64),(15,65),(15,87),(16,40),(16,52),(16,62),(16,64),(16,88),(17,41),(17,53),(17,63),(17,65),(17,88),(18,42),(18,54),(18,58),(18,62),(18,86),(19,43),(19,55),(19,59),(19,63),(19,86),(20,44),(20,56),(20,60),(20,64),(20,86),(21,45),(21,57),(21,61),(21,65),(21,86),(22,34),(22,38),(22,42),(22,43),(22,89),(23,35),(23,39),(23,44),(23,45),(23,89),(24,36),(24,40),(24,42),(24,44),(24,90),(25,37),(25,41),(25,43),(25,45),(25,90),(26,34),(26,35),(26,36),(26,37),(26,91),(27,38),(27,39),(27,40),(27,41),(27,91),(28,46),(28,50),(28,54),(28,55),(28,89),(29,47),(29,51),(29,56),(29,57),(29,89),(30,48),(30,52),(30,54),(30,56),(30,90),(31,49),(31,53),(31,55),(31,57),(31,90),(32,46),(32,47),(32,48),(32,49),(32,91),(33,50),(33,51),(33,52),(33,53),(33,91),(34,70),(34,71),(34,93),(35,72),(35,73),(35,93),(36,70),(36,72),(36,94),(37,71),(37,73),(37,94),(38,74),(38,75),(38,93),(39,76),(39,77),(39,93),(40,74),(40,76),(40,94),(41,75),(41,77),(41,94),(42,70),(42,74),(42,95),(43,71),(43,75),(43,95),(44,72),(44,76),(44,95),(45,73),(45,77),(45,95),(46,78),(46,79),(46,93),(47,80),(47,81),(47,93),(48,78),(48,80),(48,94),(49,79),(49,81),(49,94),(50,82),(50,83),(50,93),(51,84),(51,85),(51,93),(52,82),(52,84),(52,94),(53,83),(53,85),(53,94),(54,78),(54,82),(54,95),(55,79),(55,83),(55,95),(56,80),(56,84),(56,95),(57,81),(57,85),(57,95),(58,70),(58,78),(58,92),(59,71),(59,79),(59,92),(60,72),(60,80),(60,92),(61,73),(61,81),(61,92),(62,74),(62,82),(62,92),(63,75),(63,83),(63,92),(64,76),(64,84),(64,92),(65,77),(65,85),(65,92),(66,89),(66,90),(66,91),(67,87),(67,88),(67,91),(68,86),(68,88),(68,90),(69,86),(69,87),(69,89),(70,96),(71,96),(72,96),(73,96),(74,96),(75,96),(76,96),(77,96),(78,96),(79,96),(80,96),(81,96),(82,96),(83,96),(84,96),(85,96),(86,92),(86,95),(87,92),(87,93),(88,92),(88,94),(89,93),(89,95),(90,94),(90,95),(91,93),(91,94),(92,96),(93,96),(94,96),(95,96)],97)
=> ? = 2 + 1
[4,2] => ([(1,5),(2,5),(3,5),(4,5)],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
[5,1] => ([(0,5),(1,5),(2,5),(3,5),(4,5)],6)
=> ([(0,1),(0,2),(0,3),(0,4),(0,5),(1,12),(1,13),(1,14),(1,15),(2,9),(2,10),(2,11),(2,15),(3,7),(3,8),(3,11),(3,14),(4,6),(4,8),(4,10),(4,13),(5,6),(5,7),(5,9),(5,12),(6,16),(6,19),(6,22),(7,16),(7,17),(7,20),(8,16),(8,18),(8,21),(9,17),(9,19),(9,23),(10,18),(10,19),(10,24),(11,17),(11,18),(11,25),(12,20),(12,22),(12,23),(13,21),(13,22),(13,24),(14,20),(14,21),(14,25),(15,23),(15,24),(15,25),(16,29),(16,30),(17,26),(17,30),(18,27),(18,30),(19,28),(19,30),(20,26),(20,29),(21,27),(21,29),(22,28),(22,29),(23,26),(23,28),(24,27),(24,28),(25,26),(25,27),(26,31),(27,31),(28,31),(29,31),(30,31)],32)
=> ? = 0 + 1
[6] => ([],6)
=> ([],1)
=> 1 = 0 + 1
[1,1,1,4] => ([(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
=> ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,9),(1,11),(1,13),(2,9),(2,10),(2,12),(3,8),(3,10),(3,13),(4,8),(4,11),(4,12),(5,7),(5,12),(5,13),(6,7),(6,10),(6,11),(7,14),(8,14),(9,14),(10,14),(11,14),(12,14),(13,14)],15)
=> ? = 1 + 1
[1,1,2,3] => ([(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
=> ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,9),(1,16),(1,21),(1,23),(2,8),(2,16),(2,20),(2,22),(3,10),(3,15),(3,20),(3,23),(4,11),(4,15),(4,21),(4,22),(5,13),(5,14),(5,22),(5,23),(6,12),(6,14),(6,20),(6,21),(7,8),(7,9),(7,10),(7,11),(7,12),(7,13),(8,17),(8,24),(8,26),(9,17),(9,25),(9,27),(10,18),(10,24),(10,27),(11,18),(11,25),(11,26),(12,19),(12,24),(12,25),(13,19),(13,26),(13,27),(14,19),(14,28),(15,18),(15,28),(16,17),(16,28),(17,29),(18,29),(19,29),(20,24),(20,28),(21,25),(21,28),(22,26),(22,28),(23,27),(23,28),(24,29),(25,29),(26,29),(27,29),(28,29)],30)
=> ? = 2 + 1
[1,1,3,2] => ([(1,6),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
=> ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(0,8),(1,11),(1,17),(1,24),(1,38),(1,40),(2,10),(2,16),(2,24),(2,37),(2,39),(3,12),(3,18),(3,23),(3,37),(3,40),(4,13),(4,19),(4,23),(4,38),(4,39),(5,15),(5,21),(5,22),(5,39),(5,40),(6,14),(6,20),(6,22),(6,37),(6,38),(7,9),(7,16),(7,17),(7,18),(7,19),(7,20),(7,21),(8,9),(8,10),(8,11),(8,12),(8,13),(8,14),(8,15),(9,31),(9,32),(9,33),(9,34),(9,35),(9,36),(10,25),(10,31),(10,41),(10,43),(11,25),(11,32),(11,42),(11,44),(12,26),(12,33),(12,41),(12,44),(13,26),(13,34),(13,42),(13,43),(14,27),(14,35),(14,41),(14,42),(15,27),(15,36),(15,43),(15,44),(16,28),(16,31),(16,45),(16,47),(17,28),(17,32),(17,46),(17,48),(18,29),(18,33),(18,45),(18,48),(19,29),(19,34),(19,46),(19,47),(20,30),(20,35),(20,45),(20,46),(21,30),(21,36),(21,47),(21,48),(22,27),(22,30),(22,56),(23,26),(23,29),(23,56),(24,25),(24,28),(24,56),(25,49),(25,57),(26,50),(26,57),(27,51),(27,57),(28,49),(28,58),(29,50),(29,58),(30,51),(30,58),(31,49),(31,52),(31,54),(32,49),(32,53),(32,55),(33,50),(33,52),(33,55),(34,50),(34,53),(34,54),(35,51),(35,52),(35,53),(36,51),(36,54),(36,55),(37,41),(37,45),(37,56),(38,42),(38,46),(38,56),(39,43),(39,47),(39,56),(40,44),(40,48),(40,56),(41,52),(41,57),(42,53),(42,57),(43,54),(43,57),(44,55),(44,57),(45,52),(45,58),(46,53),(46,58),(47,54),(47,58),(48,55),(48,58),(49,59),(50,59),(51,59),(52,59),(53,59),(54,59),(55,59),(56,57),(56,58),(57,59),(58,59)],60)
=> ? = 3 + 1
[1,1,5] => ([(4,5),(4,6),(5,6)],7)
=> ([(0,1),(0,2),(0,3),(1,4),(2,4),(3,4)],5)
=> 1 = 0 + 1
[1,2,4] => ([(3,6),(4,5),(4,6),(5,6)],7)
=> ([(0,1),(0,2),(0,3),(0,4),(1,7),(1,8),(2,6),(2,8),(3,5),(3,8),(4,5),(4,6),(4,7),(5,9),(6,9),(7,9),(8,9)],10)
=> ? = 1 + 1
[1,3,3] => ([(2,6),(3,6),(4,5),(4,6),(5,6)],7)
=> ([(0,1),(0,2),(0,3),(0,4),(0,5),(1,9),(1,12),(1,16),(2,8),(2,11),(2,16),(3,7),(3,10),(3,16),(4,6),(4,10),(4,11),(4,12),(5,6),(5,7),(5,8),(5,9),(6,13),(6,14),(6,15),(7,13),(7,17),(8,14),(8,17),(9,15),(9,17),(10,13),(10,18),(11,14),(11,18),(12,15),(12,18),(13,19),(14,19),(15,19),(16,17),(16,18),(17,19),(18,19)],20)
=> ? = 1 + 1
[1,4,2] => ([(1,6),(2,6),(3,6),(4,5),(4,6),(5,6)],7)
=> ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,16),(1,17),(1,18),(1,29),(2,13),(2,14),(2,15),(2,29),(3,10),(3,11),(3,12),(3,29),(4,8),(4,9),(4,12),(4,15),(4,18),(5,7),(5,9),(5,11),(5,14),(5,17),(6,7),(6,8),(6,10),(6,13),(6,16),(7,19),(7,22),(7,25),(7,28),(8,19),(8,20),(8,23),(8,26),(9,19),(9,21),(9,24),(9,27),(10,20),(10,22),(10,30),(11,21),(11,22),(11,31),(12,20),(12,21),(12,32),(13,23),(13,25),(13,30),(14,24),(14,25),(14,31),(15,23),(15,24),(15,32),(16,26),(16,28),(16,30),(17,27),(17,28),(17,31),(18,26),(18,27),(18,32),(19,33),(19,34),(19,35),(20,33),(20,36),(21,33),(21,37),(22,33),(22,38),(23,34),(23,36),(24,34),(24,37),(25,34),(25,38),(26,35),(26,36),(27,35),(27,37),(28,35),(28,38),(29,30),(29,31),(29,32),(30,36),(30,38),(31,37),(31,38),(32,36),(32,37),(33,39),(34,39),(35,39),(36,39),(37,39),(38,39)],40)
=> ? = 2 + 1
[1,5,1] => ([(0,6),(1,6),(2,6),(3,6),(4,5),(4,6),(5,6)],7)
=> ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,11),(1,15),(1,19),(1,23),(1,24),(1,25),(2,10),(2,14),(2,18),(2,21),(2,22),(2,25),(3,9),(3,13),(3,17),(3,20),(3,22),(3,24),(4,8),(4,12),(4,16),(4,20),(4,21),(4,23),(5,16),(5,17),(5,18),(5,19),(5,26),(6,12),(6,13),(6,14),(6,15),(6,26),(7,8),(7,9),(7,10),(7,11),(7,26),(8,31),(8,32),(8,34),(8,62),(9,31),(9,33),(9,35),(9,63),(10,32),(10,33),(10,36),(10,64),(11,34),(11,35),(11,36),(11,65),(12,37),(12,38),(12,40),(12,62),(13,37),(13,39),(13,41),(13,63),(14,38),(14,39),(14,42),(14,64),(15,40),(15,41),(15,42),(15,65),(16,43),(16,44),(16,46),(16,62),(17,43),(17,45),(17,47),(17,63),(18,44),(18,45),(18,48),(18,64),(19,46),(19,47),(19,48),(19,65),(20,27),(20,30),(20,31),(20,37),(20,43),(21,27),(21,28),(21,32),(21,38),(21,44),(22,27),(22,29),(22,33),(22,39),(22,45),(23,28),(23,30),(23,34),(23,40),(23,46),(24,29),(24,30),(24,35),(24,41),(24,47),(25,28),(25,29),(25,36),(25,42),(25,48),(26,62),(26,63),(26,64),(26,65),(27,49),(27,50),(27,54),(27,58),(28,49),(28,51),(28,55),(28,59),(29,49),(29,52),(29,56),(29,60),(30,49),(30,53),(30,57),(30,61),(31,50),(31,53),(31,68),(32,50),(32,51),(32,66),(33,50),(33,52),(33,67),(34,51),(34,53),(34,69),(35,52),(35,53),(35,70),(36,51),(36,52),(36,71),(37,54),(37,57),(37,68),(38,54),(38,55),(38,66),(39,54),(39,56),(39,67),(40,55),(40,57),(40,69),(41,56),(41,57),(41,70),(42,55),(42,56),(42,71),(43,58),(43,61),(43,68),(44,58),(44,59),(44,66),(45,58),(45,60),(45,67),(46,59),(46,61),(46,69),(47,60),(47,61),(47,70),(48,59),(48,60),(48,71),(49,72),(49,73),(49,74),(50,72),(50,78),(51,72),(51,75),(52,72),(52,76),(53,72),(53,77),(54,73),(54,78),(55,73),(55,75),(56,73),(56,76),(57,73),(57,77),(58,74),(58,78),(59,74),(59,75),(60,74),(60,76),(61,74),(61,77),(62,66),(62,68),(62,69),(63,67),(63,68),(63,70),(64,66),(64,67),(64,71),(65,69),(65,70),(65,71),(66,75),(66,78),(67,76),(67,78),(68,77),(68,78),(69,75),(69,77),(70,76),(70,77),(71,75),(71,76),(72,79),(73,79),(74,79),(75,79),(76,79),(77,79),(78,79)],80)
=> ? = 2 + 1
[1,6] => ([(5,6)],7)
=> ([(0,1)],2)
=> 1 = 0 + 1
[2,1,4] => ([(3,5),(3,6),(4,5),(4,6),(5,6)],7)
=> ([(0,1),(0,2),(0,3),(0,4),(0,5),(1,10),(1,11),(2,8),(2,9),(2,11),(3,6),(3,7),(3,11),(4,7),(4,9),(4,10),(5,6),(5,8),(5,10),(6,12),(7,12),(8,12),(9,12),(10,12),(11,12)],13)
=> ? = 1 + 1
[2,2,3] => ([(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
=> ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,7),(1,20),(1,21),(2,9),(2,14),(2,15),(2,21),(3,8),(3,12),(3,13),(3,21),(4,11),(4,13),(4,15),(4,20),(5,10),(5,12),(5,14),(5,20),(6,7),(6,8),(6,9),(6,10),(6,11),(7,22),(7,23),(8,16),(8,17),(8,22),(9,18),(9,19),(9,22),(10,16),(10,18),(10,23),(11,17),(11,19),(11,23),(12,16),(12,24),(13,17),(13,24),(14,18),(14,24),(15,19),(15,24),(16,25),(17,25),(18,25),(19,25),(20,23),(20,24),(21,22),(21,24),(22,25),(23,25),(24,25)],26)
=> ? = 1 + 1
[2,3,2] => ([(1,6),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
=> ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,8),(1,9),(1,36),(1,37),(2,12),(2,16),(2,21),(2,22),(2,37),(3,11),(3,15),(3,19),(3,20),(3,37),(4,14),(4,18),(4,20),(4,22),(4,36),(5,13),(5,17),(5,19),(5,21),(5,36),(6,9),(6,10),(6,15),(6,16),(6,17),(6,18),(7,8),(7,10),(7,11),(7,12),(7,13),(7,14),(8,35),(8,38),(8,39),(9,35),(9,40),(9,41),(10,31),(10,32),(10,33),(10,34),(10,35),(11,23),(11,24),(11,31),(11,38),(12,25),(12,26),(12,32),(12,38),(13,23),(13,25),(13,33),(13,39),(14,24),(14,26),(14,34),(14,39),(15,27),(15,28),(15,31),(15,40),(16,29),(16,30),(16,32),(16,40),(17,27),(17,29),(17,33),(17,41),(18,28),(18,30),(18,34),(18,41),(19,23),(19,27),(19,48),(20,24),(20,28),(20,48),(21,25),(21,29),(21,48),(22,26),(22,30),(22,48),(23,42),(23,49),(24,43),(24,49),(25,44),(25,49),(26,45),(26,49),(27,42),(27,50),(28,43),(28,50),(29,44),(29,50),(30,45),(30,50),(31,42),(31,43),(31,46),(32,44),(32,45),(32,46),(33,42),(33,44),(33,47),(34,43),(34,45),(34,47),(35,46),(35,47),(36,39),(36,41),(36,48),(37,38),(37,40),(37,48),(38,46),(38,49),(39,47),(39,49),(40,46),(40,50),(41,47),(41,50),(42,51),(43,51),(44,51),(45,51),(46,51),(47,51),(48,49),(48,50),(49,51),(50,51)],52)
=> ? = 2 + 1
[2,5] => ([(4,6),(5,6)],7)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> 1 = 0 + 1
[3,1,3] => ([(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
=> ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,28),(1,29),(1,30),(2,9),(2,13),(2,18),(2,19),(2,30),(3,8),(3,12),(3,16),(3,17),(3,30),(4,11),(4,15),(4,17),(4,19),(4,29),(5,10),(5,14),(5,16),(5,18),(5,29),(6,12),(6,13),(6,14),(6,15),(6,28),(7,8),(7,9),(7,10),(7,11),(7,28),(8,20),(8,21),(8,32),(9,22),(9,23),(9,32),(10,20),(10,22),(10,33),(11,21),(11,23),(11,33),(12,24),(12,25),(12,32),(13,26),(13,27),(13,32),(14,24),(14,26),(14,33),(15,25),(15,27),(15,33),(16,20),(16,24),(16,31),(17,21),(17,25),(17,31),(18,22),(18,26),(18,31),(19,23),(19,27),(19,31),(20,34),(21,34),(22,34),(23,34),(24,34),(25,34),(26,34),(27,34),(28,32),(28,33),(29,31),(29,33),(30,31),(30,32),(31,34),(32,34),(33,34)],35)
=> ? = 2 + 1
[3,4] => ([(3,6),(4,6),(5,6)],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
[4,1,2] => ([(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
=> ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(0,8),(0,9),(1,11),(1,15),(1,20),(1,21),(1,23),(1,29),(1,69),(2,10),(2,14),(2,18),(2,19),(2,22),(2,28),(2,69),(3,13),(3,17),(3,19),(3,21),(3,25),(3,31),(3,68),(4,12),(4,16),(4,18),(4,20),(4,24),(4,30),(4,68),(5,14),(5,15),(5,16),(5,17),(5,27),(5,33),(5,67),(6,10),(6,11),(6,12),(6,13),(6,26),(6,32),(6,67),(7,28),(7,29),(7,30),(7,31),(7,32),(7,33),(7,66),(8,22),(8,23),(8,24),(8,25),(8,26),(8,27),(8,66),(9,66),(9,67),(9,68),(9,69),(10,34),(10,46),(10,58),(10,59),(10,87),(11,35),(11,47),(11,60),(11,61),(11,87),(12,36),(12,48),(12,58),(12,60),(12,88),(13,37),(13,49),(13,59),(13,61),(13,88),(14,38),(14,50),(14,62),(14,63),(14,87),(15,39),(15,51),(15,64),(15,65),(15,87),(16,40),(16,52),(16,62),(16,64),(16,88),(17,41),(17,53),(17,63),(17,65),(17,88),(18,42),(18,54),(18,58),(18,62),(18,86),(19,43),(19,55),(19,59),(19,63),(19,86),(20,44),(20,56),(20,60),(20,64),(20,86),(21,45),(21,57),(21,61),(21,65),(21,86),(22,34),(22,38),(22,42),(22,43),(22,89),(23,35),(23,39),(23,44),(23,45),(23,89),(24,36),(24,40),(24,42),(24,44),(24,90),(25,37),(25,41),(25,43),(25,45),(25,90),(26,34),(26,35),(26,36),(26,37),(26,91),(27,38),(27,39),(27,40),(27,41),(27,91),(28,46),(28,50),(28,54),(28,55),(28,89),(29,47),(29,51),(29,56),(29,57),(29,89),(30,48),(30,52),(30,54),(30,56),(30,90),(31,49),(31,53),(31,55),(31,57),(31,90),(32,46),(32,47),(32,48),(32,49),(32,91),(33,50),(33,51),(33,52),(33,53),(33,91),(34,70),(34,71),(34,93),(35,72),(35,73),(35,93),(36,70),(36,72),(36,94),(37,71),(37,73),(37,94),(38,74),(38,75),(38,93),(39,76),(39,77),(39,93),(40,74),(40,76),(40,94),(41,75),(41,77),(41,94),(42,70),(42,74),(42,95),(43,71),(43,75),(43,95),(44,72),(44,76),(44,95),(45,73),(45,77),(45,95),(46,78),(46,79),(46,93),(47,80),(47,81),(47,93),(48,78),(48,80),(48,94),(49,79),(49,81),(49,94),(50,82),(50,83),(50,93),(51,84),(51,85),(51,93),(52,82),(52,84),(52,94),(53,83),(53,85),(53,94),(54,78),(54,82),(54,95),(55,79),(55,83),(55,95),(56,80),(56,84),(56,95),(57,81),(57,85),(57,95),(58,70),(58,78),(58,92),(59,71),(59,79),(59,92),(60,72),(60,80),(60,92),(61,73),(61,81),(61,92),(62,74),(62,82),(62,92),(63,75),(63,83),(63,92),(64,76),(64,84),(64,92),(65,77),(65,85),(65,92),(66,89),(66,90),(66,91),(67,87),(67,88),(67,91),(68,86),(68,88),(68,90),(69,86),(69,87),(69,89),(70,96),(71,96),(72,96),(73,96),(74,96),(75,96),(76,96),(77,96),(78,96),(79,96),(80,96),(81,96),(82,96),(83,96),(84,96),(85,96),(86,92),(86,95),(87,92),(87,93),(88,92),(88,94),(89,93),(89,95),(90,94),(90,95),(91,93),(91,94),(92,96),(93,96),(94,96),(95,96)],97)
=> ? = 2 + 1
[4,3] => ([(2,6),(3,6),(4,6),(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
[5,2] => ([(1,6),(2,6),(3,6),(4,6),(5,6)],7)
=> ([(0,1),(0,2),(0,3),(0,4),(0,5),(1,12),(1,13),(1,14),(1,15),(2,9),(2,10),(2,11),(2,15),(3,7),(3,8),(3,11),(3,14),(4,6),(4,8),(4,10),(4,13),(5,6),(5,7),(5,9),(5,12),(6,16),(6,19),(6,22),(7,16),(7,17),(7,20),(8,16),(8,18),(8,21),(9,17),(9,19),(9,23),(10,18),(10,19),(10,24),(11,17),(11,18),(11,25),(12,20),(12,22),(12,23),(13,21),(13,22),(13,24),(14,20),(14,21),(14,25),(15,23),(15,24),(15,25),(16,29),(16,30),(17,26),(17,30),(18,27),(18,30),(19,28),(19,30),(20,26),(20,29),(21,27),(21,29),(22,28),(22,29),(23,26),(23,28),(24,27),(24,28),(25,26),(25,27),(26,31),(27,31),(28,31),(29,31),(30,31)],32)
=> ? = 0 + 1
[6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7)
=> ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,17),(1,18),(1,19),(1,20),(1,21),(2,13),(2,14),(2,15),(2,16),(2,21),(3,10),(3,11),(3,12),(3,16),(3,20),(4,8),(4,9),(4,12),(4,15),(4,19),(5,7),(5,9),(5,11),(5,14),(5,18),(6,7),(6,8),(6,10),(6,13),(6,17),(7,22),(7,25),(7,28),(7,34),(8,22),(8,23),(8,26),(8,32),(9,22),(9,24),(9,27),(9,33),(10,23),(10,25),(10,29),(10,35),(11,24),(11,25),(11,30),(11,36),(12,23),(12,24),(12,31),(12,37),(13,26),(13,28),(13,29),(13,38),(14,27),(14,28),(14,30),(14,39),(15,26),(15,27),(15,31),(15,40),(16,29),(16,30),(16,31),(16,41),(17,32),(17,34),(17,35),(17,38),(18,33),(18,34),(18,36),(18,39),(19,32),(19,33),(19,37),(19,40),(20,35),(20,36),(20,37),(20,41),(21,38),(21,39),(21,40),(21,41),(22,45),(22,46),(22,56),(23,42),(23,46),(23,53),(24,43),(24,46),(24,54),(25,44),(25,46),(25,55),(26,42),(26,45),(26,47),(27,43),(27,45),(27,48),(28,44),(28,45),(28,49),(29,42),(29,44),(29,50),(30,43),(30,44),(30,51),(31,42),(31,43),(31,52),(32,47),(32,53),(32,56),(33,48),(33,54),(33,56),(34,49),(34,55),(34,56),(35,50),(35,53),(35,55),(36,51),(36,54),(36,55),(37,52),(37,53),(37,54),(38,47),(38,49),(38,50),(39,48),(39,49),(39,51),(40,47),(40,48),(40,52),(41,50),(41,51),(41,52),(42,57),(42,62),(43,58),(43,62),(44,59),(44,62),(45,60),(45,62),(46,61),(46,62),(47,57),(47,60),(48,58),(48,60),(49,59),(49,60),(50,57),(50,59),(51,58),(51,59),(52,57),(52,58),(53,57),(53,61),(54,58),(54,61),(55,59),(55,61),(56,60),(56,61),(57,63),(58,63),(59,63),(60,63),(61,63),(62,63)],64)
=> ? = 0 + 1
[7] => ([],7)
=> ([],1)
=> 1 = 0 + 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: St001820
(load all 3 compositions to match this statistic)
(load all 3 compositions to match this statistic)
Values
[1] => ([],1)
=> ([],1)
=> 1 = 0 + 1
[1,1] => ([(0,1)],2)
=> ([(0,1)],2)
=> 1 = 0 + 1
[2] => ([],2)
=> ([],1)
=> 1 = 0 + 1
[1,1,1] => ([(0,1),(0,2),(1,2)],3)
=> ([(0,1),(0,2),(0,3),(1,4),(2,4),(3,4)],5)
=> 1 = 0 + 1
[1,2] => ([(1,2)],3)
=> ([(0,1)],2)
=> 1 = 0 + 1
[2,1] => ([(0,2),(1,2)],3)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> 1 = 0 + 1
[3] => ([],3)
=> ([],1)
=> 1 = 0 + 1
[1,1,1,1] => ([(0,1),(0,2),(0,3),(1,2),(1,3),(2,3)],4)
=> ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,9),(1,11),(1,13),(2,9),(2,10),(2,12),(3,8),(3,10),(3,13),(4,8),(4,11),(4,12),(5,7),(5,12),(5,13),(6,7),(6,10),(6,11),(7,14),(8,14),(9,14),(10,14),(11,14),(12,14),(13,14)],15)
=> ? = 1 + 1
[1,1,2] => ([(1,2),(1,3),(2,3)],4)
=> ([(0,1),(0,2),(0,3),(1,4),(2,4),(3,4)],5)
=> 1 = 0 + 1
[1,2,1] => ([(0,3),(1,2),(1,3),(2,3)],4)
=> ([(0,1),(0,2),(0,3),(0,4),(1,7),(1,8),(2,6),(2,8),(3,5),(3,8),(4,5),(4,6),(4,7),(5,9),(6,9),(7,9),(8,9)],10)
=> ? = 1 + 1
[1,3] => ([(2,3)],4)
=> ([(0,1)],2)
=> 1 = 0 + 1
[2,1,1] => ([(0,2),(0,3),(1,2),(1,3),(2,3)],4)
=> ([(0,1),(0,2),(0,3),(0,4),(0,5),(1,10),(1,11),(2,8),(2,9),(2,11),(3,6),(3,7),(3,11),(4,7),(4,9),(4,10),(5,6),(5,8),(5,10),(6,12),(7,12),(8,12),(9,12),(10,12),(11,12)],13)
=> ? = 1 + 1
[2,2] => ([(1,3),(2,3)],4)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> 1 = 0 + 1
[3,1] => ([(0,3),(1,3),(2,3)],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
[4] => ([],4)
=> ([],1)
=> 1 = 0 + 1
[1,1,1,2] => ([(1,2),(1,3),(1,4),(2,3),(2,4),(3,4)],5)
=> ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,9),(1,11),(1,13),(2,9),(2,10),(2,12),(3,8),(3,10),(3,13),(4,8),(4,11),(4,12),(5,7),(5,12),(5,13),(6,7),(6,10),(6,11),(7,14),(8,14),(9,14),(10,14),(11,14),(12,14),(13,14)],15)
=> ? = 1 + 1
[1,1,2,1] => ([(0,4),(1,2),(1,3),(1,4),(2,3),(2,4),(3,4)],5)
=> ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,9),(1,16),(1,21),(1,23),(2,8),(2,16),(2,20),(2,22),(3,10),(3,15),(3,20),(3,23),(4,11),(4,15),(4,21),(4,22),(5,13),(5,14),(5,22),(5,23),(6,12),(6,14),(6,20),(6,21),(7,8),(7,9),(7,10),(7,11),(7,12),(7,13),(8,17),(8,24),(8,26),(9,17),(9,25),(9,27),(10,18),(10,24),(10,27),(11,18),(11,25),(11,26),(12,19),(12,24),(12,25),(13,19),(13,26),(13,27),(14,19),(14,28),(15,18),(15,28),(16,17),(16,28),(17,29),(18,29),(19,29),(20,24),(20,28),(21,25),(21,28),(22,26),(22,28),(23,27),(23,28),(24,29),(25,29),(26,29),(27,29),(28,29)],30)
=> ? = 2 + 1
[1,1,3] => ([(2,3),(2,4),(3,4)],5)
=> ([(0,1),(0,2),(0,3),(1,4),(2,4),(3,4)],5)
=> 1 = 0 + 1
[1,2,2] => ([(1,4),(2,3),(2,4),(3,4)],5)
=> ([(0,1),(0,2),(0,3),(0,4),(1,7),(1,8),(2,6),(2,8),(3,5),(3,8),(4,5),(4,6),(4,7),(5,9),(6,9),(7,9),(8,9)],10)
=> ? = 1 + 1
[1,3,1] => ([(0,4),(1,4),(2,3),(2,4),(3,4)],5)
=> ([(0,1),(0,2),(0,3),(0,4),(0,5),(1,9),(1,12),(1,16),(2,8),(2,11),(2,16),(3,7),(3,10),(3,16),(4,6),(4,10),(4,11),(4,12),(5,6),(5,7),(5,8),(5,9),(6,13),(6,14),(6,15),(7,13),(7,17),(8,14),(8,17),(9,15),(9,17),(10,13),(10,18),(11,14),(11,18),(12,15),(12,18),(13,19),(14,19),(15,19),(16,17),(16,18),(17,19),(18,19)],20)
=> ? = 1 + 1
[1,4] => ([(3,4)],5)
=> ([(0,1)],2)
=> 1 = 0 + 1
[2,1,2] => ([(1,3),(1,4),(2,3),(2,4),(3,4)],5)
=> ([(0,1),(0,2),(0,3),(0,4),(0,5),(1,10),(1,11),(2,8),(2,9),(2,11),(3,6),(3,7),(3,11),(4,7),(4,9),(4,10),(5,6),(5,8),(5,10),(6,12),(7,12),(8,12),(9,12),(10,12),(11,12)],13)
=> ? = 1 + 1
[2,2,1] => ([(0,4),(1,3),(1,4),(2,3),(2,4),(3,4)],5)
=> ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,7),(1,20),(1,21),(2,9),(2,14),(2,15),(2,21),(3,8),(3,12),(3,13),(3,21),(4,11),(4,13),(4,15),(4,20),(5,10),(5,12),(5,14),(5,20),(6,7),(6,8),(6,9),(6,10),(6,11),(7,22),(7,23),(8,16),(8,17),(8,22),(9,18),(9,19),(9,22),(10,16),(10,18),(10,23),(11,17),(11,19),(11,23),(12,16),(12,24),(13,17),(13,24),(14,18),(14,24),(15,19),(15,24),(16,25),(17,25),(18,25),(19,25),(20,23),(20,24),(21,22),(21,24),(22,25),(23,25),(24,25)],26)
=> ? = 1 + 1
[2,3] => ([(2,4),(3,4)],5)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> 1 = 0 + 1
[3,1,1] => ([(0,3),(0,4),(1,3),(1,4),(2,3),(2,4),(3,4)],5)
=> ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,28),(1,29),(1,30),(2,9),(2,13),(2,18),(2,19),(2,30),(3,8),(3,12),(3,16),(3,17),(3,30),(4,11),(4,15),(4,17),(4,19),(4,29),(5,10),(5,14),(5,16),(5,18),(5,29),(6,12),(6,13),(6,14),(6,15),(6,28),(7,8),(7,9),(7,10),(7,11),(7,28),(8,20),(8,21),(8,32),(9,22),(9,23),(9,32),(10,20),(10,22),(10,33),(11,21),(11,23),(11,33),(12,24),(12,25),(12,32),(13,26),(13,27),(13,32),(14,24),(14,26),(14,33),(15,25),(15,27),(15,33),(16,20),(16,24),(16,31),(17,21),(17,25),(17,31),(18,22),(18,26),(18,31),(19,23),(19,27),(19,31),(20,34),(21,34),(22,34),(23,34),(24,34),(25,34),(26,34),(27,34),(28,32),(28,33),(29,31),(29,33),(30,31),(30,32),(31,34),(32,34),(33,34)],35)
=> ? = 2 + 1
[3,2] => ([(1,4),(2,4),(3,4)],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
[4,1] => ([(0,4),(1,4),(2,4),(3,4)],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
[5] => ([],5)
=> ([],1)
=> 1 = 0 + 1
[1,1,1,3] => ([(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6)
=> ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,9),(1,11),(1,13),(2,9),(2,10),(2,12),(3,8),(3,10),(3,13),(4,8),(4,11),(4,12),(5,7),(5,12),(5,13),(6,7),(6,10),(6,11),(7,14),(8,14),(9,14),(10,14),(11,14),(12,14),(13,14)],15)
=> ? = 1 + 1
[1,1,2,2] => ([(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6)
=> ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,9),(1,16),(1,21),(1,23),(2,8),(2,16),(2,20),(2,22),(3,10),(3,15),(3,20),(3,23),(4,11),(4,15),(4,21),(4,22),(5,13),(5,14),(5,22),(5,23),(6,12),(6,14),(6,20),(6,21),(7,8),(7,9),(7,10),(7,11),(7,12),(7,13),(8,17),(8,24),(8,26),(9,17),(9,25),(9,27),(10,18),(10,24),(10,27),(11,18),(11,25),(11,26),(12,19),(12,24),(12,25),(13,19),(13,26),(13,27),(14,19),(14,28),(15,18),(15,28),(16,17),(16,28),(17,29),(18,29),(19,29),(20,24),(20,28),(21,25),(21,28),(22,26),(22,28),(23,27),(23,28),(24,29),(25,29),(26,29),(27,29),(28,29)],30)
=> ? = 2 + 1
[1,1,3,1] => ([(0,5),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6)
=> ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(0,8),(1,11),(1,17),(1,24),(1,38),(1,40),(2,10),(2,16),(2,24),(2,37),(2,39),(3,12),(3,18),(3,23),(3,37),(3,40),(4,13),(4,19),(4,23),(4,38),(4,39),(5,15),(5,21),(5,22),(5,39),(5,40),(6,14),(6,20),(6,22),(6,37),(6,38),(7,9),(7,16),(7,17),(7,18),(7,19),(7,20),(7,21),(8,9),(8,10),(8,11),(8,12),(8,13),(8,14),(8,15),(9,31),(9,32),(9,33),(9,34),(9,35),(9,36),(10,25),(10,31),(10,41),(10,43),(11,25),(11,32),(11,42),(11,44),(12,26),(12,33),(12,41),(12,44),(13,26),(13,34),(13,42),(13,43),(14,27),(14,35),(14,41),(14,42),(15,27),(15,36),(15,43),(15,44),(16,28),(16,31),(16,45),(16,47),(17,28),(17,32),(17,46),(17,48),(18,29),(18,33),(18,45),(18,48),(19,29),(19,34),(19,46),(19,47),(20,30),(20,35),(20,45),(20,46),(21,30),(21,36),(21,47),(21,48),(22,27),(22,30),(22,56),(23,26),(23,29),(23,56),(24,25),(24,28),(24,56),(25,49),(25,57),(26,50),(26,57),(27,51),(27,57),(28,49),(28,58),(29,50),(29,58),(30,51),(30,58),(31,49),(31,52),(31,54),(32,49),(32,53),(32,55),(33,50),(33,52),(33,55),(34,50),(34,53),(34,54),(35,51),(35,52),(35,53),(36,51),(36,54),(36,55),(37,41),(37,45),(37,56),(38,42),(38,46),(38,56),(39,43),(39,47),(39,56),(40,44),(40,48),(40,56),(41,52),(41,57),(42,53),(42,57),(43,54),(43,57),(44,55),(44,57),(45,52),(45,58),(46,53),(46,58),(47,54),(47,58),(48,55),(48,58),(49,59),(50,59),(51,59),(52,59),(53,59),(54,59),(55,59),(56,57),(56,58),(57,59),(58,59)],60)
=> ? = 3 + 1
[1,1,4] => ([(3,4),(3,5),(4,5)],6)
=> ([(0,1),(0,2),(0,3),(1,4),(2,4),(3,4)],5)
=> 1 = 0 + 1
[1,2,3] => ([(2,5),(3,4),(3,5),(4,5)],6)
=> ([(0,1),(0,2),(0,3),(0,4),(1,7),(1,8),(2,6),(2,8),(3,5),(3,8),(4,5),(4,6),(4,7),(5,9),(6,9),(7,9),(8,9)],10)
=> ? = 1 + 1
[1,3,2] => ([(1,5),(2,5),(3,4),(3,5),(4,5)],6)
=> ([(0,1),(0,2),(0,3),(0,4),(0,5),(1,9),(1,12),(1,16),(2,8),(2,11),(2,16),(3,7),(3,10),(3,16),(4,6),(4,10),(4,11),(4,12),(5,6),(5,7),(5,8),(5,9),(6,13),(6,14),(6,15),(7,13),(7,17),(8,14),(8,17),(9,15),(9,17),(10,13),(10,18),(11,14),(11,18),(12,15),(12,18),(13,19),(14,19),(15,19),(16,17),(16,18),(17,19),(18,19)],20)
=> ? = 1 + 1
[1,4,1] => ([(0,5),(1,5),(2,5),(3,4),(3,5),(4,5)],6)
=> ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,16),(1,17),(1,18),(1,29),(2,13),(2,14),(2,15),(2,29),(3,10),(3,11),(3,12),(3,29),(4,8),(4,9),(4,12),(4,15),(4,18),(5,7),(5,9),(5,11),(5,14),(5,17),(6,7),(6,8),(6,10),(6,13),(6,16),(7,19),(7,22),(7,25),(7,28),(8,19),(8,20),(8,23),(8,26),(9,19),(9,21),(9,24),(9,27),(10,20),(10,22),(10,30),(11,21),(11,22),(11,31),(12,20),(12,21),(12,32),(13,23),(13,25),(13,30),(14,24),(14,25),(14,31),(15,23),(15,24),(15,32),(16,26),(16,28),(16,30),(17,27),(17,28),(17,31),(18,26),(18,27),(18,32),(19,33),(19,34),(19,35),(20,33),(20,36),(21,33),(21,37),(22,33),(22,38),(23,34),(23,36),(24,34),(24,37),(25,34),(25,38),(26,35),(26,36),(27,35),(27,37),(28,35),(28,38),(29,30),(29,31),(29,32),(30,36),(30,38),(31,37),(31,38),(32,36),(32,37),(33,39),(34,39),(35,39),(36,39),(37,39),(38,39)],40)
=> ? = 2 + 1
[1,5] => ([(4,5)],6)
=> ([(0,1)],2)
=> 1 = 0 + 1
[2,1,3] => ([(2,4),(2,5),(3,4),(3,5),(4,5)],6)
=> ([(0,1),(0,2),(0,3),(0,4),(0,5),(1,10),(1,11),(2,8),(2,9),(2,11),(3,6),(3,7),(3,11),(4,7),(4,9),(4,10),(5,6),(5,8),(5,10),(6,12),(7,12),(8,12),(9,12),(10,12),(11,12)],13)
=> ? = 1 + 1
[2,2,2] => ([(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6)
=> ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,7),(1,20),(1,21),(2,9),(2,14),(2,15),(2,21),(3,8),(3,12),(3,13),(3,21),(4,11),(4,13),(4,15),(4,20),(5,10),(5,12),(5,14),(5,20),(6,7),(6,8),(6,9),(6,10),(6,11),(7,22),(7,23),(8,16),(8,17),(8,22),(9,18),(9,19),(9,22),(10,16),(10,18),(10,23),(11,17),(11,19),(11,23),(12,16),(12,24),(13,17),(13,24),(14,18),(14,24),(15,19),(15,24),(16,25),(17,25),(18,25),(19,25),(20,23),(20,24),(21,22),(21,24),(22,25),(23,25),(24,25)],26)
=> ? = 1 + 1
[2,3,1] => ([(0,5),(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6)
=> ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,8),(1,9),(1,36),(1,37),(2,12),(2,16),(2,21),(2,22),(2,37),(3,11),(3,15),(3,19),(3,20),(3,37),(4,14),(4,18),(4,20),(4,22),(4,36),(5,13),(5,17),(5,19),(5,21),(5,36),(6,9),(6,10),(6,15),(6,16),(6,17),(6,18),(7,8),(7,10),(7,11),(7,12),(7,13),(7,14),(8,35),(8,38),(8,39),(9,35),(9,40),(9,41),(10,31),(10,32),(10,33),(10,34),(10,35),(11,23),(11,24),(11,31),(11,38),(12,25),(12,26),(12,32),(12,38),(13,23),(13,25),(13,33),(13,39),(14,24),(14,26),(14,34),(14,39),(15,27),(15,28),(15,31),(15,40),(16,29),(16,30),(16,32),(16,40),(17,27),(17,29),(17,33),(17,41),(18,28),(18,30),(18,34),(18,41),(19,23),(19,27),(19,48),(20,24),(20,28),(20,48),(21,25),(21,29),(21,48),(22,26),(22,30),(22,48),(23,42),(23,49),(24,43),(24,49),(25,44),(25,49),(26,45),(26,49),(27,42),(27,50),(28,43),(28,50),(29,44),(29,50),(30,45),(30,50),(31,42),(31,43),(31,46),(32,44),(32,45),(32,46),(33,42),(33,44),(33,47),(34,43),(34,45),(34,47),(35,46),(35,47),(36,39),(36,41),(36,48),(37,38),(37,40),(37,48),(38,46),(38,49),(39,47),(39,49),(40,46),(40,50),(41,47),(41,50),(42,51),(43,51),(44,51),(45,51),(46,51),(47,51),(48,49),(48,50),(49,51),(50,51)],52)
=> ? = 2 + 1
[2,4] => ([(3,5),(4,5)],6)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> 1 = 0 + 1
[3,1,2] => ([(1,4),(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6)
=> ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,28),(1,29),(1,30),(2,9),(2,13),(2,18),(2,19),(2,30),(3,8),(3,12),(3,16),(3,17),(3,30),(4,11),(4,15),(4,17),(4,19),(4,29),(5,10),(5,14),(5,16),(5,18),(5,29),(6,12),(6,13),(6,14),(6,15),(6,28),(7,8),(7,9),(7,10),(7,11),(7,28),(8,20),(8,21),(8,32),(9,22),(9,23),(9,32),(10,20),(10,22),(10,33),(11,21),(11,23),(11,33),(12,24),(12,25),(12,32),(13,26),(13,27),(13,32),(14,24),(14,26),(14,33),(15,25),(15,27),(15,33),(16,20),(16,24),(16,31),(17,21),(17,25),(17,31),(18,22),(18,26),(18,31),(19,23),(19,27),(19,31),(20,34),(21,34),(22,34),(23,34),(24,34),(25,34),(26,34),(27,34),(28,32),(28,33),(29,31),(29,33),(30,31),(30,32),(31,34),(32,34),(33,34)],35)
=> ? = 2 + 1
[3,3] => ([(2,5),(3,5),(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 + 1
[4,1,1] => ([(0,4),(0,5),(1,4),(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6)
=> ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(0,8),(0,9),(1,11),(1,15),(1,20),(1,21),(1,23),(1,29),(1,69),(2,10),(2,14),(2,18),(2,19),(2,22),(2,28),(2,69),(3,13),(3,17),(3,19),(3,21),(3,25),(3,31),(3,68),(4,12),(4,16),(4,18),(4,20),(4,24),(4,30),(4,68),(5,14),(5,15),(5,16),(5,17),(5,27),(5,33),(5,67),(6,10),(6,11),(6,12),(6,13),(6,26),(6,32),(6,67),(7,28),(7,29),(7,30),(7,31),(7,32),(7,33),(7,66),(8,22),(8,23),(8,24),(8,25),(8,26),(8,27),(8,66),(9,66),(9,67),(9,68),(9,69),(10,34),(10,46),(10,58),(10,59),(10,87),(11,35),(11,47),(11,60),(11,61),(11,87),(12,36),(12,48),(12,58),(12,60),(12,88),(13,37),(13,49),(13,59),(13,61),(13,88),(14,38),(14,50),(14,62),(14,63),(14,87),(15,39),(15,51),(15,64),(15,65),(15,87),(16,40),(16,52),(16,62),(16,64),(16,88),(17,41),(17,53),(17,63),(17,65),(17,88),(18,42),(18,54),(18,58),(18,62),(18,86),(19,43),(19,55),(19,59),(19,63),(19,86),(20,44),(20,56),(20,60),(20,64),(20,86),(21,45),(21,57),(21,61),(21,65),(21,86),(22,34),(22,38),(22,42),(22,43),(22,89),(23,35),(23,39),(23,44),(23,45),(23,89),(24,36),(24,40),(24,42),(24,44),(24,90),(25,37),(25,41),(25,43),(25,45),(25,90),(26,34),(26,35),(26,36),(26,37),(26,91),(27,38),(27,39),(27,40),(27,41),(27,91),(28,46),(28,50),(28,54),(28,55),(28,89),(29,47),(29,51),(29,56),(29,57),(29,89),(30,48),(30,52),(30,54),(30,56),(30,90),(31,49),(31,53),(31,55),(31,57),(31,90),(32,46),(32,47),(32,48),(32,49),(32,91),(33,50),(33,51),(33,52),(33,53),(33,91),(34,70),(34,71),(34,93),(35,72),(35,73),(35,93),(36,70),(36,72),(36,94),(37,71),(37,73),(37,94),(38,74),(38,75),(38,93),(39,76),(39,77),(39,93),(40,74),(40,76),(40,94),(41,75),(41,77),(41,94),(42,70),(42,74),(42,95),(43,71),(43,75),(43,95),(44,72),(44,76),(44,95),(45,73),(45,77),(45,95),(46,78),(46,79),(46,93),(47,80),(47,81),(47,93),(48,78),(48,80),(48,94),(49,79),(49,81),(49,94),(50,82),(50,83),(50,93),(51,84),(51,85),(51,93),(52,82),(52,84),(52,94),(53,83),(53,85),(53,94),(54,78),(54,82),(54,95),(55,79),(55,83),(55,95),(56,80),(56,84),(56,95),(57,81),(57,85),(57,95),(58,70),(58,78),(58,92),(59,71),(59,79),(59,92),(60,72),(60,80),(60,92),(61,73),(61,81),(61,92),(62,74),(62,82),(62,92),(63,75),(63,83),(63,92),(64,76),(64,84),(64,92),(65,77),(65,85),(65,92),(66,89),(66,90),(66,91),(67,87),(67,88),(67,91),(68,86),(68,88),(68,90),(69,86),(69,87),(69,89),(70,96),(71,96),(72,96),(73,96),(74,96),(75,96),(76,96),(77,96),(78,96),(79,96),(80,96),(81,96),(82,96),(83,96),(84,96),(85,96),(86,92),(86,95),(87,92),(87,93),(88,92),(88,94),(89,93),(89,95),(90,94),(90,95),(91,93),(91,94),(92,96),(93,96),(94,96),(95,96)],97)
=> ? = 2 + 1
[4,2] => ([(1,5),(2,5),(3,5),(4,5)],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
[5,1] => ([(0,5),(1,5),(2,5),(3,5),(4,5)],6)
=> ([(0,1),(0,2),(0,3),(0,4),(0,5),(1,12),(1,13),(1,14),(1,15),(2,9),(2,10),(2,11),(2,15),(3,7),(3,8),(3,11),(3,14),(4,6),(4,8),(4,10),(4,13),(5,6),(5,7),(5,9),(5,12),(6,16),(6,19),(6,22),(7,16),(7,17),(7,20),(8,16),(8,18),(8,21),(9,17),(9,19),(9,23),(10,18),(10,19),(10,24),(11,17),(11,18),(11,25),(12,20),(12,22),(12,23),(13,21),(13,22),(13,24),(14,20),(14,21),(14,25),(15,23),(15,24),(15,25),(16,29),(16,30),(17,26),(17,30),(18,27),(18,30),(19,28),(19,30),(20,26),(20,29),(21,27),(21,29),(22,28),(22,29),(23,26),(23,28),(24,27),(24,28),(25,26),(25,27),(26,31),(27,31),(28,31),(29,31),(30,31)],32)
=> ? = 0 + 1
[6] => ([],6)
=> ([],1)
=> 1 = 0 + 1
[1,1,1,4] => ([(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
=> ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,9),(1,11),(1,13),(2,9),(2,10),(2,12),(3,8),(3,10),(3,13),(4,8),(4,11),(4,12),(5,7),(5,12),(5,13),(6,7),(6,10),(6,11),(7,14),(8,14),(9,14),(10,14),(11,14),(12,14),(13,14)],15)
=> ? = 1 + 1
[1,1,2,3] => ([(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
=> ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,9),(1,16),(1,21),(1,23),(2,8),(2,16),(2,20),(2,22),(3,10),(3,15),(3,20),(3,23),(4,11),(4,15),(4,21),(4,22),(5,13),(5,14),(5,22),(5,23),(6,12),(6,14),(6,20),(6,21),(7,8),(7,9),(7,10),(7,11),(7,12),(7,13),(8,17),(8,24),(8,26),(9,17),(9,25),(9,27),(10,18),(10,24),(10,27),(11,18),(11,25),(11,26),(12,19),(12,24),(12,25),(13,19),(13,26),(13,27),(14,19),(14,28),(15,18),(15,28),(16,17),(16,28),(17,29),(18,29),(19,29),(20,24),(20,28),(21,25),(21,28),(22,26),(22,28),(23,27),(23,28),(24,29),(25,29),(26,29),(27,29),(28,29)],30)
=> ? = 2 + 1
[1,1,3,2] => ([(1,6),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
=> ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(0,8),(1,11),(1,17),(1,24),(1,38),(1,40),(2,10),(2,16),(2,24),(2,37),(2,39),(3,12),(3,18),(3,23),(3,37),(3,40),(4,13),(4,19),(4,23),(4,38),(4,39),(5,15),(5,21),(5,22),(5,39),(5,40),(6,14),(6,20),(6,22),(6,37),(6,38),(7,9),(7,16),(7,17),(7,18),(7,19),(7,20),(7,21),(8,9),(8,10),(8,11),(8,12),(8,13),(8,14),(8,15),(9,31),(9,32),(9,33),(9,34),(9,35),(9,36),(10,25),(10,31),(10,41),(10,43),(11,25),(11,32),(11,42),(11,44),(12,26),(12,33),(12,41),(12,44),(13,26),(13,34),(13,42),(13,43),(14,27),(14,35),(14,41),(14,42),(15,27),(15,36),(15,43),(15,44),(16,28),(16,31),(16,45),(16,47),(17,28),(17,32),(17,46),(17,48),(18,29),(18,33),(18,45),(18,48),(19,29),(19,34),(19,46),(19,47),(20,30),(20,35),(20,45),(20,46),(21,30),(21,36),(21,47),(21,48),(22,27),(22,30),(22,56),(23,26),(23,29),(23,56),(24,25),(24,28),(24,56),(25,49),(25,57),(26,50),(26,57),(27,51),(27,57),(28,49),(28,58),(29,50),(29,58),(30,51),(30,58),(31,49),(31,52),(31,54),(32,49),(32,53),(32,55),(33,50),(33,52),(33,55),(34,50),(34,53),(34,54),(35,51),(35,52),(35,53),(36,51),(36,54),(36,55),(37,41),(37,45),(37,56),(38,42),(38,46),(38,56),(39,43),(39,47),(39,56),(40,44),(40,48),(40,56),(41,52),(41,57),(42,53),(42,57),(43,54),(43,57),(44,55),(44,57),(45,52),(45,58),(46,53),(46,58),(47,54),(47,58),(48,55),(48,58),(49,59),(50,59),(51,59),(52,59),(53,59),(54,59),(55,59),(56,57),(56,58),(57,59),(58,59)],60)
=> ? = 3 + 1
[1,1,5] => ([(4,5),(4,6),(5,6)],7)
=> ([(0,1),(0,2),(0,3),(1,4),(2,4),(3,4)],5)
=> 1 = 0 + 1
[1,2,4] => ([(3,6),(4,5),(4,6),(5,6)],7)
=> ([(0,1),(0,2),(0,3),(0,4),(1,7),(1,8),(2,6),(2,8),(3,5),(3,8),(4,5),(4,6),(4,7),(5,9),(6,9),(7,9),(8,9)],10)
=> ? = 1 + 1
[1,3,3] => ([(2,6),(3,6),(4,5),(4,6),(5,6)],7)
=> ([(0,1),(0,2),(0,3),(0,4),(0,5),(1,9),(1,12),(1,16),(2,8),(2,11),(2,16),(3,7),(3,10),(3,16),(4,6),(4,10),(4,11),(4,12),(5,6),(5,7),(5,8),(5,9),(6,13),(6,14),(6,15),(7,13),(7,17),(8,14),(8,17),(9,15),(9,17),(10,13),(10,18),(11,14),(11,18),(12,15),(12,18),(13,19),(14,19),(15,19),(16,17),(16,18),(17,19),(18,19)],20)
=> ? = 1 + 1
[1,4,2] => ([(1,6),(2,6),(3,6),(4,5),(4,6),(5,6)],7)
=> ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,16),(1,17),(1,18),(1,29),(2,13),(2,14),(2,15),(2,29),(3,10),(3,11),(3,12),(3,29),(4,8),(4,9),(4,12),(4,15),(4,18),(5,7),(5,9),(5,11),(5,14),(5,17),(6,7),(6,8),(6,10),(6,13),(6,16),(7,19),(7,22),(7,25),(7,28),(8,19),(8,20),(8,23),(8,26),(9,19),(9,21),(9,24),(9,27),(10,20),(10,22),(10,30),(11,21),(11,22),(11,31),(12,20),(12,21),(12,32),(13,23),(13,25),(13,30),(14,24),(14,25),(14,31),(15,23),(15,24),(15,32),(16,26),(16,28),(16,30),(17,27),(17,28),(17,31),(18,26),(18,27),(18,32),(19,33),(19,34),(19,35),(20,33),(20,36),(21,33),(21,37),(22,33),(22,38),(23,34),(23,36),(24,34),(24,37),(25,34),(25,38),(26,35),(26,36),(27,35),(27,37),(28,35),(28,38),(29,30),(29,31),(29,32),(30,36),(30,38),(31,37),(31,38),(32,36),(32,37),(33,39),(34,39),(35,39),(36,39),(37,39),(38,39)],40)
=> ? = 2 + 1
[1,5,1] => ([(0,6),(1,6),(2,6),(3,6),(4,5),(4,6),(5,6)],7)
=> ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,11),(1,15),(1,19),(1,23),(1,24),(1,25),(2,10),(2,14),(2,18),(2,21),(2,22),(2,25),(3,9),(3,13),(3,17),(3,20),(3,22),(3,24),(4,8),(4,12),(4,16),(4,20),(4,21),(4,23),(5,16),(5,17),(5,18),(5,19),(5,26),(6,12),(6,13),(6,14),(6,15),(6,26),(7,8),(7,9),(7,10),(7,11),(7,26),(8,31),(8,32),(8,34),(8,62),(9,31),(9,33),(9,35),(9,63),(10,32),(10,33),(10,36),(10,64),(11,34),(11,35),(11,36),(11,65),(12,37),(12,38),(12,40),(12,62),(13,37),(13,39),(13,41),(13,63),(14,38),(14,39),(14,42),(14,64),(15,40),(15,41),(15,42),(15,65),(16,43),(16,44),(16,46),(16,62),(17,43),(17,45),(17,47),(17,63),(18,44),(18,45),(18,48),(18,64),(19,46),(19,47),(19,48),(19,65),(20,27),(20,30),(20,31),(20,37),(20,43),(21,27),(21,28),(21,32),(21,38),(21,44),(22,27),(22,29),(22,33),(22,39),(22,45),(23,28),(23,30),(23,34),(23,40),(23,46),(24,29),(24,30),(24,35),(24,41),(24,47),(25,28),(25,29),(25,36),(25,42),(25,48),(26,62),(26,63),(26,64),(26,65),(27,49),(27,50),(27,54),(27,58),(28,49),(28,51),(28,55),(28,59),(29,49),(29,52),(29,56),(29,60),(30,49),(30,53),(30,57),(30,61),(31,50),(31,53),(31,68),(32,50),(32,51),(32,66),(33,50),(33,52),(33,67),(34,51),(34,53),(34,69),(35,52),(35,53),(35,70),(36,51),(36,52),(36,71),(37,54),(37,57),(37,68),(38,54),(38,55),(38,66),(39,54),(39,56),(39,67),(40,55),(40,57),(40,69),(41,56),(41,57),(41,70),(42,55),(42,56),(42,71),(43,58),(43,61),(43,68),(44,58),(44,59),(44,66),(45,58),(45,60),(45,67),(46,59),(46,61),(46,69),(47,60),(47,61),(47,70),(48,59),(48,60),(48,71),(49,72),(49,73),(49,74),(50,72),(50,78),(51,72),(51,75),(52,72),(52,76),(53,72),(53,77),(54,73),(54,78),(55,73),(55,75),(56,73),(56,76),(57,73),(57,77),(58,74),(58,78),(59,74),(59,75),(60,74),(60,76),(61,74),(61,77),(62,66),(62,68),(62,69),(63,67),(63,68),(63,70),(64,66),(64,67),(64,71),(65,69),(65,70),(65,71),(66,75),(66,78),(67,76),(67,78),(68,77),(68,78),(69,75),(69,77),(70,76),(70,77),(71,75),(71,76),(72,79),(73,79),(74,79),(75,79),(76,79),(77,79),(78,79)],80)
=> ? = 2 + 1
[1,6] => ([(5,6)],7)
=> ([(0,1)],2)
=> 1 = 0 + 1
[2,1,4] => ([(3,5),(3,6),(4,5),(4,6),(5,6)],7)
=> ([(0,1),(0,2),(0,3),(0,4),(0,5),(1,10),(1,11),(2,8),(2,9),(2,11),(3,6),(3,7),(3,11),(4,7),(4,9),(4,10),(5,6),(5,8),(5,10),(6,12),(7,12),(8,12),(9,12),(10,12),(11,12)],13)
=> ? = 1 + 1
[2,2,3] => ([(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
=> ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,7),(1,20),(1,21),(2,9),(2,14),(2,15),(2,21),(3,8),(3,12),(3,13),(3,21),(4,11),(4,13),(4,15),(4,20),(5,10),(5,12),(5,14),(5,20),(6,7),(6,8),(6,9),(6,10),(6,11),(7,22),(7,23),(8,16),(8,17),(8,22),(9,18),(9,19),(9,22),(10,16),(10,18),(10,23),(11,17),(11,19),(11,23),(12,16),(12,24),(13,17),(13,24),(14,18),(14,24),(15,19),(15,24),(16,25),(17,25),(18,25),(19,25),(20,23),(20,24),(21,22),(21,24),(22,25),(23,25),(24,25)],26)
=> ? = 1 + 1
[2,3,2] => ([(1,6),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
=> ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,8),(1,9),(1,36),(1,37),(2,12),(2,16),(2,21),(2,22),(2,37),(3,11),(3,15),(3,19),(3,20),(3,37),(4,14),(4,18),(4,20),(4,22),(4,36),(5,13),(5,17),(5,19),(5,21),(5,36),(6,9),(6,10),(6,15),(6,16),(6,17),(6,18),(7,8),(7,10),(7,11),(7,12),(7,13),(7,14),(8,35),(8,38),(8,39),(9,35),(9,40),(9,41),(10,31),(10,32),(10,33),(10,34),(10,35),(11,23),(11,24),(11,31),(11,38),(12,25),(12,26),(12,32),(12,38),(13,23),(13,25),(13,33),(13,39),(14,24),(14,26),(14,34),(14,39),(15,27),(15,28),(15,31),(15,40),(16,29),(16,30),(16,32),(16,40),(17,27),(17,29),(17,33),(17,41),(18,28),(18,30),(18,34),(18,41),(19,23),(19,27),(19,48),(20,24),(20,28),(20,48),(21,25),(21,29),(21,48),(22,26),(22,30),(22,48),(23,42),(23,49),(24,43),(24,49),(25,44),(25,49),(26,45),(26,49),(27,42),(27,50),(28,43),(28,50),(29,44),(29,50),(30,45),(30,50),(31,42),(31,43),(31,46),(32,44),(32,45),(32,46),(33,42),(33,44),(33,47),(34,43),(34,45),(34,47),(35,46),(35,47),(36,39),(36,41),(36,48),(37,38),(37,40),(37,48),(38,46),(38,49),(39,47),(39,49),(40,46),(40,50),(41,47),(41,50),(42,51),(43,51),(44,51),(45,51),(46,51),(47,51),(48,49),(48,50),(49,51),(50,51)],52)
=> ? = 2 + 1
[2,5] => ([(4,6),(5,6)],7)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> 1 = 0 + 1
[3,1,3] => ([(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
=> ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,28),(1,29),(1,30),(2,9),(2,13),(2,18),(2,19),(2,30),(3,8),(3,12),(3,16),(3,17),(3,30),(4,11),(4,15),(4,17),(4,19),(4,29),(5,10),(5,14),(5,16),(5,18),(5,29),(6,12),(6,13),(6,14),(6,15),(6,28),(7,8),(7,9),(7,10),(7,11),(7,28),(8,20),(8,21),(8,32),(9,22),(9,23),(9,32),(10,20),(10,22),(10,33),(11,21),(11,23),(11,33),(12,24),(12,25),(12,32),(13,26),(13,27),(13,32),(14,24),(14,26),(14,33),(15,25),(15,27),(15,33),(16,20),(16,24),(16,31),(17,21),(17,25),(17,31),(18,22),(18,26),(18,31),(19,23),(19,27),(19,31),(20,34),(21,34),(22,34),(23,34),(24,34),(25,34),(26,34),(27,34),(28,32),(28,33),(29,31),(29,33),(30,31),(30,32),(31,34),(32,34),(33,34)],35)
=> ? = 2 + 1
[3,4] => ([(3,6),(4,6),(5,6)],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
[4,1,2] => ([(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
=> ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(0,8),(0,9),(1,11),(1,15),(1,20),(1,21),(1,23),(1,29),(1,69),(2,10),(2,14),(2,18),(2,19),(2,22),(2,28),(2,69),(3,13),(3,17),(3,19),(3,21),(3,25),(3,31),(3,68),(4,12),(4,16),(4,18),(4,20),(4,24),(4,30),(4,68),(5,14),(5,15),(5,16),(5,17),(5,27),(5,33),(5,67),(6,10),(6,11),(6,12),(6,13),(6,26),(6,32),(6,67),(7,28),(7,29),(7,30),(7,31),(7,32),(7,33),(7,66),(8,22),(8,23),(8,24),(8,25),(8,26),(8,27),(8,66),(9,66),(9,67),(9,68),(9,69),(10,34),(10,46),(10,58),(10,59),(10,87),(11,35),(11,47),(11,60),(11,61),(11,87),(12,36),(12,48),(12,58),(12,60),(12,88),(13,37),(13,49),(13,59),(13,61),(13,88),(14,38),(14,50),(14,62),(14,63),(14,87),(15,39),(15,51),(15,64),(15,65),(15,87),(16,40),(16,52),(16,62),(16,64),(16,88),(17,41),(17,53),(17,63),(17,65),(17,88),(18,42),(18,54),(18,58),(18,62),(18,86),(19,43),(19,55),(19,59),(19,63),(19,86),(20,44),(20,56),(20,60),(20,64),(20,86),(21,45),(21,57),(21,61),(21,65),(21,86),(22,34),(22,38),(22,42),(22,43),(22,89),(23,35),(23,39),(23,44),(23,45),(23,89),(24,36),(24,40),(24,42),(24,44),(24,90),(25,37),(25,41),(25,43),(25,45),(25,90),(26,34),(26,35),(26,36),(26,37),(26,91),(27,38),(27,39),(27,40),(27,41),(27,91),(28,46),(28,50),(28,54),(28,55),(28,89),(29,47),(29,51),(29,56),(29,57),(29,89),(30,48),(30,52),(30,54),(30,56),(30,90),(31,49),(31,53),(31,55),(31,57),(31,90),(32,46),(32,47),(32,48),(32,49),(32,91),(33,50),(33,51),(33,52),(33,53),(33,91),(34,70),(34,71),(34,93),(35,72),(35,73),(35,93),(36,70),(36,72),(36,94),(37,71),(37,73),(37,94),(38,74),(38,75),(38,93),(39,76),(39,77),(39,93),(40,74),(40,76),(40,94),(41,75),(41,77),(41,94),(42,70),(42,74),(42,95),(43,71),(43,75),(43,95),(44,72),(44,76),(44,95),(45,73),(45,77),(45,95),(46,78),(46,79),(46,93),(47,80),(47,81),(47,93),(48,78),(48,80),(48,94),(49,79),(49,81),(49,94),(50,82),(50,83),(50,93),(51,84),(51,85),(51,93),(52,82),(52,84),(52,94),(53,83),(53,85),(53,94),(54,78),(54,82),(54,95),(55,79),(55,83),(55,95),(56,80),(56,84),(56,95),(57,81),(57,85),(57,95),(58,70),(58,78),(58,92),(59,71),(59,79),(59,92),(60,72),(60,80),(60,92),(61,73),(61,81),(61,92),(62,74),(62,82),(62,92),(63,75),(63,83),(63,92),(64,76),(64,84),(64,92),(65,77),(65,85),(65,92),(66,89),(66,90),(66,91),(67,87),(67,88),(67,91),(68,86),(68,88),(68,90),(69,86),(69,87),(69,89),(70,96),(71,96),(72,96),(73,96),(74,96),(75,96),(76,96),(77,96),(78,96),(79,96),(80,96),(81,96),(82,96),(83,96),(84,96),(85,96),(86,92),(86,95),(87,92),(87,93),(88,92),(88,94),(89,93),(89,95),(90,94),(90,95),(91,93),(91,94),(92,96),(93,96),(94,96),(95,96)],97)
=> ? = 2 + 1
[4,3] => ([(2,6),(3,6),(4,6),(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
[5,2] => ([(1,6),(2,6),(3,6),(4,6),(5,6)],7)
=> ([(0,1),(0,2),(0,3),(0,4),(0,5),(1,12),(1,13),(1,14),(1,15),(2,9),(2,10),(2,11),(2,15),(3,7),(3,8),(3,11),(3,14),(4,6),(4,8),(4,10),(4,13),(5,6),(5,7),(5,9),(5,12),(6,16),(6,19),(6,22),(7,16),(7,17),(7,20),(8,16),(8,18),(8,21),(9,17),(9,19),(9,23),(10,18),(10,19),(10,24),(11,17),(11,18),(11,25),(12,20),(12,22),(12,23),(13,21),(13,22),(13,24),(14,20),(14,21),(14,25),(15,23),(15,24),(15,25),(16,29),(16,30),(17,26),(17,30),(18,27),(18,30),(19,28),(19,30),(20,26),(20,29),(21,27),(21,29),(22,28),(22,29),(23,26),(23,28),(24,27),(24,28),(25,26),(25,27),(26,31),(27,31),(28,31),(29,31),(30,31)],32)
=> ? = 0 + 1
[6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7)
=> ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,17),(1,18),(1,19),(1,20),(1,21),(2,13),(2,14),(2,15),(2,16),(2,21),(3,10),(3,11),(3,12),(3,16),(3,20),(4,8),(4,9),(4,12),(4,15),(4,19),(5,7),(5,9),(5,11),(5,14),(5,18),(6,7),(6,8),(6,10),(6,13),(6,17),(7,22),(7,25),(7,28),(7,34),(8,22),(8,23),(8,26),(8,32),(9,22),(9,24),(9,27),(9,33),(10,23),(10,25),(10,29),(10,35),(11,24),(11,25),(11,30),(11,36),(12,23),(12,24),(12,31),(12,37),(13,26),(13,28),(13,29),(13,38),(14,27),(14,28),(14,30),(14,39),(15,26),(15,27),(15,31),(15,40),(16,29),(16,30),(16,31),(16,41),(17,32),(17,34),(17,35),(17,38),(18,33),(18,34),(18,36),(18,39),(19,32),(19,33),(19,37),(19,40),(20,35),(20,36),(20,37),(20,41),(21,38),(21,39),(21,40),(21,41),(22,45),(22,46),(22,56),(23,42),(23,46),(23,53),(24,43),(24,46),(24,54),(25,44),(25,46),(25,55),(26,42),(26,45),(26,47),(27,43),(27,45),(27,48),(28,44),(28,45),(28,49),(29,42),(29,44),(29,50),(30,43),(30,44),(30,51),(31,42),(31,43),(31,52),(32,47),(32,53),(32,56),(33,48),(33,54),(33,56),(34,49),(34,55),(34,56),(35,50),(35,53),(35,55),(36,51),(36,54),(36,55),(37,52),(37,53),(37,54),(38,47),(38,49),(38,50),(39,48),(39,49),(39,51),(40,47),(40,48),(40,52),(41,50),(41,51),(41,52),(42,57),(42,62),(43,58),(43,62),(44,59),(44,62),(45,60),(45,62),(46,61),(46,62),(47,57),(47,60),(48,58),(48,60),(49,59),(49,60),(50,57),(50,59),(51,58),(51,59),(52,57),(52,58),(53,57),(53,61),(54,58),(54,61),(55,59),(55,61),(56,60),(56,61),(57,63),(58,63),(59,63),(60,63),(61,63),(62,63)],64)
=> ? = 0 + 1
[7] => ([],7)
=> ([],1)
=> 1 = 0 + 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)\}.
The following 147 statistics, ordered by result quality, also match your data. Click on any of them to see the details.
St001630The global dimension of the incidence algebra of the lattice over the rational numbers. St001878The projective dimension of the simple modules corresponding to the minimum of L in the incidence algebra of the lattice L. St000260The radius of a connected graph. St001301The first Betti number of the order complex associated with the poset. St001396Number of triples of incomparable elements in a finite poset. St000908The length of the shortest maximal antichain in a poset. St000914The sum of the values of the Möbius function of a poset. St001532The leading coefficient of the Poincare polynomial of the poset cone. St001634The trace of the Coxeter matrix of the incidence algebra of a poset. St001722The number of minimal chains with small intervals between a binary word and the top element. St000039The number of crossings of a permutation. St000217The number of occurrences of the pattern 312 in a permutation. St000221The number of strong fixed points of a permutation. St000234The number of global ascents of a permutation. St000247The number of singleton blocks of a set partition. St000279The size of the preimage of the map 'cycle-as-one-line notation' from Permutations to Permutations. St000295The length of the border of a binary word. St000317The cycle descent number of a permutation. St000338The number of pixed points of a permutation. St000355The number of occurrences of the pattern 21-3. St000358The number of occurrences of the pattern 31-2. St000360The number of occurrences of the pattern 32-1. St000365The number of double ascents of a permutation. St000367The number of simsun double descents of a permutation. St000375The number of non weak exceedences of a permutation that are mid-points of a decreasing subsequence of length 3. St000406The number of occurrences of the pattern 3241 in a permutation. St000407The number of occurrences of the pattern 2143 in a permutation. St000432The number of occurrences of the pattern 231 or of the pattern 312 in a permutation. St000462The major index minus the number of excedences of a permutation. St000486The number of cycles of length at least 3 of a permutation. St000500Eigenvalues of the random-to-random operator acting on the regular representation. St000516The number of stretching pairs of a permutation. St000559The number of occurrences of the pattern {{1,3},{2,4}} in a set partition. St000561The number of occurrences of the pattern {{1,2,3}} in a set partition. St000563The number of overlapping pairs of blocks of a set partition. St000573The number of occurrences of the pattern {{1},{2}} such that 1 is a singleton and 2 a maximal element. St000575The number of occurrences of the pattern {{1},{2}} such that 1 is a maximal element and 2 a singleton. St000578The number of occurrences of the pattern {{1},{2}} such that 1 is a singleton. St000622The number of occurrences of the patterns 2143 or 4231 in a permutation. St000623The number of occurrences of the pattern 52341 in a permutation. St000664The number of right ropes of a permutation. St000666The number of right tethers of a permutation. St000732The number of double deficiencies of a permutation. St000750The number of occurrences of the pattern 4213 in a permutation. St000751The number of occurrences of either of the pattern 2143 or 2143 in a permutation. St000779The tier of a permutation. St000800The number of occurrences of the vincular pattern |231 in a permutation. St000801The number of occurrences of the vincular pattern |312 in a permutation. St000802The number of occurrences of the vincular pattern |321 in a permutation. St000872The number of very big descents of a permutation. St000961The shifted major index of a permutation. St000962The 3-shifted major index of a permutation. St000963The 2-shifted major index of a permutation. St000989The number of final rises of a permutation. St001059Number of occurrences of the patterns 41352,42351,51342,52341 in a permutation. St001082The number of boxed occurrences of 123 in a permutation. St001130The number of two successive successions in a permutation. St001174The Gorenstein dimension of the algebra A/I when I is the tilting module corresponding to the permutation in the Auslander algebra of K[x]/(x^n). St001332The number of steps on the non-negative side of the walk associated with the permutation. St001371The length of the longest Yamanouchi prefix of a binary word. St001381The fertility of a permutation. St001402The number of separators in a permutation. St001403The number of vertical separators in a permutation. St001513The number of nested exceedences of a permutation. St001537The number of cyclic crossings of a permutation. St001549The number of restricted non-inversions between exceedances. St001550The number of inversions between exceedances where the greater exceedance is linked. St001551The number of restricted non-inversions between exceedances where the rightmost exceedance is linked. St001552The number of inversions between excedances and fixed points of a permutation. St001559The number of transpositions that are smaller or equal to a permutation in Bruhat order while not being inversions. St001640The number of ascent tops in the permutation such that all smaller elements appear before. St001663The number of occurrences of the Hertzsprung pattern 132 in a permutation. St001705The number of occurrences of the pattern 2413 in a permutation. St001715The number of non-records in a permutation. St001728The number of invisible descents of a permutation. St001730The number of times the path corresponding to a binary word crosses the base line. St001744The number of occurrences of the arrow pattern 1-2 with an arrow from 1 to 2 in a permutation. St001771The number of occurrences of the signed pattern 1-2 in a signed permutation. St001781The interlacing number of a set partition. St001810The number of fixed points of a permutation smaller than its largest moved point. St001847The number of occurrences of the pattern 1432 in a permutation. St001857The number of edges in the reduced word graph of a signed permutation. St001866The nesting alignments of a signed permutation. St001870The number of positive entries followed by a negative entry in a signed permutation. St001895The oddness of a signed permutation. St001906Half of the difference between the total displacement and the number of inversions and the reflection length of a permutation. St000021The number of descents of a permutation. St000056The decomposition (or block) number of a permutation. St000154The sum of the descent bottoms of a permutation. St000210Minimum over maximum difference of elements in cycles. St000253The crossing number of a set partition. St000333The dez statistic, the number of descents of a permutation after replacing fixed points by zeros. St000541The number of indices greater than or equal to 2 of a permutation such that all smaller indices appear to its right. St000570The Edelman-Greene number of a permutation. St000654The first descent of a permutation. St000694The number of affine bounded permutations that project to a given permutation. St000729The minimal arc length of a set partition. St000864The number of circled entries of the shifted recording tableau of a permutation. St000882The number of connected components of short braid edges in the graph of braid moves of a permutation. St000886The number of permutations with the same antidiagonal sums. St001162The minimum jump of a permutation. St001195The global dimension of the algebra A/AfA of the corresponding Nakayama algebra A with minimal left faithful projective-injective module Af. St001208The number of connected components of the quiver of A/T when T is the 1-tilting module corresponding to the permutation in the Auslander algebra A of K[x]/(x^n). St001344The neighbouring number of a permutation. St001355Number of non-empty prefixes of a binary word that contain equally many 0's and 1's. St001359The number of permutations in the equivalence class of a permutation obtained by taking inverses of cycles. St001431Half of the Loewy length minus one of a modified stable Auslander algebra of the Nakayama algebra corresponding to the Dyck path. St001461The number of topologically connected components of the chord diagram of a permutation. St001462The number of factors of a standard tableaux under concatenation. St001553The number of indecomposable summands of the square of the Jacobson radical as a bimodule in the Nakayama algebra corresponding to the Dyck path. St001652The length of a longest interval of consecutive numbers. St001662The length of the longest factor of consecutive numbers in a permutation. St001665The number of pure excedances of a permutation. St001729The number of visible descents of a permutation. St001737The number of descents of type 2 in a permutation. St001806The upper middle entry of a permutation. St001859The number of factors of the Stanley symmetric function associated with a permutation. St001884The number of borders of a binary word. St001889The size of the connectivity set of a signed permutation. St001928The number of non-overlapping descents in a permutation. St000084The number of subtrees. St000325The width of the tree associated to a permutation. St000328The maximum number of child nodes in a tree. St000470The number of runs in a permutation. St000485The length of the longest cycle of a permutation. St000487The length of the shortest cycle of a permutation. St000504The cardinality of the first block of a set partition. St000542The number of left-to-right-minima of a permutation. St001062The maximal size of a block of a set partition. St001075The minimal size of a block of a set partition. St001235The global dimension of the corresponding Comp-Nakayama algebra. St001390The number of bumps occurring when Schensted-inserting the letter 1 of a permutation. St000219The number of occurrences of the pattern 231 in a permutation. St000259The diameter 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. St000879The number of long braid edges in the graph of braid moves of a permutation. St001232The number of indecomposable modules with projective dimension 2 for Nakayama algebras with global dimension at most 2. St001964The interval resolution global dimension of a poset. St000456The monochromatic index of a connected graph. 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. St001632The number of indecomposable injective modules I with dim Ext^1(I,A)=1 for the incidence algebra A of a poset. St001645The pebbling number of a connected graph. St001805The maximal overlap of a cylindrical tableau associated with a semistandard tableau.
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!