Your data matches 185 different statistics following compositions of up to 3 maps.
(click to perform a complete search on your data)
Matching statistic: St001292
Mp00178: Binary words to compositionInteger compositions
Mp00231: Integer compositions bounce pathDyck paths
Mp00199: Dyck paths prime Dyck pathDyck paths
St001292: Dyck paths ⟶ ℤResult quality: 100% values known / values provided: 100%distinct values known / distinct values provided: 100%
Values
0 => [2] => [1,1,0,0]
=> [1,1,1,0,0,0]
=> 0
1 => [1,1] => [1,0,1,0]
=> [1,1,0,1,0,0]
=> 0
00 => [3] => [1,1,1,0,0,0]
=> [1,1,1,1,0,0,0,0]
=> 0
01 => [2,1] => [1,1,0,0,1,0]
=> [1,1,1,0,0,1,0,0]
=> 0
10 => [1,2] => [1,0,1,1,0,0]
=> [1,1,0,1,1,0,0,0]
=> 0
11 => [1,1,1] => [1,0,1,0,1,0]
=> [1,1,0,1,0,1,0,0]
=> 0
000 => [4] => [1,1,1,1,0,0,0,0]
=> [1,1,1,1,1,0,0,0,0,0]
=> 0
001 => [3,1] => [1,1,1,0,0,0,1,0]
=> [1,1,1,1,0,0,0,1,0,0]
=> 0
010 => [2,2] => [1,1,0,0,1,1,0,0]
=> [1,1,1,0,0,1,1,0,0,0]
=> 0
011 => [2,1,1] => [1,1,0,0,1,0,1,0]
=> [1,1,1,0,0,1,0,1,0,0]
=> 0
100 => [1,3] => [1,0,1,1,1,0,0,0]
=> [1,1,0,1,1,1,0,0,0,0]
=> 0
101 => [1,2,1] => [1,0,1,1,0,0,1,0]
=> [1,1,0,1,1,0,0,1,0,0]
=> 0
110 => [1,1,2] => [1,0,1,0,1,1,0,0]
=> [1,1,0,1,0,1,1,0,0,0]
=> 0
111 => [1,1,1,1] => [1,0,1,0,1,0,1,0]
=> [1,1,0,1,0,1,0,1,0,0]
=> 0
0000 => [5] => [1,1,1,1,1,0,0,0,0,0]
=> [1,1,1,1,1,1,0,0,0,0,0,0]
=> 0
0001 => [4,1] => [1,1,1,1,0,0,0,0,1,0]
=> [1,1,1,1,1,0,0,0,0,1,0,0]
=> 0
0010 => [3,2] => [1,1,1,0,0,0,1,1,0,0]
=> [1,1,1,1,0,0,0,1,1,0,0,0]
=> 0
0011 => [3,1,1] => [1,1,1,0,0,0,1,0,1,0]
=> [1,1,1,1,0,0,0,1,0,1,0,0]
=> 0
0100 => [2,3] => [1,1,0,0,1,1,1,0,0,0]
=> [1,1,1,0,0,1,1,1,0,0,0,0]
=> 0
0101 => [2,2,1] => [1,1,0,0,1,1,0,0,1,0]
=> [1,1,1,0,0,1,1,0,0,1,0,0]
=> 1
0110 => [2,1,2] => [1,1,0,0,1,0,1,1,0,0]
=> [1,1,1,0,0,1,0,1,1,0,0,0]
=> 0
0111 => [2,1,1,1] => [1,1,0,0,1,0,1,0,1,0]
=> [1,1,1,0,0,1,0,1,0,1,0,0]
=> 1
1000 => [1,4] => [1,0,1,1,1,1,0,0,0,0]
=> [1,1,0,1,1,1,1,0,0,0,0,0]
=> 0
1001 => [1,3,1] => [1,0,1,1,1,0,0,0,1,0]
=> [1,1,0,1,1,1,0,0,0,1,0,0]
=> 0
1010 => [1,2,2] => [1,0,1,1,0,0,1,1,0,0]
=> [1,1,0,1,1,0,0,1,1,0,0,0]
=> 0
1011 => [1,2,1,1] => [1,0,1,1,0,0,1,0,1,0]
=> [1,1,0,1,1,0,0,1,0,1,0,0]
=> 0
1100 => [1,1,3] => [1,0,1,0,1,1,1,0,0,0]
=> [1,1,0,1,0,1,1,1,0,0,0,0]
=> 0
1101 => [1,1,2,1] => [1,0,1,0,1,1,0,0,1,0]
=> [1,1,0,1,0,1,1,0,0,1,0,0]
=> 0
1110 => [1,1,1,2] => [1,0,1,0,1,0,1,1,0,0]
=> [1,1,0,1,0,1,0,1,1,0,0,0]
=> 0
1111 => [1,1,1,1,1] => [1,0,1,0,1,0,1,0,1,0]
=> [1,1,0,1,0,1,0,1,0,1,0,0]
=> 0
=> [1] => [1,0]
=> [1,1,0,0]
=> 0
Description
The injective dimension of the tensor product of two copies of the dual of the Nakayama algebra associated to a Dyck path. Here $A$ is the Nakayama algebra associated to a Dyck path as given in [[DyckPaths/NakayamaAlgebras]].
Mp00105: Binary words complementBinary words
Mp00316: Binary words inverse Foata bijectionBinary words
Mp00104: Binary words reverseBinary words
St001722: Binary words ⟶ ℤResult quality: 97% values known / values provided: 97%distinct values known / distinct values provided: 100%
Values
0 => 1 => 1 => 1 => 1 = 0 + 1
1 => 0 => 0 => 0 => 1 = 0 + 1
00 => 11 => 11 => 11 => 1 = 0 + 1
01 => 10 => 10 => 01 => 1 = 0 + 1
10 => 01 => 01 => 10 => 1 = 0 + 1
11 => 00 => 00 => 00 => 1 = 0 + 1
000 => 111 => 111 => 111 => 1 = 0 + 1
001 => 110 => 110 => 011 => 1 = 0 + 1
010 => 101 => 101 => 101 => 1 = 0 + 1
011 => 100 => 010 => 010 => 1 = 0 + 1
100 => 011 => 011 => 110 => 1 = 0 + 1
101 => 010 => 100 => 001 => 1 = 0 + 1
110 => 001 => 001 => 100 => 1 = 0 + 1
111 => 000 => 000 => 000 => 1 = 0 + 1
0000 => 1111 => 1111 => 1111 => 1 = 0 + 1
0001 => 1110 => 1110 => 0111 => 1 = 0 + 1
0010 => 1101 => 1101 => 1011 => 1 = 0 + 1
0011 => 1100 => 1010 => 0101 => 1 = 0 + 1
0100 => 1011 => 1011 => 1101 => 1 = 0 + 1
0101 => 1010 => 0110 => 0110 => 2 = 1 + 1
0110 => 1001 => 0101 => 1010 => 1 = 0 + 1
0111 => 1000 => 0010 => 0100 => 2 = 1 + 1
1000 => 0111 => 0111 => 1110 => 1 = 0 + 1
1001 => 0110 => 1100 => 0011 => 1 = 0 + 1
1010 => 0101 => 1001 => 1001 => 1 = 0 + 1
1011 => 0100 => 0100 => 0010 => 1 = 0 + 1
1100 => 0011 => 0011 => 1100 => 1 = 0 + 1
1101 => 0010 => 1000 => 0001 => 1 = 0 + 1
1110 => 0001 => 0001 => 1000 => 1 = 0 + 1
1111 => 0000 => 0000 => 0000 => 1 = 0 + 1
=> => ? => ? => ? = 0 + 1
Description
The number of minimal chains with small intervals between a binary word and the top element. A valley in a binary word is a subsequence $01$, or a trailing $0$. A peak is a subsequence $10$ or a trailing $1$. Let $P$ be the lattice on binary words of length $n$, where the covering elements of a word are obtained by replacing a valley with a peak. An interval $[w_1, w_2]$ in $P$ is small if $w_2$ is obtained from $w_1$ by replacing some valleys with peaks. This statistic counts the number of chains $w = w_1 < \dots < w_d = 1\dots 1$ to the top element of minimal length. For example, there are two such chains for the word $0110$: $$ 0110 < 1011 < 1101 < 1110 < 1111 $$ and $$ 0110 < 1010 < 1101 < 1110 < 1111. $$
Mp00278: Binary words rowmotionBinary words
Mp00262: Binary words poset of factorsPosets
St000068: Posets ⟶ ℤResult quality: 50% values known / values provided: 71%distinct values known / distinct values provided: 50%
Values
0 => 0 => ([(0,1)],2)
=> 1 = 0 + 1
1 => 1 => ([(0,1)],2)
=> 1 = 0 + 1
00 => 00 => ([(0,2),(2,1)],3)
=> 1 = 0 + 1
01 => 10 => ([(0,1),(0,2),(1,3),(2,3)],4)
=> 1 = 0 + 1
10 => 01 => ([(0,1),(0,2),(1,3),(2,3)],4)
=> 1 = 0 + 1
11 => 11 => ([(0,2),(2,1)],3)
=> 1 = 0 + 1
000 => 000 => ([(0,3),(2,1),(3,2)],4)
=> 1 = 0 + 1
001 => 010 => ([(0,1),(0,2),(1,4),(1,5),(2,4),(2,5),(4,3),(5,3)],6)
=> 1 = 0 + 1
010 => 100 => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
=> 1 = 0 + 1
011 => 101 => ([(0,1),(0,2),(1,4),(1,5),(2,4),(2,5),(4,3),(5,3)],6)
=> 1 = 0 + 1
100 => 001 => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
=> 1 = 0 + 1
101 => 110 => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
=> 1 = 0 + 1
110 => 011 => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
=> 1 = 0 + 1
111 => 111 => ([(0,3),(2,1),(3,2)],4)
=> 1 = 0 + 1
0000 => 0000 => ([(0,4),(2,3),(3,1),(4,2)],5)
=> 1 = 0 + 1
0001 => 0010 => ([(0,2),(0,3),(1,6),(2,7),(2,8),(3,1),(3,7),(3,8),(5,4),(6,4),(7,5),(8,5),(8,6)],9)
=> ? = 0 + 1
0010 => 0100 => ([(0,2),(0,3),(1,6),(2,7),(2,8),(3,1),(3,7),(3,8),(5,4),(6,4),(7,5),(8,5),(8,6)],9)
=> ? = 0 + 1
0011 => 0101 => ([(0,1),(0,2),(1,6),(1,7),(2,6),(2,7),(4,3),(5,3),(6,4),(6,5),(7,4),(7,5)],8)
=> ? = 0 + 1
0100 => 1000 => ([(0,2),(0,4),(1,6),(2,5),(3,1),(3,7),(4,3),(4,5),(5,7),(7,6)],8)
=> 1 = 0 + 1
0101 => 1010 => ([(0,1),(0,2),(1,6),(1,7),(2,6),(2,7),(4,3),(5,3),(6,4),(6,5),(7,4),(7,5)],8)
=> ? = 1 + 1
0110 => 1001 => ([(0,2),(0,3),(1,5),(1,6),(2,7),(2,8),(3,1),(3,7),(3,8),(5,4),(6,4),(7,6),(8,5)],9)
=> ? = 0 + 1
0111 => 1011 => ([(0,2),(0,3),(1,6),(2,7),(2,8),(3,1),(3,7),(3,8),(5,4),(6,4),(7,5),(8,5),(8,6)],9)
=> ? = 1 + 1
1000 => 0001 => ([(0,2),(0,4),(1,6),(2,5),(3,1),(3,7),(4,3),(4,5),(5,7),(7,6)],8)
=> 1 = 0 + 1
1001 => 0110 => ([(0,2),(0,3),(1,5),(1,6),(2,7),(2,8),(3,1),(3,7),(3,8),(5,4),(6,4),(7,6),(8,5)],9)
=> ? = 0 + 1
1010 => 1100 => ([(0,3),(0,4),(1,7),(2,6),(3,2),(3,5),(4,1),(4,5),(5,6),(5,7),(6,8),(7,8)],9)
=> 1 = 0 + 1
1011 => 1101 => ([(0,2),(0,3),(1,6),(2,7),(2,8),(3,1),(3,7),(3,8),(5,4),(6,4),(7,5),(8,5),(8,6)],9)
=> ? = 0 + 1
1100 => 0011 => ([(0,3),(0,4),(1,7),(2,6),(3,2),(3,5),(4,1),(4,5),(5,6),(5,7),(6,8),(7,8)],9)
=> 1 = 0 + 1
1101 => 1110 => ([(0,2),(0,4),(1,6),(2,5),(3,1),(3,7),(4,3),(4,5),(5,7),(7,6)],8)
=> 1 = 0 + 1
1110 => 0111 => ([(0,2),(0,4),(1,6),(2,5),(3,1),(3,7),(4,3),(4,5),(5,7),(7,6)],8)
=> 1 = 0 + 1
1111 => 1111 => ([(0,4),(2,3),(3,1),(4,2)],5)
=> 1 = 0 + 1
=> => ?
=> ? = 0 + 1
Description
The number of minimal elements in a poset.
Mp00316: Binary words inverse Foata bijectionBinary words
Mp00262: Binary words poset of factorsPosets
Mp00205: Posets maximal antichainsLattices
St001621: Lattices ⟶ ℤResult quality: 50% values known / values provided: 58%distinct values known / distinct values provided: 50%
Values
0 => 0 => ([(0,1)],2)
=> ([(0,1)],2)
=> 1 = 0 + 1
1 => 1 => ([(0,1)],2)
=> ([(0,1)],2)
=> 1 = 0 + 1
00 => 00 => ([(0,2),(2,1)],3)
=> ([(0,2),(2,1)],3)
=> 1 = 0 + 1
01 => 01 => ([(0,1),(0,2),(1,3),(2,3)],4)
=> ([(0,2),(2,1)],3)
=> 1 = 0 + 1
10 => 10 => ([(0,1),(0,2),(1,3),(2,3)],4)
=> ([(0,2),(2,1)],3)
=> 1 = 0 + 1
11 => 11 => ([(0,2),(2,1)],3)
=> ([(0,2),(2,1)],3)
=> 1 = 0 + 1
000 => 000 => ([(0,3),(2,1),(3,2)],4)
=> ([(0,3),(2,1),(3,2)],4)
=> 1 = 0 + 1
001 => 001 => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
=> ([(0,4),(2,3),(3,1),(4,2)],5)
=> 1 = 0 + 1
010 => 100 => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
=> ([(0,4),(2,3),(3,1),(4,2)],5)
=> 1 = 0 + 1
011 => 011 => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
=> ([(0,4),(2,3),(3,1),(4,2)],5)
=> 1 = 0 + 1
100 => 010 => ([(0,1),(0,2),(1,4),(1,5),(2,4),(2,5),(4,3),(5,3)],6)
=> ([(0,3),(2,1),(3,2)],4)
=> 1 = 0 + 1
101 => 101 => ([(0,1),(0,2),(1,4),(1,5),(2,4),(2,5),(4,3),(5,3)],6)
=> ([(0,3),(2,1),(3,2)],4)
=> 1 = 0 + 1
110 => 110 => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
=> ([(0,4),(2,3),(3,1),(4,2)],5)
=> 1 = 0 + 1
111 => 111 => ([(0,3),(2,1),(3,2)],4)
=> ([(0,3),(2,1),(3,2)],4)
=> 1 = 0 + 1
0000 => 0000 => ([(0,4),(2,3),(3,1),(4,2)],5)
=> ([(0,4),(2,3),(3,1),(4,2)],5)
=> 1 = 0 + 1
0001 => 0001 => ([(0,2),(0,4),(1,6),(2,5),(3,1),(3,7),(4,3),(4,5),(5,7),(7,6)],8)
=> ([(0,5),(2,7),(3,7),(4,1),(5,6),(6,2),(6,3),(7,4)],8)
=> ? = 0 + 1
0010 => 1000 => ([(0,2),(0,4),(1,6),(2,5),(3,1),(3,7),(4,3),(4,5),(5,7),(7,6)],8)
=> ([(0,5),(2,7),(3,7),(4,1),(5,6),(6,2),(6,3),(7,4)],8)
=> ? = 0 + 1
0011 => 0011 => ([(0,3),(0,4),(1,7),(2,6),(3,2),(3,5),(4,1),(4,5),(5,6),(5,7),(6,8),(7,8)],9)
=> ([(0,6),(1,8),(2,8),(3,7),(4,7),(6,1),(6,2),(7,5),(8,3),(8,4)],9)
=> ? = 0 + 1
0100 => 0100 => ([(0,2),(0,3),(1,6),(2,7),(2,8),(3,1),(3,7),(3,8),(5,4),(6,4),(7,5),(8,5),(8,6)],9)
=> ([(0,5),(1,7),(2,7),(4,6),(5,4),(6,1),(6,2),(7,3)],8)
=> ? = 0 + 1
0101 => 1001 => ([(0,2),(0,3),(1,5),(1,6),(2,7),(2,8),(3,1),(3,7),(3,8),(5,4),(6,4),(7,6),(8,5)],9)
=> ([(0,5),(1,7),(2,7),(4,6),(5,4),(6,1),(6,2),(7,3)],8)
=> ? = 1 + 1
0110 => 1100 => ([(0,3),(0,4),(1,7),(2,6),(3,2),(3,5),(4,1),(4,5),(5,6),(5,7),(6,8),(7,8)],9)
=> ([(0,6),(1,8),(2,8),(3,7),(4,7),(6,1),(6,2),(7,5),(8,3),(8,4)],9)
=> ? = 0 + 1
0111 => 0111 => ([(0,2),(0,4),(1,6),(2,5),(3,1),(3,7),(4,3),(4,5),(5,7),(7,6)],8)
=> ([(0,5),(2,7),(3,7),(4,1),(5,6),(6,2),(6,3),(7,4)],8)
=> ? = 1 + 1
1000 => 0010 => ([(0,2),(0,3),(1,6),(2,7),(2,8),(3,1),(3,7),(3,8),(5,4),(6,4),(7,5),(8,5),(8,6)],9)
=> ([(0,5),(1,7),(2,7),(4,6),(5,4),(6,1),(6,2),(7,3)],8)
=> ? = 0 + 1
1001 => 0101 => ([(0,1),(0,2),(1,6),(1,7),(2,6),(2,7),(4,3),(5,3),(6,4),(6,5),(7,4),(7,5)],8)
=> ([(0,4),(2,3),(3,1),(4,2)],5)
=> 1 = 0 + 1
1010 => 0110 => ([(0,2),(0,3),(1,5),(1,6),(2,7),(2,8),(3,1),(3,7),(3,8),(5,4),(6,4),(7,6),(8,5)],9)
=> ([(0,5),(1,7),(2,7),(4,6),(5,4),(6,1),(6,2),(7,3)],8)
=> ? = 0 + 1
1011 => 1011 => ([(0,2),(0,3),(1,6),(2,7),(2,8),(3,1),(3,7),(3,8),(5,4),(6,4),(7,5),(8,5),(8,6)],9)
=> ([(0,5),(1,7),(2,7),(4,6),(5,4),(6,1),(6,2),(7,3)],8)
=> ? = 0 + 1
1100 => 1010 => ([(0,1),(0,2),(1,6),(1,7),(2,6),(2,7),(4,3),(5,3),(6,4),(6,5),(7,4),(7,5)],8)
=> ([(0,4),(2,3),(3,1),(4,2)],5)
=> 1 = 0 + 1
1101 => 1101 => ([(0,2),(0,3),(1,6),(2,7),(2,8),(3,1),(3,7),(3,8),(5,4),(6,4),(7,5),(8,5),(8,6)],9)
=> ([(0,5),(1,7),(2,7),(4,6),(5,4),(6,1),(6,2),(7,3)],8)
=> ? = 0 + 1
1110 => 1110 => ([(0,2),(0,4),(1,6),(2,5),(3,1),(3,7),(4,3),(4,5),(5,7),(7,6)],8)
=> ([(0,5),(2,7),(3,7),(4,1),(5,6),(6,2),(6,3),(7,4)],8)
=> ? = 0 + 1
1111 => 1111 => ([(0,4),(2,3),(3,1),(4,2)],5)
=> ([(0,4),(2,3),(3,1),(4,2)],5)
=> 1 = 0 + 1
=> ? => ?
=> ?
=> ? = 0 + 1
Description
The number of atoms of a lattice. An element of a lattice is an '''atom''' if it covers the least element.
Matching statistic: St001624
Mp00316: Binary words inverse Foata bijectionBinary words
Mp00262: Binary words poset of factorsPosets
Mp00205: Posets maximal antichainsLattices
St001624: Lattices ⟶ ℤResult quality: 50% values known / values provided: 58%distinct values known / distinct values provided: 50%
Values
0 => 0 => ([(0,1)],2)
=> ([(0,1)],2)
=> 1 = 0 + 1
1 => 1 => ([(0,1)],2)
=> ([(0,1)],2)
=> 1 = 0 + 1
00 => 00 => ([(0,2),(2,1)],3)
=> ([(0,2),(2,1)],3)
=> 1 = 0 + 1
01 => 01 => ([(0,1),(0,2),(1,3),(2,3)],4)
=> ([(0,2),(2,1)],3)
=> 1 = 0 + 1
10 => 10 => ([(0,1),(0,2),(1,3),(2,3)],4)
=> ([(0,2),(2,1)],3)
=> 1 = 0 + 1
11 => 11 => ([(0,2),(2,1)],3)
=> ([(0,2),(2,1)],3)
=> 1 = 0 + 1
000 => 000 => ([(0,3),(2,1),(3,2)],4)
=> ([(0,3),(2,1),(3,2)],4)
=> 1 = 0 + 1
001 => 001 => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
=> ([(0,4),(2,3),(3,1),(4,2)],5)
=> 1 = 0 + 1
010 => 100 => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
=> ([(0,4),(2,3),(3,1),(4,2)],5)
=> 1 = 0 + 1
011 => 011 => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
=> ([(0,4),(2,3),(3,1),(4,2)],5)
=> 1 = 0 + 1
100 => 010 => ([(0,1),(0,2),(1,4),(1,5),(2,4),(2,5),(4,3),(5,3)],6)
=> ([(0,3),(2,1),(3,2)],4)
=> 1 = 0 + 1
101 => 101 => ([(0,1),(0,2),(1,4),(1,5),(2,4),(2,5),(4,3),(5,3)],6)
=> ([(0,3),(2,1),(3,2)],4)
=> 1 = 0 + 1
110 => 110 => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
=> ([(0,4),(2,3),(3,1),(4,2)],5)
=> 1 = 0 + 1
111 => 111 => ([(0,3),(2,1),(3,2)],4)
=> ([(0,3),(2,1),(3,2)],4)
=> 1 = 0 + 1
0000 => 0000 => ([(0,4),(2,3),(3,1),(4,2)],5)
=> ([(0,4),(2,3),(3,1),(4,2)],5)
=> 1 = 0 + 1
0001 => 0001 => ([(0,2),(0,4),(1,6),(2,5),(3,1),(3,7),(4,3),(4,5),(5,7),(7,6)],8)
=> ([(0,5),(2,7),(3,7),(4,1),(5,6),(6,2),(6,3),(7,4)],8)
=> ? = 0 + 1
0010 => 1000 => ([(0,2),(0,4),(1,6),(2,5),(3,1),(3,7),(4,3),(4,5),(5,7),(7,6)],8)
=> ([(0,5),(2,7),(3,7),(4,1),(5,6),(6,2),(6,3),(7,4)],8)
=> ? = 0 + 1
0011 => 0011 => ([(0,3),(0,4),(1,7),(2,6),(3,2),(3,5),(4,1),(4,5),(5,6),(5,7),(6,8),(7,8)],9)
=> ([(0,6),(1,8),(2,8),(3,7),(4,7),(6,1),(6,2),(7,5),(8,3),(8,4)],9)
=> ? = 0 + 1
0100 => 0100 => ([(0,2),(0,3),(1,6),(2,7),(2,8),(3,1),(3,7),(3,8),(5,4),(6,4),(7,5),(8,5),(8,6)],9)
=> ([(0,5),(1,7),(2,7),(4,6),(5,4),(6,1),(6,2),(7,3)],8)
=> ? = 0 + 1
0101 => 1001 => ([(0,2),(0,3),(1,5),(1,6),(2,7),(2,8),(3,1),(3,7),(3,8),(5,4),(6,4),(7,6),(8,5)],9)
=> ([(0,5),(1,7),(2,7),(4,6),(5,4),(6,1),(6,2),(7,3)],8)
=> ? = 1 + 1
0110 => 1100 => ([(0,3),(0,4),(1,7),(2,6),(3,2),(3,5),(4,1),(4,5),(5,6),(5,7),(6,8),(7,8)],9)
=> ([(0,6),(1,8),(2,8),(3,7),(4,7),(6,1),(6,2),(7,5),(8,3),(8,4)],9)
=> ? = 0 + 1
0111 => 0111 => ([(0,2),(0,4),(1,6),(2,5),(3,1),(3,7),(4,3),(4,5),(5,7),(7,6)],8)
=> ([(0,5),(2,7),(3,7),(4,1),(5,6),(6,2),(6,3),(7,4)],8)
=> ? = 1 + 1
1000 => 0010 => ([(0,2),(0,3),(1,6),(2,7),(2,8),(3,1),(3,7),(3,8),(5,4),(6,4),(7,5),(8,5),(8,6)],9)
=> ([(0,5),(1,7),(2,7),(4,6),(5,4),(6,1),(6,2),(7,3)],8)
=> ? = 0 + 1
1001 => 0101 => ([(0,1),(0,2),(1,6),(1,7),(2,6),(2,7),(4,3),(5,3),(6,4),(6,5),(7,4),(7,5)],8)
=> ([(0,4),(2,3),(3,1),(4,2)],5)
=> 1 = 0 + 1
1010 => 0110 => ([(0,2),(0,3),(1,5),(1,6),(2,7),(2,8),(3,1),(3,7),(3,8),(5,4),(6,4),(7,6),(8,5)],9)
=> ([(0,5),(1,7),(2,7),(4,6),(5,4),(6,1),(6,2),(7,3)],8)
=> ? = 0 + 1
1011 => 1011 => ([(0,2),(0,3),(1,6),(2,7),(2,8),(3,1),(3,7),(3,8),(5,4),(6,4),(7,5),(8,5),(8,6)],9)
=> ([(0,5),(1,7),(2,7),(4,6),(5,4),(6,1),(6,2),(7,3)],8)
=> ? = 0 + 1
1100 => 1010 => ([(0,1),(0,2),(1,6),(1,7),(2,6),(2,7),(4,3),(5,3),(6,4),(6,5),(7,4),(7,5)],8)
=> ([(0,4),(2,3),(3,1),(4,2)],5)
=> 1 = 0 + 1
1101 => 1101 => ([(0,2),(0,3),(1,6),(2,7),(2,8),(3,1),(3,7),(3,8),(5,4),(6,4),(7,5),(8,5),(8,6)],9)
=> ([(0,5),(1,7),(2,7),(4,6),(5,4),(6,1),(6,2),(7,3)],8)
=> ? = 0 + 1
1110 => 1110 => ([(0,2),(0,4),(1,6),(2,5),(3,1),(3,7),(4,3),(4,5),(5,7),(7,6)],8)
=> ([(0,5),(2,7),(3,7),(4,1),(5,6),(6,2),(6,3),(7,4)],8)
=> ? = 0 + 1
1111 => 1111 => ([(0,4),(2,3),(3,1),(4,2)],5)
=> ([(0,4),(2,3),(3,1),(4,2)],5)
=> 1 = 0 + 1
=> ? => ?
=> ?
=> ? = 0 + 1
Description
The breadth of a lattice. The '''breadth''' of a lattice is the least integer $b$ such that any join $x_1\vee x_2\vee\cdots\vee x_n$, with $n > b$, can be expressed as a join over a proper subset of $\{x_1,x_2,\ldots,x_n\}$.
Mp00262: Binary words poset of factorsPosets
St001301: Posets ⟶ ℤResult quality: 50% values known / values provided: 52%distinct values known / distinct values provided: 50%
Values
0 => ([(0,1)],2)
=> 0
1 => ([(0,1)],2)
=> 0
00 => ([(0,2),(2,1)],3)
=> 0
01 => ([(0,1),(0,2),(1,3),(2,3)],4)
=> 0
10 => ([(0,1),(0,2),(1,3),(2,3)],4)
=> 0
11 => ([(0,2),(2,1)],3)
=> 0
000 => ([(0,3),(2,1),(3,2)],4)
=> 0
001 => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
=> 0
010 => ([(0,1),(0,2),(1,4),(1,5),(2,4),(2,5),(4,3),(5,3)],6)
=> 0
011 => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
=> 0
100 => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
=> 0
101 => ([(0,1),(0,2),(1,4),(1,5),(2,4),(2,5),(4,3),(5,3)],6)
=> 0
110 => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
=> 0
111 => ([(0,3),(2,1),(3,2)],4)
=> 0
0000 => ([(0,4),(2,3),(3,1),(4,2)],5)
=> 0
0001 => ([(0,2),(0,4),(1,6),(2,5),(3,1),(3,7),(4,3),(4,5),(5,7),(7,6)],8)
=> ? = 0
0010 => ([(0,2),(0,3),(1,6),(2,7),(2,8),(3,1),(3,7),(3,8),(5,4),(6,4),(7,5),(8,5),(8,6)],9)
=> ? = 0
0011 => ([(0,3),(0,4),(1,7),(2,6),(3,2),(3,5),(4,1),(4,5),(5,6),(5,7),(6,8),(7,8)],9)
=> ? = 0
0100 => ([(0,2),(0,3),(1,6),(2,7),(2,8),(3,1),(3,7),(3,8),(5,4),(6,4),(7,5),(8,5),(8,6)],9)
=> ? = 0
0101 => ([(0,1),(0,2),(1,6),(1,7),(2,6),(2,7),(4,3),(5,3),(6,4),(6,5),(7,4),(7,5)],8)
=> ? = 1
0110 => ([(0,2),(0,3),(1,5),(1,6),(2,7),(2,8),(3,1),(3,7),(3,8),(5,4),(6,4),(7,6),(8,5)],9)
=> ? = 0
0111 => ([(0,2),(0,4),(1,6),(2,5),(3,1),(3,7),(4,3),(4,5),(5,7),(7,6)],8)
=> ? = 1
1000 => ([(0,2),(0,4),(1,6),(2,5),(3,1),(3,7),(4,3),(4,5),(5,7),(7,6)],8)
=> ? = 0
1001 => ([(0,2),(0,3),(1,5),(1,6),(2,7),(2,8),(3,1),(3,7),(3,8),(5,4),(6,4),(7,6),(8,5)],9)
=> ? = 0
1010 => ([(0,1),(0,2),(1,6),(1,7),(2,6),(2,7),(4,3),(5,3),(6,4),(6,5),(7,4),(7,5)],8)
=> ? = 0
1011 => ([(0,2),(0,3),(1,6),(2,7),(2,8),(3,1),(3,7),(3,8),(5,4),(6,4),(7,5),(8,5),(8,6)],9)
=> ? = 0
1100 => ([(0,3),(0,4),(1,7),(2,6),(3,2),(3,5),(4,1),(4,5),(5,6),(5,7),(6,8),(7,8)],9)
=> ? = 0
1101 => ([(0,2),(0,3),(1,6),(2,7),(2,8),(3,1),(3,7),(3,8),(5,4),(6,4),(7,5),(8,5),(8,6)],9)
=> ? = 0
1110 => ([(0,2),(0,4),(1,6),(2,5),(3,1),(3,7),(4,3),(4,5),(5,7),(7,6)],8)
=> ? = 0
1111 => ([(0,4),(2,3),(3,1),(4,2)],5)
=> 0
=> ?
=> ? = 0
Description
The first Betti number of the order complex associated with the poset. The order complex of a poset is the simplicial complex whose faces are the chains of the poset. This statistic is the rank of the first homology group of the order complex.
Mp00262: Binary words poset of factorsPosets
St001396: Posets ⟶ ℤResult quality: 50% values known / values provided: 52%distinct values known / distinct values provided: 50%
Values
0 => ([(0,1)],2)
=> 0
1 => ([(0,1)],2)
=> 0
00 => ([(0,2),(2,1)],3)
=> 0
01 => ([(0,1),(0,2),(1,3),(2,3)],4)
=> 0
10 => ([(0,1),(0,2),(1,3),(2,3)],4)
=> 0
11 => ([(0,2),(2,1)],3)
=> 0
000 => ([(0,3),(2,1),(3,2)],4)
=> 0
001 => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
=> 0
010 => ([(0,1),(0,2),(1,4),(1,5),(2,4),(2,5),(4,3),(5,3)],6)
=> 0
011 => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
=> 0
100 => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
=> 0
101 => ([(0,1),(0,2),(1,4),(1,5),(2,4),(2,5),(4,3),(5,3)],6)
=> 0
110 => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
=> 0
111 => ([(0,3),(2,1),(3,2)],4)
=> 0
0000 => ([(0,4),(2,3),(3,1),(4,2)],5)
=> 0
0001 => ([(0,2),(0,4),(1,6),(2,5),(3,1),(3,7),(4,3),(4,5),(5,7),(7,6)],8)
=> ? = 0
0010 => ([(0,2),(0,3),(1,6),(2,7),(2,8),(3,1),(3,7),(3,8),(5,4),(6,4),(7,5),(8,5),(8,6)],9)
=> ? = 0
0011 => ([(0,3),(0,4),(1,7),(2,6),(3,2),(3,5),(4,1),(4,5),(5,6),(5,7),(6,8),(7,8)],9)
=> ? = 0
0100 => ([(0,2),(0,3),(1,6),(2,7),(2,8),(3,1),(3,7),(3,8),(5,4),(6,4),(7,5),(8,5),(8,6)],9)
=> ? = 0
0101 => ([(0,1),(0,2),(1,6),(1,7),(2,6),(2,7),(4,3),(5,3),(6,4),(6,5),(7,4),(7,5)],8)
=> ? = 1
0110 => ([(0,2),(0,3),(1,5),(1,6),(2,7),(2,8),(3,1),(3,7),(3,8),(5,4),(6,4),(7,6),(8,5)],9)
=> ? = 0
0111 => ([(0,2),(0,4),(1,6),(2,5),(3,1),(3,7),(4,3),(4,5),(5,7),(7,6)],8)
=> ? = 1
1000 => ([(0,2),(0,4),(1,6),(2,5),(3,1),(3,7),(4,3),(4,5),(5,7),(7,6)],8)
=> ? = 0
1001 => ([(0,2),(0,3),(1,5),(1,6),(2,7),(2,8),(3,1),(3,7),(3,8),(5,4),(6,4),(7,6),(8,5)],9)
=> ? = 0
1010 => ([(0,1),(0,2),(1,6),(1,7),(2,6),(2,7),(4,3),(5,3),(6,4),(6,5),(7,4),(7,5)],8)
=> ? = 0
1011 => ([(0,2),(0,3),(1,6),(2,7),(2,8),(3,1),(3,7),(3,8),(5,4),(6,4),(7,5),(8,5),(8,6)],9)
=> ? = 0
1100 => ([(0,3),(0,4),(1,7),(2,6),(3,2),(3,5),(4,1),(4,5),(5,6),(5,7),(6,8),(7,8)],9)
=> ? = 0
1101 => ([(0,2),(0,3),(1,6),(2,7),(2,8),(3,1),(3,7),(3,8),(5,4),(6,4),(7,5),(8,5),(8,6)],9)
=> ? = 0
1110 => ([(0,2),(0,4),(1,6),(2,5),(3,1),(3,7),(4,3),(4,5),(5,7),(7,6)],8)
=> ? = 0
1111 => ([(0,4),(2,3),(3,1),(4,2)],5)
=> 0
=> ?
=> ? = 0
Description
Number of triples of incomparable elements in a finite poset. For a finite poset this is the number of 3-element sets $S \in \binom{P}{3}$ that are pairwise incomparable.
Mp00262: Binary words poset of factorsPosets
St000908: Posets ⟶ ℤResult quality: 50% values known / values provided: 52%distinct values known / distinct values provided: 50%
Values
0 => ([(0,1)],2)
=> 1 = 0 + 1
1 => ([(0,1)],2)
=> 1 = 0 + 1
00 => ([(0,2),(2,1)],3)
=> 1 = 0 + 1
01 => ([(0,1),(0,2),(1,3),(2,3)],4)
=> 1 = 0 + 1
10 => ([(0,1),(0,2),(1,3),(2,3)],4)
=> 1 = 0 + 1
11 => ([(0,2),(2,1)],3)
=> 1 = 0 + 1
000 => ([(0,3),(2,1),(3,2)],4)
=> 1 = 0 + 1
001 => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
=> 1 = 0 + 1
010 => ([(0,1),(0,2),(1,4),(1,5),(2,4),(2,5),(4,3),(5,3)],6)
=> 1 = 0 + 1
011 => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
=> 1 = 0 + 1
100 => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
=> 1 = 0 + 1
101 => ([(0,1),(0,2),(1,4),(1,5),(2,4),(2,5),(4,3),(5,3)],6)
=> 1 = 0 + 1
110 => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
=> 1 = 0 + 1
111 => ([(0,3),(2,1),(3,2)],4)
=> 1 = 0 + 1
0000 => ([(0,4),(2,3),(3,1),(4,2)],5)
=> 1 = 0 + 1
0001 => ([(0,2),(0,4),(1,6),(2,5),(3,1),(3,7),(4,3),(4,5),(5,7),(7,6)],8)
=> ? = 0 + 1
0010 => ([(0,2),(0,3),(1,6),(2,7),(2,8),(3,1),(3,7),(3,8),(5,4),(6,4),(7,5),(8,5),(8,6)],9)
=> ? = 0 + 1
0011 => ([(0,3),(0,4),(1,7),(2,6),(3,2),(3,5),(4,1),(4,5),(5,6),(5,7),(6,8),(7,8)],9)
=> ? = 0 + 1
0100 => ([(0,2),(0,3),(1,6),(2,7),(2,8),(3,1),(3,7),(3,8),(5,4),(6,4),(7,5),(8,5),(8,6)],9)
=> ? = 0 + 1
0101 => ([(0,1),(0,2),(1,6),(1,7),(2,6),(2,7),(4,3),(5,3),(6,4),(6,5),(7,4),(7,5)],8)
=> ? = 1 + 1
0110 => ([(0,2),(0,3),(1,5),(1,6),(2,7),(2,8),(3,1),(3,7),(3,8),(5,4),(6,4),(7,6),(8,5)],9)
=> ? = 0 + 1
0111 => ([(0,2),(0,4),(1,6),(2,5),(3,1),(3,7),(4,3),(4,5),(5,7),(7,6)],8)
=> ? = 1 + 1
1000 => ([(0,2),(0,4),(1,6),(2,5),(3,1),(3,7),(4,3),(4,5),(5,7),(7,6)],8)
=> ? = 0 + 1
1001 => ([(0,2),(0,3),(1,5),(1,6),(2,7),(2,8),(3,1),(3,7),(3,8),(5,4),(6,4),(7,6),(8,5)],9)
=> ? = 0 + 1
1010 => ([(0,1),(0,2),(1,6),(1,7),(2,6),(2,7),(4,3),(5,3),(6,4),(6,5),(7,4),(7,5)],8)
=> ? = 0 + 1
1011 => ([(0,2),(0,3),(1,6),(2,7),(2,8),(3,1),(3,7),(3,8),(5,4),(6,4),(7,5),(8,5),(8,6)],9)
=> ? = 0 + 1
1100 => ([(0,3),(0,4),(1,7),(2,6),(3,2),(3,5),(4,1),(4,5),(5,6),(5,7),(6,8),(7,8)],9)
=> ? = 0 + 1
1101 => ([(0,2),(0,3),(1,6),(2,7),(2,8),(3,1),(3,7),(3,8),(5,4),(6,4),(7,5),(8,5),(8,6)],9)
=> ? = 0 + 1
1110 => ([(0,2),(0,4),(1,6),(2,5),(3,1),(3,7),(4,3),(4,5),(5,7),(7,6)],8)
=> ? = 0 + 1
1111 => ([(0,4),(2,3),(3,1),(4,2)],5)
=> 1 = 0 + 1
=> ?
=> ? = 0 + 1
Description
The length of the shortest maximal antichain in a poset.
Mp00262: Binary words poset of factorsPosets
St000914: Posets ⟶ ℤResult quality: 50% values known / values provided: 52%distinct values known / distinct values provided: 50%
Values
0 => ([(0,1)],2)
=> 1 = 0 + 1
1 => ([(0,1)],2)
=> 1 = 0 + 1
00 => ([(0,2),(2,1)],3)
=> 1 = 0 + 1
01 => ([(0,1),(0,2),(1,3),(2,3)],4)
=> 1 = 0 + 1
10 => ([(0,1),(0,2),(1,3),(2,3)],4)
=> 1 = 0 + 1
11 => ([(0,2),(2,1)],3)
=> 1 = 0 + 1
000 => ([(0,3),(2,1),(3,2)],4)
=> 1 = 0 + 1
001 => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
=> 1 = 0 + 1
010 => ([(0,1),(0,2),(1,4),(1,5),(2,4),(2,5),(4,3),(5,3)],6)
=> 1 = 0 + 1
011 => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
=> 1 = 0 + 1
100 => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
=> 1 = 0 + 1
101 => ([(0,1),(0,2),(1,4),(1,5),(2,4),(2,5),(4,3),(5,3)],6)
=> 1 = 0 + 1
110 => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
=> 1 = 0 + 1
111 => ([(0,3),(2,1),(3,2)],4)
=> 1 = 0 + 1
0000 => ([(0,4),(2,3),(3,1),(4,2)],5)
=> 1 = 0 + 1
0001 => ([(0,2),(0,4),(1,6),(2,5),(3,1),(3,7),(4,3),(4,5),(5,7),(7,6)],8)
=> ? = 0 + 1
0010 => ([(0,2),(0,3),(1,6),(2,7),(2,8),(3,1),(3,7),(3,8),(5,4),(6,4),(7,5),(8,5),(8,6)],9)
=> ? = 0 + 1
0011 => ([(0,3),(0,4),(1,7),(2,6),(3,2),(3,5),(4,1),(4,5),(5,6),(5,7),(6,8),(7,8)],9)
=> ? = 0 + 1
0100 => ([(0,2),(0,3),(1,6),(2,7),(2,8),(3,1),(3,7),(3,8),(5,4),(6,4),(7,5),(8,5),(8,6)],9)
=> ? = 0 + 1
0101 => ([(0,1),(0,2),(1,6),(1,7),(2,6),(2,7),(4,3),(5,3),(6,4),(6,5),(7,4),(7,5)],8)
=> ? = 1 + 1
0110 => ([(0,2),(0,3),(1,5),(1,6),(2,7),(2,8),(3,1),(3,7),(3,8),(5,4),(6,4),(7,6),(8,5)],9)
=> ? = 0 + 1
0111 => ([(0,2),(0,4),(1,6),(2,5),(3,1),(3,7),(4,3),(4,5),(5,7),(7,6)],8)
=> ? = 1 + 1
1000 => ([(0,2),(0,4),(1,6),(2,5),(3,1),(3,7),(4,3),(4,5),(5,7),(7,6)],8)
=> ? = 0 + 1
1001 => ([(0,2),(0,3),(1,5),(1,6),(2,7),(2,8),(3,1),(3,7),(3,8),(5,4),(6,4),(7,6),(8,5)],9)
=> ? = 0 + 1
1010 => ([(0,1),(0,2),(1,6),(1,7),(2,6),(2,7),(4,3),(5,3),(6,4),(6,5),(7,4),(7,5)],8)
=> ? = 0 + 1
1011 => ([(0,2),(0,3),(1,6),(2,7),(2,8),(3,1),(3,7),(3,8),(5,4),(6,4),(7,5),(8,5),(8,6)],9)
=> ? = 0 + 1
1100 => ([(0,3),(0,4),(1,7),(2,6),(3,2),(3,5),(4,1),(4,5),(5,6),(5,7),(6,8),(7,8)],9)
=> ? = 0 + 1
1101 => ([(0,2),(0,3),(1,6),(2,7),(2,8),(3,1),(3,7),(3,8),(5,4),(6,4),(7,5),(8,5),(8,6)],9)
=> ? = 0 + 1
1110 => ([(0,2),(0,4),(1,6),(2,5),(3,1),(3,7),(4,3),(4,5),(5,7),(7,6)],8)
=> ? = 0 + 1
1111 => ([(0,4),(2,3),(3,1),(4,2)],5)
=> 1 = 0 + 1
=> ?
=> ? = 0 + 1
Description
The sum of the values of the Möbius function of a poset. The Möbius function $\mu$ of a finite poset is defined as $$\mu (x,y)=\begin{cases} 1& \text{if }x = y\\ -\sum _{z: x\leq z < y}\mu (x,z)& \text{for }x < y\\ 0&\text{otherwise}. \end{cases} $$ Since $\mu(x,y)=0$ whenever $x\not\leq y$, this statistic is $$ \sum_{x\leq y} \mu(x,y). $$ If the poset has a minimal or a maximal element, then the definition implies immediately that the statistic equals $1$. Moreover, the statistic equals the sum of the statistics of the connected components. This statistic is also called the magnitude of a poset.
Mp00262: Binary words poset of factorsPosets
St001532: Posets ⟶ ℤResult quality: 50% values known / values provided: 52%distinct values known / distinct values provided: 50%
Values
0 => ([(0,1)],2)
=> 1 = 0 + 1
1 => ([(0,1)],2)
=> 1 = 0 + 1
00 => ([(0,2),(2,1)],3)
=> 1 = 0 + 1
01 => ([(0,1),(0,2),(1,3),(2,3)],4)
=> 1 = 0 + 1
10 => ([(0,1),(0,2),(1,3),(2,3)],4)
=> 1 = 0 + 1
11 => ([(0,2),(2,1)],3)
=> 1 = 0 + 1
000 => ([(0,3),(2,1),(3,2)],4)
=> 1 = 0 + 1
001 => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
=> 1 = 0 + 1
010 => ([(0,1),(0,2),(1,4),(1,5),(2,4),(2,5),(4,3),(5,3)],6)
=> 1 = 0 + 1
011 => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
=> 1 = 0 + 1
100 => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
=> 1 = 0 + 1
101 => ([(0,1),(0,2),(1,4),(1,5),(2,4),(2,5),(4,3),(5,3)],6)
=> 1 = 0 + 1
110 => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
=> 1 = 0 + 1
111 => ([(0,3),(2,1),(3,2)],4)
=> 1 = 0 + 1
0000 => ([(0,4),(2,3),(3,1),(4,2)],5)
=> 1 = 0 + 1
0001 => ([(0,2),(0,4),(1,6),(2,5),(3,1),(3,7),(4,3),(4,5),(5,7),(7,6)],8)
=> ? = 0 + 1
0010 => ([(0,2),(0,3),(1,6),(2,7),(2,8),(3,1),(3,7),(3,8),(5,4),(6,4),(7,5),(8,5),(8,6)],9)
=> ? = 0 + 1
0011 => ([(0,3),(0,4),(1,7),(2,6),(3,2),(3,5),(4,1),(4,5),(5,6),(5,7),(6,8),(7,8)],9)
=> ? = 0 + 1
0100 => ([(0,2),(0,3),(1,6),(2,7),(2,8),(3,1),(3,7),(3,8),(5,4),(6,4),(7,5),(8,5),(8,6)],9)
=> ? = 0 + 1
0101 => ([(0,1),(0,2),(1,6),(1,7),(2,6),(2,7),(4,3),(5,3),(6,4),(6,5),(7,4),(7,5)],8)
=> ? = 1 + 1
0110 => ([(0,2),(0,3),(1,5),(1,6),(2,7),(2,8),(3,1),(3,7),(3,8),(5,4),(6,4),(7,6),(8,5)],9)
=> ? = 0 + 1
0111 => ([(0,2),(0,4),(1,6),(2,5),(3,1),(3,7),(4,3),(4,5),(5,7),(7,6)],8)
=> ? = 1 + 1
1000 => ([(0,2),(0,4),(1,6),(2,5),(3,1),(3,7),(4,3),(4,5),(5,7),(7,6)],8)
=> ? = 0 + 1
1001 => ([(0,2),(0,3),(1,5),(1,6),(2,7),(2,8),(3,1),(3,7),(3,8),(5,4),(6,4),(7,6),(8,5)],9)
=> ? = 0 + 1
1010 => ([(0,1),(0,2),(1,6),(1,7),(2,6),(2,7),(4,3),(5,3),(6,4),(6,5),(7,4),(7,5)],8)
=> ? = 0 + 1
1011 => ([(0,2),(0,3),(1,6),(2,7),(2,8),(3,1),(3,7),(3,8),(5,4),(6,4),(7,5),(8,5),(8,6)],9)
=> ? = 0 + 1
1100 => ([(0,3),(0,4),(1,7),(2,6),(3,2),(3,5),(4,1),(4,5),(5,6),(5,7),(6,8),(7,8)],9)
=> ? = 0 + 1
1101 => ([(0,2),(0,3),(1,6),(2,7),(2,8),(3,1),(3,7),(3,8),(5,4),(6,4),(7,5),(8,5),(8,6)],9)
=> ? = 0 + 1
1110 => ([(0,2),(0,4),(1,6),(2,5),(3,1),(3,7),(4,3),(4,5),(5,7),(7,6)],8)
=> ? = 0 + 1
1111 => ([(0,4),(2,3),(3,1),(4,2)],5)
=> 1 = 0 + 1
=> ?
=> ? = 0 + 1
Description
The leading coefficient of the Poincare polynomial of the poset cone. For a poset $P$ on $\{1,\dots,n\}$, let $\mathcal K_P = \{\vec x\in\mathbb R^n| x_i < x_j \text{ for } i < _P j\}$. Furthermore let $\mathcal L(\mathcal A)$ be the intersection lattice of the braid arrangement $A_{n-1}$ and let $\mathcal L^{int} = \{ X \in \mathcal L(\mathcal A) | X \cap \mathcal K_P \neq \emptyset \}$. Then the Poincare polynomial of the poset cone is $Poin(t) = \sum_{X\in\mathcal L^{int}} |\mu(0, X)| t^{codim X}$. This statistic records its leading coefficient.
The following 175 statistics, ordered by result quality, also match your data. Click on any of them to see the details.
St001634The trace of the Coxeter matrix of the incidence algebra of a poset. St000095The number of triangles of a graph. St000096The number of spanning trees of a graph. St000261The edge connectivity of a graph. St000262The vertex connectivity of a graph. St000274The number of perfect matchings of a graph. St000276The size of the preimage of the map 'to graph' from Ordered trees to Graphs. St000283The size of the preimage of the map 'to graph' from Binary trees to Graphs. St000303The determinant of the product of the incidence matrix and its transpose of a graph divided by $4$. St000310The minimal degree of a vertex of a graph. St000315The number of isolated vertices of a graph. St000322The skewness of a graph. St000323The minimal crossing number of a graph. St000351The determinant of the adjacency matrix of a graph. St000368The Altshuler-Steinberg determinant of a graph. St000370The genus of a graph. St000379The number of Hamiltonian cycles in a graph. St000403The Szeged index minus the Wiener index of a graph. St000449The number of pairs of vertices of a graph with distance 4. St000637The length of the longest cycle in a graph. St000671The maximin edge-connectivity for choosing a subgraph. St000699The toughness times the least common multiple of 1,. St000948The chromatic discriminant of a graph. St001069The coefficient of the monomial xy of the Tutte polynomial of the graph. St001119The length of a shortest maximal path in a graph. St001271The competition number of a graph. St001281The normalized isoperimetric number of a graph. St001305The number of induced cycles on four vertices in a graph. St001307The number of induced stars on four vertices in a graph. St001309The number of four-cliques in a graph. St001310The number of induced diamond graphs in a graph. St001311The cyclomatic number of a graph. St001317The minimal number of occurrences of the forest-pattern in a linear ordering of the vertices of the graph. St001320The minimal number of occurrences of the path-pattern in a linear ordering of the vertices of the graph. St001323The independence gap of a graph. St001324The minimal number of occurrences of the chordal-pattern in a linear ordering of the vertices of the graph. St001325The minimal number of occurrences of the comparability-pattern in a linear ordering of the vertices of the graph. St001326The minimal number of occurrences of the interval-pattern in a linear ordering of the vertices of the graph. St001328The minimal number of occurrences of the bipartite-pattern in a linear ordering of the vertices of the graph. St001329The minimal number of occurrences of the outerplanar pattern in a linear ordering of the vertices of the graph. St001331The size of the minimal feedback vertex set. St001334The minimal number of occurrences of the 3-colorable pattern in a linear ordering of the vertices of the graph. St001335The cardinality of a minimal cycle-isolating set of a graph. St001336The minimal number of vertices in a graph whose complement is triangle-free. St001357The maximal degree of a regular spanning subgraph of a graph. St001367The smallest number which does not occur as degree of a vertex in a graph. St001395The number of strictly unfriendly partitions of a graph. St001572The minimal number of edges to remove to make a graph bipartite. St001573The minimal number of edges to remove to make a graph triangle-free. St001578The minimal number of edges to add or remove to make a graph a line graph. St001638The book thickness of a graph. St001689The number of celebrities in a graph. St001690The length of a longest path in a graph such that after removing the paths edges, every vertex of the path has distance two from some other vertex of the path. St001702The absolute value of the determinant of the adjacency matrix of a graph. St001736The total number of cycles in a graph. St001793The difference between the clique number and the chromatic number of a graph. St001794Half the number of sets of vertices in a graph which are dominating and non-blocking. St001795The binary logarithm of the evaluation of the Tutte polynomial of the graph at (x,y) equal to (-1,-1). St001796The absolute value of the quotient of the Tutte polynomial of the graph at (1,1) and (-1,-1). St001797The number of overfull subgraphs of a graph. St001871The number of triconnected components of a graph. St000266The number of spanning subgraphs of a graph with the same connected components. St000267The number of maximal spanning forests contained in a graph. St000286The number of connected components of the complement of a graph. St000287The number of connected components of a graph. St000773The multiplicity of the largest Laplacian eigenvalue in a graph. St000775The multiplicity of the largest eigenvalue in a graph. St000785The number of distinct colouring schemes of a graph. St001272The number of graphs with the same degree sequence. St001316The domatic number of a graph. St001333The cardinality of a minimal edge-isolating set of a graph. St001475The evaluation of the Tutte polynomial of the graph at (x,y) equal to (1,0). St001476The evaluation of the Tutte polynomial of the graph at (x,y) equal to (1,-1). St001496The number of graphs with the same Laplacian spectrum as the given graph. St001518The number of graphs with the same ordinary spectrum as the given graph. St001546The number of monomials in the Tutte polynomial of a graph. St000636The hull number of a graph. St001029The size of the core of a graph. St001109The number of proper colourings of a graph with as few colours as possible. St001654The monophonic hull number of a graph. St000447The number of pairs of vertices of a graph with distance 3. St000552The number of cut vertices of a graph. St001057The Grundy value of the game of creating an independent set in a graph. St001691The number of kings in a graph. St001877Number of indecomposable injective modules with projective dimension 2. St000260The radius of a connected graph. St000273The domination number of a graph. St000544The cop number of a graph. St000553The number of blocks of a graph. St000916The packing number of a graph. St001322The size of a minimal independent dominating set in a graph. St001339The irredundance number of a graph. St001340The cardinality of a minimal non-edge isolating set of a graph. St001354The number of series nodes in the modular decomposition of a graph. St001363The Euler characteristic of a graph according to Knill. St001393The induced matching number of a graph. St001739The number of graphs with the same edge polytope as the given graph. St001740The number of graphs with the same symmetric edge polytope as the given graph. St001765The number of connected components of the friends and strangers graph. St001776The degree of the minimal polynomial of the largest Laplacian eigenvalue of a graph. St001829The common independence number of a graph. St001878The projective dimension of the simple modules corresponding to the minimum of L in the incidence algebra of the lattice L. St001934The number of monotone factorisations of genus zero of a permutation of given cycle type. St000258The burning number of a graph. St000786The maximal number of occurrences of a colour in a proper colouring of a graph. St000917The open packing number of a graph. St000918The 2-limited packing number of a graph. St001261The Castelnuovo-Mumford regularity of a graph. St001337The upper domination number of a graph. St001338The upper irredundance number of a graph. St000264The girth of a graph, which is not a tree. St001371The length of the longest Yamanouchi prefix of a binary word. St001730The number of times the path corresponding to a binary word crosses the base line. 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)$. St001570The minimal number of edges to add to make a graph Hamiltonian. St001195The global dimension of the algebra $A/AfA$ of the corresponding Nakayama algebra $A$ with minimal left faithful projective-injective module $Af$. St001677The number of non-degenerate subsets of a lattice whose meet is the bottom element. St001845The number of join irreducibles minus the rank of a lattice. St000741The Colin de Verdière graph invariant. St001613The binary logarithm of the size of the center of a lattice. St001681The number of inclusion-wise minimal subsets of a lattice, whose meet is the bottom element. St001719The number of shortest chains of small intervals from the bottom to the top in a lattice. St001881The number of factors of a lattice as a Cartesian product of lattices. St001964The interval resolution global dimension of a poset. St000181The number of connected components of the Hasse diagram for the poset. St001890The maximum magnitude of the Möbius function of a poset. St001625The Möbius invariant of a lattice. St000175Degree of the polynomial counting the number of semistandard Young tableaux when stretching the shape. St000205Number of non-integral Gelfand-Tsetlin polytopes with prescribed top row and partition weight. St000206Number of non-integral Gelfand-Tsetlin polytopes with prescribed top row and integer composition weight. St000225Difference between largest and smallest parts in a partition. St000749The smallest integer d such that the restriction of the representation corresponding to a partition of n to the symmetric group on n-d letters has a constituent of odd degree. St000944The 3-degree of an integer partition. St001175The size of a partition minus the hook length of the base cell. St001178Twelve times the variance of the major index among all standard Young tableaux of a partition. St001586The number of odd parts smaller than the largest even part in an integer partition. St001912The length of the preperiod in Bulgarian solitaire corresponding to an integer partition. St000618The number of self-evacuating tableaux of given shape. St000772The multiplicity of the largest distance Laplacian eigenvalue in a connected graph. St000781The number of proper colouring schemes of a Ferrers diagram. St001364The number of permutations whose cube equals a fixed permutation of given cycle type. St001432The order dimension of the partition. St001599The multiplicity of the irreducible representation corresponding to a partition in the relabelling action on rooted trees. St001609The number of coloured trees such that the multiplicities of colours are given by a partition. St001627The number of coloured connected graphs such that the multiplicities of colours are given by a partition. St001763The Hurwitz number of an integer partition. St001780The order of promotion on the set of standard tableaux of given shape. St001899The total number of irreducible representations contained in the higher Lie character for an integer partition. St001900The number of distinct irreducible representations contained in the higher Lie character for an integer partition. St001901The largest multiplicity of an irreducible representation contained in the higher Lie character for an integer partition. St001908The number of semistandard tableaux of distinct weight whose maximal entry is the length of the partition. St001913The number of preimages of an integer partition in Bulgarian solitaire. St001924The number of cells in an integer partition whose arm and leg length coincide. St001936The number of transitive factorisations of a permutation of given cycle type into star transpositions. St001938The number of transitive monotone factorizations of genus zero of a permutation of given cycle type. St001060The distinguishing index of a graph. St000782The indicator function of whether a given perfect matching is an L & P matching. St000455The second largest eigenvalue of a graph if it is integral. St000512The number of invariant subsets of size 3 when acting with a permutation of given cycle type. St000936The number of even values of the symmetric group character corresponding to the partition. St000938The number of zeros of the symmetric group character corresponding to the partition. St000940The number of characters of the symmetric group whose value on the partition is zero. St000941The number of characters of the symmetric group whose value on the partition is even. St001124The multiplicity of the standard representation in the Kronecker square corresponding to a partition. St001651The Frankl number of a lattice. St000284The Plancherel distribution on integer partitions. St000510The number of invariant oriented cycles when acting with a permutation of given cycle type. St000681The Grundy value of Chomp on Ferrers diagrams. St000698The number of 2-rim hooks removed from an integer partition to obtain its associated 2-core. St000704The number of semistandard tableaux on a given integer partition with minimal maximal entry. St000901The cube of the number of standard Young tableaux with shape given by the partition. St001123The multiplicity of the dual of the standard representation in the Kronecker square corresponding to a partition. St001128The exponens consonantiae of a partition. St000514The number of invariant simple graphs when acting with a permutation of given cycle type. St000515The number of invariant set partitions when acting with a permutation of given cycle type.