Identifier
-
Mp00080:
Set partitions
—to permutation⟶
Permutations
Mp00062: Permutations —Lehmer-code to major-code bijection⟶ Permutations
Mp00208: Permutations —lattice of intervals⟶ Lattices
St001820: Lattices ⟶ ℤ
Values
{{1}} => [1] => [1] => ([(0,1)],2) => 1
{{1,2}} => [2,1] => [2,1] => ([(0,1),(0,2),(1,3),(2,3)],4) => 1
{{1},{2}} => [1,2] => [1,2] => ([(0,1),(0,2),(1,3),(2,3)],4) => 1
{{1,2,3}} => [2,3,1] => [1,3,2] => ([(0,1),(0,2),(0,3),(1,5),(2,4),(3,4),(4,5)],6) => 1
{{1,2},{3}} => [2,1,3] => [2,1,3] => ([(0,1),(0,2),(0,3),(1,5),(2,4),(3,4),(4,5)],6) => 1
{{1,3},{2}} => [3,2,1] => [3,2,1] => ([(0,1),(0,2),(0,3),(1,5),(2,4),(3,4),(3,5),(4,6),(5,6)],7) => 2
{{1},{2,3}} => [1,3,2] => [3,1,2] => ([(0,1),(0,2),(0,3),(1,5),(2,4),(3,4),(4,5)],6) => 1
{{1},{2},{3}} => [1,2,3] => [1,2,3] => ([(0,1),(0,2),(0,3),(1,5),(2,4),(3,4),(3,5),(4,6),(5,6)],7) => 2
{{1,2,3,4}} => [2,3,4,1] => [1,2,4,3] => ([(0,1),(0,2),(0,3),(0,4),(1,5),(2,6),(3,6),(4,5),(4,7),(5,8),(6,7),(7,8)],9) => 2
{{1,2,3},{4}} => [2,3,1,4] => [1,3,2,4] => ([(0,1),(0,2),(0,3),(0,4),(1,5),(2,5),(3,7),(4,6),(5,6),(5,7),(6,8),(7,8)],9) => 2
{{1,2,4},{3}} => [2,4,3,1] => [4,1,3,2] => ([(0,1),(0,2),(0,3),(0,4),(1,5),(2,5),(3,6),(4,7),(5,7),(7,6)],8) => 1
{{1,2},{3,4}} => [2,1,4,3] => [1,4,2,3] => ([(0,1),(0,2),(0,3),(0,4),(1,5),(2,5),(3,6),(4,7),(5,7),(7,6)],8) => 1
{{1,2},{3},{4}} => [2,1,3,4] => [2,1,3,4] => ([(0,1),(0,2),(0,3),(0,4),(1,5),(2,6),(3,6),(4,5),(4,7),(5,8),(6,7),(7,8)],9) => 2
{{1,3,4},{2}} => [3,2,4,1] => [2,1,4,3] => ([(0,1),(0,2),(0,3),(0,4),(1,6),(2,6),(3,5),(4,5),(5,7),(6,7)],8) => 1
{{1,3},{2,4}} => [3,4,1,2] => [3,1,4,2] => ([(0,1),(0,2),(0,3),(0,4),(1,5),(2,5),(3,5),(4,5)],6) => 1
{{1,3},{2},{4}} => [3,2,1,4] => [3,2,1,4] => ([(0,1),(0,2),(0,3),(0,4),(1,7),(2,6),(3,5),(4,5),(4,6),(5,8),(6,8),(8,7)],9) => 2
{{1},{2,3,4}} => [1,3,4,2] => [2,4,1,3] => ([(0,1),(0,2),(0,3),(0,4),(1,5),(2,5),(3,5),(4,5)],6) => 1
{{1},{2,3},{4}} => [1,3,2,4] => [3,1,2,4] => ([(0,1),(0,2),(0,3),(0,4),(1,5),(2,5),(3,6),(4,7),(5,7),(7,6)],8) => 1
{{1,4},{2},{3}} => [4,2,3,1] => [2,4,3,1] => ([(0,1),(0,2),(0,3),(0,4),(1,5),(2,5),(3,6),(4,7),(5,7),(7,6)],8) => 1
{{1},{2,4},{3}} => [1,4,3,2] => [4,3,1,2] => ([(0,1),(0,2),(0,3),(0,4),(1,5),(2,6),(3,6),(4,5),(4,7),(5,8),(6,7),(7,8)],9) => 2
{{1},{2},{3,4}} => [1,2,4,3] => [4,1,2,3] => ([(0,1),(0,2),(0,3),(0,4),(1,7),(2,6),(3,5),(4,5),(4,6),(5,8),(6,8),(8,7)],9) => 2
{{1,2,4},{3,5}} => [2,4,5,1,3] => [4,1,2,5,3] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(1,7),(2,7),(3,7),(4,6),(5,6),(6,7)],8) => 1
{{1,2},{3,4,5}} => [2,1,4,5,3] => [1,3,5,2,4] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(1,7),(2,7),(3,7),(4,7),(5,6),(7,6)],8) => 1
{{1,2,5},{3},{4}} => [2,5,3,4,1] => [3,5,1,4,2] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 1
{{1,3},{2,4},{5}} => [3,4,1,2,5] => [3,1,4,2,5] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(1,7),(2,7),(3,7),(4,7),(5,6),(7,6)],8) => 1
{{1,4},{2,3,5}} => [4,3,5,1,2] => [4,2,1,5,3] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(1,7),(2,7),(3,7),(4,6),(5,6),(6,7)],8) => 1
{{1},{2,3,4,5}} => [1,3,4,5,2] => [2,3,5,1,4] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(1,7),(2,7),(3,7),(4,6),(5,6),(6,7)],8) => 1
{{1},{2,3,4},{5}} => [1,3,4,2,5] => [2,4,1,3,5] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(1,7),(2,7),(3,7),(4,7),(5,6),(7,6)],8) => 1
{{1},{2,3,5},{4}} => [1,3,5,4,2] => [5,2,4,1,3] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(1,7),(2,7),(3,7),(4,7),(5,6),(7,6)],8) => 1
{{1},{2,3},{4,5}} => [1,3,2,5,4] => [2,5,1,3,4] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(1,7),(2,7),(3,7),(4,6),(5,6),(6,7)],8) => 1
{{1,4},{2,5},{3}} => [4,5,3,1,2] => [4,1,5,3,2] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(1,7),(2,7),(3,7),(4,6),(5,6),(6,7)],8) => 1
{{1,4},{2},{3,5}} => [4,2,5,1,3] => [2,4,1,5,3] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 1
{{1},{2,4,5},{3}} => [1,4,3,5,2] => [3,2,5,1,4] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(1,7),(2,7),(3,7),(4,6),(5,6),(6,7)],8) => 1
{{1},{2,4},{3,5}} => [1,4,5,2,3] => [4,2,5,1,3] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 1
{{1},{2},{3,4,5}} => [1,2,4,5,3] => [3,5,1,2,4] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(1,7),(2,7),(3,7),(4,6),(5,6),(6,7)],8) => 1
{{1,2,3,6},{4},{5}} => [2,3,6,4,5,1] => [4,6,1,2,5,3] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,8),(2,8),(3,8),(4,8),(5,7),(6,7),(7,8)],9) => 1
{{1,2,6},{3,4,5}} => [2,6,4,5,3,1] => [3,6,5,1,4,2] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,8),(2,8),(3,8),(4,8),(5,7),(6,7),(7,8)],9) => 1
{{1,2,6},{3,4},{5}} => [2,6,4,3,5,1] => [4,3,6,1,5,2] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,8),(2,8),(3,8),(4,8),(5,7),(6,7),(7,8)],9) => 1
{{1,2,5},{3,6},{4}} => [2,5,6,4,1,3] => [5,2,6,1,4,3] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,8),(2,8),(3,8),(4,8),(5,7),(6,7),(7,8)],9) => 1
{{1,2,5},{3},{4,6}} => [2,5,3,6,1,4] => [3,5,1,2,6,4] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,8),(2,8),(3,8),(4,8),(5,7),(6,7),(7,8)],9) => 1
{{1,2,5},{3},{4},{6}} => [2,5,3,4,1,6] => [3,5,1,4,2,6] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,8),(2,8),(3,8),(4,8),(5,8),(6,7),(8,7)],9) => 1
{{1,2},{3,5,6},{4}} => [2,1,5,4,6,3] => [4,1,3,6,2,5] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,7),(2,7),(3,7),(4,7),(5,7),(6,7)],8) => 1
{{1,2},{3,5},{4,6}} => [2,1,5,6,3,4] => [5,1,3,6,2,4] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,7),(2,7),(3,7),(4,7),(5,7),(6,7)],8) => 1
{{1,2,6},{3},{4,5}} => [2,6,3,5,4,1] => [6,3,5,1,4,2] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,8),(2,8),(3,8),(4,8),(5,8),(6,7),(8,7)],9) => 1
{{1,2,6},{3},{4},{5}} => [2,6,3,4,5,1] => [3,4,6,1,5,2] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,8),(2,8),(3,8),(4,8),(5,7),(6,7),(7,8)],9) => 1
{{1,2},{3,6},{4},{5}} => [2,1,6,4,5,3] => [4,6,1,5,2,3] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,8),(2,8),(3,8),(4,8),(5,7),(6,7),(7,8)],9) => 1
{{1,3,4,5},{2,6}} => [3,6,4,5,1,2] => [5,1,3,6,4,2] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,7),(2,7),(3,7),(4,7),(5,7),(6,7)],8) => 1
{{1,3},{2,4,5,6}} => [3,4,1,5,6,2] => [1,4,2,6,3,5] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,8),(2,8),(3,8),(4,8),(5,8),(6,7),(8,7)],9) => 1
{{1,3,6},{2},{4},{5}} => [3,2,6,4,5,1] => [1,4,6,2,5,3] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,8),(2,8),(3,8),(4,8),(5,8),(6,7),(8,7)],9) => 1
{{1,5},{2,3,4,6}} => [5,3,4,6,1,2] => [2,5,3,1,6,4] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,7),(2,7),(3,7),(4,7),(5,7),(6,7)],8) => 1
{{1,5},{2,3,6},{4}} => [5,3,6,4,1,2] => [2,5,1,6,4,3] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,8),(2,8),(3,8),(4,8),(5,7),(6,7),(7,8)],9) => 1
{{1,5},{2,3},{4,6}} => [5,3,2,6,1,4] => [3,2,5,1,6,4] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,8),(2,8),(3,8),(4,8),(5,7),(6,7),(7,8)],9) => 1
{{1},{2,3,5},{4,6}} => [1,3,5,6,2,4] => [5,2,3,6,1,4] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,8),(2,8),(3,8),(4,8),(5,7),(6,7),(7,8)],9) => 1
{{1},{2,3},{4,5,6}} => [1,3,2,5,6,4] => [2,4,6,1,3,5] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,7),(2,7),(3,7),(4,7),(5,7),(6,7)],8) => 1
{{1},{2,3,6},{4},{5}} => [1,3,6,4,5,2] => [4,6,2,5,1,3] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,7),(2,7),(3,7),(4,7),(5,7),(6,7)],8) => 1
{{1,4},{2,5},{3,6}} => [4,5,6,1,2,3] => [4,1,5,2,6,3] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,7),(2,7),(3,7),(4,7),(5,7),(6,7)],8) => 1
{{1,4,6},{2},{3,5}} => [4,2,5,6,3,1] => [3,1,6,2,5,4] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,8),(2,8),(3,8),(4,8),(5,7),(6,7),(7,8)],9) => 1
{{1,4},{2},{3,5},{6}} => [4,2,5,1,3,6] => [2,4,1,5,3,6] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,8),(2,8),(3,8),(4,8),(5,8),(6,7),(8,7)],9) => 1
{{1},{2,4},{3,5,6}} => [1,4,5,2,6,3] => [2,6,4,1,3,5] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,7),(2,7),(3,7),(4,7),(5,7),(6,7)],8) => 1
{{1},{2,4},{3,5},{6}} => [1,4,5,2,3,6] => [4,2,5,1,3,6] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,8),(2,8),(3,8),(4,8),(5,8),(6,7),(8,7)],9) => 1
{{1},{2,4,6},{3},{5}} => [1,4,3,6,5,2] => [2,6,3,5,1,4] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,7),(2,7),(3,7),(4,7),(5,7),(6,7)],8) => 1
{{1},{2,5},{3,4,6}} => [1,5,4,6,2,3] => [5,3,2,6,1,4] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,8),(2,8),(3,8),(4,8),(5,7),(6,7),(7,8)],9) => 1
{{1,5},{2,6},{3},{4}} => [5,6,3,4,1,2] => [5,3,1,6,4,2] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,7),(2,7),(3,7),(4,7),(5,7),(6,7)],8) => 1
{{1,5},{2},{3},{4,6}} => [5,2,3,6,1,4] => [2,3,5,1,6,4] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,8),(2,8),(3,8),(4,8),(5,7),(6,7),(7,8)],9) => 1
{{1},{2,5},{3,6},{4}} => [1,5,6,4,2,3] => [5,2,6,4,1,3] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,7),(2,7),(3,7),(4,7),(5,7),(6,7)],8) => 1
{{1},{2,5},{3},{4,6}} => [1,5,3,6,2,4] => [3,5,2,6,1,4] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,7),(2,7),(3,7),(4,7),(5,7),(6,7)],8) => 1
{{1},{2},{3,5},{4,6}} => [1,2,5,6,3,4] => [5,3,6,1,2,4] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,8),(2,8),(3,8),(4,8),(5,7),(6,7),(7,8)],9) => 1
{{1,2,4,5,6},{3,7}} => [2,4,7,5,6,1,3] => [6,2,4,7,1,5,3] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,8),(2,8),(3,8),(4,8),(5,8),(6,8),(7,8)],9) => 1
{{1,2,4},{3,5,6,7}} => [2,4,5,1,6,7,3] => [2,5,1,3,7,4,6] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,8),(2,8),(3,8),(4,8),(5,8),(6,8),(7,8)],9) => 1
{{1,2,4,7},{3},{5},{6}} => [2,4,3,7,5,6,1] => [2,5,7,1,3,6,4] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,8),(2,8),(3,8),(4,8),(5,8),(6,8),(7,8)],9) => 1
{{1,2,4},{3,7},{5},{6}} => [2,4,7,1,5,6,3] => [2,5,7,1,4,6,3] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,8),(2,8),(3,8),(4,8),(5,8),(6,8),(7,8)],9) => 1
{{1,2,7},{3,4},{5,6}} => [2,7,4,3,6,5,1] => [3,7,4,6,1,5,2] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,8),(2,8),(3,8),(4,8),(5,8),(6,8),(7,8)],9) => 1
{{1,2},{3,4,7},{5},{6}} => [2,1,4,7,5,6,3] => [5,7,1,3,6,2,4] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,8),(2,8),(3,8),(4,8),(5,8),(6,8),(7,8)],9) => 1
{{1,2,5,6},{3,7},{4}} => [2,5,7,4,6,1,3] => [2,6,4,7,1,5,3] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,8),(2,8),(3,8),(4,8),(5,8),(6,8),(7,8)],9) => 1
{{1,2,5},{3,6},{4,7}} => [2,5,6,7,1,3,4] => [5,2,6,1,3,7,4] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,8),(2,8),(3,8),(4,8),(5,8),(6,8),(7,8)],9) => 1
{{1,2,5},{3,7},{4},{6}} => [2,5,7,4,1,6,3] => [2,7,5,1,4,6,3] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,8),(2,8),(3,8),(4,8),(5,8),(6,8),(7,8)],9) => 1
{{1,2},{3,5,6,7},{4}} => [2,1,5,4,6,7,3] => [4,1,3,5,7,2,6] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,8),(2,8),(3,8),(4,8),(5,8),(6,8),(7,8)],9) => 1
{{1,2},{3,5},{4,6,7}} => [2,1,5,6,3,7,4] => [3,7,1,5,2,4,6] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,8),(2,8),(3,8),(4,8),(5,8),(6,8),(7,8)],9) => 1
{{1,2},{3,5,7},{4},{6}} => [2,1,5,4,7,6,3] => [3,7,1,4,6,2,5] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,8),(2,8),(3,8),(4,8),(5,8),(6,8),(7,8)],9) => 1
{{1,2},{3,6},{4,5,7}} => [2,1,6,5,7,3,4] => [6,4,1,3,7,2,5] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,8),(2,8),(3,8),(4,8),(5,8),(6,8),(7,8)],9) => 1
{{1,2,7},{3},{4,5,6}} => [2,7,3,5,6,4,1] => [4,7,3,6,1,5,2] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,8),(2,8),(3,8),(4,8),(5,8),(6,8),(7,8)],9) => 1
{{1,2,6},{3,7},{4},{5}} => [2,6,7,4,5,1,3] => [6,4,2,7,1,5,3] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,8),(2,8),(3,8),(4,8),(5,8),(6,8),(7,8)],9) => 1
{{1,2},{3,6},{4,7},{5}} => [2,1,6,7,5,3,4] => [6,3,7,1,5,2,4] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,8),(2,8),(3,8),(4,8),(5,8),(6,8),(7,8)],9) => 1
{{1,2},{3,6},{4},{5,7}} => [2,1,6,4,7,3,5] => [4,6,1,3,7,2,5] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,8),(2,8),(3,8),(4,8),(5,8),(6,8),(7,8)],9) => 1
{{1,3,4,5,6},{2,7}} => [3,7,4,5,6,1,2] => [3,6,1,4,7,5,2] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,8),(2,8),(3,8),(4,8),(5,8),(6,8),(7,8)],9) => 1
{{1,3,4},{2,6,7},{5}} => [3,6,4,1,5,7,2] => [5,1,3,7,4,2,6] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,8),(2,8),(3,8),(4,8),(5,8),(6,8),(7,8)],9) => 1
{{1,3,4},{2,6},{5,7}} => [3,6,4,1,7,2,5] => [6,1,3,7,4,2,5] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,8),(2,8),(3,8),(4,8),(5,8),(6,8),(7,8)],9) => 1
{{1,3,4},{2,7},{5},{6}} => [3,7,4,1,5,6,2] => [5,1,3,7,4,6,2] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,8),(2,8),(3,8),(4,8),(5,8),(6,8),(7,8)],9) => 1
{{1,3,5,6},{2,7},{4}} => [3,7,5,4,6,1,2] => [6,4,1,3,7,5,2] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,8),(2,8),(3,8),(4,8),(5,8),(6,8),(7,8)],9) => 1
{{1,3,6},{2,5},{4,7}} => [3,5,6,7,2,1,4] => [2,6,1,5,3,7,4] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,8),(2,8),(3,8),(4,8),(5,8),(6,8),(7,8)],9) => 1
{{1,3,7},{2},{4,5,6}} => [3,2,7,5,6,4,1] => [4,7,1,6,2,5,3] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,8),(2,8),(3,8),(4,8),(5,8),(6,8),(7,8)],9) => 1
{{1,3},{2,7},{4,5,6}} => [3,7,1,5,6,4,2] => [4,7,1,6,3,5,2] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,8),(2,8),(3,8),(4,8),(5,8),(6,8),(7,8)],9) => 1
{{1,3,7},{2},{4,5},{6}} => [3,2,7,5,4,6,1] => [5,1,4,7,2,6,3] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,8),(2,8),(3,8),(4,8),(5,8),(6,8),(7,8)],9) => 1
{{1,3},{2,7},{4,5},{6}} => [3,7,1,5,4,6,2] => [5,1,4,7,3,6,2] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,8),(2,8),(3,8),(4,8),(5,8),(6,8),(7,8)],9) => 1
{{1,5},{2,3,6},{4,7}} => [5,3,6,7,1,2,4] => [2,5,1,6,3,7,4] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,8),(2,8),(3,8),(4,8),(5,8),(6,8),(7,8)],9) => 1
{{1,6},{2,3,5},{4,7}} => [6,3,5,7,2,1,4] => [6,2,5,3,1,7,4] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,8),(2,8),(3,8),(4,8),(5,8),(6,8),(7,8)],9) => 1
{{1},{2,3,5},{4,6,7}} => [1,3,5,6,2,7,4] => [3,7,2,5,1,4,6] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,8),(2,8),(3,8),(4,8),(5,8),(6,8),(7,8)],9) => 1
{{1},{2,3,5,7},{4},{6}} => [1,3,5,4,7,6,2] => [3,7,2,4,6,1,5] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,8),(2,8),(3,8),(4,8),(5,8),(6,8),(7,8)],9) => 1
{{1,6},{2,3,7},{4},{5}} => [6,3,7,4,5,1,2] => [6,2,4,1,7,5,3] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,8),(2,8),(3,8),(4,8),(5,8),(6,8),(7,8)],9) => 1
{{1},{2,3,6},{4,7},{5}} => [1,3,6,7,5,2,4] => [6,3,7,2,5,1,4] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,8),(2,8),(3,8),(4,8),(5,8),(6,8),(7,8)],9) => 1
{{1},{2,3},{4,6,7},{5}} => [1,3,2,6,5,7,4] => [5,2,4,7,1,3,6] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,8),(2,8),(3,8),(4,8),(5,8),(6,8),(7,8)],9) => 1
>>> Load all 121 entries. <<<
search for individual values
searching the database for the individual values of this statistic
/
search for generating function
searching the database for statistics with the same generating function
Description
The size of the image of the pop stack sorting operator.
The pop stack sorting operator is defined by $Pop_L^\downarrow(x) = x\wedge\bigwedge\{y\in L\mid y\lessdot x\}$. This statistic returns the size of $Pop_L^\downarrow(L)\}$.
The pop stack sorting operator is defined by $Pop_L^\downarrow(x) = x\wedge\bigwedge\{y\in L\mid y\lessdot x\}$. This statistic returns the size of $Pop_L^\downarrow(L)\}$.
Map
lattice of intervals
Description
The lattice of intervals of a permutation.
An interval of a permutation $\pi$ is a possibly empty interval of values that appear in consecutive positions of $\pi$. The lattice of intervals of $\pi$ has as elements the intervals of $\pi$, ordered by set inclusion.
An interval of a permutation $\pi$ is a possibly empty interval of values that appear in consecutive positions of $\pi$. The lattice of intervals of $\pi$ has as elements the intervals of $\pi$, ordered by set inclusion.
Map
to permutation
Description
Sends the set partition to the permutation obtained by considering the blocks as increasing cycles.
Map
Lehmer-code to major-code bijection
Description
Sends a permutation to the unique permutation such that the Lehmer code is sent to the major code.
The Lehmer code encodes the inversions of a permutation and the major code encodes its major index. In particular, the number of inversions of a permutation equals the major index of its image under this map.
* The Lehmer code of a permutation $\sigma$ is given by $L(\sigma) = l_1 \ldots l_n$ with $l_i = \# \{ j > i : \sigma_j < \sigma_i \}$. In particular, $l_i$ is the number of boxes in the $i$-th column of the Rothe diagram. For example, the Lehmer code of $\sigma = [4,3,1,5,2]$ is $32010$. The Lehmer code $L : \mathfrak{S}_n\ \tilde\longrightarrow\ S_n$ is a bijection between permutations of size $n$ and sequences $l_1\ldots l_n \in \mathbf{N}^n$ with $l_i \leq i$.
* The major code $M(\sigma)$ of a permutation $\sigma \in \mathfrak{S}_n$ is a way to encode a permutation as a sequence $m_1 m_2 \ldots m_n$ with $m_i \geq i$. To define $m_i$, let $\operatorname{del}_i(\sigma)$ be the normalized permutation obtained by removing all $\sigma_j < i$ from the one-line notation of $\sigma$. The $i$-th index is then given by
$$m_i = \operatorname{maj}(\operatorname{del}_i(\sigma)) - \operatorname{maj}(\operatorname{del}_{i-1}(\sigma)).$$
For example, the permutation $[9,3,5,7,2,1,4,6,8]$ has major code $[5, 0, 1, 0, 1, 2, 0, 1, 0]$ since
$$\operatorname{maj}([8,2,4,6,1,3,5,7]) = 5, \quad \operatorname{maj}([7,1,3,5,2,4,6]) = 5, \quad \operatorname{maj}([6,2,4,1,3,5]) = 4,$$
$$\operatorname{maj}([5,1,3,2,4]) = 4, \quad \operatorname{maj}([4,2,1,3]) = 3, \quad \operatorname{maj}([3,1,2]) = 1, \quad \operatorname{maj}([2,1]) = 1.$$
Observe that the sum of the major code of $\sigma$ equals the major index of $\sigma$.
The Lehmer code encodes the inversions of a permutation and the major code encodes its major index. In particular, the number of inversions of a permutation equals the major index of its image under this map.
* The Lehmer code of a permutation $\sigma$ is given by $L(\sigma) = l_1 \ldots l_n$ with $l_i = \# \{ j > i : \sigma_j < \sigma_i \}$. In particular, $l_i$ is the number of boxes in the $i$-th column of the Rothe diagram. For example, the Lehmer code of $\sigma = [4,3,1,5,2]$ is $32010$. The Lehmer code $L : \mathfrak{S}_n\ \tilde\longrightarrow\ S_n$ is a bijection between permutations of size $n$ and sequences $l_1\ldots l_n \in \mathbf{N}^n$ with $l_i \leq i$.
* The major code $M(\sigma)$ of a permutation $\sigma \in \mathfrak{S}_n$ is a way to encode a permutation as a sequence $m_1 m_2 \ldots m_n$ with $m_i \geq i$. To define $m_i$, let $\operatorname{del}_i(\sigma)$ be the normalized permutation obtained by removing all $\sigma_j < i$ from the one-line notation of $\sigma$. The $i$-th index is then given by
$$m_i = \operatorname{maj}(\operatorname{del}_i(\sigma)) - \operatorname{maj}(\operatorname{del}_{i-1}(\sigma)).$$
For example, the permutation $[9,3,5,7,2,1,4,6,8]$ has major code $[5, 0, 1, 0, 1, 2, 0, 1, 0]$ since
$$\operatorname{maj}([8,2,4,6,1,3,5,7]) = 5, \quad \operatorname{maj}([7,1,3,5,2,4,6]) = 5, \quad \operatorname{maj}([6,2,4,1,3,5]) = 4,$$
$$\operatorname{maj}([5,1,3,2,4]) = 4, \quad \operatorname{maj}([4,2,1,3]) = 3, \quad \operatorname{maj}([3,1,2]) = 1, \quad \operatorname{maj}([2,1]) = 1.$$
Observe that the sum of the major code of $\sigma$ equals the major index of $\sigma$.
searching the database
Sorry, this statistic was not found in the database
or
add this statistic to the database – it's very simple and we need your support!