Your data matches 7 different statistics following compositions of up to 3 maps.
(click to perform a complete search on your data)
Matching statistic: St000663
Mp00223: Permutations runsortPermutations
Mp00073: Permutations major-index to inversion-number bijectionPermutations
Mp00239: Permutations CorteelPermutations
St000663: Permutations ⟶ ℤResult quality: 100% values known / values provided: 100%distinct values known / distinct values provided: 100%
Values
[1] => [1] => [1] => [1] => 0
[1,2] => [1,2] => [1,2] => [1,2] => 0
[2,1] => [1,2] => [1,2] => [1,2] => 0
[1,2,3] => [1,2,3] => [1,2,3] => [1,2,3] => 0
[1,3,2] => [1,3,2] => [2,3,1] => [3,2,1] => 0
[2,1,3] => [1,3,2] => [2,3,1] => [3,2,1] => 0
[2,3,1] => [1,2,3] => [1,2,3] => [1,2,3] => 0
[3,1,2] => [1,2,3] => [1,2,3] => [1,2,3] => 0
[3,2,1] => [1,2,3] => [1,2,3] => [1,2,3] => 0
[1,2,3,4] => [1,2,3,4] => [1,2,3,4] => [1,2,3,4] => 0
[1,2,4,3] => [1,2,4,3] => [2,3,4,1] => [4,2,3,1] => 0
[1,3,2,4] => [1,3,2,4] => [2,3,1,4] => [3,2,1,4] => 1
[1,3,4,2] => [1,3,4,2] => [2,4,1,3] => [4,2,1,3] => 1
[1,4,2,3] => [1,4,2,3] => [2,1,4,3] => [2,1,4,3] => 1
[1,4,3,2] => [1,4,2,3] => [2,1,4,3] => [2,1,4,3] => 1
[2,1,3,4] => [1,3,4,2] => [2,4,1,3] => [4,2,1,3] => 1
[2,1,4,3] => [1,4,2,3] => [2,1,4,3] => [2,1,4,3] => 1
[2,3,1,4] => [1,4,2,3] => [2,1,4,3] => [2,1,4,3] => 1
[2,3,4,1] => [1,2,3,4] => [1,2,3,4] => [1,2,3,4] => 0
[2,4,1,3] => [1,3,2,4] => [2,3,1,4] => [3,2,1,4] => 1
[2,4,3,1] => [1,2,4,3] => [2,3,4,1] => [4,2,3,1] => 0
[3,1,2,4] => [1,2,4,3] => [2,3,4,1] => [4,2,3,1] => 0
[3,1,4,2] => [1,4,2,3] => [2,1,4,3] => [2,1,4,3] => 1
[3,2,1,4] => [1,4,2,3] => [2,1,4,3] => [2,1,4,3] => 1
[3,2,4,1] => [1,2,4,3] => [2,3,4,1] => [4,2,3,1] => 0
[3,4,1,2] => [1,2,3,4] => [1,2,3,4] => [1,2,3,4] => 0
[3,4,2,1] => [1,2,3,4] => [1,2,3,4] => [1,2,3,4] => 0
[4,1,2,3] => [1,2,3,4] => [1,2,3,4] => [1,2,3,4] => 0
[4,1,3,2] => [1,3,2,4] => [2,3,1,4] => [3,2,1,4] => 1
[4,2,1,3] => [1,3,2,4] => [2,3,1,4] => [3,2,1,4] => 1
[4,2,3,1] => [1,2,3,4] => [1,2,3,4] => [1,2,3,4] => 0
[4,3,1,2] => [1,2,3,4] => [1,2,3,4] => [1,2,3,4] => 0
[4,3,2,1] => [1,2,3,4] => [1,2,3,4] => [1,2,3,4] => 0
[1,2,3,4,5] => [1,2,3,4,5] => [1,2,3,4,5] => [1,2,3,4,5] => 0
[1,2,3,5,4] => [1,2,3,5,4] => [2,3,4,5,1] => [5,2,3,4,1] => 0
[1,2,4,3,5] => [1,2,4,3,5] => [2,3,4,1,5] => [4,2,3,1,5] => 1
[1,2,4,5,3] => [1,2,4,5,3] => [2,3,5,1,4] => [5,2,3,1,4] => 1
[1,2,5,3,4] => [1,2,5,3,4] => [2,3,1,5,4] => [3,2,1,5,4] => 1
[1,2,5,4,3] => [1,2,5,3,4] => [2,3,1,5,4] => [3,2,1,5,4] => 1
[1,3,2,4,5] => [1,3,2,4,5] => [2,3,1,4,5] => [3,2,1,4,5] => 0
[1,3,2,5,4] => [1,3,2,5,4] => [3,4,2,5,1] => [5,3,1,4,2] => 1
[1,3,4,2,5] => [1,3,4,2,5] => [2,4,1,3,5] => [4,2,1,3,5] => 2
[1,3,4,5,2] => [1,3,4,5,2] => [2,5,1,3,4] => [5,2,1,3,4] => 0
[1,3,5,2,4] => [1,3,5,2,4] => [2,1,4,5,3] => [2,1,5,4,3] => 1
[1,3,5,4,2] => [1,3,5,2,4] => [2,1,4,5,3] => [2,1,5,4,3] => 1
[1,4,2,3,5] => [1,4,2,3,5] => [2,1,4,3,5] => [2,1,4,3,5] => 2
[1,4,2,5,3] => [1,4,2,5,3] => [3,4,5,1,2] => [5,4,3,2,1] => 0
[1,4,3,2,5] => [1,4,2,5,3] => [3,4,5,1,2] => [5,4,3,2,1] => 0
[1,4,3,5,2] => [1,4,2,3,5] => [2,1,4,3,5] => [2,1,4,3,5] => 2
[1,4,5,2,3] => [1,4,5,2,3] => [2,1,5,3,4] => [2,1,5,3,4] => 1
Description
The number of right floats of a permutation. Let $\pi$ be a permutation of length $n$. A raft of $\pi$ is a non-empty maximal sequence of consecutive small ascents, [[St000441]], and a right float is a large ascent not consecutive to any raft of $\pi$. See Definition 3.10 and Example 3.11 in [1].
Matching statistic: St001396
Mp00223: Permutations runsortPermutations
Mp00209: Permutations pattern posetPosets
St001396: Posets ⟶ ℤResult quality: 9% values known / values provided: 9%distinct values known / distinct values provided: 50%
Values
[1] => [1] => ([],1)
=> 0
[1,2] => [1,2] => ([(0,1)],2)
=> 0
[2,1] => [1,2] => ([(0,1)],2)
=> 0
[1,2,3] => [1,2,3] => ([(0,2),(2,1)],3)
=> 0
[1,3,2] => [1,3,2] => ([(0,1),(0,2),(1,3),(2,3)],4)
=> 0
[2,1,3] => [1,3,2] => ([(0,1),(0,2),(1,3),(2,3)],4)
=> 0
[2,3,1] => [1,2,3] => ([(0,2),(2,1)],3)
=> 0
[3,1,2] => [1,2,3] => ([(0,2),(2,1)],3)
=> 0
[3,2,1] => [1,2,3] => ([(0,2),(2,1)],3)
=> 0
[1,2,3,4] => [1,2,3,4] => ([(0,3),(2,1),(3,2)],4)
=> 0
[1,2,4,3] => [1,2,4,3] => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
=> 0
[1,3,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)
=> 1
[1,3,4,2] => [1,3,4,2] => ([(0,1),(0,2),(0,3),(1,6),(2,4),(2,6),(3,4),(3,6),(4,5),(6,5)],7)
=> 1
[1,4,2,3] => [1,4,2,3] => ([(0,1),(0,2),(0,3),(1,6),(2,4),(2,6),(3,4),(3,6),(4,5),(6,5)],7)
=> 1
[1,4,3,2] => [1,4,2,3] => ([(0,1),(0,2),(0,3),(1,6),(2,4),(2,6),(3,4),(3,6),(4,5),(6,5)],7)
=> 1
[2,1,3,4] => [1,3,4,2] => ([(0,1),(0,2),(0,3),(1,6),(2,4),(2,6),(3,4),(3,6),(4,5),(6,5)],7)
=> 1
[2,1,4,3] => [1,4,2,3] => ([(0,1),(0,2),(0,3),(1,6),(2,4),(2,6),(3,4),(3,6),(4,5),(6,5)],7)
=> 1
[2,3,1,4] => [1,4,2,3] => ([(0,1),(0,2),(0,3),(1,6),(2,4),(2,6),(3,4),(3,6),(4,5),(6,5)],7)
=> 1
[2,3,4,1] => [1,2,3,4] => ([(0,3),(2,1),(3,2)],4)
=> 0
[2,4,1,3] => [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)
=> 1
[2,4,3,1] => [1,2,4,3] => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
=> 0
[3,1,2,4] => [1,2,4,3] => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
=> 0
[3,1,4,2] => [1,4,2,3] => ([(0,1),(0,2),(0,3),(1,6),(2,4),(2,6),(3,4),(3,6),(4,5),(6,5)],7)
=> 1
[3,2,1,4] => [1,4,2,3] => ([(0,1),(0,2),(0,3),(1,6),(2,4),(2,6),(3,4),(3,6),(4,5),(6,5)],7)
=> 1
[3,2,4,1] => [1,2,4,3] => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
=> 0
[3,4,1,2] => [1,2,3,4] => ([(0,3),(2,1),(3,2)],4)
=> 0
[3,4,2,1] => [1,2,3,4] => ([(0,3),(2,1),(3,2)],4)
=> 0
[4,1,2,3] => [1,2,3,4] => ([(0,3),(2,1),(3,2)],4)
=> 0
[4,1,3,2] => [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)
=> 1
[4,2,1,3] => [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)
=> 1
[4,2,3,1] => [1,2,3,4] => ([(0,3),(2,1),(3,2)],4)
=> 0
[4,3,1,2] => [1,2,3,4] => ([(0,3),(2,1),(3,2)],4)
=> 0
[4,3,2,1] => [1,2,3,4] => ([(0,3),(2,1),(3,2)],4)
=> 0
[1,2,3,4,5] => [1,2,3,4,5] => ([(0,4),(2,3),(3,1),(4,2)],5)
=> 0
[1,2,3,5,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)
=> ? = 0
[1,2,4,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)
=> ? = 1
[1,2,4,5,3] => [1,2,4,5,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)
=> ? = 1
[1,2,5,3,4] => [1,2,5,3,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)
=> ? = 1
[1,2,5,4,3] => [1,2,5,3,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)
=> ? = 1
[1,3,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)
=> ? = 0
[1,3,2,5,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)
=> ? = 1
[1,3,4,2,5] => [1,3,4,2,5] => ([(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)
=> ? = 2
[1,3,4,5,2] => [1,3,4,5,2] => ([(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
[1,3,5,2,4] => [1,3,5,2,4] => ([(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,3,5,4,2] => [1,3,5,2,4] => ([(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,4,2,3,5] => [1,4,2,3,5] => ([(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)
=> ? = 2
[1,4,2,5,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)
=> ? = 0
[1,4,3,2,5] => [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)
=> ? = 0
[1,4,3,5,2] => [1,4,2,3,5] => ([(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)
=> ? = 2
[1,4,5,2,3] => [1,4,5,2,3] => ([(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)
=> ? = 1
[1,4,5,3,2] => [1,4,5,2,3] => ([(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)
=> ? = 1
[1,5,2,3,4] => [1,5,2,3,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,5,2,4,3] => [1,5,2,4,3] => ([(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)
=> ? = 2
[1,5,3,2,4] => [1,5,2,4,3] => ([(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)
=> ? = 2
[1,5,3,4,2] => [1,5,2,3,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,5,4,2,3] => [1,5,2,3,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,5,4,3,2] => [1,5,2,3,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
[2,1,3,4,5] => [1,3,4,5,2] => ([(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,1,3,5,4] => [1,3,5,2,4] => ([(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
[2,1,4,3,5] => [1,4,2,3,5] => ([(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)
=> ? = 2
[2,1,4,5,3] => [1,4,5,2,3] => ([(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)
=> ? = 1
[2,1,5,3,4] => [1,5,2,3,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
[2,1,5,4,3] => [1,5,2,3,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
[2,3,1,4,5] => [1,4,5,2,3] => ([(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)
=> ? = 1
[2,3,1,5,4] => [1,5,2,3,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
[2,3,4,1,5] => [1,5,2,3,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
[2,3,4,5,1] => [1,2,3,4,5] => ([(0,4),(2,3),(3,1),(4,2)],5)
=> 0
[2,3,5,1,4] => [1,4,2,3,5] => ([(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)
=> ? = 2
[2,3,5,4,1] => [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)
=> ? = 0
[2,4,1,3,5] => [1,3,5,2,4] => ([(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
[2,4,1,5,3] => [1,5,2,4,3] => ([(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)
=> ? = 2
[2,4,3,1,5] => [1,5,2,4,3] => ([(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)
=> ? = 2
[2,4,3,5,1] => [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)
=> ? = 1
[2,4,5,1,3] => [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)
=> ? = 0
[2,4,5,3,1] => [1,2,4,5,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)
=> ? = 1
[2,5,1,3,4] => [1,3,4,2,5] => ([(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)
=> ? = 2
[2,5,1,4,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)
=> ? = 0
[2,5,3,1,4] => [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)
=> ? = 0
[2,5,3,4,1] => [1,2,5,3,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)
=> ? = 1
[2,5,4,1,3] => [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)
=> ? = 1
[2,5,4,3,1] => [1,2,5,3,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)
=> ? = 1
[3,1,2,4,5] => [1,2,4,5,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)
=> ? = 1
[3,1,2,5,4] => [1,2,5,3,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)
=> ? = 1
[3,1,4,2,5] => [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)
=> ? = 0
[3,1,4,5,2] => [1,4,5,2,3] => ([(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)
=> ? = 1
[3,4,5,1,2] => [1,2,3,4,5] => ([(0,4),(2,3),(3,1),(4,2)],5)
=> 0
[3,4,5,2,1] => [1,2,3,4,5] => ([(0,4),(2,3),(3,1),(4,2)],5)
=> 0
[4,5,1,2,3] => [1,2,3,4,5] => ([(0,4),(2,3),(3,1),(4,2)],5)
=> 0
[4,5,2,3,1] => [1,2,3,4,5] => ([(0,4),(2,3),(3,1),(4,2)],5)
=> 0
[4,5,3,1,2] => [1,2,3,4,5] => ([(0,4),(2,3),(3,1),(4,2)],5)
=> 0
[4,5,3,2,1] => [1,2,3,4,5] => ([(0,4),(2,3),(3,1),(4,2)],5)
=> 0
[5,1,2,3,4] => [1,2,3,4,5] => ([(0,4),(2,3),(3,1),(4,2)],5)
=> 0
[5,2,3,4,1] => [1,2,3,4,5] => ([(0,4),(2,3),(3,1),(4,2)],5)
=> 0
[5,3,4,1,2] => [1,2,3,4,5] => ([(0,4),(2,3),(3,1),(4,2)],5)
=> 0
[5,3,4,2,1] => [1,2,3,4,5] => ([(0,4),(2,3),(3,1),(4,2)],5)
=> 0
[5,4,1,2,3] => [1,2,3,4,5] => ([(0,4),(2,3),(3,1),(4,2)],5)
=> 0
[5,4,2,3,1] => [1,2,3,4,5] => ([(0,4),(2,3),(3,1),(4,2)],5)
=> 0
[5,4,3,1,2] => [1,2,3,4,5] => ([(0,4),(2,3),(3,1),(4,2)],5)
=> 0
[5,4,3,2,1] => [1,2,3,4,5] => ([(0,4),(2,3),(3,1),(4,2)],5)
=> 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
Number of triples of incomparable elements in a finite poset. For a finite poset this is the number of 3-element sets $S \in \binom{P}{3}$ that are pairwise incomparable.
Matching statistic: St001532
Mp00223: Permutations runsortPermutations
Mp00209: Permutations pattern posetPosets
St001532: Posets ⟶ ℤResult quality: 9% values known / values provided: 9%distinct values known / distinct values provided: 50%
Values
[1] => [1] => ([],1)
=> 1 = 0 + 1
[1,2] => [1,2] => ([(0,1)],2)
=> 1 = 0 + 1
[2,1] => [1,2] => ([(0,1)],2)
=> 1 = 0 + 1
[1,2,3] => [1,2,3] => ([(0,2),(2,1)],3)
=> 1 = 0 + 1
[1,3,2] => [1,3,2] => ([(0,1),(0,2),(1,3),(2,3)],4)
=> 1 = 0 + 1
[2,1,3] => [1,3,2] => ([(0,1),(0,2),(1,3),(2,3)],4)
=> 1 = 0 + 1
[2,3,1] => [1,2,3] => ([(0,2),(2,1)],3)
=> 1 = 0 + 1
[3,1,2] => [1,2,3] => ([(0,2),(2,1)],3)
=> 1 = 0 + 1
[3,2,1] => [1,2,3] => ([(0,2),(2,1)],3)
=> 1 = 0 + 1
[1,2,3,4] => [1,2,3,4] => ([(0,3),(2,1),(3,2)],4)
=> 1 = 0 + 1
[1,2,4,3] => [1,2,4,3] => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
=> 1 = 0 + 1
[1,3,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,3,4,2] => [1,3,4,2] => ([(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,4,2,3] => [1,4,2,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,4,3,2] => [1,4,2,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
[2,1,3,4] => [1,3,4,2] => ([(0,1),(0,2),(0,3),(1,6),(2,4),(2,6),(3,4),(3,6),(4,5),(6,5)],7)
=> 2 = 1 + 1
[2,1,4,3] => [1,4,2,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
[2,3,1,4] => [1,4,2,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
[2,3,4,1] => [1,2,3,4] => ([(0,3),(2,1),(3,2)],4)
=> 1 = 0 + 1
[2,4,1,3] => [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
[2,4,3,1] => [1,2,4,3] => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
=> 1 = 0 + 1
[3,1,2,4] => [1,2,4,3] => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
=> 1 = 0 + 1
[3,1,4,2] => [1,4,2,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
[3,2,1,4] => [1,4,2,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
[3,2,4,1] => [1,2,4,3] => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
=> 1 = 0 + 1
[3,4,1,2] => [1,2,3,4] => ([(0,3),(2,1),(3,2)],4)
=> 1 = 0 + 1
[3,4,2,1] => [1,2,3,4] => ([(0,3),(2,1),(3,2)],4)
=> 1 = 0 + 1
[4,1,2,3] => [1,2,3,4] => ([(0,3),(2,1),(3,2)],4)
=> 1 = 0 + 1
[4,1,3,2] => [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
[4,2,1,3] => [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
[4,2,3,1] => [1,2,3,4] => ([(0,3),(2,1),(3,2)],4)
=> 1 = 0 + 1
[4,3,1,2] => [1,2,3,4] => ([(0,3),(2,1),(3,2)],4)
=> 1 = 0 + 1
[4,3,2,1] => [1,2,3,4] => ([(0,3),(2,1),(3,2)],4)
=> 1 = 0 + 1
[1,2,3,4,5] => [1,2,3,4,5] => ([(0,4),(2,3),(3,1),(4,2)],5)
=> 1 = 0 + 1
[1,2,3,5,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)
=> ? = 0 + 1
[1,2,4,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)
=> ? = 1 + 1
[1,2,4,5,3] => [1,2,4,5,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)
=> ? = 1 + 1
[1,2,5,3,4] => [1,2,5,3,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)
=> ? = 1 + 1
[1,2,5,4,3] => [1,2,5,3,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)
=> ? = 1 + 1
[1,3,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)
=> ? = 0 + 1
[1,3,2,5,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)
=> ? = 1 + 1
[1,3,4,2,5] => [1,3,4,2,5] => ([(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)
=> ? = 2 + 1
[1,3,4,5,2] => [1,3,4,5,2] => ([(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 + 1
[1,3,5,2,4] => [1,3,5,2,4] => ([(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,3,5,4,2] => [1,3,5,2,4] => ([(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,4,2,3,5] => [1,4,2,3,5] => ([(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)
=> ? = 2 + 1
[1,4,2,5,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)
=> ? = 0 + 1
[1,4,3,2,5] => [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)
=> ? = 0 + 1
[1,4,3,5,2] => [1,4,2,3,5] => ([(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)
=> ? = 2 + 1
[1,4,5,2,3] => [1,4,5,2,3] => ([(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)
=> ? = 1 + 1
[1,4,5,3,2] => [1,4,5,2,3] => ([(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)
=> ? = 1 + 1
[1,5,2,3,4] => [1,5,2,3,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,5,2,4,3] => [1,5,2,4,3] => ([(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)
=> ? = 2 + 1
[1,5,3,2,4] => [1,5,2,4,3] => ([(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)
=> ? = 2 + 1
[1,5,3,4,2] => [1,5,2,3,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,5,4,2,3] => [1,5,2,3,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,5,4,3,2] => [1,5,2,3,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
[2,1,3,4,5] => [1,3,4,5,2] => ([(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 + 1
[2,1,3,5,4] => [1,3,5,2,4] => ([(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
[2,1,4,3,5] => [1,4,2,3,5] => ([(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)
=> ? = 2 + 1
[2,1,4,5,3] => [1,4,5,2,3] => ([(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)
=> ? = 1 + 1
[2,1,5,3,4] => [1,5,2,3,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
[2,1,5,4,3] => [1,5,2,3,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
[2,3,1,4,5] => [1,4,5,2,3] => ([(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)
=> ? = 1 + 1
[2,3,1,5,4] => [1,5,2,3,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
[2,3,4,1,5] => [1,5,2,3,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
[2,3,4,5,1] => [1,2,3,4,5] => ([(0,4),(2,3),(3,1),(4,2)],5)
=> 1 = 0 + 1
[2,3,5,1,4] => [1,4,2,3,5] => ([(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)
=> ? = 2 + 1
[2,3,5,4,1] => [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)
=> ? = 0 + 1
[2,4,1,3,5] => [1,3,5,2,4] => ([(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
[2,4,1,5,3] => [1,5,2,4,3] => ([(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)
=> ? = 2 + 1
[2,4,3,1,5] => [1,5,2,4,3] => ([(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)
=> ? = 2 + 1
[2,4,3,5,1] => [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)
=> ? = 1 + 1
[2,4,5,1,3] => [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)
=> ? = 0 + 1
[2,4,5,3,1] => [1,2,4,5,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)
=> ? = 1 + 1
[2,5,1,3,4] => [1,3,4,2,5] => ([(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)
=> ? = 2 + 1
[2,5,1,4,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)
=> ? = 0 + 1
[2,5,3,1,4] => [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)
=> ? = 0 + 1
[2,5,3,4,1] => [1,2,5,3,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)
=> ? = 1 + 1
[2,5,4,1,3] => [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)
=> ? = 1 + 1
[2,5,4,3,1] => [1,2,5,3,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)
=> ? = 1 + 1
[3,1,2,4,5] => [1,2,4,5,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)
=> ? = 1 + 1
[3,1,2,5,4] => [1,2,5,3,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)
=> ? = 1 + 1
[3,1,4,2,5] => [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)
=> ? = 0 + 1
[3,1,4,5,2] => [1,4,5,2,3] => ([(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)
=> ? = 1 + 1
[3,4,5,1,2] => [1,2,3,4,5] => ([(0,4),(2,3),(3,1),(4,2)],5)
=> 1 = 0 + 1
[3,4,5,2,1] => [1,2,3,4,5] => ([(0,4),(2,3),(3,1),(4,2)],5)
=> 1 = 0 + 1
[4,5,1,2,3] => [1,2,3,4,5] => ([(0,4),(2,3),(3,1),(4,2)],5)
=> 1 = 0 + 1
[4,5,2,3,1] => [1,2,3,4,5] => ([(0,4),(2,3),(3,1),(4,2)],5)
=> 1 = 0 + 1
[4,5,3,1,2] => [1,2,3,4,5] => ([(0,4),(2,3),(3,1),(4,2)],5)
=> 1 = 0 + 1
[4,5,3,2,1] => [1,2,3,4,5] => ([(0,4),(2,3),(3,1),(4,2)],5)
=> 1 = 0 + 1
[5,1,2,3,4] => [1,2,3,4,5] => ([(0,4),(2,3),(3,1),(4,2)],5)
=> 1 = 0 + 1
[5,2,3,4,1] => [1,2,3,4,5] => ([(0,4),(2,3),(3,1),(4,2)],5)
=> 1 = 0 + 1
[5,3,4,1,2] => [1,2,3,4,5] => ([(0,4),(2,3),(3,1),(4,2)],5)
=> 1 = 0 + 1
[5,3,4,2,1] => [1,2,3,4,5] => ([(0,4),(2,3),(3,1),(4,2)],5)
=> 1 = 0 + 1
[5,4,1,2,3] => [1,2,3,4,5] => ([(0,4),(2,3),(3,1),(4,2)],5)
=> 1 = 0 + 1
[5,4,2,3,1] => [1,2,3,4,5] => ([(0,4),(2,3),(3,1),(4,2)],5)
=> 1 = 0 + 1
[5,4,3,1,2] => [1,2,3,4,5] => ([(0,4),(2,3),(3,1),(4,2)],5)
=> 1 = 0 + 1
[5,4,3,2,1] => [1,2,3,4,5] => ([(0,4),(2,3),(3,1),(4,2)],5)
=> 1 = 0 + 1
[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 leading coefficient of the Poincare polynomial of the poset cone. For a poset $P$ on $\{1,\dots,n\}$, let $\mathcal K_P = \{\vec x\in\mathbb R^n| x_i < x_j \text{ for } i < _P j\}$. Furthermore let $\mathcal L(\mathcal A)$ be the intersection lattice of the braid arrangement $A_{n-1}$ and let $\mathcal L^{int} = \{ X \in \mathcal L(\mathcal A) | X \cap \mathcal K_P \neq \emptyset \}$. Then the Poincare polynomial of the poset cone is $Poin(t) = \sum_{X\in\mathcal L^{int}} |\mu(0, X)| t^{codim X}$. This statistic records its leading coefficient.
Matching statistic: St001964
Mp00223: Permutations runsortPermutations
Mp00209: Permutations pattern posetPosets
St001964: Posets ⟶ ℤResult quality: 7% values known / values provided: 7%distinct values known / distinct values provided: 25%
Values
[1] => [1] => ([],1)
=> 0
[1,2] => [1,2] => ([(0,1)],2)
=> 0
[2,1] => [1,2] => ([(0,1)],2)
=> 0
[1,2,3] => [1,2,3] => ([(0,2),(2,1)],3)
=> 0
[1,3,2] => [1,3,2] => ([(0,1),(0,2),(1,3),(2,3)],4)
=> 0
[2,1,3] => [1,3,2] => ([(0,1),(0,2),(1,3),(2,3)],4)
=> 0
[2,3,1] => [1,2,3] => ([(0,2),(2,1)],3)
=> 0
[3,1,2] => [1,2,3] => ([(0,2),(2,1)],3)
=> 0
[3,2,1] => [1,2,3] => ([(0,2),(2,1)],3)
=> 0
[1,2,3,4] => [1,2,3,4] => ([(0,3),(2,1),(3,2)],4)
=> 0
[1,2,4,3] => [1,2,4,3] => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
=> ? = 0
[1,3,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)
=> ? = 1
[1,3,4,2] => [1,3,4,2] => ([(0,1),(0,2),(0,3),(1,6),(2,4),(2,6),(3,4),(3,6),(4,5),(6,5)],7)
=> ? = 1
[1,4,2,3] => [1,4,2,3] => ([(0,1),(0,2),(0,3),(1,6),(2,4),(2,6),(3,4),(3,6),(4,5),(6,5)],7)
=> ? = 1
[1,4,3,2] => [1,4,2,3] => ([(0,1),(0,2),(0,3),(1,6),(2,4),(2,6),(3,4),(3,6),(4,5),(6,5)],7)
=> ? = 1
[2,1,3,4] => [1,3,4,2] => ([(0,1),(0,2),(0,3),(1,6),(2,4),(2,6),(3,4),(3,6),(4,5),(6,5)],7)
=> ? = 1
[2,1,4,3] => [1,4,2,3] => ([(0,1),(0,2),(0,3),(1,6),(2,4),(2,6),(3,4),(3,6),(4,5),(6,5)],7)
=> ? = 1
[2,3,1,4] => [1,4,2,3] => ([(0,1),(0,2),(0,3),(1,6),(2,4),(2,6),(3,4),(3,6),(4,5),(6,5)],7)
=> ? = 1
[2,3,4,1] => [1,2,3,4] => ([(0,3),(2,1),(3,2)],4)
=> 0
[2,4,1,3] => [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)
=> ? = 1
[2,4,3,1] => [1,2,4,3] => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
=> ? = 0
[3,1,2,4] => [1,2,4,3] => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
=> ? = 0
[3,1,4,2] => [1,4,2,3] => ([(0,1),(0,2),(0,3),(1,6),(2,4),(2,6),(3,4),(3,6),(4,5),(6,5)],7)
=> ? = 1
[3,2,1,4] => [1,4,2,3] => ([(0,1),(0,2),(0,3),(1,6),(2,4),(2,6),(3,4),(3,6),(4,5),(6,5)],7)
=> ? = 1
[3,2,4,1] => [1,2,4,3] => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
=> ? = 0
[3,4,1,2] => [1,2,3,4] => ([(0,3),(2,1),(3,2)],4)
=> 0
[3,4,2,1] => [1,2,3,4] => ([(0,3),(2,1),(3,2)],4)
=> 0
[4,1,2,3] => [1,2,3,4] => ([(0,3),(2,1),(3,2)],4)
=> 0
[4,1,3,2] => [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)
=> ? = 1
[4,2,1,3] => [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)
=> ? = 1
[4,2,3,1] => [1,2,3,4] => ([(0,3),(2,1),(3,2)],4)
=> 0
[4,3,1,2] => [1,2,3,4] => ([(0,3),(2,1),(3,2)],4)
=> 0
[4,3,2,1] => [1,2,3,4] => ([(0,3),(2,1),(3,2)],4)
=> 0
[1,2,3,4,5] => [1,2,3,4,5] => ([(0,4),(2,3),(3,1),(4,2)],5)
=> 0
[1,2,3,5,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)
=> ? = 0
[1,2,4,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)
=> ? = 1
[1,2,4,5,3] => [1,2,4,5,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)
=> ? = 1
[1,2,5,3,4] => [1,2,5,3,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)
=> ? = 1
[1,2,5,4,3] => [1,2,5,3,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)
=> ? = 1
[1,3,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)
=> ? = 0
[1,3,2,5,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)
=> ? = 1
[1,3,4,2,5] => [1,3,4,2,5] => ([(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)
=> ? = 2
[1,3,4,5,2] => [1,3,4,5,2] => ([(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
[1,3,5,2,4] => [1,3,5,2,4] => ([(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,3,5,4,2] => [1,3,5,2,4] => ([(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,4,2,3,5] => [1,4,2,3,5] => ([(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)
=> ? = 2
[1,4,2,5,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)
=> ? = 0
[1,4,3,2,5] => [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)
=> ? = 0
[1,4,3,5,2] => [1,4,2,3,5] => ([(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)
=> ? = 2
[1,4,5,2,3] => [1,4,5,2,3] => ([(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)
=> ? = 1
[1,4,5,3,2] => [1,4,5,2,3] => ([(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)
=> ? = 1
[1,5,2,3,4] => [1,5,2,3,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,5,2,4,3] => [1,5,2,4,3] => ([(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)
=> ? = 2
[1,5,3,2,4] => [1,5,2,4,3] => ([(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)
=> ? = 2
[1,5,3,4,2] => [1,5,2,3,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,5,4,2,3] => [1,5,2,3,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,5,4,3,2] => [1,5,2,3,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
[2,1,3,4,5] => [1,3,4,5,2] => ([(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,1,3,5,4] => [1,3,5,2,4] => ([(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
[2,1,4,3,5] => [1,4,2,3,5] => ([(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)
=> ? = 2
[2,1,4,5,3] => [1,4,5,2,3] => ([(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)
=> ? = 1
[2,1,5,3,4] => [1,5,2,3,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
[2,1,5,4,3] => [1,5,2,3,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
[2,3,1,4,5] => [1,4,5,2,3] => ([(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)
=> ? = 1
[2,3,1,5,4] => [1,5,2,3,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
[2,3,4,1,5] => [1,5,2,3,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
[2,3,4,5,1] => [1,2,3,4,5] => ([(0,4),(2,3),(3,1),(4,2)],5)
=> 0
[2,3,5,1,4] => [1,4,2,3,5] => ([(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)
=> ? = 2
[2,3,5,4,1] => [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)
=> ? = 0
[3,4,5,1,2] => [1,2,3,4,5] => ([(0,4),(2,3),(3,1),(4,2)],5)
=> 0
[3,4,5,2,1] => [1,2,3,4,5] => ([(0,4),(2,3),(3,1),(4,2)],5)
=> 0
[4,5,1,2,3] => [1,2,3,4,5] => ([(0,4),(2,3),(3,1),(4,2)],5)
=> 0
[4,5,2,3,1] => [1,2,3,4,5] => ([(0,4),(2,3),(3,1),(4,2)],5)
=> 0
[4,5,3,1,2] => [1,2,3,4,5] => ([(0,4),(2,3),(3,1),(4,2)],5)
=> 0
[4,5,3,2,1] => [1,2,3,4,5] => ([(0,4),(2,3),(3,1),(4,2)],5)
=> 0
[5,1,2,3,4] => [1,2,3,4,5] => ([(0,4),(2,3),(3,1),(4,2)],5)
=> 0
[5,2,3,4,1] => [1,2,3,4,5] => ([(0,4),(2,3),(3,1),(4,2)],5)
=> 0
[5,3,4,1,2] => [1,2,3,4,5] => ([(0,4),(2,3),(3,1),(4,2)],5)
=> 0
[5,3,4,2,1] => [1,2,3,4,5] => ([(0,4),(2,3),(3,1),(4,2)],5)
=> 0
[5,4,1,2,3] => [1,2,3,4,5] => ([(0,4),(2,3),(3,1),(4,2)],5)
=> 0
[5,4,2,3,1] => [1,2,3,4,5] => ([(0,4),(2,3),(3,1),(4,2)],5)
=> 0
[5,4,3,1,2] => [1,2,3,4,5] => ([(0,4),(2,3),(3,1),(4,2)],5)
=> 0
[5,4,3,2,1] => [1,2,3,4,5] => ([(0,4),(2,3),(3,1),(4,2)],5)
=> 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
[2,3,4,5,6,1] => [1,2,3,4,5,6] => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
=> 0
[3,4,5,6,1,2] => [1,2,3,4,5,6] => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
=> 0
[3,4,5,6,2,1] => [1,2,3,4,5,6] => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
=> 0
[4,5,6,1,2,3] => [1,2,3,4,5,6] => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
=> 0
[4,5,6,2,3,1] => [1,2,3,4,5,6] => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
=> 0
[4,5,6,3,1,2] => [1,2,3,4,5,6] => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
=> 0
[4,5,6,3,2,1] => [1,2,3,4,5,6] => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
=> 0
[5,6,1,2,3,4] => [1,2,3,4,5,6] => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
=> 0
[5,6,2,3,4,1] => [1,2,3,4,5,6] => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
=> 0
[5,6,3,4,1,2] => [1,2,3,4,5,6] => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
=> 0
[5,6,3,4,2,1] => [1,2,3,4,5,6] => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
=> 0
[5,6,4,1,2,3] => [1,2,3,4,5,6] => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
=> 0
[5,6,4,2,3,1] => [1,2,3,4,5,6] => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
=> 0
[5,6,4,3,1,2] => [1,2,3,4,5,6] => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
=> 0
[5,6,4,3,2,1] => [1,2,3,4,5,6] => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
=> 0
[6,1,2,3,4,5] => [1,2,3,4,5,6] => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
=> 0
Description
The interval resolution global dimension of a poset. This is the cardinality of the longest chain of right minimal approximations by interval modules of an indecomposable module over the incidence algebra.
Matching statistic: St000181
Mp00223: Permutations runsortPermutations
Mp00209: Permutations pattern posetPosets
St000181: Posets ⟶ ℤResult quality: 4% values known / values provided: 4%distinct values known / distinct values provided: 25%
Values
[1] => [1] => ([],1)
=> 1 = 0 + 1
[1,2] => [1,2] => ([(0,1)],2)
=> 1 = 0 + 1
[2,1] => [1,2] => ([(0,1)],2)
=> 1 = 0 + 1
[1,2,3] => [1,2,3] => ([(0,2),(2,1)],3)
=> 1 = 0 + 1
[1,3,2] => [1,3,2] => ([(0,1),(0,2),(1,3),(2,3)],4)
=> 1 = 0 + 1
[2,1,3] => [1,3,2] => ([(0,1),(0,2),(1,3),(2,3)],4)
=> 1 = 0 + 1
[2,3,1] => [1,2,3] => ([(0,2),(2,1)],3)
=> 1 = 0 + 1
[3,1,2] => [1,2,3] => ([(0,2),(2,1)],3)
=> 1 = 0 + 1
[3,2,1] => [1,2,3] => ([(0,2),(2,1)],3)
=> 1 = 0 + 1
[1,2,3,4] => [1,2,3,4] => ([(0,3),(2,1),(3,2)],4)
=> 1 = 0 + 1
[1,2,4,3] => [1,2,4,3] => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
=> ? = 0 + 1
[1,3,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)
=> ? = 1 + 1
[1,3,4,2] => [1,3,4,2] => ([(0,1),(0,2),(0,3),(1,6),(2,4),(2,6),(3,4),(3,6),(4,5),(6,5)],7)
=> ? = 1 + 1
[1,4,2,3] => [1,4,2,3] => ([(0,1),(0,2),(0,3),(1,6),(2,4),(2,6),(3,4),(3,6),(4,5),(6,5)],7)
=> ? = 1 + 1
[1,4,3,2] => [1,4,2,3] => ([(0,1),(0,2),(0,3),(1,6),(2,4),(2,6),(3,4),(3,6),(4,5),(6,5)],7)
=> ? = 1 + 1
[2,1,3,4] => [1,3,4,2] => ([(0,1),(0,2),(0,3),(1,6),(2,4),(2,6),(3,4),(3,6),(4,5),(6,5)],7)
=> ? = 1 + 1
[2,1,4,3] => [1,4,2,3] => ([(0,1),(0,2),(0,3),(1,6),(2,4),(2,6),(3,4),(3,6),(4,5),(6,5)],7)
=> ? = 1 + 1
[2,3,1,4] => [1,4,2,3] => ([(0,1),(0,2),(0,3),(1,6),(2,4),(2,6),(3,4),(3,6),(4,5),(6,5)],7)
=> ? = 1 + 1
[2,3,4,1] => [1,2,3,4] => ([(0,3),(2,1),(3,2)],4)
=> 1 = 0 + 1
[2,4,1,3] => [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)
=> ? = 1 + 1
[2,4,3,1] => [1,2,4,3] => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
=> ? = 0 + 1
[3,1,2,4] => [1,2,4,3] => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
=> ? = 0 + 1
[3,1,4,2] => [1,4,2,3] => ([(0,1),(0,2),(0,3),(1,6),(2,4),(2,6),(3,4),(3,6),(4,5),(6,5)],7)
=> ? = 1 + 1
[3,2,1,4] => [1,4,2,3] => ([(0,1),(0,2),(0,3),(1,6),(2,4),(2,6),(3,4),(3,6),(4,5),(6,5)],7)
=> ? = 1 + 1
[3,2,4,1] => [1,2,4,3] => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
=> ? = 0 + 1
[3,4,1,2] => [1,2,3,4] => ([(0,3),(2,1),(3,2)],4)
=> 1 = 0 + 1
[3,4,2,1] => [1,2,3,4] => ([(0,3),(2,1),(3,2)],4)
=> 1 = 0 + 1
[4,1,2,3] => [1,2,3,4] => ([(0,3),(2,1),(3,2)],4)
=> 1 = 0 + 1
[4,1,3,2] => [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)
=> ? = 1 + 1
[4,2,1,3] => [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)
=> ? = 1 + 1
[4,2,3,1] => [1,2,3,4] => ([(0,3),(2,1),(3,2)],4)
=> 1 = 0 + 1
[4,3,1,2] => [1,2,3,4] => ([(0,3),(2,1),(3,2)],4)
=> 1 = 0 + 1
[4,3,2,1] => [1,2,3,4] => ([(0,3),(2,1),(3,2)],4)
=> 1 = 0 + 1
[1,2,3,4,5] => [1,2,3,4,5] => ([(0,4),(2,3),(3,1),(4,2)],5)
=> 1 = 0 + 1
[1,2,3,5,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)
=> ? = 0 + 1
[1,2,4,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)
=> ? = 1 + 1
[1,2,4,5,3] => [1,2,4,5,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)
=> ? = 1 + 1
[1,2,5,3,4] => [1,2,5,3,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)
=> ? = 1 + 1
[1,2,5,4,3] => [1,2,5,3,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)
=> ? = 1 + 1
[1,3,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)
=> ? = 0 + 1
[1,3,2,5,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)
=> ? = 1 + 1
[1,3,4,2,5] => [1,3,4,2,5] => ([(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)
=> ? = 2 + 1
[1,3,4,5,2] => [1,3,4,5,2] => ([(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 + 1
[1,3,5,2,4] => [1,3,5,2,4] => ([(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,3,5,4,2] => [1,3,5,2,4] => ([(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,4,2,3,5] => [1,4,2,3,5] => ([(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)
=> ? = 2 + 1
[1,4,2,5,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)
=> ? = 0 + 1
[1,4,3,2,5] => [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)
=> ? = 0 + 1
[1,4,3,5,2] => [1,4,2,3,5] => ([(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)
=> ? = 2 + 1
[1,4,5,2,3] => [1,4,5,2,3] => ([(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)
=> ? = 1 + 1
[1,4,5,3,2] => [1,4,5,2,3] => ([(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)
=> ? = 1 + 1
[1,5,2,3,4] => [1,5,2,3,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,5,2,4,3] => [1,5,2,4,3] => ([(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)
=> ? = 2 + 1
[1,5,3,2,4] => [1,5,2,4,3] => ([(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)
=> ? = 2 + 1
[1,5,3,4,2] => [1,5,2,3,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,5,4,2,3] => [1,5,2,3,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,5,4,3,2] => [1,5,2,3,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
[2,1,3,4,5] => [1,3,4,5,2] => ([(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 + 1
[2,1,3,5,4] => [1,3,5,2,4] => ([(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
[2,1,4,3,5] => [1,4,2,3,5] => ([(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)
=> ? = 2 + 1
[2,1,4,5,3] => [1,4,5,2,3] => ([(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)
=> ? = 1 + 1
[2,1,5,3,4] => [1,5,2,3,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
[2,1,5,4,3] => [1,5,2,3,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
[2,3,1,4,5] => [1,4,5,2,3] => ([(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)
=> ? = 1 + 1
[2,3,1,5,4] => [1,5,2,3,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
[2,3,4,1,5] => [1,5,2,3,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
[2,3,4,5,1] => [1,2,3,4,5] => ([(0,4),(2,3),(3,1),(4,2)],5)
=> 1 = 0 + 1
[2,3,5,1,4] => [1,4,2,3,5] => ([(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)
=> ? = 2 + 1
[2,3,5,4,1] => [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)
=> ? = 0 + 1
[3,4,5,1,2] => [1,2,3,4,5] => ([(0,4),(2,3),(3,1),(4,2)],5)
=> 1 = 0 + 1
[3,4,5,2,1] => [1,2,3,4,5] => ([(0,4),(2,3),(3,1),(4,2)],5)
=> 1 = 0 + 1
[4,5,1,2,3] => [1,2,3,4,5] => ([(0,4),(2,3),(3,1),(4,2)],5)
=> 1 = 0 + 1
[4,5,2,3,1] => [1,2,3,4,5] => ([(0,4),(2,3),(3,1),(4,2)],5)
=> 1 = 0 + 1
[4,5,3,1,2] => [1,2,3,4,5] => ([(0,4),(2,3),(3,1),(4,2)],5)
=> 1 = 0 + 1
[4,5,3,2,1] => [1,2,3,4,5] => ([(0,4),(2,3),(3,1),(4,2)],5)
=> 1 = 0 + 1
[5,1,2,3,4] => [1,2,3,4,5] => ([(0,4),(2,3),(3,1),(4,2)],5)
=> 1 = 0 + 1
[5,2,3,4,1] => [1,2,3,4,5] => ([(0,4),(2,3),(3,1),(4,2)],5)
=> 1 = 0 + 1
[5,3,4,1,2] => [1,2,3,4,5] => ([(0,4),(2,3),(3,1),(4,2)],5)
=> 1 = 0 + 1
[5,3,4,2,1] => [1,2,3,4,5] => ([(0,4),(2,3),(3,1),(4,2)],5)
=> 1 = 0 + 1
[5,4,1,2,3] => [1,2,3,4,5] => ([(0,4),(2,3),(3,1),(4,2)],5)
=> 1 = 0 + 1
[5,4,2,3,1] => [1,2,3,4,5] => ([(0,4),(2,3),(3,1),(4,2)],5)
=> 1 = 0 + 1
[5,4,3,1,2] => [1,2,3,4,5] => ([(0,4),(2,3),(3,1),(4,2)],5)
=> 1 = 0 + 1
[5,4,3,2,1] => [1,2,3,4,5] => ([(0,4),(2,3),(3,1),(4,2)],5)
=> 1 = 0 + 1
Description
The number of connected components of the Hasse diagram for the poset.
Matching statistic: St001890
Mp00223: Permutations runsortPermutations
Mp00209: Permutations pattern posetPosets
St001890: Posets ⟶ ℤResult quality: 3% values known / values provided: 3%distinct values known / distinct values provided: 25%
Values
[1] => [1] => ([],1)
=> ? = 0 + 1
[1,2] => [1,2] => ([(0,1)],2)
=> 1 = 0 + 1
[2,1] => [1,2] => ([(0,1)],2)
=> 1 = 0 + 1
[1,2,3] => [1,2,3] => ([(0,2),(2,1)],3)
=> 1 = 0 + 1
[1,3,2] => [1,3,2] => ([(0,1),(0,2),(1,3),(2,3)],4)
=> 1 = 0 + 1
[2,1,3] => [1,3,2] => ([(0,1),(0,2),(1,3),(2,3)],4)
=> 1 = 0 + 1
[2,3,1] => [1,2,3] => ([(0,2),(2,1)],3)
=> 1 = 0 + 1
[3,1,2] => [1,2,3] => ([(0,2),(2,1)],3)
=> 1 = 0 + 1
[3,2,1] => [1,2,3] => ([(0,2),(2,1)],3)
=> 1 = 0 + 1
[1,2,3,4] => [1,2,3,4] => ([(0,3),(2,1),(3,2)],4)
=> 1 = 0 + 1
[1,2,4,3] => [1,2,4,3] => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
=> ? = 0 + 1
[1,3,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)
=> ? = 1 + 1
[1,3,4,2] => [1,3,4,2] => ([(0,1),(0,2),(0,3),(1,6),(2,4),(2,6),(3,4),(3,6),(4,5),(6,5)],7)
=> ? = 1 + 1
[1,4,2,3] => [1,4,2,3] => ([(0,1),(0,2),(0,3),(1,6),(2,4),(2,6),(3,4),(3,6),(4,5),(6,5)],7)
=> ? = 1 + 1
[1,4,3,2] => [1,4,2,3] => ([(0,1),(0,2),(0,3),(1,6),(2,4),(2,6),(3,4),(3,6),(4,5),(6,5)],7)
=> ? = 1 + 1
[2,1,3,4] => [1,3,4,2] => ([(0,1),(0,2),(0,3),(1,6),(2,4),(2,6),(3,4),(3,6),(4,5),(6,5)],7)
=> ? = 1 + 1
[2,1,4,3] => [1,4,2,3] => ([(0,1),(0,2),(0,3),(1,6),(2,4),(2,6),(3,4),(3,6),(4,5),(6,5)],7)
=> ? = 1 + 1
[2,3,1,4] => [1,4,2,3] => ([(0,1),(0,2),(0,3),(1,6),(2,4),(2,6),(3,4),(3,6),(4,5),(6,5)],7)
=> ? = 1 + 1
[2,3,4,1] => [1,2,3,4] => ([(0,3),(2,1),(3,2)],4)
=> 1 = 0 + 1
[2,4,1,3] => [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)
=> ? = 1 + 1
[2,4,3,1] => [1,2,4,3] => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
=> ? = 0 + 1
[3,1,2,4] => [1,2,4,3] => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
=> ? = 0 + 1
[3,1,4,2] => [1,4,2,3] => ([(0,1),(0,2),(0,3),(1,6),(2,4),(2,6),(3,4),(3,6),(4,5),(6,5)],7)
=> ? = 1 + 1
[3,2,1,4] => [1,4,2,3] => ([(0,1),(0,2),(0,3),(1,6),(2,4),(2,6),(3,4),(3,6),(4,5),(6,5)],7)
=> ? = 1 + 1
[3,2,4,1] => [1,2,4,3] => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
=> ? = 0 + 1
[3,4,1,2] => [1,2,3,4] => ([(0,3),(2,1),(3,2)],4)
=> 1 = 0 + 1
[3,4,2,1] => [1,2,3,4] => ([(0,3),(2,1),(3,2)],4)
=> 1 = 0 + 1
[4,1,2,3] => [1,2,3,4] => ([(0,3),(2,1),(3,2)],4)
=> 1 = 0 + 1
[4,1,3,2] => [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)
=> ? = 1 + 1
[4,2,1,3] => [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)
=> ? = 1 + 1
[4,2,3,1] => [1,2,3,4] => ([(0,3),(2,1),(3,2)],4)
=> 1 = 0 + 1
[4,3,1,2] => [1,2,3,4] => ([(0,3),(2,1),(3,2)],4)
=> 1 = 0 + 1
[4,3,2,1] => [1,2,3,4] => ([(0,3),(2,1),(3,2)],4)
=> 1 = 0 + 1
[1,2,3,4,5] => [1,2,3,4,5] => ([(0,4),(2,3),(3,1),(4,2)],5)
=> 1 = 0 + 1
[1,2,3,5,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)
=> ? = 0 + 1
[1,2,4,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)
=> ? = 1 + 1
[1,2,4,5,3] => [1,2,4,5,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)
=> ? = 1 + 1
[1,2,5,3,4] => [1,2,5,3,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)
=> ? = 1 + 1
[1,2,5,4,3] => [1,2,5,3,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)
=> ? = 1 + 1
[1,3,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)
=> ? = 0 + 1
[1,3,2,5,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)
=> ? = 1 + 1
[1,3,4,2,5] => [1,3,4,2,5] => ([(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)
=> ? = 2 + 1
[1,3,4,5,2] => [1,3,4,5,2] => ([(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 + 1
[1,3,5,2,4] => [1,3,5,2,4] => ([(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,3,5,4,2] => [1,3,5,2,4] => ([(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,4,2,3,5] => [1,4,2,3,5] => ([(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)
=> ? = 2 + 1
[1,4,2,5,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)
=> ? = 0 + 1
[1,4,3,2,5] => [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)
=> ? = 0 + 1
[1,4,3,5,2] => [1,4,2,3,5] => ([(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)
=> ? = 2 + 1
[1,4,5,2,3] => [1,4,5,2,3] => ([(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)
=> ? = 1 + 1
[1,4,5,3,2] => [1,4,5,2,3] => ([(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)
=> ? = 1 + 1
[1,5,2,3,4] => [1,5,2,3,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,5,2,4,3] => [1,5,2,4,3] => ([(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)
=> ? = 2 + 1
[1,5,3,2,4] => [1,5,2,4,3] => ([(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)
=> ? = 2 + 1
[1,5,3,4,2] => [1,5,2,3,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,5,4,2,3] => [1,5,2,3,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,5,4,3,2] => [1,5,2,3,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
[2,1,3,4,5] => [1,3,4,5,2] => ([(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 + 1
[2,1,3,5,4] => [1,3,5,2,4] => ([(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
[2,1,4,3,5] => [1,4,2,3,5] => ([(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)
=> ? = 2 + 1
[2,1,4,5,3] => [1,4,5,2,3] => ([(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)
=> ? = 1 + 1
[2,1,5,3,4] => [1,5,2,3,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
[2,1,5,4,3] => [1,5,2,3,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
[2,3,1,4,5] => [1,4,5,2,3] => ([(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)
=> ? = 1 + 1
[2,3,1,5,4] => [1,5,2,3,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
[2,3,4,1,5] => [1,5,2,3,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
[2,3,4,5,1] => [1,2,3,4,5] => ([(0,4),(2,3),(3,1),(4,2)],5)
=> 1 = 0 + 1
[2,3,5,1,4] => [1,4,2,3,5] => ([(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)
=> ? = 2 + 1
[3,4,5,1,2] => [1,2,3,4,5] => ([(0,4),(2,3),(3,1),(4,2)],5)
=> 1 = 0 + 1
[3,4,5,2,1] => [1,2,3,4,5] => ([(0,4),(2,3),(3,1),(4,2)],5)
=> 1 = 0 + 1
[4,5,1,2,3] => [1,2,3,4,5] => ([(0,4),(2,3),(3,1),(4,2)],5)
=> 1 = 0 + 1
[4,5,2,3,1] => [1,2,3,4,5] => ([(0,4),(2,3),(3,1),(4,2)],5)
=> 1 = 0 + 1
[4,5,3,1,2] => [1,2,3,4,5] => ([(0,4),(2,3),(3,1),(4,2)],5)
=> 1 = 0 + 1
[4,5,3,2,1] => [1,2,3,4,5] => ([(0,4),(2,3),(3,1),(4,2)],5)
=> 1 = 0 + 1
[5,1,2,3,4] => [1,2,3,4,5] => ([(0,4),(2,3),(3,1),(4,2)],5)
=> 1 = 0 + 1
[5,2,3,4,1] => [1,2,3,4,5] => ([(0,4),(2,3),(3,1),(4,2)],5)
=> 1 = 0 + 1
[5,3,4,1,2] => [1,2,3,4,5] => ([(0,4),(2,3),(3,1),(4,2)],5)
=> 1 = 0 + 1
[5,3,4,2,1] => [1,2,3,4,5] => ([(0,4),(2,3),(3,1),(4,2)],5)
=> 1 = 0 + 1
[5,4,1,2,3] => [1,2,3,4,5] => ([(0,4),(2,3),(3,1),(4,2)],5)
=> 1 = 0 + 1
[5,4,2,3,1] => [1,2,3,4,5] => ([(0,4),(2,3),(3,1),(4,2)],5)
=> 1 = 0 + 1
[5,4,3,1,2] => [1,2,3,4,5] => ([(0,4),(2,3),(3,1),(4,2)],5)
=> 1 = 0 + 1
[5,4,3,2,1] => [1,2,3,4,5] => ([(0,4),(2,3),(3,1),(4,2)],5)
=> 1 = 0 + 1
Description
The maximum magnitude of the Möbius function of a poset. The '''Möbius function''' of a poset is the multiplicative inverse of the zeta function in the incidence algebra. The Möbius value $\mu(x, y)$ is equal to the signed sum of chains from $x$ to $y$, where odd-length chains are counted with a minus sign, so this statistic is bounded above by the total number of chains in the poset.
Matching statistic: St001582
Mp00223: Permutations runsortPermutations
Mp00062: Permutations Lehmer-code to major-code bijectionPermutations
Mp00068: Permutations Simion-Schmidt mapPermutations
St001582: Permutations ⟶ ℤResult quality: 3% values known / values provided: 3%distinct values known / distinct values provided: 50%
Values
[1] => [1] => [1] => [1] => ? = 0 + 1
[1,2] => [1,2] => [1,2] => [1,2] => 1 = 0 + 1
[2,1] => [1,2] => [1,2] => [1,2] => 1 = 0 + 1
[1,2,3] => [1,2,3] => [1,2,3] => [1,3,2] => 1 = 0 + 1
[1,3,2] => [1,3,2] => [3,1,2] => [3,1,2] => 1 = 0 + 1
[2,1,3] => [1,3,2] => [3,1,2] => [3,1,2] => 1 = 0 + 1
[2,3,1] => [1,2,3] => [1,2,3] => [1,3,2] => 1 = 0 + 1
[3,1,2] => [1,2,3] => [1,2,3] => [1,3,2] => 1 = 0 + 1
[3,2,1] => [1,2,3] => [1,2,3] => [1,3,2] => 1 = 0 + 1
[1,2,3,4] => [1,2,3,4] => [1,2,3,4] => [1,4,3,2] => 1 = 0 + 1
[1,2,4,3] => [1,2,4,3] => [4,1,2,3] => [4,1,3,2] => 1 = 0 + 1
[1,3,2,4] => [1,3,2,4] => [3,1,2,4] => [3,1,4,2] => 2 = 1 + 1
[1,3,4,2] => [1,3,4,2] => [2,4,1,3] => [2,4,1,3] => 2 = 1 + 1
[1,4,2,3] => [1,4,2,3] => [3,4,1,2] => [3,4,1,2] => 2 = 1 + 1
[1,4,3,2] => [1,4,2,3] => [3,4,1,2] => [3,4,1,2] => 2 = 1 + 1
[2,1,3,4] => [1,3,4,2] => [2,4,1,3] => [2,4,1,3] => 2 = 1 + 1
[2,1,4,3] => [1,4,2,3] => [3,4,1,2] => [3,4,1,2] => 2 = 1 + 1
[2,3,1,4] => [1,4,2,3] => [3,4,1,2] => [3,4,1,2] => 2 = 1 + 1
[2,3,4,1] => [1,2,3,4] => [1,2,3,4] => [1,4,3,2] => 1 = 0 + 1
[2,4,1,3] => [1,3,2,4] => [3,1,2,4] => [3,1,4,2] => 2 = 1 + 1
[2,4,3,1] => [1,2,4,3] => [4,1,2,3] => [4,1,3,2] => 1 = 0 + 1
[3,1,2,4] => [1,2,4,3] => [4,1,2,3] => [4,1,3,2] => 1 = 0 + 1
[3,1,4,2] => [1,4,2,3] => [3,4,1,2] => [3,4,1,2] => 2 = 1 + 1
[3,2,1,4] => [1,4,2,3] => [3,4,1,2] => [3,4,1,2] => 2 = 1 + 1
[3,2,4,1] => [1,2,4,3] => [4,1,2,3] => [4,1,3,2] => 1 = 0 + 1
[3,4,1,2] => [1,2,3,4] => [1,2,3,4] => [1,4,3,2] => 1 = 0 + 1
[3,4,2,1] => [1,2,3,4] => [1,2,3,4] => [1,4,3,2] => 1 = 0 + 1
[4,1,2,3] => [1,2,3,4] => [1,2,3,4] => [1,4,3,2] => 1 = 0 + 1
[4,1,3,2] => [1,3,2,4] => [3,1,2,4] => [3,1,4,2] => 2 = 1 + 1
[4,2,1,3] => [1,3,2,4] => [3,1,2,4] => [3,1,4,2] => 2 = 1 + 1
[4,2,3,1] => [1,2,3,4] => [1,2,3,4] => [1,4,3,2] => 1 = 0 + 1
[4,3,1,2] => [1,2,3,4] => [1,2,3,4] => [1,4,3,2] => 1 = 0 + 1
[4,3,2,1] => [1,2,3,4] => [1,2,3,4] => [1,4,3,2] => 1 = 0 + 1
[1,2,3,4,5] => [1,2,3,4,5] => [1,2,3,4,5] => [1,5,4,3,2] => ? = 0 + 1
[1,2,3,5,4] => [1,2,3,5,4] => [5,1,2,3,4] => [5,1,4,3,2] => ? = 0 + 1
[1,2,4,3,5] => [1,2,4,3,5] => [4,1,2,3,5] => [4,1,5,3,2] => ? = 1 + 1
[1,2,4,5,3] => [1,2,4,5,3] => [3,5,1,2,4] => [3,5,1,4,2] => ? = 1 + 1
[1,2,5,3,4] => [1,2,5,3,4] => [4,5,1,2,3] => [4,5,1,3,2] => ? = 1 + 1
[1,2,5,4,3] => [1,2,5,3,4] => [4,5,1,2,3] => [4,5,1,3,2] => ? = 1 + 1
[1,3,2,4,5] => [1,3,2,4,5] => [3,1,2,4,5] => [3,1,5,4,2] => ? = 0 + 1
[1,3,2,5,4] => [1,3,2,5,4] => [2,5,1,3,4] => [2,5,1,4,3] => ? = 1 + 1
[1,3,4,2,5] => [1,3,4,2,5] => [2,4,1,3,5] => [2,5,1,4,3] => ? = 2 + 1
[1,3,4,5,2] => [1,3,4,5,2] => [2,3,5,1,4] => [2,5,4,1,3] => ? = 0 + 1
[1,3,5,2,4] => [1,3,5,2,4] => [2,4,5,1,3] => [2,5,4,1,3] => ? = 1 + 1
[1,3,5,4,2] => [1,3,5,2,4] => [2,4,5,1,3] => [2,5,4,1,3] => ? = 1 + 1
[1,4,2,3,5] => [1,4,2,3,5] => [3,4,1,2,5] => [3,5,1,4,2] => ? = 2 + 1
[1,4,2,5,3] => [1,4,2,5,3] => [5,3,1,2,4] => [5,3,1,4,2] => ? = 0 + 1
[1,4,3,2,5] => [1,4,2,5,3] => [5,3,1,2,4] => [5,3,1,4,2] => ? = 0 + 1
[1,4,3,5,2] => [1,4,2,3,5] => [3,4,1,2,5] => [3,5,1,4,2] => ? = 2 + 1
[1,4,5,2,3] => [1,4,5,2,3] => [4,2,5,1,3] => [4,2,5,1,3] => ? = 1 + 1
[1,4,5,3,2] => [1,4,5,2,3] => [4,2,5,1,3] => [4,2,5,1,3] => ? = 1 + 1
[1,5,2,3,4] => [1,5,2,3,4] => [3,4,5,1,2] => [3,5,4,1,2] => ? = 2 + 1
[1,5,2,4,3] => [1,5,2,4,3] => [5,3,4,1,2] => [5,3,4,1,2] => ? = 2 + 1
[1,5,3,2,4] => [1,5,2,4,3] => [5,3,4,1,2] => [5,3,4,1,2] => ? = 2 + 1
[1,5,3,4,2] => [1,5,2,3,4] => [3,4,5,1,2] => [3,5,4,1,2] => ? = 2 + 1
[1,5,4,2,3] => [1,5,2,3,4] => [3,4,5,1,2] => [3,5,4,1,2] => ? = 2 + 1
[1,5,4,3,2] => [1,5,2,3,4] => [3,4,5,1,2] => [3,5,4,1,2] => ? = 2 + 1
[2,1,3,4,5] => [1,3,4,5,2] => [2,3,5,1,4] => [2,5,4,1,3] => ? = 0 + 1
[2,1,3,5,4] => [1,3,5,2,4] => [2,4,5,1,3] => [2,5,4,1,3] => ? = 1 + 1
[2,1,4,3,5] => [1,4,2,3,5] => [3,4,1,2,5] => [3,5,1,4,2] => ? = 2 + 1
[2,1,4,5,3] => [1,4,5,2,3] => [4,2,5,1,3] => [4,2,5,1,3] => ? = 1 + 1
[2,1,5,3,4] => [1,5,2,3,4] => [3,4,5,1,2] => [3,5,4,1,2] => ? = 2 + 1
[2,1,5,4,3] => [1,5,2,3,4] => [3,4,5,1,2] => [3,5,4,1,2] => ? = 2 + 1
[2,3,1,4,5] => [1,4,5,2,3] => [4,2,5,1,3] => [4,2,5,1,3] => ? = 1 + 1
[2,3,1,5,4] => [1,5,2,3,4] => [3,4,5,1,2] => [3,5,4,1,2] => ? = 2 + 1
[2,3,4,1,5] => [1,5,2,3,4] => [3,4,5,1,2] => [3,5,4,1,2] => ? = 2 + 1
[2,3,4,5,1] => [1,2,3,4,5] => [1,2,3,4,5] => [1,5,4,3,2] => ? = 0 + 1
[2,3,5,1,4] => [1,4,2,3,5] => [3,4,1,2,5] => [3,5,1,4,2] => ? = 2 + 1
[2,3,5,4,1] => [1,2,3,5,4] => [5,1,2,3,4] => [5,1,4,3,2] => ? = 0 + 1
[2,4,1,3,5] => [1,3,5,2,4] => [2,4,5,1,3] => [2,5,4,1,3] => ? = 1 + 1
[2,4,1,5,3] => [1,5,2,4,3] => [5,3,4,1,2] => [5,3,4,1,2] => ? = 2 + 1
[2,4,3,1,5] => [1,5,2,4,3] => [5,3,4,1,2] => [5,3,4,1,2] => ? = 2 + 1
[2,4,3,5,1] => [1,2,4,3,5] => [4,1,2,3,5] => [4,1,5,3,2] => ? = 1 + 1
[2,4,5,1,3] => [1,3,2,4,5] => [3,1,2,4,5] => [3,1,5,4,2] => ? = 0 + 1
[2,4,5,3,1] => [1,2,4,5,3] => [3,5,1,2,4] => [3,5,1,4,2] => ? = 1 + 1
[2,5,1,3,4] => [1,3,4,2,5] => [2,4,1,3,5] => [2,5,1,4,3] => ? = 2 + 1
[2,5,1,4,3] => [1,4,2,5,3] => [5,3,1,2,4] => [5,3,1,4,2] => ? = 0 + 1
[2,5,3,1,4] => [1,4,2,5,3] => [5,3,1,2,4] => [5,3,1,4,2] => ? = 0 + 1
[2,5,3,4,1] => [1,2,5,3,4] => [4,5,1,2,3] => [4,5,1,3,2] => ? = 1 + 1
[2,5,4,1,3] => [1,3,2,5,4] => [2,5,1,3,4] => [2,5,1,4,3] => ? = 1 + 1
[2,5,4,3,1] => [1,2,5,3,4] => [4,5,1,2,3] => [4,5,1,3,2] => ? = 1 + 1
[3,1,2,4,5] => [1,2,4,5,3] => [3,5,1,2,4] => [3,5,1,4,2] => ? = 1 + 1
Description
The grades of the simple modules corresponding to the points in the poset of the symmetric group under the Bruhat order.