Your data matches 8 different statistics following compositions of up to 3 maps.
(click to perform a complete search on your data)
Mp00031: Dyck paths to 312-avoiding permutationPermutations
St001388: Permutations ⟶ ℤResult quality: 100% values known / values provided: 100%distinct values known / distinct values provided: 100%
Values
[1,0,1,0]
=> [1,2] => 0
[1,1,0,0]
=> [2,1] => 0
[1,0,1,0,1,0]
=> [1,2,3] => 0
[1,0,1,1,0,0]
=> [1,3,2] => 1
[1,1,0,0,1,0]
=> [2,1,3] => 1
[1,1,0,1,0,0]
=> [2,3,1] => 1
[1,1,1,0,0,0]
=> [3,2,1] => 0
[1,0,1,0,1,0,1,0]
=> [1,2,3,4] => 0
[1,0,1,0,1,1,0,0]
=> [1,2,4,3] => 1
[1,0,1,1,0,0,1,0]
=> [1,3,2,4] => 2
[1,0,1,1,0,1,0,0]
=> [1,3,4,2] => 2
[1,0,1,1,1,0,0,0]
=> [1,4,3,2] => 1
[1,1,0,0,1,0,1,0]
=> [2,1,3,4] => 1
[1,1,0,0,1,1,0,0]
=> [2,1,4,3] => 1
[1,1,0,1,0,0,1,0]
=> [2,3,1,4] => 2
[1,1,0,1,0,1,0,0]
=> [2,3,4,1] => 1
[1,1,0,1,1,0,0,0]
=> [2,4,3,1] => 2
[1,1,1,0,0,0,1,0]
=> [3,2,1,4] => 1
[1,1,1,0,0,1,0,0]
=> [3,2,4,1] => 2
[1,1,1,0,1,0,0,0]
=> [3,4,2,1] => 1
[1,1,1,1,0,0,0,0]
=> [4,3,2,1] => 0
[1,0,1,0,1,0,1,0,1,0]
=> [1,2,3,4,5] => 0
[1,0,1,0,1,0,1,1,0,0]
=> [1,2,3,5,4] => 1
[1,0,1,0,1,1,0,0,1,0]
=> [1,2,4,3,5] => 2
[1,0,1,0,1,1,0,1,0,0]
=> [1,2,4,5,3] => 2
[1,0,1,0,1,1,1,0,0,0]
=> [1,2,5,4,3] => 1
[1,0,1,1,0,0,1,0,1,0]
=> [1,3,2,4,5] => 2
[1,0,1,1,0,0,1,1,0,0]
=> [1,3,2,5,4] => 2
[1,0,1,1,0,1,0,0,1,0]
=> [1,3,4,2,5] => 3
[1,0,1,1,0,1,0,1,0,0]
=> [1,3,4,5,2] => 2
[1,0,1,1,0,1,1,0,0,0]
=> [1,3,5,4,2] => 3
[1,0,1,1,1,0,0,0,1,0]
=> [1,4,3,2,5] => 2
[1,0,1,1,1,0,0,1,0,0]
=> [1,4,3,5,2] => 3
[1,0,1,1,1,0,1,0,0,0]
=> [1,4,5,3,2] => 2
[1,0,1,1,1,1,0,0,0,0]
=> [1,5,4,3,2] => 1
[1,1,0,0,1,0,1,0,1,0]
=> [2,1,3,4,5] => 1
[1,1,0,0,1,0,1,1,0,0]
=> [2,1,3,5,4] => 2
[1,1,0,0,1,1,0,0,1,0]
=> [2,1,4,3,5] => 2
[1,1,0,0,1,1,0,1,0,0]
=> [2,1,4,5,3] => 2
[1,1,0,0,1,1,1,0,0,0]
=> [2,1,5,4,3] => 1
[1,1,0,1,0,0,1,0,1,0]
=> [2,3,1,4,5] => 2
[1,1,0,1,0,0,1,1,0,0]
=> [2,3,1,5,4] => 2
[1,1,0,1,0,1,0,0,1,0]
=> [2,3,4,1,5] => 2
[1,1,0,1,0,1,0,1,0,0]
=> [2,3,4,5,1] => 1
[1,1,0,1,0,1,1,0,0,0]
=> [2,3,5,4,1] => 2
[1,1,0,1,1,0,0,0,1,0]
=> [2,4,3,1,5] => 3
[1,1,0,1,1,0,0,1,0,0]
=> [2,4,3,5,1] => 3
[1,1,0,1,1,0,1,0,0,0]
=> [2,4,5,3,1] => 3
[1,1,0,1,1,1,0,0,0,0]
=> [2,5,4,3,1] => 2
[1,1,1,0,0,0,1,0,1,0]
=> [3,2,1,4,5] => 1
Description
The number of non-attacking neighbors of a permutation. For a permutation $\sigma$, the indices $i$ and $i+1$ are attacking if $|\sigma(i)-\sigma(i+1)| = 1$. Visually, this is, for $\sigma$ considered as a placement of kings on a chessboard, if the kings placed in columns $i$ and $i+1$ are non-attacking.
Mp00025: Dyck paths to 132-avoiding permutationPermutations
Mp00209: Permutations pattern posetPosets
St000845: Posets ⟶ ℤResult quality: 13% values known / values provided: 13%distinct values known / distinct values provided: 60%
Values
[1,0,1,0]
=> [2,1] => ([(0,1)],2)
=> 1 = 0 + 1
[1,1,0,0]
=> [1,2] => ([(0,1)],2)
=> 1 = 0 + 1
[1,0,1,0,1,0]
=> [3,2,1] => ([(0,2),(2,1)],3)
=> 1 = 0 + 1
[1,0,1,1,0,0]
=> [2,3,1] => ([(0,1),(0,2),(1,3),(2,3)],4)
=> 2 = 1 + 1
[1,1,0,0,1,0]
=> [3,1,2] => ([(0,1),(0,2),(1,3),(2,3)],4)
=> 2 = 1 + 1
[1,1,0,1,0,0]
=> [2,1,3] => ([(0,1),(0,2),(1,3),(2,3)],4)
=> 2 = 1 + 1
[1,1,1,0,0,0]
=> [1,2,3] => ([(0,2),(2,1)],3)
=> 1 = 0 + 1
[1,0,1,0,1,0,1,0]
=> [4,3,2,1] => ([(0,3),(2,1),(3,2)],4)
=> 1 = 0 + 1
[1,0,1,0,1,1,0,0]
=> [3,4,2,1] => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
=> 2 = 1 + 1
[1,0,1,1,0,0,1,0]
=> [4,2,3,1] => ([(0,1),(0,2),(0,3),(1,6),(2,4),(2,6),(3,4),(3,6),(4,5),(6,5)],7)
=> 3 = 2 + 1
[1,0,1,1,0,1,0,0]
=> [3,2,4,1] => ([(0,1),(0,2),(0,3),(1,6),(2,4),(2,6),(3,4),(3,6),(4,5),(6,5)],7)
=> 3 = 2 + 1
[1,0,1,1,1,0,0,0]
=> [2,3,4,1] => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
=> 2 = 1 + 1
[1,1,0,0,1,0,1,0]
=> [4,3,1,2] => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
=> 2 = 1 + 1
[1,1,0,0,1,1,0,0]
=> [3,4,1,2] => ([(0,1),(0,2),(1,4),(1,5),(2,4),(2,5),(4,3),(5,3)],6)
=> 2 = 1 + 1
[1,1,0,1,0,0,1,0]
=> [4,2,1,3] => ([(0,1),(0,2),(0,3),(1,6),(2,4),(2,6),(3,4),(3,6),(4,5),(6,5)],7)
=> 3 = 2 + 1
[1,1,0,1,0,1,0,0]
=> [3,2,1,4] => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
=> 2 = 1 + 1
[1,1,0,1,1,0,0,0]
=> [2,3,1,4] => ([(0,1),(0,2),(0,3),(1,6),(2,4),(2,6),(3,4),(3,6),(4,5),(6,5)],7)
=> 3 = 2 + 1
[1,1,1,0,0,0,1,0]
=> [4,1,2,3] => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
=> 2 = 1 + 1
[1,1,1,0,0,1,0,0]
=> [3,1,2,4] => ([(0,1),(0,2),(0,3),(1,6),(2,4),(2,6),(3,4),(3,6),(4,5),(6,5)],7)
=> 3 = 2 + 1
[1,1,1,0,1,0,0,0]
=> [2,1,3,4] => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
=> 2 = 1 + 1
[1,1,1,1,0,0,0,0]
=> [1,2,3,4] => ([(0,3),(2,1),(3,2)],4)
=> 1 = 0 + 1
[1,0,1,0,1,0,1,0,1,0]
=> [5,4,3,2,1] => ([(0,4),(2,3),(3,1),(4,2)],5)
=> 1 = 0 + 1
[1,0,1,0,1,0,1,1,0,0]
=> [4,5,3,2,1] => ([(0,2),(0,4),(1,6),(2,5),(3,1),(3,7),(4,3),(4,5),(5,7),(7,6)],8)
=> ? = 1 + 1
[1,0,1,0,1,1,0,0,1,0]
=> [5,3,4,2,1] => ([(0,2),(0,3),(0,4),(1,7),(1,9),(2,8),(3,5),(3,8),(4,1),(4,5),(4,8),(5,7),(5,9),(7,6),(8,9),(9,6)],10)
=> ? = 2 + 1
[1,0,1,0,1,1,0,1,0,0]
=> [4,3,5,2,1] => ([(0,2),(0,3),(0,4),(1,7),(1,9),(2,8),(3,5),(3,8),(4,1),(4,5),(4,8),(5,7),(5,9),(7,6),(8,9),(9,6)],10)
=> ? = 2 + 1
[1,0,1,0,1,1,1,0,0,0]
=> [3,4,5,2,1] => ([(0,3),(0,4),(1,7),(2,6),(3,2),(3,5),(4,1),(4,5),(5,6),(5,7),(6,8),(7,8)],9)
=> ? = 1 + 1
[1,0,1,1,0,0,1,0,1,0]
=> [5,4,2,3,1] => ([(0,2),(0,3),(0,4),(1,7),(1,9),(2,8),(3,5),(3,8),(4,1),(4,5),(4,8),(5,7),(5,9),(7,6),(8,9),(9,6)],10)
=> ? = 2 + 1
[1,0,1,1,0,0,1,1,0,0]
=> [4,5,2,3,1] => ([(0,1),(0,2),(0,3),(1,7),(1,8),(2,5),(2,8),(3,5),(3,7),(3,8),(5,9),(6,4),(7,6),(7,9),(8,6),(8,9),(9,4)],10)
=> ? = 2 + 1
[1,0,1,1,0,1,0,0,1,0]
=> [5,3,2,4,1] => ([(0,1),(0,2),(0,3),(0,4),(1,10),(2,6),(2,7),(2,10),(3,5),(3,7),(3,10),(4,5),(4,6),(4,10),(5,9),(5,11),(6,9),(6,11),(7,9),(7,11),(9,8),(10,11),(11,8)],12)
=> ? = 3 + 1
[1,0,1,1,0,1,0,1,0,0]
=> [4,3,2,5,1] => ([(0,2),(0,3),(0,4),(1,7),(1,9),(2,8),(3,5),(3,8),(4,1),(4,5),(4,8),(5,7),(5,9),(7,6),(8,9),(9,6)],10)
=> ? = 2 + 1
[1,0,1,1,0,1,1,0,0,0]
=> [3,4,2,5,1] => ([(0,1),(0,2),(0,3),(0,4),(1,6),(1,11),(2,5),(2,11),(3,5),(3,7),(3,11),(4,6),(4,7),(4,11),(5,9),(6,10),(7,9),(7,10),(9,8),(10,8),(11,9),(11,10)],12)
=> ? = 3 + 1
[1,0,1,1,1,0,0,0,1,0]
=> [5,2,3,4,1] => ([(0,2),(0,3),(0,4),(1,9),(2,5),(2,7),(3,5),(3,6),(4,1),(4,6),(4,7),(5,10),(6,9),(6,10),(7,9),(7,10),(9,8),(10,8)],11)
=> ? = 2 + 1
[1,0,1,1,1,0,0,1,0,0]
=> [4,2,3,5,1] => ([(0,1),(0,2),(0,3),(0,4),(1,5),(1,10),(2,8),(2,9),(2,10),(3,7),(3,9),(3,10),(4,5),(4,7),(4,8),(5,11),(7,11),(7,12),(8,11),(8,12),(9,12),(10,11),(10,12),(11,6),(12,6)],13)
=> ? = 3 + 1
[1,0,1,1,1,0,1,0,0,0]
=> [3,2,4,5,1] => ([(0,2),(0,3),(0,4),(1,9),(2,5),(2,7),(3,5),(3,6),(4,1),(4,6),(4,7),(5,10),(6,9),(6,10),(7,9),(7,10),(9,8),(10,8)],11)
=> ? = 2 + 1
[1,0,1,1,1,1,0,0,0,0]
=> [2,3,4,5,1] => ([(0,2),(0,4),(1,6),(2,5),(3,1),(3,7),(4,3),(4,5),(5,7),(7,6)],8)
=> ? = 1 + 1
[1,1,0,0,1,0,1,0,1,0]
=> [5,4,3,1,2] => ([(0,2),(0,4),(1,6),(2,5),(3,1),(3,7),(4,3),(4,5),(5,7),(7,6)],8)
=> ? = 1 + 1
[1,1,0,0,1,0,1,1,0,0]
=> [4,5,3,1,2] => ([(0,1),(0,2),(0,3),(1,7),(1,8),(2,5),(2,8),(3,5),(3,7),(5,9),(6,4),(7,6),(7,9),(8,6),(8,9),(9,4)],10)
=> ? = 2 + 1
[1,1,0,0,1,1,0,0,1,0]
=> [5,3,4,1,2] => ([(0,1),(0,2),(0,3),(1,7),(1,8),(2,5),(2,8),(3,5),(3,7),(3,8),(5,9),(6,4),(7,6),(7,9),(8,6),(8,9),(9,4)],10)
=> ? = 2 + 1
[1,1,0,0,1,1,0,1,0,0]
=> [4,3,5,1,2] => ([(0,2),(0,3),(0,4),(1,9),(1,10),(2,6),(2,7),(3,5),(3,6),(4,1),(4,5),(4,7),(5,10),(6,9),(6,10),(7,9),(7,10),(9,8),(10,8)],11)
=> ? = 2 + 1
[1,1,0,0,1,1,1,0,0,0]
=> [3,4,5,1,2] => ([(0,3),(0,4),(1,8),(2,7),(2,8),(3,1),(3,5),(4,2),(4,5),(5,7),(5,8),(7,6),(8,6)],9)
=> ? = 1 + 1
[1,1,0,1,0,0,1,0,1,0]
=> [5,4,2,1,3] => ([(0,2),(0,3),(0,4),(1,7),(1,9),(2,8),(3,5),(3,8),(4,1),(4,5),(4,8),(5,7),(5,9),(7,6),(8,9),(9,6)],10)
=> ? = 2 + 1
[1,1,0,1,0,0,1,1,0,0]
=> [4,5,2,1,3] => ([(0,2),(0,3),(0,4),(1,9),(1,10),(2,6),(2,7),(3,5),(3,6),(4,1),(4,5),(4,7),(5,10),(6,9),(6,10),(7,9),(7,10),(9,8),(10,8)],11)
=> ? = 2 + 1
[1,1,0,1,0,1,0,0,1,0]
=> [5,3,2,1,4] => ([(0,2),(0,3),(0,4),(1,7),(1,9),(2,8),(3,5),(3,8),(4,1),(4,5),(4,8),(5,7),(5,9),(7,6),(8,9),(9,6)],10)
=> ? = 2 + 1
[1,1,0,1,0,1,0,1,0,0]
=> [4,3,2,1,5] => ([(0,2),(0,4),(1,6),(2,5),(3,1),(3,7),(4,3),(4,5),(5,7),(7,6)],8)
=> ? = 1 + 1
[1,1,0,1,0,1,1,0,0,0]
=> [3,4,2,1,5] => ([(0,2),(0,3),(0,4),(1,9),(2,5),(2,7),(3,5),(3,6),(4,1),(4,6),(4,7),(5,10),(6,9),(6,10),(7,9),(7,10),(9,8),(10,8)],11)
=> ? = 2 + 1
[1,1,0,1,1,0,0,0,1,0]
=> [5,2,3,1,4] => ([(0,1),(0,2),(0,3),(0,4),(1,5),(1,10),(2,8),(2,9),(2,10),(3,7),(3,9),(3,10),(4,5),(4,7),(4,8),(5,11),(7,11),(7,12),(8,11),(8,12),(9,12),(10,11),(10,12),(11,6),(12,6)],13)
=> ? = 3 + 1
[1,1,0,1,1,0,0,1,0,0]
=> [4,2,3,1,5] => ([(0,1),(0,2),(0,3),(0,4),(1,5),(1,10),(2,8),(2,9),(2,10),(3,7),(3,9),(3,10),(4,5),(4,7),(4,8),(5,11),(7,11),(7,12),(8,11),(8,12),(9,12),(10,11),(10,12),(11,6),(12,6)],13)
=> ? = 3 + 1
[1,1,0,1,1,0,1,0,0,0]
=> [3,2,4,1,5] => ([(0,1),(0,2),(0,3),(0,4),(1,6),(1,11),(2,5),(2,11),(3,5),(3,7),(3,11),(4,6),(4,7),(4,11),(5,9),(6,10),(7,9),(7,10),(9,8),(10,8),(11,9),(11,10)],12)
=> ? = 3 + 1
[1,1,0,1,1,1,0,0,0,0]
=> [2,3,4,1,5] => ([(0,2),(0,3),(0,4),(1,7),(1,9),(2,8),(3,5),(3,8),(4,1),(4,5),(4,8),(5,7),(5,9),(7,6),(8,9),(9,6)],10)
=> ? = 2 + 1
[1,1,1,0,0,0,1,0,1,0]
=> [5,4,1,2,3] => ([(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 + 1
[1,1,1,0,0,0,1,1,0,0]
=> [4,5,1,2,3] => ([(0,3),(0,4),(1,8),(2,7),(2,8),(3,1),(3,5),(4,2),(4,5),(5,7),(5,8),(7,6),(8,6)],9)
=> ? = 1 + 1
[1,1,1,0,0,1,0,0,1,0]
=> [5,3,1,2,4] => ([(0,1),(0,2),(0,3),(0,4),(1,6),(1,11),(2,5),(2,11),(3,5),(3,7),(3,11),(4,6),(4,7),(4,11),(5,9),(6,10),(7,9),(7,10),(9,8),(10,8),(11,9),(11,10)],12)
=> ? = 3 + 1
[1,1,1,0,0,1,0,1,0,0]
=> [4,3,1,2,5] => ([(0,2),(0,3),(0,4),(1,9),(2,5),(2,7),(3,5),(3,6),(4,1),(4,6),(4,7),(5,10),(6,9),(6,10),(7,9),(7,10),(9,8),(10,8)],11)
=> ? = 2 + 1
[1,1,1,0,0,1,1,0,0,0]
=> [3,4,1,2,5] => ([(0,1),(0,2),(0,3),(1,5),(1,6),(2,6),(2,7),(2,8),(3,5),(3,7),(3,8),(5,9),(5,10),(6,9),(6,10),(7,10),(8,9),(8,10),(9,4),(10,4)],11)
=> ? = 2 + 1
[1,1,1,0,1,0,0,0,1,0]
=> [5,2,1,3,4] => ([(0,2),(0,3),(0,4),(1,9),(2,5),(2,7),(3,5),(3,6),(4,1),(4,6),(4,7),(5,10),(6,9),(6,10),(7,9),(7,10),(9,8),(10,8)],11)
=> ? = 2 + 1
[1,1,1,0,1,0,0,1,0,0]
=> [4,2,1,3,5] => ([(0,1),(0,2),(0,3),(0,4),(1,6),(1,11),(2,5),(2,11),(3,5),(3,7),(3,11),(4,6),(4,7),(4,11),(5,9),(6,10),(7,9),(7,10),(9,8),(10,8),(11,9),(11,10)],12)
=> ? = 3 + 1
[1,1,1,0,1,0,1,0,0,0]
=> [3,2,1,4,5] => ([(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 + 1
[1,1,1,0,1,1,0,0,0,0]
=> [2,3,1,4,5] => ([(0,2),(0,3),(0,4),(1,7),(1,9),(2,8),(3,5),(3,8),(4,1),(4,5),(4,8),(5,7),(5,9),(7,6),(8,9),(9,6)],10)
=> ? = 2 + 1
[1,1,1,1,0,0,0,0,1,0]
=> [5,1,2,3,4] => ([(0,2),(0,4),(1,6),(2,5),(3,1),(3,7),(4,3),(4,5),(5,7),(7,6)],8)
=> ? = 1 + 1
[1,1,1,1,0,0,0,1,0,0]
=> [4,1,2,3,5] => ([(0,2),(0,3),(0,4),(1,7),(1,9),(2,8),(3,5),(3,8),(4,1),(4,5),(4,8),(5,7),(5,9),(7,6),(8,9),(9,6)],10)
=> ? = 2 + 1
[1,1,1,1,0,0,1,0,0,0]
=> [3,1,2,4,5] => ([(0,2),(0,3),(0,4),(1,7),(1,9),(2,8),(3,5),(3,8),(4,1),(4,5),(4,8),(5,7),(5,9),(7,6),(8,9),(9,6)],10)
=> ? = 2 + 1
[1,1,1,1,0,1,0,0,0,0]
=> [2,1,3,4,5] => ([(0,2),(0,4),(1,6),(2,5),(3,1),(3,7),(4,3),(4,5),(5,7),(7,6)],8)
=> ? = 1 + 1
[1,1,1,1,1,0,0,0,0,0]
=> [1,2,3,4,5] => ([(0,4),(2,3),(3,1),(4,2)],5)
=> 1 = 0 + 1
[1,0,1,0,1,0,1,0,1,0,1,0]
=> [6,5,4,3,2,1] => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
=> 1 = 0 + 1
[1,0,1,0,1,0,1,0,1,1,0,0]
=> [5,6,4,3,2,1] => ([(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)
=> ? = 1 + 1
[1,0,1,0,1,0,1,1,0,0,1,0]
=> [6,4,5,3,2,1] => ([(0,2),(0,3),(0,5),(1,8),(1,12),(2,10),(3,6),(3,10),(4,1),(4,9),(4,11),(5,4),(5,6),(5,10),(6,9),(6,11),(8,7),(9,8),(9,12),(10,11),(11,12),(12,7)],13)
=> ? = 2 + 1
[1,0,1,0,1,0,1,1,0,1,0,0]
=> [5,4,6,3,2,1] => ([(0,2),(0,3),(0,5),(1,8),(1,12),(2,10),(3,6),(3,10),(4,1),(4,9),(4,11),(5,4),(5,6),(5,10),(6,9),(6,11),(8,7),(9,8),(9,12),(10,11),(11,12),(12,7)],13)
=> ? = 2 + 1
[1,0,1,0,1,0,1,1,1,0,0,0]
=> [4,5,6,3,2,1] => ([(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)
=> ? = 1 + 1
[1,0,1,0,1,1,0,0,1,0,1,0]
=> [6,5,3,4,2,1] => ([(0,3),(0,4),(0,5),(1,9),(1,13),(2,8),(2,13),(3,11),(4,2),(4,6),(4,11),(5,1),(5,6),(5,11),(6,8),(6,9),(6,13),(8,10),(8,12),(9,10),(9,12),(10,7),(11,13),(12,7),(13,12)],14)
=> ? = 2 + 1
[1,0,1,0,1,1,0,0,1,1,0,0]
=> [5,6,3,4,2,1] => ([(0,2),(0,3),(0,4),(1,7),(1,13),(2,6),(2,12),(3,1),(3,9),(3,12),(4,6),(4,9),(4,12),(6,10),(7,8),(7,11),(8,5),(9,7),(9,10),(9,13),(10,11),(11,5),(12,10),(12,13),(13,8),(13,11)],14)
=> ? = 2 + 1
[1,0,1,0,1,1,0,1,0,0,1,0]
=> [6,4,3,5,2,1] => ([(0,1),(0,3),(0,4),(0,5),(1,14),(2,7),(2,8),(2,16),(3,9),(3,11),(3,14),(4,9),(4,10),(4,14),(5,2),(5,10),(5,11),(5,14),(7,13),(7,15),(8,13),(8,15),(9,12),(9,16),(10,7),(10,12),(10,16),(11,8),(11,12),(11,16),(12,13),(12,15),(13,6),(14,16),(15,6),(16,15)],17)
=> ? = 3 + 1
[1,0,1,0,1,1,0,1,0,1,0,0]
=> [5,4,3,6,2,1] => ([(0,3),(0,4),(0,5),(1,9),(1,13),(2,8),(2,13),(3,11),(4,2),(4,6),(4,11),(5,1),(5,6),(5,11),(6,8),(6,9),(6,13),(8,10),(8,12),(9,10),(9,12),(10,7),(11,13),(12,7),(13,12)],14)
=> ? = 2 + 1
[1,0,1,0,1,1,0,1,1,0,0,0]
=> [4,5,3,6,2,1] => ([(0,1),(0,2),(0,4),(0,5),(1,9),(1,16),(2,10),(2,16),(3,6),(3,7),(3,15),(4,9),(4,11),(4,16),(5,3),(5,10),(5,11),(5,16),(6,13),(7,13),(7,14),(9,12),(10,6),(10,15),(11,7),(11,12),(11,15),(12,14),(13,8),(14,8),(15,13),(15,14),(16,12),(16,15)],17)
=> ? = 3 + 1
[1,0,1,0,1,1,1,0,0,0,1,0]
=> [6,3,4,5,2,1] => ([(0,3),(0,4),(0,5),(1,13),(2,6),(2,8),(3,9),(3,10),(4,2),(4,10),(4,11),(5,1),(5,9),(5,11),(6,14),(6,15),(8,14),(9,12),(9,13),(10,8),(10,12),(11,6),(11,12),(11,13),(12,14),(12,15),(13,15),(14,7),(15,7)],16)
=> ? = 2 + 1
[1,1,1,1,1,1,0,0,0,0,0,0]
=> [1,2,3,4,5,6] => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
=> 1 = 0 + 1
Description
The maximal number of elements covered by an element in a poset.
Mp00025: Dyck paths to 132-avoiding permutationPermutations
Mp00209: Permutations pattern posetPosets
St000846: Posets ⟶ ℤResult quality: 13% values known / values provided: 13%distinct values known / distinct values provided: 60%
Values
[1,0,1,0]
=> [2,1] => ([(0,1)],2)
=> 1 = 0 + 1
[1,1,0,0]
=> [1,2] => ([(0,1)],2)
=> 1 = 0 + 1
[1,0,1,0,1,0]
=> [3,2,1] => ([(0,2),(2,1)],3)
=> 1 = 0 + 1
[1,0,1,1,0,0]
=> [2,3,1] => ([(0,1),(0,2),(1,3),(2,3)],4)
=> 2 = 1 + 1
[1,1,0,0,1,0]
=> [3,1,2] => ([(0,1),(0,2),(1,3),(2,3)],4)
=> 2 = 1 + 1
[1,1,0,1,0,0]
=> [2,1,3] => ([(0,1),(0,2),(1,3),(2,3)],4)
=> 2 = 1 + 1
[1,1,1,0,0,0]
=> [1,2,3] => ([(0,2),(2,1)],3)
=> 1 = 0 + 1
[1,0,1,0,1,0,1,0]
=> [4,3,2,1] => ([(0,3),(2,1),(3,2)],4)
=> 1 = 0 + 1
[1,0,1,0,1,1,0,0]
=> [3,4,2,1] => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
=> 2 = 1 + 1
[1,0,1,1,0,0,1,0]
=> [4,2,3,1] => ([(0,1),(0,2),(0,3),(1,6),(2,4),(2,6),(3,4),(3,6),(4,5),(6,5)],7)
=> 3 = 2 + 1
[1,0,1,1,0,1,0,0]
=> [3,2,4,1] => ([(0,1),(0,2),(0,3),(1,6),(2,4),(2,6),(3,4),(3,6),(4,5),(6,5)],7)
=> 3 = 2 + 1
[1,0,1,1,1,0,0,0]
=> [2,3,4,1] => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
=> 2 = 1 + 1
[1,1,0,0,1,0,1,0]
=> [4,3,1,2] => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
=> 2 = 1 + 1
[1,1,0,0,1,1,0,0]
=> [3,4,1,2] => ([(0,1),(0,2),(1,4),(1,5),(2,4),(2,5),(4,3),(5,3)],6)
=> 2 = 1 + 1
[1,1,0,1,0,0,1,0]
=> [4,2,1,3] => ([(0,1),(0,2),(0,3),(1,6),(2,4),(2,6),(3,4),(3,6),(4,5),(6,5)],7)
=> 3 = 2 + 1
[1,1,0,1,0,1,0,0]
=> [3,2,1,4] => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
=> 2 = 1 + 1
[1,1,0,1,1,0,0,0]
=> [2,3,1,4] => ([(0,1),(0,2),(0,3),(1,6),(2,4),(2,6),(3,4),(3,6),(4,5),(6,5)],7)
=> 3 = 2 + 1
[1,1,1,0,0,0,1,0]
=> [4,1,2,3] => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
=> 2 = 1 + 1
[1,1,1,0,0,1,0,0]
=> [3,1,2,4] => ([(0,1),(0,2),(0,3),(1,6),(2,4),(2,6),(3,4),(3,6),(4,5),(6,5)],7)
=> 3 = 2 + 1
[1,1,1,0,1,0,0,0]
=> [2,1,3,4] => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
=> 2 = 1 + 1
[1,1,1,1,0,0,0,0]
=> [1,2,3,4] => ([(0,3),(2,1),(3,2)],4)
=> 1 = 0 + 1
[1,0,1,0,1,0,1,0,1,0]
=> [5,4,3,2,1] => ([(0,4),(2,3),(3,1),(4,2)],5)
=> 1 = 0 + 1
[1,0,1,0,1,0,1,1,0,0]
=> [4,5,3,2,1] => ([(0,2),(0,4),(1,6),(2,5),(3,1),(3,7),(4,3),(4,5),(5,7),(7,6)],8)
=> ? = 1 + 1
[1,0,1,0,1,1,0,0,1,0]
=> [5,3,4,2,1] => ([(0,2),(0,3),(0,4),(1,7),(1,9),(2,8),(3,5),(3,8),(4,1),(4,5),(4,8),(5,7),(5,9),(7,6),(8,9),(9,6)],10)
=> ? = 2 + 1
[1,0,1,0,1,1,0,1,0,0]
=> [4,3,5,2,1] => ([(0,2),(0,3),(0,4),(1,7),(1,9),(2,8),(3,5),(3,8),(4,1),(4,5),(4,8),(5,7),(5,9),(7,6),(8,9),(9,6)],10)
=> ? = 2 + 1
[1,0,1,0,1,1,1,0,0,0]
=> [3,4,5,2,1] => ([(0,3),(0,4),(1,7),(2,6),(3,2),(3,5),(4,1),(4,5),(5,6),(5,7),(6,8),(7,8)],9)
=> ? = 1 + 1
[1,0,1,1,0,0,1,0,1,0]
=> [5,4,2,3,1] => ([(0,2),(0,3),(0,4),(1,7),(1,9),(2,8),(3,5),(3,8),(4,1),(4,5),(4,8),(5,7),(5,9),(7,6),(8,9),(9,6)],10)
=> ? = 2 + 1
[1,0,1,1,0,0,1,1,0,0]
=> [4,5,2,3,1] => ([(0,1),(0,2),(0,3),(1,7),(1,8),(2,5),(2,8),(3,5),(3,7),(3,8),(5,9),(6,4),(7,6),(7,9),(8,6),(8,9),(9,4)],10)
=> ? = 2 + 1
[1,0,1,1,0,1,0,0,1,0]
=> [5,3,2,4,1] => ([(0,1),(0,2),(0,3),(0,4),(1,10),(2,6),(2,7),(2,10),(3,5),(3,7),(3,10),(4,5),(4,6),(4,10),(5,9),(5,11),(6,9),(6,11),(7,9),(7,11),(9,8),(10,11),(11,8)],12)
=> ? = 3 + 1
[1,0,1,1,0,1,0,1,0,0]
=> [4,3,2,5,1] => ([(0,2),(0,3),(0,4),(1,7),(1,9),(2,8),(3,5),(3,8),(4,1),(4,5),(4,8),(5,7),(5,9),(7,6),(8,9),(9,6)],10)
=> ? = 2 + 1
[1,0,1,1,0,1,1,0,0,0]
=> [3,4,2,5,1] => ([(0,1),(0,2),(0,3),(0,4),(1,6),(1,11),(2,5),(2,11),(3,5),(3,7),(3,11),(4,6),(4,7),(4,11),(5,9),(6,10),(7,9),(7,10),(9,8),(10,8),(11,9),(11,10)],12)
=> ? = 3 + 1
[1,0,1,1,1,0,0,0,1,0]
=> [5,2,3,4,1] => ([(0,2),(0,3),(0,4),(1,9),(2,5),(2,7),(3,5),(3,6),(4,1),(4,6),(4,7),(5,10),(6,9),(6,10),(7,9),(7,10),(9,8),(10,8)],11)
=> ? = 2 + 1
[1,0,1,1,1,0,0,1,0,0]
=> [4,2,3,5,1] => ([(0,1),(0,2),(0,3),(0,4),(1,5),(1,10),(2,8),(2,9),(2,10),(3,7),(3,9),(3,10),(4,5),(4,7),(4,8),(5,11),(7,11),(7,12),(8,11),(8,12),(9,12),(10,11),(10,12),(11,6),(12,6)],13)
=> ? = 3 + 1
[1,0,1,1,1,0,1,0,0,0]
=> [3,2,4,5,1] => ([(0,2),(0,3),(0,4),(1,9),(2,5),(2,7),(3,5),(3,6),(4,1),(4,6),(4,7),(5,10),(6,9),(6,10),(7,9),(7,10),(9,8),(10,8)],11)
=> ? = 2 + 1
[1,0,1,1,1,1,0,0,0,0]
=> [2,3,4,5,1] => ([(0,2),(0,4),(1,6),(2,5),(3,1),(3,7),(4,3),(4,5),(5,7),(7,6)],8)
=> ? = 1 + 1
[1,1,0,0,1,0,1,0,1,0]
=> [5,4,3,1,2] => ([(0,2),(0,4),(1,6),(2,5),(3,1),(3,7),(4,3),(4,5),(5,7),(7,6)],8)
=> ? = 1 + 1
[1,1,0,0,1,0,1,1,0,0]
=> [4,5,3,1,2] => ([(0,1),(0,2),(0,3),(1,7),(1,8),(2,5),(2,8),(3,5),(3,7),(5,9),(6,4),(7,6),(7,9),(8,6),(8,9),(9,4)],10)
=> ? = 2 + 1
[1,1,0,0,1,1,0,0,1,0]
=> [5,3,4,1,2] => ([(0,1),(0,2),(0,3),(1,7),(1,8),(2,5),(2,8),(3,5),(3,7),(3,8),(5,9),(6,4),(7,6),(7,9),(8,6),(8,9),(9,4)],10)
=> ? = 2 + 1
[1,1,0,0,1,1,0,1,0,0]
=> [4,3,5,1,2] => ([(0,2),(0,3),(0,4),(1,9),(1,10),(2,6),(2,7),(3,5),(3,6),(4,1),(4,5),(4,7),(5,10),(6,9),(6,10),(7,9),(7,10),(9,8),(10,8)],11)
=> ? = 2 + 1
[1,1,0,0,1,1,1,0,0,0]
=> [3,4,5,1,2] => ([(0,3),(0,4),(1,8),(2,7),(2,8),(3,1),(3,5),(4,2),(4,5),(5,7),(5,8),(7,6),(8,6)],9)
=> ? = 1 + 1
[1,1,0,1,0,0,1,0,1,0]
=> [5,4,2,1,3] => ([(0,2),(0,3),(0,4),(1,7),(1,9),(2,8),(3,5),(3,8),(4,1),(4,5),(4,8),(5,7),(5,9),(7,6),(8,9),(9,6)],10)
=> ? = 2 + 1
[1,1,0,1,0,0,1,1,0,0]
=> [4,5,2,1,3] => ([(0,2),(0,3),(0,4),(1,9),(1,10),(2,6),(2,7),(3,5),(3,6),(4,1),(4,5),(4,7),(5,10),(6,9),(6,10),(7,9),(7,10),(9,8),(10,8)],11)
=> ? = 2 + 1
[1,1,0,1,0,1,0,0,1,0]
=> [5,3,2,1,4] => ([(0,2),(0,3),(0,4),(1,7),(1,9),(2,8),(3,5),(3,8),(4,1),(4,5),(4,8),(5,7),(5,9),(7,6),(8,9),(9,6)],10)
=> ? = 2 + 1
[1,1,0,1,0,1,0,1,0,0]
=> [4,3,2,1,5] => ([(0,2),(0,4),(1,6),(2,5),(3,1),(3,7),(4,3),(4,5),(5,7),(7,6)],8)
=> ? = 1 + 1
[1,1,0,1,0,1,1,0,0,0]
=> [3,4,2,1,5] => ([(0,2),(0,3),(0,4),(1,9),(2,5),(2,7),(3,5),(3,6),(4,1),(4,6),(4,7),(5,10),(6,9),(6,10),(7,9),(7,10),(9,8),(10,8)],11)
=> ? = 2 + 1
[1,1,0,1,1,0,0,0,1,0]
=> [5,2,3,1,4] => ([(0,1),(0,2),(0,3),(0,4),(1,5),(1,10),(2,8),(2,9),(2,10),(3,7),(3,9),(3,10),(4,5),(4,7),(4,8),(5,11),(7,11),(7,12),(8,11),(8,12),(9,12),(10,11),(10,12),(11,6),(12,6)],13)
=> ? = 3 + 1
[1,1,0,1,1,0,0,1,0,0]
=> [4,2,3,1,5] => ([(0,1),(0,2),(0,3),(0,4),(1,5),(1,10),(2,8),(2,9),(2,10),(3,7),(3,9),(3,10),(4,5),(4,7),(4,8),(5,11),(7,11),(7,12),(8,11),(8,12),(9,12),(10,11),(10,12),(11,6),(12,6)],13)
=> ? = 3 + 1
[1,1,0,1,1,0,1,0,0,0]
=> [3,2,4,1,5] => ([(0,1),(0,2),(0,3),(0,4),(1,6),(1,11),(2,5),(2,11),(3,5),(3,7),(3,11),(4,6),(4,7),(4,11),(5,9),(6,10),(7,9),(7,10),(9,8),(10,8),(11,9),(11,10)],12)
=> ? = 3 + 1
[1,1,0,1,1,1,0,0,0,0]
=> [2,3,4,1,5] => ([(0,2),(0,3),(0,4),(1,7),(1,9),(2,8),(3,5),(3,8),(4,1),(4,5),(4,8),(5,7),(5,9),(7,6),(8,9),(9,6)],10)
=> ? = 2 + 1
[1,1,1,0,0,0,1,0,1,0]
=> [5,4,1,2,3] => ([(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 + 1
[1,1,1,0,0,0,1,1,0,0]
=> [4,5,1,2,3] => ([(0,3),(0,4),(1,8),(2,7),(2,8),(3,1),(3,5),(4,2),(4,5),(5,7),(5,8),(7,6),(8,6)],9)
=> ? = 1 + 1
[1,1,1,0,0,1,0,0,1,0]
=> [5,3,1,2,4] => ([(0,1),(0,2),(0,3),(0,4),(1,6),(1,11),(2,5),(2,11),(3,5),(3,7),(3,11),(4,6),(4,7),(4,11),(5,9),(6,10),(7,9),(7,10),(9,8),(10,8),(11,9),(11,10)],12)
=> ? = 3 + 1
[1,1,1,0,0,1,0,1,0,0]
=> [4,3,1,2,5] => ([(0,2),(0,3),(0,4),(1,9),(2,5),(2,7),(3,5),(3,6),(4,1),(4,6),(4,7),(5,10),(6,9),(6,10),(7,9),(7,10),(9,8),(10,8)],11)
=> ? = 2 + 1
[1,1,1,0,0,1,1,0,0,0]
=> [3,4,1,2,5] => ([(0,1),(0,2),(0,3),(1,5),(1,6),(2,6),(2,7),(2,8),(3,5),(3,7),(3,8),(5,9),(5,10),(6,9),(6,10),(7,10),(8,9),(8,10),(9,4),(10,4)],11)
=> ? = 2 + 1
[1,1,1,0,1,0,0,0,1,0]
=> [5,2,1,3,4] => ([(0,2),(0,3),(0,4),(1,9),(2,5),(2,7),(3,5),(3,6),(4,1),(4,6),(4,7),(5,10),(6,9),(6,10),(7,9),(7,10),(9,8),(10,8)],11)
=> ? = 2 + 1
[1,1,1,0,1,0,0,1,0,0]
=> [4,2,1,3,5] => ([(0,1),(0,2),(0,3),(0,4),(1,6),(1,11),(2,5),(2,11),(3,5),(3,7),(3,11),(4,6),(4,7),(4,11),(5,9),(6,10),(7,9),(7,10),(9,8),(10,8),(11,9),(11,10)],12)
=> ? = 3 + 1
[1,1,1,0,1,0,1,0,0,0]
=> [3,2,1,4,5] => ([(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 + 1
[1,1,1,0,1,1,0,0,0,0]
=> [2,3,1,4,5] => ([(0,2),(0,3),(0,4),(1,7),(1,9),(2,8),(3,5),(3,8),(4,1),(4,5),(4,8),(5,7),(5,9),(7,6),(8,9),(9,6)],10)
=> ? = 2 + 1
[1,1,1,1,0,0,0,0,1,0]
=> [5,1,2,3,4] => ([(0,2),(0,4),(1,6),(2,5),(3,1),(3,7),(4,3),(4,5),(5,7),(7,6)],8)
=> ? = 1 + 1
[1,1,1,1,0,0,0,1,0,0]
=> [4,1,2,3,5] => ([(0,2),(0,3),(0,4),(1,7),(1,9),(2,8),(3,5),(3,8),(4,1),(4,5),(4,8),(5,7),(5,9),(7,6),(8,9),(9,6)],10)
=> ? = 2 + 1
[1,1,1,1,0,0,1,0,0,0]
=> [3,1,2,4,5] => ([(0,2),(0,3),(0,4),(1,7),(1,9),(2,8),(3,5),(3,8),(4,1),(4,5),(4,8),(5,7),(5,9),(7,6),(8,9),(9,6)],10)
=> ? = 2 + 1
[1,1,1,1,0,1,0,0,0,0]
=> [2,1,3,4,5] => ([(0,2),(0,4),(1,6),(2,5),(3,1),(3,7),(4,3),(4,5),(5,7),(7,6)],8)
=> ? = 1 + 1
[1,1,1,1,1,0,0,0,0,0]
=> [1,2,3,4,5] => ([(0,4),(2,3),(3,1),(4,2)],5)
=> 1 = 0 + 1
[1,0,1,0,1,0,1,0,1,0,1,0]
=> [6,5,4,3,2,1] => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
=> 1 = 0 + 1
[1,0,1,0,1,0,1,0,1,1,0,0]
=> [5,6,4,3,2,1] => ([(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)
=> ? = 1 + 1
[1,0,1,0,1,0,1,1,0,0,1,0]
=> [6,4,5,3,2,1] => ([(0,2),(0,3),(0,5),(1,8),(1,12),(2,10),(3,6),(3,10),(4,1),(4,9),(4,11),(5,4),(5,6),(5,10),(6,9),(6,11),(8,7),(9,8),(9,12),(10,11),(11,12),(12,7)],13)
=> ? = 2 + 1
[1,0,1,0,1,0,1,1,0,1,0,0]
=> [5,4,6,3,2,1] => ([(0,2),(0,3),(0,5),(1,8),(1,12),(2,10),(3,6),(3,10),(4,1),(4,9),(4,11),(5,4),(5,6),(5,10),(6,9),(6,11),(8,7),(9,8),(9,12),(10,11),(11,12),(12,7)],13)
=> ? = 2 + 1
[1,0,1,0,1,0,1,1,1,0,0,0]
=> [4,5,6,3,2,1] => ([(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)
=> ? = 1 + 1
[1,0,1,0,1,1,0,0,1,0,1,0]
=> [6,5,3,4,2,1] => ([(0,3),(0,4),(0,5),(1,9),(1,13),(2,8),(2,13),(3,11),(4,2),(4,6),(4,11),(5,1),(5,6),(5,11),(6,8),(6,9),(6,13),(8,10),(8,12),(9,10),(9,12),(10,7),(11,13),(12,7),(13,12)],14)
=> ? = 2 + 1
[1,0,1,0,1,1,0,0,1,1,0,0]
=> [5,6,3,4,2,1] => ([(0,2),(0,3),(0,4),(1,7),(1,13),(2,6),(2,12),(3,1),(3,9),(3,12),(4,6),(4,9),(4,12),(6,10),(7,8),(7,11),(8,5),(9,7),(9,10),(9,13),(10,11),(11,5),(12,10),(12,13),(13,8),(13,11)],14)
=> ? = 2 + 1
[1,0,1,0,1,1,0,1,0,0,1,0]
=> [6,4,3,5,2,1] => ([(0,1),(0,3),(0,4),(0,5),(1,14),(2,7),(2,8),(2,16),(3,9),(3,11),(3,14),(4,9),(4,10),(4,14),(5,2),(5,10),(5,11),(5,14),(7,13),(7,15),(8,13),(8,15),(9,12),(9,16),(10,7),(10,12),(10,16),(11,8),(11,12),(11,16),(12,13),(12,15),(13,6),(14,16),(15,6),(16,15)],17)
=> ? = 3 + 1
[1,0,1,0,1,1,0,1,0,1,0,0]
=> [5,4,3,6,2,1] => ([(0,3),(0,4),(0,5),(1,9),(1,13),(2,8),(2,13),(3,11),(4,2),(4,6),(4,11),(5,1),(5,6),(5,11),(6,8),(6,9),(6,13),(8,10),(8,12),(9,10),(9,12),(10,7),(11,13),(12,7),(13,12)],14)
=> ? = 2 + 1
[1,0,1,0,1,1,0,1,1,0,0,0]
=> [4,5,3,6,2,1] => ([(0,1),(0,2),(0,4),(0,5),(1,9),(1,16),(2,10),(2,16),(3,6),(3,7),(3,15),(4,9),(4,11),(4,16),(5,3),(5,10),(5,11),(5,16),(6,13),(7,13),(7,14),(9,12),(10,6),(10,15),(11,7),(11,12),(11,15),(12,14),(13,8),(14,8),(15,13),(15,14),(16,12),(16,15)],17)
=> ? = 3 + 1
[1,0,1,0,1,1,1,0,0,0,1,0]
=> [6,3,4,5,2,1] => ([(0,3),(0,4),(0,5),(1,13),(2,6),(2,8),(3,9),(3,10),(4,2),(4,10),(4,11),(5,1),(5,9),(5,11),(6,14),(6,15),(8,14),(9,12),(9,13),(10,8),(10,12),(11,6),(11,12),(11,13),(12,14),(12,15),(13,15),(14,7),(15,7)],16)
=> ? = 2 + 1
[1,1,1,1,1,1,0,0,0,0,0,0]
=> [1,2,3,4,5,6] => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
=> 1 = 0 + 1
Description
The maximal number of elements covering an element of a poset.
Mp00025: Dyck paths to 132-avoiding permutationPermutations
Mp00175: Permutations inverse Foata bijectionPermutations
Mp00209: Permutations pattern posetPosets
St000632: Posets ⟶ ℤResult quality: 12% values known / values provided: 12%distinct values known / distinct values provided: 60%
Values
[1,0,1,0]
=> [2,1] => [2,1] => ([(0,1)],2)
=> 0
[1,1,0,0]
=> [1,2] => [1,2] => ([(0,1)],2)
=> 0
[1,0,1,0,1,0]
=> [3,2,1] => [3,2,1] => ([(0,2),(2,1)],3)
=> 0
[1,0,1,1,0,0]
=> [2,3,1] => [2,3,1] => ([(0,1),(0,2),(1,3),(2,3)],4)
=> 1
[1,1,0,0,1,0]
=> [3,1,2] => [1,3,2] => ([(0,1),(0,2),(1,3),(2,3)],4)
=> 1
[1,1,0,1,0,0]
=> [2,1,3] => [2,1,3] => ([(0,1),(0,2),(1,3),(2,3)],4)
=> 1
[1,1,1,0,0,0]
=> [1,2,3] => [1,2,3] => ([(0,2),(2,1)],3)
=> 0
[1,0,1,0,1,0,1,0]
=> [4,3,2,1] => [4,3,2,1] => ([(0,3),(2,1),(3,2)],4)
=> 0
[1,0,1,0,1,1,0,0]
=> [3,4,2,1] => [3,4,2,1] => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
=> 1
[1,0,1,1,0,0,1,0]
=> [4,2,3,1] => [2,4,3,1] => ([(0,1),(0,2),(0,3),(1,6),(2,4),(2,6),(3,4),(3,6),(4,5),(6,5)],7)
=> 2
[1,0,1,1,0,1,0,0]
=> [3,2,4,1] => [3,2,4,1] => ([(0,1),(0,2),(0,3),(1,6),(2,4),(2,6),(3,4),(3,6),(4,5),(6,5)],7)
=> 2
[1,0,1,1,1,0,0,0]
=> [2,3,4,1] => [2,3,4,1] => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
=> 1
[1,1,0,0,1,0,1,0]
=> [4,3,1,2] => [1,4,3,2] => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
=> 1
[1,1,0,0,1,1,0,0]
=> [3,4,1,2] => [3,1,4,2] => ([(0,1),(0,2),(0,3),(0,4),(1,6),(1,7),(2,6),(2,7),(3,6),(3,7),(4,6),(4,7),(6,5),(7,5)],8)
=> ? = 1
[1,1,0,1,0,0,1,0]
=> [4,2,1,3] => [2,1,4,3] => ([(0,1),(0,2),(1,4),(1,5),(2,4),(2,5),(4,3),(5,3)],6)
=> 2
[1,1,0,1,0,1,0,0]
=> [3,2,1,4] => [3,2,1,4] => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
=> 1
[1,1,0,1,1,0,0,0]
=> [2,3,1,4] => [2,3,1,4] => ([(0,1),(0,2),(0,3),(1,6),(2,4),(2,6),(3,4),(3,6),(4,5),(6,5)],7)
=> 2
[1,1,1,0,0,0,1,0]
=> [4,1,2,3] => [1,2,4,3] => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
=> 1
[1,1,1,0,0,1,0,0]
=> [3,1,2,4] => [1,3,2,4] => ([(0,1),(0,2),(0,3),(1,6),(2,4),(2,6),(3,4),(3,6),(4,5),(6,5)],7)
=> 2
[1,1,1,0,1,0,0,0]
=> [2,1,3,4] => [2,1,3,4] => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
=> 1
[1,1,1,1,0,0,0,0]
=> [1,2,3,4] => [1,2,3,4] => ([(0,3),(2,1),(3,2)],4)
=> 0
[1,0,1,0,1,0,1,0,1,0]
=> [5,4,3,2,1] => [5,4,3,2,1] => ([(0,4),(2,3),(3,1),(4,2)],5)
=> 0
[1,0,1,0,1,0,1,1,0,0]
=> [4,5,3,2,1] => [4,5,3,2,1] => ([(0,2),(0,4),(1,6),(2,5),(3,1),(3,7),(4,3),(4,5),(5,7),(7,6)],8)
=> ? = 1
[1,0,1,0,1,1,0,0,1,0]
=> [5,3,4,2,1] => [3,5,4,2,1] => ([(0,2),(0,3),(0,4),(1,7),(1,9),(2,8),(3,5),(3,8),(4,1),(4,5),(4,8),(5,7),(5,9),(7,6),(8,9),(9,6)],10)
=> ? = 2
[1,0,1,0,1,1,0,1,0,0]
=> [4,3,5,2,1] => [4,3,5,2,1] => ([(0,2),(0,3),(0,4),(1,7),(1,9),(2,8),(3,5),(3,8),(4,1),(4,5),(4,8),(5,7),(5,9),(7,6),(8,9),(9,6)],10)
=> ? = 2
[1,0,1,0,1,1,1,0,0,0]
=> [3,4,5,2,1] => [3,4,5,2,1] => ([(0,3),(0,4),(1,7),(2,6),(3,2),(3,5),(4,1),(4,5),(5,6),(5,7),(6,8),(7,8)],9)
=> ? = 1
[1,0,1,1,0,0,1,0,1,0]
=> [5,4,2,3,1] => [2,5,4,3,1] => ([(0,2),(0,3),(0,4),(1,7),(1,9),(2,8),(3,5),(3,8),(4,1),(4,5),(4,8),(5,7),(5,9),(7,6),(8,9),(9,6)],10)
=> ? = 2
[1,0,1,1,0,0,1,1,0,0]
=> [4,5,2,3,1] => [4,2,5,3,1] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(1,10),(1,12),(2,8),(2,10),(2,12),(3,7),(3,10),(3,12),(4,6),(4,10),(4,12),(5,6),(5,7),(5,8),(5,12),(6,11),(6,13),(7,11),(7,13),(8,11),(8,13),(10,13),(11,9),(12,11),(12,13),(13,9)],14)
=> ? = 2
[1,0,1,1,0,1,0,0,1,0]
=> [5,3,2,4,1] => [3,2,5,4,1] => ([(0,1),(0,2),(0,3),(1,5),(1,6),(2,6),(2,7),(2,8),(3,5),(3,7),(3,8),(5,9),(5,10),(6,9),(6,10),(7,10),(8,9),(8,10),(9,4),(10,4)],11)
=> ? = 3
[1,0,1,1,0,1,0,1,0,0]
=> [4,3,2,5,1] => [4,3,2,5,1] => ([(0,2),(0,3),(0,4),(1,7),(1,9),(2,8),(3,5),(3,8),(4,1),(4,5),(4,8),(5,7),(5,9),(7,6),(8,9),(9,6)],10)
=> ? = 2
[1,0,1,1,0,1,1,0,0,0]
=> [3,4,2,5,1] => [3,4,2,5,1] => ([(0,1),(0,2),(0,3),(0,4),(1,6),(1,11),(2,5),(2,11),(3,5),(3,7),(3,11),(4,6),(4,7),(4,11),(5,9),(6,10),(7,9),(7,10),(9,8),(10,8),(11,9),(11,10)],12)
=> ? = 3
[1,0,1,1,1,0,0,0,1,0]
=> [5,2,3,4,1] => [2,3,5,4,1] => ([(0,2),(0,3),(0,4),(1,9),(2,5),(2,7),(3,5),(3,6),(4,1),(4,6),(4,7),(5,10),(6,9),(6,10),(7,9),(7,10),(9,8),(10,8)],11)
=> ? = 2
[1,0,1,1,1,0,0,1,0,0]
=> [4,2,3,5,1] => [2,4,3,5,1] => ([(0,1),(0,2),(0,3),(0,4),(1,5),(1,10),(2,8),(2,9),(2,10),(3,7),(3,9),(3,10),(4,5),(4,7),(4,8),(5,11),(7,11),(7,12),(8,11),(8,12),(9,12),(10,11),(10,12),(11,6),(12,6)],13)
=> ? = 3
[1,0,1,1,1,0,1,0,0,0]
=> [3,2,4,5,1] => [3,2,4,5,1] => ([(0,2),(0,3),(0,4),(1,9),(2,5),(2,7),(3,5),(3,6),(4,1),(4,6),(4,7),(5,10),(6,9),(6,10),(7,9),(7,10),(9,8),(10,8)],11)
=> ? = 2
[1,0,1,1,1,1,0,0,0,0]
=> [2,3,4,5,1] => [2,3,4,5,1] => ([(0,2),(0,4),(1,6),(2,5),(3,1),(3,7),(4,3),(4,5),(5,7),(7,6)],8)
=> ? = 1
[1,1,0,0,1,0,1,0,1,0]
=> [5,4,3,1,2] => [1,5,4,3,2] => ([(0,2),(0,4),(1,6),(2,5),(3,1),(3,7),(4,3),(4,5),(5,7),(7,6)],8)
=> ? = 1
[1,1,0,0,1,0,1,1,0,0]
=> [4,5,3,1,2] => [4,1,5,3,2] => ([(0,2),(0,3),(0,4),(0,5),(1,11),(1,12),(2,9),(2,10),(3,6),(3,9),(4,7),(4,9),(4,10),(5,1),(5,6),(5,7),(5,10),(6,11),(6,12),(7,11),(7,12),(9,12),(10,11),(10,12),(11,8),(12,8)],13)
=> ? = 2
[1,1,0,0,1,1,0,0,1,0]
=> [5,3,4,1,2] => [3,1,5,4,2] => ([(0,2),(0,3),(0,4),(0,5),(1,11),(1,12),(2,7),(2,10),(3,6),(3,10),(4,6),(4,8),(4,10),(5,1),(5,7),(5,8),(5,10),(6,12),(7,11),(7,12),(8,11),(8,12),(10,11),(10,12),(11,9),(12,9)],13)
=> ? = 2
[1,1,0,0,1,1,0,1,0,0]
=> [4,3,5,1,2] => [4,3,1,5,2] => ([(0,2),(0,3),(0,4),(0,5),(1,11),(1,12),(2,9),(2,10),(3,6),(3,9),(4,7),(4,9),(4,10),(5,1),(5,6),(5,7),(5,10),(6,11),(6,12),(7,11),(7,12),(9,12),(10,11),(10,12),(11,8),(12,8)],13)
=> ? = 2
[1,1,0,0,1,1,1,0,0,0]
=> [3,4,5,1,2] => [3,4,1,5,2] => ([(0,2),(0,3),(0,4),(0,5),(1,11),(1,12),(2,7),(2,10),(3,6),(3,10),(4,6),(4,8),(4,10),(5,1),(5,7),(5,8),(5,10),(6,12),(7,11),(7,12),(8,11),(8,12),(10,11),(10,12),(11,9),(12,9)],13)
=> ? = 1
[1,1,0,1,0,0,1,0,1,0]
=> [5,4,2,1,3] => [2,1,5,4,3] => ([(0,3),(0,4),(1,8),(2,7),(2,8),(3,1),(3,5),(4,2),(4,5),(5,7),(5,8),(7,6),(8,6)],9)
=> ? = 2
[1,1,0,1,0,0,1,1,0,0]
=> [4,5,2,1,3] => [4,2,1,5,3] => ([(0,2),(0,3),(0,4),(0,5),(1,11),(1,12),(2,7),(2,10),(3,6),(3,10),(4,6),(4,8),(4,10),(5,1),(5,7),(5,8),(5,10),(6,12),(7,11),(7,12),(8,11),(8,12),(10,11),(10,12),(11,9),(12,9)],13)
=> ? = 2
[1,1,0,1,0,1,0,0,1,0]
=> [5,3,2,1,4] => [3,2,1,5,4] => ([(0,3),(0,4),(1,8),(2,7),(2,8),(3,1),(3,5),(4,2),(4,5),(5,7),(5,8),(7,6),(8,6)],9)
=> ? = 2
[1,1,0,1,0,1,0,1,0,0]
=> [4,3,2,1,5] => [4,3,2,1,5] => ([(0,2),(0,4),(1,6),(2,5),(3,1),(3,7),(4,3),(4,5),(5,7),(7,6)],8)
=> ? = 1
[1,1,0,1,0,1,1,0,0,0]
=> [3,4,2,1,5] => [3,4,2,1,5] => ([(0,2),(0,3),(0,4),(1,9),(2,5),(2,7),(3,5),(3,6),(4,1),(4,6),(4,7),(5,10),(6,9),(6,10),(7,9),(7,10),(9,8),(10,8)],11)
=> ? = 2
[1,1,0,1,1,0,0,0,1,0]
=> [5,2,3,1,4] => [2,3,1,5,4] => ([(0,2),(0,3),(0,4),(1,9),(1,10),(2,6),(2,7),(3,5),(3,6),(4,1),(4,5),(4,7),(5,10),(6,9),(6,10),(7,9),(7,10),(9,8),(10,8)],11)
=> ? = 3
[1,1,0,1,1,0,0,1,0,0]
=> [4,2,3,1,5] => [2,4,3,1,5] => ([(0,1),(0,2),(0,3),(0,4),(1,5),(1,10),(2,8),(2,9),(2,10),(3,7),(3,9),(3,10),(4,5),(4,7),(4,8),(5,11),(7,11),(7,12),(8,11),(8,12),(9,12),(10,11),(10,12),(11,6),(12,6)],13)
=> ? = 3
[1,1,0,1,1,0,1,0,0,0]
=> [3,2,4,1,5] => [3,2,4,1,5] => ([(0,1),(0,2),(0,3),(0,4),(1,6),(1,11),(2,5),(2,11),(3,5),(3,7),(3,11),(4,6),(4,7),(4,11),(5,9),(6,10),(7,9),(7,10),(9,8),(10,8),(11,9),(11,10)],12)
=> ? = 3
[1,1,0,1,1,1,0,0,0,0]
=> [2,3,4,1,5] => [2,3,4,1,5] => ([(0,2),(0,3),(0,4),(1,7),(1,9),(2,8),(3,5),(3,8),(4,1),(4,5),(4,8),(5,7),(5,9),(7,6),(8,9),(9,6)],10)
=> ? = 2
[1,1,1,0,0,0,1,0,1,0]
=> [5,4,1,2,3] => [1,2,5,4,3] => ([(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
[1,1,1,0,0,0,1,1,0,0]
=> [4,5,1,2,3] => [1,4,2,5,3] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(1,10),(1,12),(2,8),(2,10),(2,12),(3,7),(3,10),(3,12),(4,6),(4,10),(4,12),(5,6),(5,7),(5,8),(5,12),(6,11),(6,13),(7,11),(7,13),(8,11),(8,13),(10,13),(11,9),(12,11),(12,13),(13,9)],14)
=> ? = 1
[1,1,1,0,0,1,0,0,1,0]
=> [5,3,1,2,4] => [1,3,2,5,4] => ([(0,1),(0,2),(0,3),(1,7),(1,8),(2,5),(2,8),(3,5),(3,7),(3,8),(5,9),(6,4),(7,6),(7,9),(8,6),(8,9),(9,4)],10)
=> ? = 3
[1,1,1,0,0,1,0,1,0,0]
=> [4,3,1,2,5] => [1,4,3,2,5] => ([(0,2),(0,3),(0,4),(1,9),(2,5),(2,7),(3,5),(3,6),(4,1),(4,6),(4,7),(5,10),(6,9),(6,10),(7,9),(7,10),(9,8),(10,8)],11)
=> ? = 2
[1,1,1,0,0,1,1,0,0,0]
=> [3,4,1,2,5] => [3,1,4,2,5] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(1,10),(1,12),(2,8),(2,10),(2,12),(3,7),(3,10),(3,12),(4,6),(4,10),(4,12),(5,6),(5,7),(5,8),(5,12),(6,11),(6,13),(7,11),(7,13),(8,11),(8,13),(10,13),(11,9),(12,11),(12,13),(13,9)],14)
=> ? = 2
[1,1,1,0,1,0,0,0,1,0]
=> [5,2,1,3,4] => [2,1,3,5,4] => ([(0,1),(0,2),(0,3),(1,7),(1,8),(2,5),(2,8),(3,5),(3,7),(5,9),(6,4),(7,6),(7,9),(8,6),(8,9),(9,4)],10)
=> ? = 2
[1,1,1,0,1,0,0,1,0,0]
=> [4,2,1,3,5] => [2,1,4,3,5] => ([(0,1),(0,2),(0,3),(1,7),(1,8),(2,5),(2,8),(3,5),(3,7),(3,8),(5,9),(6,4),(7,6),(7,9),(8,6),(8,9),(9,4)],10)
=> ? = 3
[1,1,1,0,1,0,1,0,0,0]
=> [3,2,1,4,5] => [3,2,1,4,5] => ([(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
[1,1,1,0,1,1,0,0,0,0]
=> [2,3,1,4,5] => [2,3,1,4,5] => ([(0,2),(0,3),(0,4),(1,7),(1,9),(2,8),(3,5),(3,8),(4,1),(4,5),(4,8),(5,7),(5,9),(7,6),(8,9),(9,6)],10)
=> ? = 2
[1,1,1,1,0,0,0,0,1,0]
=> [5,1,2,3,4] => [1,2,3,5,4] => ([(0,2),(0,4),(1,6),(2,5),(3,1),(3,7),(4,3),(4,5),(5,7),(7,6)],8)
=> ? = 1
[1,1,1,1,0,0,0,1,0,0]
=> [4,1,2,3,5] => [1,2,4,3,5] => ([(0,2),(0,3),(0,4),(1,7),(1,9),(2,8),(3,5),(3,8),(4,1),(4,5),(4,8),(5,7),(5,9),(7,6),(8,9),(9,6)],10)
=> ? = 2
[1,1,1,1,0,0,1,0,0,0]
=> [3,1,2,4,5] => [1,3,2,4,5] => ([(0,2),(0,3),(0,4),(1,7),(1,9),(2,8),(3,5),(3,8),(4,1),(4,5),(4,8),(5,7),(5,9),(7,6),(8,9),(9,6)],10)
=> ? = 2
[1,1,1,1,0,1,0,0,0,0]
=> [2,1,3,4,5] => [2,1,3,4,5] => ([(0,2),(0,4),(1,6),(2,5),(3,1),(3,7),(4,3),(4,5),(5,7),(7,6)],8)
=> ? = 1
[1,1,1,1,1,0,0,0,0,0]
=> [1,2,3,4,5] => [1,2,3,4,5] => ([(0,4),(2,3),(3,1),(4,2)],5)
=> 0
[1,0,1,0,1,0,1,0,1,0,1,0]
=> [6,5,4,3,2,1] => [6,5,4,3,2,1] => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
=> 0
[1,0,1,0,1,0,1,0,1,1,0,0]
=> [5,6,4,3,2,1] => [5,6,4,3,2,1] => ([(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)
=> ? = 1
[1,0,1,0,1,0,1,1,0,0,1,0]
=> [6,4,5,3,2,1] => [4,6,5,3,2,1] => ([(0,2),(0,3),(0,5),(1,8),(1,12),(2,10),(3,6),(3,10),(4,1),(4,9),(4,11),(5,4),(5,6),(5,10),(6,9),(6,11),(8,7),(9,8),(9,12),(10,11),(11,12),(12,7)],13)
=> ? = 2
[1,0,1,0,1,0,1,1,0,1,0,0]
=> [5,4,6,3,2,1] => [5,4,6,3,2,1] => ([(0,2),(0,3),(0,5),(1,8),(1,12),(2,10),(3,6),(3,10),(4,1),(4,9),(4,11),(5,4),(5,6),(5,10),(6,9),(6,11),(8,7),(9,8),(9,12),(10,11),(11,12),(12,7)],13)
=> ? = 2
[1,0,1,0,1,0,1,1,1,0,0,0]
=> [4,5,6,3,2,1] => [4,5,6,3,2,1] => ([(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)
=> ? = 1
[1,0,1,0,1,1,0,0,1,0,1,0]
=> [6,5,3,4,2,1] => [3,6,5,4,2,1] => ([(0,3),(0,4),(0,5),(1,9),(1,13),(2,8),(2,13),(3,11),(4,2),(4,6),(4,11),(5,1),(5,6),(5,11),(6,8),(6,9),(6,13),(8,10),(8,12),(9,10),(9,12),(10,7),(11,13),(12,7),(13,12)],14)
=> ? = 2
[1,0,1,0,1,1,0,0,1,1,0,0]
=> [5,6,3,4,2,1] => [5,3,6,4,2,1] => ([(0,1),(0,2),(0,3),(0,4),(0,6),(1,14),(1,18),(2,13),(2,14),(2,18),(3,12),(3,14),(3,18),(4,11),(4,14),(4,18),(5,8),(5,9),(5,10),(5,16),(6,5),(6,11),(6,12),(6,13),(6,18),(8,15),(8,19),(9,15),(9,19),(10,15),(10,19),(11,8),(11,16),(11,17),(12,9),(12,16),(12,17),(13,10),(13,16),(13,17),(14,17),(15,7),(16,15),(16,19),(17,19),(18,16),(18,17),(19,7)],20)
=> ? = 2
[1,0,1,0,1,1,0,1,0,0,1,0]
=> [6,4,3,5,2,1] => [4,3,6,5,2,1] => ([(0,2),(0,3),(0,4),(1,8),(1,9),(2,1),(2,10),(2,11),(3,6),(3,7),(3,11),(4,6),(4,7),(4,10),(6,14),(7,12),(7,14),(8,13),(8,15),(9,13),(9,15),(10,8),(10,12),(10,14),(11,9),(11,12),(11,14),(12,13),(12,15),(13,5),(14,15),(15,5)],16)
=> ? = 3
[1,0,1,0,1,1,0,1,0,1,0,0]
=> [5,4,3,6,2,1] => [5,4,3,6,2,1] => ([(0,3),(0,4),(0,5),(1,9),(1,13),(2,8),(2,13),(3,11),(4,2),(4,6),(4,11),(5,1),(5,6),(5,11),(6,8),(6,9),(6,13),(8,10),(8,12),(9,10),(9,12),(10,7),(11,13),(12,7),(13,12)],14)
=> ? = 2
[1,0,1,0,1,1,0,1,1,0,0,0]
=> [4,5,3,6,2,1] => [4,5,3,6,2,1] => ([(0,1),(0,2),(0,4),(0,5),(1,9),(1,16),(2,10),(2,16),(3,6),(3,7),(3,15),(4,9),(4,11),(4,16),(5,3),(5,10),(5,11),(5,16),(6,13),(7,13),(7,14),(9,12),(10,6),(10,15),(11,7),(11,12),(11,15),(12,14),(13,8),(14,8),(15,13),(15,14),(16,12),(16,15)],17)
=> ? = 3
[1,1,1,1,1,1,0,0,0,0,0,0]
=> [1,2,3,4,5,6] => [1,2,3,4,5,6] => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
=> 0
Description
The jump number of the poset. A jump in a linear extension $e_1, \dots, e_n$ of a poset $P$ is a pair $(e_i, e_{i+1})$ so that $e_{i+1}$ does not cover $e_i$ in $P$. The jump number of a poset is the minimal number of jumps in linear extensions of a poset.
Mp00025: Dyck paths to 132-avoiding permutationPermutations
Mp00209: Permutations pattern posetPosets
St001632: Posets ⟶ ℤResult quality: 10% values known / values provided: 10%distinct values known / distinct values provided: 40%
Values
[1,0,1,0]
=> [2,1] => ([(0,1)],2)
=> 1 = 0 + 1
[1,1,0,0]
=> [1,2] => ([(0,1)],2)
=> 1 = 0 + 1
[1,0,1,0,1,0]
=> [3,2,1] => ([(0,2),(2,1)],3)
=> 1 = 0 + 1
[1,0,1,1,0,0]
=> [2,3,1] => ([(0,1),(0,2),(1,3),(2,3)],4)
=> 2 = 1 + 1
[1,1,0,0,1,0]
=> [3,1,2] => ([(0,1),(0,2),(1,3),(2,3)],4)
=> 2 = 1 + 1
[1,1,0,1,0,0]
=> [2,1,3] => ([(0,1),(0,2),(1,3),(2,3)],4)
=> 2 = 1 + 1
[1,1,1,0,0,0]
=> [1,2,3] => ([(0,2),(2,1)],3)
=> 1 = 0 + 1
[1,0,1,0,1,0,1,0]
=> [4,3,2,1] => ([(0,3),(2,1),(3,2)],4)
=> 1 = 0 + 1
[1,0,1,0,1,1,0,0]
=> [3,4,2,1] => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
=> 2 = 1 + 1
[1,0,1,1,0,0,1,0]
=> [4,2,3,1] => ([(0,1),(0,2),(0,3),(1,6),(2,4),(2,6),(3,4),(3,6),(4,5),(6,5)],7)
=> ? = 2 + 1
[1,0,1,1,0,1,0,0]
=> [3,2,4,1] => ([(0,1),(0,2),(0,3),(1,6),(2,4),(2,6),(3,4),(3,6),(4,5),(6,5)],7)
=> ? = 2 + 1
[1,0,1,1,1,0,0,0]
=> [2,3,4,1] => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
=> 2 = 1 + 1
[1,1,0,0,1,0,1,0]
=> [4,3,1,2] => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
=> 2 = 1 + 1
[1,1,0,0,1,1,0,0]
=> [3,4,1,2] => ([(0,1),(0,2),(1,4),(1,5),(2,4),(2,5),(4,3),(5,3)],6)
=> 2 = 1 + 1
[1,1,0,1,0,0,1,0]
=> [4,2,1,3] => ([(0,1),(0,2),(0,3),(1,6),(2,4),(2,6),(3,4),(3,6),(4,5),(6,5)],7)
=> ? = 2 + 1
[1,1,0,1,0,1,0,0]
=> [3,2,1,4] => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
=> 2 = 1 + 1
[1,1,0,1,1,0,0,0]
=> [2,3,1,4] => ([(0,1),(0,2),(0,3),(1,6),(2,4),(2,6),(3,4),(3,6),(4,5),(6,5)],7)
=> ? = 2 + 1
[1,1,1,0,0,0,1,0]
=> [4,1,2,3] => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
=> 2 = 1 + 1
[1,1,1,0,0,1,0,0]
=> [3,1,2,4] => ([(0,1),(0,2),(0,3),(1,6),(2,4),(2,6),(3,4),(3,6),(4,5),(6,5)],7)
=> ? = 2 + 1
[1,1,1,0,1,0,0,0]
=> [2,1,3,4] => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
=> 2 = 1 + 1
[1,1,1,1,0,0,0,0]
=> [1,2,3,4] => ([(0,3),(2,1),(3,2)],4)
=> 1 = 0 + 1
[1,0,1,0,1,0,1,0,1,0]
=> [5,4,3,2,1] => ([(0,4),(2,3),(3,1),(4,2)],5)
=> 1 = 0 + 1
[1,0,1,0,1,0,1,1,0,0]
=> [4,5,3,2,1] => ([(0,2),(0,4),(1,6),(2,5),(3,1),(3,7),(4,3),(4,5),(5,7),(7,6)],8)
=> ? = 1 + 1
[1,0,1,0,1,1,0,0,1,0]
=> [5,3,4,2,1] => ([(0,2),(0,3),(0,4),(1,7),(1,9),(2,8),(3,5),(3,8),(4,1),(4,5),(4,8),(5,7),(5,9),(7,6),(8,9),(9,6)],10)
=> ? = 2 + 1
[1,0,1,0,1,1,0,1,0,0]
=> [4,3,5,2,1] => ([(0,2),(0,3),(0,4),(1,7),(1,9),(2,8),(3,5),(3,8),(4,1),(4,5),(4,8),(5,7),(5,9),(7,6),(8,9),(9,6)],10)
=> ? = 2 + 1
[1,0,1,0,1,1,1,0,0,0]
=> [3,4,5,2,1] => ([(0,3),(0,4),(1,7),(2,6),(3,2),(3,5),(4,1),(4,5),(5,6),(5,7),(6,8),(7,8)],9)
=> ? = 1 + 1
[1,0,1,1,0,0,1,0,1,0]
=> [5,4,2,3,1] => ([(0,2),(0,3),(0,4),(1,7),(1,9),(2,8),(3,5),(3,8),(4,1),(4,5),(4,8),(5,7),(5,9),(7,6),(8,9),(9,6)],10)
=> ? = 2 + 1
[1,0,1,1,0,0,1,1,0,0]
=> [4,5,2,3,1] => ([(0,1),(0,2),(0,3),(1,7),(1,8),(2,5),(2,8),(3,5),(3,7),(3,8),(5,9),(6,4),(7,6),(7,9),(8,6),(8,9),(9,4)],10)
=> ? = 2 + 1
[1,0,1,1,0,1,0,0,1,0]
=> [5,3,2,4,1] => ([(0,1),(0,2),(0,3),(0,4),(1,10),(2,6),(2,7),(2,10),(3,5),(3,7),(3,10),(4,5),(4,6),(4,10),(5,9),(5,11),(6,9),(6,11),(7,9),(7,11),(9,8),(10,11),(11,8)],12)
=> ? = 3 + 1
[1,0,1,1,0,1,0,1,0,0]
=> [4,3,2,5,1] => ([(0,2),(0,3),(0,4),(1,7),(1,9),(2,8),(3,5),(3,8),(4,1),(4,5),(4,8),(5,7),(5,9),(7,6),(8,9),(9,6)],10)
=> ? = 2 + 1
[1,0,1,1,0,1,1,0,0,0]
=> [3,4,2,5,1] => ([(0,1),(0,2),(0,3),(0,4),(1,6),(1,11),(2,5),(2,11),(3,5),(3,7),(3,11),(4,6),(4,7),(4,11),(5,9),(6,10),(7,9),(7,10),(9,8),(10,8),(11,9),(11,10)],12)
=> ? = 3 + 1
[1,0,1,1,1,0,0,0,1,0]
=> [5,2,3,4,1] => ([(0,2),(0,3),(0,4),(1,9),(2,5),(2,7),(3,5),(3,6),(4,1),(4,6),(4,7),(5,10),(6,9),(6,10),(7,9),(7,10),(9,8),(10,8)],11)
=> ? = 2 + 1
[1,0,1,1,1,0,0,1,0,0]
=> [4,2,3,5,1] => ([(0,1),(0,2),(0,3),(0,4),(1,5),(1,10),(2,8),(2,9),(2,10),(3,7),(3,9),(3,10),(4,5),(4,7),(4,8),(5,11),(7,11),(7,12),(8,11),(8,12),(9,12),(10,11),(10,12),(11,6),(12,6)],13)
=> ? = 3 + 1
[1,0,1,1,1,0,1,0,0,0]
=> [3,2,4,5,1] => ([(0,2),(0,3),(0,4),(1,9),(2,5),(2,7),(3,5),(3,6),(4,1),(4,6),(4,7),(5,10),(6,9),(6,10),(7,9),(7,10),(9,8),(10,8)],11)
=> ? = 2 + 1
[1,0,1,1,1,1,0,0,0,0]
=> [2,3,4,5,1] => ([(0,2),(0,4),(1,6),(2,5),(3,1),(3,7),(4,3),(4,5),(5,7),(7,6)],8)
=> ? = 1 + 1
[1,1,0,0,1,0,1,0,1,0]
=> [5,4,3,1,2] => ([(0,2),(0,4),(1,6),(2,5),(3,1),(3,7),(4,3),(4,5),(5,7),(7,6)],8)
=> ? = 1 + 1
[1,1,0,0,1,0,1,1,0,0]
=> [4,5,3,1,2] => ([(0,1),(0,2),(0,3),(1,7),(1,8),(2,5),(2,8),(3,5),(3,7),(5,9),(6,4),(7,6),(7,9),(8,6),(8,9),(9,4)],10)
=> ? = 2 + 1
[1,1,0,0,1,1,0,0,1,0]
=> [5,3,4,1,2] => ([(0,1),(0,2),(0,3),(1,7),(1,8),(2,5),(2,8),(3,5),(3,7),(3,8),(5,9),(6,4),(7,6),(7,9),(8,6),(8,9),(9,4)],10)
=> ? = 2 + 1
[1,1,0,0,1,1,0,1,0,0]
=> [4,3,5,1,2] => ([(0,2),(0,3),(0,4),(1,9),(1,10),(2,6),(2,7),(3,5),(3,6),(4,1),(4,5),(4,7),(5,10),(6,9),(6,10),(7,9),(7,10),(9,8),(10,8)],11)
=> ? = 2 + 1
[1,1,0,0,1,1,1,0,0,0]
=> [3,4,5,1,2] => ([(0,3),(0,4),(1,8),(2,7),(2,8),(3,1),(3,5),(4,2),(4,5),(5,7),(5,8),(7,6),(8,6)],9)
=> ? = 1 + 1
[1,1,0,1,0,0,1,0,1,0]
=> [5,4,2,1,3] => ([(0,2),(0,3),(0,4),(1,7),(1,9),(2,8),(3,5),(3,8),(4,1),(4,5),(4,8),(5,7),(5,9),(7,6),(8,9),(9,6)],10)
=> ? = 2 + 1
[1,1,0,1,0,0,1,1,0,0]
=> [4,5,2,1,3] => ([(0,2),(0,3),(0,4),(1,9),(1,10),(2,6),(2,7),(3,5),(3,6),(4,1),(4,5),(4,7),(5,10),(6,9),(6,10),(7,9),(7,10),(9,8),(10,8)],11)
=> ? = 2 + 1
[1,1,0,1,0,1,0,0,1,0]
=> [5,3,2,1,4] => ([(0,2),(0,3),(0,4),(1,7),(1,9),(2,8),(3,5),(3,8),(4,1),(4,5),(4,8),(5,7),(5,9),(7,6),(8,9),(9,6)],10)
=> ? = 2 + 1
[1,1,0,1,0,1,0,1,0,0]
=> [4,3,2,1,5] => ([(0,2),(0,4),(1,6),(2,5),(3,1),(3,7),(4,3),(4,5),(5,7),(7,6)],8)
=> ? = 1 + 1
[1,1,0,1,0,1,1,0,0,0]
=> [3,4,2,1,5] => ([(0,2),(0,3),(0,4),(1,9),(2,5),(2,7),(3,5),(3,6),(4,1),(4,6),(4,7),(5,10),(6,9),(6,10),(7,9),(7,10),(9,8),(10,8)],11)
=> ? = 2 + 1
[1,1,0,1,1,0,0,0,1,0]
=> [5,2,3,1,4] => ([(0,1),(0,2),(0,3),(0,4),(1,5),(1,10),(2,8),(2,9),(2,10),(3,7),(3,9),(3,10),(4,5),(4,7),(4,8),(5,11),(7,11),(7,12),(8,11),(8,12),(9,12),(10,11),(10,12),(11,6),(12,6)],13)
=> ? = 3 + 1
[1,1,0,1,1,0,0,1,0,0]
=> [4,2,3,1,5] => ([(0,1),(0,2),(0,3),(0,4),(1,5),(1,10),(2,8),(2,9),(2,10),(3,7),(3,9),(3,10),(4,5),(4,7),(4,8),(5,11),(7,11),(7,12),(8,11),(8,12),(9,12),(10,11),(10,12),(11,6),(12,6)],13)
=> ? = 3 + 1
[1,1,0,1,1,0,1,0,0,0]
=> [3,2,4,1,5] => ([(0,1),(0,2),(0,3),(0,4),(1,6),(1,11),(2,5),(2,11),(3,5),(3,7),(3,11),(4,6),(4,7),(4,11),(5,9),(6,10),(7,9),(7,10),(9,8),(10,8),(11,9),(11,10)],12)
=> ? = 3 + 1
[1,1,0,1,1,1,0,0,0,0]
=> [2,3,4,1,5] => ([(0,2),(0,3),(0,4),(1,7),(1,9),(2,8),(3,5),(3,8),(4,1),(4,5),(4,8),(5,7),(5,9),(7,6),(8,9),(9,6)],10)
=> ? = 2 + 1
[1,1,1,0,0,0,1,0,1,0]
=> [5,4,1,2,3] => ([(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 + 1
[1,1,1,0,0,0,1,1,0,0]
=> [4,5,1,2,3] => ([(0,3),(0,4),(1,8),(2,7),(2,8),(3,1),(3,5),(4,2),(4,5),(5,7),(5,8),(7,6),(8,6)],9)
=> ? = 1 + 1
[1,1,1,0,0,1,0,0,1,0]
=> [5,3,1,2,4] => ([(0,1),(0,2),(0,3),(0,4),(1,6),(1,11),(2,5),(2,11),(3,5),(3,7),(3,11),(4,6),(4,7),(4,11),(5,9),(6,10),(7,9),(7,10),(9,8),(10,8),(11,9),(11,10)],12)
=> ? = 3 + 1
[1,1,1,0,0,1,0,1,0,0]
=> [4,3,1,2,5] => ([(0,2),(0,3),(0,4),(1,9),(2,5),(2,7),(3,5),(3,6),(4,1),(4,6),(4,7),(5,10),(6,9),(6,10),(7,9),(7,10),(9,8),(10,8)],11)
=> ? = 2 + 1
[1,1,1,0,0,1,1,0,0,0]
=> [3,4,1,2,5] => ([(0,1),(0,2),(0,3),(1,5),(1,6),(2,6),(2,7),(2,8),(3,5),(3,7),(3,8),(5,9),(5,10),(6,9),(6,10),(7,10),(8,9),(8,10),(9,4),(10,4)],11)
=> ? = 2 + 1
[1,1,1,0,1,0,0,0,1,0]
=> [5,2,1,3,4] => ([(0,2),(0,3),(0,4),(1,9),(2,5),(2,7),(3,5),(3,6),(4,1),(4,6),(4,7),(5,10),(6,9),(6,10),(7,9),(7,10),(9,8),(10,8)],11)
=> ? = 2 + 1
[1,1,1,0,1,0,0,1,0,0]
=> [4,2,1,3,5] => ([(0,1),(0,2),(0,3),(0,4),(1,6),(1,11),(2,5),(2,11),(3,5),(3,7),(3,11),(4,6),(4,7),(4,11),(5,9),(6,10),(7,9),(7,10),(9,8),(10,8),(11,9),(11,10)],12)
=> ? = 3 + 1
[1,1,1,0,1,0,1,0,0,0]
=> [3,2,1,4,5] => ([(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 + 1
[1,1,1,0,1,1,0,0,0,0]
=> [2,3,1,4,5] => ([(0,2),(0,3),(0,4),(1,7),(1,9),(2,8),(3,5),(3,8),(4,1),(4,5),(4,8),(5,7),(5,9),(7,6),(8,9),(9,6)],10)
=> ? = 2 + 1
[1,1,1,1,0,0,0,0,1,0]
=> [5,1,2,3,4] => ([(0,2),(0,4),(1,6),(2,5),(3,1),(3,7),(4,3),(4,5),(5,7),(7,6)],8)
=> ? = 1 + 1
[1,1,1,1,0,0,0,1,0,0]
=> [4,1,2,3,5] => ([(0,2),(0,3),(0,4),(1,7),(1,9),(2,8),(3,5),(3,8),(4,1),(4,5),(4,8),(5,7),(5,9),(7,6),(8,9),(9,6)],10)
=> ? = 2 + 1
[1,1,1,1,0,0,1,0,0,0]
=> [3,1,2,4,5] => ([(0,2),(0,3),(0,4),(1,7),(1,9),(2,8),(3,5),(3,8),(4,1),(4,5),(4,8),(5,7),(5,9),(7,6),(8,9),(9,6)],10)
=> ? = 2 + 1
[1,1,1,1,0,1,0,0,0,0]
=> [2,1,3,4,5] => ([(0,2),(0,4),(1,6),(2,5),(3,1),(3,7),(4,3),(4,5),(5,7),(7,6)],8)
=> ? = 1 + 1
[1,1,1,1,1,0,0,0,0,0]
=> [1,2,3,4,5] => ([(0,4),(2,3),(3,1),(4,2)],5)
=> 1 = 0 + 1
[1,0,1,0,1,0,1,0,1,0,1,0]
=> [6,5,4,3,2,1] => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
=> 1 = 0 + 1
[1,0,1,0,1,0,1,0,1,1,0,0]
=> [5,6,4,3,2,1] => ([(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)
=> ? = 1 + 1
[1,0,1,0,1,0,1,1,0,0,1,0]
=> [6,4,5,3,2,1] => ([(0,2),(0,3),(0,5),(1,8),(1,12),(2,10),(3,6),(3,10),(4,1),(4,9),(4,11),(5,4),(5,6),(5,10),(6,9),(6,11),(8,7),(9,8),(9,12),(10,11),(11,12),(12,7)],13)
=> ? = 2 + 1
[1,0,1,0,1,0,1,1,0,1,0,0]
=> [5,4,6,3,2,1] => ([(0,2),(0,3),(0,5),(1,8),(1,12),(2,10),(3,6),(3,10),(4,1),(4,9),(4,11),(5,4),(5,6),(5,10),(6,9),(6,11),(8,7),(9,8),(9,12),(10,11),(11,12),(12,7)],13)
=> ? = 2 + 1
[1,0,1,0,1,0,1,1,1,0,0,0]
=> [4,5,6,3,2,1] => ([(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)
=> ? = 1 + 1
[1,0,1,0,1,1,0,0,1,0,1,0]
=> [6,5,3,4,2,1] => ([(0,3),(0,4),(0,5),(1,9),(1,13),(2,8),(2,13),(3,11),(4,2),(4,6),(4,11),(5,1),(5,6),(5,11),(6,8),(6,9),(6,13),(8,10),(8,12),(9,10),(9,12),(10,7),(11,13),(12,7),(13,12)],14)
=> ? = 2 + 1
[1,1,1,1,1,1,0,0,0,0,0,0]
=> [1,2,3,4,5,6] => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
=> 1 = 0 + 1
Description
The number of indecomposable injective modules $I$ with $dim Ext^1(I,A)=1$ for the incidence algebra A of a poset.
Mp00025: Dyck paths to 132-avoiding permutationPermutations
Mp00209: Permutations pattern posetPosets
Mp00125: Posets dual posetPosets
St000298: Posets ⟶ ℤResult quality: 10% values known / values provided: 10%distinct values known / distinct values provided: 40%
Values
[1,0,1,0]
=> [2,1] => ([(0,1)],2)
=> ([(0,1)],2)
=> 1 = 0 + 1
[1,1,0,0]
=> [1,2] => ([(0,1)],2)
=> ([(0,1)],2)
=> 1 = 0 + 1
[1,0,1,0,1,0]
=> [3,2,1] => ([(0,2),(2,1)],3)
=> ([(0,2),(2,1)],3)
=> 1 = 0 + 1
[1,0,1,1,0,0]
=> [2,3,1] => ([(0,1),(0,2),(1,3),(2,3)],4)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> 2 = 1 + 1
[1,1,0,0,1,0]
=> [3,1,2] => ([(0,1),(0,2),(1,3),(2,3)],4)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> 2 = 1 + 1
[1,1,0,1,0,0]
=> [2,1,3] => ([(0,1),(0,2),(1,3),(2,3)],4)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> 2 = 1 + 1
[1,1,1,0,0,0]
=> [1,2,3] => ([(0,2),(2,1)],3)
=> ([(0,2),(2,1)],3)
=> 1 = 0 + 1
[1,0,1,0,1,0,1,0]
=> [4,3,2,1] => ([(0,3),(2,1),(3,2)],4)
=> ([(0,3),(2,1),(3,2)],4)
=> 1 = 0 + 1
[1,0,1,0,1,1,0,0]
=> [3,4,2,1] => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
=> ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
=> 2 = 1 + 1
[1,0,1,1,0,0,1,0]
=> [4,2,3,1] => ([(0,1),(0,2),(0,3),(1,6),(2,4),(2,6),(3,4),(3,6),(4,5),(6,5)],7)
=> ([(0,2),(0,3),(1,6),(2,4),(2,5),(3,1),(3,4),(3,5),(4,6),(5,6)],7)
=> ? = 2 + 1
[1,0,1,1,0,1,0,0]
=> [3,2,4,1] => ([(0,1),(0,2),(0,3),(1,6),(2,4),(2,6),(3,4),(3,6),(4,5),(6,5)],7)
=> ([(0,2),(0,3),(1,6),(2,4),(2,5),(3,1),(3,4),(3,5),(4,6),(5,6)],7)
=> ? = 2 + 1
[1,0,1,1,1,0,0,0]
=> [2,3,4,1] => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
=> ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
=> 2 = 1 + 1
[1,1,0,0,1,0,1,0]
=> [4,3,1,2] => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
=> ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
=> 2 = 1 + 1
[1,1,0,0,1,1,0,0]
=> [3,4,1,2] => ([(0,1),(0,2),(1,4),(1,5),(2,4),(2,5),(4,3),(5,3)],6)
=> ([(0,1),(0,2),(1,4),(1,5),(2,4),(2,5),(4,3),(5,3)],6)
=> 2 = 1 + 1
[1,1,0,1,0,0,1,0]
=> [4,2,1,3] => ([(0,1),(0,2),(0,3),(1,6),(2,4),(2,6),(3,4),(3,6),(4,5),(6,5)],7)
=> ([(0,2),(0,3),(1,6),(2,4),(2,5),(3,1),(3,4),(3,5),(4,6),(5,6)],7)
=> ? = 2 + 1
[1,1,0,1,0,1,0,0]
=> [3,2,1,4] => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
=> ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
=> 2 = 1 + 1
[1,1,0,1,1,0,0,0]
=> [2,3,1,4] => ([(0,1),(0,2),(0,3),(1,6),(2,4),(2,6),(3,4),(3,6),(4,5),(6,5)],7)
=> ([(0,2),(0,3),(1,6),(2,4),(2,5),(3,1),(3,4),(3,5),(4,6),(5,6)],7)
=> ? = 2 + 1
[1,1,1,0,0,0,1,0]
=> [4,1,2,3] => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
=> ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
=> 2 = 1 + 1
[1,1,1,0,0,1,0,0]
=> [3,1,2,4] => ([(0,1),(0,2),(0,3),(1,6),(2,4),(2,6),(3,4),(3,6),(4,5),(6,5)],7)
=> ([(0,2),(0,3),(1,6),(2,4),(2,5),(3,1),(3,4),(3,5),(4,6),(5,6)],7)
=> ? = 2 + 1
[1,1,1,0,1,0,0,0]
=> [2,1,3,4] => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
=> ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
=> 2 = 1 + 1
[1,1,1,1,0,0,0,0]
=> [1,2,3,4] => ([(0,3),(2,1),(3,2)],4)
=> ([(0,3),(2,1),(3,2)],4)
=> 1 = 0 + 1
[1,0,1,0,1,0,1,0,1,0]
=> [5,4,3,2,1] => ([(0,4),(2,3),(3,1),(4,2)],5)
=> ([(0,4),(2,3),(3,1),(4,2)],5)
=> 1 = 0 + 1
[1,0,1,0,1,0,1,1,0,0]
=> [4,5,3,2,1] => ([(0,2),(0,4),(1,6),(2,5),(3,1),(3,7),(4,3),(4,5),(5,7),(7,6)],8)
=> ([(0,2),(0,4),(1,6),(2,5),(3,1),(3,7),(4,3),(4,5),(5,7),(7,6)],8)
=> ? = 1 + 1
[1,0,1,0,1,1,0,0,1,0]
=> [5,3,4,2,1] => ([(0,2),(0,3),(0,4),(1,7),(1,9),(2,8),(3,5),(3,8),(4,1),(4,5),(4,8),(5,7),(5,9),(7,6),(8,9),(9,6)],10)
=> ([(0,2),(0,4),(1,8),(2,5),(2,6),(3,1),(3,7),(3,9),(4,3),(4,5),(4,6),(5,9),(6,7),(6,9),(7,8),(9,8)],10)
=> ? = 2 + 1
[1,0,1,0,1,1,0,1,0,0]
=> [4,3,5,2,1] => ([(0,2),(0,3),(0,4),(1,7),(1,9),(2,8),(3,5),(3,8),(4,1),(4,5),(4,8),(5,7),(5,9),(7,6),(8,9),(9,6)],10)
=> ([(0,2),(0,4),(1,8),(2,5),(2,6),(3,1),(3,7),(3,9),(4,3),(4,5),(4,6),(5,9),(6,7),(6,9),(7,8),(9,8)],10)
=> ? = 2 + 1
[1,0,1,0,1,1,1,0,0,0]
=> [3,4,5,2,1] => ([(0,3),(0,4),(1,7),(2,6),(3,2),(3,5),(4,1),(4,5),(5,6),(5,7),(6,8),(7,8)],9)
=> ([(0,3),(0,4),(1,7),(2,6),(3,2),(3,5),(4,1),(4,5),(5,6),(5,7),(6,8),(7,8)],9)
=> ? = 1 + 1
[1,0,1,1,0,0,1,0,1,0]
=> [5,4,2,3,1] => ([(0,2),(0,3),(0,4),(1,7),(1,9),(2,8),(3,5),(3,8),(4,1),(4,5),(4,8),(5,7),(5,9),(7,6),(8,9),(9,6)],10)
=> ([(0,2),(0,4),(1,8),(2,5),(2,6),(3,1),(3,7),(3,9),(4,3),(4,5),(4,6),(5,9),(6,7),(6,9),(7,8),(9,8)],10)
=> ? = 2 + 1
[1,0,1,1,0,0,1,1,0,0]
=> [4,5,2,3,1] => ([(0,1),(0,2),(0,3),(1,7),(1,8),(2,5),(2,8),(3,5),(3,7),(3,8),(5,9),(6,4),(7,6),(7,9),(8,6),(8,9),(9,4)],10)
=> ([(0,2),(0,3),(1,5),(1,8),(2,6),(2,7),(3,1),(3,6),(3,7),(4,9),(5,9),(6,4),(6,8),(7,4),(7,5),(7,8),(8,9)],10)
=> ? = 2 + 1
[1,0,1,1,0,1,0,0,1,0]
=> [5,3,2,4,1] => ([(0,1),(0,2),(0,3),(0,4),(1,10),(2,6),(2,7),(2,10),(3,5),(3,7),(3,10),(4,5),(4,6),(4,10),(5,9),(5,11),(6,9),(6,11),(7,9),(7,11),(9,8),(10,11),(11,8)],12)
=> ([(0,2),(0,4),(1,11),(2,5),(2,6),(2,7),(3,1),(3,8),(3,9),(3,10),(4,3),(4,5),(4,6),(4,7),(5,9),(5,10),(6,8),(6,10),(7,8),(7,9),(8,11),(9,11),(10,11)],12)
=> ? = 3 + 1
[1,0,1,1,0,1,0,1,0,0]
=> [4,3,2,5,1] => ([(0,2),(0,3),(0,4),(1,7),(1,9),(2,8),(3,5),(3,8),(4,1),(4,5),(4,8),(5,7),(5,9),(7,6),(8,9),(9,6)],10)
=> ([(0,2),(0,4),(1,8),(2,5),(2,6),(3,1),(3,7),(3,9),(4,3),(4,5),(4,6),(5,9),(6,7),(6,9),(7,8),(9,8)],10)
=> ? = 2 + 1
[1,0,1,1,0,1,1,0,0,0]
=> [3,4,2,5,1] => ([(0,1),(0,2),(0,3),(0,4),(1,6),(1,11),(2,5),(2,11),(3,5),(3,7),(3,11),(4,6),(4,7),(4,11),(5,9),(6,10),(7,9),(7,10),(9,8),(10,8),(11,9),(11,10)],12)
=> ([(0,3),(0,4),(1,8),(1,10),(2,7),(2,9),(3,2),(3,5),(3,6),(4,1),(4,5),(4,6),(5,9),(5,10),(6,7),(6,8),(6,9),(6,10),(7,11),(8,11),(9,11),(10,11)],12)
=> ? = 3 + 1
[1,0,1,1,1,0,0,0,1,0]
=> [5,2,3,4,1] => ([(0,2),(0,3),(0,4),(1,9),(2,5),(2,7),(3,5),(3,6),(4,1),(4,6),(4,7),(5,10),(6,9),(6,10),(7,9),(7,10),(9,8),(10,8)],11)
=> ([(0,3),(0,4),(1,10),(2,7),(2,8),(3,1),(3,5),(3,6),(4,2),(4,5),(4,6),(5,8),(5,10),(6,7),(6,10),(7,9),(8,9),(10,9)],11)
=> ? = 2 + 1
[1,0,1,1,1,0,0,1,0,0]
=> [4,2,3,5,1] => ([(0,1),(0,2),(0,3),(0,4),(1,5),(1,10),(2,8),(2,9),(2,10),(3,7),(3,9),(3,10),(4,5),(4,7),(4,8),(5,11),(7,11),(7,12),(8,11),(8,12),(9,12),(10,11),(10,12),(11,6),(12,6)],13)
=> ([(0,3),(0,4),(1,8),(1,9),(2,10),(2,11),(3,1),(3,5),(3,6),(3,7),(4,2),(4,5),(4,6),(4,7),(5,9),(5,11),(6,9),(6,10),(7,8),(7,10),(7,11),(8,12),(9,12),(10,12),(11,12)],13)
=> ? = 3 + 1
[1,0,1,1,1,0,1,0,0,0]
=> [3,2,4,5,1] => ([(0,2),(0,3),(0,4),(1,9),(2,5),(2,7),(3,5),(3,6),(4,1),(4,6),(4,7),(5,10),(6,9),(6,10),(7,9),(7,10),(9,8),(10,8)],11)
=> ([(0,3),(0,4),(1,10),(2,7),(2,8),(3,1),(3,5),(3,6),(4,2),(4,5),(4,6),(5,8),(5,10),(6,7),(6,10),(7,9),(8,9),(10,9)],11)
=> ? = 2 + 1
[1,0,1,1,1,1,0,0,0,0]
=> [2,3,4,5,1] => ([(0,2),(0,4),(1,6),(2,5),(3,1),(3,7),(4,3),(4,5),(5,7),(7,6)],8)
=> ([(0,2),(0,4),(1,6),(2,5),(3,1),(3,7),(4,3),(4,5),(5,7),(7,6)],8)
=> ? = 1 + 1
[1,1,0,0,1,0,1,0,1,0]
=> [5,4,3,1,2] => ([(0,2),(0,4),(1,6),(2,5),(3,1),(3,7),(4,3),(4,5),(5,7),(7,6)],8)
=> ([(0,2),(0,4),(1,6),(2,5),(3,1),(3,7),(4,3),(4,5),(5,7),(7,6)],8)
=> ? = 1 + 1
[1,1,0,0,1,0,1,1,0,0]
=> [4,5,3,1,2] => ([(0,1),(0,2),(0,3),(1,7),(1,8),(2,5),(2,8),(3,5),(3,7),(5,9),(6,4),(7,6),(7,9),(8,6),(8,9),(9,4)],10)
=> ([(0,2),(0,3),(1,4),(1,5),(2,7),(2,8),(3,1),(3,7),(3,8),(4,9),(5,9),(6,9),(7,5),(7,6),(8,4),(8,6)],10)
=> ? = 2 + 1
[1,1,0,0,1,1,0,0,1,0]
=> [5,3,4,1,2] => ([(0,1),(0,2),(0,3),(1,7),(1,8),(2,5),(2,8),(3,5),(3,7),(3,8),(5,9),(6,4),(7,6),(7,9),(8,6),(8,9),(9,4)],10)
=> ([(0,2),(0,3),(1,5),(1,8),(2,6),(2,7),(3,1),(3,6),(3,7),(4,9),(5,9),(6,4),(6,8),(7,4),(7,5),(7,8),(8,9)],10)
=> ? = 2 + 1
[1,1,0,0,1,1,0,1,0,0]
=> [4,3,5,1,2] => ([(0,2),(0,3),(0,4),(1,9),(1,10),(2,6),(2,7),(3,5),(3,6),(4,1),(4,5),(4,7),(5,10),(6,9),(6,10),(7,9),(7,10),(9,8),(10,8)],11)
=> ([(0,2),(0,3),(1,5),(1,9),(2,6),(2,7),(2,8),(3,1),(3,6),(3,7),(3,8),(4,10),(5,10),(6,9),(7,4),(7,9),(8,4),(8,5),(9,10)],11)
=> ? = 2 + 1
[1,1,0,0,1,1,1,0,0,0]
=> [3,4,5,1,2] => ([(0,3),(0,4),(1,8),(2,7),(2,8),(3,1),(3,5),(4,2),(4,5),(5,7),(5,8),(7,6),(8,6)],9)
=> ([(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
[1,1,0,1,0,0,1,0,1,0]
=> [5,4,2,1,3] => ([(0,2),(0,3),(0,4),(1,7),(1,9),(2,8),(3,5),(3,8),(4,1),(4,5),(4,8),(5,7),(5,9),(7,6),(8,9),(9,6)],10)
=> ([(0,2),(0,4),(1,8),(2,5),(2,6),(3,1),(3,7),(3,9),(4,3),(4,5),(4,6),(5,9),(6,7),(6,9),(7,8),(9,8)],10)
=> ? = 2 + 1
[1,1,0,1,0,0,1,1,0,0]
=> [4,5,2,1,3] => ([(0,2),(0,3),(0,4),(1,9),(1,10),(2,6),(2,7),(3,5),(3,6),(4,1),(4,5),(4,7),(5,10),(6,9),(6,10),(7,9),(7,10),(9,8),(10,8)],11)
=> ([(0,2),(0,3),(1,5),(1,9),(2,6),(2,7),(2,8),(3,1),(3,6),(3,7),(3,8),(4,10),(5,10),(6,9),(7,4),(7,9),(8,4),(8,5),(9,10)],11)
=> ? = 2 + 1
[1,1,0,1,0,1,0,0,1,0]
=> [5,3,2,1,4] => ([(0,2),(0,3),(0,4),(1,7),(1,9),(2,8),(3,5),(3,8),(4,1),(4,5),(4,8),(5,7),(5,9),(7,6),(8,9),(9,6)],10)
=> ([(0,2),(0,4),(1,8),(2,5),(2,6),(3,1),(3,7),(3,9),(4,3),(4,5),(4,6),(5,9),(6,7),(6,9),(7,8),(9,8)],10)
=> ? = 2 + 1
[1,1,0,1,0,1,0,1,0,0]
=> [4,3,2,1,5] => ([(0,2),(0,4),(1,6),(2,5),(3,1),(3,7),(4,3),(4,5),(5,7),(7,6)],8)
=> ([(0,2),(0,4),(1,6),(2,5),(3,1),(3,7),(4,3),(4,5),(5,7),(7,6)],8)
=> ? = 1 + 1
[1,1,0,1,0,1,1,0,0,0]
=> [3,4,2,1,5] => ([(0,2),(0,3),(0,4),(1,9),(2,5),(2,7),(3,5),(3,6),(4,1),(4,6),(4,7),(5,10),(6,9),(6,10),(7,9),(7,10),(9,8),(10,8)],11)
=> ([(0,3),(0,4),(1,10),(2,7),(2,8),(3,1),(3,5),(3,6),(4,2),(4,5),(4,6),(5,8),(5,10),(6,7),(6,10),(7,9),(8,9),(10,9)],11)
=> ? = 2 + 1
[1,1,0,1,1,0,0,0,1,0]
=> [5,2,3,1,4] => ([(0,1),(0,2),(0,3),(0,4),(1,5),(1,10),(2,8),(2,9),(2,10),(3,7),(3,9),(3,10),(4,5),(4,7),(4,8),(5,11),(7,11),(7,12),(8,11),(8,12),(9,12),(10,11),(10,12),(11,6),(12,6)],13)
=> ([(0,3),(0,4),(1,8),(1,9),(2,10),(2,11),(3,1),(3,5),(3,6),(3,7),(4,2),(4,5),(4,6),(4,7),(5,9),(5,11),(6,9),(6,10),(7,8),(7,10),(7,11),(8,12),(9,12),(10,12),(11,12)],13)
=> ? = 3 + 1
[1,1,0,1,1,0,0,1,0,0]
=> [4,2,3,1,5] => ([(0,1),(0,2),(0,3),(0,4),(1,5),(1,10),(2,8),(2,9),(2,10),(3,7),(3,9),(3,10),(4,5),(4,7),(4,8),(5,11),(7,11),(7,12),(8,11),(8,12),(9,12),(10,11),(10,12),(11,6),(12,6)],13)
=> ([(0,3),(0,4),(1,8),(1,9),(2,10),(2,11),(3,1),(3,5),(3,6),(3,7),(4,2),(4,5),(4,6),(4,7),(5,9),(5,11),(6,9),(6,10),(7,8),(7,10),(7,11),(8,12),(9,12),(10,12),(11,12)],13)
=> ? = 3 + 1
[1,1,0,1,1,0,1,0,0,0]
=> [3,2,4,1,5] => ([(0,1),(0,2),(0,3),(0,4),(1,6),(1,11),(2,5),(2,11),(3,5),(3,7),(3,11),(4,6),(4,7),(4,11),(5,9),(6,10),(7,9),(7,10),(9,8),(10,8),(11,9),(11,10)],12)
=> ([(0,3),(0,4),(1,8),(1,10),(2,7),(2,9),(3,2),(3,5),(3,6),(4,1),(4,5),(4,6),(5,9),(5,10),(6,7),(6,8),(6,9),(6,10),(7,11),(8,11),(9,11),(10,11)],12)
=> ? = 3 + 1
[1,1,0,1,1,1,0,0,0,0]
=> [2,3,4,1,5] => ([(0,2),(0,3),(0,4),(1,7),(1,9),(2,8),(3,5),(3,8),(4,1),(4,5),(4,8),(5,7),(5,9),(7,6),(8,9),(9,6)],10)
=> ([(0,2),(0,4),(1,8),(2,5),(2,6),(3,1),(3,7),(3,9),(4,3),(4,5),(4,6),(5,9),(6,7),(6,9),(7,8),(9,8)],10)
=> ? = 2 + 1
[1,1,1,0,0,0,1,0,1,0]
=> [5,4,1,2,3] => ([(0,3),(0,4),(1,7),(2,6),(3,2),(3,5),(4,1),(4,5),(5,6),(5,7),(6,8),(7,8)],9)
=> ([(0,3),(0,4),(1,7),(2,6),(3,2),(3,5),(4,1),(4,5),(5,6),(5,7),(6,8),(7,8)],9)
=> ? = 1 + 1
[1,1,1,0,0,0,1,1,0,0]
=> [4,5,1,2,3] => ([(0,3),(0,4),(1,8),(2,7),(2,8),(3,1),(3,5),(4,2),(4,5),(5,7),(5,8),(7,6),(8,6)],9)
=> ([(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
[1,1,1,0,0,1,0,0,1,0]
=> [5,3,1,2,4] => ([(0,1),(0,2),(0,3),(0,4),(1,6),(1,11),(2,5),(2,11),(3,5),(3,7),(3,11),(4,6),(4,7),(4,11),(5,9),(6,10),(7,9),(7,10),(9,8),(10,8),(11,9),(11,10)],12)
=> ([(0,3),(0,4),(1,8),(1,10),(2,7),(2,9),(3,2),(3,5),(3,6),(4,1),(4,5),(4,6),(5,9),(5,10),(6,7),(6,8),(6,9),(6,10),(7,11),(8,11),(9,11),(10,11)],12)
=> ? = 3 + 1
[1,1,1,0,0,1,0,1,0,0]
=> [4,3,1,2,5] => ([(0,2),(0,3),(0,4),(1,9),(2,5),(2,7),(3,5),(3,6),(4,1),(4,6),(4,7),(5,10),(6,9),(6,10),(7,9),(7,10),(9,8),(10,8)],11)
=> ([(0,3),(0,4),(1,10),(2,7),(2,8),(3,1),(3,5),(3,6),(4,2),(4,5),(4,6),(5,8),(5,10),(6,7),(6,10),(7,9),(8,9),(10,9)],11)
=> ? = 2 + 1
[1,1,1,0,0,1,1,0,0,0]
=> [3,4,1,2,5] => ([(0,1),(0,2),(0,3),(1,5),(1,6),(2,6),(2,7),(2,8),(3,5),(3,7),(3,8),(5,9),(5,10),(6,9),(6,10),(7,10),(8,9),(8,10),(9,4),(10,4)],11)
=> ([(0,2),(0,3),(1,8),(1,9),(2,5),(2,6),(2,7),(3,1),(3,5),(3,6),(3,7),(4,10),(5,8),(5,9),(6,4),(6,9),(7,4),(7,8),(8,10),(9,10)],11)
=> ? = 2 + 1
[1,1,1,0,1,0,0,0,1,0]
=> [5,2,1,3,4] => ([(0,2),(0,3),(0,4),(1,9),(2,5),(2,7),(3,5),(3,6),(4,1),(4,6),(4,7),(5,10),(6,9),(6,10),(7,9),(7,10),(9,8),(10,8)],11)
=> ([(0,3),(0,4),(1,10),(2,7),(2,8),(3,1),(3,5),(3,6),(4,2),(4,5),(4,6),(5,8),(5,10),(6,7),(6,10),(7,9),(8,9),(10,9)],11)
=> ? = 2 + 1
[1,1,1,0,1,0,0,1,0,0]
=> [4,2,1,3,5] => ([(0,1),(0,2),(0,3),(0,4),(1,6),(1,11),(2,5),(2,11),(3,5),(3,7),(3,11),(4,6),(4,7),(4,11),(5,9),(6,10),(7,9),(7,10),(9,8),(10,8),(11,9),(11,10)],12)
=> ([(0,3),(0,4),(1,8),(1,10),(2,7),(2,9),(3,2),(3,5),(3,6),(4,1),(4,5),(4,6),(5,9),(5,10),(6,7),(6,8),(6,9),(6,10),(7,11),(8,11),(9,11),(10,11)],12)
=> ? = 3 + 1
[1,1,1,0,1,0,1,0,0,0]
=> [3,2,1,4,5] => ([(0,3),(0,4),(1,7),(2,6),(3,2),(3,5),(4,1),(4,5),(5,6),(5,7),(6,8),(7,8)],9)
=> ([(0,3),(0,4),(1,7),(2,6),(3,2),(3,5),(4,1),(4,5),(5,6),(5,7),(6,8),(7,8)],9)
=> ? = 1 + 1
[1,1,1,0,1,1,0,0,0,0]
=> [2,3,1,4,5] => ([(0,2),(0,3),(0,4),(1,7),(1,9),(2,8),(3,5),(3,8),(4,1),(4,5),(4,8),(5,7),(5,9),(7,6),(8,9),(9,6)],10)
=> ([(0,2),(0,4),(1,8),(2,5),(2,6),(3,1),(3,7),(3,9),(4,3),(4,5),(4,6),(5,9),(6,7),(6,9),(7,8),(9,8)],10)
=> ? = 2 + 1
[1,1,1,1,0,0,0,0,1,0]
=> [5,1,2,3,4] => ([(0,2),(0,4),(1,6),(2,5),(3,1),(3,7),(4,3),(4,5),(5,7),(7,6)],8)
=> ([(0,2),(0,4),(1,6),(2,5),(3,1),(3,7),(4,3),(4,5),(5,7),(7,6)],8)
=> ? = 1 + 1
[1,1,1,1,0,0,0,1,0,0]
=> [4,1,2,3,5] => ([(0,2),(0,3),(0,4),(1,7),(1,9),(2,8),(3,5),(3,8),(4,1),(4,5),(4,8),(5,7),(5,9),(7,6),(8,9),(9,6)],10)
=> ([(0,2),(0,4),(1,8),(2,5),(2,6),(3,1),(3,7),(3,9),(4,3),(4,5),(4,6),(5,9),(6,7),(6,9),(7,8),(9,8)],10)
=> ? = 2 + 1
[1,1,1,1,0,0,1,0,0,0]
=> [3,1,2,4,5] => ([(0,2),(0,3),(0,4),(1,7),(1,9),(2,8),(3,5),(3,8),(4,1),(4,5),(4,8),(5,7),(5,9),(7,6),(8,9),(9,6)],10)
=> ([(0,2),(0,4),(1,8),(2,5),(2,6),(3,1),(3,7),(3,9),(4,3),(4,5),(4,6),(5,9),(6,7),(6,9),(7,8),(9,8)],10)
=> ? = 2 + 1
[1,1,1,1,0,1,0,0,0,0]
=> [2,1,3,4,5] => ([(0,2),(0,4),(1,6),(2,5),(3,1),(3,7),(4,3),(4,5),(5,7),(7,6)],8)
=> ([(0,2),(0,4),(1,6),(2,5),(3,1),(3,7),(4,3),(4,5),(5,7),(7,6)],8)
=> ? = 1 + 1
[1,1,1,1,1,0,0,0,0,0]
=> [1,2,3,4,5] => ([(0,4),(2,3),(3,1),(4,2)],5)
=> ([(0,4),(2,3),(3,1),(4,2)],5)
=> 1 = 0 + 1
[1,0,1,0,1,0,1,0,1,0,1,0]
=> [6,5,4,3,2,1] => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
=> ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
=> 1 = 0 + 1
[1,0,1,0,1,0,1,0,1,1,0,0]
=> [5,6,4,3,2,1] => ([(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)
=> ([(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)
=> ? = 1 + 1
[1,0,1,0,1,0,1,1,0,0,1,0]
=> [6,4,5,3,2,1] => ([(0,2),(0,3),(0,5),(1,8),(1,12),(2,10),(3,6),(3,10),(4,1),(4,9),(4,11),(5,4),(5,6),(5,10),(6,9),(6,11),(8,7),(9,8),(9,12),(10,11),(11,12),(12,7)],13)
=> ([(0,2),(0,5),(1,11),(2,6),(2,7),(3,4),(3,9),(3,12),(4,1),(4,8),(4,10),(5,3),(5,6),(5,7),(6,12),(7,9),(7,12),(8,11),(9,8),(9,10),(10,11),(12,10)],13)
=> ? = 2 + 1
[1,0,1,0,1,0,1,1,0,1,0,0]
=> [5,4,6,3,2,1] => ([(0,2),(0,3),(0,5),(1,8),(1,12),(2,10),(3,6),(3,10),(4,1),(4,9),(4,11),(5,4),(5,6),(5,10),(6,9),(6,11),(8,7),(9,8),(9,12),(10,11),(11,12),(12,7)],13)
=> ([(0,2),(0,5),(1,11),(2,6),(2,7),(3,4),(3,9),(3,12),(4,1),(4,8),(4,10),(5,3),(5,6),(5,7),(6,12),(7,9),(7,12),(8,11),(9,8),(9,10),(10,11),(12,10)],13)
=> ? = 2 + 1
[1,0,1,0,1,0,1,1,1,0,0,0]
=> [4,5,6,3,2,1] => ([(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)
=> ([(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)
=> ? = 1 + 1
[1,0,1,0,1,1,0,0,1,0,1,0]
=> [6,5,3,4,2,1] => ([(0,3),(0,4),(0,5),(1,9),(1,13),(2,8),(2,13),(3,11),(4,2),(4,6),(4,11),(5,1),(5,6),(5,11),(6,8),(6,9),(6,13),(8,10),(8,12),(9,10),(9,12),(10,7),(11,13),(12,7),(13,12)],14)
=> ([(0,2),(0,5),(1,12),(2,6),(2,7),(3,4),(3,8),(3,9),(3,13),(4,1),(4,10),(4,11),(5,3),(5,6),(5,7),(6,9),(6,13),(7,8),(7,13),(8,10),(9,11),(10,12),(11,12),(13,10),(13,11)],14)
=> ? = 2 + 1
[1,1,1,1,1,1,0,0,0,0,0,0]
=> [1,2,3,4,5,6] => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
=> ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
=> 1 = 0 + 1
Description
The order dimension or Dushnik-Miller dimension of a poset. This is the minimal number of linear orderings whose intersection is the given poset.
Mp00025: Dyck paths to 132-avoiding permutationPermutations
Mp00175: Permutations inverse Foata bijectionPermutations
Mp00209: Permutations pattern posetPosets
St000307: Posets ⟶ ℤResult quality: 10% values known / values provided: 10%distinct values known / distinct values provided: 60%
Values
[1,0,1,0]
=> [2,1] => [2,1] => ([(0,1)],2)
=> 1 = 0 + 1
[1,1,0,0]
=> [1,2] => [1,2] => ([(0,1)],2)
=> 1 = 0 + 1
[1,0,1,0,1,0]
=> [3,2,1] => [3,2,1] => ([(0,2),(2,1)],3)
=> 1 = 0 + 1
[1,0,1,1,0,0]
=> [2,3,1] => [2,3,1] => ([(0,1),(0,2),(1,3),(2,3)],4)
=> 2 = 1 + 1
[1,1,0,0,1,0]
=> [3,1,2] => [1,3,2] => ([(0,1),(0,2),(1,3),(2,3)],4)
=> 2 = 1 + 1
[1,1,0,1,0,0]
=> [2,1,3] => [2,1,3] => ([(0,1),(0,2),(1,3),(2,3)],4)
=> 2 = 1 + 1
[1,1,1,0,0,0]
=> [1,2,3] => [1,2,3] => ([(0,2),(2,1)],3)
=> 1 = 0 + 1
[1,0,1,0,1,0,1,0]
=> [4,3,2,1] => [4,3,2,1] => ([(0,3),(2,1),(3,2)],4)
=> 1 = 0 + 1
[1,0,1,0,1,1,0,0]
=> [3,4,2,1] => [3,4,2,1] => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
=> 2 = 1 + 1
[1,0,1,1,0,0,1,0]
=> [4,2,3,1] => [2,4,3,1] => ([(0,1),(0,2),(0,3),(1,6),(2,4),(2,6),(3,4),(3,6),(4,5),(6,5)],7)
=> ? = 2 + 1
[1,0,1,1,0,1,0,0]
=> [3,2,4,1] => [3,2,4,1] => ([(0,1),(0,2),(0,3),(1,6),(2,4),(2,6),(3,4),(3,6),(4,5),(6,5)],7)
=> ? = 2 + 1
[1,0,1,1,1,0,0,0]
=> [2,3,4,1] => [2,3,4,1] => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
=> 2 = 1 + 1
[1,1,0,0,1,0,1,0]
=> [4,3,1,2] => [1,4,3,2] => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
=> 2 = 1 + 1
[1,1,0,0,1,1,0,0]
=> [3,4,1,2] => [3,1,4,2] => ([(0,1),(0,2),(0,3),(0,4),(1,6),(1,7),(2,6),(2,7),(3,6),(3,7),(4,6),(4,7),(6,5),(7,5)],8)
=> ? = 1 + 1
[1,1,0,1,0,0,1,0]
=> [4,2,1,3] => [2,1,4,3] => ([(0,1),(0,2),(1,4),(1,5),(2,4),(2,5),(4,3),(5,3)],6)
=> 3 = 2 + 1
[1,1,0,1,0,1,0,0]
=> [3,2,1,4] => [3,2,1,4] => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
=> 2 = 1 + 1
[1,1,0,1,1,0,0,0]
=> [2,3,1,4] => [2,3,1,4] => ([(0,1),(0,2),(0,3),(1,6),(2,4),(2,6),(3,4),(3,6),(4,5),(6,5)],7)
=> ? = 2 + 1
[1,1,1,0,0,0,1,0]
=> [4,1,2,3] => [1,2,4,3] => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
=> 2 = 1 + 1
[1,1,1,0,0,1,0,0]
=> [3,1,2,4] => [1,3,2,4] => ([(0,1),(0,2),(0,3),(1,6),(2,4),(2,6),(3,4),(3,6),(4,5),(6,5)],7)
=> ? = 2 + 1
[1,1,1,0,1,0,0,0]
=> [2,1,3,4] => [2,1,3,4] => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
=> 2 = 1 + 1
[1,1,1,1,0,0,0,0]
=> [1,2,3,4] => [1,2,3,4] => ([(0,3),(2,1),(3,2)],4)
=> 1 = 0 + 1
[1,0,1,0,1,0,1,0,1,0]
=> [5,4,3,2,1] => [5,4,3,2,1] => ([(0,4),(2,3),(3,1),(4,2)],5)
=> 1 = 0 + 1
[1,0,1,0,1,0,1,1,0,0]
=> [4,5,3,2,1] => [4,5,3,2,1] => ([(0,2),(0,4),(1,6),(2,5),(3,1),(3,7),(4,3),(4,5),(5,7),(7,6)],8)
=> ? = 1 + 1
[1,0,1,0,1,1,0,0,1,0]
=> [5,3,4,2,1] => [3,5,4,2,1] => ([(0,2),(0,3),(0,4),(1,7),(1,9),(2,8),(3,5),(3,8),(4,1),(4,5),(4,8),(5,7),(5,9),(7,6),(8,9),(9,6)],10)
=> ? = 2 + 1
[1,0,1,0,1,1,0,1,0,0]
=> [4,3,5,2,1] => [4,3,5,2,1] => ([(0,2),(0,3),(0,4),(1,7),(1,9),(2,8),(3,5),(3,8),(4,1),(4,5),(4,8),(5,7),(5,9),(7,6),(8,9),(9,6)],10)
=> ? = 2 + 1
[1,0,1,0,1,1,1,0,0,0]
=> [3,4,5,2,1] => [3,4,5,2,1] => ([(0,3),(0,4),(1,7),(2,6),(3,2),(3,5),(4,1),(4,5),(5,6),(5,7),(6,8),(7,8)],9)
=> ? = 1 + 1
[1,0,1,1,0,0,1,0,1,0]
=> [5,4,2,3,1] => [2,5,4,3,1] => ([(0,2),(0,3),(0,4),(1,7),(1,9),(2,8),(3,5),(3,8),(4,1),(4,5),(4,8),(5,7),(5,9),(7,6),(8,9),(9,6)],10)
=> ? = 2 + 1
[1,0,1,1,0,0,1,1,0,0]
=> [4,5,2,3,1] => [4,2,5,3,1] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(1,10),(1,12),(2,8),(2,10),(2,12),(3,7),(3,10),(3,12),(4,6),(4,10),(4,12),(5,6),(5,7),(5,8),(5,12),(6,11),(6,13),(7,11),(7,13),(8,11),(8,13),(10,13),(11,9),(12,11),(12,13),(13,9)],14)
=> ? = 2 + 1
[1,0,1,1,0,1,0,0,1,0]
=> [5,3,2,4,1] => [3,2,5,4,1] => ([(0,1),(0,2),(0,3),(1,5),(1,6),(2,6),(2,7),(2,8),(3,5),(3,7),(3,8),(5,9),(5,10),(6,9),(6,10),(7,10),(8,9),(8,10),(9,4),(10,4)],11)
=> ? = 3 + 1
[1,0,1,1,0,1,0,1,0,0]
=> [4,3,2,5,1] => [4,3,2,5,1] => ([(0,2),(0,3),(0,4),(1,7),(1,9),(2,8),(3,5),(3,8),(4,1),(4,5),(4,8),(5,7),(5,9),(7,6),(8,9),(9,6)],10)
=> ? = 2 + 1
[1,0,1,1,0,1,1,0,0,0]
=> [3,4,2,5,1] => [3,4,2,5,1] => ([(0,1),(0,2),(0,3),(0,4),(1,6),(1,11),(2,5),(2,11),(3,5),(3,7),(3,11),(4,6),(4,7),(4,11),(5,9),(6,10),(7,9),(7,10),(9,8),(10,8),(11,9),(11,10)],12)
=> ? = 3 + 1
[1,0,1,1,1,0,0,0,1,0]
=> [5,2,3,4,1] => [2,3,5,4,1] => ([(0,2),(0,3),(0,4),(1,9),(2,5),(2,7),(3,5),(3,6),(4,1),(4,6),(4,7),(5,10),(6,9),(6,10),(7,9),(7,10),(9,8),(10,8)],11)
=> ? = 2 + 1
[1,0,1,1,1,0,0,1,0,0]
=> [4,2,3,5,1] => [2,4,3,5,1] => ([(0,1),(0,2),(0,3),(0,4),(1,5),(1,10),(2,8),(2,9),(2,10),(3,7),(3,9),(3,10),(4,5),(4,7),(4,8),(5,11),(7,11),(7,12),(8,11),(8,12),(9,12),(10,11),(10,12),(11,6),(12,6)],13)
=> ? = 3 + 1
[1,0,1,1,1,0,1,0,0,0]
=> [3,2,4,5,1] => [3,2,4,5,1] => ([(0,2),(0,3),(0,4),(1,9),(2,5),(2,7),(3,5),(3,6),(4,1),(4,6),(4,7),(5,10),(6,9),(6,10),(7,9),(7,10),(9,8),(10,8)],11)
=> ? = 2 + 1
[1,0,1,1,1,1,0,0,0,0]
=> [2,3,4,5,1] => [2,3,4,5,1] => ([(0,2),(0,4),(1,6),(2,5),(3,1),(3,7),(4,3),(4,5),(5,7),(7,6)],8)
=> ? = 1 + 1
[1,1,0,0,1,0,1,0,1,0]
=> [5,4,3,1,2] => [1,5,4,3,2] => ([(0,2),(0,4),(1,6),(2,5),(3,1),(3,7),(4,3),(4,5),(5,7),(7,6)],8)
=> ? = 1 + 1
[1,1,0,0,1,0,1,1,0,0]
=> [4,5,3,1,2] => [4,1,5,3,2] => ([(0,2),(0,3),(0,4),(0,5),(1,11),(1,12),(2,9),(2,10),(3,6),(3,9),(4,7),(4,9),(4,10),(5,1),(5,6),(5,7),(5,10),(6,11),(6,12),(7,11),(7,12),(9,12),(10,11),(10,12),(11,8),(12,8)],13)
=> ? = 2 + 1
[1,1,0,0,1,1,0,0,1,0]
=> [5,3,4,1,2] => [3,1,5,4,2] => ([(0,2),(0,3),(0,4),(0,5),(1,11),(1,12),(2,7),(2,10),(3,6),(3,10),(4,6),(4,8),(4,10),(5,1),(5,7),(5,8),(5,10),(6,12),(7,11),(7,12),(8,11),(8,12),(10,11),(10,12),(11,9),(12,9)],13)
=> ? = 2 + 1
[1,1,0,0,1,1,0,1,0,0]
=> [4,3,5,1,2] => [4,3,1,5,2] => ([(0,2),(0,3),(0,4),(0,5),(1,11),(1,12),(2,9),(2,10),(3,6),(3,9),(4,7),(4,9),(4,10),(5,1),(5,6),(5,7),(5,10),(6,11),(6,12),(7,11),(7,12),(9,12),(10,11),(10,12),(11,8),(12,8)],13)
=> ? = 2 + 1
[1,1,0,0,1,1,1,0,0,0]
=> [3,4,5,1,2] => [3,4,1,5,2] => ([(0,2),(0,3),(0,4),(0,5),(1,11),(1,12),(2,7),(2,10),(3,6),(3,10),(4,6),(4,8),(4,10),(5,1),(5,7),(5,8),(5,10),(6,12),(7,11),(7,12),(8,11),(8,12),(10,11),(10,12),(11,9),(12,9)],13)
=> ? = 1 + 1
[1,1,0,1,0,0,1,0,1,0]
=> [5,4,2,1,3] => [2,1,5,4,3] => ([(0,3),(0,4),(1,8),(2,7),(2,8),(3,1),(3,5),(4,2),(4,5),(5,7),(5,8),(7,6),(8,6)],9)
=> ? = 2 + 1
[1,1,0,1,0,0,1,1,0,0]
=> [4,5,2,1,3] => [4,2,1,5,3] => ([(0,2),(0,3),(0,4),(0,5),(1,11),(1,12),(2,7),(2,10),(3,6),(3,10),(4,6),(4,8),(4,10),(5,1),(5,7),(5,8),(5,10),(6,12),(7,11),(7,12),(8,11),(8,12),(10,11),(10,12),(11,9),(12,9)],13)
=> ? = 2 + 1
[1,1,0,1,0,1,0,0,1,0]
=> [5,3,2,1,4] => [3,2,1,5,4] => ([(0,3),(0,4),(1,8),(2,7),(2,8),(3,1),(3,5),(4,2),(4,5),(5,7),(5,8),(7,6),(8,6)],9)
=> ? = 2 + 1
[1,1,0,1,0,1,0,1,0,0]
=> [4,3,2,1,5] => [4,3,2,1,5] => ([(0,2),(0,4),(1,6),(2,5),(3,1),(3,7),(4,3),(4,5),(5,7),(7,6)],8)
=> ? = 1 + 1
[1,1,0,1,0,1,1,0,0,0]
=> [3,4,2,1,5] => [3,4,2,1,5] => ([(0,2),(0,3),(0,4),(1,9),(2,5),(2,7),(3,5),(3,6),(4,1),(4,6),(4,7),(5,10),(6,9),(6,10),(7,9),(7,10),(9,8),(10,8)],11)
=> ? = 2 + 1
[1,1,0,1,1,0,0,0,1,0]
=> [5,2,3,1,4] => [2,3,1,5,4] => ([(0,2),(0,3),(0,4),(1,9),(1,10),(2,6),(2,7),(3,5),(3,6),(4,1),(4,5),(4,7),(5,10),(6,9),(6,10),(7,9),(7,10),(9,8),(10,8)],11)
=> ? = 3 + 1
[1,1,0,1,1,0,0,1,0,0]
=> [4,2,3,1,5] => [2,4,3,1,5] => ([(0,1),(0,2),(0,3),(0,4),(1,5),(1,10),(2,8),(2,9),(2,10),(3,7),(3,9),(3,10),(4,5),(4,7),(4,8),(5,11),(7,11),(7,12),(8,11),(8,12),(9,12),(10,11),(10,12),(11,6),(12,6)],13)
=> ? = 3 + 1
[1,1,0,1,1,0,1,0,0,0]
=> [3,2,4,1,5] => [3,2,4,1,5] => ([(0,1),(0,2),(0,3),(0,4),(1,6),(1,11),(2,5),(2,11),(3,5),(3,7),(3,11),(4,6),(4,7),(4,11),(5,9),(6,10),(7,9),(7,10),(9,8),(10,8),(11,9),(11,10)],12)
=> ? = 3 + 1
[1,1,0,1,1,1,0,0,0,0]
=> [2,3,4,1,5] => [2,3,4,1,5] => ([(0,2),(0,3),(0,4),(1,7),(1,9),(2,8),(3,5),(3,8),(4,1),(4,5),(4,8),(5,7),(5,9),(7,6),(8,9),(9,6)],10)
=> ? = 2 + 1
[1,1,1,0,0,0,1,0,1,0]
=> [5,4,1,2,3] => [1,2,5,4,3] => ([(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 + 1
[1,1,1,0,0,0,1,1,0,0]
=> [4,5,1,2,3] => [1,4,2,5,3] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(1,10),(1,12),(2,8),(2,10),(2,12),(3,7),(3,10),(3,12),(4,6),(4,10),(4,12),(5,6),(5,7),(5,8),(5,12),(6,11),(6,13),(7,11),(7,13),(8,11),(8,13),(10,13),(11,9),(12,11),(12,13),(13,9)],14)
=> ? = 1 + 1
[1,1,1,0,0,1,0,0,1,0]
=> [5,3,1,2,4] => [1,3,2,5,4] => ([(0,1),(0,2),(0,3),(1,7),(1,8),(2,5),(2,8),(3,5),(3,7),(3,8),(5,9),(6,4),(7,6),(7,9),(8,6),(8,9),(9,4)],10)
=> ? = 3 + 1
[1,1,1,0,0,1,0,1,0,0]
=> [4,3,1,2,5] => [1,4,3,2,5] => ([(0,2),(0,3),(0,4),(1,9),(2,5),(2,7),(3,5),(3,6),(4,1),(4,6),(4,7),(5,10),(6,9),(6,10),(7,9),(7,10),(9,8),(10,8)],11)
=> ? = 2 + 1
[1,1,1,0,0,1,1,0,0,0]
=> [3,4,1,2,5] => [3,1,4,2,5] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(1,10),(1,12),(2,8),(2,10),(2,12),(3,7),(3,10),(3,12),(4,6),(4,10),(4,12),(5,6),(5,7),(5,8),(5,12),(6,11),(6,13),(7,11),(7,13),(8,11),(8,13),(10,13),(11,9),(12,11),(12,13),(13,9)],14)
=> ? = 2 + 1
[1,1,1,0,1,0,0,0,1,0]
=> [5,2,1,3,4] => [2,1,3,5,4] => ([(0,1),(0,2),(0,3),(1,7),(1,8),(2,5),(2,8),(3,5),(3,7),(5,9),(6,4),(7,6),(7,9),(8,6),(8,9),(9,4)],10)
=> ? = 2 + 1
[1,1,1,0,1,0,0,1,0,0]
=> [4,2,1,3,5] => [2,1,4,3,5] => ([(0,1),(0,2),(0,3),(1,7),(1,8),(2,5),(2,8),(3,5),(3,7),(3,8),(5,9),(6,4),(7,6),(7,9),(8,6),(8,9),(9,4)],10)
=> ? = 3 + 1
[1,1,1,0,1,0,1,0,0,0]
=> [3,2,1,4,5] => [3,2,1,4,5] => ([(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 + 1
[1,1,1,0,1,1,0,0,0,0]
=> [2,3,1,4,5] => [2,3,1,4,5] => ([(0,2),(0,3),(0,4),(1,7),(1,9),(2,8),(3,5),(3,8),(4,1),(4,5),(4,8),(5,7),(5,9),(7,6),(8,9),(9,6)],10)
=> ? = 2 + 1
[1,1,1,1,0,0,0,0,1,0]
=> [5,1,2,3,4] => [1,2,3,5,4] => ([(0,2),(0,4),(1,6),(2,5),(3,1),(3,7),(4,3),(4,5),(5,7),(7,6)],8)
=> ? = 1 + 1
[1,1,1,1,0,0,0,1,0,0]
=> [4,1,2,3,5] => [1,2,4,3,5] => ([(0,2),(0,3),(0,4),(1,7),(1,9),(2,8),(3,5),(3,8),(4,1),(4,5),(4,8),(5,7),(5,9),(7,6),(8,9),(9,6)],10)
=> ? = 2 + 1
[1,1,1,1,0,0,1,0,0,0]
=> [3,1,2,4,5] => [1,3,2,4,5] => ([(0,2),(0,3),(0,4),(1,7),(1,9),(2,8),(3,5),(3,8),(4,1),(4,5),(4,8),(5,7),(5,9),(7,6),(8,9),(9,6)],10)
=> ? = 2 + 1
[1,1,1,1,0,1,0,0,0,0]
=> [2,1,3,4,5] => [2,1,3,4,5] => ([(0,2),(0,4),(1,6),(2,5),(3,1),(3,7),(4,3),(4,5),(5,7),(7,6)],8)
=> ? = 1 + 1
[1,1,1,1,1,0,0,0,0,0]
=> [1,2,3,4,5] => [1,2,3,4,5] => ([(0,4),(2,3),(3,1),(4,2)],5)
=> 1 = 0 + 1
[1,0,1,0,1,0,1,0,1,0,1,0]
=> [6,5,4,3,2,1] => [6,5,4,3,2,1] => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
=> 1 = 0 + 1
[1,0,1,0,1,0,1,0,1,1,0,0]
=> [5,6,4,3,2,1] => [5,6,4,3,2,1] => ([(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)
=> ? = 1 + 1
[1,0,1,0,1,0,1,1,0,0,1,0]
=> [6,4,5,3,2,1] => [4,6,5,3,2,1] => ([(0,2),(0,3),(0,5),(1,8),(1,12),(2,10),(3,6),(3,10),(4,1),(4,9),(4,11),(5,4),(5,6),(5,10),(6,9),(6,11),(8,7),(9,8),(9,12),(10,11),(11,12),(12,7)],13)
=> ? = 2 + 1
[1,0,1,0,1,0,1,1,0,1,0,0]
=> [5,4,6,3,2,1] => [5,4,6,3,2,1] => ([(0,2),(0,3),(0,5),(1,8),(1,12),(2,10),(3,6),(3,10),(4,1),(4,9),(4,11),(5,4),(5,6),(5,10),(6,9),(6,11),(8,7),(9,8),(9,12),(10,11),(11,12),(12,7)],13)
=> ? = 2 + 1
[1,0,1,0,1,0,1,1,1,0,0,0]
=> [4,5,6,3,2,1] => [4,5,6,3,2,1] => ([(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)
=> ? = 1 + 1
[1,0,1,0,1,1,0,0,1,0,1,0]
=> [6,5,3,4,2,1] => [3,6,5,4,2,1] => ([(0,3),(0,4),(0,5),(1,9),(1,13),(2,8),(2,13),(3,11),(4,2),(4,6),(4,11),(5,1),(5,6),(5,11),(6,8),(6,9),(6,13),(8,10),(8,12),(9,10),(9,12),(10,7),(11,13),(12,7),(13,12)],14)
=> ? = 2 + 1
[1,1,1,1,1,1,0,0,0,0,0,0]
=> [1,2,3,4,5,6] => [1,2,3,4,5,6] => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
=> 1 = 0 + 1
Description
The number of rowmotion orbits of a poset. Rowmotion is an operation on order ideals in a poset $P$. It sends an order ideal $I$ to the order ideal generated by the minimal antichain of $P \setminus I$.
Mp00025: Dyck paths to 132-avoiding permutationPermutations
Mp00209: Permutations pattern posetPosets
Mp00125: Posets dual posetPosets
St000640: Posets ⟶ ℤResult quality: 10% values known / values provided: 10%distinct values known / distinct values provided: 40%
Values
[1,0,1,0]
=> [2,1] => ([(0,1)],2)
=> ([(0,1)],2)
=> 1 = 0 + 1
[1,1,0,0]
=> [1,2] => ([(0,1)],2)
=> ([(0,1)],2)
=> 1 = 0 + 1
[1,0,1,0,1,0]
=> [3,2,1] => ([(0,2),(2,1)],3)
=> ([(0,2),(2,1)],3)
=> 1 = 0 + 1
[1,0,1,1,0,0]
=> [2,3,1] => ([(0,1),(0,2),(1,3),(2,3)],4)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> 2 = 1 + 1
[1,1,0,0,1,0]
=> [3,1,2] => ([(0,1),(0,2),(1,3),(2,3)],4)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> 2 = 1 + 1
[1,1,0,1,0,0]
=> [2,1,3] => ([(0,1),(0,2),(1,3),(2,3)],4)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> 2 = 1 + 1
[1,1,1,0,0,0]
=> [1,2,3] => ([(0,2),(2,1)],3)
=> ([(0,2),(2,1)],3)
=> 1 = 0 + 1
[1,0,1,0,1,0,1,0]
=> [4,3,2,1] => ([(0,3),(2,1),(3,2)],4)
=> ([(0,3),(2,1),(3,2)],4)
=> 1 = 0 + 1
[1,0,1,0,1,1,0,0]
=> [3,4,2,1] => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
=> ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
=> 2 = 1 + 1
[1,0,1,1,0,0,1,0]
=> [4,2,3,1] => ([(0,1),(0,2),(0,3),(1,6),(2,4),(2,6),(3,4),(3,6),(4,5),(6,5)],7)
=> ([(0,2),(0,3),(1,6),(2,4),(2,5),(3,1),(3,4),(3,5),(4,6),(5,6)],7)
=> ? = 2 + 1
[1,0,1,1,0,1,0,0]
=> [3,2,4,1] => ([(0,1),(0,2),(0,3),(1,6),(2,4),(2,6),(3,4),(3,6),(4,5),(6,5)],7)
=> ([(0,2),(0,3),(1,6),(2,4),(2,5),(3,1),(3,4),(3,5),(4,6),(5,6)],7)
=> ? = 2 + 1
[1,0,1,1,1,0,0,0]
=> [2,3,4,1] => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
=> ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
=> 2 = 1 + 1
[1,1,0,0,1,0,1,0]
=> [4,3,1,2] => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
=> ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
=> 2 = 1 + 1
[1,1,0,0,1,1,0,0]
=> [3,4,1,2] => ([(0,1),(0,2),(1,4),(1,5),(2,4),(2,5),(4,3),(5,3)],6)
=> ([(0,1),(0,2),(1,4),(1,5),(2,4),(2,5),(4,3),(5,3)],6)
=> 2 = 1 + 1
[1,1,0,1,0,0,1,0]
=> [4,2,1,3] => ([(0,1),(0,2),(0,3),(1,6),(2,4),(2,6),(3,4),(3,6),(4,5),(6,5)],7)
=> ([(0,2),(0,3),(1,6),(2,4),(2,5),(3,1),(3,4),(3,5),(4,6),(5,6)],7)
=> ? = 2 + 1
[1,1,0,1,0,1,0,0]
=> [3,2,1,4] => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
=> ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
=> 2 = 1 + 1
[1,1,0,1,1,0,0,0]
=> [2,3,1,4] => ([(0,1),(0,2),(0,3),(1,6),(2,4),(2,6),(3,4),(3,6),(4,5),(6,5)],7)
=> ([(0,2),(0,3),(1,6),(2,4),(2,5),(3,1),(3,4),(3,5),(4,6),(5,6)],7)
=> ? = 2 + 1
[1,1,1,0,0,0,1,0]
=> [4,1,2,3] => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
=> ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
=> 2 = 1 + 1
[1,1,1,0,0,1,0,0]
=> [3,1,2,4] => ([(0,1),(0,2),(0,3),(1,6),(2,4),(2,6),(3,4),(3,6),(4,5),(6,5)],7)
=> ([(0,2),(0,3),(1,6),(2,4),(2,5),(3,1),(3,4),(3,5),(4,6),(5,6)],7)
=> ? = 2 + 1
[1,1,1,0,1,0,0,0]
=> [2,1,3,4] => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
=> ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
=> 2 = 1 + 1
[1,1,1,1,0,0,0,0]
=> [1,2,3,4] => ([(0,3),(2,1),(3,2)],4)
=> ([(0,3),(2,1),(3,2)],4)
=> 1 = 0 + 1
[1,0,1,0,1,0,1,0,1,0]
=> [5,4,3,2,1] => ([(0,4),(2,3),(3,1),(4,2)],5)
=> ([(0,4),(2,3),(3,1),(4,2)],5)
=> 1 = 0 + 1
[1,0,1,0,1,0,1,1,0,0]
=> [4,5,3,2,1] => ([(0,2),(0,4),(1,6),(2,5),(3,1),(3,7),(4,3),(4,5),(5,7),(7,6)],8)
=> ([(0,2),(0,4),(1,6),(2,5),(3,1),(3,7),(4,3),(4,5),(5,7),(7,6)],8)
=> ? = 1 + 1
[1,0,1,0,1,1,0,0,1,0]
=> [5,3,4,2,1] => ([(0,2),(0,3),(0,4),(1,7),(1,9),(2,8),(3,5),(3,8),(4,1),(4,5),(4,8),(5,7),(5,9),(7,6),(8,9),(9,6)],10)
=> ([(0,2),(0,4),(1,8),(2,5),(2,6),(3,1),(3,7),(3,9),(4,3),(4,5),(4,6),(5,9),(6,7),(6,9),(7,8),(9,8)],10)
=> ? = 2 + 1
[1,0,1,0,1,1,0,1,0,0]
=> [4,3,5,2,1] => ([(0,2),(0,3),(0,4),(1,7),(1,9),(2,8),(3,5),(3,8),(4,1),(4,5),(4,8),(5,7),(5,9),(7,6),(8,9),(9,6)],10)
=> ([(0,2),(0,4),(1,8),(2,5),(2,6),(3,1),(3,7),(3,9),(4,3),(4,5),(4,6),(5,9),(6,7),(6,9),(7,8),(9,8)],10)
=> ? = 2 + 1
[1,0,1,0,1,1,1,0,0,0]
=> [3,4,5,2,1] => ([(0,3),(0,4),(1,7),(2,6),(3,2),(3,5),(4,1),(4,5),(5,6),(5,7),(6,8),(7,8)],9)
=> ([(0,3),(0,4),(1,7),(2,6),(3,2),(3,5),(4,1),(4,5),(5,6),(5,7),(6,8),(7,8)],9)
=> ? = 1 + 1
[1,0,1,1,0,0,1,0,1,0]
=> [5,4,2,3,1] => ([(0,2),(0,3),(0,4),(1,7),(1,9),(2,8),(3,5),(3,8),(4,1),(4,5),(4,8),(5,7),(5,9),(7,6),(8,9),(9,6)],10)
=> ([(0,2),(0,4),(1,8),(2,5),(2,6),(3,1),(3,7),(3,9),(4,3),(4,5),(4,6),(5,9),(6,7),(6,9),(7,8),(9,8)],10)
=> ? = 2 + 1
[1,0,1,1,0,0,1,1,0,0]
=> [4,5,2,3,1] => ([(0,1),(0,2),(0,3),(1,7),(1,8),(2,5),(2,8),(3,5),(3,7),(3,8),(5,9),(6,4),(7,6),(7,9),(8,6),(8,9),(9,4)],10)
=> ([(0,2),(0,3),(1,5),(1,8),(2,6),(2,7),(3,1),(3,6),(3,7),(4,9),(5,9),(6,4),(6,8),(7,4),(7,5),(7,8),(8,9)],10)
=> ? = 2 + 1
[1,0,1,1,0,1,0,0,1,0]
=> [5,3,2,4,1] => ([(0,1),(0,2),(0,3),(0,4),(1,10),(2,6),(2,7),(2,10),(3,5),(3,7),(3,10),(4,5),(4,6),(4,10),(5,9),(5,11),(6,9),(6,11),(7,9),(7,11),(9,8),(10,11),(11,8)],12)
=> ([(0,2),(0,4),(1,11),(2,5),(2,6),(2,7),(3,1),(3,8),(3,9),(3,10),(4,3),(4,5),(4,6),(4,7),(5,9),(5,10),(6,8),(6,10),(7,8),(7,9),(8,11),(9,11),(10,11)],12)
=> ? = 3 + 1
[1,0,1,1,0,1,0,1,0,0]
=> [4,3,2,5,1] => ([(0,2),(0,3),(0,4),(1,7),(1,9),(2,8),(3,5),(3,8),(4,1),(4,5),(4,8),(5,7),(5,9),(7,6),(8,9),(9,6)],10)
=> ([(0,2),(0,4),(1,8),(2,5),(2,6),(3,1),(3,7),(3,9),(4,3),(4,5),(4,6),(5,9),(6,7),(6,9),(7,8),(9,8)],10)
=> ? = 2 + 1
[1,0,1,1,0,1,1,0,0,0]
=> [3,4,2,5,1] => ([(0,1),(0,2),(0,3),(0,4),(1,6),(1,11),(2,5),(2,11),(3,5),(3,7),(3,11),(4,6),(4,7),(4,11),(5,9),(6,10),(7,9),(7,10),(9,8),(10,8),(11,9),(11,10)],12)
=> ([(0,3),(0,4),(1,8),(1,10),(2,7),(2,9),(3,2),(3,5),(3,6),(4,1),(4,5),(4,6),(5,9),(5,10),(6,7),(6,8),(6,9),(6,10),(7,11),(8,11),(9,11),(10,11)],12)
=> ? = 3 + 1
[1,0,1,1,1,0,0,0,1,0]
=> [5,2,3,4,1] => ([(0,2),(0,3),(0,4),(1,9),(2,5),(2,7),(3,5),(3,6),(4,1),(4,6),(4,7),(5,10),(6,9),(6,10),(7,9),(7,10),(9,8),(10,8)],11)
=> ([(0,3),(0,4),(1,10),(2,7),(2,8),(3,1),(3,5),(3,6),(4,2),(4,5),(4,6),(5,8),(5,10),(6,7),(6,10),(7,9),(8,9),(10,9)],11)
=> ? = 2 + 1
[1,0,1,1,1,0,0,1,0,0]
=> [4,2,3,5,1] => ([(0,1),(0,2),(0,3),(0,4),(1,5),(1,10),(2,8),(2,9),(2,10),(3,7),(3,9),(3,10),(4,5),(4,7),(4,8),(5,11),(7,11),(7,12),(8,11),(8,12),(9,12),(10,11),(10,12),(11,6),(12,6)],13)
=> ([(0,3),(0,4),(1,8),(1,9),(2,10),(2,11),(3,1),(3,5),(3,6),(3,7),(4,2),(4,5),(4,6),(4,7),(5,9),(5,11),(6,9),(6,10),(7,8),(7,10),(7,11),(8,12),(9,12),(10,12),(11,12)],13)
=> ? = 3 + 1
[1,0,1,1,1,0,1,0,0,0]
=> [3,2,4,5,1] => ([(0,2),(0,3),(0,4),(1,9),(2,5),(2,7),(3,5),(3,6),(4,1),(4,6),(4,7),(5,10),(6,9),(6,10),(7,9),(7,10),(9,8),(10,8)],11)
=> ([(0,3),(0,4),(1,10),(2,7),(2,8),(3,1),(3,5),(3,6),(4,2),(4,5),(4,6),(5,8),(5,10),(6,7),(6,10),(7,9),(8,9),(10,9)],11)
=> ? = 2 + 1
[1,0,1,1,1,1,0,0,0,0]
=> [2,3,4,5,1] => ([(0,2),(0,4),(1,6),(2,5),(3,1),(3,7),(4,3),(4,5),(5,7),(7,6)],8)
=> ([(0,2),(0,4),(1,6),(2,5),(3,1),(3,7),(4,3),(4,5),(5,7),(7,6)],8)
=> ? = 1 + 1
[1,1,0,0,1,0,1,0,1,0]
=> [5,4,3,1,2] => ([(0,2),(0,4),(1,6),(2,5),(3,1),(3,7),(4,3),(4,5),(5,7),(7,6)],8)
=> ([(0,2),(0,4),(1,6),(2,5),(3,1),(3,7),(4,3),(4,5),(5,7),(7,6)],8)
=> ? = 1 + 1
[1,1,0,0,1,0,1,1,0,0]
=> [4,5,3,1,2] => ([(0,1),(0,2),(0,3),(1,7),(1,8),(2,5),(2,8),(3,5),(3,7),(5,9),(6,4),(7,6),(7,9),(8,6),(8,9),(9,4)],10)
=> ([(0,2),(0,3),(1,4),(1,5),(2,7),(2,8),(3,1),(3,7),(3,8),(4,9),(5,9),(6,9),(7,5),(7,6),(8,4),(8,6)],10)
=> ? = 2 + 1
[1,1,0,0,1,1,0,0,1,0]
=> [5,3,4,1,2] => ([(0,1),(0,2),(0,3),(1,7),(1,8),(2,5),(2,8),(3,5),(3,7),(3,8),(5,9),(6,4),(7,6),(7,9),(8,6),(8,9),(9,4)],10)
=> ([(0,2),(0,3),(1,5),(1,8),(2,6),(2,7),(3,1),(3,6),(3,7),(4,9),(5,9),(6,4),(6,8),(7,4),(7,5),(7,8),(8,9)],10)
=> ? = 2 + 1
[1,1,0,0,1,1,0,1,0,0]
=> [4,3,5,1,2] => ([(0,2),(0,3),(0,4),(1,9),(1,10),(2,6),(2,7),(3,5),(3,6),(4,1),(4,5),(4,7),(5,10),(6,9),(6,10),(7,9),(7,10),(9,8),(10,8)],11)
=> ([(0,2),(0,3),(1,5),(1,9),(2,6),(2,7),(2,8),(3,1),(3,6),(3,7),(3,8),(4,10),(5,10),(6,9),(7,4),(7,9),(8,4),(8,5),(9,10)],11)
=> ? = 2 + 1
[1,1,0,0,1,1,1,0,0,0]
=> [3,4,5,1,2] => ([(0,3),(0,4),(1,8),(2,7),(2,8),(3,1),(3,5),(4,2),(4,5),(5,7),(5,8),(7,6),(8,6)],9)
=> ([(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
[1,1,0,1,0,0,1,0,1,0]
=> [5,4,2,1,3] => ([(0,2),(0,3),(0,4),(1,7),(1,9),(2,8),(3,5),(3,8),(4,1),(4,5),(4,8),(5,7),(5,9),(7,6),(8,9),(9,6)],10)
=> ([(0,2),(0,4),(1,8),(2,5),(2,6),(3,1),(3,7),(3,9),(4,3),(4,5),(4,6),(5,9),(6,7),(6,9),(7,8),(9,8)],10)
=> ? = 2 + 1
[1,1,0,1,0,0,1,1,0,0]
=> [4,5,2,1,3] => ([(0,2),(0,3),(0,4),(1,9),(1,10),(2,6),(2,7),(3,5),(3,6),(4,1),(4,5),(4,7),(5,10),(6,9),(6,10),(7,9),(7,10),(9,8),(10,8)],11)
=> ([(0,2),(0,3),(1,5),(1,9),(2,6),(2,7),(2,8),(3,1),(3,6),(3,7),(3,8),(4,10),(5,10),(6,9),(7,4),(7,9),(8,4),(8,5),(9,10)],11)
=> ? = 2 + 1
[1,1,0,1,0,1,0,0,1,0]
=> [5,3,2,1,4] => ([(0,2),(0,3),(0,4),(1,7),(1,9),(2,8),(3,5),(3,8),(4,1),(4,5),(4,8),(5,7),(5,9),(7,6),(8,9),(9,6)],10)
=> ([(0,2),(0,4),(1,8),(2,5),(2,6),(3,1),(3,7),(3,9),(4,3),(4,5),(4,6),(5,9),(6,7),(6,9),(7,8),(9,8)],10)
=> ? = 2 + 1
[1,1,0,1,0,1,0,1,0,0]
=> [4,3,2,1,5] => ([(0,2),(0,4),(1,6),(2,5),(3,1),(3,7),(4,3),(4,5),(5,7),(7,6)],8)
=> ([(0,2),(0,4),(1,6),(2,5),(3,1),(3,7),(4,3),(4,5),(5,7),(7,6)],8)
=> ? = 1 + 1
[1,1,0,1,0,1,1,0,0,0]
=> [3,4,2,1,5] => ([(0,2),(0,3),(0,4),(1,9),(2,5),(2,7),(3,5),(3,6),(4,1),(4,6),(4,7),(5,10),(6,9),(6,10),(7,9),(7,10),(9,8),(10,8)],11)
=> ([(0,3),(0,4),(1,10),(2,7),(2,8),(3,1),(3,5),(3,6),(4,2),(4,5),(4,6),(5,8),(5,10),(6,7),(6,10),(7,9),(8,9),(10,9)],11)
=> ? = 2 + 1
[1,1,0,1,1,0,0,0,1,0]
=> [5,2,3,1,4] => ([(0,1),(0,2),(0,3),(0,4),(1,5),(1,10),(2,8),(2,9),(2,10),(3,7),(3,9),(3,10),(4,5),(4,7),(4,8),(5,11),(7,11),(7,12),(8,11),(8,12),(9,12),(10,11),(10,12),(11,6),(12,6)],13)
=> ([(0,3),(0,4),(1,8),(1,9),(2,10),(2,11),(3,1),(3,5),(3,6),(3,7),(4,2),(4,5),(4,6),(4,7),(5,9),(5,11),(6,9),(6,10),(7,8),(7,10),(7,11),(8,12),(9,12),(10,12),(11,12)],13)
=> ? = 3 + 1
[1,1,0,1,1,0,0,1,0,0]
=> [4,2,3,1,5] => ([(0,1),(0,2),(0,3),(0,4),(1,5),(1,10),(2,8),(2,9),(2,10),(3,7),(3,9),(3,10),(4,5),(4,7),(4,8),(5,11),(7,11),(7,12),(8,11),(8,12),(9,12),(10,11),(10,12),(11,6),(12,6)],13)
=> ([(0,3),(0,4),(1,8),(1,9),(2,10),(2,11),(3,1),(3,5),(3,6),(3,7),(4,2),(4,5),(4,6),(4,7),(5,9),(5,11),(6,9),(6,10),(7,8),(7,10),(7,11),(8,12),(9,12),(10,12),(11,12)],13)
=> ? = 3 + 1
[1,1,0,1,1,0,1,0,0,0]
=> [3,2,4,1,5] => ([(0,1),(0,2),(0,3),(0,4),(1,6),(1,11),(2,5),(2,11),(3,5),(3,7),(3,11),(4,6),(4,7),(4,11),(5,9),(6,10),(7,9),(7,10),(9,8),(10,8),(11,9),(11,10)],12)
=> ([(0,3),(0,4),(1,8),(1,10),(2,7),(2,9),(3,2),(3,5),(3,6),(4,1),(4,5),(4,6),(5,9),(5,10),(6,7),(6,8),(6,9),(6,10),(7,11),(8,11),(9,11),(10,11)],12)
=> ? = 3 + 1
[1,1,0,1,1,1,0,0,0,0]
=> [2,3,4,1,5] => ([(0,2),(0,3),(0,4),(1,7),(1,9),(2,8),(3,5),(3,8),(4,1),(4,5),(4,8),(5,7),(5,9),(7,6),(8,9),(9,6)],10)
=> ([(0,2),(0,4),(1,8),(2,5),(2,6),(3,1),(3,7),(3,9),(4,3),(4,5),(4,6),(5,9),(6,7),(6,9),(7,8),(9,8)],10)
=> ? = 2 + 1
[1,1,1,0,0,0,1,0,1,0]
=> [5,4,1,2,3] => ([(0,3),(0,4),(1,7),(2,6),(3,2),(3,5),(4,1),(4,5),(5,6),(5,7),(6,8),(7,8)],9)
=> ([(0,3),(0,4),(1,7),(2,6),(3,2),(3,5),(4,1),(4,5),(5,6),(5,7),(6,8),(7,8)],9)
=> ? = 1 + 1
[1,1,1,0,0,0,1,1,0,0]
=> [4,5,1,2,3] => ([(0,3),(0,4),(1,8),(2,7),(2,8),(3,1),(3,5),(4,2),(4,5),(5,7),(5,8),(7,6),(8,6)],9)
=> ([(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
[1,1,1,0,0,1,0,0,1,0]
=> [5,3,1,2,4] => ([(0,1),(0,2),(0,3),(0,4),(1,6),(1,11),(2,5),(2,11),(3,5),(3,7),(3,11),(4,6),(4,7),(4,11),(5,9),(6,10),(7,9),(7,10),(9,8),(10,8),(11,9),(11,10)],12)
=> ([(0,3),(0,4),(1,8),(1,10),(2,7),(2,9),(3,2),(3,5),(3,6),(4,1),(4,5),(4,6),(5,9),(5,10),(6,7),(6,8),(6,9),(6,10),(7,11),(8,11),(9,11),(10,11)],12)
=> ? = 3 + 1
[1,1,1,0,0,1,0,1,0,0]
=> [4,3,1,2,5] => ([(0,2),(0,3),(0,4),(1,9),(2,5),(2,7),(3,5),(3,6),(4,1),(4,6),(4,7),(5,10),(6,9),(6,10),(7,9),(7,10),(9,8),(10,8)],11)
=> ([(0,3),(0,4),(1,10),(2,7),(2,8),(3,1),(3,5),(3,6),(4,2),(4,5),(4,6),(5,8),(5,10),(6,7),(6,10),(7,9),(8,9),(10,9)],11)
=> ? = 2 + 1
[1,1,1,0,0,1,1,0,0,0]
=> [3,4,1,2,5] => ([(0,1),(0,2),(0,3),(1,5),(1,6),(2,6),(2,7),(2,8),(3,5),(3,7),(3,8),(5,9),(5,10),(6,9),(6,10),(7,10),(8,9),(8,10),(9,4),(10,4)],11)
=> ([(0,2),(0,3),(1,8),(1,9),(2,5),(2,6),(2,7),(3,1),(3,5),(3,6),(3,7),(4,10),(5,8),(5,9),(6,4),(6,9),(7,4),(7,8),(8,10),(9,10)],11)
=> ? = 2 + 1
[1,1,1,0,1,0,0,0,1,0]
=> [5,2,1,3,4] => ([(0,2),(0,3),(0,4),(1,9),(2,5),(2,7),(3,5),(3,6),(4,1),(4,6),(4,7),(5,10),(6,9),(6,10),(7,9),(7,10),(9,8),(10,8)],11)
=> ([(0,3),(0,4),(1,10),(2,7),(2,8),(3,1),(3,5),(3,6),(4,2),(4,5),(4,6),(5,8),(5,10),(6,7),(6,10),(7,9),(8,9),(10,9)],11)
=> ? = 2 + 1
[1,1,1,0,1,0,0,1,0,0]
=> [4,2,1,3,5] => ([(0,1),(0,2),(0,3),(0,4),(1,6),(1,11),(2,5),(2,11),(3,5),(3,7),(3,11),(4,6),(4,7),(4,11),(5,9),(6,10),(7,9),(7,10),(9,8),(10,8),(11,9),(11,10)],12)
=> ([(0,3),(0,4),(1,8),(1,10),(2,7),(2,9),(3,2),(3,5),(3,6),(4,1),(4,5),(4,6),(5,9),(5,10),(6,7),(6,8),(6,9),(6,10),(7,11),(8,11),(9,11),(10,11)],12)
=> ? = 3 + 1
[1,1,1,0,1,0,1,0,0,0]
=> [3,2,1,4,5] => ([(0,3),(0,4),(1,7),(2,6),(3,2),(3,5),(4,1),(4,5),(5,6),(5,7),(6,8),(7,8)],9)
=> ([(0,3),(0,4),(1,7),(2,6),(3,2),(3,5),(4,1),(4,5),(5,6),(5,7),(6,8),(7,8)],9)
=> ? = 1 + 1
[1,1,1,0,1,1,0,0,0,0]
=> [2,3,1,4,5] => ([(0,2),(0,3),(0,4),(1,7),(1,9),(2,8),(3,5),(3,8),(4,1),(4,5),(4,8),(5,7),(5,9),(7,6),(8,9),(9,6)],10)
=> ([(0,2),(0,4),(1,8),(2,5),(2,6),(3,1),(3,7),(3,9),(4,3),(4,5),(4,6),(5,9),(6,7),(6,9),(7,8),(9,8)],10)
=> ? = 2 + 1
[1,1,1,1,0,0,0,0,1,0]
=> [5,1,2,3,4] => ([(0,2),(0,4),(1,6),(2,5),(3,1),(3,7),(4,3),(4,5),(5,7),(7,6)],8)
=> ([(0,2),(0,4),(1,6),(2,5),(3,1),(3,7),(4,3),(4,5),(5,7),(7,6)],8)
=> ? = 1 + 1
[1,1,1,1,0,0,0,1,0,0]
=> [4,1,2,3,5] => ([(0,2),(0,3),(0,4),(1,7),(1,9),(2,8),(3,5),(3,8),(4,1),(4,5),(4,8),(5,7),(5,9),(7,6),(8,9),(9,6)],10)
=> ([(0,2),(0,4),(1,8),(2,5),(2,6),(3,1),(3,7),(3,9),(4,3),(4,5),(4,6),(5,9),(6,7),(6,9),(7,8),(9,8)],10)
=> ? = 2 + 1
[1,1,1,1,0,0,1,0,0,0]
=> [3,1,2,4,5] => ([(0,2),(0,3),(0,4),(1,7),(1,9),(2,8),(3,5),(3,8),(4,1),(4,5),(4,8),(5,7),(5,9),(7,6),(8,9),(9,6)],10)
=> ([(0,2),(0,4),(1,8),(2,5),(2,6),(3,1),(3,7),(3,9),(4,3),(4,5),(4,6),(5,9),(6,7),(6,9),(7,8),(9,8)],10)
=> ? = 2 + 1
[1,1,1,1,0,1,0,0,0,0]
=> [2,1,3,4,5] => ([(0,2),(0,4),(1,6),(2,5),(3,1),(3,7),(4,3),(4,5),(5,7),(7,6)],8)
=> ([(0,2),(0,4),(1,6),(2,5),(3,1),(3,7),(4,3),(4,5),(5,7),(7,6)],8)
=> ? = 1 + 1
[1,1,1,1,1,0,0,0,0,0]
=> [1,2,3,4,5] => ([(0,4),(2,3),(3,1),(4,2)],5)
=> ([(0,4),(2,3),(3,1),(4,2)],5)
=> 1 = 0 + 1
[1,0,1,0,1,0,1,0,1,0,1,0]
=> [6,5,4,3,2,1] => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
=> ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
=> 1 = 0 + 1
[1,0,1,0,1,0,1,0,1,1,0,0]
=> [5,6,4,3,2,1] => ([(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)
=> ([(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)
=> ? = 1 + 1
[1,0,1,0,1,0,1,1,0,0,1,0]
=> [6,4,5,3,2,1] => ([(0,2),(0,3),(0,5),(1,8),(1,12),(2,10),(3,6),(3,10),(4,1),(4,9),(4,11),(5,4),(5,6),(5,10),(6,9),(6,11),(8,7),(9,8),(9,12),(10,11),(11,12),(12,7)],13)
=> ([(0,2),(0,5),(1,11),(2,6),(2,7),(3,4),(3,9),(3,12),(4,1),(4,8),(4,10),(5,3),(5,6),(5,7),(6,12),(7,9),(7,12),(8,11),(9,8),(9,10),(10,11),(12,10)],13)
=> ? = 2 + 1
[1,0,1,0,1,0,1,1,0,1,0,0]
=> [5,4,6,3,2,1] => ([(0,2),(0,3),(0,5),(1,8),(1,12),(2,10),(3,6),(3,10),(4,1),(4,9),(4,11),(5,4),(5,6),(5,10),(6,9),(6,11),(8,7),(9,8),(9,12),(10,11),(11,12),(12,7)],13)
=> ([(0,2),(0,5),(1,11),(2,6),(2,7),(3,4),(3,9),(3,12),(4,1),(4,8),(4,10),(5,3),(5,6),(5,7),(6,12),(7,9),(7,12),(8,11),(9,8),(9,10),(10,11),(12,10)],13)
=> ? = 2 + 1
[1,0,1,0,1,0,1,1,1,0,0,0]
=> [4,5,6,3,2,1] => ([(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)
=> ([(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)
=> ? = 1 + 1
[1,0,1,0,1,1,0,0,1,0,1,0]
=> [6,5,3,4,2,1] => ([(0,3),(0,4),(0,5),(1,9),(1,13),(2,8),(2,13),(3,11),(4,2),(4,6),(4,11),(5,1),(5,6),(5,11),(6,8),(6,9),(6,13),(8,10),(8,12),(9,10),(9,12),(10,7),(11,13),(12,7),(13,12)],14)
=> ([(0,2),(0,5),(1,12),(2,6),(2,7),(3,4),(3,8),(3,9),(3,13),(4,1),(4,10),(4,11),(5,3),(5,6),(5,7),(6,9),(6,13),(7,8),(7,13),(8,10),(9,11),(10,12),(11,12),(13,10),(13,11)],14)
=> ? = 2 + 1
[1,1,1,1,1,1,0,0,0,0,0,0]
=> [1,2,3,4,5,6] => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
=> ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
=> 1 = 0 + 1
Description
The rank of the largest boolean interval in a poset.