searching the database
Your data matches 19 different statistics following compositions of up to 3 maps.
(click to perform a complete search on your data)
(click to perform a complete search on your data)
Matching statistic: St000036
(load all 3 compositions to match this statistic)
(load all 3 compositions to match this statistic)
Mp00255: Decorated permutations —lower permutation⟶ Permutations
St000036: Permutations ⟶ ℤResult quality: 100% ●values known / values provided: 100%●distinct values known / distinct values provided: 100%
St000036: Permutations ⟶ ℤResult quality: 100% ●values known / values provided: 100%●distinct values known / distinct values provided: 100%
Values
[+] => [1] => 1
[-] => [1] => 1
[+,+] => [1,2] => 1
[-,+] => [2,1] => 1
[+,-] => [1,2] => 1
[-,-] => [1,2] => 1
[2,1] => [1,2] => 1
[+,+,+] => [1,2,3] => 1
[-,+,+] => [2,3,1] => 1
[+,-,+] => [1,3,2] => 1
[+,+,-] => [1,2,3] => 1
[-,-,+] => [3,1,2] => 1
[-,+,-] => [2,1,3] => 1
[+,-,-] => [1,2,3] => 1
[-,-,-] => [1,2,3] => 1
[+,3,2] => [1,2,3] => 1
[-,3,2] => [2,1,3] => 1
[2,1,+] => [1,3,2] => 1
[2,1,-] => [1,2,3] => 1
[2,3,1] => [1,2,3] => 1
[3,1,2] => [1,2,3] => 1
[3,+,1] => [2,1,3] => 1
[3,-,1] => [1,3,2] => 1
[+,+,+,+] => [1,2,3,4] => 1
[-,+,+,+] => [2,3,4,1] => 1
[+,-,+,+] => [1,3,4,2] => 1
[+,+,-,+] => [1,2,4,3] => 1
[+,+,+,-] => [1,2,3,4] => 1
[-,-,+,+] => [3,4,1,2] => 2
[-,+,-,+] => [2,4,1,3] => 1
[-,+,+,-] => [2,3,1,4] => 1
[+,-,-,+] => [1,4,2,3] => 1
[+,-,+,-] => [1,3,2,4] => 1
[+,+,-,-] => [1,2,3,4] => 1
[-,-,-,+] => [4,1,2,3] => 1
[-,-,+,-] => [3,1,2,4] => 1
[-,+,-,-] => [2,1,3,4] => 1
[+,-,-,-] => [1,2,3,4] => 1
[-,-,-,-] => [1,2,3,4] => 1
[+,+,4,3] => [1,2,3,4] => 1
[-,+,4,3] => [2,3,1,4] => 1
[+,-,4,3] => [1,3,2,4] => 1
[-,-,4,3] => [3,1,2,4] => 1
[+,3,2,+] => [1,2,4,3] => 1
[-,3,2,+] => [2,4,1,3] => 1
[+,3,2,-] => [1,2,3,4] => 1
[-,3,2,-] => [2,1,3,4] => 1
[+,3,4,2] => [1,2,3,4] => 1
[-,3,4,2] => [2,1,3,4] => 1
[+,4,2,3] => [1,2,3,4] => 1
Description
The evaluation at 1 of the Kazhdan-Lusztig polynomial with parameters given by the identity and the permutation.
These are multiplicities of Verma modules.
Matching statistic: St001719
Mp00253: Decorated permutations —permutation⟶ Permutations
Mp00090: Permutations —cycle-as-one-line notation⟶ Permutations
Mp00208: Permutations —lattice of intervals⟶ Lattices
St001719: Lattices ⟶ ℤResult quality: 5% ●values known / values provided: 5%●distinct values known / distinct values provided: 17%
Mp00090: Permutations —cycle-as-one-line notation⟶ Permutations
Mp00208: Permutations —lattice of intervals⟶ Lattices
St001719: Lattices ⟶ ℤResult quality: 5% ●values known / values provided: 5%●distinct values known / distinct values provided: 17%
Values
[+] => [1] => [1] => ([(0,1)],2)
=> 1
[-] => [1] => [1] => ([(0,1)],2)
=> 1
[+,+] => [1,2] => [1,2] => ([(0,1),(0,2),(1,3),(2,3)],4)
=> 1
[-,+] => [1,2] => [1,2] => ([(0,1),(0,2),(1,3),(2,3)],4)
=> 1
[+,-] => [1,2] => [1,2] => ([(0,1),(0,2),(1,3),(2,3)],4)
=> 1
[-,-] => [1,2] => [1,2] => ([(0,1),(0,2),(1,3),(2,3)],4)
=> 1
[2,1] => [2,1] => [1,2] => ([(0,1),(0,2),(1,3),(2,3)],4)
=> 1
[+,+,+] => [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)
=> 1
[-,+,+] => [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)
=> 1
[+,-,+] => [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)
=> 1
[+,+,-] => [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)
=> 1
[-,-,+] => [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)
=> 1
[-,+,-] => [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)
=> 1
[+,-,-] => [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)
=> 1
[-,-,-] => [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)
=> 1
[+,3,2] => [1,3,2] => [1,2,3] => ([(0,1),(0,2),(0,3),(1,5),(2,4),(3,4),(3,5),(4,6),(5,6)],7)
=> 1
[-,3,2] => [1,3,2] => [1,2,3] => ([(0,1),(0,2),(0,3),(1,5),(2,4),(3,4),(3,5),(4,6),(5,6)],7)
=> 1
[2,1,+] => [2,1,3] => [1,2,3] => ([(0,1),(0,2),(0,3),(1,5),(2,4),(3,4),(3,5),(4,6),(5,6)],7)
=> 1
[2,1,-] => [2,1,3] => [1,2,3] => ([(0,1),(0,2),(0,3),(1,5),(2,4),(3,4),(3,5),(4,6),(5,6)],7)
=> 1
[2,3,1] => [2,3,1] => [1,2,3] => ([(0,1),(0,2),(0,3),(1,5),(2,4),(3,4),(3,5),(4,6),(5,6)],7)
=> 1
[3,1,2] => [3,1,2] => [1,3,2] => ([(0,1),(0,2),(0,3),(1,5),(2,4),(3,4),(4,5)],6)
=> 1
[3,+,1] => [3,2,1] => [1,3,2] => ([(0,1),(0,2),(0,3),(1,5),(2,4),(3,4),(4,5)],6)
=> 1
[3,-,1] => [3,2,1] => [1,3,2] => ([(0,1),(0,2),(0,3),(1,5),(2,4),(3,4),(4,5)],6)
=> 1
[+,+,+,+] => [1,2,3,4] => [1,2,3,4] => ([(0,1),(0,2),(0,3),(0,4),(1,9),(2,8),(3,8),(3,10),(4,9),(4,10),(6,5),(7,5),(8,6),(9,7),(10,6),(10,7)],11)
=> ? = 1
[-,+,+,+] => [1,2,3,4] => [1,2,3,4] => ([(0,1),(0,2),(0,3),(0,4),(1,9),(2,8),(3,8),(3,10),(4,9),(4,10),(6,5),(7,5),(8,6),(9,7),(10,6),(10,7)],11)
=> ? = 1
[+,-,+,+] => [1,2,3,4] => [1,2,3,4] => ([(0,1),(0,2),(0,3),(0,4),(1,9),(2,8),(3,8),(3,10),(4,9),(4,10),(6,5),(7,5),(8,6),(9,7),(10,6),(10,7)],11)
=> ? = 1
[+,+,-,+] => [1,2,3,4] => [1,2,3,4] => ([(0,1),(0,2),(0,3),(0,4),(1,9),(2,8),(3,8),(3,10),(4,9),(4,10),(6,5),(7,5),(8,6),(9,7),(10,6),(10,7)],11)
=> ? = 1
[+,+,+,-] => [1,2,3,4] => [1,2,3,4] => ([(0,1),(0,2),(0,3),(0,4),(1,9),(2,8),(3,8),(3,10),(4,9),(4,10),(6,5),(7,5),(8,6),(9,7),(10,6),(10,7)],11)
=> ? = 1
[-,-,+,+] => [1,2,3,4] => [1,2,3,4] => ([(0,1),(0,2),(0,3),(0,4),(1,9),(2,8),(3,8),(3,10),(4,9),(4,10),(6,5),(7,5),(8,6),(9,7),(10,6),(10,7)],11)
=> ? = 2
[-,+,-,+] => [1,2,3,4] => [1,2,3,4] => ([(0,1),(0,2),(0,3),(0,4),(1,9),(2,8),(3,8),(3,10),(4,9),(4,10),(6,5),(7,5),(8,6),(9,7),(10,6),(10,7)],11)
=> ? = 1
[-,+,+,-] => [1,2,3,4] => [1,2,3,4] => ([(0,1),(0,2),(0,3),(0,4),(1,9),(2,8),(3,8),(3,10),(4,9),(4,10),(6,5),(7,5),(8,6),(9,7),(10,6),(10,7)],11)
=> ? = 1
[+,-,-,+] => [1,2,3,4] => [1,2,3,4] => ([(0,1),(0,2),(0,3),(0,4),(1,9),(2,8),(3,8),(3,10),(4,9),(4,10),(6,5),(7,5),(8,6),(9,7),(10,6),(10,7)],11)
=> ? = 1
[+,-,+,-] => [1,2,3,4] => [1,2,3,4] => ([(0,1),(0,2),(0,3),(0,4),(1,9),(2,8),(3,8),(3,10),(4,9),(4,10),(6,5),(7,5),(8,6),(9,7),(10,6),(10,7)],11)
=> ? = 1
[+,+,-,-] => [1,2,3,4] => [1,2,3,4] => ([(0,1),(0,2),(0,3),(0,4),(1,9),(2,8),(3,8),(3,10),(4,9),(4,10),(6,5),(7,5),(8,6),(9,7),(10,6),(10,7)],11)
=> ? = 1
[-,-,-,+] => [1,2,3,4] => [1,2,3,4] => ([(0,1),(0,2),(0,3),(0,4),(1,9),(2,8),(3,8),(3,10),(4,9),(4,10),(6,5),(7,5),(8,6),(9,7),(10,6),(10,7)],11)
=> ? = 1
[-,-,+,-] => [1,2,3,4] => [1,2,3,4] => ([(0,1),(0,2),(0,3),(0,4),(1,9),(2,8),(3,8),(3,10),(4,9),(4,10),(6,5),(7,5),(8,6),(9,7),(10,6),(10,7)],11)
=> ? = 1
[-,+,-,-] => [1,2,3,4] => [1,2,3,4] => ([(0,1),(0,2),(0,3),(0,4),(1,9),(2,8),(3,8),(3,10),(4,9),(4,10),(6,5),(7,5),(8,6),(9,7),(10,6),(10,7)],11)
=> ? = 1
[+,-,-,-] => [1,2,3,4] => [1,2,3,4] => ([(0,1),(0,2),(0,3),(0,4),(1,9),(2,8),(3,8),(3,10),(4,9),(4,10),(6,5),(7,5),(8,6),(9,7),(10,6),(10,7)],11)
=> ? = 1
[-,-,-,-] => [1,2,3,4] => [1,2,3,4] => ([(0,1),(0,2),(0,3),(0,4),(1,9),(2,8),(3,8),(3,10),(4,9),(4,10),(6,5),(7,5),(8,6),(9,7),(10,6),(10,7)],11)
=> ? = 1
[+,+,4,3] => [1,2,4,3] => [1,2,3,4] => ([(0,1),(0,2),(0,3),(0,4),(1,9),(2,8),(3,8),(3,10),(4,9),(4,10),(6,5),(7,5),(8,6),(9,7),(10,6),(10,7)],11)
=> ? = 1
[-,+,4,3] => [1,2,4,3] => [1,2,3,4] => ([(0,1),(0,2),(0,3),(0,4),(1,9),(2,8),(3,8),(3,10),(4,9),(4,10),(6,5),(7,5),(8,6),(9,7),(10,6),(10,7)],11)
=> ? = 1
[+,-,4,3] => [1,2,4,3] => [1,2,3,4] => ([(0,1),(0,2),(0,3),(0,4),(1,9),(2,8),(3,8),(3,10),(4,9),(4,10),(6,5),(7,5),(8,6),(9,7),(10,6),(10,7)],11)
=> ? = 1
[-,-,4,3] => [1,2,4,3] => [1,2,3,4] => ([(0,1),(0,2),(0,3),(0,4),(1,9),(2,8),(3,8),(3,10),(4,9),(4,10),(6,5),(7,5),(8,6),(9,7),(10,6),(10,7)],11)
=> ? = 1
[+,3,2,+] => [1,3,2,4] => [1,2,3,4] => ([(0,1),(0,2),(0,3),(0,4),(1,9),(2,8),(3,8),(3,10),(4,9),(4,10),(6,5),(7,5),(8,6),(9,7),(10,6),(10,7)],11)
=> ? = 1
[-,3,2,+] => [1,3,2,4] => [1,2,3,4] => ([(0,1),(0,2),(0,3),(0,4),(1,9),(2,8),(3,8),(3,10),(4,9),(4,10),(6,5),(7,5),(8,6),(9,7),(10,6),(10,7)],11)
=> ? = 1
[+,3,2,-] => [1,3,2,4] => [1,2,3,4] => ([(0,1),(0,2),(0,3),(0,4),(1,9),(2,8),(3,8),(3,10),(4,9),(4,10),(6,5),(7,5),(8,6),(9,7),(10,6),(10,7)],11)
=> ? = 1
[-,3,2,-] => [1,3,2,4] => [1,2,3,4] => ([(0,1),(0,2),(0,3),(0,4),(1,9),(2,8),(3,8),(3,10),(4,9),(4,10),(6,5),(7,5),(8,6),(9,7),(10,6),(10,7)],11)
=> ? = 1
[+,3,4,2] => [1,3,4,2] => [1,2,3,4] => ([(0,1),(0,2),(0,3),(0,4),(1,9),(2,8),(3,8),(3,10),(4,9),(4,10),(6,5),(7,5),(8,6),(9,7),(10,6),(10,7)],11)
=> ? = 1
[-,3,4,2] => [1,3,4,2] => [1,2,3,4] => ([(0,1),(0,2),(0,3),(0,4),(1,9),(2,8),(3,8),(3,10),(4,9),(4,10),(6,5),(7,5),(8,6),(9,7),(10,6),(10,7)],11)
=> ? = 1
[+,4,2,3] => [1,4,2,3] => [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)
=> 1
[-,4,2,3] => [1,4,2,3] => [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)
=> 1
[+,4,+,2] => [1,4,3,2] => [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)
=> 1
[-,4,+,2] => [1,4,3,2] => [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)
=> 1
[+,4,-,2] => [1,4,3,2] => [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)
=> 1
[-,4,-,2] => [1,4,3,2] => [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)
=> 1
[2,1,+,+] => [2,1,3,4] => [1,2,3,4] => ([(0,1),(0,2),(0,3),(0,4),(1,9),(2,8),(3,8),(3,10),(4,9),(4,10),(6,5),(7,5),(8,6),(9,7),(10,6),(10,7)],11)
=> ? = 1
[2,1,-,+] => [2,1,3,4] => [1,2,3,4] => ([(0,1),(0,2),(0,3),(0,4),(1,9),(2,8),(3,8),(3,10),(4,9),(4,10),(6,5),(7,5),(8,6),(9,7),(10,6),(10,7)],11)
=> ? = 1
[2,1,+,-] => [2,1,3,4] => [1,2,3,4] => ([(0,1),(0,2),(0,3),(0,4),(1,9),(2,8),(3,8),(3,10),(4,9),(4,10),(6,5),(7,5),(8,6),(9,7),(10,6),(10,7)],11)
=> ? = 1
[2,1,-,-] => [2,1,3,4] => [1,2,3,4] => ([(0,1),(0,2),(0,3),(0,4),(1,9),(2,8),(3,8),(3,10),(4,9),(4,10),(6,5),(7,5),(8,6),(9,7),(10,6),(10,7)],11)
=> ? = 1
[2,1,4,3] => [2,1,4,3] => [1,2,3,4] => ([(0,1),(0,2),(0,3),(0,4),(1,9),(2,8),(3,8),(3,10),(4,9),(4,10),(6,5),(7,5),(8,6),(9,7),(10,6),(10,7)],11)
=> ? = 1
[2,3,1,+] => [2,3,1,4] => [1,2,3,4] => ([(0,1),(0,2),(0,3),(0,4),(1,9),(2,8),(3,8),(3,10),(4,9),(4,10),(6,5),(7,5),(8,6),(9,7),(10,6),(10,7)],11)
=> ? = 1
[2,3,1,-] => [2,3,1,4] => [1,2,3,4] => ([(0,1),(0,2),(0,3),(0,4),(1,9),(2,8),(3,8),(3,10),(4,9),(4,10),(6,5),(7,5),(8,6),(9,7),(10,6),(10,7)],11)
=> ? = 1
[2,3,4,1] => [2,3,4,1] => [1,2,3,4] => ([(0,1),(0,2),(0,3),(0,4),(1,9),(2,8),(3,8),(3,10),(4,9),(4,10),(6,5),(7,5),(8,6),(9,7),(10,6),(10,7)],11)
=> ? = 1
[2,4,1,3] => [2,4,1,3] => [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)
=> 1
[2,4,+,1] => [2,4,3,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)
=> 1
[2,4,-,1] => [2,4,3,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)
=> 1
[3,1,2,+] => [3,1,2,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)
=> 1
[3,1,2,-] => [3,1,2,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)
=> 1
[3,1,4,2] => [3,1,4,2] => [1,3,4,2] => ([(0,1),(0,2),(0,3),(0,4),(1,5),(2,5),(3,6),(4,7),(5,7),(7,6)],8)
=> 1
[3,+,1,+] => [3,2,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)
=> 1
[3,-,1,+] => [3,2,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)
=> 1
[3,+,1,-] => [3,2,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)
=> 1
[3,-,1,-] => [3,2,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)
=> 1
[3,+,4,1] => [3,2,4,1] => [1,3,4,2] => ([(0,1),(0,2),(0,3),(0,4),(1,5),(2,5),(3,6),(4,7),(5,7),(7,6)],8)
=> 1
[3,-,4,1] => [3,2,4,1] => [1,3,4,2] => ([(0,1),(0,2),(0,3),(0,4),(1,5),(2,5),(3,6),(4,7),(5,7),(7,6)],8)
=> 1
[3,4,1,2] => [3,4,1,2] => [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)
=> 1
[3,4,2,1] => [3,4,2,1] => [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)
=> 1
[4,1,2,3] => [4,1,2,3] => [1,4,3,2] => ([(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)
=> 1
[4,1,+,2] => [4,1,3,2] => [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
[4,1,-,2] => [4,1,3,2] => [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
[4,+,1,3] => [4,2,1,3] => [1,4,3,2] => ([(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)
=> 1
[4,-,1,3] => [4,2,1,3] => [1,4,3,2] => ([(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)
=> 1
[4,+,+,1] => [4,2,3,1] => [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
[4,-,+,1] => [4,2,3,1] => [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,5] => [1,2,3,4,5] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(1,12),(2,11),(3,11),(3,14),(4,12),(4,15),(5,14),(5,15),(7,9),(8,10),(9,6),(10,6),(11,7),(12,8),(13,9),(13,10),(14,7),(14,13),(15,8),(15,13)],16)
=> ? = 1
[-,+,+,+,+] => [1,2,3,4,5] => [1,2,3,4,5] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(1,12),(2,11),(3,11),(3,14),(4,12),(4,15),(5,14),(5,15),(7,9),(8,10),(9,6),(10,6),(11,7),(12,8),(13,9),(13,10),(14,7),(14,13),(15,8),(15,13)],16)
=> ? = 1
[+,-,+,+,+] => [1,2,3,4,5] => [1,2,3,4,5] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(1,12),(2,11),(3,11),(3,14),(4,12),(4,15),(5,14),(5,15),(7,9),(8,10),(9,6),(10,6),(11,7),(12,8),(13,9),(13,10),(14,7),(14,13),(15,8),(15,13)],16)
=> ? = 1
[+,+,-,+,+] => [1,2,3,4,5] => [1,2,3,4,5] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(1,12),(2,11),(3,11),(3,14),(4,12),(4,15),(5,14),(5,15),(7,9),(8,10),(9,6),(10,6),(11,7),(12,8),(13,9),(13,10),(14,7),(14,13),(15,8),(15,13)],16)
=> ? = 1
[+,+,+,-,+] => [1,2,3,4,5] => [1,2,3,4,5] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(1,12),(2,11),(3,11),(3,14),(4,12),(4,15),(5,14),(5,15),(7,9),(8,10),(9,6),(10,6),(11,7),(12,8),(13,9),(13,10),(14,7),(14,13),(15,8),(15,13)],16)
=> ? = 1
[+,+,+,+,-] => [1,2,3,4,5] => [1,2,3,4,5] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(1,12),(2,11),(3,11),(3,14),(4,12),(4,15),(5,14),(5,15),(7,9),(8,10),(9,6),(10,6),(11,7),(12,8),(13,9),(13,10),(14,7),(14,13),(15,8),(15,13)],16)
=> ? = 1
[-,-,+,+,+] => [1,2,3,4,5] => [1,2,3,4,5] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(1,12),(2,11),(3,11),(3,14),(4,12),(4,15),(5,14),(5,15),(7,9),(8,10),(9,6),(10,6),(11,7),(12,8),(13,9),(13,10),(14,7),(14,13),(15,8),(15,13)],16)
=> ? = 3
[-,+,-,+,+] => [1,2,3,4,5] => [1,2,3,4,5] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(1,12),(2,11),(3,11),(3,14),(4,12),(4,15),(5,14),(5,15),(7,9),(8,10),(9,6),(10,6),(11,7),(12,8),(13,9),(13,10),(14,7),(14,13),(15,8),(15,13)],16)
=> ? = 2
[-,+,+,-,+] => [1,2,3,4,5] => [1,2,3,4,5] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(1,12),(2,11),(3,11),(3,14),(4,12),(4,15),(5,14),(5,15),(7,9),(8,10),(9,6),(10,6),(11,7),(12,8),(13,9),(13,10),(14,7),(14,13),(15,8),(15,13)],16)
=> ? = 1
[-,+,+,+,-] => [1,2,3,4,5] => [1,2,3,4,5] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(1,12),(2,11),(3,11),(3,14),(4,12),(4,15),(5,14),(5,15),(7,9),(8,10),(9,6),(10,6),(11,7),(12,8),(13,9),(13,10),(14,7),(14,13),(15,8),(15,13)],16)
=> ? = 1
[+,-,-,+,+] => [1,2,3,4,5] => [1,2,3,4,5] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(1,12),(2,11),(3,11),(3,14),(4,12),(4,15),(5,14),(5,15),(7,9),(8,10),(9,6),(10,6),(11,7),(12,8),(13,9),(13,10),(14,7),(14,13),(15,8),(15,13)],16)
=> ? = 2
[+,-,+,-,+] => [1,2,3,4,5] => [1,2,3,4,5] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(1,12),(2,11),(3,11),(3,14),(4,12),(4,15),(5,14),(5,15),(7,9),(8,10),(9,6),(10,6),(11,7),(12,8),(13,9),(13,10),(14,7),(14,13),(15,8),(15,13)],16)
=> ? = 1
[+,-,+,+,-] => [1,2,3,4,5] => [1,2,3,4,5] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(1,12),(2,11),(3,11),(3,14),(4,12),(4,15),(5,14),(5,15),(7,9),(8,10),(9,6),(10,6),(11,7),(12,8),(13,9),(13,10),(14,7),(14,13),(15,8),(15,13)],16)
=> ? = 1
[+,+,-,-,+] => [1,2,3,4,5] => [1,2,3,4,5] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(1,12),(2,11),(3,11),(3,14),(4,12),(4,15),(5,14),(5,15),(7,9),(8,10),(9,6),(10,6),(11,7),(12,8),(13,9),(13,10),(14,7),(14,13),(15,8),(15,13)],16)
=> ? = 1
[+,+,-,+,-] => [1,2,3,4,5] => [1,2,3,4,5] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(1,12),(2,11),(3,11),(3,14),(4,12),(4,15),(5,14),(5,15),(7,9),(8,10),(9,6),(10,6),(11,7),(12,8),(13,9),(13,10),(14,7),(14,13),(15,8),(15,13)],16)
=> ? = 1
[+,+,+,-,-] => [1,2,3,4,5] => [1,2,3,4,5] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(1,12),(2,11),(3,11),(3,14),(4,12),(4,15),(5,14),(5,15),(7,9),(8,10),(9,6),(10,6),(11,7),(12,8),(13,9),(13,10),(14,7),(14,13),(15,8),(15,13)],16)
=> ? = 1
Description
The number of shortest chains of small intervals from the bottom to the top in a lattice.
An interval $[a, b]$ in a lattice is small if $b$ is a join of elements covering $a$.
Matching statistic: St000456
(load all 2 compositions to match this statistic)
(load all 2 compositions to match this statistic)
Mp00256: Decorated permutations —upper permutation⟶ Permutations
Mp00071: Permutations —descent composition⟶ Integer compositions
Mp00184: Integer compositions —to threshold graph⟶ Graphs
St000456: Graphs ⟶ ℤResult quality: 5% ●values known / values provided: 5%●distinct values known / distinct values provided: 17%
Mp00071: Permutations —descent composition⟶ Integer compositions
Mp00184: Integer compositions —to threshold graph⟶ Graphs
St000456: Graphs ⟶ ℤResult quality: 5% ●values known / values provided: 5%●distinct values known / distinct values provided: 17%
Values
[+] => [1] => [1] => ([],1)
=> ? = 1
[-] => [1] => [1] => ([],1)
=> ? = 1
[+,+] => [1,2] => [2] => ([],2)
=> ? = 1
[-,+] => [2,1] => [1,1] => ([(0,1)],2)
=> 1
[+,-] => [1,2] => [2] => ([],2)
=> ? = 1
[-,-] => [1,2] => [2] => ([],2)
=> ? = 1
[2,1] => [2,1] => [1,1] => ([(0,1)],2)
=> 1
[+,+,+] => [1,2,3] => [3] => ([],3)
=> ? = 1
[-,+,+] => [2,3,1] => [2,1] => ([(0,2),(1,2)],3)
=> 1
[+,-,+] => [1,3,2] => [2,1] => ([(0,2),(1,2)],3)
=> 1
[+,+,-] => [1,2,3] => [3] => ([],3)
=> ? = 1
[-,-,+] => [3,1,2] => [1,2] => ([(1,2)],3)
=> ? = 1
[-,+,-] => [2,1,3] => [1,2] => ([(1,2)],3)
=> ? = 1
[+,-,-] => [1,2,3] => [3] => ([],3)
=> ? = 1
[-,-,-] => [1,2,3] => [3] => ([],3)
=> ? = 1
[+,3,2] => [1,3,2] => [2,1] => ([(0,2),(1,2)],3)
=> 1
[-,3,2] => [3,1,2] => [1,2] => ([(1,2)],3)
=> ? = 1
[2,1,+] => [2,3,1] => [2,1] => ([(0,2),(1,2)],3)
=> 1
[2,1,-] => [2,1,3] => [1,2] => ([(1,2)],3)
=> ? = 1
[2,3,1] => [3,1,2] => [1,2] => ([(1,2)],3)
=> ? = 1
[3,1,2] => [2,3,1] => [2,1] => ([(0,2),(1,2)],3)
=> 1
[3,+,1] => [2,3,1] => [2,1] => ([(0,2),(1,2)],3)
=> 1
[3,-,1] => [3,1,2] => [1,2] => ([(1,2)],3)
=> ? = 1
[+,+,+,+] => [1,2,3,4] => [4] => ([],4)
=> ? = 1
[-,+,+,+] => [2,3,4,1] => [3,1] => ([(0,3),(1,3),(2,3)],4)
=> 1
[+,-,+,+] => [1,3,4,2] => [3,1] => ([(0,3),(1,3),(2,3)],4)
=> 1
[+,+,-,+] => [1,2,4,3] => [3,1] => ([(0,3),(1,3),(2,3)],4)
=> 1
[+,+,+,-] => [1,2,3,4] => [4] => ([],4)
=> ? = 1
[-,-,+,+] => [3,4,1,2] => [2,2] => ([(1,3),(2,3)],4)
=> ? = 2
[-,+,-,+] => [2,4,1,3] => [2,2] => ([(1,3),(2,3)],4)
=> ? = 1
[-,+,+,-] => [2,3,1,4] => [2,2] => ([(1,3),(2,3)],4)
=> ? = 1
[+,-,-,+] => [1,4,2,3] => [2,2] => ([(1,3),(2,3)],4)
=> ? = 1
[+,-,+,-] => [1,3,2,4] => [2,2] => ([(1,3),(2,3)],4)
=> ? = 1
[+,+,-,-] => [1,2,3,4] => [4] => ([],4)
=> ? = 1
[-,-,-,+] => [4,1,2,3] => [1,3] => ([(2,3)],4)
=> ? = 1
[-,-,+,-] => [3,1,2,4] => [1,3] => ([(2,3)],4)
=> ? = 1
[-,+,-,-] => [2,1,3,4] => [1,3] => ([(2,3)],4)
=> ? = 1
[+,-,-,-] => [1,2,3,4] => [4] => ([],4)
=> ? = 1
[-,-,-,-] => [1,2,3,4] => [4] => ([],4)
=> ? = 1
[+,+,4,3] => [1,2,4,3] => [3,1] => ([(0,3),(1,3),(2,3)],4)
=> 1
[-,+,4,3] => [2,4,1,3] => [2,2] => ([(1,3),(2,3)],4)
=> ? = 1
[+,-,4,3] => [1,4,2,3] => [2,2] => ([(1,3),(2,3)],4)
=> ? = 1
[-,-,4,3] => [4,1,2,3] => [1,3] => ([(2,3)],4)
=> ? = 1
[+,3,2,+] => [1,3,4,2] => [3,1] => ([(0,3),(1,3),(2,3)],4)
=> 1
[-,3,2,+] => [3,4,1,2] => [2,2] => ([(1,3),(2,3)],4)
=> ? = 1
[+,3,2,-] => [1,3,2,4] => [2,2] => ([(1,3),(2,3)],4)
=> ? = 1
[-,3,2,-] => [3,1,2,4] => [1,3] => ([(2,3)],4)
=> ? = 1
[+,3,4,2] => [1,4,2,3] => [2,2] => ([(1,3),(2,3)],4)
=> ? = 1
[-,3,4,2] => [4,1,2,3] => [1,3] => ([(2,3)],4)
=> ? = 1
[+,4,2,3] => [1,3,4,2] => [3,1] => ([(0,3),(1,3),(2,3)],4)
=> 1
[-,4,2,3] => [3,4,1,2] => [2,2] => ([(1,3),(2,3)],4)
=> ? = 1
[+,4,+,2] => [1,3,4,2] => [3,1] => ([(0,3),(1,3),(2,3)],4)
=> 1
[-,4,+,2] => [3,4,1,2] => [2,2] => ([(1,3),(2,3)],4)
=> ? = 1
[+,4,-,2] => [1,4,2,3] => [2,2] => ([(1,3),(2,3)],4)
=> ? = 1
[-,4,-,2] => [4,1,2,3] => [1,3] => ([(2,3)],4)
=> ? = 1
[2,1,+,+] => [2,3,4,1] => [3,1] => ([(0,3),(1,3),(2,3)],4)
=> 1
[2,1,-,+] => [2,4,1,3] => [2,2] => ([(1,3),(2,3)],4)
=> ? = 1
[2,1,+,-] => [2,3,1,4] => [2,2] => ([(1,3),(2,3)],4)
=> ? = 1
[2,1,-,-] => [2,1,3,4] => [1,3] => ([(2,3)],4)
=> ? = 1
[2,1,4,3] => [2,4,1,3] => [2,2] => ([(1,3),(2,3)],4)
=> ? = 1
[2,3,1,+] => [3,4,1,2] => [2,2] => ([(1,3),(2,3)],4)
=> ? = 1
[2,3,1,-] => [3,1,2,4] => [1,3] => ([(2,3)],4)
=> ? = 1
[2,3,4,1] => [4,1,2,3] => [1,3] => ([(2,3)],4)
=> ? = 1
[2,4,1,3] => [3,4,1,2] => [2,2] => ([(1,3),(2,3)],4)
=> ? = 1
[2,4,+,1] => [3,4,1,2] => [2,2] => ([(1,3),(2,3)],4)
=> ? = 1
[2,4,-,1] => [4,1,2,3] => [1,3] => ([(2,3)],4)
=> ? = 1
[3,1,2,+] => [2,3,4,1] => [3,1] => ([(0,3),(1,3),(2,3)],4)
=> 1
[3,+,1,+] => [2,3,4,1] => [3,1] => ([(0,3),(1,3),(2,3)],4)
=> 1
[4,1,2,3] => [2,3,4,1] => [3,1] => ([(0,3),(1,3),(2,3)],4)
=> 1
[4,1,+,2] => [2,3,4,1] => [3,1] => ([(0,3),(1,3),(2,3)],4)
=> 1
[4,+,1,3] => [2,3,4,1] => [3,1] => ([(0,3),(1,3),(2,3)],4)
=> 1
[4,+,+,1] => [2,3,4,1] => [3,1] => ([(0,3),(1,3),(2,3)],4)
=> 1
[-,+,+,+,+] => [2,3,4,5,1] => [4,1] => ([(0,4),(1,4),(2,4),(3,4)],5)
=> 1
[+,-,+,+,+] => [1,3,4,5,2] => [4,1] => ([(0,4),(1,4),(2,4),(3,4)],5)
=> 1
[+,+,-,+,+] => [1,2,4,5,3] => [4,1] => ([(0,4),(1,4),(2,4),(3,4)],5)
=> 1
[+,+,+,-,+] => [1,2,3,5,4] => [4,1] => ([(0,4),(1,4),(2,4),(3,4)],5)
=> 1
[+,+,+,5,4] => [1,2,3,5,4] => [4,1] => ([(0,4),(1,4),(2,4),(3,4)],5)
=> 1
[+,+,4,3,+] => [1,2,4,5,3] => [4,1] => ([(0,4),(1,4),(2,4),(3,4)],5)
=> 1
[+,+,5,3,4] => [1,2,4,5,3] => [4,1] => ([(0,4),(1,4),(2,4),(3,4)],5)
=> 1
[+,+,5,+,3] => [1,2,4,5,3] => [4,1] => ([(0,4),(1,4),(2,4),(3,4)],5)
=> 1
[+,3,2,+,+] => [1,3,4,5,2] => [4,1] => ([(0,4),(1,4),(2,4),(3,4)],5)
=> 1
[+,4,2,3,+] => [1,3,4,5,2] => [4,1] => ([(0,4),(1,4),(2,4),(3,4)],5)
=> 1
[+,4,+,2,+] => [1,3,4,5,2] => [4,1] => ([(0,4),(1,4),(2,4),(3,4)],5)
=> 1
[+,5,2,3,4] => [1,3,4,5,2] => [4,1] => ([(0,4),(1,4),(2,4),(3,4)],5)
=> 1
[+,5,2,+,3] => [1,3,4,5,2] => [4,1] => ([(0,4),(1,4),(2,4),(3,4)],5)
=> 1
[+,5,+,2,4] => [1,3,4,5,2] => [4,1] => ([(0,4),(1,4),(2,4),(3,4)],5)
=> 1
[+,5,+,+,2] => [1,3,4,5,2] => [4,1] => ([(0,4),(1,4),(2,4),(3,4)],5)
=> 1
[2,1,+,+,+] => [2,3,4,5,1] => [4,1] => ([(0,4),(1,4),(2,4),(3,4)],5)
=> 1
[3,1,2,+,+] => [2,3,4,5,1] => [4,1] => ([(0,4),(1,4),(2,4),(3,4)],5)
=> 1
[3,+,1,+,+] => [2,3,4,5,1] => [4,1] => ([(0,4),(1,4),(2,4),(3,4)],5)
=> 1
[4,1,2,3,+] => [2,3,4,5,1] => [4,1] => ([(0,4),(1,4),(2,4),(3,4)],5)
=> 1
[4,1,+,2,+] => [2,3,4,5,1] => [4,1] => ([(0,4),(1,4),(2,4),(3,4)],5)
=> 1
[4,+,1,3,+] => [2,3,4,5,1] => [4,1] => ([(0,4),(1,4),(2,4),(3,4)],5)
=> 1
[4,+,+,1,+] => [2,3,4,5,1] => [4,1] => ([(0,4),(1,4),(2,4),(3,4)],5)
=> 1
[5,1,2,3,4] => [2,3,4,5,1] => [4,1] => ([(0,4),(1,4),(2,4),(3,4)],5)
=> 1
[5,1,2,+,3] => [2,3,4,5,1] => [4,1] => ([(0,4),(1,4),(2,4),(3,4)],5)
=> 1
[5,1,+,2,4] => [2,3,4,5,1] => [4,1] => ([(0,4),(1,4),(2,4),(3,4)],5)
=> 1
[5,1,+,+,2] => [2,3,4,5,1] => [4,1] => ([(0,4),(1,4),(2,4),(3,4)],5)
=> 1
[5,+,1,3,4] => [2,3,4,5,1] => [4,1] => ([(0,4),(1,4),(2,4),(3,4)],5)
=> 1
[5,+,1,+,3] => [2,3,4,5,1] => [4,1] => ([(0,4),(1,4),(2,4),(3,4)],5)
=> 1
Description
The monochromatic index of a connected graph.
This is the maximal number of colours such that there is a colouring of the edges where any two vertices can be joined by a monochromatic path.
For example, a circle graph other than the triangle can be coloured with at most two colours: one edge blue, all the others red.
Matching statistic: St000068
Mp00253: Decorated permutations —permutation⟶ Permutations
Mp00208: Permutations —lattice of intervals⟶ Lattices
Mp00193: Lattices —to poset⟶ Posets
St000068: Posets ⟶ ℤResult quality: 4% ●values known / values provided: 4%●distinct values known / distinct values provided: 17%
Mp00208: Permutations —lattice of intervals⟶ Lattices
Mp00193: Lattices —to poset⟶ Posets
St000068: Posets ⟶ ℤResult quality: 4% ●values known / values provided: 4%●distinct values known / distinct values provided: 17%
Values
[+] => [1] => ([(0,1)],2)
=> ([(0,1)],2)
=> 1
[-] => [1] => ([(0,1)],2)
=> ([(0,1)],2)
=> 1
[+,+] => [1,2] => ([(0,1),(0,2),(1,3),(2,3)],4)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> 1
[-,+] => [1,2] => ([(0,1),(0,2),(1,3),(2,3)],4)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> 1
[+,-] => [1,2] => ([(0,1),(0,2),(1,3),(2,3)],4)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> 1
[-,-] => [1,2] => ([(0,1),(0,2),(1,3),(2,3)],4)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> 1
[2,1] => [2,1] => ([(0,1),(0,2),(1,3),(2,3)],4)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> 1
[+,+,+] => [1,2,3] => ([(0,1),(0,2),(0,3),(1,5),(2,4),(3,4),(3,5),(4,6),(5,6)],7)
=> ([(0,1),(0,2),(0,3),(1,5),(2,4),(3,4),(3,5),(4,6),(5,6)],7)
=> 1
[-,+,+] => [1,2,3] => ([(0,1),(0,2),(0,3),(1,5),(2,4),(3,4),(3,5),(4,6),(5,6)],7)
=> ([(0,1),(0,2),(0,3),(1,5),(2,4),(3,4),(3,5),(4,6),(5,6)],7)
=> 1
[+,-,+] => [1,2,3] => ([(0,1),(0,2),(0,3),(1,5),(2,4),(3,4),(3,5),(4,6),(5,6)],7)
=> ([(0,1),(0,2),(0,3),(1,5),(2,4),(3,4),(3,5),(4,6),(5,6)],7)
=> 1
[+,+,-] => [1,2,3] => ([(0,1),(0,2),(0,3),(1,5),(2,4),(3,4),(3,5),(4,6),(5,6)],7)
=> ([(0,1),(0,2),(0,3),(1,5),(2,4),(3,4),(3,5),(4,6),(5,6)],7)
=> 1
[-,-,+] => [1,2,3] => ([(0,1),(0,2),(0,3),(1,5),(2,4),(3,4),(3,5),(4,6),(5,6)],7)
=> ([(0,1),(0,2),(0,3),(1,5),(2,4),(3,4),(3,5),(4,6),(5,6)],7)
=> 1
[-,+,-] => [1,2,3] => ([(0,1),(0,2),(0,3),(1,5),(2,4),(3,4),(3,5),(4,6),(5,6)],7)
=> ([(0,1),(0,2),(0,3),(1,5),(2,4),(3,4),(3,5),(4,6),(5,6)],7)
=> 1
[+,-,-] => [1,2,3] => ([(0,1),(0,2),(0,3),(1,5),(2,4),(3,4),(3,5),(4,6),(5,6)],7)
=> ([(0,1),(0,2),(0,3),(1,5),(2,4),(3,4),(3,5),(4,6),(5,6)],7)
=> 1
[-,-,-] => [1,2,3] => ([(0,1),(0,2),(0,3),(1,5),(2,4),(3,4),(3,5),(4,6),(5,6)],7)
=> ([(0,1),(0,2),(0,3),(1,5),(2,4),(3,4),(3,5),(4,6),(5,6)],7)
=> 1
[+,3,2] => [1,3,2] => ([(0,1),(0,2),(0,3),(1,5),(2,4),(3,4),(4,5)],6)
=> ([(0,1),(0,2),(0,3),(1,5),(2,4),(3,4),(4,5)],6)
=> 1
[-,3,2] => [1,3,2] => ([(0,1),(0,2),(0,3),(1,5),(2,4),(3,4),(4,5)],6)
=> ([(0,1),(0,2),(0,3),(1,5),(2,4),(3,4),(4,5)],6)
=> 1
[2,1,+] => [2,1,3] => ([(0,1),(0,2),(0,3),(1,5),(2,4),(3,4),(4,5)],6)
=> ([(0,1),(0,2),(0,3),(1,5),(2,4),(3,4),(4,5)],6)
=> 1
[2,1,-] => [2,1,3] => ([(0,1),(0,2),(0,3),(1,5),(2,4),(3,4),(4,5)],6)
=> ([(0,1),(0,2),(0,3),(1,5),(2,4),(3,4),(4,5)],6)
=> 1
[2,3,1] => [2,3,1] => ([(0,1),(0,2),(0,3),(1,5),(2,4),(3,4),(4,5)],6)
=> ([(0,1),(0,2),(0,3),(1,5),(2,4),(3,4),(4,5)],6)
=> 1
[3,1,2] => [3,1,2] => ([(0,1),(0,2),(0,3),(1,5),(2,4),(3,4),(4,5)],6)
=> ([(0,1),(0,2),(0,3),(1,5),(2,4),(3,4),(4,5)],6)
=> 1
[3,+,1] => [3,2,1] => ([(0,1),(0,2),(0,3),(1,5),(2,4),(3,4),(3,5),(4,6),(5,6)],7)
=> ([(0,1),(0,2),(0,3),(1,5),(2,4),(3,4),(3,5),(4,6),(5,6)],7)
=> 1
[3,-,1] => [3,2,1] => ([(0,1),(0,2),(0,3),(1,5),(2,4),(3,4),(3,5),(4,6),(5,6)],7)
=> ([(0,1),(0,2),(0,3),(1,5),(2,4),(3,4),(3,5),(4,6),(5,6)],7)
=> 1
[+,+,+,+] => [1,2,3,4] => ([(0,1),(0,2),(0,3),(0,4),(1,9),(2,8),(3,8),(3,10),(4,9),(4,10),(6,5),(7,5),(8,6),(9,7),(10,6),(10,7)],11)
=> ([(0,1),(0,2),(0,3),(0,4),(1,9),(2,8),(3,8),(3,10),(4,9),(4,10),(6,5),(7,5),(8,6),(9,7),(10,6),(10,7)],11)
=> ? = 1
[-,+,+,+] => [1,2,3,4] => ([(0,1),(0,2),(0,3),(0,4),(1,9),(2,8),(3,8),(3,10),(4,9),(4,10),(6,5),(7,5),(8,6),(9,7),(10,6),(10,7)],11)
=> ([(0,1),(0,2),(0,3),(0,4),(1,9),(2,8),(3,8),(3,10),(4,9),(4,10),(6,5),(7,5),(8,6),(9,7),(10,6),(10,7)],11)
=> ? = 1
[+,-,+,+] => [1,2,3,4] => ([(0,1),(0,2),(0,3),(0,4),(1,9),(2,8),(3,8),(3,10),(4,9),(4,10),(6,5),(7,5),(8,6),(9,7),(10,6),(10,7)],11)
=> ([(0,1),(0,2),(0,3),(0,4),(1,9),(2,8),(3,8),(3,10),(4,9),(4,10),(6,5),(7,5),(8,6),(9,7),(10,6),(10,7)],11)
=> ? = 1
[+,+,-,+] => [1,2,3,4] => ([(0,1),(0,2),(0,3),(0,4),(1,9),(2,8),(3,8),(3,10),(4,9),(4,10),(6,5),(7,5),(8,6),(9,7),(10,6),(10,7)],11)
=> ([(0,1),(0,2),(0,3),(0,4),(1,9),(2,8),(3,8),(3,10),(4,9),(4,10),(6,5),(7,5),(8,6),(9,7),(10,6),(10,7)],11)
=> ? = 1
[+,+,+,-] => [1,2,3,4] => ([(0,1),(0,2),(0,3),(0,4),(1,9),(2,8),(3,8),(3,10),(4,9),(4,10),(6,5),(7,5),(8,6),(9,7),(10,6),(10,7)],11)
=> ([(0,1),(0,2),(0,3),(0,4),(1,9),(2,8),(3,8),(3,10),(4,9),(4,10),(6,5),(7,5),(8,6),(9,7),(10,6),(10,7)],11)
=> ? = 1
[-,-,+,+] => [1,2,3,4] => ([(0,1),(0,2),(0,3),(0,4),(1,9),(2,8),(3,8),(3,10),(4,9),(4,10),(6,5),(7,5),(8,6),(9,7),(10,6),(10,7)],11)
=> ([(0,1),(0,2),(0,3),(0,4),(1,9),(2,8),(3,8),(3,10),(4,9),(4,10),(6,5),(7,5),(8,6),(9,7),(10,6),(10,7)],11)
=> ? = 2
[-,+,-,+] => [1,2,3,4] => ([(0,1),(0,2),(0,3),(0,4),(1,9),(2,8),(3,8),(3,10),(4,9),(4,10),(6,5),(7,5),(8,6),(9,7),(10,6),(10,7)],11)
=> ([(0,1),(0,2),(0,3),(0,4),(1,9),(2,8),(3,8),(3,10),(4,9),(4,10),(6,5),(7,5),(8,6),(9,7),(10,6),(10,7)],11)
=> ? = 1
[-,+,+,-] => [1,2,3,4] => ([(0,1),(0,2),(0,3),(0,4),(1,9),(2,8),(3,8),(3,10),(4,9),(4,10),(6,5),(7,5),(8,6),(9,7),(10,6),(10,7)],11)
=> ([(0,1),(0,2),(0,3),(0,4),(1,9),(2,8),(3,8),(3,10),(4,9),(4,10),(6,5),(7,5),(8,6),(9,7),(10,6),(10,7)],11)
=> ? = 1
[+,-,-,+] => [1,2,3,4] => ([(0,1),(0,2),(0,3),(0,4),(1,9),(2,8),(3,8),(3,10),(4,9),(4,10),(6,5),(7,5),(8,6),(9,7),(10,6),(10,7)],11)
=> ([(0,1),(0,2),(0,3),(0,4),(1,9),(2,8),(3,8),(3,10),(4,9),(4,10),(6,5),(7,5),(8,6),(9,7),(10,6),(10,7)],11)
=> ? = 1
[+,-,+,-] => [1,2,3,4] => ([(0,1),(0,2),(0,3),(0,4),(1,9),(2,8),(3,8),(3,10),(4,9),(4,10),(6,5),(7,5),(8,6),(9,7),(10,6),(10,7)],11)
=> ([(0,1),(0,2),(0,3),(0,4),(1,9),(2,8),(3,8),(3,10),(4,9),(4,10),(6,5),(7,5),(8,6),(9,7),(10,6),(10,7)],11)
=> ? = 1
[+,+,-,-] => [1,2,3,4] => ([(0,1),(0,2),(0,3),(0,4),(1,9),(2,8),(3,8),(3,10),(4,9),(4,10),(6,5),(7,5),(8,6),(9,7),(10,6),(10,7)],11)
=> ([(0,1),(0,2),(0,3),(0,4),(1,9),(2,8),(3,8),(3,10),(4,9),(4,10),(6,5),(7,5),(8,6),(9,7),(10,6),(10,7)],11)
=> ? = 1
[-,-,-,+] => [1,2,3,4] => ([(0,1),(0,2),(0,3),(0,4),(1,9),(2,8),(3,8),(3,10),(4,9),(4,10),(6,5),(7,5),(8,6),(9,7),(10,6),(10,7)],11)
=> ([(0,1),(0,2),(0,3),(0,4),(1,9),(2,8),(3,8),(3,10),(4,9),(4,10),(6,5),(7,5),(8,6),(9,7),(10,6),(10,7)],11)
=> ? = 1
[-,-,+,-] => [1,2,3,4] => ([(0,1),(0,2),(0,3),(0,4),(1,9),(2,8),(3,8),(3,10),(4,9),(4,10),(6,5),(7,5),(8,6),(9,7),(10,6),(10,7)],11)
=> ([(0,1),(0,2),(0,3),(0,4),(1,9),(2,8),(3,8),(3,10),(4,9),(4,10),(6,5),(7,5),(8,6),(9,7),(10,6),(10,7)],11)
=> ? = 1
[-,+,-,-] => [1,2,3,4] => ([(0,1),(0,2),(0,3),(0,4),(1,9),(2,8),(3,8),(3,10),(4,9),(4,10),(6,5),(7,5),(8,6),(9,7),(10,6),(10,7)],11)
=> ([(0,1),(0,2),(0,3),(0,4),(1,9),(2,8),(3,8),(3,10),(4,9),(4,10),(6,5),(7,5),(8,6),(9,7),(10,6),(10,7)],11)
=> ? = 1
[+,-,-,-] => [1,2,3,4] => ([(0,1),(0,2),(0,3),(0,4),(1,9),(2,8),(3,8),(3,10),(4,9),(4,10),(6,5),(7,5),(8,6),(9,7),(10,6),(10,7)],11)
=> ([(0,1),(0,2),(0,3),(0,4),(1,9),(2,8),(3,8),(3,10),(4,9),(4,10),(6,5),(7,5),(8,6),(9,7),(10,6),(10,7)],11)
=> ? = 1
[-,-,-,-] => [1,2,3,4] => ([(0,1),(0,2),(0,3),(0,4),(1,9),(2,8),(3,8),(3,10),(4,9),(4,10),(6,5),(7,5),(8,6),(9,7),(10,6),(10,7)],11)
=> ([(0,1),(0,2),(0,3),(0,4),(1,9),(2,8),(3,8),(3,10),(4,9),(4,10),(6,5),(7,5),(8,6),(9,7),(10,6),(10,7)],11)
=> ? = 1
[+,+,4,3] => [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)
=> ([(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)
=> ? = 1
[-,+,4,3] => [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)
=> ([(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)
=> ? = 1
[+,-,4,3] => [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)
=> ([(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)
=> ? = 1
[-,-,4,3] => [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)
=> ([(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)
=> ? = 1
[+,3,2,+] => [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)
=> ([(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)
=> ? = 1
[-,3,2,+] => [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)
=> ([(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)
=> ? = 1
[+,3,2,-] => [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)
=> ([(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)
=> ? = 1
[-,3,2,-] => [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)
=> ([(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)
=> ? = 1
[+,3,4,2] => [1,3,4,2] => ([(0,1),(0,2),(0,3),(0,4),(1,5),(2,5),(3,6),(4,7),(5,7),(7,6)],8)
=> ([(0,1),(0,2),(0,3),(0,4),(1,5),(2,5),(3,6),(4,7),(5,7),(7,6)],8)
=> 1
[-,3,4,2] => [1,3,4,2] => ([(0,1),(0,2),(0,3),(0,4),(1,5),(2,5),(3,6),(4,7),(5,7),(7,6)],8)
=> ([(0,1),(0,2),(0,3),(0,4),(1,5),(2,5),(3,6),(4,7),(5,7),(7,6)],8)
=> 1
[+,4,2,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)
=> ([(0,1),(0,2),(0,3),(0,4),(1,5),(2,5),(3,6),(4,7),(5,7),(7,6)],8)
=> 1
[-,4,2,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)
=> ([(0,1),(0,2),(0,3),(0,4),(1,5),(2,5),(3,6),(4,7),(5,7),(7,6)],8)
=> 1
[+,4,+,2] => [1,4,3,2] => ([(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)
=> ([(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)
=> 1
[-,4,+,2] => [1,4,3,2] => ([(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)
=> ([(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)
=> 1
[+,4,-,2] => [1,4,3,2] => ([(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)
=> ([(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)
=> 1
[-,4,-,2] => [1,4,3,2] => ([(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)
=> ([(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)
=> 1
[2,1,+,+] => [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)
=> ([(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)
=> ? = 1
[2,1,-,+] => [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)
=> ([(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)
=> ? = 1
[2,1,+,-] => [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)
=> ([(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)
=> ? = 1
[2,1,-,-] => [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)
=> ([(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)
=> ? = 1
[2,1,4,3] => [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)
=> ([(0,1),(0,2),(0,3),(0,4),(1,6),(2,6),(3,5),(4,5),(5,7),(6,7)],8)
=> 1
[2,3,1,+] => [2,3,1,4] => ([(0,1),(0,2),(0,3),(0,4),(1,5),(2,5),(3,6),(4,7),(5,7),(7,6)],8)
=> ([(0,1),(0,2),(0,3),(0,4),(1,5),(2,5),(3,6),(4,7),(5,7),(7,6)],8)
=> 1
[2,3,1,-] => [2,3,1,4] => ([(0,1),(0,2),(0,3),(0,4),(1,5),(2,5),(3,6),(4,7),(5,7),(7,6)],8)
=> ([(0,1),(0,2),(0,3),(0,4),(1,5),(2,5),(3,6),(4,7),(5,7),(7,6)],8)
=> 1
[2,3,4,1] => [2,3,4,1] => ([(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)
=> ([(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)
=> 1
[2,4,1,3] => [2,4,1,3] => ([(0,1),(0,2),(0,3),(0,4),(1,5),(2,5),(3,5),(4,5)],6)
=> ([(0,1),(0,2),(0,3),(0,4),(1,5),(2,5),(3,5),(4,5)],6)
=> 1
[2,4,+,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)
=> ([(0,1),(0,2),(0,3),(0,4),(1,5),(2,5),(3,6),(4,7),(5,7),(7,6)],8)
=> 1
[2,4,-,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)
=> ([(0,1),(0,2),(0,3),(0,4),(1,5),(2,5),(3,6),(4,7),(5,7),(7,6)],8)
=> 1
[3,1,2,+] => [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)
=> ([(0,1),(0,2),(0,3),(0,4),(1,5),(2,5),(3,6),(4,7),(5,7),(7,6)],8)
=> 1
[3,1,2,-] => [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)
=> ([(0,1),(0,2),(0,3),(0,4),(1,5),(2,5),(3,6),(4,7),(5,7),(7,6)],8)
=> 1
[3,1,4,2] => [3,1,4,2] => ([(0,1),(0,2),(0,3),(0,4),(1,5),(2,5),(3,5),(4,5)],6)
=> ([(0,1),(0,2),(0,3),(0,4),(1,5),(2,5),(3,5),(4,5)],6)
=> 1
[3,+,1,+] => [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)
=> ([(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)
=> 1
[3,-,1,+] => [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)
=> ([(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)
=> 1
[3,+,1,-] => [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)
=> ([(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)
=> 1
[3,-,1,-] => [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)
=> ([(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)
=> 1
[3,+,4,1] => [3,2,4,1] => ([(0,1),(0,2),(0,3),(0,4),(1,5),(2,5),(3,6),(4,7),(5,7),(7,6)],8)
=> ([(0,1),(0,2),(0,3),(0,4),(1,5),(2,5),(3,6),(4,7),(5,7),(7,6)],8)
=> 1
[3,-,4,1] => [3,2,4,1] => ([(0,1),(0,2),(0,3),(0,4),(1,5),(2,5),(3,6),(4,7),(5,7),(7,6)],8)
=> ([(0,1),(0,2),(0,3),(0,4),(1,5),(2,5),(3,6),(4,7),(5,7),(7,6)],8)
=> 1
[3,4,1,2] => [3,4,1,2] => ([(0,1),(0,2),(0,3),(0,4),(1,6),(2,6),(3,5),(4,5),(5,7),(6,7)],8)
=> ([(0,1),(0,2),(0,3),(0,4),(1,6),(2,6),(3,5),(4,5),(5,7),(6,7)],8)
=> 1
[3,4,2,1] => [3,4,2,1] => ([(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)
=> ([(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)
=> ? = 1
[4,1,2,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)
=> ([(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)
=> 1
[4,1,+,2] => [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)
=> ([(0,1),(0,2),(0,3),(0,4),(1,5),(2,5),(3,6),(4,7),(5,7),(7,6)],8)
=> 1
[4,+,+,1] => [4,2,3,1] => ([(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)
=> ([(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)
=> ? = 1
[4,-,+,1] => [4,2,3,1] => ([(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)
=> ([(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)
=> ? = 1
[4,+,-,1] => [4,2,3,1] => ([(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)
=> ([(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)
=> ? = 1
[4,-,-,1] => [4,2,3,1] => ([(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)
=> ([(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)
=> ? = 1
[4,3,1,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)
=> ([(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)
=> ? = 1
[4,3,2,1] => [4,3,2,1] => ([(0,1),(0,2),(0,3),(0,4),(1,9),(2,8),(3,8),(3,10),(4,9),(4,10),(6,5),(7,5),(8,6),(9,7),(10,6),(10,7)],11)
=> ([(0,1),(0,2),(0,3),(0,4),(1,9),(2,8),(3,8),(3,10),(4,9),(4,10),(6,5),(7,5),(8,6),(9,7),(10,6),(10,7)],11)
=> ? = 1
[+,+,+,+,+] => [1,2,3,4,5] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(1,12),(2,11),(3,11),(3,14),(4,12),(4,15),(5,14),(5,15),(7,9),(8,10),(9,6),(10,6),(11,7),(12,8),(13,9),(13,10),(14,7),(14,13),(15,8),(15,13)],16)
=> ([(0,1),(0,2),(0,3),(0,4),(0,5),(1,12),(2,11),(3,11),(3,14),(4,12),(4,15),(5,14),(5,15),(7,9),(8,10),(9,6),(10,6),(11,7),(12,8),(13,9),(13,10),(14,7),(14,13),(15,8),(15,13)],16)
=> ? = 1
[-,+,+,+,+] => [1,2,3,4,5] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(1,12),(2,11),(3,11),(3,14),(4,12),(4,15),(5,14),(5,15),(7,9),(8,10),(9,6),(10,6),(11,7),(12,8),(13,9),(13,10),(14,7),(14,13),(15,8),(15,13)],16)
=> ([(0,1),(0,2),(0,3),(0,4),(0,5),(1,12),(2,11),(3,11),(3,14),(4,12),(4,15),(5,14),(5,15),(7,9),(8,10),(9,6),(10,6),(11,7),(12,8),(13,9),(13,10),(14,7),(14,13),(15,8),(15,13)],16)
=> ? = 1
[+,-,+,+,+] => [1,2,3,4,5] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(1,12),(2,11),(3,11),(3,14),(4,12),(4,15),(5,14),(5,15),(7,9),(8,10),(9,6),(10,6),(11,7),(12,8),(13,9),(13,10),(14,7),(14,13),(15,8),(15,13)],16)
=> ([(0,1),(0,2),(0,3),(0,4),(0,5),(1,12),(2,11),(3,11),(3,14),(4,12),(4,15),(5,14),(5,15),(7,9),(8,10),(9,6),(10,6),(11,7),(12,8),(13,9),(13,10),(14,7),(14,13),(15,8),(15,13)],16)
=> ? = 1
[+,+,-,+,+] => [1,2,3,4,5] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(1,12),(2,11),(3,11),(3,14),(4,12),(4,15),(5,14),(5,15),(7,9),(8,10),(9,6),(10,6),(11,7),(12,8),(13,9),(13,10),(14,7),(14,13),(15,8),(15,13)],16)
=> ([(0,1),(0,2),(0,3),(0,4),(0,5),(1,12),(2,11),(3,11),(3,14),(4,12),(4,15),(5,14),(5,15),(7,9),(8,10),(9,6),(10,6),(11,7),(12,8),(13,9),(13,10),(14,7),(14,13),(15,8),(15,13)],16)
=> ? = 1
[+,+,+,-,+] => [1,2,3,4,5] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(1,12),(2,11),(3,11),(3,14),(4,12),(4,15),(5,14),(5,15),(7,9),(8,10),(9,6),(10,6),(11,7),(12,8),(13,9),(13,10),(14,7),(14,13),(15,8),(15,13)],16)
=> ([(0,1),(0,2),(0,3),(0,4),(0,5),(1,12),(2,11),(3,11),(3,14),(4,12),(4,15),(5,14),(5,15),(7,9),(8,10),(9,6),(10,6),(11,7),(12,8),(13,9),(13,10),(14,7),(14,13),(15,8),(15,13)],16)
=> ? = 1
[+,+,+,+,-] => [1,2,3,4,5] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(1,12),(2,11),(3,11),(3,14),(4,12),(4,15),(5,14),(5,15),(7,9),(8,10),(9,6),(10,6),(11,7),(12,8),(13,9),(13,10),(14,7),(14,13),(15,8),(15,13)],16)
=> ([(0,1),(0,2),(0,3),(0,4),(0,5),(1,12),(2,11),(3,11),(3,14),(4,12),(4,15),(5,14),(5,15),(7,9),(8,10),(9,6),(10,6),(11,7),(12,8),(13,9),(13,10),(14,7),(14,13),(15,8),(15,13)],16)
=> ? = 1
[-,-,+,+,+] => [1,2,3,4,5] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(1,12),(2,11),(3,11),(3,14),(4,12),(4,15),(5,14),(5,15),(7,9),(8,10),(9,6),(10,6),(11,7),(12,8),(13,9),(13,10),(14,7),(14,13),(15,8),(15,13)],16)
=> ([(0,1),(0,2),(0,3),(0,4),(0,5),(1,12),(2,11),(3,11),(3,14),(4,12),(4,15),(5,14),(5,15),(7,9),(8,10),(9,6),(10,6),(11,7),(12,8),(13,9),(13,10),(14,7),(14,13),(15,8),(15,13)],16)
=> ? = 3
[-,+,-,+,+] => [1,2,3,4,5] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(1,12),(2,11),(3,11),(3,14),(4,12),(4,15),(5,14),(5,15),(7,9),(8,10),(9,6),(10,6),(11,7),(12,8),(13,9),(13,10),(14,7),(14,13),(15,8),(15,13)],16)
=> ([(0,1),(0,2),(0,3),(0,4),(0,5),(1,12),(2,11),(3,11),(3,14),(4,12),(4,15),(5,14),(5,15),(7,9),(8,10),(9,6),(10,6),(11,7),(12,8),(13,9),(13,10),(14,7),(14,13),(15,8),(15,13)],16)
=> ? = 2
[-,+,+,-,+] => [1,2,3,4,5] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(1,12),(2,11),(3,11),(3,14),(4,12),(4,15),(5,14),(5,15),(7,9),(8,10),(9,6),(10,6),(11,7),(12,8),(13,9),(13,10),(14,7),(14,13),(15,8),(15,13)],16)
=> ([(0,1),(0,2),(0,3),(0,4),(0,5),(1,12),(2,11),(3,11),(3,14),(4,12),(4,15),(5,14),(5,15),(7,9),(8,10),(9,6),(10,6),(11,7),(12,8),(13,9),(13,10),(14,7),(14,13),(15,8),(15,13)],16)
=> ? = 1
[-,+,+,+,-] => [1,2,3,4,5] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(1,12),(2,11),(3,11),(3,14),(4,12),(4,15),(5,14),(5,15),(7,9),(8,10),(9,6),(10,6),(11,7),(12,8),(13,9),(13,10),(14,7),(14,13),(15,8),(15,13)],16)
=> ([(0,1),(0,2),(0,3),(0,4),(0,5),(1,12),(2,11),(3,11),(3,14),(4,12),(4,15),(5,14),(5,15),(7,9),(8,10),(9,6),(10,6),(11,7),(12,8),(13,9),(13,10),(14,7),(14,13),(15,8),(15,13)],16)
=> ? = 1
[+,-,-,+,+] => [1,2,3,4,5] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(1,12),(2,11),(3,11),(3,14),(4,12),(4,15),(5,14),(5,15),(7,9),(8,10),(9,6),(10,6),(11,7),(12,8),(13,9),(13,10),(14,7),(14,13),(15,8),(15,13)],16)
=> ([(0,1),(0,2),(0,3),(0,4),(0,5),(1,12),(2,11),(3,11),(3,14),(4,12),(4,15),(5,14),(5,15),(7,9),(8,10),(9,6),(10,6),(11,7),(12,8),(13,9),(13,10),(14,7),(14,13),(15,8),(15,13)],16)
=> ? = 2
[+,-,+,-,+] => [1,2,3,4,5] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(1,12),(2,11),(3,11),(3,14),(4,12),(4,15),(5,14),(5,15),(7,9),(8,10),(9,6),(10,6),(11,7),(12,8),(13,9),(13,10),(14,7),(14,13),(15,8),(15,13)],16)
=> ([(0,1),(0,2),(0,3),(0,4),(0,5),(1,12),(2,11),(3,11),(3,14),(4,12),(4,15),(5,14),(5,15),(7,9),(8,10),(9,6),(10,6),(11,7),(12,8),(13,9),(13,10),(14,7),(14,13),(15,8),(15,13)],16)
=> ? = 1
[+,-,+,+,-] => [1,2,3,4,5] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(1,12),(2,11),(3,11),(3,14),(4,12),(4,15),(5,14),(5,15),(7,9),(8,10),(9,6),(10,6),(11,7),(12,8),(13,9),(13,10),(14,7),(14,13),(15,8),(15,13)],16)
=> ([(0,1),(0,2),(0,3),(0,4),(0,5),(1,12),(2,11),(3,11),(3,14),(4,12),(4,15),(5,14),(5,15),(7,9),(8,10),(9,6),(10,6),(11,7),(12,8),(13,9),(13,10),(14,7),(14,13),(15,8),(15,13)],16)
=> ? = 1
[+,+,-,-,+] => [1,2,3,4,5] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(1,12),(2,11),(3,11),(3,14),(4,12),(4,15),(5,14),(5,15),(7,9),(8,10),(9,6),(10,6),(11,7),(12,8),(13,9),(13,10),(14,7),(14,13),(15,8),(15,13)],16)
=> ([(0,1),(0,2),(0,3),(0,4),(0,5),(1,12),(2,11),(3,11),(3,14),(4,12),(4,15),(5,14),(5,15),(7,9),(8,10),(9,6),(10,6),(11,7),(12,8),(13,9),(13,10),(14,7),(14,13),(15,8),(15,13)],16)
=> ? = 1
[+,+,-,+,-] => [1,2,3,4,5] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(1,12),(2,11),(3,11),(3,14),(4,12),(4,15),(5,14),(5,15),(7,9),(8,10),(9,6),(10,6),(11,7),(12,8),(13,9),(13,10),(14,7),(14,13),(15,8),(15,13)],16)
=> ([(0,1),(0,2),(0,3),(0,4),(0,5),(1,12),(2,11),(3,11),(3,14),(4,12),(4,15),(5,14),(5,15),(7,9),(8,10),(9,6),(10,6),(11,7),(12,8),(13,9),(13,10),(14,7),(14,13),(15,8),(15,13)],16)
=> ? = 1
Description
The number of minimal elements in a poset.
Matching statistic: St001630
(load all 20 compositions to match this statistic)
(load all 20 compositions to match this statistic)
Mp00253: Decorated permutations —permutation⟶ Permutations
Mp00068: Permutations —Simion-Schmidt map⟶ Permutations
Mp00208: Permutations —lattice of intervals⟶ Lattices
St001630: Lattices ⟶ ℤResult quality: 2% ●values known / values provided: 2%●distinct values known / distinct values provided: 17%
Mp00068: Permutations —Simion-Schmidt map⟶ Permutations
Mp00208: Permutations —lattice of intervals⟶ Lattices
St001630: Lattices ⟶ ℤResult quality: 2% ●values known / values provided: 2%●distinct values known / distinct values provided: 17%
Values
[+] => [1] => [1] => ([(0,1)],2)
=> ? = 1 + 1
[-] => [1] => [1] => ([(0,1)],2)
=> ? = 1 + 1
[+,+] => [1,2] => [1,2] => ([(0,1),(0,2),(1,3),(2,3)],4)
=> 2 = 1 + 1
[-,+] => [1,2] => [1,2] => ([(0,1),(0,2),(1,3),(2,3)],4)
=> 2 = 1 + 1
[+,-] => [1,2] => [1,2] => ([(0,1),(0,2),(1,3),(2,3)],4)
=> 2 = 1 + 1
[-,-] => [1,2] => [1,2] => ([(0,1),(0,2),(1,3),(2,3)],4)
=> 2 = 1 + 1
[2,1] => [2,1] => [2,1] => ([(0,1),(0,2),(1,3),(2,3)],4)
=> 2 = 1 + 1
[+,+,+] => [1,2,3] => [1,3,2] => ([(0,1),(0,2),(0,3),(1,5),(2,4),(3,4),(4,5)],6)
=> 2 = 1 + 1
[-,+,+] => [1,2,3] => [1,3,2] => ([(0,1),(0,2),(0,3),(1,5),(2,4),(3,4),(4,5)],6)
=> 2 = 1 + 1
[+,-,+] => [1,2,3] => [1,3,2] => ([(0,1),(0,2),(0,3),(1,5),(2,4),(3,4),(4,5)],6)
=> 2 = 1 + 1
[+,+,-] => [1,2,3] => [1,3,2] => ([(0,1),(0,2),(0,3),(1,5),(2,4),(3,4),(4,5)],6)
=> 2 = 1 + 1
[-,-,+] => [1,2,3] => [1,3,2] => ([(0,1),(0,2),(0,3),(1,5),(2,4),(3,4),(4,5)],6)
=> 2 = 1 + 1
[-,+,-] => [1,2,3] => [1,3,2] => ([(0,1),(0,2),(0,3),(1,5),(2,4),(3,4),(4,5)],6)
=> 2 = 1 + 1
[+,-,-] => [1,2,3] => [1,3,2] => ([(0,1),(0,2),(0,3),(1,5),(2,4),(3,4),(4,5)],6)
=> 2 = 1 + 1
[-,-,-] => [1,2,3] => [1,3,2] => ([(0,1),(0,2),(0,3),(1,5),(2,4),(3,4),(4,5)],6)
=> 2 = 1 + 1
[+,3,2] => [1,3,2] => [1,3,2] => ([(0,1),(0,2),(0,3),(1,5),(2,4),(3,4),(4,5)],6)
=> 2 = 1 + 1
[-,3,2] => [1,3,2] => [1,3,2] => ([(0,1),(0,2),(0,3),(1,5),(2,4),(3,4),(4,5)],6)
=> 2 = 1 + 1
[2,1,+] => [2,1,3] => [2,1,3] => ([(0,1),(0,2),(0,3),(1,5),(2,4),(3,4),(4,5)],6)
=> 2 = 1 + 1
[2,1,-] => [2,1,3] => [2,1,3] => ([(0,1),(0,2),(0,3),(1,5),(2,4),(3,4),(4,5)],6)
=> 2 = 1 + 1
[2,3,1] => [2,3,1] => [2,3,1] => ([(0,1),(0,2),(0,3),(1,5),(2,4),(3,4),(4,5)],6)
=> 2 = 1 + 1
[3,1,2] => [3,1,2] => [3,1,2] => ([(0,1),(0,2),(0,3),(1,5),(2,4),(3,4),(4,5)],6)
=> 2 = 1 + 1
[3,+,1] => [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 + 1
[3,-,1] => [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 + 1
[+,+,+,+] => [1,2,3,4] => [1,4,3,2] => ([(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)
=> ? = 1 + 1
[-,+,+,+] => [1,2,3,4] => [1,4,3,2] => ([(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)
=> ? = 1 + 1
[+,-,+,+] => [1,2,3,4] => [1,4,3,2] => ([(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)
=> ? = 1 + 1
[+,+,-,+] => [1,2,3,4] => [1,4,3,2] => ([(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)
=> ? = 1 + 1
[+,+,+,-] => [1,2,3,4] => [1,4,3,2] => ([(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)
=> ? = 1 + 1
[-,-,+,+] => [1,2,3,4] => [1,4,3,2] => ([(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
[-,+,-,+] => [1,2,3,4] => [1,4,3,2] => ([(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)
=> ? = 1 + 1
[-,+,+,-] => [1,2,3,4] => [1,4,3,2] => ([(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)
=> ? = 1 + 1
[+,-,-,+] => [1,2,3,4] => [1,4,3,2] => ([(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)
=> ? = 1 + 1
[+,-,+,-] => [1,2,3,4] => [1,4,3,2] => ([(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)
=> ? = 1 + 1
[+,+,-,-] => [1,2,3,4] => [1,4,3,2] => ([(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)
=> ? = 1 + 1
[-,-,-,+] => [1,2,3,4] => [1,4,3,2] => ([(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)
=> ? = 1 + 1
[-,-,+,-] => [1,2,3,4] => [1,4,3,2] => ([(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)
=> ? = 1 + 1
[-,+,-,-] => [1,2,3,4] => [1,4,3,2] => ([(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)
=> ? = 1 + 1
[+,-,-,-] => [1,2,3,4] => [1,4,3,2] => ([(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)
=> ? = 1 + 1
[-,-,-,-] => [1,2,3,4] => [1,4,3,2] => ([(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)
=> ? = 1 + 1
[+,+,4,3] => [1,2,4,3] => [1,4,3,2] => ([(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)
=> ? = 1 + 1
[-,+,4,3] => [1,2,4,3] => [1,4,3,2] => ([(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)
=> ? = 1 + 1
[+,-,4,3] => [1,2,4,3] => [1,4,3,2] => ([(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)
=> ? = 1 + 1
[-,-,4,3] => [1,2,4,3] => [1,4,3,2] => ([(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)
=> ? = 1 + 1
[+,3,2,+] => [1,3,2,4] => [1,4,3,2] => ([(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)
=> ? = 1 + 1
[-,3,2,+] => [1,3,2,4] => [1,4,3,2] => ([(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)
=> ? = 1 + 1
[+,3,2,-] => [1,3,2,4] => [1,4,3,2] => ([(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)
=> ? = 1 + 1
[-,3,2,-] => [1,3,2,4] => [1,4,3,2] => ([(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)
=> ? = 1 + 1
[+,3,4,2] => [1,3,4,2] => [1,4,3,2] => ([(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)
=> ? = 1 + 1
[-,3,4,2] => [1,3,4,2] => [1,4,3,2] => ([(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)
=> ? = 1 + 1
[+,4,2,3] => [1,4,2,3] => [1,4,3,2] => ([(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)
=> ? = 1 + 1
[-,4,2,3] => [1,4,2,3] => [1,4,3,2] => ([(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)
=> ? = 1 + 1
[+,4,+,2] => [1,4,3,2] => [1,4,3,2] => ([(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)
=> ? = 1 + 1
[-,4,+,2] => [1,4,3,2] => [1,4,3,2] => ([(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)
=> ? = 1 + 1
[+,4,-,2] => [1,4,3,2] => [1,4,3,2] => ([(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)
=> ? = 1 + 1
[-,4,-,2] => [1,4,3,2] => [1,4,3,2] => ([(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)
=> ? = 1 + 1
[2,1,+,+] => [2,1,3,4] => [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
[2,1,-,+] => [2,1,3,4] => [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
[2,1,+,-] => [2,1,3,4] => [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
[2,1,-,-] => [2,1,3,4] => [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
[2,1,4,3] => [2,1,4,3] => [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
[2,3,1,+] => [2,3,1,4] => [2,4,1,3] => ([(0,1),(0,2),(0,3),(0,4),(1,5),(2,5),(3,5),(4,5)],6)
=> 2 = 1 + 1
[2,3,1,-] => [2,3,1,4] => [2,4,1,3] => ([(0,1),(0,2),(0,3),(0,4),(1,5),(2,5),(3,5),(4,5)],6)
=> 2 = 1 + 1
[2,3,4,1] => [2,3,4,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,1,3] => [2,4,1,3] => [2,4,1,3] => ([(0,1),(0,2),(0,3),(0,4),(1,5),(2,5),(3,5),(4,5)],6)
=> 2 = 1 + 1
[2,4,+,1] => [2,4,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,-,1] => [2,4,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
[3,1,2,+] => [3,1,2,4] => [3,1,4,2] => ([(0,1),(0,2),(0,3),(0,4),(1,5),(2,5),(3,5),(4,5)],6)
=> 2 = 1 + 1
[3,1,2,-] => [3,1,2,4] => [3,1,4,2] => ([(0,1),(0,2),(0,3),(0,4),(1,5),(2,5),(3,5),(4,5)],6)
=> 2 = 1 + 1
[3,1,4,2] => [3,1,4,2] => [3,1,4,2] => ([(0,1),(0,2),(0,3),(0,4),(1,5),(2,5),(3,5),(4,5)],6)
=> 2 = 1 + 1
[3,+,1,+] => [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)
=> ? = 1 + 1
[3,-,1,+] => [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)
=> ? = 1 + 1
[3,+,1,-] => [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)
=> ? = 1 + 1
[3,-,1,-] => [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)
=> ? = 1 + 1
[3,+,4,1] => [3,2,4,1] => [3,2,4,1] => ([(0,1),(0,2),(0,3),(0,4),(1,5),(2,5),(3,6),(4,7),(5,7),(7,6)],8)
=> ? = 1 + 1
[3,-,4,1] => [3,2,4,1] => [3,2,4,1] => ([(0,1),(0,2),(0,3),(0,4),(1,5),(2,5),(3,6),(4,7),(5,7),(7,6)],8)
=> ? = 1 + 1
[3,4,1,2] => [3,4,1,2] => [3,4,1,2] => ([(0,1),(0,2),(0,3),(0,4),(1,6),(2,6),(3,5),(4,5),(5,7),(6,7)],8)
=> ? = 1 + 1
[3,4,2,1] => [3,4,2,1] => [3,4,2,1] => ([(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)
=> ? = 1 + 1
[3,4,1,2,+] => [3,4,1,2,5] => [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)
=> 2 = 1 + 1
[3,4,1,2,-] => [3,4,1,2,5] => [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)
=> 2 = 1 + 1
[3,4,1,5,2] => [3,4,1,5,2] => [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)
=> 2 = 1 + 1
[3,5,1,2,4] => [3,5,1,2,4] => [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)
=> 2 = 1 + 1
[3,5,1,+,2] => [3,5,1,4,2] => [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)
=> 2 = 1 + 1
[3,5,1,-,2] => [3,5,1,4,2] => [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)
=> 2 = 1 + 1
[4,+,+,1,+] => [4,2,3,1,5] => [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)
=> 2 = 1 + 1
[4,-,+,1,+] => [4,2,3,1,5] => [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)
=> 2 = 1 + 1
[4,+,-,1,+] => [4,2,3,1,5] => [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)
=> 2 = 1 + 1
[4,+,+,1,-] => [4,2,3,1,5] => [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)
=> 2 = 1 + 1
[4,-,-,1,+] => [4,2,3,1,5] => [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)
=> 2 = 1 + 1
[4,-,+,1,-] => [4,2,3,1,5] => [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)
=> 2 = 1 + 1
[4,+,-,1,-] => [4,2,3,1,5] => [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)
=> 2 = 1 + 1
[4,-,-,1,-] => [4,2,3,1,5] => [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)
=> 2 = 1 + 1
[4,+,5,1,3] => [4,2,5,1,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)
=> 2 = 1 + 1
[4,-,5,1,3] => [4,2,5,1,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)
=> 2 = 1 + 1
Description
The global dimension of the incidence algebra of the lattice over the rational numbers.
Matching statistic: St001878
(load all 20 compositions to match this statistic)
(load all 20 compositions to match this statistic)
Mp00253: Decorated permutations —permutation⟶ Permutations
Mp00068: Permutations —Simion-Schmidt map⟶ Permutations
Mp00208: Permutations —lattice of intervals⟶ Lattices
St001878: Lattices ⟶ ℤResult quality: 2% ●values known / values provided: 2%●distinct values known / distinct values provided: 17%
Mp00068: Permutations —Simion-Schmidt map⟶ Permutations
Mp00208: Permutations —lattice of intervals⟶ Lattices
St001878: Lattices ⟶ ℤResult quality: 2% ●values known / values provided: 2%●distinct values known / distinct values provided: 17%
Values
[+] => [1] => [1] => ([(0,1)],2)
=> ? = 1 + 1
[-] => [1] => [1] => ([(0,1)],2)
=> ? = 1 + 1
[+,+] => [1,2] => [1,2] => ([(0,1),(0,2),(1,3),(2,3)],4)
=> 2 = 1 + 1
[-,+] => [1,2] => [1,2] => ([(0,1),(0,2),(1,3),(2,3)],4)
=> 2 = 1 + 1
[+,-] => [1,2] => [1,2] => ([(0,1),(0,2),(1,3),(2,3)],4)
=> 2 = 1 + 1
[-,-] => [1,2] => [1,2] => ([(0,1),(0,2),(1,3),(2,3)],4)
=> 2 = 1 + 1
[2,1] => [2,1] => [2,1] => ([(0,1),(0,2),(1,3),(2,3)],4)
=> 2 = 1 + 1
[+,+,+] => [1,2,3] => [1,3,2] => ([(0,1),(0,2),(0,3),(1,5),(2,4),(3,4),(4,5)],6)
=> 2 = 1 + 1
[-,+,+] => [1,2,3] => [1,3,2] => ([(0,1),(0,2),(0,3),(1,5),(2,4),(3,4),(4,5)],6)
=> 2 = 1 + 1
[+,-,+] => [1,2,3] => [1,3,2] => ([(0,1),(0,2),(0,3),(1,5),(2,4),(3,4),(4,5)],6)
=> 2 = 1 + 1
[+,+,-] => [1,2,3] => [1,3,2] => ([(0,1),(0,2),(0,3),(1,5),(2,4),(3,4),(4,5)],6)
=> 2 = 1 + 1
[-,-,+] => [1,2,3] => [1,3,2] => ([(0,1),(0,2),(0,3),(1,5),(2,4),(3,4),(4,5)],6)
=> 2 = 1 + 1
[-,+,-] => [1,2,3] => [1,3,2] => ([(0,1),(0,2),(0,3),(1,5),(2,4),(3,4),(4,5)],6)
=> 2 = 1 + 1
[+,-,-] => [1,2,3] => [1,3,2] => ([(0,1),(0,2),(0,3),(1,5),(2,4),(3,4),(4,5)],6)
=> 2 = 1 + 1
[-,-,-] => [1,2,3] => [1,3,2] => ([(0,1),(0,2),(0,3),(1,5),(2,4),(3,4),(4,5)],6)
=> 2 = 1 + 1
[+,3,2] => [1,3,2] => [1,3,2] => ([(0,1),(0,2),(0,3),(1,5),(2,4),(3,4),(4,5)],6)
=> 2 = 1 + 1
[-,3,2] => [1,3,2] => [1,3,2] => ([(0,1),(0,2),(0,3),(1,5),(2,4),(3,4),(4,5)],6)
=> 2 = 1 + 1
[2,1,+] => [2,1,3] => [2,1,3] => ([(0,1),(0,2),(0,3),(1,5),(2,4),(3,4),(4,5)],6)
=> 2 = 1 + 1
[2,1,-] => [2,1,3] => [2,1,3] => ([(0,1),(0,2),(0,3),(1,5),(2,4),(3,4),(4,5)],6)
=> 2 = 1 + 1
[2,3,1] => [2,3,1] => [2,3,1] => ([(0,1),(0,2),(0,3),(1,5),(2,4),(3,4),(4,5)],6)
=> 2 = 1 + 1
[3,1,2] => [3,1,2] => [3,1,2] => ([(0,1),(0,2),(0,3),(1,5),(2,4),(3,4),(4,5)],6)
=> 2 = 1 + 1
[3,+,1] => [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 + 1
[3,-,1] => [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 + 1
[+,+,+,+] => [1,2,3,4] => [1,4,3,2] => ([(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)
=> ? = 1 + 1
[-,+,+,+] => [1,2,3,4] => [1,4,3,2] => ([(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)
=> ? = 1 + 1
[+,-,+,+] => [1,2,3,4] => [1,4,3,2] => ([(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)
=> ? = 1 + 1
[+,+,-,+] => [1,2,3,4] => [1,4,3,2] => ([(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)
=> ? = 1 + 1
[+,+,+,-] => [1,2,3,4] => [1,4,3,2] => ([(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)
=> ? = 1 + 1
[-,-,+,+] => [1,2,3,4] => [1,4,3,2] => ([(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
[-,+,-,+] => [1,2,3,4] => [1,4,3,2] => ([(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)
=> ? = 1 + 1
[-,+,+,-] => [1,2,3,4] => [1,4,3,2] => ([(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)
=> ? = 1 + 1
[+,-,-,+] => [1,2,3,4] => [1,4,3,2] => ([(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)
=> ? = 1 + 1
[+,-,+,-] => [1,2,3,4] => [1,4,3,2] => ([(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)
=> ? = 1 + 1
[+,+,-,-] => [1,2,3,4] => [1,4,3,2] => ([(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)
=> ? = 1 + 1
[-,-,-,+] => [1,2,3,4] => [1,4,3,2] => ([(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)
=> ? = 1 + 1
[-,-,+,-] => [1,2,3,4] => [1,4,3,2] => ([(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)
=> ? = 1 + 1
[-,+,-,-] => [1,2,3,4] => [1,4,3,2] => ([(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)
=> ? = 1 + 1
[+,-,-,-] => [1,2,3,4] => [1,4,3,2] => ([(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)
=> ? = 1 + 1
[-,-,-,-] => [1,2,3,4] => [1,4,3,2] => ([(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)
=> ? = 1 + 1
[+,+,4,3] => [1,2,4,3] => [1,4,3,2] => ([(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)
=> ? = 1 + 1
[-,+,4,3] => [1,2,4,3] => [1,4,3,2] => ([(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)
=> ? = 1 + 1
[+,-,4,3] => [1,2,4,3] => [1,4,3,2] => ([(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)
=> ? = 1 + 1
[-,-,4,3] => [1,2,4,3] => [1,4,3,2] => ([(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)
=> ? = 1 + 1
[+,3,2,+] => [1,3,2,4] => [1,4,3,2] => ([(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)
=> ? = 1 + 1
[-,3,2,+] => [1,3,2,4] => [1,4,3,2] => ([(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)
=> ? = 1 + 1
[+,3,2,-] => [1,3,2,4] => [1,4,3,2] => ([(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)
=> ? = 1 + 1
[-,3,2,-] => [1,3,2,4] => [1,4,3,2] => ([(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)
=> ? = 1 + 1
[+,3,4,2] => [1,3,4,2] => [1,4,3,2] => ([(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)
=> ? = 1 + 1
[-,3,4,2] => [1,3,4,2] => [1,4,3,2] => ([(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)
=> ? = 1 + 1
[+,4,2,3] => [1,4,2,3] => [1,4,3,2] => ([(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)
=> ? = 1 + 1
[-,4,2,3] => [1,4,2,3] => [1,4,3,2] => ([(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)
=> ? = 1 + 1
[+,4,+,2] => [1,4,3,2] => [1,4,3,2] => ([(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)
=> ? = 1 + 1
[-,4,+,2] => [1,4,3,2] => [1,4,3,2] => ([(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)
=> ? = 1 + 1
[+,4,-,2] => [1,4,3,2] => [1,4,3,2] => ([(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)
=> ? = 1 + 1
[-,4,-,2] => [1,4,3,2] => [1,4,3,2] => ([(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)
=> ? = 1 + 1
[2,1,+,+] => [2,1,3,4] => [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
[2,1,-,+] => [2,1,3,4] => [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
[2,1,+,-] => [2,1,3,4] => [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
[2,1,-,-] => [2,1,3,4] => [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
[2,1,4,3] => [2,1,4,3] => [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
[2,3,1,+] => [2,3,1,4] => [2,4,1,3] => ([(0,1),(0,2),(0,3),(0,4),(1,5),(2,5),(3,5),(4,5)],6)
=> 2 = 1 + 1
[2,3,1,-] => [2,3,1,4] => [2,4,1,3] => ([(0,1),(0,2),(0,3),(0,4),(1,5),(2,5),(3,5),(4,5)],6)
=> 2 = 1 + 1
[2,3,4,1] => [2,3,4,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,1,3] => [2,4,1,3] => [2,4,1,3] => ([(0,1),(0,2),(0,3),(0,4),(1,5),(2,5),(3,5),(4,5)],6)
=> 2 = 1 + 1
[2,4,+,1] => [2,4,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,-,1] => [2,4,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
[3,1,2,+] => [3,1,2,4] => [3,1,4,2] => ([(0,1),(0,2),(0,3),(0,4),(1,5),(2,5),(3,5),(4,5)],6)
=> 2 = 1 + 1
[3,1,2,-] => [3,1,2,4] => [3,1,4,2] => ([(0,1),(0,2),(0,3),(0,4),(1,5),(2,5),(3,5),(4,5)],6)
=> 2 = 1 + 1
[3,1,4,2] => [3,1,4,2] => [3,1,4,2] => ([(0,1),(0,2),(0,3),(0,4),(1,5),(2,5),(3,5),(4,5)],6)
=> 2 = 1 + 1
[3,+,1,+] => [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)
=> ? = 1 + 1
[3,-,1,+] => [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)
=> ? = 1 + 1
[3,+,1,-] => [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)
=> ? = 1 + 1
[3,-,1,-] => [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)
=> ? = 1 + 1
[3,+,4,1] => [3,2,4,1] => [3,2,4,1] => ([(0,1),(0,2),(0,3),(0,4),(1,5),(2,5),(3,6),(4,7),(5,7),(7,6)],8)
=> ? = 1 + 1
[3,-,4,1] => [3,2,4,1] => [3,2,4,1] => ([(0,1),(0,2),(0,3),(0,4),(1,5),(2,5),(3,6),(4,7),(5,7),(7,6)],8)
=> ? = 1 + 1
[3,4,1,2] => [3,4,1,2] => [3,4,1,2] => ([(0,1),(0,2),(0,3),(0,4),(1,6),(2,6),(3,5),(4,5),(5,7),(6,7)],8)
=> ? = 1 + 1
[3,4,2,1] => [3,4,2,1] => [3,4,2,1] => ([(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)
=> ? = 1 + 1
[3,4,1,2,+] => [3,4,1,2,5] => [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)
=> 2 = 1 + 1
[3,4,1,2,-] => [3,4,1,2,5] => [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)
=> 2 = 1 + 1
[3,4,1,5,2] => [3,4,1,5,2] => [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)
=> 2 = 1 + 1
[3,5,1,2,4] => [3,5,1,2,4] => [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)
=> 2 = 1 + 1
[3,5,1,+,2] => [3,5,1,4,2] => [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)
=> 2 = 1 + 1
[3,5,1,-,2] => [3,5,1,4,2] => [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)
=> 2 = 1 + 1
[4,+,+,1,+] => [4,2,3,1,5] => [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)
=> 2 = 1 + 1
[4,-,+,1,+] => [4,2,3,1,5] => [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)
=> 2 = 1 + 1
[4,+,-,1,+] => [4,2,3,1,5] => [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)
=> 2 = 1 + 1
[4,+,+,1,-] => [4,2,3,1,5] => [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)
=> 2 = 1 + 1
[4,-,-,1,+] => [4,2,3,1,5] => [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)
=> 2 = 1 + 1
[4,-,+,1,-] => [4,2,3,1,5] => [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)
=> 2 = 1 + 1
[4,+,-,1,-] => [4,2,3,1,5] => [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)
=> 2 = 1 + 1
[4,-,-,1,-] => [4,2,3,1,5] => [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)
=> 2 = 1 + 1
[4,+,5,1,3] => [4,2,5,1,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)
=> 2 = 1 + 1
[4,-,5,1,3] => [4,2,5,1,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)
=> 2 = 1 + 1
Description
The projective dimension of the simple modules corresponding to the minimum of L in the incidence algebra of the lattice L.
Matching statistic: St001964
(load all 2 compositions to match this statistic)
(load all 2 compositions to match this statistic)
Mp00253: Decorated permutations —permutation⟶ Permutations
Mp00088: Permutations —Kreweras complement⟶ Permutations
Mp00209: Permutations —pattern poset⟶ Posets
St001964: Posets ⟶ ℤResult quality: 2% ●values known / values provided: 2%●distinct values known / distinct values provided: 17%
Mp00088: Permutations —Kreweras complement⟶ Permutations
Mp00209: Permutations —pattern poset⟶ Posets
St001964: Posets ⟶ ℤResult quality: 2% ●values known / values provided: 2%●distinct values known / distinct values provided: 17%
Values
[+] => [1] => [1] => ([],1)
=> 0 = 1 - 1
[-] => [1] => [1] => ([],1)
=> 0 = 1 - 1
[+,+] => [1,2] => [2,1] => ([(0,1)],2)
=> 0 = 1 - 1
[-,+] => [1,2] => [2,1] => ([(0,1)],2)
=> 0 = 1 - 1
[+,-] => [1,2] => [2,1] => ([(0,1)],2)
=> 0 = 1 - 1
[-,-] => [1,2] => [2,1] => ([(0,1)],2)
=> 0 = 1 - 1
[2,1] => [2,1] => [1,2] => ([(0,1)],2)
=> 0 = 1 - 1
[+,+,+] => [1,2,3] => [2,3,1] => ([(0,1),(0,2),(1,3),(2,3)],4)
=> 0 = 1 - 1
[-,+,+] => [1,2,3] => [2,3,1] => ([(0,1),(0,2),(1,3),(2,3)],4)
=> 0 = 1 - 1
[+,-,+] => [1,2,3] => [2,3,1] => ([(0,1),(0,2),(1,3),(2,3)],4)
=> 0 = 1 - 1
[+,+,-] => [1,2,3] => [2,3,1] => ([(0,1),(0,2),(1,3),(2,3)],4)
=> 0 = 1 - 1
[-,-,+] => [1,2,3] => [2,3,1] => ([(0,1),(0,2),(1,3),(2,3)],4)
=> 0 = 1 - 1
[-,+,-] => [1,2,3] => [2,3,1] => ([(0,1),(0,2),(1,3),(2,3)],4)
=> 0 = 1 - 1
[+,-,-] => [1,2,3] => [2,3,1] => ([(0,1),(0,2),(1,3),(2,3)],4)
=> 0 = 1 - 1
[-,-,-] => [1,2,3] => [2,3,1] => ([(0,1),(0,2),(1,3),(2,3)],4)
=> 0 = 1 - 1
[+,3,2] => [1,3,2] => [2,1,3] => ([(0,1),(0,2),(1,3),(2,3)],4)
=> 0 = 1 - 1
[-,3,2] => [1,3,2] => [2,1,3] => ([(0,1),(0,2),(1,3),(2,3)],4)
=> 0 = 1 - 1
[2,1,+] => [2,1,3] => [3,2,1] => ([(0,2),(2,1)],3)
=> 0 = 1 - 1
[2,1,-] => [2,1,3] => [3,2,1] => ([(0,2),(2,1)],3)
=> 0 = 1 - 1
[2,3,1] => [2,3,1] => [1,2,3] => ([(0,2),(2,1)],3)
=> 0 = 1 - 1
[3,1,2] => [3,1,2] => [3,1,2] => ([(0,1),(0,2),(1,3),(2,3)],4)
=> 0 = 1 - 1
[3,+,1] => [3,2,1] => [1,3,2] => ([(0,1),(0,2),(1,3),(2,3)],4)
=> 0 = 1 - 1
[3,-,1] => [3,2,1] => [1,3,2] => ([(0,1),(0,2),(1,3),(2,3)],4)
=> 0 = 1 - 1
[+,+,+,+] => [1,2,3,4] => [2,3,4,1] => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
=> ? = 1 - 1
[-,+,+,+] => [1,2,3,4] => [2,3,4,1] => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
=> ? = 1 - 1
[+,-,+,+] => [1,2,3,4] => [2,3,4,1] => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
=> ? = 1 - 1
[+,+,-,+] => [1,2,3,4] => [2,3,4,1] => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
=> ? = 1 - 1
[+,+,+,-] => [1,2,3,4] => [2,3,4,1] => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
=> ? = 1 - 1
[-,-,+,+] => [1,2,3,4] => [2,3,4,1] => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
=> ? = 2 - 1
[-,+,-,+] => [1,2,3,4] => [2,3,4,1] => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
=> ? = 1 - 1
[-,+,+,-] => [1,2,3,4] => [2,3,4,1] => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
=> ? = 1 - 1
[+,-,-,+] => [1,2,3,4] => [2,3,4,1] => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
=> ? = 1 - 1
[+,-,+,-] => [1,2,3,4] => [2,3,4,1] => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
=> ? = 1 - 1
[+,+,-,-] => [1,2,3,4] => [2,3,4,1] => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
=> ? = 1 - 1
[-,-,-,+] => [1,2,3,4] => [2,3,4,1] => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
=> ? = 1 - 1
[-,-,+,-] => [1,2,3,4] => [2,3,4,1] => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
=> ? = 1 - 1
[-,+,-,-] => [1,2,3,4] => [2,3,4,1] => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
=> ? = 1 - 1
[+,-,-,-] => [1,2,3,4] => [2,3,4,1] => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
=> ? = 1 - 1
[-,-,-,-] => [1,2,3,4] => [2,3,4,1] => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
=> ? = 1 - 1
[+,+,4,3] => [1,2,4,3] => [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)
=> ? = 1 - 1
[-,+,4,3] => [1,2,4,3] => [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)
=> ? = 1 - 1
[+,-,4,3] => [1,2,4,3] => [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)
=> ? = 1 - 1
[-,-,4,3] => [1,2,4,3] => [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)
=> ? = 1 - 1
[+,3,2,+] => [1,3,2,4] => [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)
=> ? = 1 - 1
[-,3,2,+] => [1,3,2,4] => [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)
=> ? = 1 - 1
[+,3,2,-] => [1,3,2,4] => [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)
=> ? = 1 - 1
[-,3,2,-] => [1,3,2,4] => [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)
=> ? = 1 - 1
[+,3,4,2] => [1,3,4,2] => [2,1,3,4] => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
=> ? = 1 - 1
[-,3,4,2] => [1,3,4,2] => [2,1,3,4] => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
=> ? = 1 - 1
[+,4,2,3] => [1,4,2,3] => [2,4,1,3] => ([(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
[-,4,2,3] => [1,4,2,3] => [2,4,1,3] => ([(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
[+,4,+,2] => [1,4,3,2] => [2,1,4,3] => ([(0,1),(0,2),(1,4),(1,5),(2,4),(2,5),(4,3),(5,3)],6)
=> ? = 1 - 1
[-,4,+,2] => [1,4,3,2] => [2,1,4,3] => ([(0,1),(0,2),(1,4),(1,5),(2,4),(2,5),(4,3),(5,3)],6)
=> ? = 1 - 1
[+,4,-,2] => [1,4,3,2] => [2,1,4,3] => ([(0,1),(0,2),(1,4),(1,5),(2,4),(2,5),(4,3),(5,3)],6)
=> ? = 1 - 1
[-,4,-,2] => [1,4,3,2] => [2,1,4,3] => ([(0,1),(0,2),(1,4),(1,5),(2,4),(2,5),(4,3),(5,3)],6)
=> ? = 1 - 1
[2,1,+,+] => [2,1,3,4] => [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)
=> ? = 1 - 1
[2,1,-,+] => [2,1,3,4] => [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)
=> ? = 1 - 1
[2,1,+,-] => [2,1,3,4] => [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)
=> ? = 1 - 1
[2,1,-,-] => [2,1,3,4] => [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)
=> ? = 1 - 1
[2,1,4,3] => [2,1,4,3] => [3,2,1,4] => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
=> ? = 1 - 1
[2,3,1,+] => [2,3,1,4] => [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)
=> ? = 1 - 1
[2,3,1,-] => [2,3,1,4] => [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)
=> ? = 1 - 1
[2,3,4,1] => [2,3,4,1] => [1,2,3,4] => ([(0,3),(2,1),(3,2)],4)
=> 0 = 1 - 1
[2,4,1,3] => [2,4,1,3] => [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)
=> ? = 1 - 1
[2,4,+,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 - 1
[2,4,-,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 - 1
[3,1,2,+] => [3,1,2,4] => [3,4,2,1] => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
=> ? = 1 - 1
[3,1,2,-] => [3,1,2,4] => [3,4,2,1] => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
=> ? = 1 - 1
[3,1,4,2] => [3,1,4,2] => [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)
=> ? = 1 - 1
[3,+,1,+] => [3,2,1,4] => [4,3,2,1] => ([(0,3),(2,1),(3,2)],4)
=> 0 = 1 - 1
[3,-,1,+] => [3,2,1,4] => [4,3,2,1] => ([(0,3),(2,1),(3,2)],4)
=> 0 = 1 - 1
[3,+,1,-] => [3,2,1,4] => [4,3,2,1] => ([(0,3),(2,1),(3,2)],4)
=> 0 = 1 - 1
[3,-,1,-] => [3,2,1,4] => [4,3,2,1] => ([(0,3),(2,1),(3,2)],4)
=> 0 = 1 - 1
[3,+,4,1] => [3,2,4,1] => [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,1] => [3,2,4,1] => [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,1,2] => [3,4,1,2] => [4,1,2,3] => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
=> ? = 1 - 1
[3,4,2,1] => [3,4,2,1] => [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,1,2,3] => [4,1,2,3] => [3,4,1,2] => ([(0,1),(0,2),(1,4),(1,5),(2,4),(2,5),(4,3),(5,3)],6)
=> ? = 1 - 1
[2,3,4,5,1] => [2,3,4,5,1] => [1,2,3,4,5] => ([(0,4),(2,3),(3,1),(4,2)],5)
=> 0 = 1 - 1
[4,3,2,1,+] => [4,3,2,1,5] => [5,4,3,2,1] => ([(0,4),(2,3),(3,1),(4,2)],5)
=> 0 = 1 - 1
[4,3,2,1,-] => [4,3,2,1,5] => [5,4,3,2,1] => ([(0,4),(2,3),(3,1),(4,2)],5)
=> 0 = 1 - 1
[2,3,4,5,6,1] => [2,3,4,5,6,1] => [1,2,3,4,5,6] => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
=> 0 = 1 - 1
[5,4,+,2,1,+] => [5,4,3,2,1,6] => [6,5,4,3,2,1] => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
=> 0 = 1 - 1
[5,4,-,2,1,+] => [5,4,3,2,1,6] => [6,5,4,3,2,1] => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
=> 0 = 1 - 1
[5,4,+,2,1,-] => [5,4,3,2,1,6] => [6,5,4,3,2,1] => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
=> 0 = 1 - 1
[5,4,-,2,1,-] => [5,4,3,2,1,6] => [6,5,4,3,2,1] => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
=> 0 = 1 - 1
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: St000908
Mp00253: Decorated permutations —permutation⟶ Permutations
Mp00208: Permutations —lattice of intervals⟶ Lattices
Mp00193: Lattices —to poset⟶ Posets
St000908: Posets ⟶ ℤResult quality: 1% ●values known / values provided: 1%●distinct values known / distinct values provided: 17%
Mp00208: Permutations —lattice of intervals⟶ Lattices
Mp00193: Lattices —to poset⟶ Posets
St000908: Posets ⟶ ℤResult quality: 1% ●values known / values provided: 1%●distinct values known / distinct values provided: 17%
Values
[+] => [1] => ([(0,1)],2)
=> ([(0,1)],2)
=> 1
[-] => [1] => ([(0,1)],2)
=> ([(0,1)],2)
=> 1
[+,+] => [1,2] => ([(0,1),(0,2),(1,3),(2,3)],4)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> 1
[-,+] => [1,2] => ([(0,1),(0,2),(1,3),(2,3)],4)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> 1
[+,-] => [1,2] => ([(0,1),(0,2),(1,3),(2,3)],4)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> 1
[-,-] => [1,2] => ([(0,1),(0,2),(1,3),(2,3)],4)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> 1
[2,1] => [2,1] => ([(0,1),(0,2),(1,3),(2,3)],4)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> 1
[+,+,+] => [1,2,3] => ([(0,1),(0,2),(0,3),(1,5),(2,4),(3,4),(3,5),(4,6),(5,6)],7)
=> ([(0,1),(0,2),(0,3),(1,5),(2,4),(3,4),(3,5),(4,6),(5,6)],7)
=> 1
[-,+,+] => [1,2,3] => ([(0,1),(0,2),(0,3),(1,5),(2,4),(3,4),(3,5),(4,6),(5,6)],7)
=> ([(0,1),(0,2),(0,3),(1,5),(2,4),(3,4),(3,5),(4,6),(5,6)],7)
=> 1
[+,-,+] => [1,2,3] => ([(0,1),(0,2),(0,3),(1,5),(2,4),(3,4),(3,5),(4,6),(5,6)],7)
=> ([(0,1),(0,2),(0,3),(1,5),(2,4),(3,4),(3,5),(4,6),(5,6)],7)
=> 1
[+,+,-] => [1,2,3] => ([(0,1),(0,2),(0,3),(1,5),(2,4),(3,4),(3,5),(4,6),(5,6)],7)
=> ([(0,1),(0,2),(0,3),(1,5),(2,4),(3,4),(3,5),(4,6),(5,6)],7)
=> 1
[-,-,+] => [1,2,3] => ([(0,1),(0,2),(0,3),(1,5),(2,4),(3,4),(3,5),(4,6),(5,6)],7)
=> ([(0,1),(0,2),(0,3),(1,5),(2,4),(3,4),(3,5),(4,6),(5,6)],7)
=> 1
[-,+,-] => [1,2,3] => ([(0,1),(0,2),(0,3),(1,5),(2,4),(3,4),(3,5),(4,6),(5,6)],7)
=> ([(0,1),(0,2),(0,3),(1,5),(2,4),(3,4),(3,5),(4,6),(5,6)],7)
=> 1
[+,-,-] => [1,2,3] => ([(0,1),(0,2),(0,3),(1,5),(2,4),(3,4),(3,5),(4,6),(5,6)],7)
=> ([(0,1),(0,2),(0,3),(1,5),(2,4),(3,4),(3,5),(4,6),(5,6)],7)
=> 1
[-,-,-] => [1,2,3] => ([(0,1),(0,2),(0,3),(1,5),(2,4),(3,4),(3,5),(4,6),(5,6)],7)
=> ([(0,1),(0,2),(0,3),(1,5),(2,4),(3,4),(3,5),(4,6),(5,6)],7)
=> 1
[+,3,2] => [1,3,2] => ([(0,1),(0,2),(0,3),(1,5),(2,4),(3,4),(4,5)],6)
=> ([(0,1),(0,2),(0,3),(1,5),(2,4),(3,4),(4,5)],6)
=> 1
[-,3,2] => [1,3,2] => ([(0,1),(0,2),(0,3),(1,5),(2,4),(3,4),(4,5)],6)
=> ([(0,1),(0,2),(0,3),(1,5),(2,4),(3,4),(4,5)],6)
=> 1
[2,1,+] => [2,1,3] => ([(0,1),(0,2),(0,3),(1,5),(2,4),(3,4),(4,5)],6)
=> ([(0,1),(0,2),(0,3),(1,5),(2,4),(3,4),(4,5)],6)
=> 1
[2,1,-] => [2,1,3] => ([(0,1),(0,2),(0,3),(1,5),(2,4),(3,4),(4,5)],6)
=> ([(0,1),(0,2),(0,3),(1,5),(2,4),(3,4),(4,5)],6)
=> 1
[2,3,1] => [2,3,1] => ([(0,1),(0,2),(0,3),(1,5),(2,4),(3,4),(4,5)],6)
=> ([(0,1),(0,2),(0,3),(1,5),(2,4),(3,4),(4,5)],6)
=> 1
[3,1,2] => [3,1,2] => ([(0,1),(0,2),(0,3),(1,5),(2,4),(3,4),(4,5)],6)
=> ([(0,1),(0,2),(0,3),(1,5),(2,4),(3,4),(4,5)],6)
=> 1
[3,+,1] => [3,2,1] => ([(0,1),(0,2),(0,3),(1,5),(2,4),(3,4),(3,5),(4,6),(5,6)],7)
=> ([(0,1),(0,2),(0,3),(1,5),(2,4),(3,4),(3,5),(4,6),(5,6)],7)
=> 1
[3,-,1] => [3,2,1] => ([(0,1),(0,2),(0,3),(1,5),(2,4),(3,4),(3,5),(4,6),(5,6)],7)
=> ([(0,1),(0,2),(0,3),(1,5),(2,4),(3,4),(3,5),(4,6),(5,6)],7)
=> 1
[+,+,+,+] => [1,2,3,4] => ([(0,1),(0,2),(0,3),(0,4),(1,9),(2,8),(3,8),(3,10),(4,9),(4,10),(6,5),(7,5),(8,6),(9,7),(10,6),(10,7)],11)
=> ([(0,1),(0,2),(0,3),(0,4),(1,9),(2,8),(3,8),(3,10),(4,9),(4,10),(6,5),(7,5),(8,6),(9,7),(10,6),(10,7)],11)
=> ? = 1
[-,+,+,+] => [1,2,3,4] => ([(0,1),(0,2),(0,3),(0,4),(1,9),(2,8),(3,8),(3,10),(4,9),(4,10),(6,5),(7,5),(8,6),(9,7),(10,6),(10,7)],11)
=> ([(0,1),(0,2),(0,3),(0,4),(1,9),(2,8),(3,8),(3,10),(4,9),(4,10),(6,5),(7,5),(8,6),(9,7),(10,6),(10,7)],11)
=> ? = 1
[+,-,+,+] => [1,2,3,4] => ([(0,1),(0,2),(0,3),(0,4),(1,9),(2,8),(3,8),(3,10),(4,9),(4,10),(6,5),(7,5),(8,6),(9,7),(10,6),(10,7)],11)
=> ([(0,1),(0,2),(0,3),(0,4),(1,9),(2,8),(3,8),(3,10),(4,9),(4,10),(6,5),(7,5),(8,6),(9,7),(10,6),(10,7)],11)
=> ? = 1
[+,+,-,+] => [1,2,3,4] => ([(0,1),(0,2),(0,3),(0,4),(1,9),(2,8),(3,8),(3,10),(4,9),(4,10),(6,5),(7,5),(8,6),(9,7),(10,6),(10,7)],11)
=> ([(0,1),(0,2),(0,3),(0,4),(1,9),(2,8),(3,8),(3,10),(4,9),(4,10),(6,5),(7,5),(8,6),(9,7),(10,6),(10,7)],11)
=> ? = 1
[+,+,+,-] => [1,2,3,4] => ([(0,1),(0,2),(0,3),(0,4),(1,9),(2,8),(3,8),(3,10),(4,9),(4,10),(6,5),(7,5),(8,6),(9,7),(10,6),(10,7)],11)
=> ([(0,1),(0,2),(0,3),(0,4),(1,9),(2,8),(3,8),(3,10),(4,9),(4,10),(6,5),(7,5),(8,6),(9,7),(10,6),(10,7)],11)
=> ? = 1
[-,-,+,+] => [1,2,3,4] => ([(0,1),(0,2),(0,3),(0,4),(1,9),(2,8),(3,8),(3,10),(4,9),(4,10),(6,5),(7,5),(8,6),(9,7),(10,6),(10,7)],11)
=> ([(0,1),(0,2),(0,3),(0,4),(1,9),(2,8),(3,8),(3,10),(4,9),(4,10),(6,5),(7,5),(8,6),(9,7),(10,6),(10,7)],11)
=> ? = 2
[-,+,-,+] => [1,2,3,4] => ([(0,1),(0,2),(0,3),(0,4),(1,9),(2,8),(3,8),(3,10),(4,9),(4,10),(6,5),(7,5),(8,6),(9,7),(10,6),(10,7)],11)
=> ([(0,1),(0,2),(0,3),(0,4),(1,9),(2,8),(3,8),(3,10),(4,9),(4,10),(6,5),(7,5),(8,6),(9,7),(10,6),(10,7)],11)
=> ? = 1
[-,+,+,-] => [1,2,3,4] => ([(0,1),(0,2),(0,3),(0,4),(1,9),(2,8),(3,8),(3,10),(4,9),(4,10),(6,5),(7,5),(8,6),(9,7),(10,6),(10,7)],11)
=> ([(0,1),(0,2),(0,3),(0,4),(1,9),(2,8),(3,8),(3,10),(4,9),(4,10),(6,5),(7,5),(8,6),(9,7),(10,6),(10,7)],11)
=> ? = 1
[+,-,-,+] => [1,2,3,4] => ([(0,1),(0,2),(0,3),(0,4),(1,9),(2,8),(3,8),(3,10),(4,9),(4,10),(6,5),(7,5),(8,6),(9,7),(10,6),(10,7)],11)
=> ([(0,1),(0,2),(0,3),(0,4),(1,9),(2,8),(3,8),(3,10),(4,9),(4,10),(6,5),(7,5),(8,6),(9,7),(10,6),(10,7)],11)
=> ? = 1
[+,-,+,-] => [1,2,3,4] => ([(0,1),(0,2),(0,3),(0,4),(1,9),(2,8),(3,8),(3,10),(4,9),(4,10),(6,5),(7,5),(8,6),(9,7),(10,6),(10,7)],11)
=> ([(0,1),(0,2),(0,3),(0,4),(1,9),(2,8),(3,8),(3,10),(4,9),(4,10),(6,5),(7,5),(8,6),(9,7),(10,6),(10,7)],11)
=> ? = 1
[+,+,-,-] => [1,2,3,4] => ([(0,1),(0,2),(0,3),(0,4),(1,9),(2,8),(3,8),(3,10),(4,9),(4,10),(6,5),(7,5),(8,6),(9,7),(10,6),(10,7)],11)
=> ([(0,1),(0,2),(0,3),(0,4),(1,9),(2,8),(3,8),(3,10),(4,9),(4,10),(6,5),(7,5),(8,6),(9,7),(10,6),(10,7)],11)
=> ? = 1
[-,-,-,+] => [1,2,3,4] => ([(0,1),(0,2),(0,3),(0,4),(1,9),(2,8),(3,8),(3,10),(4,9),(4,10),(6,5),(7,5),(8,6),(9,7),(10,6),(10,7)],11)
=> ([(0,1),(0,2),(0,3),(0,4),(1,9),(2,8),(3,8),(3,10),(4,9),(4,10),(6,5),(7,5),(8,6),(9,7),(10,6),(10,7)],11)
=> ? = 1
[-,-,+,-] => [1,2,3,4] => ([(0,1),(0,2),(0,3),(0,4),(1,9),(2,8),(3,8),(3,10),(4,9),(4,10),(6,5),(7,5),(8,6),(9,7),(10,6),(10,7)],11)
=> ([(0,1),(0,2),(0,3),(0,4),(1,9),(2,8),(3,8),(3,10),(4,9),(4,10),(6,5),(7,5),(8,6),(9,7),(10,6),(10,7)],11)
=> ? = 1
[-,+,-,-] => [1,2,3,4] => ([(0,1),(0,2),(0,3),(0,4),(1,9),(2,8),(3,8),(3,10),(4,9),(4,10),(6,5),(7,5),(8,6),(9,7),(10,6),(10,7)],11)
=> ([(0,1),(0,2),(0,3),(0,4),(1,9),(2,8),(3,8),(3,10),(4,9),(4,10),(6,5),(7,5),(8,6),(9,7),(10,6),(10,7)],11)
=> ? = 1
[+,-,-,-] => [1,2,3,4] => ([(0,1),(0,2),(0,3),(0,4),(1,9),(2,8),(3,8),(3,10),(4,9),(4,10),(6,5),(7,5),(8,6),(9,7),(10,6),(10,7)],11)
=> ([(0,1),(0,2),(0,3),(0,4),(1,9),(2,8),(3,8),(3,10),(4,9),(4,10),(6,5),(7,5),(8,6),(9,7),(10,6),(10,7)],11)
=> ? = 1
[-,-,-,-] => [1,2,3,4] => ([(0,1),(0,2),(0,3),(0,4),(1,9),(2,8),(3,8),(3,10),(4,9),(4,10),(6,5),(7,5),(8,6),(9,7),(10,6),(10,7)],11)
=> ([(0,1),(0,2),(0,3),(0,4),(1,9),(2,8),(3,8),(3,10),(4,9),(4,10),(6,5),(7,5),(8,6),(9,7),(10,6),(10,7)],11)
=> ? = 1
[+,+,4,3] => [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)
=> ([(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)
=> ? = 1
[-,+,4,3] => [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)
=> ([(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)
=> ? = 1
[+,-,4,3] => [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)
=> ([(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)
=> ? = 1
[-,-,4,3] => [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)
=> ([(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)
=> ? = 1
[+,3,2,+] => [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)
=> ([(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)
=> ? = 1
[-,3,2,+] => [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)
=> ([(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)
=> ? = 1
[+,3,2,-] => [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)
=> ([(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)
=> ? = 1
[-,3,2,-] => [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)
=> ([(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)
=> ? = 1
[+,3,4,2] => [1,3,4,2] => ([(0,1),(0,2),(0,3),(0,4),(1,5),(2,5),(3,6),(4,7),(5,7),(7,6)],8)
=> ([(0,1),(0,2),(0,3),(0,4),(1,5),(2,5),(3,6),(4,7),(5,7),(7,6)],8)
=> ? = 1
[-,3,4,2] => [1,3,4,2] => ([(0,1),(0,2),(0,3),(0,4),(1,5),(2,5),(3,6),(4,7),(5,7),(7,6)],8)
=> ([(0,1),(0,2),(0,3),(0,4),(1,5),(2,5),(3,6),(4,7),(5,7),(7,6)],8)
=> ? = 1
[+,4,2,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)
=> ([(0,1),(0,2),(0,3),(0,4),(1,5),(2,5),(3,6),(4,7),(5,7),(7,6)],8)
=> ? = 1
[-,4,2,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)
=> ([(0,1),(0,2),(0,3),(0,4),(1,5),(2,5),(3,6),(4,7),(5,7),(7,6)],8)
=> ? = 1
[+,4,+,2] => [1,4,3,2] => ([(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)
=> ([(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)
=> ? = 1
[-,4,+,2] => [1,4,3,2] => ([(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)
=> ([(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)
=> ? = 1
[+,4,-,2] => [1,4,3,2] => ([(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)
=> ([(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)
=> ? = 1
[-,4,-,2] => [1,4,3,2] => ([(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)
=> ([(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)
=> ? = 1
[2,1,+,+] => [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)
=> ([(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)
=> ? = 1
[2,1,-,+] => [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)
=> ([(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)
=> ? = 1
[2,1,+,-] => [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)
=> ([(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)
=> ? = 1
[2,1,-,-] => [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)
=> ([(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)
=> ? = 1
[2,1,4,3] => [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)
=> ([(0,1),(0,2),(0,3),(0,4),(1,6),(2,6),(3,5),(4,5),(5,7),(6,7)],8)
=> ? = 1
[2,3,1,+] => [2,3,1,4] => ([(0,1),(0,2),(0,3),(0,4),(1,5),(2,5),(3,6),(4,7),(5,7),(7,6)],8)
=> ([(0,1),(0,2),(0,3),(0,4),(1,5),(2,5),(3,6),(4,7),(5,7),(7,6)],8)
=> ? = 1
[2,3,1,-] => [2,3,1,4] => ([(0,1),(0,2),(0,3),(0,4),(1,5),(2,5),(3,6),(4,7),(5,7),(7,6)],8)
=> ([(0,1),(0,2),(0,3),(0,4),(1,5),(2,5),(3,6),(4,7),(5,7),(7,6)],8)
=> ? = 1
[2,3,4,1] => [2,3,4,1] => ([(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)
=> ([(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)
=> ? = 1
[2,4,1,3] => [2,4,1,3] => ([(0,1),(0,2),(0,3),(0,4),(1,5),(2,5),(3,5),(4,5)],6)
=> ([(0,1),(0,2),(0,3),(0,4),(1,5),(2,5),(3,5),(4,5)],6)
=> 1
[2,4,+,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)
=> ([(0,1),(0,2),(0,3),(0,4),(1,5),(2,5),(3,6),(4,7),(5,7),(7,6)],8)
=> ? = 1
[2,4,-,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)
=> ([(0,1),(0,2),(0,3),(0,4),(1,5),(2,5),(3,6),(4,7),(5,7),(7,6)],8)
=> ? = 1
[3,1,2,+] => [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)
=> ([(0,1),(0,2),(0,3),(0,4),(1,5),(2,5),(3,6),(4,7),(5,7),(7,6)],8)
=> ? = 1
[3,1,2,-] => [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)
=> ([(0,1),(0,2),(0,3),(0,4),(1,5),(2,5),(3,6),(4,7),(5,7),(7,6)],8)
=> ? = 1
[3,1,4,2] => [3,1,4,2] => ([(0,1),(0,2),(0,3),(0,4),(1,5),(2,5),(3,5),(4,5)],6)
=> ([(0,1),(0,2),(0,3),(0,4),(1,5),(2,5),(3,5),(4,5)],6)
=> 1
[3,+,1,+] => [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)
=> ([(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)
=> ? = 1
[3,-,1,+] => [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)
=> ([(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)
=> ? = 1
[3,+,1,-] => [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)
=> ([(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)
=> ? = 1
[3,-,1,-] => [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)
=> ([(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)
=> ? = 1
[3,+,4,1] => [3,2,4,1] => ([(0,1),(0,2),(0,3),(0,4),(1,5),(2,5),(3,6),(4,7),(5,7),(7,6)],8)
=> ([(0,1),(0,2),(0,3),(0,4),(1,5),(2,5),(3,6),(4,7),(5,7),(7,6)],8)
=> ? = 1
[3,-,4,1] => [3,2,4,1] => ([(0,1),(0,2),(0,3),(0,4),(1,5),(2,5),(3,6),(4,7),(5,7),(7,6)],8)
=> ([(0,1),(0,2),(0,3),(0,4),(1,5),(2,5),(3,6),(4,7),(5,7),(7,6)],8)
=> ? = 1
[2,4,1,5,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)
=> ([(0,1),(0,2),(0,3),(0,4),(0,5),(1,6),(2,6),(3,6),(4,6),(5,6)],7)
=> 1
[2,5,+,1,4] => [2,5,3,1,4] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(1,6),(2,6),(3,6),(4,6),(5,6)],7)
=> ([(0,1),(0,2),(0,3),(0,4),(0,5),(1,6),(2,6),(3,6),(4,6),(5,6)],7)
=> 1
[2,5,-,1,4] => [2,5,3,1,4] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(1,6),(2,6),(3,6),(4,6),(5,6)],7)
=> ([(0,1),(0,2),(0,3),(0,4),(0,5),(1,6),(2,6),(3,6),(4,6),(5,6)],7)
=> 1
[3,1,5,2,4] => [3,1,5,2,4] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(1,6),(2,6),(3,6),(4,6),(5,6)],7)
=> ([(0,1),(0,2),(0,3),(0,4),(0,5),(1,6),(2,6),(3,6),(4,6),(5,6)],7)
=> 1
[3,5,1,+,2] => [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)
=> ([(0,1),(0,2),(0,3),(0,4),(0,5),(1,6),(2,6),(3,6),(4,6),(5,6)],7)
=> 1
[3,5,1,-,2] => [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)
=> ([(0,1),(0,2),(0,3),(0,4),(0,5),(1,6),(2,6),(3,6),(4,6),(5,6)],7)
=> 1
[4,1,+,5,2] => [4,1,3,5,2] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(1,6),(2,6),(3,6),(4,6),(5,6)],7)
=> ([(0,1),(0,2),(0,3),(0,4),(0,5),(1,6),(2,6),(3,6),(4,6),(5,6)],7)
=> 1
[4,1,-,5,2] => [4,1,3,5,2] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(1,6),(2,6),(3,6),(4,6),(5,6)],7)
=> ([(0,1),(0,2),(0,3),(0,4),(0,5),(1,6),(2,6),(3,6),(4,6),(5,6)],7)
=> 1
[4,+,5,1,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)
=> ([(0,1),(0,2),(0,3),(0,4),(0,5),(1,6),(2,6),(3,6),(4,6),(5,6)],7)
=> 1
[4,-,5,1,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)
=> ([(0,1),(0,2),(0,3),(0,4),(0,5),(1,6),(2,6),(3,6),(4,6),(5,6)],7)
=> 1
Description
The length of the shortest maximal antichain in a poset.
Matching statistic: St000914
Mp00253: Decorated permutations —permutation⟶ Permutations
Mp00208: Permutations —lattice of intervals⟶ Lattices
Mp00193: Lattices —to poset⟶ Posets
St000914: Posets ⟶ ℤResult quality: 1% ●values known / values provided: 1%●distinct values known / distinct values provided: 17%
Mp00208: Permutations —lattice of intervals⟶ Lattices
Mp00193: Lattices —to poset⟶ Posets
St000914: Posets ⟶ ℤResult quality: 1% ●values known / values provided: 1%●distinct values known / distinct values provided: 17%
Values
[+] => [1] => ([(0,1)],2)
=> ([(0,1)],2)
=> 1
[-] => [1] => ([(0,1)],2)
=> ([(0,1)],2)
=> 1
[+,+] => [1,2] => ([(0,1),(0,2),(1,3),(2,3)],4)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> 1
[-,+] => [1,2] => ([(0,1),(0,2),(1,3),(2,3)],4)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> 1
[+,-] => [1,2] => ([(0,1),(0,2),(1,3),(2,3)],4)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> 1
[-,-] => [1,2] => ([(0,1),(0,2),(1,3),(2,3)],4)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> 1
[2,1] => [2,1] => ([(0,1),(0,2),(1,3),(2,3)],4)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> 1
[+,+,+] => [1,2,3] => ([(0,1),(0,2),(0,3),(1,5),(2,4),(3,4),(3,5),(4,6),(5,6)],7)
=> ([(0,1),(0,2),(0,3),(1,5),(2,4),(3,4),(3,5),(4,6),(5,6)],7)
=> 1
[-,+,+] => [1,2,3] => ([(0,1),(0,2),(0,3),(1,5),(2,4),(3,4),(3,5),(4,6),(5,6)],7)
=> ([(0,1),(0,2),(0,3),(1,5),(2,4),(3,4),(3,5),(4,6),(5,6)],7)
=> 1
[+,-,+] => [1,2,3] => ([(0,1),(0,2),(0,3),(1,5),(2,4),(3,4),(3,5),(4,6),(5,6)],7)
=> ([(0,1),(0,2),(0,3),(1,5),(2,4),(3,4),(3,5),(4,6),(5,6)],7)
=> 1
[+,+,-] => [1,2,3] => ([(0,1),(0,2),(0,3),(1,5),(2,4),(3,4),(3,5),(4,6),(5,6)],7)
=> ([(0,1),(0,2),(0,3),(1,5),(2,4),(3,4),(3,5),(4,6),(5,6)],7)
=> 1
[-,-,+] => [1,2,3] => ([(0,1),(0,2),(0,3),(1,5),(2,4),(3,4),(3,5),(4,6),(5,6)],7)
=> ([(0,1),(0,2),(0,3),(1,5),(2,4),(3,4),(3,5),(4,6),(5,6)],7)
=> 1
[-,+,-] => [1,2,3] => ([(0,1),(0,2),(0,3),(1,5),(2,4),(3,4),(3,5),(4,6),(5,6)],7)
=> ([(0,1),(0,2),(0,3),(1,5),(2,4),(3,4),(3,5),(4,6),(5,6)],7)
=> 1
[+,-,-] => [1,2,3] => ([(0,1),(0,2),(0,3),(1,5),(2,4),(3,4),(3,5),(4,6),(5,6)],7)
=> ([(0,1),(0,2),(0,3),(1,5),(2,4),(3,4),(3,5),(4,6),(5,6)],7)
=> 1
[-,-,-] => [1,2,3] => ([(0,1),(0,2),(0,3),(1,5),(2,4),(3,4),(3,5),(4,6),(5,6)],7)
=> ([(0,1),(0,2),(0,3),(1,5),(2,4),(3,4),(3,5),(4,6),(5,6)],7)
=> 1
[+,3,2] => [1,3,2] => ([(0,1),(0,2),(0,3),(1,5),(2,4),(3,4),(4,5)],6)
=> ([(0,1),(0,2),(0,3),(1,5),(2,4),(3,4),(4,5)],6)
=> 1
[-,3,2] => [1,3,2] => ([(0,1),(0,2),(0,3),(1,5),(2,4),(3,4),(4,5)],6)
=> ([(0,1),(0,2),(0,3),(1,5),(2,4),(3,4),(4,5)],6)
=> 1
[2,1,+] => [2,1,3] => ([(0,1),(0,2),(0,3),(1,5),(2,4),(3,4),(4,5)],6)
=> ([(0,1),(0,2),(0,3),(1,5),(2,4),(3,4),(4,5)],6)
=> 1
[2,1,-] => [2,1,3] => ([(0,1),(0,2),(0,3),(1,5),(2,4),(3,4),(4,5)],6)
=> ([(0,1),(0,2),(0,3),(1,5),(2,4),(3,4),(4,5)],6)
=> 1
[2,3,1] => [2,3,1] => ([(0,1),(0,2),(0,3),(1,5),(2,4),(3,4),(4,5)],6)
=> ([(0,1),(0,2),(0,3),(1,5),(2,4),(3,4),(4,5)],6)
=> 1
[3,1,2] => [3,1,2] => ([(0,1),(0,2),(0,3),(1,5),(2,4),(3,4),(4,5)],6)
=> ([(0,1),(0,2),(0,3),(1,5),(2,4),(3,4),(4,5)],6)
=> 1
[3,+,1] => [3,2,1] => ([(0,1),(0,2),(0,3),(1,5),(2,4),(3,4),(3,5),(4,6),(5,6)],7)
=> ([(0,1),(0,2),(0,3),(1,5),(2,4),(3,4),(3,5),(4,6),(5,6)],7)
=> 1
[3,-,1] => [3,2,1] => ([(0,1),(0,2),(0,3),(1,5),(2,4),(3,4),(3,5),(4,6),(5,6)],7)
=> ([(0,1),(0,2),(0,3),(1,5),(2,4),(3,4),(3,5),(4,6),(5,6)],7)
=> 1
[+,+,+,+] => [1,2,3,4] => ([(0,1),(0,2),(0,3),(0,4),(1,9),(2,8),(3,8),(3,10),(4,9),(4,10),(6,5),(7,5),(8,6),(9,7),(10,6),(10,7)],11)
=> ([(0,1),(0,2),(0,3),(0,4),(1,9),(2,8),(3,8),(3,10),(4,9),(4,10),(6,5),(7,5),(8,6),(9,7),(10,6),(10,7)],11)
=> ? = 1
[-,+,+,+] => [1,2,3,4] => ([(0,1),(0,2),(0,3),(0,4),(1,9),(2,8),(3,8),(3,10),(4,9),(4,10),(6,5),(7,5),(8,6),(9,7),(10,6),(10,7)],11)
=> ([(0,1),(0,2),(0,3),(0,4),(1,9),(2,8),(3,8),(3,10),(4,9),(4,10),(6,5),(7,5),(8,6),(9,7),(10,6),(10,7)],11)
=> ? = 1
[+,-,+,+] => [1,2,3,4] => ([(0,1),(0,2),(0,3),(0,4),(1,9),(2,8),(3,8),(3,10),(4,9),(4,10),(6,5),(7,5),(8,6),(9,7),(10,6),(10,7)],11)
=> ([(0,1),(0,2),(0,3),(0,4),(1,9),(2,8),(3,8),(3,10),(4,9),(4,10),(6,5),(7,5),(8,6),(9,7),(10,6),(10,7)],11)
=> ? = 1
[+,+,-,+] => [1,2,3,4] => ([(0,1),(0,2),(0,3),(0,4),(1,9),(2,8),(3,8),(3,10),(4,9),(4,10),(6,5),(7,5),(8,6),(9,7),(10,6),(10,7)],11)
=> ([(0,1),(0,2),(0,3),(0,4),(1,9),(2,8),(3,8),(3,10),(4,9),(4,10),(6,5),(7,5),(8,6),(9,7),(10,6),(10,7)],11)
=> ? = 1
[+,+,+,-] => [1,2,3,4] => ([(0,1),(0,2),(0,3),(0,4),(1,9),(2,8),(3,8),(3,10),(4,9),(4,10),(6,5),(7,5),(8,6),(9,7),(10,6),(10,7)],11)
=> ([(0,1),(0,2),(0,3),(0,4),(1,9),(2,8),(3,8),(3,10),(4,9),(4,10),(6,5),(7,5),(8,6),(9,7),(10,6),(10,7)],11)
=> ? = 1
[-,-,+,+] => [1,2,3,4] => ([(0,1),(0,2),(0,3),(0,4),(1,9),(2,8),(3,8),(3,10),(4,9),(4,10),(6,5),(7,5),(8,6),(9,7),(10,6),(10,7)],11)
=> ([(0,1),(0,2),(0,3),(0,4),(1,9),(2,8),(3,8),(3,10),(4,9),(4,10),(6,5),(7,5),(8,6),(9,7),(10,6),(10,7)],11)
=> ? = 2
[-,+,-,+] => [1,2,3,4] => ([(0,1),(0,2),(0,3),(0,4),(1,9),(2,8),(3,8),(3,10),(4,9),(4,10),(6,5),(7,5),(8,6),(9,7),(10,6),(10,7)],11)
=> ([(0,1),(0,2),(0,3),(0,4),(1,9),(2,8),(3,8),(3,10),(4,9),(4,10),(6,5),(7,5),(8,6),(9,7),(10,6),(10,7)],11)
=> ? = 1
[-,+,+,-] => [1,2,3,4] => ([(0,1),(0,2),(0,3),(0,4),(1,9),(2,8),(3,8),(3,10),(4,9),(4,10),(6,5),(7,5),(8,6),(9,7),(10,6),(10,7)],11)
=> ([(0,1),(0,2),(0,3),(0,4),(1,9),(2,8),(3,8),(3,10),(4,9),(4,10),(6,5),(7,5),(8,6),(9,7),(10,6),(10,7)],11)
=> ? = 1
[+,-,-,+] => [1,2,3,4] => ([(0,1),(0,2),(0,3),(0,4),(1,9),(2,8),(3,8),(3,10),(4,9),(4,10),(6,5),(7,5),(8,6),(9,7),(10,6),(10,7)],11)
=> ([(0,1),(0,2),(0,3),(0,4),(1,9),(2,8),(3,8),(3,10),(4,9),(4,10),(6,5),(7,5),(8,6),(9,7),(10,6),(10,7)],11)
=> ? = 1
[+,-,+,-] => [1,2,3,4] => ([(0,1),(0,2),(0,3),(0,4),(1,9),(2,8),(3,8),(3,10),(4,9),(4,10),(6,5),(7,5),(8,6),(9,7),(10,6),(10,7)],11)
=> ([(0,1),(0,2),(0,3),(0,4),(1,9),(2,8),(3,8),(3,10),(4,9),(4,10),(6,5),(7,5),(8,6),(9,7),(10,6),(10,7)],11)
=> ? = 1
[+,+,-,-] => [1,2,3,4] => ([(0,1),(0,2),(0,3),(0,4),(1,9),(2,8),(3,8),(3,10),(4,9),(4,10),(6,5),(7,5),(8,6),(9,7),(10,6),(10,7)],11)
=> ([(0,1),(0,2),(0,3),(0,4),(1,9),(2,8),(3,8),(3,10),(4,9),(4,10),(6,5),(7,5),(8,6),(9,7),(10,6),(10,7)],11)
=> ? = 1
[-,-,-,+] => [1,2,3,4] => ([(0,1),(0,2),(0,3),(0,4),(1,9),(2,8),(3,8),(3,10),(4,9),(4,10),(6,5),(7,5),(8,6),(9,7),(10,6),(10,7)],11)
=> ([(0,1),(0,2),(0,3),(0,4),(1,9),(2,8),(3,8),(3,10),(4,9),(4,10),(6,5),(7,5),(8,6),(9,7),(10,6),(10,7)],11)
=> ? = 1
[-,-,+,-] => [1,2,3,4] => ([(0,1),(0,2),(0,3),(0,4),(1,9),(2,8),(3,8),(3,10),(4,9),(4,10),(6,5),(7,5),(8,6),(9,7),(10,6),(10,7)],11)
=> ([(0,1),(0,2),(0,3),(0,4),(1,9),(2,8),(3,8),(3,10),(4,9),(4,10),(6,5),(7,5),(8,6),(9,7),(10,6),(10,7)],11)
=> ? = 1
[-,+,-,-] => [1,2,3,4] => ([(0,1),(0,2),(0,3),(0,4),(1,9),(2,8),(3,8),(3,10),(4,9),(4,10),(6,5),(7,5),(8,6),(9,7),(10,6),(10,7)],11)
=> ([(0,1),(0,2),(0,3),(0,4),(1,9),(2,8),(3,8),(3,10),(4,9),(4,10),(6,5),(7,5),(8,6),(9,7),(10,6),(10,7)],11)
=> ? = 1
[+,-,-,-] => [1,2,3,4] => ([(0,1),(0,2),(0,3),(0,4),(1,9),(2,8),(3,8),(3,10),(4,9),(4,10),(6,5),(7,5),(8,6),(9,7),(10,6),(10,7)],11)
=> ([(0,1),(0,2),(0,3),(0,4),(1,9),(2,8),(3,8),(3,10),(4,9),(4,10),(6,5),(7,5),(8,6),(9,7),(10,6),(10,7)],11)
=> ? = 1
[-,-,-,-] => [1,2,3,4] => ([(0,1),(0,2),(0,3),(0,4),(1,9),(2,8),(3,8),(3,10),(4,9),(4,10),(6,5),(7,5),(8,6),(9,7),(10,6),(10,7)],11)
=> ([(0,1),(0,2),(0,3),(0,4),(1,9),(2,8),(3,8),(3,10),(4,9),(4,10),(6,5),(7,5),(8,6),(9,7),(10,6),(10,7)],11)
=> ? = 1
[+,+,4,3] => [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)
=> ([(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)
=> ? = 1
[-,+,4,3] => [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)
=> ([(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)
=> ? = 1
[+,-,4,3] => [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)
=> ([(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)
=> ? = 1
[-,-,4,3] => [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)
=> ([(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)
=> ? = 1
[+,3,2,+] => [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)
=> ([(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)
=> ? = 1
[-,3,2,+] => [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)
=> ([(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)
=> ? = 1
[+,3,2,-] => [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)
=> ([(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)
=> ? = 1
[-,3,2,-] => [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)
=> ([(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)
=> ? = 1
[+,3,4,2] => [1,3,4,2] => ([(0,1),(0,2),(0,3),(0,4),(1,5),(2,5),(3,6),(4,7),(5,7),(7,6)],8)
=> ([(0,1),(0,2),(0,3),(0,4),(1,5),(2,5),(3,6),(4,7),(5,7),(7,6)],8)
=> ? = 1
[-,3,4,2] => [1,3,4,2] => ([(0,1),(0,2),(0,3),(0,4),(1,5),(2,5),(3,6),(4,7),(5,7),(7,6)],8)
=> ([(0,1),(0,2),(0,3),(0,4),(1,5),(2,5),(3,6),(4,7),(5,7),(7,6)],8)
=> ? = 1
[+,4,2,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)
=> ([(0,1),(0,2),(0,3),(0,4),(1,5),(2,5),(3,6),(4,7),(5,7),(7,6)],8)
=> ? = 1
[-,4,2,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)
=> ([(0,1),(0,2),(0,3),(0,4),(1,5),(2,5),(3,6),(4,7),(5,7),(7,6)],8)
=> ? = 1
[+,4,+,2] => [1,4,3,2] => ([(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)
=> ([(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)
=> ? = 1
[-,4,+,2] => [1,4,3,2] => ([(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)
=> ([(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)
=> ? = 1
[+,4,-,2] => [1,4,3,2] => ([(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)
=> ([(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)
=> ? = 1
[-,4,-,2] => [1,4,3,2] => ([(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)
=> ([(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)
=> ? = 1
[2,1,+,+] => [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)
=> ([(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)
=> ? = 1
[2,1,-,+] => [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)
=> ([(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)
=> ? = 1
[2,1,+,-] => [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)
=> ([(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)
=> ? = 1
[2,1,-,-] => [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)
=> ([(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)
=> ? = 1
[2,1,4,3] => [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)
=> ([(0,1),(0,2),(0,3),(0,4),(1,6),(2,6),(3,5),(4,5),(5,7),(6,7)],8)
=> ? = 1
[2,3,1,+] => [2,3,1,4] => ([(0,1),(0,2),(0,3),(0,4),(1,5),(2,5),(3,6),(4,7),(5,7),(7,6)],8)
=> ([(0,1),(0,2),(0,3),(0,4),(1,5),(2,5),(3,6),(4,7),(5,7),(7,6)],8)
=> ? = 1
[2,3,1,-] => [2,3,1,4] => ([(0,1),(0,2),(0,3),(0,4),(1,5),(2,5),(3,6),(4,7),(5,7),(7,6)],8)
=> ([(0,1),(0,2),(0,3),(0,4),(1,5),(2,5),(3,6),(4,7),(5,7),(7,6)],8)
=> ? = 1
[2,3,4,1] => [2,3,4,1] => ([(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)
=> ([(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)
=> ? = 1
[2,4,1,3] => [2,4,1,3] => ([(0,1),(0,2),(0,3),(0,4),(1,5),(2,5),(3,5),(4,5)],6)
=> ([(0,1),(0,2),(0,3),(0,4),(1,5),(2,5),(3,5),(4,5)],6)
=> 1
[2,4,+,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)
=> ([(0,1),(0,2),(0,3),(0,4),(1,5),(2,5),(3,6),(4,7),(5,7),(7,6)],8)
=> ? = 1
[2,4,-,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)
=> ([(0,1),(0,2),(0,3),(0,4),(1,5),(2,5),(3,6),(4,7),(5,7),(7,6)],8)
=> ? = 1
[3,1,2,+] => [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)
=> ([(0,1),(0,2),(0,3),(0,4),(1,5),(2,5),(3,6),(4,7),(5,7),(7,6)],8)
=> ? = 1
[3,1,2,-] => [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)
=> ([(0,1),(0,2),(0,3),(0,4),(1,5),(2,5),(3,6),(4,7),(5,7),(7,6)],8)
=> ? = 1
[3,1,4,2] => [3,1,4,2] => ([(0,1),(0,2),(0,3),(0,4),(1,5),(2,5),(3,5),(4,5)],6)
=> ([(0,1),(0,2),(0,3),(0,4),(1,5),(2,5),(3,5),(4,5)],6)
=> 1
[3,+,1,+] => [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)
=> ([(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)
=> ? = 1
[3,-,1,+] => [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)
=> ([(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)
=> ? = 1
[3,+,1,-] => [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)
=> ([(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)
=> ? = 1
[3,-,1,-] => [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)
=> ([(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)
=> ? = 1
[3,+,4,1] => [3,2,4,1] => ([(0,1),(0,2),(0,3),(0,4),(1,5),(2,5),(3,6),(4,7),(5,7),(7,6)],8)
=> ([(0,1),(0,2),(0,3),(0,4),(1,5),(2,5),(3,6),(4,7),(5,7),(7,6)],8)
=> ? = 1
[3,-,4,1] => [3,2,4,1] => ([(0,1),(0,2),(0,3),(0,4),(1,5),(2,5),(3,6),(4,7),(5,7),(7,6)],8)
=> ([(0,1),(0,2),(0,3),(0,4),(1,5),(2,5),(3,6),(4,7),(5,7),(7,6)],8)
=> ? = 1
[2,4,1,5,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)
=> ([(0,1),(0,2),(0,3),(0,4),(0,5),(1,6),(2,6),(3,6),(4,6),(5,6)],7)
=> 1
[2,5,+,1,4] => [2,5,3,1,4] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(1,6),(2,6),(3,6),(4,6),(5,6)],7)
=> ([(0,1),(0,2),(0,3),(0,4),(0,5),(1,6),(2,6),(3,6),(4,6),(5,6)],7)
=> 1
[2,5,-,1,4] => [2,5,3,1,4] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(1,6),(2,6),(3,6),(4,6),(5,6)],7)
=> ([(0,1),(0,2),(0,3),(0,4),(0,5),(1,6),(2,6),(3,6),(4,6),(5,6)],7)
=> 1
[3,1,5,2,4] => [3,1,5,2,4] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(1,6),(2,6),(3,6),(4,6),(5,6)],7)
=> ([(0,1),(0,2),(0,3),(0,4),(0,5),(1,6),(2,6),(3,6),(4,6),(5,6)],7)
=> 1
[3,5,1,+,2] => [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)
=> ([(0,1),(0,2),(0,3),(0,4),(0,5),(1,6),(2,6),(3,6),(4,6),(5,6)],7)
=> 1
[3,5,1,-,2] => [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)
=> ([(0,1),(0,2),(0,3),(0,4),(0,5),(1,6),(2,6),(3,6),(4,6),(5,6)],7)
=> 1
[4,1,+,5,2] => [4,1,3,5,2] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(1,6),(2,6),(3,6),(4,6),(5,6)],7)
=> ([(0,1),(0,2),(0,3),(0,4),(0,5),(1,6),(2,6),(3,6),(4,6),(5,6)],7)
=> 1
[4,1,-,5,2] => [4,1,3,5,2] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(1,6),(2,6),(3,6),(4,6),(5,6)],7)
=> ([(0,1),(0,2),(0,3),(0,4),(0,5),(1,6),(2,6),(3,6),(4,6),(5,6)],7)
=> 1
[4,+,5,1,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)
=> ([(0,1),(0,2),(0,3),(0,4),(0,5),(1,6),(2,6),(3,6),(4,6),(5,6)],7)
=> 1
[4,-,5,1,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)
=> ([(0,1),(0,2),(0,3),(0,4),(0,5),(1,6),(2,6),(3,6),(4,6),(5,6)],7)
=> 1
Description
The sum of the values of the Möbius function of a poset.
The Möbius function $\mu$ of a finite poset is defined as
$$\mu (x,y)=\begin{cases} 1& \text{if }x = y\\
-\sum _{z: x\leq z < y}\mu (x,z)& \text{for }x < y\\
0&\text{otherwise}.
\end{cases}
$$
Since $\mu(x,y)=0$ whenever $x\not\leq y$, this statistic is
$$
\sum_{x\leq y} \mu(x,y).
$$
If the poset has a minimal or a maximal element, then the definition implies immediately that the statistic equals $1$. Moreover, the statistic equals the sum of the statistics of the connected components.
This statistic is also called the magnitude of a poset.
Matching statistic: St000907
Mp00253: Decorated permutations —permutation⟶ Permutations
Mp00208: Permutations —lattice of intervals⟶ Lattices
Mp00193: Lattices —to poset⟶ Posets
St000907: Posets ⟶ ℤResult quality: 1% ●values known / values provided: 1%●distinct values known / distinct values provided: 17%
Mp00208: Permutations —lattice of intervals⟶ Lattices
Mp00193: Lattices —to poset⟶ Posets
St000907: Posets ⟶ ℤResult quality: 1% ●values known / values provided: 1%●distinct values known / distinct values provided: 17%
Values
[+] => [1] => ([(0,1)],2)
=> ([(0,1)],2)
=> 2 = 1 + 1
[-] => [1] => ([(0,1)],2)
=> ([(0,1)],2)
=> 2 = 1 + 1
[+,+] => [1,2] => ([(0,1),(0,2),(1,3),(2,3)],4)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> 2 = 1 + 1
[-,+] => [1,2] => ([(0,1),(0,2),(1,3),(2,3)],4)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> 2 = 1 + 1
[+,-] => [1,2] => ([(0,1),(0,2),(1,3),(2,3)],4)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> 2 = 1 + 1
[-,-] => [1,2] => ([(0,1),(0,2),(1,3),(2,3)],4)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> 2 = 1 + 1
[2,1] => [2,1] => ([(0,1),(0,2),(1,3),(2,3)],4)
=> ([(0,1),(0,2),(1,3),(2,3)],4)
=> 2 = 1 + 1
[+,+,+] => [1,2,3] => ([(0,1),(0,2),(0,3),(1,5),(2,4),(3,4),(3,5),(4,6),(5,6)],7)
=> ([(0,1),(0,2),(0,3),(1,5),(2,4),(3,4),(3,5),(4,6),(5,6)],7)
=> 2 = 1 + 1
[-,+,+] => [1,2,3] => ([(0,1),(0,2),(0,3),(1,5),(2,4),(3,4),(3,5),(4,6),(5,6)],7)
=> ([(0,1),(0,2),(0,3),(1,5),(2,4),(3,4),(3,5),(4,6),(5,6)],7)
=> 2 = 1 + 1
[+,-,+] => [1,2,3] => ([(0,1),(0,2),(0,3),(1,5),(2,4),(3,4),(3,5),(4,6),(5,6)],7)
=> ([(0,1),(0,2),(0,3),(1,5),(2,4),(3,4),(3,5),(4,6),(5,6)],7)
=> 2 = 1 + 1
[+,+,-] => [1,2,3] => ([(0,1),(0,2),(0,3),(1,5),(2,4),(3,4),(3,5),(4,6),(5,6)],7)
=> ([(0,1),(0,2),(0,3),(1,5),(2,4),(3,4),(3,5),(4,6),(5,6)],7)
=> 2 = 1 + 1
[-,-,+] => [1,2,3] => ([(0,1),(0,2),(0,3),(1,5),(2,4),(3,4),(3,5),(4,6),(5,6)],7)
=> ([(0,1),(0,2),(0,3),(1,5),(2,4),(3,4),(3,5),(4,6),(5,6)],7)
=> 2 = 1 + 1
[-,+,-] => [1,2,3] => ([(0,1),(0,2),(0,3),(1,5),(2,4),(3,4),(3,5),(4,6),(5,6)],7)
=> ([(0,1),(0,2),(0,3),(1,5),(2,4),(3,4),(3,5),(4,6),(5,6)],7)
=> 2 = 1 + 1
[+,-,-] => [1,2,3] => ([(0,1),(0,2),(0,3),(1,5),(2,4),(3,4),(3,5),(4,6),(5,6)],7)
=> ([(0,1),(0,2),(0,3),(1,5),(2,4),(3,4),(3,5),(4,6),(5,6)],7)
=> 2 = 1 + 1
[-,-,-] => [1,2,3] => ([(0,1),(0,2),(0,3),(1,5),(2,4),(3,4),(3,5),(4,6),(5,6)],7)
=> ([(0,1),(0,2),(0,3),(1,5),(2,4),(3,4),(3,5),(4,6),(5,6)],7)
=> 2 = 1 + 1
[+,3,2] => [1,3,2] => ([(0,1),(0,2),(0,3),(1,5),(2,4),(3,4),(4,5)],6)
=> ([(0,1),(0,2),(0,3),(1,5),(2,4),(3,4),(4,5)],6)
=> 2 = 1 + 1
[-,3,2] => [1,3,2] => ([(0,1),(0,2),(0,3),(1,5),(2,4),(3,4),(4,5)],6)
=> ([(0,1),(0,2),(0,3),(1,5),(2,4),(3,4),(4,5)],6)
=> 2 = 1 + 1
[2,1,+] => [2,1,3] => ([(0,1),(0,2),(0,3),(1,5),(2,4),(3,4),(4,5)],6)
=> ([(0,1),(0,2),(0,3),(1,5),(2,4),(3,4),(4,5)],6)
=> 2 = 1 + 1
[2,1,-] => [2,1,3] => ([(0,1),(0,2),(0,3),(1,5),(2,4),(3,4),(4,5)],6)
=> ([(0,1),(0,2),(0,3),(1,5),(2,4),(3,4),(4,5)],6)
=> 2 = 1 + 1
[2,3,1] => [2,3,1] => ([(0,1),(0,2),(0,3),(1,5),(2,4),(3,4),(4,5)],6)
=> ([(0,1),(0,2),(0,3),(1,5),(2,4),(3,4),(4,5)],6)
=> 2 = 1 + 1
[3,1,2] => [3,1,2] => ([(0,1),(0,2),(0,3),(1,5),(2,4),(3,4),(4,5)],6)
=> ([(0,1),(0,2),(0,3),(1,5),(2,4),(3,4),(4,5)],6)
=> 2 = 1 + 1
[3,+,1] => [3,2,1] => ([(0,1),(0,2),(0,3),(1,5),(2,4),(3,4),(3,5),(4,6),(5,6)],7)
=> ([(0,1),(0,2),(0,3),(1,5),(2,4),(3,4),(3,5),(4,6),(5,6)],7)
=> 2 = 1 + 1
[3,-,1] => [3,2,1] => ([(0,1),(0,2),(0,3),(1,5),(2,4),(3,4),(3,5),(4,6),(5,6)],7)
=> ([(0,1),(0,2),(0,3),(1,5),(2,4),(3,4),(3,5),(4,6),(5,6)],7)
=> 2 = 1 + 1
[+,+,+,+] => [1,2,3,4] => ([(0,1),(0,2),(0,3),(0,4),(1,9),(2,8),(3,8),(3,10),(4,9),(4,10),(6,5),(7,5),(8,6),(9,7),(10,6),(10,7)],11)
=> ([(0,1),(0,2),(0,3),(0,4),(1,9),(2,8),(3,8),(3,10),(4,9),(4,10),(6,5),(7,5),(8,6),(9,7),(10,6),(10,7)],11)
=> ? = 1 + 1
[-,+,+,+] => [1,2,3,4] => ([(0,1),(0,2),(0,3),(0,4),(1,9),(2,8),(3,8),(3,10),(4,9),(4,10),(6,5),(7,5),(8,6),(9,7),(10,6),(10,7)],11)
=> ([(0,1),(0,2),(0,3),(0,4),(1,9),(2,8),(3,8),(3,10),(4,9),(4,10),(6,5),(7,5),(8,6),(9,7),(10,6),(10,7)],11)
=> ? = 1 + 1
[+,-,+,+] => [1,2,3,4] => ([(0,1),(0,2),(0,3),(0,4),(1,9),(2,8),(3,8),(3,10),(4,9),(4,10),(6,5),(7,5),(8,6),(9,7),(10,6),(10,7)],11)
=> ([(0,1),(0,2),(0,3),(0,4),(1,9),(2,8),(3,8),(3,10),(4,9),(4,10),(6,5),(7,5),(8,6),(9,7),(10,6),(10,7)],11)
=> ? = 1 + 1
[+,+,-,+] => [1,2,3,4] => ([(0,1),(0,2),(0,3),(0,4),(1,9),(2,8),(3,8),(3,10),(4,9),(4,10),(6,5),(7,5),(8,6),(9,7),(10,6),(10,7)],11)
=> ([(0,1),(0,2),(0,3),(0,4),(1,9),(2,8),(3,8),(3,10),(4,9),(4,10),(6,5),(7,5),(8,6),(9,7),(10,6),(10,7)],11)
=> ? = 1 + 1
[+,+,+,-] => [1,2,3,4] => ([(0,1),(0,2),(0,3),(0,4),(1,9),(2,8),(3,8),(3,10),(4,9),(4,10),(6,5),(7,5),(8,6),(9,7),(10,6),(10,7)],11)
=> ([(0,1),(0,2),(0,3),(0,4),(1,9),(2,8),(3,8),(3,10),(4,9),(4,10),(6,5),(7,5),(8,6),(9,7),(10,6),(10,7)],11)
=> ? = 1 + 1
[-,-,+,+] => [1,2,3,4] => ([(0,1),(0,2),(0,3),(0,4),(1,9),(2,8),(3,8),(3,10),(4,9),(4,10),(6,5),(7,5),(8,6),(9,7),(10,6),(10,7)],11)
=> ([(0,1),(0,2),(0,3),(0,4),(1,9),(2,8),(3,8),(3,10),(4,9),(4,10),(6,5),(7,5),(8,6),(9,7),(10,6),(10,7)],11)
=> ? = 2 + 1
[-,+,-,+] => [1,2,3,4] => ([(0,1),(0,2),(0,3),(0,4),(1,9),(2,8),(3,8),(3,10),(4,9),(4,10),(6,5),(7,5),(8,6),(9,7),(10,6),(10,7)],11)
=> ([(0,1),(0,2),(0,3),(0,4),(1,9),(2,8),(3,8),(3,10),(4,9),(4,10),(6,5),(7,5),(8,6),(9,7),(10,6),(10,7)],11)
=> ? = 1 + 1
[-,+,+,-] => [1,2,3,4] => ([(0,1),(0,2),(0,3),(0,4),(1,9),(2,8),(3,8),(3,10),(4,9),(4,10),(6,5),(7,5),(8,6),(9,7),(10,6),(10,7)],11)
=> ([(0,1),(0,2),(0,3),(0,4),(1,9),(2,8),(3,8),(3,10),(4,9),(4,10),(6,5),(7,5),(8,6),(9,7),(10,6),(10,7)],11)
=> ? = 1 + 1
[+,-,-,+] => [1,2,3,4] => ([(0,1),(0,2),(0,3),(0,4),(1,9),(2,8),(3,8),(3,10),(4,9),(4,10),(6,5),(7,5),(8,6),(9,7),(10,6),(10,7)],11)
=> ([(0,1),(0,2),(0,3),(0,4),(1,9),(2,8),(3,8),(3,10),(4,9),(4,10),(6,5),(7,5),(8,6),(9,7),(10,6),(10,7)],11)
=> ? = 1 + 1
[+,-,+,-] => [1,2,3,4] => ([(0,1),(0,2),(0,3),(0,4),(1,9),(2,8),(3,8),(3,10),(4,9),(4,10),(6,5),(7,5),(8,6),(9,7),(10,6),(10,7)],11)
=> ([(0,1),(0,2),(0,3),(0,4),(1,9),(2,8),(3,8),(3,10),(4,9),(4,10),(6,5),(7,5),(8,6),(9,7),(10,6),(10,7)],11)
=> ? = 1 + 1
[+,+,-,-] => [1,2,3,4] => ([(0,1),(0,2),(0,3),(0,4),(1,9),(2,8),(3,8),(3,10),(4,9),(4,10),(6,5),(7,5),(8,6),(9,7),(10,6),(10,7)],11)
=> ([(0,1),(0,2),(0,3),(0,4),(1,9),(2,8),(3,8),(3,10),(4,9),(4,10),(6,5),(7,5),(8,6),(9,7),(10,6),(10,7)],11)
=> ? = 1 + 1
[-,-,-,+] => [1,2,3,4] => ([(0,1),(0,2),(0,3),(0,4),(1,9),(2,8),(3,8),(3,10),(4,9),(4,10),(6,5),(7,5),(8,6),(9,7),(10,6),(10,7)],11)
=> ([(0,1),(0,2),(0,3),(0,4),(1,9),(2,8),(3,8),(3,10),(4,9),(4,10),(6,5),(7,5),(8,6),(9,7),(10,6),(10,7)],11)
=> ? = 1 + 1
[-,-,+,-] => [1,2,3,4] => ([(0,1),(0,2),(0,3),(0,4),(1,9),(2,8),(3,8),(3,10),(4,9),(4,10),(6,5),(7,5),(8,6),(9,7),(10,6),(10,7)],11)
=> ([(0,1),(0,2),(0,3),(0,4),(1,9),(2,8),(3,8),(3,10),(4,9),(4,10),(6,5),(7,5),(8,6),(9,7),(10,6),(10,7)],11)
=> ? = 1 + 1
[-,+,-,-] => [1,2,3,4] => ([(0,1),(0,2),(0,3),(0,4),(1,9),(2,8),(3,8),(3,10),(4,9),(4,10),(6,5),(7,5),(8,6),(9,7),(10,6),(10,7)],11)
=> ([(0,1),(0,2),(0,3),(0,4),(1,9),(2,8),(3,8),(3,10),(4,9),(4,10),(6,5),(7,5),(8,6),(9,7),(10,6),(10,7)],11)
=> ? = 1 + 1
[+,-,-,-] => [1,2,3,4] => ([(0,1),(0,2),(0,3),(0,4),(1,9),(2,8),(3,8),(3,10),(4,9),(4,10),(6,5),(7,5),(8,6),(9,7),(10,6),(10,7)],11)
=> ([(0,1),(0,2),(0,3),(0,4),(1,9),(2,8),(3,8),(3,10),(4,9),(4,10),(6,5),(7,5),(8,6),(9,7),(10,6),(10,7)],11)
=> ? = 1 + 1
[-,-,-,-] => [1,2,3,4] => ([(0,1),(0,2),(0,3),(0,4),(1,9),(2,8),(3,8),(3,10),(4,9),(4,10),(6,5),(7,5),(8,6),(9,7),(10,6),(10,7)],11)
=> ([(0,1),(0,2),(0,3),(0,4),(1,9),(2,8),(3,8),(3,10),(4,9),(4,10),(6,5),(7,5),(8,6),(9,7),(10,6),(10,7)],11)
=> ? = 1 + 1
[+,+,4,3] => [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)
=> ([(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)
=> ? = 1 + 1
[-,+,4,3] => [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)
=> ([(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)
=> ? = 1 + 1
[+,-,4,3] => [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)
=> ([(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)
=> ? = 1 + 1
[-,-,4,3] => [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)
=> ([(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)
=> ? = 1 + 1
[+,3,2,+] => [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)
=> ([(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)
=> ? = 1 + 1
[-,3,2,+] => [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)
=> ([(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)
=> ? = 1 + 1
[+,3,2,-] => [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)
=> ([(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)
=> ? = 1 + 1
[-,3,2,-] => [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)
=> ([(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)
=> ? = 1 + 1
[+,3,4,2] => [1,3,4,2] => ([(0,1),(0,2),(0,3),(0,4),(1,5),(2,5),(3,6),(4,7),(5,7),(7,6)],8)
=> ([(0,1),(0,2),(0,3),(0,4),(1,5),(2,5),(3,6),(4,7),(5,7),(7,6)],8)
=> ? = 1 + 1
[-,3,4,2] => [1,3,4,2] => ([(0,1),(0,2),(0,3),(0,4),(1,5),(2,5),(3,6),(4,7),(5,7),(7,6)],8)
=> ([(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] => [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)
=> ([(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] => [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)
=> ([(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] => [1,4,3,2] => ([(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)
=> ([(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)
=> ? = 1 + 1
[-,4,+,2] => [1,4,3,2] => ([(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)
=> ([(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)
=> ? = 1 + 1
[+,4,-,2] => [1,4,3,2] => ([(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)
=> ([(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)
=> ? = 1 + 1
[-,4,-,2] => [1,4,3,2] => ([(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)
=> ([(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)
=> ? = 1 + 1
[2,1,+,+] => [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)
=> ([(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)
=> ? = 1 + 1
[2,1,-,+] => [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)
=> ([(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)
=> ? = 1 + 1
[2,1,+,-] => [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)
=> ([(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)
=> ? = 1 + 1
[2,1,-,-] => [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)
=> ([(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)
=> ? = 1 + 1
[2,1,4,3] => [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)
=> ([(0,1),(0,2),(0,3),(0,4),(1,6),(2,6),(3,5),(4,5),(5,7),(6,7)],8)
=> ? = 1 + 1
[2,3,1,+] => [2,3,1,4] => ([(0,1),(0,2),(0,3),(0,4),(1,5),(2,5),(3,6),(4,7),(5,7),(7,6)],8)
=> ([(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,1,-] => [2,3,1,4] => ([(0,1),(0,2),(0,3),(0,4),(1,5),(2,5),(3,6),(4,7),(5,7),(7,6)],8)
=> ([(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,1] => [2,3,4,1] => ([(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)
=> ([(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)
=> ? = 1 + 1
[2,4,1,3] => [2,4,1,3] => ([(0,1),(0,2),(0,3),(0,4),(1,5),(2,5),(3,5),(4,5)],6)
=> ([(0,1),(0,2),(0,3),(0,4),(1,5),(2,5),(3,5),(4,5)],6)
=> 2 = 1 + 1
[2,4,+,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)
=> ([(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,-,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)
=> ([(0,1),(0,2),(0,3),(0,4),(1,5),(2,5),(3,6),(4,7),(5,7),(7,6)],8)
=> ? = 1 + 1
[3,1,2,+] => [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)
=> ([(0,1),(0,2),(0,3),(0,4),(1,5),(2,5),(3,6),(4,7),(5,7),(7,6)],8)
=> ? = 1 + 1
[3,1,2,-] => [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)
=> ([(0,1),(0,2),(0,3),(0,4),(1,5),(2,5),(3,6),(4,7),(5,7),(7,6)],8)
=> ? = 1 + 1
[3,1,4,2] => [3,1,4,2] => ([(0,1),(0,2),(0,3),(0,4),(1,5),(2,5),(3,5),(4,5)],6)
=> ([(0,1),(0,2),(0,3),(0,4),(1,5),(2,5),(3,5),(4,5)],6)
=> 2 = 1 + 1
[3,+,1,+] => [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)
=> ([(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)
=> ? = 1 + 1
[3,-,1,+] => [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)
=> ([(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)
=> ? = 1 + 1
[3,+,1,-] => [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)
=> ([(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)
=> ? = 1 + 1
[3,-,1,-] => [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)
=> ([(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)
=> ? = 1 + 1
[3,+,4,1] => [3,2,4,1] => ([(0,1),(0,2),(0,3),(0,4),(1,5),(2,5),(3,6),(4,7),(5,7),(7,6)],8)
=> ([(0,1),(0,2),(0,3),(0,4),(1,5),(2,5),(3,6),(4,7),(5,7),(7,6)],8)
=> ? = 1 + 1
[3,-,4,1] => [3,2,4,1] => ([(0,1),(0,2),(0,3),(0,4),(1,5),(2,5),(3,6),(4,7),(5,7),(7,6)],8)
=> ([(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,1,5,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)
=> ([(0,1),(0,2),(0,3),(0,4),(0,5),(1,6),(2,6),(3,6),(4,6),(5,6)],7)
=> 2 = 1 + 1
[2,5,+,1,4] => [2,5,3,1,4] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(1,6),(2,6),(3,6),(4,6),(5,6)],7)
=> ([(0,1),(0,2),(0,3),(0,4),(0,5),(1,6),(2,6),(3,6),(4,6),(5,6)],7)
=> 2 = 1 + 1
[2,5,-,1,4] => [2,5,3,1,4] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(1,6),(2,6),(3,6),(4,6),(5,6)],7)
=> ([(0,1),(0,2),(0,3),(0,4),(0,5),(1,6),(2,6),(3,6),(4,6),(5,6)],7)
=> 2 = 1 + 1
[3,1,5,2,4] => [3,1,5,2,4] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(1,6),(2,6),(3,6),(4,6),(5,6)],7)
=> ([(0,1),(0,2),(0,3),(0,4),(0,5),(1,6),(2,6),(3,6),(4,6),(5,6)],7)
=> 2 = 1 + 1
[3,5,1,+,2] => [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)
=> ([(0,1),(0,2),(0,3),(0,4),(0,5),(1,6),(2,6),(3,6),(4,6),(5,6)],7)
=> 2 = 1 + 1
[3,5,1,-,2] => [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)
=> ([(0,1),(0,2),(0,3),(0,4),(0,5),(1,6),(2,6),(3,6),(4,6),(5,6)],7)
=> 2 = 1 + 1
[4,1,+,5,2] => [4,1,3,5,2] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(1,6),(2,6),(3,6),(4,6),(5,6)],7)
=> ([(0,1),(0,2),(0,3),(0,4),(0,5),(1,6),(2,6),(3,6),(4,6),(5,6)],7)
=> 2 = 1 + 1
[4,1,-,5,2] => [4,1,3,5,2] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(1,6),(2,6),(3,6),(4,6),(5,6)],7)
=> ([(0,1),(0,2),(0,3),(0,4),(0,5),(1,6),(2,6),(3,6),(4,6),(5,6)],7)
=> 2 = 1 + 1
[4,+,5,1,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)
=> ([(0,1),(0,2),(0,3),(0,4),(0,5),(1,6),(2,6),(3,6),(4,6),(5,6)],7)
=> 2 = 1 + 1
[4,-,5,1,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)
=> ([(0,1),(0,2),(0,3),(0,4),(0,5),(1,6),(2,6),(3,6),(4,6),(5,6)],7)
=> 2 = 1 + 1
Description
The number of maximal antichains of minimal length in a poset.
The following 9 statistics, ordered by result quality, also match your data. Click on any of them to see the details.
St001301The first Betti number of the order complex associated with the poset. St001634The trace of the Coxeter matrix of the incidence algebra of a poset. St000181The number of connected components of the Hasse diagram for the poset. St001890The maximum magnitude of the Möbius function of a poset. St001857The number of edges in the reduced word graph of a signed permutation. St000084The number of subtrees. St000328The maximum number of child nodes in a tree. St001805The maximal overlap of a cylindrical tableau associated with a semistandard tableau. St001926Sparre Andersen's position of the maximum of a signed permutation.
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!