Identifier
-
Mp00224:
Binary words
—runsort⟶
Binary words
Mp00262: Binary words —poset of factors⟶ Posets
St000071: Posets ⟶ ℤ
Values
0 => 0 => ([(0,1)],2) => 1
1 => 1 => ([(0,1)],2) => 1
00 => 00 => ([(0,2),(2,1)],3) => 1
01 => 01 => ([(0,1),(0,2),(1,3),(2,3)],4) => 2
10 => 01 => ([(0,1),(0,2),(1,3),(2,3)],4) => 2
11 => 11 => ([(0,2),(2,1)],3) => 1
000 => 000 => ([(0,3),(2,1),(3,2)],4) => 1
001 => 001 => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6) => 3
010 => 001 => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6) => 3
011 => 011 => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6) => 3
100 => 001 => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6) => 3
101 => 011 => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6) => 3
110 => 011 => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6) => 3
111 => 111 => ([(0,3),(2,1),(3,2)],4) => 1
0000 => 0000 => ([(0,4),(2,3),(3,1),(4,2)],5) => 1
0001 => 0001 => ([(0,2),(0,4),(1,6),(2,5),(3,1),(3,7),(4,3),(4,5),(5,7),(7,6)],8) => 4
0010 => 0001 => ([(0,2),(0,4),(1,6),(2,5),(3,1),(3,7),(4,3),(4,5),(5,7),(7,6)],8) => 4
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) => 6
0100 => 0001 => ([(0,2),(0,4),(1,6),(2,5),(3,1),(3,7),(4,3),(4,5),(5,7),(7,6)],8) => 4
0110 => 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) => 6
0111 => 0111 => ([(0,2),(0,4),(1,6),(2,5),(3,1),(3,7),(4,3),(4,5),(5,7),(7,6)],8) => 4
1000 => 0001 => ([(0,2),(0,4),(1,6),(2,5),(3,1),(3,7),(4,3),(4,5),(5,7),(7,6)],8) => 4
1001 => 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) => 6
1010 => 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) => 6
1011 => 0111 => ([(0,2),(0,4),(1,6),(2,5),(3,1),(3,7),(4,3),(4,5),(5,7),(7,6)],8) => 4
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) => 6
1101 => 0111 => ([(0,2),(0,4),(1,6),(2,5),(3,1),(3,7),(4,3),(4,5),(5,7),(7,6)],8) => 4
1110 => 0111 => ([(0,2),(0,4),(1,6),(2,5),(3,1),(3,7),(4,3),(4,5),(5,7),(7,6)],8) => 4
1111 => 1111 => ([(0,4),(2,3),(3,1),(4,2)],5) => 1
00000 => 00000 => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => 1
00001 => 00001 => ([(0,2),(0,5),(1,7),(2,6),(3,4),(3,9),(4,1),(4,8),(5,3),(5,6),(6,9),(8,7),(9,8)],10) => 5
00010 => 00001 => ([(0,2),(0,5),(1,7),(2,6),(3,4),(3,9),(4,1),(4,8),(5,3),(5,6),(6,9),(8,7),(9,8)],10) => 5
00011 => 00011 => ([(0,4),(0,5),(1,9),(2,3),(2,11),(3,8),(4,1),(4,10),(5,2),(5,10),(7,6),(8,6),(9,7),(10,9),(10,11),(11,7),(11,8)],12) => 10
00100 => 00001 => ([(0,2),(0,5),(1,7),(2,6),(3,4),(3,9),(4,1),(4,8),(5,3),(5,6),(6,9),(8,7),(9,8)],10) => 5
00110 => 00011 => ([(0,4),(0,5),(1,9),(2,3),(2,11),(3,8),(4,1),(4,10),(5,2),(5,10),(7,6),(8,6),(9,7),(10,9),(10,11),(11,7),(11,8)],12) => 10
00111 => 00111 => ([(0,4),(0,5),(1,9),(2,3),(2,11),(3,8),(4,1),(4,10),(5,2),(5,10),(7,6),(8,6),(9,7),(10,9),(10,11),(11,7),(11,8)],12) => 10
01000 => 00001 => ([(0,2),(0,5),(1,7),(2,6),(3,4),(3,9),(4,1),(4,8),(5,3),(5,6),(6,9),(8,7),(9,8)],10) => 5
01100 => 00011 => ([(0,4),(0,5),(1,9),(2,3),(2,11),(3,8),(4,1),(4,10),(5,2),(5,10),(7,6),(8,6),(9,7),(10,9),(10,11),(11,7),(11,8)],12) => 10
01110 => 00111 => ([(0,4),(0,5),(1,9),(2,3),(2,11),(3,8),(4,1),(4,10),(5,2),(5,10),(7,6),(8,6),(9,7),(10,9),(10,11),(11,7),(11,8)],12) => 10
01111 => 01111 => ([(0,2),(0,5),(1,7),(2,6),(3,4),(3,9),(4,1),(4,8),(5,3),(5,6),(6,9),(8,7),(9,8)],10) => 5
10000 => 00001 => ([(0,2),(0,5),(1,7),(2,6),(3,4),(3,9),(4,1),(4,8),(5,3),(5,6),(6,9),(8,7),(9,8)],10) => 5
10001 => 00011 => ([(0,4),(0,5),(1,9),(2,3),(2,11),(3,8),(4,1),(4,10),(5,2),(5,10),(7,6),(8,6),(9,7),(10,9),(10,11),(11,7),(11,8)],12) => 10
10010 => 00011 => ([(0,4),(0,5),(1,9),(2,3),(2,11),(3,8),(4,1),(4,10),(5,2),(5,10),(7,6),(8,6),(9,7),(10,9),(10,11),(11,7),(11,8)],12) => 10
10011 => 00111 => ([(0,4),(0,5),(1,9),(2,3),(2,11),(3,8),(4,1),(4,10),(5,2),(5,10),(7,6),(8,6),(9,7),(10,9),(10,11),(11,7),(11,8)],12) => 10
10100 => 00011 => ([(0,4),(0,5),(1,9),(2,3),(2,11),(3,8),(4,1),(4,10),(5,2),(5,10),(7,6),(8,6),(9,7),(10,9),(10,11),(11,7),(11,8)],12) => 10
10110 => 00111 => ([(0,4),(0,5),(1,9),(2,3),(2,11),(3,8),(4,1),(4,10),(5,2),(5,10),(7,6),(8,6),(9,7),(10,9),(10,11),(11,7),(11,8)],12) => 10
10111 => 01111 => ([(0,2),(0,5),(1,7),(2,6),(3,4),(3,9),(4,1),(4,8),(5,3),(5,6),(6,9),(8,7),(9,8)],10) => 5
11000 => 00011 => ([(0,4),(0,5),(1,9),(2,3),(2,11),(3,8),(4,1),(4,10),(5,2),(5,10),(7,6),(8,6),(9,7),(10,9),(10,11),(11,7),(11,8)],12) => 10
11001 => 00111 => ([(0,4),(0,5),(1,9),(2,3),(2,11),(3,8),(4,1),(4,10),(5,2),(5,10),(7,6),(8,6),(9,7),(10,9),(10,11),(11,7),(11,8)],12) => 10
11010 => 00111 => ([(0,4),(0,5),(1,9),(2,3),(2,11),(3,8),(4,1),(4,10),(5,2),(5,10),(7,6),(8,6),(9,7),(10,9),(10,11),(11,7),(11,8)],12) => 10
11011 => 01111 => ([(0,2),(0,5),(1,7),(2,6),(3,4),(3,9),(4,1),(4,8),(5,3),(5,6),(6,9),(8,7),(9,8)],10) => 5
11100 => 00111 => ([(0,4),(0,5),(1,9),(2,3),(2,11),(3,8),(4,1),(4,10),(5,2),(5,10),(7,6),(8,6),(9,7),(10,9),(10,11),(11,7),(11,8)],12) => 10
11101 => 01111 => ([(0,2),(0,5),(1,7),(2,6),(3,4),(3,9),(4,1),(4,8),(5,3),(5,6),(6,9),(8,7),(9,8)],10) => 5
11110 => 01111 => ([(0,2),(0,5),(1,7),(2,6),(3,4),(3,9),(4,1),(4,8),(5,3),(5,6),(6,9),(8,7),(9,8)],10) => 5
11111 => 11111 => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => 1
000000 => 000000 => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => 1
000001 => 000001 => ([(0,2),(0,6),(1,8),(2,7),(3,5),(3,9),(4,3),(4,11),(5,1),(5,10),(6,4),(6,7),(7,11),(9,10),(10,8),(11,9)],12) => 6
000010 => 000001 => ([(0,2),(0,6),(1,8),(2,7),(3,5),(3,9),(4,3),(4,11),(5,1),(5,10),(6,4),(6,7),(7,11),(9,10),(10,8),(11,9)],12) => 6
000011 => 000011 => ([(0,5),(0,6),(1,4),(1,14),(2,11),(3,10),(4,3),(4,12),(5,1),(5,13),(6,2),(6,13),(8,9),(9,7),(10,7),(11,8),(12,9),(12,10),(13,11),(13,14),(14,8),(14,12)],15) => 15
000100 => 000001 => ([(0,2),(0,6),(1,8),(2,7),(3,5),(3,9),(4,3),(4,11),(5,1),(5,10),(6,4),(6,7),(7,11),(9,10),(10,8),(11,9)],12) => 6
000110 => 000011 => ([(0,5),(0,6),(1,4),(1,14),(2,11),(3,10),(4,3),(4,12),(5,1),(5,13),(6,2),(6,13),(8,9),(9,7),(10,7),(11,8),(12,9),(12,10),(13,11),(13,14),(14,8),(14,12)],15) => 15
000111 => 000111 => ([(0,5),(0,6),(1,4),(1,15),(2,3),(2,14),(3,8),(4,9),(5,2),(5,13),(6,1),(6,13),(8,10),(9,11),(10,7),(11,7),(12,10),(12,11),(13,14),(13,15),(14,8),(14,12),(15,9),(15,12)],16) => 20
001000 => 000001 => ([(0,2),(0,6),(1,8),(2,7),(3,5),(3,9),(4,3),(4,11),(5,1),(5,10),(6,4),(6,7),(7,11),(9,10),(10,8),(11,9)],12) => 6
001100 => 000011 => ([(0,5),(0,6),(1,4),(1,14),(2,11),(3,10),(4,3),(4,12),(5,1),(5,13),(6,2),(6,13),(8,9),(9,7),(10,7),(11,8),(12,9),(12,10),(13,11),(13,14),(14,8),(14,12)],15) => 15
001110 => 000111 => ([(0,5),(0,6),(1,4),(1,15),(2,3),(2,14),(3,8),(4,9),(5,2),(5,13),(6,1),(6,13),(8,10),(9,11),(10,7),(11,7),(12,10),(12,11),(13,14),(13,15),(14,8),(14,12),(15,9),(15,12)],16) => 20
001111 => 001111 => ([(0,5),(0,6),(1,4),(1,14),(2,11),(3,10),(4,3),(4,12),(5,1),(5,13),(6,2),(6,13),(8,9),(9,7),(10,7),(11,8),(12,9),(12,10),(13,11),(13,14),(14,8),(14,12)],15) => 15
010000 => 000001 => ([(0,2),(0,6),(1,8),(2,7),(3,5),(3,9),(4,3),(4,11),(5,1),(5,10),(6,4),(6,7),(7,11),(9,10),(10,8),(11,9)],12) => 6
011000 => 000011 => ([(0,5),(0,6),(1,4),(1,14),(2,11),(3,10),(4,3),(4,12),(5,1),(5,13),(6,2),(6,13),(8,9),(9,7),(10,7),(11,8),(12,9),(12,10),(13,11),(13,14),(14,8),(14,12)],15) => 15
011100 => 000111 => ([(0,5),(0,6),(1,4),(1,15),(2,3),(2,14),(3,8),(4,9),(5,2),(5,13),(6,1),(6,13),(8,10),(9,11),(10,7),(11,7),(12,10),(12,11),(13,14),(13,15),(14,8),(14,12),(15,9),(15,12)],16) => 20
011110 => 001111 => ([(0,5),(0,6),(1,4),(1,14),(2,11),(3,10),(4,3),(4,12),(5,1),(5,13),(6,2),(6,13),(8,9),(9,7),(10,7),(11,8),(12,9),(12,10),(13,11),(13,14),(14,8),(14,12)],15) => 15
011111 => 011111 => ([(0,2),(0,6),(1,8),(2,7),(3,5),(3,9),(4,3),(4,11),(5,1),(5,10),(6,4),(6,7),(7,11),(9,10),(10,8),(11,9)],12) => 6
100000 => 000001 => ([(0,2),(0,6),(1,8),(2,7),(3,5),(3,9),(4,3),(4,11),(5,1),(5,10),(6,4),(6,7),(7,11),(9,10),(10,8),(11,9)],12) => 6
100001 => 000011 => ([(0,5),(0,6),(1,4),(1,14),(2,11),(3,10),(4,3),(4,12),(5,1),(5,13),(6,2),(6,13),(8,9),(9,7),(10,7),(11,8),(12,9),(12,10),(13,11),(13,14),(14,8),(14,12)],15) => 15
100010 => 000011 => ([(0,5),(0,6),(1,4),(1,14),(2,11),(3,10),(4,3),(4,12),(5,1),(5,13),(6,2),(6,13),(8,9),(9,7),(10,7),(11,8),(12,9),(12,10),(13,11),(13,14),(14,8),(14,12)],15) => 15
100011 => 000111 => ([(0,5),(0,6),(1,4),(1,15),(2,3),(2,14),(3,8),(4,9),(5,2),(5,13),(6,1),(6,13),(8,10),(9,11),(10,7),(11,7),(12,10),(12,11),(13,14),(13,15),(14,8),(14,12),(15,9),(15,12)],16) => 20
100100 => 000011 => ([(0,5),(0,6),(1,4),(1,14),(2,11),(3,10),(4,3),(4,12),(5,1),(5,13),(6,2),(6,13),(8,9),(9,7),(10,7),(11,8),(12,9),(12,10),(13,11),(13,14),(14,8),(14,12)],15) => 15
100110 => 000111 => ([(0,5),(0,6),(1,4),(1,15),(2,3),(2,14),(3,8),(4,9),(5,2),(5,13),(6,1),(6,13),(8,10),(9,11),(10,7),(11,7),(12,10),(12,11),(13,14),(13,15),(14,8),(14,12),(15,9),(15,12)],16) => 20
100111 => 001111 => ([(0,5),(0,6),(1,4),(1,14),(2,11),(3,10),(4,3),(4,12),(5,1),(5,13),(6,2),(6,13),(8,9),(9,7),(10,7),(11,8),(12,9),(12,10),(13,11),(13,14),(14,8),(14,12)],15) => 15
101000 => 000011 => ([(0,5),(0,6),(1,4),(1,14),(2,11),(3,10),(4,3),(4,12),(5,1),(5,13),(6,2),(6,13),(8,9),(9,7),(10,7),(11,8),(12,9),(12,10),(13,11),(13,14),(14,8),(14,12)],15) => 15
101100 => 000111 => ([(0,5),(0,6),(1,4),(1,15),(2,3),(2,14),(3,8),(4,9),(5,2),(5,13),(6,1),(6,13),(8,10),(9,11),(10,7),(11,7),(12,10),(12,11),(13,14),(13,15),(14,8),(14,12),(15,9),(15,12)],16) => 20
101110 => 001111 => ([(0,5),(0,6),(1,4),(1,14),(2,11),(3,10),(4,3),(4,12),(5,1),(5,13),(6,2),(6,13),(8,9),(9,7),(10,7),(11,8),(12,9),(12,10),(13,11),(13,14),(14,8),(14,12)],15) => 15
101111 => 011111 => ([(0,2),(0,6),(1,8),(2,7),(3,5),(3,9),(4,3),(4,11),(5,1),(5,10),(6,4),(6,7),(7,11),(9,10),(10,8),(11,9)],12) => 6
110000 => 000011 => ([(0,5),(0,6),(1,4),(1,14),(2,11),(3,10),(4,3),(4,12),(5,1),(5,13),(6,2),(6,13),(8,9),(9,7),(10,7),(11,8),(12,9),(12,10),(13,11),(13,14),(14,8),(14,12)],15) => 15
110001 => 000111 => ([(0,5),(0,6),(1,4),(1,15),(2,3),(2,14),(3,8),(4,9),(5,2),(5,13),(6,1),(6,13),(8,10),(9,11),(10,7),(11,7),(12,10),(12,11),(13,14),(13,15),(14,8),(14,12),(15,9),(15,12)],16) => 20
110010 => 000111 => ([(0,5),(0,6),(1,4),(1,15),(2,3),(2,14),(3,8),(4,9),(5,2),(5,13),(6,1),(6,13),(8,10),(9,11),(10,7),(11,7),(12,10),(12,11),(13,14),(13,15),(14,8),(14,12),(15,9),(15,12)],16) => 20
110011 => 001111 => ([(0,5),(0,6),(1,4),(1,14),(2,11),(3,10),(4,3),(4,12),(5,1),(5,13),(6,2),(6,13),(8,9),(9,7),(10,7),(11,8),(12,9),(12,10),(13,11),(13,14),(14,8),(14,12)],15) => 15
110100 => 000111 => ([(0,5),(0,6),(1,4),(1,15),(2,3),(2,14),(3,8),(4,9),(5,2),(5,13),(6,1),(6,13),(8,10),(9,11),(10,7),(11,7),(12,10),(12,11),(13,14),(13,15),(14,8),(14,12),(15,9),(15,12)],16) => 20
110110 => 001111 => ([(0,5),(0,6),(1,4),(1,14),(2,11),(3,10),(4,3),(4,12),(5,1),(5,13),(6,2),(6,13),(8,9),(9,7),(10,7),(11,8),(12,9),(12,10),(13,11),(13,14),(14,8),(14,12)],15) => 15
110111 => 011111 => ([(0,2),(0,6),(1,8),(2,7),(3,5),(3,9),(4,3),(4,11),(5,1),(5,10),(6,4),(6,7),(7,11),(9,10),(10,8),(11,9)],12) => 6
111000 => 000111 => ([(0,5),(0,6),(1,4),(1,15),(2,3),(2,14),(3,8),(4,9),(5,2),(5,13),(6,1),(6,13),(8,10),(9,11),(10,7),(11,7),(12,10),(12,11),(13,14),(13,15),(14,8),(14,12),(15,9),(15,12)],16) => 20
111001 => 001111 => ([(0,5),(0,6),(1,4),(1,14),(2,11),(3,10),(4,3),(4,12),(5,1),(5,13),(6,2),(6,13),(8,9),(9,7),(10,7),(11,8),(12,9),(12,10),(13,11),(13,14),(14,8),(14,12)],15) => 15
111010 => 001111 => ([(0,5),(0,6),(1,4),(1,14),(2,11),(3,10),(4,3),(4,12),(5,1),(5,13),(6,2),(6,13),(8,9),(9,7),(10,7),(11,8),(12,9),(12,10),(13,11),(13,14),(14,8),(14,12)],15) => 15
111011 => 011111 => ([(0,2),(0,6),(1,8),(2,7),(3,5),(3,9),(4,3),(4,11),(5,1),(5,10),(6,4),(6,7),(7,11),(9,10),(10,8),(11,9)],12) => 6
111100 => 001111 => ([(0,5),(0,6),(1,4),(1,14),(2,11),(3,10),(4,3),(4,12),(5,1),(5,13),(6,2),(6,13),(8,9),(9,7),(10,7),(11,8),(12,9),(12,10),(13,11),(13,14),(14,8),(14,12)],15) => 15
111101 => 011111 => ([(0,2),(0,6),(1,8),(2,7),(3,5),(3,9),(4,3),(4,11),(5,1),(5,10),(6,4),(6,7),(7,11),(9,10),(10,8),(11,9)],12) => 6
111110 => 011111 => ([(0,2),(0,6),(1,8),(2,7),(3,5),(3,9),(4,3),(4,11),(5,1),(5,10),(6,4),(6,7),(7,11),(9,10),(10,8),(11,9)],12) => 6
111111 => 111111 => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => 1
0000000 => 0000000 => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => 1
1111111 => 1111111 => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => 1
00000000 => 00000000 => ([(0,8),(2,3),(3,5),(4,2),(5,7),(6,4),(7,1),(8,6)],9) => 1
11111111 => 11111111 => ([(0,8),(2,3),(3,5),(4,2),(5,7),(6,4),(7,1),(8,6)],9) => 1
>>> Load all 103 entries. <<<
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
Description
The number of maximal chains in a poset.
Map
runsort
Description
The word obtained by sorting the weakly increasing runs lexicographically.
Map
poset of factors
Description
The poset of factors of a binary word.
This is the partial order on the set of distinct factors of a binary word, such that $u < v$ if and only if $u$ is a factor of $v$.
This is the partial order on the set of distinct factors of a binary word, such that $u < v$ if and only if $u$ is a factor of $v$.
searching the database
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!