edit this statistic or download as text // json
Identifier
Values
=>
Cc0014;cc-rep
([],2)=>0 ([(0,1)],2)=>1 ([],3)=>0 ([(1,2)],3)=>1 ([(0,1),(0,2)],3)=>1 ([(0,2),(2,1)],3)=>2 ([(0,2),(1,2)],3)=>1 ([],4)=>0 ([(2,3)],4)=>1 ([(1,2),(1,3)],4)=>1 ([(0,1),(0,2),(0,3)],4)=>1 ([(0,2),(0,3),(3,1)],4)=>2 ([(0,1),(0,2),(1,3),(2,3)],4)=>2 ([(1,2),(2,3)],4)=>2 ([(0,3),(3,1),(3,2)],4)=>2 ([(1,3),(2,3)],4)=>1 ([(0,3),(1,3),(3,2)],4)=>2 ([(0,3),(1,3),(2,3)],4)=>1 ([(0,3),(1,2)],4)=>2 ([(0,3),(1,2),(1,3)],4)=>2 ([(0,2),(0,3),(1,2),(1,3)],4)=>2 ([(0,3),(2,1),(3,2)],4)=>3 ([(0,3),(1,2),(2,3)],4)=>2 ([],5)=>0 ([(3,4)],5)=>1 ([(2,3),(2,4)],5)=>1 ([(1,2),(1,3),(1,4)],5)=>1 ([(0,1),(0,2),(0,3),(0,4)],5)=>1 ([(0,2),(0,3),(0,4),(4,1)],5)=>2 ([(0,1),(0,2),(0,3),(2,4),(3,4)],5)=>2 ([(0,1),(0,2),(0,3),(1,4),(2,4),(3,4)],5)=>2 ([(1,3),(1,4),(4,2)],5)=>2 ([(0,3),(0,4),(4,1),(4,2)],5)=>2 ([(1,2),(1,3),(2,4),(3,4)],5)=>2 ([(0,2),(0,3),(2,4),(3,4),(4,1)],5)=>3 ([(0,3),(0,4),(3,2),(4,1)],5)=>3 ([(0,2),(0,3),(2,4),(3,1),(3,4)],5)=>3 ([(0,1),(0,2),(1,3),(1,4),(2,3),(2,4)],5)=>3 ([(2,3),(3,4)],5)=>2 ([(1,4),(4,2),(4,3)],5)=>2 ([(0,4),(4,1),(4,2),(4,3)],5)=>2 ([(2,4),(3,4)],5)=>1 ([(1,4),(2,4),(4,3)],5)=>2 ([(0,4),(1,4),(4,2),(4,3)],5)=>3 ([(1,4),(2,4),(3,4)],5)=>1 ([(0,4),(1,4),(2,4),(4,3)],5)=>2 ([(0,4),(1,4),(2,4),(3,4)],5)=>1 ([(0,4),(1,4),(2,3)],5)=>2 ([(0,4),(1,3),(2,3),(2,4)],5)=>2 ([(0,4),(1,3),(1,4),(2,3),(2,4)],5)=>2 ([(0,3),(0,4),(1,3),(1,4),(2,3),(2,4)],5)=>2 ([(0,4),(1,4),(2,3),(4,2)],5)=>3 ([(0,4),(1,3),(2,3),(3,4)],5)=>2 ([(0,4),(1,4),(2,3),(2,4)],5)=>2 ([(0,4),(1,4),(2,3),(3,4)],5)=>2 ([(1,4),(2,3)],5)=>2 ([(1,4),(2,3),(2,4)],5)=>2 ([(0,4),(1,2),(1,4),(2,3)],5)=>3 ([(0,3),(1,2),(1,3),(2,4),(3,4)],5)=>3 ([(1,3),(1,4),(2,3),(2,4)],5)=>2 ([(0,3),(0,4),(1,3),(1,4),(4,2)],5)=>3 ([(0,3),(0,4),(1,3),(1,4),(3,2),(4,2)],5)=>3 ([(0,4),(1,2),(1,4),(4,3)],5)=>3 ([(0,4),(1,2),(1,3)],5)=>2 ([(0,4),(1,2),(1,3),(1,4)],5)=>2 ([(0,2),(0,4),(3,1),(4,3)],5)=>3 ([(0,4),(1,2),(1,3),(3,4)],5)=>2 ([(0,2),(0,3),(1,4),(2,4),(3,1)],5)=>3 ([(0,4),(1,2),(1,3),(2,4),(3,4)],5)=>2 ([(0,3),(0,4),(1,2),(1,4)],5)=>2 ([(0,3),(0,4),(1,2),(1,3),(1,4)],5)=>2 ([(0,2),(0,3),(0,4),(1,2),(1,3),(1,4)],5)=>2 ([(0,3),(0,4),(1,2),(1,3),(2,4)],5)=>3 ([(0,3),(1,2),(1,4),(3,4)],5)=>3 ([(0,3),(0,4),(1,2),(2,3),(2,4)],5)=>3 ([(1,4),(3,2),(4,3)],5)=>3 ([(0,3),(3,4),(4,1),(4,2)],5)=>3 ([(1,4),(2,3),(3,4)],5)=>2 ([(0,4),(1,2),(2,4),(4,3)],5)=>3 ([(0,3),(1,4),(4,2)],5)=>3 ([(0,4),(3,2),(4,1),(4,3)],5)=>3 ([(0,4),(1,2),(2,3),(2,4)],5)=>3 ([(0,4),(2,3),(3,1),(4,2)],5)=>4 ([(0,3),(1,2),(2,4),(3,4)],5)=>3 ([(0,4),(1,2),(2,3),(3,4)],5)=>3 ([(0,3),(1,4),(2,4),(3,1),(3,2)],5)=>3
search for individual values
searching the database for the individual values of this statistic
/ search for generating function
searching the database for statistics with the same generating function
click to show known generating functions       
Description
The number of points of the poset minus the width of the poset.
Code
def statistic(P):
    return P.cardinality()-P.width()
Created
Jan 12, 2021 at 17:57 by Rene Marczinzik
Updated
Feb 24, 2021 at 11:48 by Martin Rubey