searching the database
Your data matches 157 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: St001086
Mp00090: Permutations —cycle-as-one-line notation⟶ Permutations
Mp00073: Permutations —major-index to inversion-number bijection⟶ Permutations
Mp00175: Permutations —inverse Foata bijection⟶ Permutations
St001086: Permutations ⟶ ℤResult quality: 100% ●values known / values provided: 100%●distinct values known / distinct values provided: 100%
Mp00073: Permutations —major-index to inversion-number bijection⟶ Permutations
Mp00175: Permutations —inverse Foata bijection⟶ Permutations
St001086: Permutations ⟶ ℤResult quality: 100% ●values known / values provided: 100%●distinct values known / distinct values provided: 100%
Values
[1] => [1] => [1] => [1] => 0
[1,2] => [1,2] => [1,2] => [1,2] => 0
[2,1] => [1,2] => [1,2] => [1,2] => 0
[1,2,3] => [1,2,3] => [1,2,3] => [1,2,3] => 0
[1,3,2] => [1,2,3] => [1,2,3] => [1,2,3] => 0
[2,1,3] => [1,2,3] => [1,2,3] => [1,2,3] => 0
[2,3,1] => [1,2,3] => [1,2,3] => [1,2,3] => 0
[1,2,3,4] => [1,2,3,4] => [1,2,3,4] => [1,2,3,4] => 0
[1,2,4,3] => [1,2,3,4] => [1,2,3,4] => [1,2,3,4] => 0
[1,3,2,4] => [1,2,3,4] => [1,2,3,4] => [1,2,3,4] => 0
[1,3,4,2] => [1,2,3,4] => [1,2,3,4] => [1,2,3,4] => 0
[2,1,3,4] => [1,2,3,4] => [1,2,3,4] => [1,2,3,4] => 0
[2,1,4,3] => [1,2,3,4] => [1,2,3,4] => [1,2,3,4] => 0
[2,3,1,4] => [1,2,3,4] => [1,2,3,4] => [1,2,3,4] => 0
[2,3,4,1] => [1,2,3,4] => [1,2,3,4] => [1,2,3,4] => 0
[3,1,4,2] => [1,3,4,2] => [2,4,1,3] => [4,2,1,3] => 0
[3,2,4,1] => [1,3,4,2] => [2,4,1,3] => [4,2,1,3] => 0
[4,1,2,3] => [1,4,3,2] => [3,4,2,1] => [3,4,2,1] => 0
[4,2,1,3] => [1,4,3,2] => [3,4,2,1] => [3,4,2,1] => 0
[1,2,3,4,5] => [1,2,3,4,5] => [1,2,3,4,5] => [1,2,3,4,5] => 0
[1,2,3,5,4] => [1,2,3,4,5] => [1,2,3,4,5] => [1,2,3,4,5] => 0
[1,2,4,3,5] => [1,2,3,4,5] => [1,2,3,4,5] => [1,2,3,4,5] => 0
[1,2,4,5,3] => [1,2,3,4,5] => [1,2,3,4,5] => [1,2,3,4,5] => 0
[1,3,2,4,5] => [1,2,3,4,5] => [1,2,3,4,5] => [1,2,3,4,5] => 0
[1,3,2,5,4] => [1,2,3,4,5] => [1,2,3,4,5] => [1,2,3,4,5] => 0
[1,3,4,2,5] => [1,2,3,4,5] => [1,2,3,4,5] => [1,2,3,4,5] => 0
[1,3,4,5,2] => [1,2,3,4,5] => [1,2,3,4,5] => [1,2,3,4,5] => 0
[1,4,2,5,3] => [1,2,4,5,3] => [2,3,5,1,4] => [5,2,3,1,4] => 0
[1,4,3,5,2] => [1,2,4,5,3] => [2,3,5,1,4] => [5,2,3,1,4] => 0
[1,5,2,3,4] => [1,2,5,4,3] => [3,4,5,2,1] => [3,4,5,2,1] => 0
[1,5,3,2,4] => [1,2,5,4,3] => [3,4,5,2,1] => [3,4,5,2,1] => 0
[2,1,3,4,5] => [1,2,3,4,5] => [1,2,3,4,5] => [1,2,3,4,5] => 0
[2,1,3,5,4] => [1,2,3,4,5] => [1,2,3,4,5] => [1,2,3,4,5] => 0
[2,1,4,3,5] => [1,2,3,4,5] => [1,2,3,4,5] => [1,2,3,4,5] => 0
[2,1,4,5,3] => [1,2,3,4,5] => [1,2,3,4,5] => [1,2,3,4,5] => 0
[2,3,1,4,5] => [1,2,3,4,5] => [1,2,3,4,5] => [1,2,3,4,5] => 0
[2,3,1,5,4] => [1,2,3,4,5] => [1,2,3,4,5] => [1,2,3,4,5] => 0
[2,3,4,1,5] => [1,2,3,4,5] => [1,2,3,4,5] => [1,2,3,4,5] => 0
[2,3,4,5,1] => [1,2,3,4,5] => [1,2,3,4,5] => [1,2,3,4,5] => 0
[2,4,1,5,3] => [1,2,4,5,3] => [2,3,5,1,4] => [5,2,3,1,4] => 0
[2,4,3,5,1] => [1,2,4,5,3] => [2,3,5,1,4] => [5,2,3,1,4] => 0
[2,5,1,3,4] => [1,2,5,4,3] => [3,4,5,2,1] => [3,4,5,2,1] => 0
[2,5,3,1,4] => [1,2,5,4,3] => [3,4,5,2,1] => [3,4,5,2,1] => 0
[3,1,4,2,5] => [1,3,4,2,5] => [2,4,1,3,5] => [4,2,1,3,5] => 0
[3,1,5,2,4] => [1,3,5,4,2] => [3,5,2,4,1] => [5,3,2,4,1] => 0
[3,2,4,1,5] => [1,3,4,2,5] => [2,4,1,3,5] => [4,2,1,3,5] => 0
[3,2,5,1,4] => [1,3,5,4,2] => [3,5,2,4,1] => [5,3,2,4,1] => 0
[3,5,4,1,2] => [1,3,4,2,5] => [2,4,1,3,5] => [4,2,1,3,5] => 0
[3,5,4,2,1] => [1,3,4,2,5] => [2,4,1,3,5] => [4,2,1,3,5] => 0
[4,1,2,3,5] => [1,4,3,2,5] => [3,4,2,1,5] => [3,4,2,1,5] => 0
Description
The number of occurrences of the consecutive pattern 132 in a permutation.
This is the number of occurrences of the pattern $132$, where the matched entries are all adjacent.
Matching statistic: St001728
Mp00090: Permutations —cycle-as-one-line notation⟶ Permutations
Mp00241: Permutations —invert Laguerre heap⟶ Permutations
Mp00090: Permutations —cycle-as-one-line notation⟶ Permutations
St001728: Permutations ⟶ ℤResult quality: 100% ●values known / values provided: 100%●distinct values known / distinct values provided: 100%
Mp00241: Permutations —invert Laguerre heap⟶ Permutations
Mp00090: Permutations —cycle-as-one-line notation⟶ Permutations
St001728: Permutations ⟶ ℤResult quality: 100% ●values known / values provided: 100%●distinct values known / distinct values provided: 100%
Values
[1] => [1] => [1] => [1] => 0
[1,2] => [1,2] => [1,2] => [1,2] => 0
[2,1] => [1,2] => [1,2] => [1,2] => 0
[1,2,3] => [1,2,3] => [1,2,3] => [1,2,3] => 0
[1,3,2] => [1,2,3] => [1,2,3] => [1,2,3] => 0
[2,1,3] => [1,2,3] => [1,2,3] => [1,2,3] => 0
[2,3,1] => [1,2,3] => [1,2,3] => [1,2,3] => 0
[1,2,3,4] => [1,2,3,4] => [1,2,3,4] => [1,2,3,4] => 0
[1,2,4,3] => [1,2,3,4] => [1,2,3,4] => [1,2,3,4] => 0
[1,3,2,4] => [1,2,3,4] => [1,2,3,4] => [1,2,3,4] => 0
[1,3,4,2] => [1,2,3,4] => [1,2,3,4] => [1,2,3,4] => 0
[2,1,3,4] => [1,2,3,4] => [1,2,3,4] => [1,2,3,4] => 0
[2,1,4,3] => [1,2,3,4] => [1,2,3,4] => [1,2,3,4] => 0
[2,3,1,4] => [1,2,3,4] => [1,2,3,4] => [1,2,3,4] => 0
[2,3,4,1] => [1,2,3,4] => [1,2,3,4] => [1,2,3,4] => 0
[3,1,4,2] => [1,3,4,2] => [1,4,2,3] => [1,2,4,3] => 0
[3,2,4,1] => [1,3,4,2] => [1,4,2,3] => [1,2,4,3] => 0
[4,1,2,3] => [1,4,3,2] => [1,4,3,2] => [1,2,4,3] => 0
[4,2,1,3] => [1,4,3,2] => [1,4,3,2] => [1,2,4,3] => 0
[1,2,3,4,5] => [1,2,3,4,5] => [1,2,3,4,5] => [1,2,3,4,5] => 0
[1,2,3,5,4] => [1,2,3,4,5] => [1,2,3,4,5] => [1,2,3,4,5] => 0
[1,2,4,3,5] => [1,2,3,4,5] => [1,2,3,4,5] => [1,2,3,4,5] => 0
[1,2,4,5,3] => [1,2,3,4,5] => [1,2,3,4,5] => [1,2,3,4,5] => 0
[1,3,2,4,5] => [1,2,3,4,5] => [1,2,3,4,5] => [1,2,3,4,5] => 0
[1,3,2,5,4] => [1,2,3,4,5] => [1,2,3,4,5] => [1,2,3,4,5] => 0
[1,3,4,2,5] => [1,2,3,4,5] => [1,2,3,4,5] => [1,2,3,4,5] => 0
[1,3,4,5,2] => [1,2,3,4,5] => [1,2,3,4,5] => [1,2,3,4,5] => 0
[1,4,2,5,3] => [1,2,4,5,3] => [1,2,5,3,4] => [1,2,3,5,4] => 0
[1,4,3,5,2] => [1,2,4,5,3] => [1,2,5,3,4] => [1,2,3,5,4] => 0
[1,5,2,3,4] => [1,2,5,4,3] => [1,2,5,4,3] => [1,2,3,5,4] => 0
[1,5,3,2,4] => [1,2,5,4,3] => [1,2,5,4,3] => [1,2,3,5,4] => 0
[2,1,3,4,5] => [1,2,3,4,5] => [1,2,3,4,5] => [1,2,3,4,5] => 0
[2,1,3,5,4] => [1,2,3,4,5] => [1,2,3,4,5] => [1,2,3,4,5] => 0
[2,1,4,3,5] => [1,2,3,4,5] => [1,2,3,4,5] => [1,2,3,4,5] => 0
[2,1,4,5,3] => [1,2,3,4,5] => [1,2,3,4,5] => [1,2,3,4,5] => 0
[2,3,1,4,5] => [1,2,3,4,5] => [1,2,3,4,5] => [1,2,3,4,5] => 0
[2,3,1,5,4] => [1,2,3,4,5] => [1,2,3,4,5] => [1,2,3,4,5] => 0
[2,3,4,1,5] => [1,2,3,4,5] => [1,2,3,4,5] => [1,2,3,4,5] => 0
[2,3,4,5,1] => [1,2,3,4,5] => [1,2,3,4,5] => [1,2,3,4,5] => 0
[2,4,1,5,3] => [1,2,4,5,3] => [1,2,5,3,4] => [1,2,3,5,4] => 0
[2,4,3,5,1] => [1,2,4,5,3] => [1,2,5,3,4] => [1,2,3,5,4] => 0
[2,5,1,3,4] => [1,2,5,4,3] => [1,2,5,4,3] => [1,2,3,5,4] => 0
[2,5,3,1,4] => [1,2,5,4,3] => [1,2,5,4,3] => [1,2,3,5,4] => 0
[3,1,4,2,5] => [1,3,4,2,5] => [1,4,2,3,5] => [1,2,4,3,5] => 0
[3,1,5,2,4] => [1,3,5,4,2] => [1,5,4,2,3] => [1,2,5,3,4] => 0
[3,2,4,1,5] => [1,3,4,2,5] => [1,4,2,3,5] => [1,2,4,3,5] => 0
[3,2,5,1,4] => [1,3,5,4,2] => [1,5,4,2,3] => [1,2,5,3,4] => 0
[3,5,4,1,2] => [1,3,4,2,5] => [1,4,2,3,5] => [1,2,4,3,5] => 0
[3,5,4,2,1] => [1,3,4,2,5] => [1,4,2,3,5] => [1,2,4,3,5] => 0
[4,1,2,3,5] => [1,4,3,2,5] => [1,4,3,2,5] => [1,2,4,3,5] => 0
Description
The number of invisible descents of a permutation.
A visible descent of a permutation $\pi$ is a position $i$ such that $\pi(i+1) \leq \min(i, \pi(i))$. Thus, an invisible descent satisfies $\pi(i) > \pi(i+1) > i$.
Matching statistic: St001964
(load all 19 compositions to match this statistic)
(load all 19 compositions to match this statistic)
Mp00090: Permutations —cycle-as-one-line notation⟶ Permutations
Mp00069: Permutations —complement⟶ Permutations
Mp00065: Permutations —permutation poset⟶ Posets
St001964: Posets ⟶ ℤResult quality: 100% ●values known / values provided: 100%●distinct values known / distinct values provided: 100%
Mp00069: Permutations —complement⟶ Permutations
Mp00065: Permutations —permutation poset⟶ Posets
St001964: Posets ⟶ ℤResult quality: 100% ●values known / values provided: 100%●distinct values known / distinct values provided: 100%
Values
[1] => [1] => [1] => ([],1)
=> 0
[1,2] => [1,2] => [2,1] => ([],2)
=> 0
[2,1] => [1,2] => [2,1] => ([],2)
=> 0
[1,2,3] => [1,2,3] => [3,2,1] => ([],3)
=> 0
[1,3,2] => [1,2,3] => [3,2,1] => ([],3)
=> 0
[2,1,3] => [1,2,3] => [3,2,1] => ([],3)
=> 0
[2,3,1] => [1,2,3] => [3,2,1] => ([],3)
=> 0
[1,2,3,4] => [1,2,3,4] => [4,3,2,1] => ([],4)
=> 0
[1,2,4,3] => [1,2,3,4] => [4,3,2,1] => ([],4)
=> 0
[1,3,2,4] => [1,2,3,4] => [4,3,2,1] => ([],4)
=> 0
[1,3,4,2] => [1,2,3,4] => [4,3,2,1] => ([],4)
=> 0
[2,1,3,4] => [1,2,3,4] => [4,3,2,1] => ([],4)
=> 0
[2,1,4,3] => [1,2,3,4] => [4,3,2,1] => ([],4)
=> 0
[2,3,1,4] => [1,2,3,4] => [4,3,2,1] => ([],4)
=> 0
[2,3,4,1] => [1,2,3,4] => [4,3,2,1] => ([],4)
=> 0
[3,1,4,2] => [1,3,4,2] => [4,2,1,3] => ([(1,3),(2,3)],4)
=> 0
[3,2,4,1] => [1,3,4,2] => [4,2,1,3] => ([(1,3),(2,3)],4)
=> 0
[4,1,2,3] => [1,4,3,2] => [4,1,2,3] => ([(1,2),(2,3)],4)
=> 0
[4,2,1,3] => [1,4,3,2] => [4,1,2,3] => ([(1,2),(2,3)],4)
=> 0
[1,2,3,4,5] => [1,2,3,4,5] => [5,4,3,2,1] => ([],5)
=> 0
[1,2,3,5,4] => [1,2,3,4,5] => [5,4,3,2,1] => ([],5)
=> 0
[1,2,4,3,5] => [1,2,3,4,5] => [5,4,3,2,1] => ([],5)
=> 0
[1,2,4,5,3] => [1,2,3,4,5] => [5,4,3,2,1] => ([],5)
=> 0
[1,3,2,4,5] => [1,2,3,4,5] => [5,4,3,2,1] => ([],5)
=> 0
[1,3,2,5,4] => [1,2,3,4,5] => [5,4,3,2,1] => ([],5)
=> 0
[1,3,4,2,5] => [1,2,3,4,5] => [5,4,3,2,1] => ([],5)
=> 0
[1,3,4,5,2] => [1,2,3,4,5] => [5,4,3,2,1] => ([],5)
=> 0
[1,4,2,5,3] => [1,2,4,5,3] => [5,4,2,1,3] => ([(2,4),(3,4)],5)
=> 0
[1,4,3,5,2] => [1,2,4,5,3] => [5,4,2,1,3] => ([(2,4),(3,4)],5)
=> 0
[1,5,2,3,4] => [1,2,5,4,3] => [5,4,1,2,3] => ([(2,3),(3,4)],5)
=> 0
[1,5,3,2,4] => [1,2,5,4,3] => [5,4,1,2,3] => ([(2,3),(3,4)],5)
=> 0
[2,1,3,4,5] => [1,2,3,4,5] => [5,4,3,2,1] => ([],5)
=> 0
[2,1,3,5,4] => [1,2,3,4,5] => [5,4,3,2,1] => ([],5)
=> 0
[2,1,4,3,5] => [1,2,3,4,5] => [5,4,3,2,1] => ([],5)
=> 0
[2,1,4,5,3] => [1,2,3,4,5] => [5,4,3,2,1] => ([],5)
=> 0
[2,3,1,4,5] => [1,2,3,4,5] => [5,4,3,2,1] => ([],5)
=> 0
[2,3,1,5,4] => [1,2,3,4,5] => [5,4,3,2,1] => ([],5)
=> 0
[2,3,4,1,5] => [1,2,3,4,5] => [5,4,3,2,1] => ([],5)
=> 0
[2,3,4,5,1] => [1,2,3,4,5] => [5,4,3,2,1] => ([],5)
=> 0
[2,4,1,5,3] => [1,2,4,5,3] => [5,4,2,1,3] => ([(2,4),(3,4)],5)
=> 0
[2,4,3,5,1] => [1,2,4,5,3] => [5,4,2,1,3] => ([(2,4),(3,4)],5)
=> 0
[2,5,1,3,4] => [1,2,5,4,3] => [5,4,1,2,3] => ([(2,3),(3,4)],5)
=> 0
[2,5,3,1,4] => [1,2,5,4,3] => [5,4,1,2,3] => ([(2,3),(3,4)],5)
=> 0
[3,1,4,2,5] => [1,3,4,2,5] => [5,3,2,4,1] => ([(2,4),(3,4)],5)
=> 0
[3,1,5,2,4] => [1,3,5,4,2] => [5,3,1,2,4] => ([(1,4),(2,3),(3,4)],5)
=> 0
[3,2,4,1,5] => [1,3,4,2,5] => [5,3,2,4,1] => ([(2,4),(3,4)],5)
=> 0
[3,2,5,1,4] => [1,3,5,4,2] => [5,3,1,2,4] => ([(1,4),(2,3),(3,4)],5)
=> 0
[3,5,4,1,2] => [1,3,4,2,5] => [5,3,2,4,1] => ([(2,4),(3,4)],5)
=> 0
[3,5,4,2,1] => [1,3,4,2,5] => [5,3,2,4,1] => ([(2,4),(3,4)],5)
=> 0
[4,1,2,3,5] => [1,4,3,2,5] => [5,2,3,4,1] => ([(2,3),(3,4)],5)
=> 0
Description
The interval resolution global dimension of a poset.
This is the cardinality of the longest chain of right minimal approximations by interval modules of an indecomposable module over the incidence algebra.
Matching statistic: St001677
(load all 7 compositions to match this statistic)
(load all 7 compositions to match this statistic)
Mp00090: Permutations —cycle-as-one-line notation⟶ Permutations
Mp00065: Permutations —permutation poset⟶ Posets
Mp00195: Posets —order ideals⟶ Lattices
St001677: Lattices ⟶ ℤResult quality: 42% ●values known / values provided: 42%●distinct values known / distinct values provided: 50%
Mp00065: Permutations —permutation poset⟶ Posets
Mp00195: Posets —order ideals⟶ Lattices
St001677: Lattices ⟶ ℤResult quality: 42% ●values known / values provided: 42%●distinct values known / distinct values provided: 50%
Values
[1] => [1] => ([],1)
=> ([(0,1)],2)
=> 0
[1,2] => [1,2] => ([(0,1)],2)
=> ([(0,2),(2,1)],3)
=> 0
[2,1] => [1,2] => ([(0,1)],2)
=> ([(0,2),(2,1)],3)
=> 0
[1,2,3] => [1,2,3] => ([(0,2),(2,1)],3)
=> ([(0,3),(2,1),(3,2)],4)
=> 0
[1,3,2] => [1,2,3] => ([(0,2),(2,1)],3)
=> ([(0,3),(2,1),(3,2)],4)
=> 0
[2,1,3] => [1,2,3] => ([(0,2),(2,1)],3)
=> ([(0,3),(2,1),(3,2)],4)
=> 0
[2,3,1] => [1,2,3] => ([(0,2),(2,1)],3)
=> ([(0,3),(2,1),(3,2)],4)
=> 0
[1,2,3,4] => [1,2,3,4] => ([(0,3),(2,1),(3,2)],4)
=> ([(0,4),(2,3),(3,1),(4,2)],5)
=> 0
[1,2,4,3] => [1,2,3,4] => ([(0,3),(2,1),(3,2)],4)
=> ([(0,4),(2,3),(3,1),(4,2)],5)
=> 0
[1,3,2,4] => [1,2,3,4] => ([(0,3),(2,1),(3,2)],4)
=> ([(0,4),(2,3),(3,1),(4,2)],5)
=> 0
[1,3,4,2] => [1,2,3,4] => ([(0,3),(2,1),(3,2)],4)
=> ([(0,4),(2,3),(3,1),(4,2)],5)
=> 0
[2,1,3,4] => [1,2,3,4] => ([(0,3),(2,1),(3,2)],4)
=> ([(0,4),(2,3),(3,1),(4,2)],5)
=> 0
[2,1,4,3] => [1,2,3,4] => ([(0,3),(2,1),(3,2)],4)
=> ([(0,4),(2,3),(3,1),(4,2)],5)
=> 0
[2,3,1,4] => [1,2,3,4] => ([(0,3),(2,1),(3,2)],4)
=> ([(0,4),(2,3),(3,1),(4,2)],5)
=> 0
[2,3,4,1] => [1,2,3,4] => ([(0,3),(2,1),(3,2)],4)
=> ([(0,4),(2,3),(3,1),(4,2)],5)
=> 0
[3,1,4,2] => [1,3,4,2] => ([(0,2),(0,3),(3,1)],4)
=> ([(0,4),(1,6),(2,5),(3,1),(3,5),(4,2),(4,3),(5,6)],7)
=> 0
[3,2,4,1] => [1,3,4,2] => ([(0,2),(0,3),(3,1)],4)
=> ([(0,4),(1,6),(2,5),(3,1),(3,5),(4,2),(4,3),(5,6)],7)
=> 0
[4,1,2,3] => [1,4,3,2] => ([(0,1),(0,2),(0,3)],4)
=> ([(0,4),(1,6),(1,7),(2,5),(2,7),(3,5),(3,6),(4,1),(4,2),(4,3),(5,8),(6,8),(7,8)],9)
=> 0
[4,2,1,3] => [1,4,3,2] => ([(0,1),(0,2),(0,3)],4)
=> ([(0,4),(1,6),(1,7),(2,5),(2,7),(3,5),(3,6),(4,1),(4,2),(4,3),(5,8),(6,8),(7,8)],9)
=> 0
[1,2,3,4,5] => [1,2,3,4,5] => ([(0,4),(2,3),(3,1),(4,2)],5)
=> ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
=> 0
[1,2,3,5,4] => [1,2,3,4,5] => ([(0,4),(2,3),(3,1),(4,2)],5)
=> ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
=> 0
[1,2,4,3,5] => [1,2,3,4,5] => ([(0,4),(2,3),(3,1),(4,2)],5)
=> ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
=> 0
[1,2,4,5,3] => [1,2,3,4,5] => ([(0,4),(2,3),(3,1),(4,2)],5)
=> ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
=> 0
[1,3,2,4,5] => [1,2,3,4,5] => ([(0,4),(2,3),(3,1),(4,2)],5)
=> ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
=> 0
[1,3,2,5,4] => [1,2,3,4,5] => ([(0,4),(2,3),(3,1),(4,2)],5)
=> ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
=> 0
[1,3,4,2,5] => [1,2,3,4,5] => ([(0,4),(2,3),(3,1),(4,2)],5)
=> ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
=> 0
[1,3,4,5,2] => [1,2,3,4,5] => ([(0,4),(2,3),(3,1),(4,2)],5)
=> ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
=> 0
[1,4,2,5,3] => [1,2,4,5,3] => ([(0,4),(3,2),(4,1),(4,3)],5)
=> ([(0,4),(1,7),(2,6),(3,1),(3,6),(4,5),(5,2),(5,3),(6,7)],8)
=> 0
[1,4,3,5,2] => [1,2,4,5,3] => ([(0,4),(3,2),(4,1),(4,3)],5)
=> ([(0,4),(1,7),(2,6),(3,1),(3,6),(4,5),(5,2),(5,3),(6,7)],8)
=> 0
[1,5,2,3,4] => [1,2,5,4,3] => ([(0,4),(4,1),(4,2),(4,3)],5)
=> ([(0,4),(1,7),(1,8),(2,6),(2,8),(3,6),(3,7),(4,5),(5,1),(5,2),(5,3),(6,9),(7,9),(8,9)],10)
=> ? = 0
[1,5,3,2,4] => [1,2,5,4,3] => ([(0,4),(4,1),(4,2),(4,3)],5)
=> ([(0,4),(1,7),(1,8),(2,6),(2,8),(3,6),(3,7),(4,5),(5,1),(5,2),(5,3),(6,9),(7,9),(8,9)],10)
=> ? = 0
[2,1,3,4,5] => [1,2,3,4,5] => ([(0,4),(2,3),(3,1),(4,2)],5)
=> ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
=> 0
[2,1,3,5,4] => [1,2,3,4,5] => ([(0,4),(2,3),(3,1),(4,2)],5)
=> ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
=> 0
[2,1,4,3,5] => [1,2,3,4,5] => ([(0,4),(2,3),(3,1),(4,2)],5)
=> ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
=> 0
[2,1,4,5,3] => [1,2,3,4,5] => ([(0,4),(2,3),(3,1),(4,2)],5)
=> ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
=> 0
[2,3,1,4,5] => [1,2,3,4,5] => ([(0,4),(2,3),(3,1),(4,2)],5)
=> ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
=> 0
[2,3,1,5,4] => [1,2,3,4,5] => ([(0,4),(2,3),(3,1),(4,2)],5)
=> ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
=> 0
[2,3,4,1,5] => [1,2,3,4,5] => ([(0,4),(2,3),(3,1),(4,2)],5)
=> ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
=> 0
[2,3,4,5,1] => [1,2,3,4,5] => ([(0,4),(2,3),(3,1),(4,2)],5)
=> ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
=> 0
[2,4,1,5,3] => [1,2,4,5,3] => ([(0,4),(3,2),(4,1),(4,3)],5)
=> ([(0,4),(1,7),(2,6),(3,1),(3,6),(4,5),(5,2),(5,3),(6,7)],8)
=> 0
[2,4,3,5,1] => [1,2,4,5,3] => ([(0,4),(3,2),(4,1),(4,3)],5)
=> ([(0,4),(1,7),(2,6),(3,1),(3,6),(4,5),(5,2),(5,3),(6,7)],8)
=> 0
[2,5,1,3,4] => [1,2,5,4,3] => ([(0,4),(4,1),(4,2),(4,3)],5)
=> ([(0,4),(1,7),(1,8),(2,6),(2,8),(3,6),(3,7),(4,5),(5,1),(5,2),(5,3),(6,9),(7,9),(8,9)],10)
=> ? = 0
[2,5,3,1,4] => [1,2,5,4,3] => ([(0,4),(4,1),(4,2),(4,3)],5)
=> ([(0,4),(1,7),(1,8),(2,6),(2,8),(3,6),(3,7),(4,5),(5,1),(5,2),(5,3),(6,9),(7,9),(8,9)],10)
=> ? = 0
[3,1,4,2,5] => [1,3,4,2,5] => ([(0,2),(0,3),(1,4),(2,4),(3,1)],5)
=> ([(0,5),(2,7),(3,6),(4,2),(4,6),(5,3),(5,4),(6,7),(7,1)],8)
=> 0
[3,1,5,2,4] => [1,3,5,4,2] => ([(0,3),(0,4),(4,1),(4,2)],5)
=> ([(0,5),(1,6),(2,7),(2,9),(3,7),(3,8),(4,2),(4,3),(4,6),(5,1),(5,4),(6,8),(6,9),(7,10),(8,10),(9,10)],11)
=> ? = 0
[3,2,4,1,5] => [1,3,4,2,5] => ([(0,2),(0,3),(1,4),(2,4),(3,1)],5)
=> ([(0,5),(2,7),(3,6),(4,2),(4,6),(5,3),(5,4),(6,7),(7,1)],8)
=> 0
[3,2,5,1,4] => [1,3,5,4,2] => ([(0,3),(0,4),(4,1),(4,2)],5)
=> ([(0,5),(1,6),(2,7),(2,9),(3,7),(3,8),(4,2),(4,3),(4,6),(5,1),(5,4),(6,8),(6,9),(7,10),(8,10),(9,10)],11)
=> ? = 0
[3,5,4,1,2] => [1,3,4,2,5] => ([(0,2),(0,3),(1,4),(2,4),(3,1)],5)
=> ([(0,5),(2,7),(3,6),(4,2),(4,6),(5,3),(5,4),(6,7),(7,1)],8)
=> 0
[3,5,4,2,1] => [1,3,4,2,5] => ([(0,2),(0,3),(1,4),(2,4),(3,1)],5)
=> ([(0,5),(2,7),(3,6),(4,2),(4,6),(5,3),(5,4),(6,7),(7,1)],8)
=> 0
[4,1,2,3,5] => [1,4,3,2,5] => ([(0,1),(0,2),(0,3),(1,4),(2,4),(3,4)],5)
=> ([(0,5),(2,7),(2,8),(3,6),(3,8),(4,6),(4,7),(5,2),(5,3),(5,4),(6,9),(7,9),(8,9),(9,1)],10)
=> ? = 0
[4,1,2,5,3] => [1,4,5,3,2] => ([(0,2),(0,3),(0,4),(4,1)],5)
=> ([(0,5),(1,9),(1,10),(2,6),(2,8),(3,6),(3,7),(4,1),(4,7),(4,8),(5,2),(5,3),(5,4),(6,12),(7,9),(7,12),(8,10),(8,12),(9,11),(10,11),(12,11)],13)
=> ? = 1
[4,1,5,3,2] => [1,4,3,5,2] => ([(0,1),(0,2),(0,3),(2,4),(3,4)],5)
=> ([(0,5),(1,8),(2,7),(2,9),(3,6),(3,9),(4,6),(4,7),(5,2),(5,3),(5,4),(6,10),(7,10),(9,1),(9,10),(10,8)],11)
=> ? = 0
[4,2,1,3,5] => [1,4,3,2,5] => ([(0,1),(0,2),(0,3),(1,4),(2,4),(3,4)],5)
=> ([(0,5),(2,7),(2,8),(3,6),(3,8),(4,6),(4,7),(5,2),(5,3),(5,4),(6,9),(7,9),(8,9),(9,1)],10)
=> ? = 0
[4,2,1,5,3] => [1,4,5,3,2] => ([(0,2),(0,3),(0,4),(4,1)],5)
=> ([(0,5),(1,9),(1,10),(2,6),(2,8),(3,6),(3,7),(4,1),(4,7),(4,8),(5,2),(5,3),(5,4),(6,12),(7,9),(7,12),(8,10),(8,12),(9,11),(10,11),(12,11)],13)
=> ? = 1
[4,2,5,3,1] => [1,4,3,5,2] => ([(0,1),(0,2),(0,3),(2,4),(3,4)],5)
=> ([(0,5),(1,8),(2,7),(2,9),(3,6),(3,9),(4,6),(4,7),(5,2),(5,3),(5,4),(6,10),(7,10),(9,1),(9,10),(10,8)],11)
=> ? = 0
[4,5,1,3,2] => [1,4,3,2,5] => ([(0,1),(0,2),(0,3),(1,4),(2,4),(3,4)],5)
=> ([(0,5),(2,7),(2,8),(3,6),(3,8),(4,6),(4,7),(5,2),(5,3),(5,4),(6,9),(7,9),(8,9),(9,1)],10)
=> ? = 0
[4,5,2,3,1] => [1,4,3,2,5] => ([(0,1),(0,2),(0,3),(1,4),(2,4),(3,4)],5)
=> ([(0,5),(2,7),(2,8),(3,6),(3,8),(4,6),(4,7),(5,2),(5,3),(5,4),(6,9),(7,9),(8,9),(9,1)],10)
=> ? = 0
[5,1,2,3,4] => [1,5,4,3,2] => ([(0,1),(0,2),(0,3),(0,4)],5)
=> ([(0,1),(1,2),(1,3),(1,4),(1,5),(2,9),(2,10),(2,11),(3,7),(3,8),(3,11),(4,6),(4,8),(4,10),(5,6),(5,7),(5,9),(6,12),(6,15),(7,12),(7,13),(8,12),(8,14),(9,13),(9,15),(10,14),(10,15),(11,13),(11,14),(12,16),(13,16),(14,16),(15,16)],17)
=> ? = 0
[5,2,1,3,4] => [1,5,4,3,2] => ([(0,1),(0,2),(0,3),(0,4)],5)
=> ([(0,1),(1,2),(1,3),(1,4),(1,5),(2,9),(2,10),(2,11),(3,7),(3,8),(3,11),(4,6),(4,8),(4,10),(5,6),(5,7),(5,9),(6,12),(6,15),(7,12),(7,13),(8,12),(8,14),(9,13),(9,15),(10,14),(10,15),(11,13),(11,14),(12,16),(13,16),(14,16),(15,16)],17)
=> ? = 0
[1,2,3,4,5,6] => [1,2,3,4,5,6] => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
=> ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
=> 0
[1,2,3,4,6,5] => [1,2,3,4,5,6] => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
=> ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
=> 0
[1,2,3,5,4,6] => [1,2,3,4,5,6] => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
=> ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
=> 0
[1,2,3,5,6,4] => [1,2,3,4,5,6] => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
=> ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
=> 0
[1,2,4,3,5,6] => [1,2,3,4,5,6] => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
=> ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
=> 0
[1,2,4,3,6,5] => [1,2,3,4,5,6] => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
=> ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
=> 0
[1,2,4,5,3,6] => [1,2,3,4,5,6] => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
=> ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
=> 0
[1,2,5,3,6,4] => [1,2,3,5,6,4] => ([(0,4),(3,2),(4,5),(5,1),(5,3)],6)
=> ([(0,5),(1,8),(2,7),(3,6),(4,1),(4,7),(5,3),(6,2),(6,4),(7,8)],9)
=> ? = 0
[1,2,5,4,6,3] => [1,2,3,5,6,4] => ([(0,4),(3,2),(4,5),(5,1),(5,3)],6)
=> ([(0,5),(1,8),(2,7),(3,6),(4,1),(4,7),(5,3),(6,2),(6,4),(7,8)],9)
=> ? = 0
[1,2,6,3,4,5] => [1,2,3,6,5,4] => ([(0,4),(4,5),(5,1),(5,2),(5,3)],6)
=> ([(0,5),(1,8),(1,9),(2,7),(2,9),(3,7),(3,8),(4,6),(5,4),(6,1),(6,2),(6,3),(7,10),(8,10),(9,10)],11)
=> ? = 0
[1,2,6,4,3,5] => [1,2,3,6,5,4] => ([(0,4),(4,5),(5,1),(5,2),(5,3)],6)
=> ([(0,5),(1,8),(1,9),(2,7),(2,9),(3,7),(3,8),(4,6),(5,4),(6,1),(6,2),(6,3),(7,10),(8,10),(9,10)],11)
=> ? = 0
[1,3,5,2,6,4] => [1,2,3,5,6,4] => ([(0,4),(3,2),(4,5),(5,1),(5,3)],6)
=> ([(0,5),(1,8),(2,7),(3,6),(4,1),(4,7),(5,3),(6,2),(6,4),(7,8)],9)
=> ? = 0
[1,3,5,4,6,2] => [1,2,3,5,6,4] => ([(0,4),(3,2),(4,5),(5,1),(5,3)],6)
=> ([(0,5),(1,8),(2,7),(3,6),(4,1),(4,7),(5,3),(6,2),(6,4),(7,8)],9)
=> ? = 0
[1,3,6,2,4,5] => [1,2,3,6,5,4] => ([(0,4),(4,5),(5,1),(5,2),(5,3)],6)
=> ([(0,5),(1,8),(1,9),(2,7),(2,9),(3,7),(3,8),(4,6),(5,4),(6,1),(6,2),(6,3),(7,10),(8,10),(9,10)],11)
=> ? = 0
[1,3,6,4,2,5] => [1,2,3,6,5,4] => ([(0,4),(4,5),(5,1),(5,2),(5,3)],6)
=> ([(0,5),(1,8),(1,9),(2,7),(2,9),(3,7),(3,8),(4,6),(5,4),(6,1),(6,2),(6,3),(7,10),(8,10),(9,10)],11)
=> ? = 0
[1,4,2,6,3,5] => [1,2,4,6,5,3] => ([(0,5),(4,2),(4,3),(5,1),(5,4)],6)
=> ([(0,4),(1,8),(1,10),(2,8),(2,9),(3,7),(4,5),(5,3),(5,6),(6,1),(6,2),(6,7),(7,9),(7,10),(8,11),(9,11),(10,11)],12)
=> ? = 0
[1,4,3,6,2,5] => [1,2,4,6,5,3] => ([(0,5),(4,2),(4,3),(5,1),(5,4)],6)
=> ([(0,4),(1,8),(1,10),(2,8),(2,9),(3,7),(4,5),(5,3),(5,6),(6,1),(6,2),(6,7),(7,9),(7,10),(8,11),(9,11),(10,11)],12)
=> ? = 0
[1,5,2,3,4,6] => [1,2,5,4,3,6] => ([(0,4),(1,5),(2,5),(3,5),(4,1),(4,2),(4,3)],6)
=> ([(0,5),(2,8),(2,9),(3,7),(3,9),(4,7),(4,8),(5,6),(6,2),(6,3),(6,4),(7,10),(8,10),(9,10),(10,1)],11)
=> ? = 0
[1,5,2,3,6,4] => [1,2,5,6,4,3] => ([(0,5),(4,3),(5,1),(5,2),(5,4)],6)
=> ([(0,5),(1,10),(1,11),(2,7),(2,9),(3,7),(3,8),(4,1),(4,8),(4,9),(5,6),(6,2),(6,3),(6,4),(7,13),(8,10),(8,13),(9,11),(9,13),(10,12),(11,12),(13,12)],14)
=> ? = 1
[1,5,2,6,4,3] => [1,2,5,4,6,3] => ([(0,4),(2,5),(3,5),(4,1),(4,2),(4,3)],6)
=> ([(0,5),(1,9),(2,8),(2,10),(3,7),(3,10),(4,7),(4,8),(5,6),(6,2),(6,3),(6,4),(7,11),(8,11),(10,1),(10,11),(11,9)],12)
=> ? = 0
[1,5,3,2,4,6] => [1,2,5,4,3,6] => ([(0,4),(1,5),(2,5),(3,5),(4,1),(4,2),(4,3)],6)
=> ([(0,5),(2,8),(2,9),(3,7),(3,9),(4,7),(4,8),(5,6),(6,2),(6,3),(6,4),(7,10),(8,10),(9,10),(10,1)],11)
=> ? = 0
[1,5,3,2,6,4] => [1,2,5,6,4,3] => ([(0,5),(4,3),(5,1),(5,2),(5,4)],6)
=> ([(0,5),(1,10),(1,11),(2,7),(2,9),(3,7),(3,8),(4,1),(4,8),(4,9),(5,6),(6,2),(6,3),(6,4),(7,13),(8,10),(8,13),(9,11),(9,13),(10,12),(11,12),(13,12)],14)
=> ? = 1
[1,5,3,6,4,2] => [1,2,5,4,6,3] => ([(0,4),(2,5),(3,5),(4,1),(4,2),(4,3)],6)
=> ([(0,5),(1,9),(2,8),(2,10),(3,7),(3,10),(4,7),(4,8),(5,6),(6,2),(6,3),(6,4),(7,11),(8,11),(10,1),(10,11),(11,9)],12)
=> ? = 0
[1,5,6,2,4,3] => [1,2,5,4,3,6] => ([(0,4),(1,5),(2,5),(3,5),(4,1),(4,2),(4,3)],6)
=> ([(0,5),(2,8),(2,9),(3,7),(3,9),(4,7),(4,8),(5,6),(6,2),(6,3),(6,4),(7,10),(8,10),(9,10),(10,1)],11)
=> ? = 0
[1,5,6,3,4,2] => [1,2,5,4,3,6] => ([(0,4),(1,5),(2,5),(3,5),(4,1),(4,2),(4,3)],6)
=> ([(0,5),(2,8),(2,9),(3,7),(3,9),(4,7),(4,8),(5,6),(6,2),(6,3),(6,4),(7,10),(8,10),(9,10),(10,1)],11)
=> ? = 0
[1,6,2,3,4,5] => [1,2,6,5,4,3] => ([(0,5),(5,1),(5,2),(5,3),(5,4)],6)
=> ([(0,5),(1,10),(1,11),(1,12),(2,8),(2,9),(2,12),(3,7),(3,9),(3,11),(4,7),(4,8),(4,10),(5,6),(6,1),(6,2),(6,3),(6,4),(7,13),(7,16),(8,13),(8,14),(9,13),(9,15),(10,14),(10,16),(11,15),(11,16),(12,14),(12,15),(13,17),(14,17),(15,17),(16,17)],18)
=> ? = 0
[1,6,3,2,4,5] => [1,2,6,5,4,3] => ([(0,5),(5,1),(5,2),(5,3),(5,4)],6)
=> ([(0,5),(1,10),(1,11),(1,12),(2,8),(2,9),(2,12),(3,7),(3,9),(3,11),(4,7),(4,8),(4,10),(5,6),(6,1),(6,2),(6,3),(6,4),(7,13),(7,16),(8,13),(8,14),(9,13),(9,15),(10,14),(10,16),(11,15),(11,16),(12,14),(12,15),(13,17),(14,17),(15,17),(16,17)],18)
=> ? = 0
[2,1,5,3,6,4] => [1,2,3,5,6,4] => ([(0,4),(3,2),(4,5),(5,1),(5,3)],6)
=> ([(0,5),(1,8),(2,7),(3,6),(4,1),(4,7),(5,3),(6,2),(6,4),(7,8)],9)
=> ? = 0
[2,1,5,4,6,3] => [1,2,3,5,6,4] => ([(0,4),(3,2),(4,5),(5,1),(5,3)],6)
=> ([(0,5),(1,8),(2,7),(3,6),(4,1),(4,7),(5,3),(6,2),(6,4),(7,8)],9)
=> ? = 0
[2,1,6,3,4,5] => [1,2,3,6,5,4] => ([(0,4),(4,5),(5,1),(5,2),(5,3)],6)
=> ([(0,5),(1,8),(1,9),(2,7),(2,9),(3,7),(3,8),(4,6),(5,4),(6,1),(6,2),(6,3),(7,10),(8,10),(9,10)],11)
=> ? = 0
[2,1,6,4,3,5] => [1,2,3,6,5,4] => ([(0,4),(4,5),(5,1),(5,2),(5,3)],6)
=> ([(0,5),(1,8),(1,9),(2,7),(2,9),(3,7),(3,8),(4,6),(5,4),(6,1),(6,2),(6,3),(7,10),(8,10),(9,10)],11)
=> ? = 0
[2,3,5,1,6,4] => [1,2,3,5,6,4] => ([(0,4),(3,2),(4,5),(5,1),(5,3)],6)
=> ([(0,5),(1,8),(2,7),(3,6),(4,1),(4,7),(5,3),(6,2),(6,4),(7,8)],9)
=> ? = 0
[2,3,5,4,6,1] => [1,2,3,5,6,4] => ([(0,4),(3,2),(4,5),(5,1),(5,3)],6)
=> ([(0,5),(1,8),(2,7),(3,6),(4,1),(4,7),(5,3),(6,2),(6,4),(7,8)],9)
=> ? = 0
[2,3,6,1,4,5] => [1,2,3,6,5,4] => ([(0,4),(4,5),(5,1),(5,2),(5,3)],6)
=> ([(0,5),(1,8),(1,9),(2,7),(2,9),(3,7),(3,8),(4,6),(5,4),(6,1),(6,2),(6,3),(7,10),(8,10),(9,10)],11)
=> ? = 0
[2,3,6,4,1,5] => [1,2,3,6,5,4] => ([(0,4),(4,5),(5,1),(5,2),(5,3)],6)
=> ([(0,5),(1,8),(1,9),(2,7),(2,9),(3,7),(3,8),(4,6),(5,4),(6,1),(6,2),(6,3),(7,10),(8,10),(9,10)],11)
=> ? = 0
[2,4,1,6,3,5] => [1,2,4,6,5,3] => ([(0,5),(4,2),(4,3),(5,1),(5,4)],6)
=> ([(0,4),(1,8),(1,10),(2,8),(2,9),(3,7),(4,5),(5,3),(5,6),(6,1),(6,2),(6,7),(7,9),(7,10),(8,11),(9,11),(10,11)],12)
=> ? = 0
[2,4,3,6,1,5] => [1,2,4,6,5,3] => ([(0,5),(4,2),(4,3),(5,1),(5,4)],6)
=> ([(0,4),(1,8),(1,10),(2,8),(2,9),(3,7),(4,5),(5,3),(5,6),(6,1),(6,2),(6,7),(7,9),(7,10),(8,11),(9,11),(10,11)],12)
=> ? = 0
[2,5,1,3,4,6] => [1,2,5,4,3,6] => ([(0,4),(1,5),(2,5),(3,5),(4,1),(4,2),(4,3)],6)
=> ([(0,5),(2,8),(2,9),(3,7),(3,9),(4,7),(4,8),(5,6),(6,2),(6,3),(6,4),(7,10),(8,10),(9,10),(10,1)],11)
=> ? = 0
[2,5,1,3,6,4] => [1,2,5,6,4,3] => ([(0,5),(4,3),(5,1),(5,2),(5,4)],6)
=> ([(0,5),(1,10),(1,11),(2,7),(2,9),(3,7),(3,8),(4,1),(4,8),(4,9),(5,6),(6,2),(6,3),(6,4),(7,13),(8,10),(8,13),(9,11),(9,13),(10,12),(11,12),(13,12)],14)
=> ? = 1
[2,5,1,6,4,3] => [1,2,5,4,6,3] => ([(0,4),(2,5),(3,5),(4,1),(4,2),(4,3)],6)
=> ([(0,5),(1,9),(2,8),(2,10),(3,7),(3,10),(4,7),(4,8),(5,6),(6,2),(6,3),(6,4),(7,11),(8,11),(10,1),(10,11),(11,9)],12)
=> ? = 0
[2,5,3,1,4,6] => [1,2,5,4,3,6] => ([(0,4),(1,5),(2,5),(3,5),(4,1),(4,2),(4,3)],6)
=> ([(0,5),(2,8),(2,9),(3,7),(3,9),(4,7),(4,8),(5,6),(6,2),(6,3),(6,4),(7,10),(8,10),(9,10),(10,1)],11)
=> ? = 0
Description
The number of non-degenerate subsets of a lattice whose meet is the bottom element.
A subset whose meet is the bottom element is non-degenerate, if it neither contains the bottom, nor the top element of the lattice.
Matching statistic: St001845
(load all 22 compositions to match this statistic)
(load all 22 compositions to match this statistic)
Mp00090: Permutations —cycle-as-one-line notation⟶ Permutations
Mp00065: Permutations —permutation poset⟶ Posets
Mp00195: Posets —order ideals⟶ Lattices
St001845: Lattices ⟶ ℤResult quality: 42% ●values known / values provided: 42%●distinct values known / distinct values provided: 50%
Mp00065: Permutations —permutation poset⟶ Posets
Mp00195: Posets —order ideals⟶ Lattices
St001845: Lattices ⟶ ℤResult quality: 42% ●values known / values provided: 42%●distinct values known / distinct values provided: 50%
Values
[1] => [1] => ([],1)
=> ([(0,1)],2)
=> 0
[1,2] => [1,2] => ([(0,1)],2)
=> ([(0,2),(2,1)],3)
=> 0
[2,1] => [1,2] => ([(0,1)],2)
=> ([(0,2),(2,1)],3)
=> 0
[1,2,3] => [1,2,3] => ([(0,2),(2,1)],3)
=> ([(0,3),(2,1),(3,2)],4)
=> 0
[1,3,2] => [1,2,3] => ([(0,2),(2,1)],3)
=> ([(0,3),(2,1),(3,2)],4)
=> 0
[2,1,3] => [1,2,3] => ([(0,2),(2,1)],3)
=> ([(0,3),(2,1),(3,2)],4)
=> 0
[2,3,1] => [1,2,3] => ([(0,2),(2,1)],3)
=> ([(0,3),(2,1),(3,2)],4)
=> 0
[1,2,3,4] => [1,2,3,4] => ([(0,3),(2,1),(3,2)],4)
=> ([(0,4),(2,3),(3,1),(4,2)],5)
=> 0
[1,2,4,3] => [1,2,3,4] => ([(0,3),(2,1),(3,2)],4)
=> ([(0,4),(2,3),(3,1),(4,2)],5)
=> 0
[1,3,2,4] => [1,2,3,4] => ([(0,3),(2,1),(3,2)],4)
=> ([(0,4),(2,3),(3,1),(4,2)],5)
=> 0
[1,3,4,2] => [1,2,3,4] => ([(0,3),(2,1),(3,2)],4)
=> ([(0,4),(2,3),(3,1),(4,2)],5)
=> 0
[2,1,3,4] => [1,2,3,4] => ([(0,3),(2,1),(3,2)],4)
=> ([(0,4),(2,3),(3,1),(4,2)],5)
=> 0
[2,1,4,3] => [1,2,3,4] => ([(0,3),(2,1),(3,2)],4)
=> ([(0,4),(2,3),(3,1),(4,2)],5)
=> 0
[2,3,1,4] => [1,2,3,4] => ([(0,3),(2,1),(3,2)],4)
=> ([(0,4),(2,3),(3,1),(4,2)],5)
=> 0
[2,3,4,1] => [1,2,3,4] => ([(0,3),(2,1),(3,2)],4)
=> ([(0,4),(2,3),(3,1),(4,2)],5)
=> 0
[3,1,4,2] => [1,3,4,2] => ([(0,2),(0,3),(3,1)],4)
=> ([(0,4),(1,6),(2,5),(3,1),(3,5),(4,2),(4,3),(5,6)],7)
=> 0
[3,2,4,1] => [1,3,4,2] => ([(0,2),(0,3),(3,1)],4)
=> ([(0,4),(1,6),(2,5),(3,1),(3,5),(4,2),(4,3),(5,6)],7)
=> 0
[4,1,2,3] => [1,4,3,2] => ([(0,1),(0,2),(0,3)],4)
=> ([(0,4),(1,6),(1,7),(2,5),(2,7),(3,5),(3,6),(4,1),(4,2),(4,3),(5,8),(6,8),(7,8)],9)
=> 0
[4,2,1,3] => [1,4,3,2] => ([(0,1),(0,2),(0,3)],4)
=> ([(0,4),(1,6),(1,7),(2,5),(2,7),(3,5),(3,6),(4,1),(4,2),(4,3),(5,8),(6,8),(7,8)],9)
=> 0
[1,2,3,4,5] => [1,2,3,4,5] => ([(0,4),(2,3),(3,1),(4,2)],5)
=> ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
=> 0
[1,2,3,5,4] => [1,2,3,4,5] => ([(0,4),(2,3),(3,1),(4,2)],5)
=> ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
=> 0
[1,2,4,3,5] => [1,2,3,4,5] => ([(0,4),(2,3),(3,1),(4,2)],5)
=> ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
=> 0
[1,2,4,5,3] => [1,2,3,4,5] => ([(0,4),(2,3),(3,1),(4,2)],5)
=> ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
=> 0
[1,3,2,4,5] => [1,2,3,4,5] => ([(0,4),(2,3),(3,1),(4,2)],5)
=> ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
=> 0
[1,3,2,5,4] => [1,2,3,4,5] => ([(0,4),(2,3),(3,1),(4,2)],5)
=> ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
=> 0
[1,3,4,2,5] => [1,2,3,4,5] => ([(0,4),(2,3),(3,1),(4,2)],5)
=> ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
=> 0
[1,3,4,5,2] => [1,2,3,4,5] => ([(0,4),(2,3),(3,1),(4,2)],5)
=> ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
=> 0
[1,4,2,5,3] => [1,2,4,5,3] => ([(0,4),(3,2),(4,1),(4,3)],5)
=> ([(0,4),(1,7),(2,6),(3,1),(3,6),(4,5),(5,2),(5,3),(6,7)],8)
=> 0
[1,4,3,5,2] => [1,2,4,5,3] => ([(0,4),(3,2),(4,1),(4,3)],5)
=> ([(0,4),(1,7),(2,6),(3,1),(3,6),(4,5),(5,2),(5,3),(6,7)],8)
=> 0
[1,5,2,3,4] => [1,2,5,4,3] => ([(0,4),(4,1),(4,2),(4,3)],5)
=> ([(0,4),(1,7),(1,8),(2,6),(2,8),(3,6),(3,7),(4,5),(5,1),(5,2),(5,3),(6,9),(7,9),(8,9)],10)
=> ? = 0
[1,5,3,2,4] => [1,2,5,4,3] => ([(0,4),(4,1),(4,2),(4,3)],5)
=> ([(0,4),(1,7),(1,8),(2,6),(2,8),(3,6),(3,7),(4,5),(5,1),(5,2),(5,3),(6,9),(7,9),(8,9)],10)
=> ? = 0
[2,1,3,4,5] => [1,2,3,4,5] => ([(0,4),(2,3),(3,1),(4,2)],5)
=> ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
=> 0
[2,1,3,5,4] => [1,2,3,4,5] => ([(0,4),(2,3),(3,1),(4,2)],5)
=> ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
=> 0
[2,1,4,3,5] => [1,2,3,4,5] => ([(0,4),(2,3),(3,1),(4,2)],5)
=> ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
=> 0
[2,1,4,5,3] => [1,2,3,4,5] => ([(0,4),(2,3),(3,1),(4,2)],5)
=> ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
=> 0
[2,3,1,4,5] => [1,2,3,4,5] => ([(0,4),(2,3),(3,1),(4,2)],5)
=> ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
=> 0
[2,3,1,5,4] => [1,2,3,4,5] => ([(0,4),(2,3),(3,1),(4,2)],5)
=> ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
=> 0
[2,3,4,1,5] => [1,2,3,4,5] => ([(0,4),(2,3),(3,1),(4,2)],5)
=> ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
=> 0
[2,3,4,5,1] => [1,2,3,4,5] => ([(0,4),(2,3),(3,1),(4,2)],5)
=> ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
=> 0
[2,4,1,5,3] => [1,2,4,5,3] => ([(0,4),(3,2),(4,1),(4,3)],5)
=> ([(0,4),(1,7),(2,6),(3,1),(3,6),(4,5),(5,2),(5,3),(6,7)],8)
=> 0
[2,4,3,5,1] => [1,2,4,5,3] => ([(0,4),(3,2),(4,1),(4,3)],5)
=> ([(0,4),(1,7),(2,6),(3,1),(3,6),(4,5),(5,2),(5,3),(6,7)],8)
=> 0
[2,5,1,3,4] => [1,2,5,4,3] => ([(0,4),(4,1),(4,2),(4,3)],5)
=> ([(0,4),(1,7),(1,8),(2,6),(2,8),(3,6),(3,7),(4,5),(5,1),(5,2),(5,3),(6,9),(7,9),(8,9)],10)
=> ? = 0
[2,5,3,1,4] => [1,2,5,4,3] => ([(0,4),(4,1),(4,2),(4,3)],5)
=> ([(0,4),(1,7),(1,8),(2,6),(2,8),(3,6),(3,7),(4,5),(5,1),(5,2),(5,3),(6,9),(7,9),(8,9)],10)
=> ? = 0
[3,1,4,2,5] => [1,3,4,2,5] => ([(0,2),(0,3),(1,4),(2,4),(3,1)],5)
=> ([(0,5),(2,7),(3,6),(4,2),(4,6),(5,3),(5,4),(6,7),(7,1)],8)
=> 0
[3,1,5,2,4] => [1,3,5,4,2] => ([(0,3),(0,4),(4,1),(4,2)],5)
=> ([(0,5),(1,6),(2,7),(2,9),(3,7),(3,8),(4,2),(4,3),(4,6),(5,1),(5,4),(6,8),(6,9),(7,10),(8,10),(9,10)],11)
=> ? = 0
[3,2,4,1,5] => [1,3,4,2,5] => ([(0,2),(0,3),(1,4),(2,4),(3,1)],5)
=> ([(0,5),(2,7),(3,6),(4,2),(4,6),(5,3),(5,4),(6,7),(7,1)],8)
=> 0
[3,2,5,1,4] => [1,3,5,4,2] => ([(0,3),(0,4),(4,1),(4,2)],5)
=> ([(0,5),(1,6),(2,7),(2,9),(3,7),(3,8),(4,2),(4,3),(4,6),(5,1),(5,4),(6,8),(6,9),(7,10),(8,10),(9,10)],11)
=> ? = 0
[3,5,4,1,2] => [1,3,4,2,5] => ([(0,2),(0,3),(1,4),(2,4),(3,1)],5)
=> ([(0,5),(2,7),(3,6),(4,2),(4,6),(5,3),(5,4),(6,7),(7,1)],8)
=> 0
[3,5,4,2,1] => [1,3,4,2,5] => ([(0,2),(0,3),(1,4),(2,4),(3,1)],5)
=> ([(0,5),(2,7),(3,6),(4,2),(4,6),(5,3),(5,4),(6,7),(7,1)],8)
=> 0
[4,1,2,3,5] => [1,4,3,2,5] => ([(0,1),(0,2),(0,3),(1,4),(2,4),(3,4)],5)
=> ([(0,5),(2,7),(2,8),(3,6),(3,8),(4,6),(4,7),(5,2),(5,3),(5,4),(6,9),(7,9),(8,9),(9,1)],10)
=> ? = 0
[4,1,2,5,3] => [1,4,5,3,2] => ([(0,2),(0,3),(0,4),(4,1)],5)
=> ([(0,5),(1,9),(1,10),(2,6),(2,8),(3,6),(3,7),(4,1),(4,7),(4,8),(5,2),(5,3),(5,4),(6,12),(7,9),(7,12),(8,10),(8,12),(9,11),(10,11),(12,11)],13)
=> ? = 1
[4,1,5,3,2] => [1,4,3,5,2] => ([(0,1),(0,2),(0,3),(2,4),(3,4)],5)
=> ([(0,5),(1,8),(2,7),(2,9),(3,6),(3,9),(4,6),(4,7),(5,2),(5,3),(5,4),(6,10),(7,10),(9,1),(9,10),(10,8)],11)
=> ? = 0
[4,2,1,3,5] => [1,4,3,2,5] => ([(0,1),(0,2),(0,3),(1,4),(2,4),(3,4)],5)
=> ([(0,5),(2,7),(2,8),(3,6),(3,8),(4,6),(4,7),(5,2),(5,3),(5,4),(6,9),(7,9),(8,9),(9,1)],10)
=> ? = 0
[4,2,1,5,3] => [1,4,5,3,2] => ([(0,2),(0,3),(0,4),(4,1)],5)
=> ([(0,5),(1,9),(1,10),(2,6),(2,8),(3,6),(3,7),(4,1),(4,7),(4,8),(5,2),(5,3),(5,4),(6,12),(7,9),(7,12),(8,10),(8,12),(9,11),(10,11),(12,11)],13)
=> ? = 1
[4,2,5,3,1] => [1,4,3,5,2] => ([(0,1),(0,2),(0,3),(2,4),(3,4)],5)
=> ([(0,5),(1,8),(2,7),(2,9),(3,6),(3,9),(4,6),(4,7),(5,2),(5,3),(5,4),(6,10),(7,10),(9,1),(9,10),(10,8)],11)
=> ? = 0
[4,5,1,3,2] => [1,4,3,2,5] => ([(0,1),(0,2),(0,3),(1,4),(2,4),(3,4)],5)
=> ([(0,5),(2,7),(2,8),(3,6),(3,8),(4,6),(4,7),(5,2),(5,3),(5,4),(6,9),(7,9),(8,9),(9,1)],10)
=> ? = 0
[4,5,2,3,1] => [1,4,3,2,5] => ([(0,1),(0,2),(0,3),(1,4),(2,4),(3,4)],5)
=> ([(0,5),(2,7),(2,8),(3,6),(3,8),(4,6),(4,7),(5,2),(5,3),(5,4),(6,9),(7,9),(8,9),(9,1)],10)
=> ? = 0
[5,1,2,3,4] => [1,5,4,3,2] => ([(0,1),(0,2),(0,3),(0,4)],5)
=> ([(0,1),(1,2),(1,3),(1,4),(1,5),(2,9),(2,10),(2,11),(3,7),(3,8),(3,11),(4,6),(4,8),(4,10),(5,6),(5,7),(5,9),(6,12),(6,15),(7,12),(7,13),(8,12),(8,14),(9,13),(9,15),(10,14),(10,15),(11,13),(11,14),(12,16),(13,16),(14,16),(15,16)],17)
=> ? = 0
[5,2,1,3,4] => [1,5,4,3,2] => ([(0,1),(0,2),(0,3),(0,4)],5)
=> ([(0,1),(1,2),(1,3),(1,4),(1,5),(2,9),(2,10),(2,11),(3,7),(3,8),(3,11),(4,6),(4,8),(4,10),(5,6),(5,7),(5,9),(6,12),(6,15),(7,12),(7,13),(8,12),(8,14),(9,13),(9,15),(10,14),(10,15),(11,13),(11,14),(12,16),(13,16),(14,16),(15,16)],17)
=> ? = 0
[1,2,3,4,5,6] => [1,2,3,4,5,6] => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
=> ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
=> 0
[1,2,3,4,6,5] => [1,2,3,4,5,6] => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
=> ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
=> 0
[1,2,3,5,4,6] => [1,2,3,4,5,6] => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
=> ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
=> 0
[1,2,3,5,6,4] => [1,2,3,4,5,6] => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
=> ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
=> 0
[1,2,4,3,5,6] => [1,2,3,4,5,6] => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
=> ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
=> 0
[1,2,4,3,6,5] => [1,2,3,4,5,6] => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
=> ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
=> 0
[1,2,4,5,3,6] => [1,2,3,4,5,6] => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
=> ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
=> 0
[1,2,5,3,6,4] => [1,2,3,5,6,4] => ([(0,4),(3,2),(4,5),(5,1),(5,3)],6)
=> ([(0,5),(1,8),(2,7),(3,6),(4,1),(4,7),(5,3),(6,2),(6,4),(7,8)],9)
=> ? = 0
[1,2,5,4,6,3] => [1,2,3,5,6,4] => ([(0,4),(3,2),(4,5),(5,1),(5,3)],6)
=> ([(0,5),(1,8),(2,7),(3,6),(4,1),(4,7),(5,3),(6,2),(6,4),(7,8)],9)
=> ? = 0
[1,2,6,3,4,5] => [1,2,3,6,5,4] => ([(0,4),(4,5),(5,1),(5,2),(5,3)],6)
=> ([(0,5),(1,8),(1,9),(2,7),(2,9),(3,7),(3,8),(4,6),(5,4),(6,1),(6,2),(6,3),(7,10),(8,10),(9,10)],11)
=> ? = 0
[1,2,6,4,3,5] => [1,2,3,6,5,4] => ([(0,4),(4,5),(5,1),(5,2),(5,3)],6)
=> ([(0,5),(1,8),(1,9),(2,7),(2,9),(3,7),(3,8),(4,6),(5,4),(6,1),(6,2),(6,3),(7,10),(8,10),(9,10)],11)
=> ? = 0
[1,3,5,2,6,4] => [1,2,3,5,6,4] => ([(0,4),(3,2),(4,5),(5,1),(5,3)],6)
=> ([(0,5),(1,8),(2,7),(3,6),(4,1),(4,7),(5,3),(6,2),(6,4),(7,8)],9)
=> ? = 0
[1,3,5,4,6,2] => [1,2,3,5,6,4] => ([(0,4),(3,2),(4,5),(5,1),(5,3)],6)
=> ([(0,5),(1,8),(2,7),(3,6),(4,1),(4,7),(5,3),(6,2),(6,4),(7,8)],9)
=> ? = 0
[1,3,6,2,4,5] => [1,2,3,6,5,4] => ([(0,4),(4,5),(5,1),(5,2),(5,3)],6)
=> ([(0,5),(1,8),(1,9),(2,7),(2,9),(3,7),(3,8),(4,6),(5,4),(6,1),(6,2),(6,3),(7,10),(8,10),(9,10)],11)
=> ? = 0
[1,3,6,4,2,5] => [1,2,3,6,5,4] => ([(0,4),(4,5),(5,1),(5,2),(5,3)],6)
=> ([(0,5),(1,8),(1,9),(2,7),(2,9),(3,7),(3,8),(4,6),(5,4),(6,1),(6,2),(6,3),(7,10),(8,10),(9,10)],11)
=> ? = 0
[1,4,2,6,3,5] => [1,2,4,6,5,3] => ([(0,5),(4,2),(4,3),(5,1),(5,4)],6)
=> ([(0,4),(1,8),(1,10),(2,8),(2,9),(3,7),(4,5),(5,3),(5,6),(6,1),(6,2),(6,7),(7,9),(7,10),(8,11),(9,11),(10,11)],12)
=> ? = 0
[1,4,3,6,2,5] => [1,2,4,6,5,3] => ([(0,5),(4,2),(4,3),(5,1),(5,4)],6)
=> ([(0,4),(1,8),(1,10),(2,8),(2,9),(3,7),(4,5),(5,3),(5,6),(6,1),(6,2),(6,7),(7,9),(7,10),(8,11),(9,11),(10,11)],12)
=> ? = 0
[1,5,2,3,4,6] => [1,2,5,4,3,6] => ([(0,4),(1,5),(2,5),(3,5),(4,1),(4,2),(4,3)],6)
=> ([(0,5),(2,8),(2,9),(3,7),(3,9),(4,7),(4,8),(5,6),(6,2),(6,3),(6,4),(7,10),(8,10),(9,10),(10,1)],11)
=> ? = 0
[1,5,2,3,6,4] => [1,2,5,6,4,3] => ([(0,5),(4,3),(5,1),(5,2),(5,4)],6)
=> ([(0,5),(1,10),(1,11),(2,7),(2,9),(3,7),(3,8),(4,1),(4,8),(4,9),(5,6),(6,2),(6,3),(6,4),(7,13),(8,10),(8,13),(9,11),(9,13),(10,12),(11,12),(13,12)],14)
=> ? = 1
[1,5,2,6,4,3] => [1,2,5,4,6,3] => ([(0,4),(2,5),(3,5),(4,1),(4,2),(4,3)],6)
=> ([(0,5),(1,9),(2,8),(2,10),(3,7),(3,10),(4,7),(4,8),(5,6),(6,2),(6,3),(6,4),(7,11),(8,11),(10,1),(10,11),(11,9)],12)
=> ? = 0
[1,5,3,2,4,6] => [1,2,5,4,3,6] => ([(0,4),(1,5),(2,5),(3,5),(4,1),(4,2),(4,3)],6)
=> ([(0,5),(2,8),(2,9),(3,7),(3,9),(4,7),(4,8),(5,6),(6,2),(6,3),(6,4),(7,10),(8,10),(9,10),(10,1)],11)
=> ? = 0
[1,5,3,2,6,4] => [1,2,5,6,4,3] => ([(0,5),(4,3),(5,1),(5,2),(5,4)],6)
=> ([(0,5),(1,10),(1,11),(2,7),(2,9),(3,7),(3,8),(4,1),(4,8),(4,9),(5,6),(6,2),(6,3),(6,4),(7,13),(8,10),(8,13),(9,11),(9,13),(10,12),(11,12),(13,12)],14)
=> ? = 1
[1,5,3,6,4,2] => [1,2,5,4,6,3] => ([(0,4),(2,5),(3,5),(4,1),(4,2),(4,3)],6)
=> ([(0,5),(1,9),(2,8),(2,10),(3,7),(3,10),(4,7),(4,8),(5,6),(6,2),(6,3),(6,4),(7,11),(8,11),(10,1),(10,11),(11,9)],12)
=> ? = 0
[1,5,6,2,4,3] => [1,2,5,4,3,6] => ([(0,4),(1,5),(2,5),(3,5),(4,1),(4,2),(4,3)],6)
=> ([(0,5),(2,8),(2,9),(3,7),(3,9),(4,7),(4,8),(5,6),(6,2),(6,3),(6,4),(7,10),(8,10),(9,10),(10,1)],11)
=> ? = 0
[1,5,6,3,4,2] => [1,2,5,4,3,6] => ([(0,4),(1,5),(2,5),(3,5),(4,1),(4,2),(4,3)],6)
=> ([(0,5),(2,8),(2,9),(3,7),(3,9),(4,7),(4,8),(5,6),(6,2),(6,3),(6,4),(7,10),(8,10),(9,10),(10,1)],11)
=> ? = 0
[1,6,2,3,4,5] => [1,2,6,5,4,3] => ([(0,5),(5,1),(5,2),(5,3),(5,4)],6)
=> ([(0,5),(1,10),(1,11),(1,12),(2,8),(2,9),(2,12),(3,7),(3,9),(3,11),(4,7),(4,8),(4,10),(5,6),(6,1),(6,2),(6,3),(6,4),(7,13),(7,16),(8,13),(8,14),(9,13),(9,15),(10,14),(10,16),(11,15),(11,16),(12,14),(12,15),(13,17),(14,17),(15,17),(16,17)],18)
=> ? = 0
[1,6,3,2,4,5] => [1,2,6,5,4,3] => ([(0,5),(5,1),(5,2),(5,3),(5,4)],6)
=> ([(0,5),(1,10),(1,11),(1,12),(2,8),(2,9),(2,12),(3,7),(3,9),(3,11),(4,7),(4,8),(4,10),(5,6),(6,1),(6,2),(6,3),(6,4),(7,13),(7,16),(8,13),(8,14),(9,13),(9,15),(10,14),(10,16),(11,15),(11,16),(12,14),(12,15),(13,17),(14,17),(15,17),(16,17)],18)
=> ? = 0
[2,1,5,3,6,4] => [1,2,3,5,6,4] => ([(0,4),(3,2),(4,5),(5,1),(5,3)],6)
=> ([(0,5),(1,8),(2,7),(3,6),(4,1),(4,7),(5,3),(6,2),(6,4),(7,8)],9)
=> ? = 0
[2,1,5,4,6,3] => [1,2,3,5,6,4] => ([(0,4),(3,2),(4,5),(5,1),(5,3)],6)
=> ([(0,5),(1,8),(2,7),(3,6),(4,1),(4,7),(5,3),(6,2),(6,4),(7,8)],9)
=> ? = 0
[2,1,6,3,4,5] => [1,2,3,6,5,4] => ([(0,4),(4,5),(5,1),(5,2),(5,3)],6)
=> ([(0,5),(1,8),(1,9),(2,7),(2,9),(3,7),(3,8),(4,6),(5,4),(6,1),(6,2),(6,3),(7,10),(8,10),(9,10)],11)
=> ? = 0
[2,1,6,4,3,5] => [1,2,3,6,5,4] => ([(0,4),(4,5),(5,1),(5,2),(5,3)],6)
=> ([(0,5),(1,8),(1,9),(2,7),(2,9),(3,7),(3,8),(4,6),(5,4),(6,1),(6,2),(6,3),(7,10),(8,10),(9,10)],11)
=> ? = 0
[2,3,5,1,6,4] => [1,2,3,5,6,4] => ([(0,4),(3,2),(4,5),(5,1),(5,3)],6)
=> ([(0,5),(1,8),(2,7),(3,6),(4,1),(4,7),(5,3),(6,2),(6,4),(7,8)],9)
=> ? = 0
[2,3,5,4,6,1] => [1,2,3,5,6,4] => ([(0,4),(3,2),(4,5),(5,1),(5,3)],6)
=> ([(0,5),(1,8),(2,7),(3,6),(4,1),(4,7),(5,3),(6,2),(6,4),(7,8)],9)
=> ? = 0
[2,3,6,1,4,5] => [1,2,3,6,5,4] => ([(0,4),(4,5),(5,1),(5,2),(5,3)],6)
=> ([(0,5),(1,8),(1,9),(2,7),(2,9),(3,7),(3,8),(4,6),(5,4),(6,1),(6,2),(6,3),(7,10),(8,10),(9,10)],11)
=> ? = 0
[2,3,6,4,1,5] => [1,2,3,6,5,4] => ([(0,4),(4,5),(5,1),(5,2),(5,3)],6)
=> ([(0,5),(1,8),(1,9),(2,7),(2,9),(3,7),(3,8),(4,6),(5,4),(6,1),(6,2),(6,3),(7,10),(8,10),(9,10)],11)
=> ? = 0
[2,4,1,6,3,5] => [1,2,4,6,5,3] => ([(0,5),(4,2),(4,3),(5,1),(5,4)],6)
=> ([(0,4),(1,8),(1,10),(2,8),(2,9),(3,7),(4,5),(5,3),(5,6),(6,1),(6,2),(6,7),(7,9),(7,10),(8,11),(9,11),(10,11)],12)
=> ? = 0
[2,4,3,6,1,5] => [1,2,4,6,5,3] => ([(0,5),(4,2),(4,3),(5,1),(5,4)],6)
=> ([(0,4),(1,8),(1,10),(2,8),(2,9),(3,7),(4,5),(5,3),(5,6),(6,1),(6,2),(6,7),(7,9),(7,10),(8,11),(9,11),(10,11)],12)
=> ? = 0
[2,5,1,3,4,6] => [1,2,5,4,3,6] => ([(0,4),(1,5),(2,5),(3,5),(4,1),(4,2),(4,3)],6)
=> ([(0,5),(2,8),(2,9),(3,7),(3,9),(4,7),(4,8),(5,6),(6,2),(6,3),(6,4),(7,10),(8,10),(9,10),(10,1)],11)
=> ? = 0
[2,5,1,3,6,4] => [1,2,5,6,4,3] => ([(0,5),(4,3),(5,1),(5,2),(5,4)],6)
=> ([(0,5),(1,10),(1,11),(2,7),(2,9),(3,7),(3,8),(4,1),(4,8),(4,9),(5,6),(6,2),(6,3),(6,4),(7,13),(8,10),(8,13),(9,11),(9,13),(10,12),(11,12),(13,12)],14)
=> ? = 1
[2,5,1,6,4,3] => [1,2,5,4,6,3] => ([(0,4),(2,5),(3,5),(4,1),(4,2),(4,3)],6)
=> ([(0,5),(1,9),(2,8),(2,10),(3,7),(3,10),(4,7),(4,8),(5,6),(6,2),(6,3),(6,4),(7,11),(8,11),(10,1),(10,11),(11,9)],12)
=> ? = 0
[2,5,3,1,4,6] => [1,2,5,4,3,6] => ([(0,4),(1,5),(2,5),(3,5),(4,1),(4,2),(4,3)],6)
=> ([(0,5),(2,8),(2,9),(3,7),(3,9),(4,7),(4,8),(5,6),(6,2),(6,3),(6,4),(7,10),(8,10),(9,10),(10,1)],11)
=> ? = 0
Description
The number of join irreducibles minus the rank of a lattice.
A lattice is join-extremal, if this statistic is $0$.
Matching statistic: St001613
Mp00090: Permutations —cycle-as-one-line notation⟶ Permutations
Mp00065: Permutations —permutation poset⟶ Posets
Mp00195: Posets —order ideals⟶ Lattices
St001613: Lattices ⟶ ℤResult quality: 42% ●values known / values provided: 42%●distinct values known / distinct values provided: 50%
Mp00065: Permutations —permutation poset⟶ Posets
Mp00195: Posets —order ideals⟶ Lattices
St001613: Lattices ⟶ ℤResult quality: 42% ●values known / values provided: 42%●distinct values known / distinct values provided: 50%
Values
[1] => [1] => ([],1)
=> ([(0,1)],2)
=> 1 = 0 + 1
[1,2] => [1,2] => ([(0,1)],2)
=> ([(0,2),(2,1)],3)
=> 1 = 0 + 1
[2,1] => [1,2] => ([(0,1)],2)
=> ([(0,2),(2,1)],3)
=> 1 = 0 + 1
[1,2,3] => [1,2,3] => ([(0,2),(2,1)],3)
=> ([(0,3),(2,1),(3,2)],4)
=> 1 = 0 + 1
[1,3,2] => [1,2,3] => ([(0,2),(2,1)],3)
=> ([(0,3),(2,1),(3,2)],4)
=> 1 = 0 + 1
[2,1,3] => [1,2,3] => ([(0,2),(2,1)],3)
=> ([(0,3),(2,1),(3,2)],4)
=> 1 = 0 + 1
[2,3,1] => [1,2,3] => ([(0,2),(2,1)],3)
=> ([(0,3),(2,1),(3,2)],4)
=> 1 = 0 + 1
[1,2,3,4] => [1,2,3,4] => ([(0,3),(2,1),(3,2)],4)
=> ([(0,4),(2,3),(3,1),(4,2)],5)
=> 1 = 0 + 1
[1,2,4,3] => [1,2,3,4] => ([(0,3),(2,1),(3,2)],4)
=> ([(0,4),(2,3),(3,1),(4,2)],5)
=> 1 = 0 + 1
[1,3,2,4] => [1,2,3,4] => ([(0,3),(2,1),(3,2)],4)
=> ([(0,4),(2,3),(3,1),(4,2)],5)
=> 1 = 0 + 1
[1,3,4,2] => [1,2,3,4] => ([(0,3),(2,1),(3,2)],4)
=> ([(0,4),(2,3),(3,1),(4,2)],5)
=> 1 = 0 + 1
[2,1,3,4] => [1,2,3,4] => ([(0,3),(2,1),(3,2)],4)
=> ([(0,4),(2,3),(3,1),(4,2)],5)
=> 1 = 0 + 1
[2,1,4,3] => [1,2,3,4] => ([(0,3),(2,1),(3,2)],4)
=> ([(0,4),(2,3),(3,1),(4,2)],5)
=> 1 = 0 + 1
[2,3,1,4] => [1,2,3,4] => ([(0,3),(2,1),(3,2)],4)
=> ([(0,4),(2,3),(3,1),(4,2)],5)
=> 1 = 0 + 1
[2,3,4,1] => [1,2,3,4] => ([(0,3),(2,1),(3,2)],4)
=> ([(0,4),(2,3),(3,1),(4,2)],5)
=> 1 = 0 + 1
[3,1,4,2] => [1,3,4,2] => ([(0,2),(0,3),(3,1)],4)
=> ([(0,4),(1,6),(2,5),(3,1),(3,5),(4,2),(4,3),(5,6)],7)
=> 1 = 0 + 1
[3,2,4,1] => [1,3,4,2] => ([(0,2),(0,3),(3,1)],4)
=> ([(0,4),(1,6),(2,5),(3,1),(3,5),(4,2),(4,3),(5,6)],7)
=> 1 = 0 + 1
[4,1,2,3] => [1,4,3,2] => ([(0,1),(0,2),(0,3)],4)
=> ([(0,4),(1,6),(1,7),(2,5),(2,7),(3,5),(3,6),(4,1),(4,2),(4,3),(5,8),(6,8),(7,8)],9)
=> 1 = 0 + 1
[4,2,1,3] => [1,4,3,2] => ([(0,1),(0,2),(0,3)],4)
=> ([(0,4),(1,6),(1,7),(2,5),(2,7),(3,5),(3,6),(4,1),(4,2),(4,3),(5,8),(6,8),(7,8)],9)
=> 1 = 0 + 1
[1,2,3,4,5] => [1,2,3,4,5] => ([(0,4),(2,3),(3,1),(4,2)],5)
=> ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
=> 1 = 0 + 1
[1,2,3,5,4] => [1,2,3,4,5] => ([(0,4),(2,3),(3,1),(4,2)],5)
=> ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
=> 1 = 0 + 1
[1,2,4,3,5] => [1,2,3,4,5] => ([(0,4),(2,3),(3,1),(4,2)],5)
=> ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
=> 1 = 0 + 1
[1,2,4,5,3] => [1,2,3,4,5] => ([(0,4),(2,3),(3,1),(4,2)],5)
=> ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
=> 1 = 0 + 1
[1,3,2,4,5] => [1,2,3,4,5] => ([(0,4),(2,3),(3,1),(4,2)],5)
=> ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
=> 1 = 0 + 1
[1,3,2,5,4] => [1,2,3,4,5] => ([(0,4),(2,3),(3,1),(4,2)],5)
=> ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
=> 1 = 0 + 1
[1,3,4,2,5] => [1,2,3,4,5] => ([(0,4),(2,3),(3,1),(4,2)],5)
=> ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
=> 1 = 0 + 1
[1,3,4,5,2] => [1,2,3,4,5] => ([(0,4),(2,3),(3,1),(4,2)],5)
=> ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
=> 1 = 0 + 1
[1,4,2,5,3] => [1,2,4,5,3] => ([(0,4),(3,2),(4,1),(4,3)],5)
=> ([(0,4),(1,7),(2,6),(3,1),(3,6),(4,5),(5,2),(5,3),(6,7)],8)
=> 1 = 0 + 1
[1,4,3,5,2] => [1,2,4,5,3] => ([(0,4),(3,2),(4,1),(4,3)],5)
=> ([(0,4),(1,7),(2,6),(3,1),(3,6),(4,5),(5,2),(5,3),(6,7)],8)
=> 1 = 0 + 1
[1,5,2,3,4] => [1,2,5,4,3] => ([(0,4),(4,1),(4,2),(4,3)],5)
=> ([(0,4),(1,7),(1,8),(2,6),(2,8),(3,6),(3,7),(4,5),(5,1),(5,2),(5,3),(6,9),(7,9),(8,9)],10)
=> ? = 0 + 1
[1,5,3,2,4] => [1,2,5,4,3] => ([(0,4),(4,1),(4,2),(4,3)],5)
=> ([(0,4),(1,7),(1,8),(2,6),(2,8),(3,6),(3,7),(4,5),(5,1),(5,2),(5,3),(6,9),(7,9),(8,9)],10)
=> ? = 0 + 1
[2,1,3,4,5] => [1,2,3,4,5] => ([(0,4),(2,3),(3,1),(4,2)],5)
=> ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
=> 1 = 0 + 1
[2,1,3,5,4] => [1,2,3,4,5] => ([(0,4),(2,3),(3,1),(4,2)],5)
=> ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
=> 1 = 0 + 1
[2,1,4,3,5] => [1,2,3,4,5] => ([(0,4),(2,3),(3,1),(4,2)],5)
=> ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
=> 1 = 0 + 1
[2,1,4,5,3] => [1,2,3,4,5] => ([(0,4),(2,3),(3,1),(4,2)],5)
=> ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
=> 1 = 0 + 1
[2,3,1,4,5] => [1,2,3,4,5] => ([(0,4),(2,3),(3,1),(4,2)],5)
=> ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
=> 1 = 0 + 1
[2,3,1,5,4] => [1,2,3,4,5] => ([(0,4),(2,3),(3,1),(4,2)],5)
=> ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
=> 1 = 0 + 1
[2,3,4,1,5] => [1,2,3,4,5] => ([(0,4),(2,3),(3,1),(4,2)],5)
=> ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
=> 1 = 0 + 1
[2,3,4,5,1] => [1,2,3,4,5] => ([(0,4),(2,3),(3,1),(4,2)],5)
=> ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
=> 1 = 0 + 1
[2,4,1,5,3] => [1,2,4,5,3] => ([(0,4),(3,2),(4,1),(4,3)],5)
=> ([(0,4),(1,7),(2,6),(3,1),(3,6),(4,5),(5,2),(5,3),(6,7)],8)
=> 1 = 0 + 1
[2,4,3,5,1] => [1,2,4,5,3] => ([(0,4),(3,2),(4,1),(4,3)],5)
=> ([(0,4),(1,7),(2,6),(3,1),(3,6),(4,5),(5,2),(5,3),(6,7)],8)
=> 1 = 0 + 1
[2,5,1,3,4] => [1,2,5,4,3] => ([(0,4),(4,1),(4,2),(4,3)],5)
=> ([(0,4),(1,7),(1,8),(2,6),(2,8),(3,6),(3,7),(4,5),(5,1),(5,2),(5,3),(6,9),(7,9),(8,9)],10)
=> ? = 0 + 1
[2,5,3,1,4] => [1,2,5,4,3] => ([(0,4),(4,1),(4,2),(4,3)],5)
=> ([(0,4),(1,7),(1,8),(2,6),(2,8),(3,6),(3,7),(4,5),(5,1),(5,2),(5,3),(6,9),(7,9),(8,9)],10)
=> ? = 0 + 1
[3,1,4,2,5] => [1,3,4,2,5] => ([(0,2),(0,3),(1,4),(2,4),(3,1)],5)
=> ([(0,5),(2,7),(3,6),(4,2),(4,6),(5,3),(5,4),(6,7),(7,1)],8)
=> 1 = 0 + 1
[3,1,5,2,4] => [1,3,5,4,2] => ([(0,3),(0,4),(4,1),(4,2)],5)
=> ([(0,5),(1,6),(2,7),(2,9),(3,7),(3,8),(4,2),(4,3),(4,6),(5,1),(5,4),(6,8),(6,9),(7,10),(8,10),(9,10)],11)
=> ? = 0 + 1
[3,2,4,1,5] => [1,3,4,2,5] => ([(0,2),(0,3),(1,4),(2,4),(3,1)],5)
=> ([(0,5),(2,7),(3,6),(4,2),(4,6),(5,3),(5,4),(6,7),(7,1)],8)
=> 1 = 0 + 1
[3,2,5,1,4] => [1,3,5,4,2] => ([(0,3),(0,4),(4,1),(4,2)],5)
=> ([(0,5),(1,6),(2,7),(2,9),(3,7),(3,8),(4,2),(4,3),(4,6),(5,1),(5,4),(6,8),(6,9),(7,10),(8,10),(9,10)],11)
=> ? = 0 + 1
[3,5,4,1,2] => [1,3,4,2,5] => ([(0,2),(0,3),(1,4),(2,4),(3,1)],5)
=> ([(0,5),(2,7),(3,6),(4,2),(4,6),(5,3),(5,4),(6,7),(7,1)],8)
=> 1 = 0 + 1
[3,5,4,2,1] => [1,3,4,2,5] => ([(0,2),(0,3),(1,4),(2,4),(3,1)],5)
=> ([(0,5),(2,7),(3,6),(4,2),(4,6),(5,3),(5,4),(6,7),(7,1)],8)
=> 1 = 0 + 1
[4,1,2,3,5] => [1,4,3,2,5] => ([(0,1),(0,2),(0,3),(1,4),(2,4),(3,4)],5)
=> ([(0,5),(2,7),(2,8),(3,6),(3,8),(4,6),(4,7),(5,2),(5,3),(5,4),(6,9),(7,9),(8,9),(9,1)],10)
=> ? = 0 + 1
[4,1,2,5,3] => [1,4,5,3,2] => ([(0,2),(0,3),(0,4),(4,1)],5)
=> ([(0,5),(1,9),(1,10),(2,6),(2,8),(3,6),(3,7),(4,1),(4,7),(4,8),(5,2),(5,3),(5,4),(6,12),(7,9),(7,12),(8,10),(8,12),(9,11),(10,11),(12,11)],13)
=> ? = 1 + 1
[4,1,5,3,2] => [1,4,3,5,2] => ([(0,1),(0,2),(0,3),(2,4),(3,4)],5)
=> ([(0,5),(1,8),(2,7),(2,9),(3,6),(3,9),(4,6),(4,7),(5,2),(5,3),(5,4),(6,10),(7,10),(9,1),(9,10),(10,8)],11)
=> ? = 0 + 1
[4,2,1,3,5] => [1,4,3,2,5] => ([(0,1),(0,2),(0,3),(1,4),(2,4),(3,4)],5)
=> ([(0,5),(2,7),(2,8),(3,6),(3,8),(4,6),(4,7),(5,2),(5,3),(5,4),(6,9),(7,9),(8,9),(9,1)],10)
=> ? = 0 + 1
[4,2,1,5,3] => [1,4,5,3,2] => ([(0,2),(0,3),(0,4),(4,1)],5)
=> ([(0,5),(1,9),(1,10),(2,6),(2,8),(3,6),(3,7),(4,1),(4,7),(4,8),(5,2),(5,3),(5,4),(6,12),(7,9),(7,12),(8,10),(8,12),(9,11),(10,11),(12,11)],13)
=> ? = 1 + 1
[4,2,5,3,1] => [1,4,3,5,2] => ([(0,1),(0,2),(0,3),(2,4),(3,4)],5)
=> ([(0,5),(1,8),(2,7),(2,9),(3,6),(3,9),(4,6),(4,7),(5,2),(5,3),(5,4),(6,10),(7,10),(9,1),(9,10),(10,8)],11)
=> ? = 0 + 1
[4,5,1,3,2] => [1,4,3,2,5] => ([(0,1),(0,2),(0,3),(1,4),(2,4),(3,4)],5)
=> ([(0,5),(2,7),(2,8),(3,6),(3,8),(4,6),(4,7),(5,2),(5,3),(5,4),(6,9),(7,9),(8,9),(9,1)],10)
=> ? = 0 + 1
[4,5,2,3,1] => [1,4,3,2,5] => ([(0,1),(0,2),(0,3),(1,4),(2,4),(3,4)],5)
=> ([(0,5),(2,7),(2,8),(3,6),(3,8),(4,6),(4,7),(5,2),(5,3),(5,4),(6,9),(7,9),(8,9),(9,1)],10)
=> ? = 0 + 1
[5,1,2,3,4] => [1,5,4,3,2] => ([(0,1),(0,2),(0,3),(0,4)],5)
=> ([(0,1),(1,2),(1,3),(1,4),(1,5),(2,9),(2,10),(2,11),(3,7),(3,8),(3,11),(4,6),(4,8),(4,10),(5,6),(5,7),(5,9),(6,12),(6,15),(7,12),(7,13),(8,12),(8,14),(9,13),(9,15),(10,14),(10,15),(11,13),(11,14),(12,16),(13,16),(14,16),(15,16)],17)
=> ? = 0 + 1
[5,2,1,3,4] => [1,5,4,3,2] => ([(0,1),(0,2),(0,3),(0,4)],5)
=> ([(0,1),(1,2),(1,3),(1,4),(1,5),(2,9),(2,10),(2,11),(3,7),(3,8),(3,11),(4,6),(4,8),(4,10),(5,6),(5,7),(5,9),(6,12),(6,15),(7,12),(7,13),(8,12),(8,14),(9,13),(9,15),(10,14),(10,15),(11,13),(11,14),(12,16),(13,16),(14,16),(15,16)],17)
=> ? = 0 + 1
[1,2,3,4,5,6] => [1,2,3,4,5,6] => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
=> ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
=> 1 = 0 + 1
[1,2,3,4,6,5] => [1,2,3,4,5,6] => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
=> ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
=> 1 = 0 + 1
[1,2,3,5,4,6] => [1,2,3,4,5,6] => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
=> ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
=> 1 = 0 + 1
[1,2,3,5,6,4] => [1,2,3,4,5,6] => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
=> ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
=> 1 = 0 + 1
[1,2,4,3,5,6] => [1,2,3,4,5,6] => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
=> ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
=> 1 = 0 + 1
[1,2,4,3,6,5] => [1,2,3,4,5,6] => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
=> ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
=> 1 = 0 + 1
[1,2,4,5,3,6] => [1,2,3,4,5,6] => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
=> ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
=> 1 = 0 + 1
[1,2,5,3,6,4] => [1,2,3,5,6,4] => ([(0,4),(3,2),(4,5),(5,1),(5,3)],6)
=> ([(0,5),(1,8),(2,7),(3,6),(4,1),(4,7),(5,3),(6,2),(6,4),(7,8)],9)
=> ? = 0 + 1
[1,2,5,4,6,3] => [1,2,3,5,6,4] => ([(0,4),(3,2),(4,5),(5,1),(5,3)],6)
=> ([(0,5),(1,8),(2,7),(3,6),(4,1),(4,7),(5,3),(6,2),(6,4),(7,8)],9)
=> ? = 0 + 1
[1,2,6,3,4,5] => [1,2,3,6,5,4] => ([(0,4),(4,5),(5,1),(5,2),(5,3)],6)
=> ([(0,5),(1,8),(1,9),(2,7),(2,9),(3,7),(3,8),(4,6),(5,4),(6,1),(6,2),(6,3),(7,10),(8,10),(9,10)],11)
=> ? = 0 + 1
[1,2,6,4,3,5] => [1,2,3,6,5,4] => ([(0,4),(4,5),(5,1),(5,2),(5,3)],6)
=> ([(0,5),(1,8),(1,9),(2,7),(2,9),(3,7),(3,8),(4,6),(5,4),(6,1),(6,2),(6,3),(7,10),(8,10),(9,10)],11)
=> ? = 0 + 1
[1,3,5,2,6,4] => [1,2,3,5,6,4] => ([(0,4),(3,2),(4,5),(5,1),(5,3)],6)
=> ([(0,5),(1,8),(2,7),(3,6),(4,1),(4,7),(5,3),(6,2),(6,4),(7,8)],9)
=> ? = 0 + 1
[1,3,5,4,6,2] => [1,2,3,5,6,4] => ([(0,4),(3,2),(4,5),(5,1),(5,3)],6)
=> ([(0,5),(1,8),(2,7),(3,6),(4,1),(4,7),(5,3),(6,2),(6,4),(7,8)],9)
=> ? = 0 + 1
[1,3,6,2,4,5] => [1,2,3,6,5,4] => ([(0,4),(4,5),(5,1),(5,2),(5,3)],6)
=> ([(0,5),(1,8),(1,9),(2,7),(2,9),(3,7),(3,8),(4,6),(5,4),(6,1),(6,2),(6,3),(7,10),(8,10),(9,10)],11)
=> ? = 0 + 1
[1,3,6,4,2,5] => [1,2,3,6,5,4] => ([(0,4),(4,5),(5,1),(5,2),(5,3)],6)
=> ([(0,5),(1,8),(1,9),(2,7),(2,9),(3,7),(3,8),(4,6),(5,4),(6,1),(6,2),(6,3),(7,10),(8,10),(9,10)],11)
=> ? = 0 + 1
[1,4,2,6,3,5] => [1,2,4,6,5,3] => ([(0,5),(4,2),(4,3),(5,1),(5,4)],6)
=> ([(0,4),(1,8),(1,10),(2,8),(2,9),(3,7),(4,5),(5,3),(5,6),(6,1),(6,2),(6,7),(7,9),(7,10),(8,11),(9,11),(10,11)],12)
=> ? = 0 + 1
[1,4,3,6,2,5] => [1,2,4,6,5,3] => ([(0,5),(4,2),(4,3),(5,1),(5,4)],6)
=> ([(0,4),(1,8),(1,10),(2,8),(2,9),(3,7),(4,5),(5,3),(5,6),(6,1),(6,2),(6,7),(7,9),(7,10),(8,11),(9,11),(10,11)],12)
=> ? = 0 + 1
[1,5,2,3,4,6] => [1,2,5,4,3,6] => ([(0,4),(1,5),(2,5),(3,5),(4,1),(4,2),(4,3)],6)
=> ([(0,5),(2,8),(2,9),(3,7),(3,9),(4,7),(4,8),(5,6),(6,2),(6,3),(6,4),(7,10),(8,10),(9,10),(10,1)],11)
=> ? = 0 + 1
[1,5,2,3,6,4] => [1,2,5,6,4,3] => ([(0,5),(4,3),(5,1),(5,2),(5,4)],6)
=> ([(0,5),(1,10),(1,11),(2,7),(2,9),(3,7),(3,8),(4,1),(4,8),(4,9),(5,6),(6,2),(6,3),(6,4),(7,13),(8,10),(8,13),(9,11),(9,13),(10,12),(11,12),(13,12)],14)
=> ? = 1 + 1
[1,5,2,6,4,3] => [1,2,5,4,6,3] => ([(0,4),(2,5),(3,5),(4,1),(4,2),(4,3)],6)
=> ([(0,5),(1,9),(2,8),(2,10),(3,7),(3,10),(4,7),(4,8),(5,6),(6,2),(6,3),(6,4),(7,11),(8,11),(10,1),(10,11),(11,9)],12)
=> ? = 0 + 1
[1,5,3,2,4,6] => [1,2,5,4,3,6] => ([(0,4),(1,5),(2,5),(3,5),(4,1),(4,2),(4,3)],6)
=> ([(0,5),(2,8),(2,9),(3,7),(3,9),(4,7),(4,8),(5,6),(6,2),(6,3),(6,4),(7,10),(8,10),(9,10),(10,1)],11)
=> ? = 0 + 1
[1,5,3,2,6,4] => [1,2,5,6,4,3] => ([(0,5),(4,3),(5,1),(5,2),(5,4)],6)
=> ([(0,5),(1,10),(1,11),(2,7),(2,9),(3,7),(3,8),(4,1),(4,8),(4,9),(5,6),(6,2),(6,3),(6,4),(7,13),(8,10),(8,13),(9,11),(9,13),(10,12),(11,12),(13,12)],14)
=> ? = 1 + 1
[1,5,3,6,4,2] => [1,2,5,4,6,3] => ([(0,4),(2,5),(3,5),(4,1),(4,2),(4,3)],6)
=> ([(0,5),(1,9),(2,8),(2,10),(3,7),(3,10),(4,7),(4,8),(5,6),(6,2),(6,3),(6,4),(7,11),(8,11),(10,1),(10,11),(11,9)],12)
=> ? = 0 + 1
[1,5,6,2,4,3] => [1,2,5,4,3,6] => ([(0,4),(1,5),(2,5),(3,5),(4,1),(4,2),(4,3)],6)
=> ([(0,5),(2,8),(2,9),(3,7),(3,9),(4,7),(4,8),(5,6),(6,2),(6,3),(6,4),(7,10),(8,10),(9,10),(10,1)],11)
=> ? = 0 + 1
[1,5,6,3,4,2] => [1,2,5,4,3,6] => ([(0,4),(1,5),(2,5),(3,5),(4,1),(4,2),(4,3)],6)
=> ([(0,5),(2,8),(2,9),(3,7),(3,9),(4,7),(4,8),(5,6),(6,2),(6,3),(6,4),(7,10),(8,10),(9,10),(10,1)],11)
=> ? = 0 + 1
[1,6,2,3,4,5] => [1,2,6,5,4,3] => ([(0,5),(5,1),(5,2),(5,3),(5,4)],6)
=> ([(0,5),(1,10),(1,11),(1,12),(2,8),(2,9),(2,12),(3,7),(3,9),(3,11),(4,7),(4,8),(4,10),(5,6),(6,1),(6,2),(6,3),(6,4),(7,13),(7,16),(8,13),(8,14),(9,13),(9,15),(10,14),(10,16),(11,15),(11,16),(12,14),(12,15),(13,17),(14,17),(15,17),(16,17)],18)
=> ? = 0 + 1
[1,6,3,2,4,5] => [1,2,6,5,4,3] => ([(0,5),(5,1),(5,2),(5,3),(5,4)],6)
=> ([(0,5),(1,10),(1,11),(1,12),(2,8),(2,9),(2,12),(3,7),(3,9),(3,11),(4,7),(4,8),(4,10),(5,6),(6,1),(6,2),(6,3),(6,4),(7,13),(7,16),(8,13),(8,14),(9,13),(9,15),(10,14),(10,16),(11,15),(11,16),(12,14),(12,15),(13,17),(14,17),(15,17),(16,17)],18)
=> ? = 0 + 1
[2,1,5,3,6,4] => [1,2,3,5,6,4] => ([(0,4),(3,2),(4,5),(5,1),(5,3)],6)
=> ([(0,5),(1,8),(2,7),(3,6),(4,1),(4,7),(5,3),(6,2),(6,4),(7,8)],9)
=> ? = 0 + 1
[2,1,5,4,6,3] => [1,2,3,5,6,4] => ([(0,4),(3,2),(4,5),(5,1),(5,3)],6)
=> ([(0,5),(1,8),(2,7),(3,6),(4,1),(4,7),(5,3),(6,2),(6,4),(7,8)],9)
=> ? = 0 + 1
[2,1,6,3,4,5] => [1,2,3,6,5,4] => ([(0,4),(4,5),(5,1),(5,2),(5,3)],6)
=> ([(0,5),(1,8),(1,9),(2,7),(2,9),(3,7),(3,8),(4,6),(5,4),(6,1),(6,2),(6,3),(7,10),(8,10),(9,10)],11)
=> ? = 0 + 1
[2,1,6,4,3,5] => [1,2,3,6,5,4] => ([(0,4),(4,5),(5,1),(5,2),(5,3)],6)
=> ([(0,5),(1,8),(1,9),(2,7),(2,9),(3,7),(3,8),(4,6),(5,4),(6,1),(6,2),(6,3),(7,10),(8,10),(9,10)],11)
=> ? = 0 + 1
[2,3,5,1,6,4] => [1,2,3,5,6,4] => ([(0,4),(3,2),(4,5),(5,1),(5,3)],6)
=> ([(0,5),(1,8),(2,7),(3,6),(4,1),(4,7),(5,3),(6,2),(6,4),(7,8)],9)
=> ? = 0 + 1
[2,3,5,4,6,1] => [1,2,3,5,6,4] => ([(0,4),(3,2),(4,5),(5,1),(5,3)],6)
=> ([(0,5),(1,8),(2,7),(3,6),(4,1),(4,7),(5,3),(6,2),(6,4),(7,8)],9)
=> ? = 0 + 1
[2,3,6,1,4,5] => [1,2,3,6,5,4] => ([(0,4),(4,5),(5,1),(5,2),(5,3)],6)
=> ([(0,5),(1,8),(1,9),(2,7),(2,9),(3,7),(3,8),(4,6),(5,4),(6,1),(6,2),(6,3),(7,10),(8,10),(9,10)],11)
=> ? = 0 + 1
[2,3,6,4,1,5] => [1,2,3,6,5,4] => ([(0,4),(4,5),(5,1),(5,2),(5,3)],6)
=> ([(0,5),(1,8),(1,9),(2,7),(2,9),(3,7),(3,8),(4,6),(5,4),(6,1),(6,2),(6,3),(7,10),(8,10),(9,10)],11)
=> ? = 0 + 1
[2,4,1,6,3,5] => [1,2,4,6,5,3] => ([(0,5),(4,2),(4,3),(5,1),(5,4)],6)
=> ([(0,4),(1,8),(1,10),(2,8),(2,9),(3,7),(4,5),(5,3),(5,6),(6,1),(6,2),(6,7),(7,9),(7,10),(8,11),(9,11),(10,11)],12)
=> ? = 0 + 1
[2,4,3,6,1,5] => [1,2,4,6,5,3] => ([(0,5),(4,2),(4,3),(5,1),(5,4)],6)
=> ([(0,4),(1,8),(1,10),(2,8),(2,9),(3,7),(4,5),(5,3),(5,6),(6,1),(6,2),(6,7),(7,9),(7,10),(8,11),(9,11),(10,11)],12)
=> ? = 0 + 1
[2,5,1,3,4,6] => [1,2,5,4,3,6] => ([(0,4),(1,5),(2,5),(3,5),(4,1),(4,2),(4,3)],6)
=> ([(0,5),(2,8),(2,9),(3,7),(3,9),(4,7),(4,8),(5,6),(6,2),(6,3),(6,4),(7,10),(8,10),(9,10),(10,1)],11)
=> ? = 0 + 1
[2,5,1,3,6,4] => [1,2,5,6,4,3] => ([(0,5),(4,3),(5,1),(5,2),(5,4)],6)
=> ([(0,5),(1,10),(1,11),(2,7),(2,9),(3,7),(3,8),(4,1),(4,8),(4,9),(5,6),(6,2),(6,3),(6,4),(7,13),(8,10),(8,13),(9,11),(9,13),(10,12),(11,12),(13,12)],14)
=> ? = 1 + 1
[2,5,1,6,4,3] => [1,2,5,4,6,3] => ([(0,4),(2,5),(3,5),(4,1),(4,2),(4,3)],6)
=> ([(0,5),(1,9),(2,8),(2,10),(3,7),(3,10),(4,7),(4,8),(5,6),(6,2),(6,3),(6,4),(7,11),(8,11),(10,1),(10,11),(11,9)],12)
=> ? = 0 + 1
[2,5,3,1,4,6] => [1,2,5,4,3,6] => ([(0,4),(1,5),(2,5),(3,5),(4,1),(4,2),(4,3)],6)
=> ([(0,5),(2,8),(2,9),(3,7),(3,9),(4,7),(4,8),(5,6),(6,2),(6,3),(6,4),(7,10),(8,10),(9,10),(10,1)],11)
=> ? = 0 + 1
Description
The binary logarithm of the size of the center of a lattice.
An element of a lattice is central if it is neutral and has a complement. The subposet induced by central elements is a Boolean lattice.
Matching statistic: St001681
(load all 7 compositions to match this statistic)
(load all 7 compositions to match this statistic)
Mp00090: Permutations —cycle-as-one-line notation⟶ Permutations
Mp00065: Permutations —permutation poset⟶ Posets
Mp00195: Posets —order ideals⟶ Lattices
St001681: Lattices ⟶ ℤResult quality: 42% ●values known / values provided: 42%●distinct values known / distinct values provided: 50%
Mp00065: Permutations —permutation poset⟶ Posets
Mp00195: Posets —order ideals⟶ Lattices
St001681: Lattices ⟶ ℤResult quality: 42% ●values known / values provided: 42%●distinct values known / distinct values provided: 50%
Values
[1] => [1] => ([],1)
=> ([(0,1)],2)
=> 1 = 0 + 1
[1,2] => [1,2] => ([(0,1)],2)
=> ([(0,2),(2,1)],3)
=> 1 = 0 + 1
[2,1] => [1,2] => ([(0,1)],2)
=> ([(0,2),(2,1)],3)
=> 1 = 0 + 1
[1,2,3] => [1,2,3] => ([(0,2),(2,1)],3)
=> ([(0,3),(2,1),(3,2)],4)
=> 1 = 0 + 1
[1,3,2] => [1,2,3] => ([(0,2),(2,1)],3)
=> ([(0,3),(2,1),(3,2)],4)
=> 1 = 0 + 1
[2,1,3] => [1,2,3] => ([(0,2),(2,1)],3)
=> ([(0,3),(2,1),(3,2)],4)
=> 1 = 0 + 1
[2,3,1] => [1,2,3] => ([(0,2),(2,1)],3)
=> ([(0,3),(2,1),(3,2)],4)
=> 1 = 0 + 1
[1,2,3,4] => [1,2,3,4] => ([(0,3),(2,1),(3,2)],4)
=> ([(0,4),(2,3),(3,1),(4,2)],5)
=> 1 = 0 + 1
[1,2,4,3] => [1,2,3,4] => ([(0,3),(2,1),(3,2)],4)
=> ([(0,4),(2,3),(3,1),(4,2)],5)
=> 1 = 0 + 1
[1,3,2,4] => [1,2,3,4] => ([(0,3),(2,1),(3,2)],4)
=> ([(0,4),(2,3),(3,1),(4,2)],5)
=> 1 = 0 + 1
[1,3,4,2] => [1,2,3,4] => ([(0,3),(2,1),(3,2)],4)
=> ([(0,4),(2,3),(3,1),(4,2)],5)
=> 1 = 0 + 1
[2,1,3,4] => [1,2,3,4] => ([(0,3),(2,1),(3,2)],4)
=> ([(0,4),(2,3),(3,1),(4,2)],5)
=> 1 = 0 + 1
[2,1,4,3] => [1,2,3,4] => ([(0,3),(2,1),(3,2)],4)
=> ([(0,4),(2,3),(3,1),(4,2)],5)
=> 1 = 0 + 1
[2,3,1,4] => [1,2,3,4] => ([(0,3),(2,1),(3,2)],4)
=> ([(0,4),(2,3),(3,1),(4,2)],5)
=> 1 = 0 + 1
[2,3,4,1] => [1,2,3,4] => ([(0,3),(2,1),(3,2)],4)
=> ([(0,4),(2,3),(3,1),(4,2)],5)
=> 1 = 0 + 1
[3,1,4,2] => [1,3,4,2] => ([(0,2),(0,3),(3,1)],4)
=> ([(0,4),(1,6),(2,5),(3,1),(3,5),(4,2),(4,3),(5,6)],7)
=> 1 = 0 + 1
[3,2,4,1] => [1,3,4,2] => ([(0,2),(0,3),(3,1)],4)
=> ([(0,4),(1,6),(2,5),(3,1),(3,5),(4,2),(4,3),(5,6)],7)
=> 1 = 0 + 1
[4,1,2,3] => [1,4,3,2] => ([(0,1),(0,2),(0,3)],4)
=> ([(0,4),(1,6),(1,7),(2,5),(2,7),(3,5),(3,6),(4,1),(4,2),(4,3),(5,8),(6,8),(7,8)],9)
=> 1 = 0 + 1
[4,2,1,3] => [1,4,3,2] => ([(0,1),(0,2),(0,3)],4)
=> ([(0,4),(1,6),(1,7),(2,5),(2,7),(3,5),(3,6),(4,1),(4,2),(4,3),(5,8),(6,8),(7,8)],9)
=> 1 = 0 + 1
[1,2,3,4,5] => [1,2,3,4,5] => ([(0,4),(2,3),(3,1),(4,2)],5)
=> ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
=> 1 = 0 + 1
[1,2,3,5,4] => [1,2,3,4,5] => ([(0,4),(2,3),(3,1),(4,2)],5)
=> ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
=> 1 = 0 + 1
[1,2,4,3,5] => [1,2,3,4,5] => ([(0,4),(2,3),(3,1),(4,2)],5)
=> ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
=> 1 = 0 + 1
[1,2,4,5,3] => [1,2,3,4,5] => ([(0,4),(2,3),(3,1),(4,2)],5)
=> ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
=> 1 = 0 + 1
[1,3,2,4,5] => [1,2,3,4,5] => ([(0,4),(2,3),(3,1),(4,2)],5)
=> ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
=> 1 = 0 + 1
[1,3,2,5,4] => [1,2,3,4,5] => ([(0,4),(2,3),(3,1),(4,2)],5)
=> ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
=> 1 = 0 + 1
[1,3,4,2,5] => [1,2,3,4,5] => ([(0,4),(2,3),(3,1),(4,2)],5)
=> ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
=> 1 = 0 + 1
[1,3,4,5,2] => [1,2,3,4,5] => ([(0,4),(2,3),(3,1),(4,2)],5)
=> ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
=> 1 = 0 + 1
[1,4,2,5,3] => [1,2,4,5,3] => ([(0,4),(3,2),(4,1),(4,3)],5)
=> ([(0,4),(1,7),(2,6),(3,1),(3,6),(4,5),(5,2),(5,3),(6,7)],8)
=> 1 = 0 + 1
[1,4,3,5,2] => [1,2,4,5,3] => ([(0,4),(3,2),(4,1),(4,3)],5)
=> ([(0,4),(1,7),(2,6),(3,1),(3,6),(4,5),(5,2),(5,3),(6,7)],8)
=> 1 = 0 + 1
[1,5,2,3,4] => [1,2,5,4,3] => ([(0,4),(4,1),(4,2),(4,3)],5)
=> ([(0,4),(1,7),(1,8),(2,6),(2,8),(3,6),(3,7),(4,5),(5,1),(5,2),(5,3),(6,9),(7,9),(8,9)],10)
=> ? = 0 + 1
[1,5,3,2,4] => [1,2,5,4,3] => ([(0,4),(4,1),(4,2),(4,3)],5)
=> ([(0,4),(1,7),(1,8),(2,6),(2,8),(3,6),(3,7),(4,5),(5,1),(5,2),(5,3),(6,9),(7,9),(8,9)],10)
=> ? = 0 + 1
[2,1,3,4,5] => [1,2,3,4,5] => ([(0,4),(2,3),(3,1),(4,2)],5)
=> ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
=> 1 = 0 + 1
[2,1,3,5,4] => [1,2,3,4,5] => ([(0,4),(2,3),(3,1),(4,2)],5)
=> ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
=> 1 = 0 + 1
[2,1,4,3,5] => [1,2,3,4,5] => ([(0,4),(2,3),(3,1),(4,2)],5)
=> ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
=> 1 = 0 + 1
[2,1,4,5,3] => [1,2,3,4,5] => ([(0,4),(2,3),(3,1),(4,2)],5)
=> ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
=> 1 = 0 + 1
[2,3,1,4,5] => [1,2,3,4,5] => ([(0,4),(2,3),(3,1),(4,2)],5)
=> ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
=> 1 = 0 + 1
[2,3,1,5,4] => [1,2,3,4,5] => ([(0,4),(2,3),(3,1),(4,2)],5)
=> ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
=> 1 = 0 + 1
[2,3,4,1,5] => [1,2,3,4,5] => ([(0,4),(2,3),(3,1),(4,2)],5)
=> ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
=> 1 = 0 + 1
[2,3,4,5,1] => [1,2,3,4,5] => ([(0,4),(2,3),(3,1),(4,2)],5)
=> ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
=> 1 = 0 + 1
[2,4,1,5,3] => [1,2,4,5,3] => ([(0,4),(3,2),(4,1),(4,3)],5)
=> ([(0,4),(1,7),(2,6),(3,1),(3,6),(4,5),(5,2),(5,3),(6,7)],8)
=> 1 = 0 + 1
[2,4,3,5,1] => [1,2,4,5,3] => ([(0,4),(3,2),(4,1),(4,3)],5)
=> ([(0,4),(1,7),(2,6),(3,1),(3,6),(4,5),(5,2),(5,3),(6,7)],8)
=> 1 = 0 + 1
[2,5,1,3,4] => [1,2,5,4,3] => ([(0,4),(4,1),(4,2),(4,3)],5)
=> ([(0,4),(1,7),(1,8),(2,6),(2,8),(3,6),(3,7),(4,5),(5,1),(5,2),(5,3),(6,9),(7,9),(8,9)],10)
=> ? = 0 + 1
[2,5,3,1,4] => [1,2,5,4,3] => ([(0,4),(4,1),(4,2),(4,3)],5)
=> ([(0,4),(1,7),(1,8),(2,6),(2,8),(3,6),(3,7),(4,5),(5,1),(5,2),(5,3),(6,9),(7,9),(8,9)],10)
=> ? = 0 + 1
[3,1,4,2,5] => [1,3,4,2,5] => ([(0,2),(0,3),(1,4),(2,4),(3,1)],5)
=> ([(0,5),(2,7),(3,6),(4,2),(4,6),(5,3),(5,4),(6,7),(7,1)],8)
=> 1 = 0 + 1
[3,1,5,2,4] => [1,3,5,4,2] => ([(0,3),(0,4),(4,1),(4,2)],5)
=> ([(0,5),(1,6),(2,7),(2,9),(3,7),(3,8),(4,2),(4,3),(4,6),(5,1),(5,4),(6,8),(6,9),(7,10),(8,10),(9,10)],11)
=> ? = 0 + 1
[3,2,4,1,5] => [1,3,4,2,5] => ([(0,2),(0,3),(1,4),(2,4),(3,1)],5)
=> ([(0,5),(2,7),(3,6),(4,2),(4,6),(5,3),(5,4),(6,7),(7,1)],8)
=> 1 = 0 + 1
[3,2,5,1,4] => [1,3,5,4,2] => ([(0,3),(0,4),(4,1),(4,2)],5)
=> ([(0,5),(1,6),(2,7),(2,9),(3,7),(3,8),(4,2),(4,3),(4,6),(5,1),(5,4),(6,8),(6,9),(7,10),(8,10),(9,10)],11)
=> ? = 0 + 1
[3,5,4,1,2] => [1,3,4,2,5] => ([(0,2),(0,3),(1,4),(2,4),(3,1)],5)
=> ([(0,5),(2,7),(3,6),(4,2),(4,6),(5,3),(5,4),(6,7),(7,1)],8)
=> 1 = 0 + 1
[3,5,4,2,1] => [1,3,4,2,5] => ([(0,2),(0,3),(1,4),(2,4),(3,1)],5)
=> ([(0,5),(2,7),(3,6),(4,2),(4,6),(5,3),(5,4),(6,7),(7,1)],8)
=> 1 = 0 + 1
[4,1,2,3,5] => [1,4,3,2,5] => ([(0,1),(0,2),(0,3),(1,4),(2,4),(3,4)],5)
=> ([(0,5),(2,7),(2,8),(3,6),(3,8),(4,6),(4,7),(5,2),(5,3),(5,4),(6,9),(7,9),(8,9),(9,1)],10)
=> ? = 0 + 1
[4,1,2,5,3] => [1,4,5,3,2] => ([(0,2),(0,3),(0,4),(4,1)],5)
=> ([(0,5),(1,9),(1,10),(2,6),(2,8),(3,6),(3,7),(4,1),(4,7),(4,8),(5,2),(5,3),(5,4),(6,12),(7,9),(7,12),(8,10),(8,12),(9,11),(10,11),(12,11)],13)
=> ? = 1 + 1
[4,1,5,3,2] => [1,4,3,5,2] => ([(0,1),(0,2),(0,3),(2,4),(3,4)],5)
=> ([(0,5),(1,8),(2,7),(2,9),(3,6),(3,9),(4,6),(4,7),(5,2),(5,3),(5,4),(6,10),(7,10),(9,1),(9,10),(10,8)],11)
=> ? = 0 + 1
[4,2,1,3,5] => [1,4,3,2,5] => ([(0,1),(0,2),(0,3),(1,4),(2,4),(3,4)],5)
=> ([(0,5),(2,7),(2,8),(3,6),(3,8),(4,6),(4,7),(5,2),(5,3),(5,4),(6,9),(7,9),(8,9),(9,1)],10)
=> ? = 0 + 1
[4,2,1,5,3] => [1,4,5,3,2] => ([(0,2),(0,3),(0,4),(4,1)],5)
=> ([(0,5),(1,9),(1,10),(2,6),(2,8),(3,6),(3,7),(4,1),(4,7),(4,8),(5,2),(5,3),(5,4),(6,12),(7,9),(7,12),(8,10),(8,12),(9,11),(10,11),(12,11)],13)
=> ? = 1 + 1
[4,2,5,3,1] => [1,4,3,5,2] => ([(0,1),(0,2),(0,3),(2,4),(3,4)],5)
=> ([(0,5),(1,8),(2,7),(2,9),(3,6),(3,9),(4,6),(4,7),(5,2),(5,3),(5,4),(6,10),(7,10),(9,1),(9,10),(10,8)],11)
=> ? = 0 + 1
[4,5,1,3,2] => [1,4,3,2,5] => ([(0,1),(0,2),(0,3),(1,4),(2,4),(3,4)],5)
=> ([(0,5),(2,7),(2,8),(3,6),(3,8),(4,6),(4,7),(5,2),(5,3),(5,4),(6,9),(7,9),(8,9),(9,1)],10)
=> ? = 0 + 1
[4,5,2,3,1] => [1,4,3,2,5] => ([(0,1),(0,2),(0,3),(1,4),(2,4),(3,4)],5)
=> ([(0,5),(2,7),(2,8),(3,6),(3,8),(4,6),(4,7),(5,2),(5,3),(5,4),(6,9),(7,9),(8,9),(9,1)],10)
=> ? = 0 + 1
[5,1,2,3,4] => [1,5,4,3,2] => ([(0,1),(0,2),(0,3),(0,4)],5)
=> ([(0,1),(1,2),(1,3),(1,4),(1,5),(2,9),(2,10),(2,11),(3,7),(3,8),(3,11),(4,6),(4,8),(4,10),(5,6),(5,7),(5,9),(6,12),(6,15),(7,12),(7,13),(8,12),(8,14),(9,13),(9,15),(10,14),(10,15),(11,13),(11,14),(12,16),(13,16),(14,16),(15,16)],17)
=> ? = 0 + 1
[5,2,1,3,4] => [1,5,4,3,2] => ([(0,1),(0,2),(0,3),(0,4)],5)
=> ([(0,1),(1,2),(1,3),(1,4),(1,5),(2,9),(2,10),(2,11),(3,7),(3,8),(3,11),(4,6),(4,8),(4,10),(5,6),(5,7),(5,9),(6,12),(6,15),(7,12),(7,13),(8,12),(8,14),(9,13),(9,15),(10,14),(10,15),(11,13),(11,14),(12,16),(13,16),(14,16),(15,16)],17)
=> ? = 0 + 1
[1,2,3,4,5,6] => [1,2,3,4,5,6] => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
=> ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
=> 1 = 0 + 1
[1,2,3,4,6,5] => [1,2,3,4,5,6] => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
=> ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
=> 1 = 0 + 1
[1,2,3,5,4,6] => [1,2,3,4,5,6] => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
=> ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
=> 1 = 0 + 1
[1,2,3,5,6,4] => [1,2,3,4,5,6] => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
=> ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
=> 1 = 0 + 1
[1,2,4,3,5,6] => [1,2,3,4,5,6] => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
=> ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
=> 1 = 0 + 1
[1,2,4,3,6,5] => [1,2,3,4,5,6] => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
=> ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
=> 1 = 0 + 1
[1,2,4,5,3,6] => [1,2,3,4,5,6] => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
=> ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
=> 1 = 0 + 1
[1,2,5,3,6,4] => [1,2,3,5,6,4] => ([(0,4),(3,2),(4,5),(5,1),(5,3)],6)
=> ([(0,5),(1,8),(2,7),(3,6),(4,1),(4,7),(5,3),(6,2),(6,4),(7,8)],9)
=> ? = 0 + 1
[1,2,5,4,6,3] => [1,2,3,5,6,4] => ([(0,4),(3,2),(4,5),(5,1),(5,3)],6)
=> ([(0,5),(1,8),(2,7),(3,6),(4,1),(4,7),(5,3),(6,2),(6,4),(7,8)],9)
=> ? = 0 + 1
[1,2,6,3,4,5] => [1,2,3,6,5,4] => ([(0,4),(4,5),(5,1),(5,2),(5,3)],6)
=> ([(0,5),(1,8),(1,9),(2,7),(2,9),(3,7),(3,8),(4,6),(5,4),(6,1),(6,2),(6,3),(7,10),(8,10),(9,10)],11)
=> ? = 0 + 1
[1,2,6,4,3,5] => [1,2,3,6,5,4] => ([(0,4),(4,5),(5,1),(5,2),(5,3)],6)
=> ([(0,5),(1,8),(1,9),(2,7),(2,9),(3,7),(3,8),(4,6),(5,4),(6,1),(6,2),(6,3),(7,10),(8,10),(9,10)],11)
=> ? = 0 + 1
[1,3,5,2,6,4] => [1,2,3,5,6,4] => ([(0,4),(3,2),(4,5),(5,1),(5,3)],6)
=> ([(0,5),(1,8),(2,7),(3,6),(4,1),(4,7),(5,3),(6,2),(6,4),(7,8)],9)
=> ? = 0 + 1
[1,3,5,4,6,2] => [1,2,3,5,6,4] => ([(0,4),(3,2),(4,5),(5,1),(5,3)],6)
=> ([(0,5),(1,8),(2,7),(3,6),(4,1),(4,7),(5,3),(6,2),(6,4),(7,8)],9)
=> ? = 0 + 1
[1,3,6,2,4,5] => [1,2,3,6,5,4] => ([(0,4),(4,5),(5,1),(5,2),(5,3)],6)
=> ([(0,5),(1,8),(1,9),(2,7),(2,9),(3,7),(3,8),(4,6),(5,4),(6,1),(6,2),(6,3),(7,10),(8,10),(9,10)],11)
=> ? = 0 + 1
[1,3,6,4,2,5] => [1,2,3,6,5,4] => ([(0,4),(4,5),(5,1),(5,2),(5,3)],6)
=> ([(0,5),(1,8),(1,9),(2,7),(2,9),(3,7),(3,8),(4,6),(5,4),(6,1),(6,2),(6,3),(7,10),(8,10),(9,10)],11)
=> ? = 0 + 1
[1,4,2,6,3,5] => [1,2,4,6,5,3] => ([(0,5),(4,2),(4,3),(5,1),(5,4)],6)
=> ([(0,4),(1,8),(1,10),(2,8),(2,9),(3,7),(4,5),(5,3),(5,6),(6,1),(6,2),(6,7),(7,9),(7,10),(8,11),(9,11),(10,11)],12)
=> ? = 0 + 1
[1,4,3,6,2,5] => [1,2,4,6,5,3] => ([(0,5),(4,2),(4,3),(5,1),(5,4)],6)
=> ([(0,4),(1,8),(1,10),(2,8),(2,9),(3,7),(4,5),(5,3),(5,6),(6,1),(6,2),(6,7),(7,9),(7,10),(8,11),(9,11),(10,11)],12)
=> ? = 0 + 1
[1,5,2,3,4,6] => [1,2,5,4,3,6] => ([(0,4),(1,5),(2,5),(3,5),(4,1),(4,2),(4,3)],6)
=> ([(0,5),(2,8),(2,9),(3,7),(3,9),(4,7),(4,8),(5,6),(6,2),(6,3),(6,4),(7,10),(8,10),(9,10),(10,1)],11)
=> ? = 0 + 1
[1,5,2,3,6,4] => [1,2,5,6,4,3] => ([(0,5),(4,3),(5,1),(5,2),(5,4)],6)
=> ([(0,5),(1,10),(1,11),(2,7),(2,9),(3,7),(3,8),(4,1),(4,8),(4,9),(5,6),(6,2),(6,3),(6,4),(7,13),(8,10),(8,13),(9,11),(9,13),(10,12),(11,12),(13,12)],14)
=> ? = 1 + 1
[1,5,2,6,4,3] => [1,2,5,4,6,3] => ([(0,4),(2,5),(3,5),(4,1),(4,2),(4,3)],6)
=> ([(0,5),(1,9),(2,8),(2,10),(3,7),(3,10),(4,7),(4,8),(5,6),(6,2),(6,3),(6,4),(7,11),(8,11),(10,1),(10,11),(11,9)],12)
=> ? = 0 + 1
[1,5,3,2,4,6] => [1,2,5,4,3,6] => ([(0,4),(1,5),(2,5),(3,5),(4,1),(4,2),(4,3)],6)
=> ([(0,5),(2,8),(2,9),(3,7),(3,9),(4,7),(4,8),(5,6),(6,2),(6,3),(6,4),(7,10),(8,10),(9,10),(10,1)],11)
=> ? = 0 + 1
[1,5,3,2,6,4] => [1,2,5,6,4,3] => ([(0,5),(4,3),(5,1),(5,2),(5,4)],6)
=> ([(0,5),(1,10),(1,11),(2,7),(2,9),(3,7),(3,8),(4,1),(4,8),(4,9),(5,6),(6,2),(6,3),(6,4),(7,13),(8,10),(8,13),(9,11),(9,13),(10,12),(11,12),(13,12)],14)
=> ? = 1 + 1
[1,5,3,6,4,2] => [1,2,5,4,6,3] => ([(0,4),(2,5),(3,5),(4,1),(4,2),(4,3)],6)
=> ([(0,5),(1,9),(2,8),(2,10),(3,7),(3,10),(4,7),(4,8),(5,6),(6,2),(6,3),(6,4),(7,11),(8,11),(10,1),(10,11),(11,9)],12)
=> ? = 0 + 1
[1,5,6,2,4,3] => [1,2,5,4,3,6] => ([(0,4),(1,5),(2,5),(3,5),(4,1),(4,2),(4,3)],6)
=> ([(0,5),(2,8),(2,9),(3,7),(3,9),(4,7),(4,8),(5,6),(6,2),(6,3),(6,4),(7,10),(8,10),(9,10),(10,1)],11)
=> ? = 0 + 1
[1,5,6,3,4,2] => [1,2,5,4,3,6] => ([(0,4),(1,5),(2,5),(3,5),(4,1),(4,2),(4,3)],6)
=> ([(0,5),(2,8),(2,9),(3,7),(3,9),(4,7),(4,8),(5,6),(6,2),(6,3),(6,4),(7,10),(8,10),(9,10),(10,1)],11)
=> ? = 0 + 1
[1,6,2,3,4,5] => [1,2,6,5,4,3] => ([(0,5),(5,1),(5,2),(5,3),(5,4)],6)
=> ([(0,5),(1,10),(1,11),(1,12),(2,8),(2,9),(2,12),(3,7),(3,9),(3,11),(4,7),(4,8),(4,10),(5,6),(6,1),(6,2),(6,3),(6,4),(7,13),(7,16),(8,13),(8,14),(9,13),(9,15),(10,14),(10,16),(11,15),(11,16),(12,14),(12,15),(13,17),(14,17),(15,17),(16,17)],18)
=> ? = 0 + 1
[1,6,3,2,4,5] => [1,2,6,5,4,3] => ([(0,5),(5,1),(5,2),(5,3),(5,4)],6)
=> ([(0,5),(1,10),(1,11),(1,12),(2,8),(2,9),(2,12),(3,7),(3,9),(3,11),(4,7),(4,8),(4,10),(5,6),(6,1),(6,2),(6,3),(6,4),(7,13),(7,16),(8,13),(8,14),(9,13),(9,15),(10,14),(10,16),(11,15),(11,16),(12,14),(12,15),(13,17),(14,17),(15,17),(16,17)],18)
=> ? = 0 + 1
[2,1,5,3,6,4] => [1,2,3,5,6,4] => ([(0,4),(3,2),(4,5),(5,1),(5,3)],6)
=> ([(0,5),(1,8),(2,7),(3,6),(4,1),(4,7),(5,3),(6,2),(6,4),(7,8)],9)
=> ? = 0 + 1
[2,1,5,4,6,3] => [1,2,3,5,6,4] => ([(0,4),(3,2),(4,5),(5,1),(5,3)],6)
=> ([(0,5),(1,8),(2,7),(3,6),(4,1),(4,7),(5,3),(6,2),(6,4),(7,8)],9)
=> ? = 0 + 1
[2,1,6,3,4,5] => [1,2,3,6,5,4] => ([(0,4),(4,5),(5,1),(5,2),(5,3)],6)
=> ([(0,5),(1,8),(1,9),(2,7),(2,9),(3,7),(3,8),(4,6),(5,4),(6,1),(6,2),(6,3),(7,10),(8,10),(9,10)],11)
=> ? = 0 + 1
[2,1,6,4,3,5] => [1,2,3,6,5,4] => ([(0,4),(4,5),(5,1),(5,2),(5,3)],6)
=> ([(0,5),(1,8),(1,9),(2,7),(2,9),(3,7),(3,8),(4,6),(5,4),(6,1),(6,2),(6,3),(7,10),(8,10),(9,10)],11)
=> ? = 0 + 1
[2,3,5,1,6,4] => [1,2,3,5,6,4] => ([(0,4),(3,2),(4,5),(5,1),(5,3)],6)
=> ([(0,5),(1,8),(2,7),(3,6),(4,1),(4,7),(5,3),(6,2),(6,4),(7,8)],9)
=> ? = 0 + 1
[2,3,5,4,6,1] => [1,2,3,5,6,4] => ([(0,4),(3,2),(4,5),(5,1),(5,3)],6)
=> ([(0,5),(1,8),(2,7),(3,6),(4,1),(4,7),(5,3),(6,2),(6,4),(7,8)],9)
=> ? = 0 + 1
[2,3,6,1,4,5] => [1,2,3,6,5,4] => ([(0,4),(4,5),(5,1),(5,2),(5,3)],6)
=> ([(0,5),(1,8),(1,9),(2,7),(2,9),(3,7),(3,8),(4,6),(5,4),(6,1),(6,2),(6,3),(7,10),(8,10),(9,10)],11)
=> ? = 0 + 1
[2,3,6,4,1,5] => [1,2,3,6,5,4] => ([(0,4),(4,5),(5,1),(5,2),(5,3)],6)
=> ([(0,5),(1,8),(1,9),(2,7),(2,9),(3,7),(3,8),(4,6),(5,4),(6,1),(6,2),(6,3),(7,10),(8,10),(9,10)],11)
=> ? = 0 + 1
[2,4,1,6,3,5] => [1,2,4,6,5,3] => ([(0,5),(4,2),(4,3),(5,1),(5,4)],6)
=> ([(0,4),(1,8),(1,10),(2,8),(2,9),(3,7),(4,5),(5,3),(5,6),(6,1),(6,2),(6,7),(7,9),(7,10),(8,11),(9,11),(10,11)],12)
=> ? = 0 + 1
[2,4,3,6,1,5] => [1,2,4,6,5,3] => ([(0,5),(4,2),(4,3),(5,1),(5,4)],6)
=> ([(0,4),(1,8),(1,10),(2,8),(2,9),(3,7),(4,5),(5,3),(5,6),(6,1),(6,2),(6,7),(7,9),(7,10),(8,11),(9,11),(10,11)],12)
=> ? = 0 + 1
[2,5,1,3,4,6] => [1,2,5,4,3,6] => ([(0,4),(1,5),(2,5),(3,5),(4,1),(4,2),(4,3)],6)
=> ([(0,5),(2,8),(2,9),(3,7),(3,9),(4,7),(4,8),(5,6),(6,2),(6,3),(6,4),(7,10),(8,10),(9,10),(10,1)],11)
=> ? = 0 + 1
[2,5,1,3,6,4] => [1,2,5,6,4,3] => ([(0,5),(4,3),(5,1),(5,2),(5,4)],6)
=> ([(0,5),(1,10),(1,11),(2,7),(2,9),(3,7),(3,8),(4,1),(4,8),(4,9),(5,6),(6,2),(6,3),(6,4),(7,13),(8,10),(8,13),(9,11),(9,13),(10,12),(11,12),(13,12)],14)
=> ? = 1 + 1
[2,5,1,6,4,3] => [1,2,5,4,6,3] => ([(0,4),(2,5),(3,5),(4,1),(4,2),(4,3)],6)
=> ([(0,5),(1,9),(2,8),(2,10),(3,7),(3,10),(4,7),(4,8),(5,6),(6,2),(6,3),(6,4),(7,11),(8,11),(10,1),(10,11),(11,9)],12)
=> ? = 0 + 1
[2,5,3,1,4,6] => [1,2,5,4,3,6] => ([(0,4),(1,5),(2,5),(3,5),(4,1),(4,2),(4,3)],6)
=> ([(0,5),(2,8),(2,9),(3,7),(3,9),(4,7),(4,8),(5,6),(6,2),(6,3),(6,4),(7,10),(8,10),(9,10),(10,1)],11)
=> ? = 0 + 1
Description
The number of inclusion-wise minimal subsets of a lattice, whose meet is the bottom element.
For example, the pentagon lattice has three such sets: the bottom element, and the two antichains of size two. The cube is the smallest lattice which has such sets of three different sizes: the bottom element, six antichains of size two and one antichain of size three.
Matching statistic: St001881
(load all 7 compositions to match this statistic)
(load all 7 compositions to match this statistic)
Mp00090: Permutations —cycle-as-one-line notation⟶ Permutations
Mp00065: Permutations —permutation poset⟶ Posets
Mp00195: Posets —order ideals⟶ Lattices
St001881: Lattices ⟶ ℤResult quality: 42% ●values known / values provided: 42%●distinct values known / distinct values provided: 50%
Mp00065: Permutations —permutation poset⟶ Posets
Mp00195: Posets —order ideals⟶ Lattices
St001881: Lattices ⟶ ℤResult quality: 42% ●values known / values provided: 42%●distinct values known / distinct values provided: 50%
Values
[1] => [1] => ([],1)
=> ([(0,1)],2)
=> 1 = 0 + 1
[1,2] => [1,2] => ([(0,1)],2)
=> ([(0,2),(2,1)],3)
=> 1 = 0 + 1
[2,1] => [1,2] => ([(0,1)],2)
=> ([(0,2),(2,1)],3)
=> 1 = 0 + 1
[1,2,3] => [1,2,3] => ([(0,2),(2,1)],3)
=> ([(0,3),(2,1),(3,2)],4)
=> 1 = 0 + 1
[1,3,2] => [1,2,3] => ([(0,2),(2,1)],3)
=> ([(0,3),(2,1),(3,2)],4)
=> 1 = 0 + 1
[2,1,3] => [1,2,3] => ([(0,2),(2,1)],3)
=> ([(0,3),(2,1),(3,2)],4)
=> 1 = 0 + 1
[2,3,1] => [1,2,3] => ([(0,2),(2,1)],3)
=> ([(0,3),(2,1),(3,2)],4)
=> 1 = 0 + 1
[1,2,3,4] => [1,2,3,4] => ([(0,3),(2,1),(3,2)],4)
=> ([(0,4),(2,3),(3,1),(4,2)],5)
=> 1 = 0 + 1
[1,2,4,3] => [1,2,3,4] => ([(0,3),(2,1),(3,2)],4)
=> ([(0,4),(2,3),(3,1),(4,2)],5)
=> 1 = 0 + 1
[1,3,2,4] => [1,2,3,4] => ([(0,3),(2,1),(3,2)],4)
=> ([(0,4),(2,3),(3,1),(4,2)],5)
=> 1 = 0 + 1
[1,3,4,2] => [1,2,3,4] => ([(0,3),(2,1),(3,2)],4)
=> ([(0,4),(2,3),(3,1),(4,2)],5)
=> 1 = 0 + 1
[2,1,3,4] => [1,2,3,4] => ([(0,3),(2,1),(3,2)],4)
=> ([(0,4),(2,3),(3,1),(4,2)],5)
=> 1 = 0 + 1
[2,1,4,3] => [1,2,3,4] => ([(0,3),(2,1),(3,2)],4)
=> ([(0,4),(2,3),(3,1),(4,2)],5)
=> 1 = 0 + 1
[2,3,1,4] => [1,2,3,4] => ([(0,3),(2,1),(3,2)],4)
=> ([(0,4),(2,3),(3,1),(4,2)],5)
=> 1 = 0 + 1
[2,3,4,1] => [1,2,3,4] => ([(0,3),(2,1),(3,2)],4)
=> ([(0,4),(2,3),(3,1),(4,2)],5)
=> 1 = 0 + 1
[3,1,4,2] => [1,3,4,2] => ([(0,2),(0,3),(3,1)],4)
=> ([(0,4),(1,6),(2,5),(3,1),(3,5),(4,2),(4,3),(5,6)],7)
=> 1 = 0 + 1
[3,2,4,1] => [1,3,4,2] => ([(0,2),(0,3),(3,1)],4)
=> ([(0,4),(1,6),(2,5),(3,1),(3,5),(4,2),(4,3),(5,6)],7)
=> 1 = 0 + 1
[4,1,2,3] => [1,4,3,2] => ([(0,1),(0,2),(0,3)],4)
=> ([(0,4),(1,6),(1,7),(2,5),(2,7),(3,5),(3,6),(4,1),(4,2),(4,3),(5,8),(6,8),(7,8)],9)
=> 1 = 0 + 1
[4,2,1,3] => [1,4,3,2] => ([(0,1),(0,2),(0,3)],4)
=> ([(0,4),(1,6),(1,7),(2,5),(2,7),(3,5),(3,6),(4,1),(4,2),(4,3),(5,8),(6,8),(7,8)],9)
=> 1 = 0 + 1
[1,2,3,4,5] => [1,2,3,4,5] => ([(0,4),(2,3),(3,1),(4,2)],5)
=> ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
=> 1 = 0 + 1
[1,2,3,5,4] => [1,2,3,4,5] => ([(0,4),(2,3),(3,1),(4,2)],5)
=> ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
=> 1 = 0 + 1
[1,2,4,3,5] => [1,2,3,4,5] => ([(0,4),(2,3),(3,1),(4,2)],5)
=> ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
=> 1 = 0 + 1
[1,2,4,5,3] => [1,2,3,4,5] => ([(0,4),(2,3),(3,1),(4,2)],5)
=> ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
=> 1 = 0 + 1
[1,3,2,4,5] => [1,2,3,4,5] => ([(0,4),(2,3),(3,1),(4,2)],5)
=> ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
=> 1 = 0 + 1
[1,3,2,5,4] => [1,2,3,4,5] => ([(0,4),(2,3),(3,1),(4,2)],5)
=> ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
=> 1 = 0 + 1
[1,3,4,2,5] => [1,2,3,4,5] => ([(0,4),(2,3),(3,1),(4,2)],5)
=> ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
=> 1 = 0 + 1
[1,3,4,5,2] => [1,2,3,4,5] => ([(0,4),(2,3),(3,1),(4,2)],5)
=> ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
=> 1 = 0 + 1
[1,4,2,5,3] => [1,2,4,5,3] => ([(0,4),(3,2),(4,1),(4,3)],5)
=> ([(0,4),(1,7),(2,6),(3,1),(3,6),(4,5),(5,2),(5,3),(6,7)],8)
=> 1 = 0 + 1
[1,4,3,5,2] => [1,2,4,5,3] => ([(0,4),(3,2),(4,1),(4,3)],5)
=> ([(0,4),(1,7),(2,6),(3,1),(3,6),(4,5),(5,2),(5,3),(6,7)],8)
=> 1 = 0 + 1
[1,5,2,3,4] => [1,2,5,4,3] => ([(0,4),(4,1),(4,2),(4,3)],5)
=> ([(0,4),(1,7),(1,8),(2,6),(2,8),(3,6),(3,7),(4,5),(5,1),(5,2),(5,3),(6,9),(7,9),(8,9)],10)
=> ? = 0 + 1
[1,5,3,2,4] => [1,2,5,4,3] => ([(0,4),(4,1),(4,2),(4,3)],5)
=> ([(0,4),(1,7),(1,8),(2,6),(2,8),(3,6),(3,7),(4,5),(5,1),(5,2),(5,3),(6,9),(7,9),(8,9)],10)
=> ? = 0 + 1
[2,1,3,4,5] => [1,2,3,4,5] => ([(0,4),(2,3),(3,1),(4,2)],5)
=> ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
=> 1 = 0 + 1
[2,1,3,5,4] => [1,2,3,4,5] => ([(0,4),(2,3),(3,1),(4,2)],5)
=> ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
=> 1 = 0 + 1
[2,1,4,3,5] => [1,2,3,4,5] => ([(0,4),(2,3),(3,1),(4,2)],5)
=> ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
=> 1 = 0 + 1
[2,1,4,5,3] => [1,2,3,4,5] => ([(0,4),(2,3),(3,1),(4,2)],5)
=> ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
=> 1 = 0 + 1
[2,3,1,4,5] => [1,2,3,4,5] => ([(0,4),(2,3),(3,1),(4,2)],5)
=> ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
=> 1 = 0 + 1
[2,3,1,5,4] => [1,2,3,4,5] => ([(0,4),(2,3),(3,1),(4,2)],5)
=> ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
=> 1 = 0 + 1
[2,3,4,1,5] => [1,2,3,4,5] => ([(0,4),(2,3),(3,1),(4,2)],5)
=> ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
=> 1 = 0 + 1
[2,3,4,5,1] => [1,2,3,4,5] => ([(0,4),(2,3),(3,1),(4,2)],5)
=> ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
=> 1 = 0 + 1
[2,4,1,5,3] => [1,2,4,5,3] => ([(0,4),(3,2),(4,1),(4,3)],5)
=> ([(0,4),(1,7),(2,6),(3,1),(3,6),(4,5),(5,2),(5,3),(6,7)],8)
=> 1 = 0 + 1
[2,4,3,5,1] => [1,2,4,5,3] => ([(0,4),(3,2),(4,1),(4,3)],5)
=> ([(0,4),(1,7),(2,6),(3,1),(3,6),(4,5),(5,2),(5,3),(6,7)],8)
=> 1 = 0 + 1
[2,5,1,3,4] => [1,2,5,4,3] => ([(0,4),(4,1),(4,2),(4,3)],5)
=> ([(0,4),(1,7),(1,8),(2,6),(2,8),(3,6),(3,7),(4,5),(5,1),(5,2),(5,3),(6,9),(7,9),(8,9)],10)
=> ? = 0 + 1
[2,5,3,1,4] => [1,2,5,4,3] => ([(0,4),(4,1),(4,2),(4,3)],5)
=> ([(0,4),(1,7),(1,8),(2,6),(2,8),(3,6),(3,7),(4,5),(5,1),(5,2),(5,3),(6,9),(7,9),(8,9)],10)
=> ? = 0 + 1
[3,1,4,2,5] => [1,3,4,2,5] => ([(0,2),(0,3),(1,4),(2,4),(3,1)],5)
=> ([(0,5),(2,7),(3,6),(4,2),(4,6),(5,3),(5,4),(6,7),(7,1)],8)
=> 1 = 0 + 1
[3,1,5,2,4] => [1,3,5,4,2] => ([(0,3),(0,4),(4,1),(4,2)],5)
=> ([(0,5),(1,6),(2,7),(2,9),(3,7),(3,8),(4,2),(4,3),(4,6),(5,1),(5,4),(6,8),(6,9),(7,10),(8,10),(9,10)],11)
=> ? = 0 + 1
[3,2,4,1,5] => [1,3,4,2,5] => ([(0,2),(0,3),(1,4),(2,4),(3,1)],5)
=> ([(0,5),(2,7),(3,6),(4,2),(4,6),(5,3),(5,4),(6,7),(7,1)],8)
=> 1 = 0 + 1
[3,2,5,1,4] => [1,3,5,4,2] => ([(0,3),(0,4),(4,1),(4,2)],5)
=> ([(0,5),(1,6),(2,7),(2,9),(3,7),(3,8),(4,2),(4,3),(4,6),(5,1),(5,4),(6,8),(6,9),(7,10),(8,10),(9,10)],11)
=> ? = 0 + 1
[3,5,4,1,2] => [1,3,4,2,5] => ([(0,2),(0,3),(1,4),(2,4),(3,1)],5)
=> ([(0,5),(2,7),(3,6),(4,2),(4,6),(5,3),(5,4),(6,7),(7,1)],8)
=> 1 = 0 + 1
[3,5,4,2,1] => [1,3,4,2,5] => ([(0,2),(0,3),(1,4),(2,4),(3,1)],5)
=> ([(0,5),(2,7),(3,6),(4,2),(4,6),(5,3),(5,4),(6,7),(7,1)],8)
=> 1 = 0 + 1
[4,1,2,3,5] => [1,4,3,2,5] => ([(0,1),(0,2),(0,3),(1,4),(2,4),(3,4)],5)
=> ([(0,5),(2,7),(2,8),(3,6),(3,8),(4,6),(4,7),(5,2),(5,3),(5,4),(6,9),(7,9),(8,9),(9,1)],10)
=> ? = 0 + 1
[4,1,2,5,3] => [1,4,5,3,2] => ([(0,2),(0,3),(0,4),(4,1)],5)
=> ([(0,5),(1,9),(1,10),(2,6),(2,8),(3,6),(3,7),(4,1),(4,7),(4,8),(5,2),(5,3),(5,4),(6,12),(7,9),(7,12),(8,10),(8,12),(9,11),(10,11),(12,11)],13)
=> ? = 1 + 1
[4,1,5,3,2] => [1,4,3,5,2] => ([(0,1),(0,2),(0,3),(2,4),(3,4)],5)
=> ([(0,5),(1,8),(2,7),(2,9),(3,6),(3,9),(4,6),(4,7),(5,2),(5,3),(5,4),(6,10),(7,10),(9,1),(9,10),(10,8)],11)
=> ? = 0 + 1
[4,2,1,3,5] => [1,4,3,2,5] => ([(0,1),(0,2),(0,3),(1,4),(2,4),(3,4)],5)
=> ([(0,5),(2,7),(2,8),(3,6),(3,8),(4,6),(4,7),(5,2),(5,3),(5,4),(6,9),(7,9),(8,9),(9,1)],10)
=> ? = 0 + 1
[4,2,1,5,3] => [1,4,5,3,2] => ([(0,2),(0,3),(0,4),(4,1)],5)
=> ([(0,5),(1,9),(1,10),(2,6),(2,8),(3,6),(3,7),(4,1),(4,7),(4,8),(5,2),(5,3),(5,4),(6,12),(7,9),(7,12),(8,10),(8,12),(9,11),(10,11),(12,11)],13)
=> ? = 1 + 1
[4,2,5,3,1] => [1,4,3,5,2] => ([(0,1),(0,2),(0,3),(2,4),(3,4)],5)
=> ([(0,5),(1,8),(2,7),(2,9),(3,6),(3,9),(4,6),(4,7),(5,2),(5,3),(5,4),(6,10),(7,10),(9,1),(9,10),(10,8)],11)
=> ? = 0 + 1
[4,5,1,3,2] => [1,4,3,2,5] => ([(0,1),(0,2),(0,3),(1,4),(2,4),(3,4)],5)
=> ([(0,5),(2,7),(2,8),(3,6),(3,8),(4,6),(4,7),(5,2),(5,3),(5,4),(6,9),(7,9),(8,9),(9,1)],10)
=> ? = 0 + 1
[4,5,2,3,1] => [1,4,3,2,5] => ([(0,1),(0,2),(0,3),(1,4),(2,4),(3,4)],5)
=> ([(0,5),(2,7),(2,8),(3,6),(3,8),(4,6),(4,7),(5,2),(5,3),(5,4),(6,9),(7,9),(8,9),(9,1)],10)
=> ? = 0 + 1
[5,1,2,3,4] => [1,5,4,3,2] => ([(0,1),(0,2),(0,3),(0,4)],5)
=> ([(0,1),(1,2),(1,3),(1,4),(1,5),(2,9),(2,10),(2,11),(3,7),(3,8),(3,11),(4,6),(4,8),(4,10),(5,6),(5,7),(5,9),(6,12),(6,15),(7,12),(7,13),(8,12),(8,14),(9,13),(9,15),(10,14),(10,15),(11,13),(11,14),(12,16),(13,16),(14,16),(15,16)],17)
=> ? = 0 + 1
[5,2,1,3,4] => [1,5,4,3,2] => ([(0,1),(0,2),(0,3),(0,4)],5)
=> ([(0,1),(1,2),(1,3),(1,4),(1,5),(2,9),(2,10),(2,11),(3,7),(3,8),(3,11),(4,6),(4,8),(4,10),(5,6),(5,7),(5,9),(6,12),(6,15),(7,12),(7,13),(8,12),(8,14),(9,13),(9,15),(10,14),(10,15),(11,13),(11,14),(12,16),(13,16),(14,16),(15,16)],17)
=> ? = 0 + 1
[1,2,3,4,5,6] => [1,2,3,4,5,6] => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
=> ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
=> 1 = 0 + 1
[1,2,3,4,6,5] => [1,2,3,4,5,6] => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
=> ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
=> 1 = 0 + 1
[1,2,3,5,4,6] => [1,2,3,4,5,6] => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
=> ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
=> 1 = 0 + 1
[1,2,3,5,6,4] => [1,2,3,4,5,6] => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
=> ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
=> 1 = 0 + 1
[1,2,4,3,5,6] => [1,2,3,4,5,6] => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
=> ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
=> 1 = 0 + 1
[1,2,4,3,6,5] => [1,2,3,4,5,6] => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
=> ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
=> 1 = 0 + 1
[1,2,4,5,3,6] => [1,2,3,4,5,6] => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
=> ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
=> 1 = 0 + 1
[1,2,5,3,6,4] => [1,2,3,5,6,4] => ([(0,4),(3,2),(4,5),(5,1),(5,3)],6)
=> ([(0,5),(1,8),(2,7),(3,6),(4,1),(4,7),(5,3),(6,2),(6,4),(7,8)],9)
=> ? = 0 + 1
[1,2,5,4,6,3] => [1,2,3,5,6,4] => ([(0,4),(3,2),(4,5),(5,1),(5,3)],6)
=> ([(0,5),(1,8),(2,7),(3,6),(4,1),(4,7),(5,3),(6,2),(6,4),(7,8)],9)
=> ? = 0 + 1
[1,2,6,3,4,5] => [1,2,3,6,5,4] => ([(0,4),(4,5),(5,1),(5,2),(5,3)],6)
=> ([(0,5),(1,8),(1,9),(2,7),(2,9),(3,7),(3,8),(4,6),(5,4),(6,1),(6,2),(6,3),(7,10),(8,10),(9,10)],11)
=> ? = 0 + 1
[1,2,6,4,3,5] => [1,2,3,6,5,4] => ([(0,4),(4,5),(5,1),(5,2),(5,3)],6)
=> ([(0,5),(1,8),(1,9),(2,7),(2,9),(3,7),(3,8),(4,6),(5,4),(6,1),(6,2),(6,3),(7,10),(8,10),(9,10)],11)
=> ? = 0 + 1
[1,3,5,2,6,4] => [1,2,3,5,6,4] => ([(0,4),(3,2),(4,5),(5,1),(5,3)],6)
=> ([(0,5),(1,8),(2,7),(3,6),(4,1),(4,7),(5,3),(6,2),(6,4),(7,8)],9)
=> ? = 0 + 1
[1,3,5,4,6,2] => [1,2,3,5,6,4] => ([(0,4),(3,2),(4,5),(5,1),(5,3)],6)
=> ([(0,5),(1,8),(2,7),(3,6),(4,1),(4,7),(5,3),(6,2),(6,4),(7,8)],9)
=> ? = 0 + 1
[1,3,6,2,4,5] => [1,2,3,6,5,4] => ([(0,4),(4,5),(5,1),(5,2),(5,3)],6)
=> ([(0,5),(1,8),(1,9),(2,7),(2,9),(3,7),(3,8),(4,6),(5,4),(6,1),(6,2),(6,3),(7,10),(8,10),(9,10)],11)
=> ? = 0 + 1
[1,3,6,4,2,5] => [1,2,3,6,5,4] => ([(0,4),(4,5),(5,1),(5,2),(5,3)],6)
=> ([(0,5),(1,8),(1,9),(2,7),(2,9),(3,7),(3,8),(4,6),(5,4),(6,1),(6,2),(6,3),(7,10),(8,10),(9,10)],11)
=> ? = 0 + 1
[1,4,2,6,3,5] => [1,2,4,6,5,3] => ([(0,5),(4,2),(4,3),(5,1),(5,4)],6)
=> ([(0,4),(1,8),(1,10),(2,8),(2,9),(3,7),(4,5),(5,3),(5,6),(6,1),(6,2),(6,7),(7,9),(7,10),(8,11),(9,11),(10,11)],12)
=> ? = 0 + 1
[1,4,3,6,2,5] => [1,2,4,6,5,3] => ([(0,5),(4,2),(4,3),(5,1),(5,4)],6)
=> ([(0,4),(1,8),(1,10),(2,8),(2,9),(3,7),(4,5),(5,3),(5,6),(6,1),(6,2),(6,7),(7,9),(7,10),(8,11),(9,11),(10,11)],12)
=> ? = 0 + 1
[1,5,2,3,4,6] => [1,2,5,4,3,6] => ([(0,4),(1,5),(2,5),(3,5),(4,1),(4,2),(4,3)],6)
=> ([(0,5),(2,8),(2,9),(3,7),(3,9),(4,7),(4,8),(5,6),(6,2),(6,3),(6,4),(7,10),(8,10),(9,10),(10,1)],11)
=> ? = 0 + 1
[1,5,2,3,6,4] => [1,2,5,6,4,3] => ([(0,5),(4,3),(5,1),(5,2),(5,4)],6)
=> ([(0,5),(1,10),(1,11),(2,7),(2,9),(3,7),(3,8),(4,1),(4,8),(4,9),(5,6),(6,2),(6,3),(6,4),(7,13),(8,10),(8,13),(9,11),(9,13),(10,12),(11,12),(13,12)],14)
=> ? = 1 + 1
[1,5,2,6,4,3] => [1,2,5,4,6,3] => ([(0,4),(2,5),(3,5),(4,1),(4,2),(4,3)],6)
=> ([(0,5),(1,9),(2,8),(2,10),(3,7),(3,10),(4,7),(4,8),(5,6),(6,2),(6,3),(6,4),(7,11),(8,11),(10,1),(10,11),(11,9)],12)
=> ? = 0 + 1
[1,5,3,2,4,6] => [1,2,5,4,3,6] => ([(0,4),(1,5),(2,5),(3,5),(4,1),(4,2),(4,3)],6)
=> ([(0,5),(2,8),(2,9),(3,7),(3,9),(4,7),(4,8),(5,6),(6,2),(6,3),(6,4),(7,10),(8,10),(9,10),(10,1)],11)
=> ? = 0 + 1
[1,5,3,2,6,4] => [1,2,5,6,4,3] => ([(0,5),(4,3),(5,1),(5,2),(5,4)],6)
=> ([(0,5),(1,10),(1,11),(2,7),(2,9),(3,7),(3,8),(4,1),(4,8),(4,9),(5,6),(6,2),(6,3),(6,4),(7,13),(8,10),(8,13),(9,11),(9,13),(10,12),(11,12),(13,12)],14)
=> ? = 1 + 1
[1,5,3,6,4,2] => [1,2,5,4,6,3] => ([(0,4),(2,5),(3,5),(4,1),(4,2),(4,3)],6)
=> ([(0,5),(1,9),(2,8),(2,10),(3,7),(3,10),(4,7),(4,8),(5,6),(6,2),(6,3),(6,4),(7,11),(8,11),(10,1),(10,11),(11,9)],12)
=> ? = 0 + 1
[1,5,6,2,4,3] => [1,2,5,4,3,6] => ([(0,4),(1,5),(2,5),(3,5),(4,1),(4,2),(4,3)],6)
=> ([(0,5),(2,8),(2,9),(3,7),(3,9),(4,7),(4,8),(5,6),(6,2),(6,3),(6,4),(7,10),(8,10),(9,10),(10,1)],11)
=> ? = 0 + 1
[1,5,6,3,4,2] => [1,2,5,4,3,6] => ([(0,4),(1,5),(2,5),(3,5),(4,1),(4,2),(4,3)],6)
=> ([(0,5),(2,8),(2,9),(3,7),(3,9),(4,7),(4,8),(5,6),(6,2),(6,3),(6,4),(7,10),(8,10),(9,10),(10,1)],11)
=> ? = 0 + 1
[1,6,2,3,4,5] => [1,2,6,5,4,3] => ([(0,5),(5,1),(5,2),(5,3),(5,4)],6)
=> ([(0,5),(1,10),(1,11),(1,12),(2,8),(2,9),(2,12),(3,7),(3,9),(3,11),(4,7),(4,8),(4,10),(5,6),(6,1),(6,2),(6,3),(6,4),(7,13),(7,16),(8,13),(8,14),(9,13),(9,15),(10,14),(10,16),(11,15),(11,16),(12,14),(12,15),(13,17),(14,17),(15,17),(16,17)],18)
=> ? = 0 + 1
[1,6,3,2,4,5] => [1,2,6,5,4,3] => ([(0,5),(5,1),(5,2),(5,3),(5,4)],6)
=> ([(0,5),(1,10),(1,11),(1,12),(2,8),(2,9),(2,12),(3,7),(3,9),(3,11),(4,7),(4,8),(4,10),(5,6),(6,1),(6,2),(6,3),(6,4),(7,13),(7,16),(8,13),(8,14),(9,13),(9,15),(10,14),(10,16),(11,15),(11,16),(12,14),(12,15),(13,17),(14,17),(15,17),(16,17)],18)
=> ? = 0 + 1
[2,1,5,3,6,4] => [1,2,3,5,6,4] => ([(0,4),(3,2),(4,5),(5,1),(5,3)],6)
=> ([(0,5),(1,8),(2,7),(3,6),(4,1),(4,7),(5,3),(6,2),(6,4),(7,8)],9)
=> ? = 0 + 1
[2,1,5,4,6,3] => [1,2,3,5,6,4] => ([(0,4),(3,2),(4,5),(5,1),(5,3)],6)
=> ([(0,5),(1,8),(2,7),(3,6),(4,1),(4,7),(5,3),(6,2),(6,4),(7,8)],9)
=> ? = 0 + 1
[2,1,6,3,4,5] => [1,2,3,6,5,4] => ([(0,4),(4,5),(5,1),(5,2),(5,3)],6)
=> ([(0,5),(1,8),(1,9),(2,7),(2,9),(3,7),(3,8),(4,6),(5,4),(6,1),(6,2),(6,3),(7,10),(8,10),(9,10)],11)
=> ? = 0 + 1
[2,1,6,4,3,5] => [1,2,3,6,5,4] => ([(0,4),(4,5),(5,1),(5,2),(5,3)],6)
=> ([(0,5),(1,8),(1,9),(2,7),(2,9),(3,7),(3,8),(4,6),(5,4),(6,1),(6,2),(6,3),(7,10),(8,10),(9,10)],11)
=> ? = 0 + 1
[2,3,5,1,6,4] => [1,2,3,5,6,4] => ([(0,4),(3,2),(4,5),(5,1),(5,3)],6)
=> ([(0,5),(1,8),(2,7),(3,6),(4,1),(4,7),(5,3),(6,2),(6,4),(7,8)],9)
=> ? = 0 + 1
[2,3,5,4,6,1] => [1,2,3,5,6,4] => ([(0,4),(3,2),(4,5),(5,1),(5,3)],6)
=> ([(0,5),(1,8),(2,7),(3,6),(4,1),(4,7),(5,3),(6,2),(6,4),(7,8)],9)
=> ? = 0 + 1
[2,3,6,1,4,5] => [1,2,3,6,5,4] => ([(0,4),(4,5),(5,1),(5,2),(5,3)],6)
=> ([(0,5),(1,8),(1,9),(2,7),(2,9),(3,7),(3,8),(4,6),(5,4),(6,1),(6,2),(6,3),(7,10),(8,10),(9,10)],11)
=> ? = 0 + 1
[2,3,6,4,1,5] => [1,2,3,6,5,4] => ([(0,4),(4,5),(5,1),(5,2),(5,3)],6)
=> ([(0,5),(1,8),(1,9),(2,7),(2,9),(3,7),(3,8),(4,6),(5,4),(6,1),(6,2),(6,3),(7,10),(8,10),(9,10)],11)
=> ? = 0 + 1
[2,4,1,6,3,5] => [1,2,4,6,5,3] => ([(0,5),(4,2),(4,3),(5,1),(5,4)],6)
=> ([(0,4),(1,8),(1,10),(2,8),(2,9),(3,7),(4,5),(5,3),(5,6),(6,1),(6,2),(6,7),(7,9),(7,10),(8,11),(9,11),(10,11)],12)
=> ? = 0 + 1
[2,4,3,6,1,5] => [1,2,4,6,5,3] => ([(0,5),(4,2),(4,3),(5,1),(5,4)],6)
=> ([(0,4),(1,8),(1,10),(2,8),(2,9),(3,7),(4,5),(5,3),(5,6),(6,1),(6,2),(6,7),(7,9),(7,10),(8,11),(9,11),(10,11)],12)
=> ? = 0 + 1
[2,5,1,3,4,6] => [1,2,5,4,3,6] => ([(0,4),(1,5),(2,5),(3,5),(4,1),(4,2),(4,3)],6)
=> ([(0,5),(2,8),(2,9),(3,7),(3,9),(4,7),(4,8),(5,6),(6,2),(6,3),(6,4),(7,10),(8,10),(9,10),(10,1)],11)
=> ? = 0 + 1
[2,5,1,3,6,4] => [1,2,5,6,4,3] => ([(0,5),(4,3),(5,1),(5,2),(5,4)],6)
=> ([(0,5),(1,10),(1,11),(2,7),(2,9),(3,7),(3,8),(4,1),(4,8),(4,9),(5,6),(6,2),(6,3),(6,4),(7,13),(8,10),(8,13),(9,11),(9,13),(10,12),(11,12),(13,12)],14)
=> ? = 1 + 1
[2,5,1,6,4,3] => [1,2,5,4,6,3] => ([(0,4),(2,5),(3,5),(4,1),(4,2),(4,3)],6)
=> ([(0,5),(1,9),(2,8),(2,10),(3,7),(3,10),(4,7),(4,8),(5,6),(6,2),(6,3),(6,4),(7,11),(8,11),(10,1),(10,11),(11,9)],12)
=> ? = 0 + 1
[2,5,3,1,4,6] => [1,2,5,4,3,6] => ([(0,4),(1,5),(2,5),(3,5),(4,1),(4,2),(4,3)],6)
=> ([(0,5),(2,8),(2,9),(3,7),(3,9),(4,7),(4,8),(5,6),(6,2),(6,3),(6,4),(7,10),(8,10),(9,10),(10,1)],11)
=> ? = 0 + 1
Description
The number of factors of a lattice as a Cartesian product of lattices.
Since the cardinality of a lattice is the product of the cardinalities of its factors, this statistic is one whenever the cardinality of the lattice is prime.
Matching statistic: St000068
(load all 206 compositions to match this statistic)
(load all 206 compositions to match this statistic)
Mp00090: Permutations —cycle-as-one-line notation⟶ Permutations
Mp00209: Permutations —pattern poset⟶ Posets
St000068: Posets ⟶ ℤResult quality: 40% ●values known / values provided: 40%●distinct values known / distinct values provided: 50%
Mp00209: Permutations —pattern poset⟶ Posets
St000068: Posets ⟶ ℤResult quality: 40% ●values known / values provided: 40%●distinct values known / distinct values provided: 50%
Values
[1] => [1] => ([],1)
=> 1 = 0 + 1
[1,2] => [1,2] => ([(0,1)],2)
=> 1 = 0 + 1
[2,1] => [1,2] => ([(0,1)],2)
=> 1 = 0 + 1
[1,2,3] => [1,2,3] => ([(0,2),(2,1)],3)
=> 1 = 0 + 1
[1,3,2] => [1,2,3] => ([(0,2),(2,1)],3)
=> 1 = 0 + 1
[2,1,3] => [1,2,3] => ([(0,2),(2,1)],3)
=> 1 = 0 + 1
[2,3,1] => [1,2,3] => ([(0,2),(2,1)],3)
=> 1 = 0 + 1
[1,2,3,4] => [1,2,3,4] => ([(0,3),(2,1),(3,2)],4)
=> 1 = 0 + 1
[1,2,4,3] => [1,2,3,4] => ([(0,3),(2,1),(3,2)],4)
=> 1 = 0 + 1
[1,3,2,4] => [1,2,3,4] => ([(0,3),(2,1),(3,2)],4)
=> 1 = 0 + 1
[1,3,4,2] => [1,2,3,4] => ([(0,3),(2,1),(3,2)],4)
=> 1 = 0 + 1
[2,1,3,4] => [1,2,3,4] => ([(0,3),(2,1),(3,2)],4)
=> 1 = 0 + 1
[2,1,4,3] => [1,2,3,4] => ([(0,3),(2,1),(3,2)],4)
=> 1 = 0 + 1
[2,3,1,4] => [1,2,3,4] => ([(0,3),(2,1),(3,2)],4)
=> 1 = 0 + 1
[2,3,4,1] => [1,2,3,4] => ([(0,3),(2,1),(3,2)],4)
=> 1 = 0 + 1
[3,1,4,2] => [1,3,4,2] => ([(0,1),(0,2),(0,3),(1,6),(2,4),(2,6),(3,4),(3,6),(4,5),(6,5)],7)
=> 1 = 0 + 1
[3,2,4,1] => [1,3,4,2] => ([(0,1),(0,2),(0,3),(1,6),(2,4),(2,6),(3,4),(3,6),(4,5),(6,5)],7)
=> 1 = 0 + 1
[4,1,2,3] => [1,4,3,2] => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
=> 1 = 0 + 1
[4,2,1,3] => [1,4,3,2] => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
=> 1 = 0 + 1
[1,2,3,4,5] => [1,2,3,4,5] => ([(0,4),(2,3),(3,1),(4,2)],5)
=> 1 = 0 + 1
[1,2,3,5,4] => [1,2,3,4,5] => ([(0,4),(2,3),(3,1),(4,2)],5)
=> 1 = 0 + 1
[1,2,4,3,5] => [1,2,3,4,5] => ([(0,4),(2,3),(3,1),(4,2)],5)
=> 1 = 0 + 1
[1,2,4,5,3] => [1,2,3,4,5] => ([(0,4),(2,3),(3,1),(4,2)],5)
=> 1 = 0 + 1
[1,3,2,4,5] => [1,2,3,4,5] => ([(0,4),(2,3),(3,1),(4,2)],5)
=> 1 = 0 + 1
[1,3,2,5,4] => [1,2,3,4,5] => ([(0,4),(2,3),(3,1),(4,2)],5)
=> 1 = 0 + 1
[1,3,4,2,5] => [1,2,3,4,5] => ([(0,4),(2,3),(3,1),(4,2)],5)
=> 1 = 0 + 1
[1,3,4,5,2] => [1,2,3,4,5] => ([(0,4),(2,3),(3,1),(4,2)],5)
=> 1 = 0 + 1
[1,4,2,5,3] => [1,2,4,5,3] => ([(0,2),(0,3),(0,4),(1,7),(1,9),(2,8),(3,5),(3,8),(4,1),(4,5),(4,8),(5,7),(5,9),(7,6),(8,9),(9,6)],10)
=> ? = 0 + 1
[1,4,3,5,2] => [1,2,4,5,3] => ([(0,2),(0,3),(0,4),(1,7),(1,9),(2,8),(3,5),(3,8),(4,1),(4,5),(4,8),(5,7),(5,9),(7,6),(8,9),(9,6)],10)
=> ? = 0 + 1
[1,5,2,3,4] => [1,2,5,4,3] => ([(0,3),(0,4),(1,7),(2,6),(3,2),(3,5),(4,1),(4,5),(5,6),(5,7),(6,8),(7,8)],9)
=> 1 = 0 + 1
[1,5,3,2,4] => [1,2,5,4,3] => ([(0,3),(0,4),(1,7),(2,6),(3,2),(3,5),(4,1),(4,5),(5,6),(5,7),(6,8),(7,8)],9)
=> 1 = 0 + 1
[2,1,3,4,5] => [1,2,3,4,5] => ([(0,4),(2,3),(3,1),(4,2)],5)
=> 1 = 0 + 1
[2,1,3,5,4] => [1,2,3,4,5] => ([(0,4),(2,3),(3,1),(4,2)],5)
=> 1 = 0 + 1
[2,1,4,3,5] => [1,2,3,4,5] => ([(0,4),(2,3),(3,1),(4,2)],5)
=> 1 = 0 + 1
[2,1,4,5,3] => [1,2,3,4,5] => ([(0,4),(2,3),(3,1),(4,2)],5)
=> 1 = 0 + 1
[2,3,1,4,5] => [1,2,3,4,5] => ([(0,4),(2,3),(3,1),(4,2)],5)
=> 1 = 0 + 1
[2,3,1,5,4] => [1,2,3,4,5] => ([(0,4),(2,3),(3,1),(4,2)],5)
=> 1 = 0 + 1
[2,3,4,1,5] => [1,2,3,4,5] => ([(0,4),(2,3),(3,1),(4,2)],5)
=> 1 = 0 + 1
[2,3,4,5,1] => [1,2,3,4,5] => ([(0,4),(2,3),(3,1),(4,2)],5)
=> 1 = 0 + 1
[2,4,1,5,3] => [1,2,4,5,3] => ([(0,2),(0,3),(0,4),(1,7),(1,9),(2,8),(3,5),(3,8),(4,1),(4,5),(4,8),(5,7),(5,9),(7,6),(8,9),(9,6)],10)
=> ? = 0 + 1
[2,4,3,5,1] => [1,2,4,5,3] => ([(0,2),(0,3),(0,4),(1,7),(1,9),(2,8),(3,5),(3,8),(4,1),(4,5),(4,8),(5,7),(5,9),(7,6),(8,9),(9,6)],10)
=> ? = 0 + 1
[2,5,1,3,4] => [1,2,5,4,3] => ([(0,3),(0,4),(1,7),(2,6),(3,2),(3,5),(4,1),(4,5),(5,6),(5,7),(6,8),(7,8)],9)
=> 1 = 0 + 1
[2,5,3,1,4] => [1,2,5,4,3] => ([(0,3),(0,4),(1,7),(2,6),(3,2),(3,5),(4,1),(4,5),(5,6),(5,7),(6,8),(7,8)],9)
=> 1 = 0 + 1
[3,1,4,2,5] => [1,3,4,2,5] => ([(0,1),(0,2),(0,3),(0,4),(1,10),(2,6),(2,7),(2,10),(3,5),(3,7),(3,10),(4,5),(4,6),(4,10),(5,9),(5,11),(6,9),(6,11),(7,9),(7,11),(9,8),(10,11),(11,8)],12)
=> ? = 0 + 1
[3,1,5,2,4] => [1,3,5,4,2] => ([(0,1),(0,2),(0,3),(0,4),(1,6),(1,11),(2,5),(2,11),(3,5),(3,7),(3,11),(4,6),(4,7),(4,11),(5,9),(6,10),(7,9),(7,10),(9,8),(10,8),(11,9),(11,10)],12)
=> ? = 0 + 1
[3,2,4,1,5] => [1,3,4,2,5] => ([(0,1),(0,2),(0,3),(0,4),(1,10),(2,6),(2,7),(2,10),(3,5),(3,7),(3,10),(4,5),(4,6),(4,10),(5,9),(5,11),(6,9),(6,11),(7,9),(7,11),(9,8),(10,11),(11,8)],12)
=> ? = 0 + 1
[3,2,5,1,4] => [1,3,5,4,2] => ([(0,1),(0,2),(0,3),(0,4),(1,6),(1,11),(2,5),(2,11),(3,5),(3,7),(3,11),(4,6),(4,7),(4,11),(5,9),(6,10),(7,9),(7,10),(9,8),(10,8),(11,9),(11,10)],12)
=> ? = 0 + 1
[3,5,4,1,2] => [1,3,4,2,5] => ([(0,1),(0,2),(0,3),(0,4),(1,10),(2,6),(2,7),(2,10),(3,5),(3,7),(3,10),(4,5),(4,6),(4,10),(5,9),(5,11),(6,9),(6,11),(7,9),(7,11),(9,8),(10,11),(11,8)],12)
=> ? = 0 + 1
[3,5,4,2,1] => [1,3,4,2,5] => ([(0,1),(0,2),(0,3),(0,4),(1,10),(2,6),(2,7),(2,10),(3,5),(3,7),(3,10),(4,5),(4,6),(4,10),(5,9),(5,11),(6,9),(6,11),(7,9),(7,11),(9,8),(10,11),(11,8)],12)
=> ? = 0 + 1
[4,1,2,3,5] => [1,4,3,2,5] => ([(0,2),(0,3),(0,4),(1,9),(2,5),(2,7),(3,5),(3,6),(4,1),(4,6),(4,7),(5,10),(6,9),(6,10),(7,9),(7,10),(9,8),(10,8)],11)
=> ? = 0 + 1
[4,1,2,5,3] => [1,4,5,3,2] => ([(0,2),(0,3),(0,4),(1,9),(2,5),(2,7),(3,5),(3,6),(4,1),(4,6),(4,7),(5,10),(6,9),(6,10),(7,9),(7,10),(9,8),(10,8)],11)
=> ? = 1 + 1
[4,1,5,3,2] => [1,4,3,5,2] => ([(0,1),(0,2),(0,3),(0,4),(1,5),(1,10),(2,8),(2,9),(2,10),(3,7),(3,9),(3,10),(4,5),(4,7),(4,8),(5,11),(7,11),(7,12),(8,11),(8,12),(9,12),(10,11),(10,12),(11,6),(12,6)],13)
=> ? = 0 + 1
[4,2,1,3,5] => [1,4,3,2,5] => ([(0,2),(0,3),(0,4),(1,9),(2,5),(2,7),(3,5),(3,6),(4,1),(4,6),(4,7),(5,10),(6,9),(6,10),(7,9),(7,10),(9,8),(10,8)],11)
=> ? = 0 + 1
[4,2,1,5,3] => [1,4,5,3,2] => ([(0,2),(0,3),(0,4),(1,9),(2,5),(2,7),(3,5),(3,6),(4,1),(4,6),(4,7),(5,10),(6,9),(6,10),(7,9),(7,10),(9,8),(10,8)],11)
=> ? = 1 + 1
[4,2,5,3,1] => [1,4,3,5,2] => ([(0,1),(0,2),(0,3),(0,4),(1,5),(1,10),(2,8),(2,9),(2,10),(3,7),(3,9),(3,10),(4,5),(4,7),(4,8),(5,11),(7,11),(7,12),(8,11),(8,12),(9,12),(10,11),(10,12),(11,6),(12,6)],13)
=> ? = 0 + 1
[4,5,1,3,2] => [1,4,3,2,5] => ([(0,2),(0,3),(0,4),(1,9),(2,5),(2,7),(3,5),(3,6),(4,1),(4,6),(4,7),(5,10),(6,9),(6,10),(7,9),(7,10),(9,8),(10,8)],11)
=> ? = 0 + 1
[4,5,2,3,1] => [1,4,3,2,5] => ([(0,2),(0,3),(0,4),(1,9),(2,5),(2,7),(3,5),(3,6),(4,1),(4,6),(4,7),(5,10),(6,9),(6,10),(7,9),(7,10),(9,8),(10,8)],11)
=> ? = 0 + 1
[5,1,2,3,4] => [1,5,4,3,2] => ([(0,2),(0,4),(1,6),(2,5),(3,1),(3,7),(4,3),(4,5),(5,7),(7,6)],8)
=> 1 = 0 + 1
[5,2,1,3,4] => [1,5,4,3,2] => ([(0,2),(0,4),(1,6),(2,5),(3,1),(3,7),(4,3),(4,5),(5,7),(7,6)],8)
=> 1 = 0 + 1
[1,2,3,4,5,6] => [1,2,3,4,5,6] => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
=> 1 = 0 + 1
[1,2,3,4,6,5] => [1,2,3,4,5,6] => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
=> 1 = 0 + 1
[1,2,3,5,4,6] => [1,2,3,4,5,6] => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
=> 1 = 0 + 1
[1,2,3,5,6,4] => [1,2,3,4,5,6] => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
=> 1 = 0 + 1
[1,2,4,3,5,6] => [1,2,3,4,5,6] => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
=> 1 = 0 + 1
[1,2,4,3,6,5] => [1,2,3,4,5,6] => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
=> 1 = 0 + 1
[1,2,4,5,3,6] => [1,2,3,4,5,6] => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
=> 1 = 0 + 1
[1,2,4,5,6,3] => [1,2,3,4,5,6] => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
=> 1 = 0 + 1
[1,2,5,3,6,4] => [1,2,3,5,6,4] => ([(0,2),(0,3),(0,5),(1,8),(1,12),(2,10),(3,6),(3,10),(4,1),(4,9),(4,11),(5,4),(5,6),(5,10),(6,9),(6,11),(8,7),(9,8),(9,12),(10,11),(11,12),(12,7)],13)
=> ? = 0 + 1
[1,2,5,4,6,3] => [1,2,3,5,6,4] => ([(0,2),(0,3),(0,5),(1,8),(1,12),(2,10),(3,6),(3,10),(4,1),(4,9),(4,11),(5,4),(5,6),(5,10),(6,9),(6,11),(8,7),(9,8),(9,12),(10,11),(11,12),(12,7)],13)
=> ? = 0 + 1
[1,2,6,3,4,5] => [1,2,3,6,5,4] => ([(0,4),(0,5),(1,9),(2,3),(2,11),(3,8),(4,1),(4,10),(5,2),(5,10),(7,6),(8,6),(9,7),(10,9),(10,11),(11,7),(11,8)],12)
=> 1 = 0 + 1
[1,3,5,2,6,4] => [1,2,3,5,6,4] => ([(0,2),(0,3),(0,5),(1,8),(1,12),(2,10),(3,6),(3,10),(4,1),(4,9),(4,11),(5,4),(5,6),(5,10),(6,9),(6,11),(8,7),(9,8),(9,12),(10,11),(11,12),(12,7)],13)
=> ? = 0 + 1
[1,3,5,4,6,2] => [1,2,3,5,6,4] => ([(0,2),(0,3),(0,5),(1,8),(1,12),(2,10),(3,6),(3,10),(4,1),(4,9),(4,11),(5,4),(5,6),(5,10),(6,9),(6,11),(8,7),(9,8),(9,12),(10,11),(11,12),(12,7)],13)
=> ? = 0 + 1
[1,4,2,5,3,6] => [1,2,4,5,3,6] => ([(0,1),(0,3),(0,4),(0,5),(1,14),(2,7),(2,8),(2,16),(3,9),(3,11),(3,14),(4,9),(4,10),(4,14),(5,2),(5,10),(5,11),(5,14),(7,13),(7,15),(8,13),(8,15),(9,12),(9,16),(10,7),(10,12),(10,16),(11,8),(11,12),(11,16),(12,13),(12,15),(13,6),(14,16),(15,6),(16,15)],17)
=> ? = 0 + 1
[1,4,2,6,3,5] => [1,2,4,6,5,3] => ([(0,1),(0,2),(0,4),(0,5),(1,9),(1,16),(2,10),(2,16),(3,6),(3,7),(3,15),(4,9),(4,11),(4,16),(5,3),(5,10),(5,11),(5,16),(6,13),(7,13),(7,14),(9,12),(10,6),(10,15),(11,7),(11,12),(11,15),(12,14),(13,8),(14,8),(15,13),(15,14),(16,12),(16,15)],17)
=> ? = 0 + 1
[1,4,3,5,2,6] => [1,2,4,5,3,6] => ([(0,1),(0,3),(0,4),(0,5),(1,14),(2,7),(2,8),(2,16),(3,9),(3,11),(3,14),(4,9),(4,10),(4,14),(5,2),(5,10),(5,11),(5,14),(7,13),(7,15),(8,13),(8,15),(9,12),(9,16),(10,7),(10,12),(10,16),(11,8),(11,12),(11,16),(12,13),(12,15),(13,6),(14,16),(15,6),(16,15)],17)
=> ? = 0 + 1
[1,4,3,6,2,5] => [1,2,4,6,5,3] => ([(0,1),(0,2),(0,4),(0,5),(1,9),(1,16),(2,10),(2,16),(3,6),(3,7),(3,15),(4,9),(4,11),(4,16),(5,3),(5,10),(5,11),(5,16),(6,13),(7,13),(7,14),(9,12),(10,6),(10,15),(11,7),(11,12),(11,15),(12,14),(13,8),(14,8),(15,13),(15,14),(16,12),(16,15)],17)
=> ? = 0 + 1
[1,4,6,5,2,3] => [1,2,4,5,3,6] => ([(0,1),(0,3),(0,4),(0,5),(1,14),(2,7),(2,8),(2,16),(3,9),(3,11),(3,14),(4,9),(4,10),(4,14),(5,2),(5,10),(5,11),(5,14),(7,13),(7,15),(8,13),(8,15),(9,12),(9,16),(10,7),(10,12),(10,16),(11,8),(11,12),(11,16),(12,13),(12,15),(13,6),(14,16),(15,6),(16,15)],17)
=> ? = 0 + 1
[1,4,6,5,3,2] => [1,2,4,5,3,6] => ([(0,1),(0,3),(0,4),(0,5),(1,14),(2,7),(2,8),(2,16),(3,9),(3,11),(3,14),(4,9),(4,10),(4,14),(5,2),(5,10),(5,11),(5,14),(7,13),(7,15),(8,13),(8,15),(9,12),(9,16),(10,7),(10,12),(10,16),(11,8),(11,12),(11,16),(12,13),(12,15),(13,6),(14,16),(15,6),(16,15)],17)
=> ? = 0 + 1
[1,5,2,3,4,6] => [1,2,5,4,3,6] => ([(0,3),(0,4),(0,5),(1,13),(2,6),(2,8),(3,9),(3,10),(4,2),(4,10),(4,11),(5,1),(5,9),(5,11),(6,14),(6,15),(8,14),(9,12),(9,13),(10,8),(10,12),(11,6),(11,12),(11,13),(12,14),(12,15),(13,15),(14,7),(15,7)],16)
=> ? = 0 + 1
[1,5,2,3,6,4] => [1,2,5,6,4,3] => ([(0,3),(0,4),(0,5),(1,13),(2,6),(2,8),(3,9),(3,10),(4,2),(4,10),(4,11),(5,1),(5,9),(5,11),(6,14),(6,15),(8,14),(9,12),(9,13),(10,8),(10,12),(11,6),(11,12),(11,13),(12,14),(12,15),(13,15),(14,7),(15,7)],16)
=> ? = 1 + 1
[1,5,2,6,4,3] => [1,2,5,4,6,3] => ([(0,1),(0,2),(0,3),(0,5),(1,11),(1,14),(2,10),(2,13),(2,14),(3,10),(3,12),(3,14),(4,7),(4,8),(4,9),(5,4),(5,11),(5,12),(5,13),(7,17),(8,17),(8,18),(9,17),(9,18),(10,15),(11,7),(11,16),(12,8),(12,15),(12,16),(13,9),(13,15),(13,16),(14,15),(14,16),(15,18),(16,17),(16,18),(17,6),(18,6)],19)
=> ? = 0 + 1
[1,5,3,2,4,6] => [1,2,5,4,3,6] => ([(0,3),(0,4),(0,5),(1,13),(2,6),(2,8),(3,9),(3,10),(4,2),(4,10),(4,11),(5,1),(5,9),(5,11),(6,14),(6,15),(8,14),(9,12),(9,13),(10,8),(10,12),(11,6),(11,12),(11,13),(12,14),(12,15),(13,15),(14,7),(15,7)],16)
=> ? = 0 + 1
[1,5,3,2,6,4] => [1,2,5,6,4,3] => ([(0,3),(0,4),(0,5),(1,13),(2,6),(2,8),(3,9),(3,10),(4,2),(4,10),(4,11),(5,1),(5,9),(5,11),(6,14),(6,15),(8,14),(9,12),(9,13),(10,8),(10,12),(11,6),(11,12),(11,13),(12,14),(12,15),(13,15),(14,7),(15,7)],16)
=> ? = 1 + 1
[1,5,3,6,4,2] => [1,2,5,4,6,3] => ([(0,1),(0,2),(0,3),(0,5),(1,11),(1,14),(2,10),(2,13),(2,14),(3,10),(3,12),(3,14),(4,7),(4,8),(4,9),(5,4),(5,11),(5,12),(5,13),(7,17),(8,17),(8,18),(9,17),(9,18),(10,15),(11,7),(11,16),(12,8),(12,15),(12,16),(13,9),(13,15),(13,16),(14,15),(14,16),(15,18),(16,17),(16,18),(17,6),(18,6)],19)
=> ? = 0 + 1
[1,5,6,2,4,3] => [1,2,5,4,3,6] => ([(0,3),(0,4),(0,5),(1,13),(2,6),(2,8),(3,9),(3,10),(4,2),(4,10),(4,11),(5,1),(5,9),(5,11),(6,14),(6,15),(8,14),(9,12),(9,13),(10,8),(10,12),(11,6),(11,12),(11,13),(12,14),(12,15),(13,15),(14,7),(15,7)],16)
=> ? = 0 + 1
[1,5,6,3,4,2] => [1,2,5,4,3,6] => ([(0,3),(0,4),(0,5),(1,13),(2,6),(2,8),(3,9),(3,10),(4,2),(4,10),(4,11),(5,1),(5,9),(5,11),(6,14),(6,15),(8,14),(9,12),(9,13),(10,8),(10,12),(11,6),(11,12),(11,13),(12,14),(12,15),(13,15),(14,7),(15,7)],16)
=> ? = 0 + 1
[2,1,5,3,6,4] => [1,2,3,5,6,4] => ([(0,2),(0,3),(0,5),(1,8),(1,12),(2,10),(3,6),(3,10),(4,1),(4,9),(4,11),(5,4),(5,6),(5,10),(6,9),(6,11),(8,7),(9,8),(9,12),(10,11),(11,12),(12,7)],13)
=> ? = 0 + 1
[2,1,5,4,6,3] => [1,2,3,5,6,4] => ([(0,2),(0,3),(0,5),(1,8),(1,12),(2,10),(3,6),(3,10),(4,1),(4,9),(4,11),(5,4),(5,6),(5,10),(6,9),(6,11),(8,7),(9,8),(9,12),(10,11),(11,12),(12,7)],13)
=> ? = 0 + 1
[2,3,5,1,6,4] => [1,2,3,5,6,4] => ([(0,2),(0,3),(0,5),(1,8),(1,12),(2,10),(3,6),(3,10),(4,1),(4,9),(4,11),(5,4),(5,6),(5,10),(6,9),(6,11),(8,7),(9,8),(9,12),(10,11),(11,12),(12,7)],13)
=> ? = 0 + 1
[2,3,5,4,6,1] => [1,2,3,5,6,4] => ([(0,2),(0,3),(0,5),(1,8),(1,12),(2,10),(3,6),(3,10),(4,1),(4,9),(4,11),(5,4),(5,6),(5,10),(6,9),(6,11),(8,7),(9,8),(9,12),(10,11),(11,12),(12,7)],13)
=> ? = 0 + 1
[2,4,1,5,3,6] => [1,2,4,5,3,6] => ([(0,1),(0,3),(0,4),(0,5),(1,14),(2,7),(2,8),(2,16),(3,9),(3,11),(3,14),(4,9),(4,10),(4,14),(5,2),(5,10),(5,11),(5,14),(7,13),(7,15),(8,13),(8,15),(9,12),(9,16),(10,7),(10,12),(10,16),(11,8),(11,12),(11,16),(12,13),(12,15),(13,6),(14,16),(15,6),(16,15)],17)
=> ? = 0 + 1
[2,4,1,6,3,5] => [1,2,4,6,5,3] => ([(0,1),(0,2),(0,4),(0,5),(1,9),(1,16),(2,10),(2,16),(3,6),(3,7),(3,15),(4,9),(4,11),(4,16),(5,3),(5,10),(5,11),(5,16),(6,13),(7,13),(7,14),(9,12),(10,6),(10,15),(11,7),(11,12),(11,15),(12,14),(13,8),(14,8),(15,13),(15,14),(16,12),(16,15)],17)
=> ? = 0 + 1
[2,4,3,5,1,6] => [1,2,4,5,3,6] => ([(0,1),(0,3),(0,4),(0,5),(1,14),(2,7),(2,8),(2,16),(3,9),(3,11),(3,14),(4,9),(4,10),(4,14),(5,2),(5,10),(5,11),(5,14),(7,13),(7,15),(8,13),(8,15),(9,12),(9,16),(10,7),(10,12),(10,16),(11,8),(11,12),(11,16),(12,13),(12,15),(13,6),(14,16),(15,6),(16,15)],17)
=> ? = 0 + 1
[2,4,3,6,1,5] => [1,2,4,6,5,3] => ([(0,1),(0,2),(0,4),(0,5),(1,9),(1,16),(2,10),(2,16),(3,6),(3,7),(3,15),(4,9),(4,11),(4,16),(5,3),(5,10),(5,11),(5,16),(6,13),(7,13),(7,14),(9,12),(10,6),(10,15),(11,7),(11,12),(11,15),(12,14),(13,8),(14,8),(15,13),(15,14),(16,12),(16,15)],17)
=> ? = 0 + 1
[2,4,6,5,1,3] => [1,2,4,5,3,6] => ([(0,1),(0,3),(0,4),(0,5),(1,14),(2,7),(2,8),(2,16),(3,9),(3,11),(3,14),(4,9),(4,10),(4,14),(5,2),(5,10),(5,11),(5,14),(7,13),(7,15),(8,13),(8,15),(9,12),(9,16),(10,7),(10,12),(10,16),(11,8),(11,12),(11,16),(12,13),(12,15),(13,6),(14,16),(15,6),(16,15)],17)
=> ? = 0 + 1
[2,4,6,5,3,1] => [1,2,4,5,3,6] => ([(0,1),(0,3),(0,4),(0,5),(1,14),(2,7),(2,8),(2,16),(3,9),(3,11),(3,14),(4,9),(4,10),(4,14),(5,2),(5,10),(5,11),(5,14),(7,13),(7,15),(8,13),(8,15),(9,12),(9,16),(10,7),(10,12),(10,16),(11,8),(11,12),(11,16),(12,13),(12,15),(13,6),(14,16),(15,6),(16,15)],17)
=> ? = 0 + 1
[2,5,1,3,4,6] => [1,2,5,4,3,6] => ([(0,3),(0,4),(0,5),(1,13),(2,6),(2,8),(3,9),(3,10),(4,2),(4,10),(4,11),(5,1),(5,9),(5,11),(6,14),(6,15),(8,14),(9,12),(9,13),(10,8),(10,12),(11,6),(11,12),(11,13),(12,14),(12,15),(13,15),(14,7),(15,7)],16)
=> ? = 0 + 1
[2,5,1,3,6,4] => [1,2,5,6,4,3] => ([(0,3),(0,4),(0,5),(1,13),(2,6),(2,8),(3,9),(3,10),(4,2),(4,10),(4,11),(5,1),(5,9),(5,11),(6,14),(6,15),(8,14),(9,12),(9,13),(10,8),(10,12),(11,6),(11,12),(11,13),(12,14),(12,15),(13,15),(14,7),(15,7)],16)
=> ? = 1 + 1
[2,5,1,6,4,3] => [1,2,5,4,6,3] => ([(0,1),(0,2),(0,3),(0,5),(1,11),(1,14),(2,10),(2,13),(2,14),(3,10),(3,12),(3,14),(4,7),(4,8),(4,9),(5,4),(5,11),(5,12),(5,13),(7,17),(8,17),(8,18),(9,17),(9,18),(10,15),(11,7),(11,16),(12,8),(12,15),(12,16),(13,9),(13,15),(13,16),(14,15),(14,16),(15,18),(16,17),(16,18),(17,6),(18,6)],19)
=> ? = 0 + 1
[2,5,3,1,4,6] => [1,2,5,4,3,6] => ([(0,3),(0,4),(0,5),(1,13),(2,6),(2,8),(3,9),(3,10),(4,2),(4,10),(4,11),(5,1),(5,9),(5,11),(6,14),(6,15),(8,14),(9,12),(9,13),(10,8),(10,12),(11,6),(11,12),(11,13),(12,14),(12,15),(13,15),(14,7),(15,7)],16)
=> ? = 0 + 1
Description
The number of minimal elements in a poset.
Matching statistic: St001301
(load all 224 compositions to match this statistic)
(load all 224 compositions to match this statistic)
Mp00127: Permutations —left-to-right-maxima to Dyck path⟶ Dyck paths
Mp00232: Dyck paths —parallelogram poset⟶ Posets
St001301: Posets ⟶ ℤResult quality: 39% ●values known / values provided: 39%●distinct values known / distinct values provided: 50%
Mp00232: Dyck paths —parallelogram poset⟶ Posets
St001301: Posets ⟶ ℤResult quality: 39% ●values known / values provided: 39%●distinct values known / distinct values provided: 50%
Values
[1] => [1,0]
=> ([],1)
=> 0
[1,2] => [1,0,1,0]
=> ([(0,1)],2)
=> 0
[2,1] => [1,1,0,0]
=> ([(0,1)],2)
=> 0
[1,2,3] => [1,0,1,0,1,0]
=> ([(0,2),(2,1)],3)
=> 0
[1,3,2] => [1,0,1,1,0,0]
=> ([(0,2),(2,1)],3)
=> 0
[2,1,3] => [1,1,0,0,1,0]
=> ([(0,2),(2,1)],3)
=> 0
[2,3,1] => [1,1,0,1,0,0]
=> ([(0,2),(2,1)],3)
=> 0
[1,2,3,4] => [1,0,1,0,1,0,1,0]
=> ([(0,3),(2,1),(3,2)],4)
=> 0
[1,2,4,3] => [1,0,1,0,1,1,0,0]
=> ([(0,3),(2,1),(3,2)],4)
=> 0
[1,3,2,4] => [1,0,1,1,0,0,1,0]
=> ([(0,3),(2,1),(3,2)],4)
=> 0
[1,3,4,2] => [1,0,1,1,0,1,0,0]
=> ([(0,3),(2,1),(3,2)],4)
=> 0
[2,1,3,4] => [1,1,0,0,1,0,1,0]
=> ([(0,3),(2,1),(3,2)],4)
=> 0
[2,1,4,3] => [1,1,0,0,1,1,0,0]
=> ([(0,3),(2,1),(3,2)],4)
=> 0
[2,3,1,4] => [1,1,0,1,0,0,1,0]
=> ([(0,3),(2,1),(3,2)],4)
=> 0
[2,3,4,1] => [1,1,0,1,0,1,0,0]
=> ([(0,3),(2,1),(3,2)],4)
=> 0
[3,1,4,2] => [1,1,1,0,0,1,0,0]
=> ([(0,2),(0,3),(2,4),(3,4),(4,1)],5)
=> 0
[3,2,4,1] => [1,1,1,0,0,1,0,0]
=> ([(0,2),(0,3),(2,4),(3,4),(4,1)],5)
=> 0
[4,1,2,3] => [1,1,1,1,0,0,0,0]
=> ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
=> 0
[4,2,1,3] => [1,1,1,1,0,0,0,0]
=> ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
=> 0
[1,2,3,4,5] => [1,0,1,0,1,0,1,0,1,0]
=> ([(0,4),(2,3),(3,1),(4,2)],5)
=> 0
[1,2,3,5,4] => [1,0,1,0,1,0,1,1,0,0]
=> ([(0,4),(2,3),(3,1),(4,2)],5)
=> 0
[1,2,4,3,5] => [1,0,1,0,1,1,0,0,1,0]
=> ([(0,4),(2,3),(3,1),(4,2)],5)
=> 0
[1,2,4,5,3] => [1,0,1,0,1,1,0,1,0,0]
=> ([(0,4),(2,3),(3,1),(4,2)],5)
=> 0
[1,3,2,4,5] => [1,0,1,1,0,0,1,0,1,0]
=> ([(0,4),(2,3),(3,1),(4,2)],5)
=> 0
[1,3,2,5,4] => [1,0,1,1,0,0,1,1,0,0]
=> ([(0,4),(2,3),(3,1),(4,2)],5)
=> 0
[1,3,4,2,5] => [1,0,1,1,0,1,0,0,1,0]
=> ([(0,4),(2,3),(3,1),(4,2)],5)
=> 0
[1,3,4,5,2] => [1,0,1,1,0,1,0,1,0,0]
=> ([(0,4),(2,3),(3,1),(4,2)],5)
=> 0
[1,4,2,5,3] => [1,0,1,1,1,0,0,1,0,0]
=> ([(0,4),(1,5),(2,5),(4,1),(4,2),(5,3)],6)
=> 0
[1,4,3,5,2] => [1,0,1,1,1,0,0,1,0,0]
=> ([(0,4),(1,5),(2,5),(4,1),(4,2),(5,3)],6)
=> 0
[1,5,2,3,4] => [1,0,1,1,1,1,0,0,0,0]
=> ([(0,4),(1,6),(2,5),(3,1),(3,5),(4,2),(4,3),(5,6)],7)
=> ? = 0
[1,5,3,2,4] => [1,0,1,1,1,1,0,0,0,0]
=> ([(0,4),(1,6),(2,5),(3,1),(3,5),(4,2),(4,3),(5,6)],7)
=> ? = 0
[2,1,3,4,5] => [1,1,0,0,1,0,1,0,1,0]
=> ([(0,4),(2,3),(3,1),(4,2)],5)
=> 0
[2,1,3,5,4] => [1,1,0,0,1,0,1,1,0,0]
=> ([(0,4),(2,3),(3,1),(4,2)],5)
=> 0
[2,1,4,3,5] => [1,1,0,0,1,1,0,0,1,0]
=> ([(0,4),(2,3),(3,1),(4,2)],5)
=> 0
[2,1,4,5,3] => [1,1,0,0,1,1,0,1,0,0]
=> ([(0,4),(2,3),(3,1),(4,2)],5)
=> 0
[2,3,1,4,5] => [1,1,0,1,0,0,1,0,1,0]
=> ([(0,4),(2,3),(3,1),(4,2)],5)
=> 0
[2,3,1,5,4] => [1,1,0,1,0,0,1,1,0,0]
=> ([(0,4),(2,3),(3,1),(4,2)],5)
=> 0
[2,3,4,1,5] => [1,1,0,1,0,1,0,0,1,0]
=> ([(0,4),(2,3),(3,1),(4,2)],5)
=> 0
[2,3,4,5,1] => [1,1,0,1,0,1,0,1,0,0]
=> ([(0,4),(2,3),(3,1),(4,2)],5)
=> 0
[2,4,1,5,3] => [1,1,0,1,1,0,0,1,0,0]
=> ([(0,4),(1,5),(2,5),(4,1),(4,2),(5,3)],6)
=> 0
[2,4,3,5,1] => [1,1,0,1,1,0,0,1,0,0]
=> ([(0,4),(1,5),(2,5),(4,1),(4,2),(5,3)],6)
=> 0
[2,5,1,3,4] => [1,1,0,1,1,1,0,0,0,0]
=> ([(0,4),(1,6),(2,5),(3,1),(3,5),(4,2),(4,3),(5,6)],7)
=> ? = 0
[2,5,3,1,4] => [1,1,0,1,1,1,0,0,0,0]
=> ([(0,4),(1,6),(2,5),(3,1),(3,5),(4,2),(4,3),(5,6)],7)
=> ? = 0
[3,1,4,2,5] => [1,1,1,0,0,1,0,0,1,0]
=> ([(0,2),(0,3),(2,5),(3,5),(4,1),(5,4)],6)
=> 0
[3,1,5,2,4] => [1,1,1,0,0,1,1,0,0,0]
=> ([(0,3),(0,4),(1,5),(2,5),(3,6),(4,6),(6,1),(6,2)],7)
=> 0
[3,2,4,1,5] => [1,1,1,0,0,1,0,0,1,0]
=> ([(0,2),(0,3),(2,5),(3,5),(4,1),(5,4)],6)
=> 0
[3,2,5,1,4] => [1,1,1,0,0,1,1,0,0,0]
=> ([(0,3),(0,4),(1,5),(2,5),(3,6),(4,6),(6,1),(6,2)],7)
=> 0
[3,5,4,1,2] => [1,1,1,0,1,1,0,0,0,0]
=> ([(0,3),(0,4),(1,6),(2,5),(3,7),(4,2),(4,7),(5,6),(7,1),(7,5)],8)
=> ? = 0
[3,5,4,2,1] => [1,1,1,0,1,1,0,0,0,0]
=> ([(0,3),(0,4),(1,6),(2,5),(3,7),(4,2),(4,7),(5,6),(7,1),(7,5)],8)
=> ? = 0
[4,1,2,3,5] => [1,1,1,1,0,0,0,0,1,0]
=> ([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7)
=> ? = 0
[4,1,2,5,3] => [1,1,1,1,0,0,0,1,0,0]
=> ([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7)
=> ? = 1
[4,1,5,3,2] => [1,1,1,1,0,0,1,0,0,0]
=> ([(0,3),(0,4),(1,6),(2,5),(3,7),(4,2),(4,7),(5,6),(7,1),(7,5)],8)
=> ? = 0
[4,2,1,3,5] => [1,1,1,1,0,0,0,0,1,0]
=> ([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7)
=> ? = 0
[4,2,1,5,3] => [1,1,1,1,0,0,0,1,0,0]
=> ([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7)
=> ? = 1
[4,2,5,3,1] => [1,1,1,1,0,0,1,0,0,0]
=> ([(0,3),(0,4),(1,6),(2,5),(3,7),(4,2),(4,7),(5,6),(7,1),(7,5)],8)
=> ? = 0
[4,5,1,3,2] => [1,1,1,1,0,1,0,0,0,0]
=> ([(0,2),(0,4),(1,6),(2,5),(3,1),(3,7),(4,3),(4,5),(5,7),(7,6)],8)
=> ? = 0
[4,5,2,3,1] => [1,1,1,1,0,1,0,0,0,0]
=> ([(0,2),(0,4),(1,6),(2,5),(3,1),(3,7),(4,3),(4,5),(5,7),(7,6)],8)
=> ? = 0
[5,1,2,3,4] => [1,1,1,1,1,0,0,0,0,0]
=> ([(0,3),(0,4),(1,7),(2,6),(3,2),(3,5),(4,1),(4,5),(5,6),(5,7),(6,8),(7,8)],9)
=> ? = 0
[5,2,1,3,4] => [1,1,1,1,1,0,0,0,0,0]
=> ([(0,3),(0,4),(1,7),(2,6),(3,2),(3,5),(4,1),(4,5),(5,6),(5,7),(6,8),(7,8)],9)
=> ? = 0
[1,2,3,4,5,6] => [1,0,1,0,1,0,1,0,1,0,1,0]
=> ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
=> 0
[1,2,3,4,6,5] => [1,0,1,0,1,0,1,0,1,1,0,0]
=> ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
=> 0
[1,2,3,5,4,6] => [1,0,1,0,1,0,1,1,0,0,1,0]
=> ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
=> 0
[1,2,3,5,6,4] => [1,0,1,0,1,0,1,1,0,1,0,0]
=> ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
=> 0
[1,2,4,3,5,6] => [1,0,1,0,1,1,0,0,1,0,1,0]
=> ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
=> 0
[1,2,4,3,6,5] => [1,0,1,0,1,1,0,0,1,1,0,0]
=> ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
=> 0
[1,2,4,5,3,6] => [1,0,1,0,1,1,0,1,0,0,1,0]
=> ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
=> 0
[1,2,6,3,4,5] => [1,0,1,0,1,1,1,1,0,0,0,0]
=> ([(0,4),(1,7),(2,6),(3,1),(3,6),(4,5),(5,2),(5,3),(6,7)],8)
=> ? = 0
[1,2,6,4,3,5] => [1,0,1,0,1,1,1,1,0,0,0,0]
=> ([(0,4),(1,7),(2,6),(3,1),(3,6),(4,5),(5,2),(5,3),(6,7)],8)
=> ? = 0
[1,3,6,2,4,5] => [1,0,1,1,0,1,1,1,0,0,0,0]
=> ([(0,4),(1,7),(2,6),(3,1),(3,6),(4,5),(5,2),(5,3),(6,7)],8)
=> ? = 0
[1,3,6,4,2,5] => [1,0,1,1,0,1,1,1,0,0,0,0]
=> ([(0,4),(1,7),(2,6),(3,1),(3,6),(4,5),(5,2),(5,3),(6,7)],8)
=> ? = 0
[1,4,2,5,3,6] => [1,0,1,1,1,0,0,1,0,0,1,0]
=> ([(0,5),(2,6),(3,6),(4,1),(5,2),(5,3),(6,4)],7)
=> ? = 0
[1,4,2,6,3,5] => [1,0,1,1,1,0,0,1,1,0,0,0]
=> ([(0,5),(1,7),(2,7),(3,6),(4,6),(5,1),(5,2),(7,3),(7,4)],8)
=> ? = 0
[1,4,3,5,2,6] => [1,0,1,1,1,0,0,1,0,0,1,0]
=> ([(0,5),(2,6),(3,6),(4,1),(5,2),(5,3),(6,4)],7)
=> ? = 0
[1,4,3,6,2,5] => [1,0,1,1,1,0,0,1,1,0,0,0]
=> ([(0,5),(1,7),(2,7),(3,6),(4,6),(5,1),(5,2),(7,3),(7,4)],8)
=> ? = 0
[1,4,6,5,2,3] => [1,0,1,1,1,0,1,1,0,0,0,0]
=> ([(0,5),(1,7),(2,8),(3,6),(4,3),(4,8),(5,2),(5,4),(6,7),(8,1),(8,6)],9)
=> ? = 0
[1,4,6,5,3,2] => [1,0,1,1,1,0,1,1,0,0,0,0]
=> ([(0,5),(1,7),(2,8),(3,6),(4,3),(4,8),(5,2),(5,4),(6,7),(8,1),(8,6)],9)
=> ? = 0
[1,5,2,3,4,6] => [1,0,1,1,1,1,0,0,0,0,1,0]
=> ([(0,5),(2,7),(3,6),(4,2),(4,6),(5,3),(5,4),(6,7),(7,1)],8)
=> ? = 0
[1,5,2,3,6,4] => [1,0,1,1,1,1,0,0,0,1,0,0]
=> ([(0,5),(2,7),(3,6),(4,2),(4,6),(5,3),(5,4),(6,7),(7,1)],8)
=> ? = 1
[1,5,2,6,4,3] => [1,0,1,1,1,1,0,0,1,0,0,0]
=> ([(0,5),(1,7),(2,8),(3,6),(4,3),(4,8),(5,2),(5,4),(6,7),(8,1),(8,6)],9)
=> ? = 0
[1,5,3,2,4,6] => [1,0,1,1,1,1,0,0,0,0,1,0]
=> ([(0,5),(2,7),(3,6),(4,2),(4,6),(5,3),(5,4),(6,7),(7,1)],8)
=> ? = 0
[1,5,3,2,6,4] => [1,0,1,1,1,1,0,0,0,1,0,0]
=> ([(0,5),(2,7),(3,6),(4,2),(4,6),(5,3),(5,4),(6,7),(7,1)],8)
=> ? = 1
[1,5,3,6,4,2] => [1,0,1,1,1,1,0,0,1,0,0,0]
=> ([(0,5),(1,7),(2,8),(3,6),(4,3),(4,8),(5,2),(5,4),(6,7),(8,1),(8,6)],9)
=> ? = 0
[1,5,6,2,4,3] => [1,0,1,1,1,1,0,1,0,0,0,0]
=> ([(0,5),(1,6),(2,7),(3,4),(3,6),(4,2),(4,8),(5,1),(5,3),(6,8),(8,7)],9)
=> ? = 0
[1,5,6,3,4,2] => [1,0,1,1,1,1,0,1,0,0,0,0]
=> ([(0,5),(1,6),(2,7),(3,4),(3,6),(4,2),(4,8),(5,1),(5,3),(6,8),(8,7)],9)
=> ? = 0
[1,6,2,3,4,5] => [1,0,1,1,1,1,1,0,0,0,0,0]
=> ([(0,5),(1,8),(2,7),(3,2),(3,6),(4,1),(4,6),(5,3),(5,4),(6,7),(6,8),(7,9),(8,9)],10)
=> ? = 0
[1,6,3,2,4,5] => [1,0,1,1,1,1,1,0,0,0,0,0]
=> ([(0,5),(1,8),(2,7),(3,2),(3,6),(4,1),(4,6),(5,3),(5,4),(6,7),(6,8),(7,9),(8,9)],10)
=> ? = 0
[2,1,6,3,4,5] => [1,1,0,0,1,1,1,1,0,0,0,0]
=> ([(0,4),(1,7),(2,6),(3,1),(3,6),(4,5),(5,2),(5,3),(6,7)],8)
=> ? = 0
[2,1,6,4,3,5] => [1,1,0,0,1,1,1,1,0,0,0,0]
=> ([(0,4),(1,7),(2,6),(3,1),(3,6),(4,5),(5,2),(5,3),(6,7)],8)
=> ? = 0
[2,3,6,1,4,5] => [1,1,0,1,0,1,1,1,0,0,0,0]
=> ([(0,4),(1,7),(2,6),(3,1),(3,6),(4,5),(5,2),(5,3),(6,7)],8)
=> ? = 0
[2,3,6,4,1,5] => [1,1,0,1,0,1,1,1,0,0,0,0]
=> ([(0,4),(1,7),(2,6),(3,1),(3,6),(4,5),(5,2),(5,3),(6,7)],8)
=> ? = 0
[2,4,1,5,3,6] => [1,1,0,1,1,0,0,1,0,0,1,0]
=> ([(0,5),(2,6),(3,6),(4,1),(5,2),(5,3),(6,4)],7)
=> ? = 0
[2,4,1,6,3,5] => [1,1,0,1,1,0,0,1,1,0,0,0]
=> ([(0,5),(1,7),(2,7),(3,6),(4,6),(5,1),(5,2),(7,3),(7,4)],8)
=> ? = 0
[2,4,3,5,1,6] => [1,1,0,1,1,0,0,1,0,0,1,0]
=> ([(0,5),(2,6),(3,6),(4,1),(5,2),(5,3),(6,4)],7)
=> ? = 0
[2,4,3,6,1,5] => [1,1,0,1,1,0,0,1,1,0,0,0]
=> ([(0,5),(1,7),(2,7),(3,6),(4,6),(5,1),(5,2),(7,3),(7,4)],8)
=> ? = 0
[2,4,6,5,1,3] => [1,1,0,1,1,0,1,1,0,0,0,0]
=> ([(0,5),(1,7),(2,8),(3,6),(4,3),(4,8),(5,2),(5,4),(6,7),(8,1),(8,6)],9)
=> ? = 0
[2,4,6,5,3,1] => [1,1,0,1,1,0,1,1,0,0,0,0]
=> ([(0,5),(1,7),(2,8),(3,6),(4,3),(4,8),(5,2),(5,4),(6,7),(8,1),(8,6)],9)
=> ? = 0
[2,5,1,3,4,6] => [1,1,0,1,1,1,0,0,0,0,1,0]
=> ([(0,5),(2,7),(3,6),(4,2),(4,6),(5,3),(5,4),(6,7),(7,1)],8)
=> ? = 0
[2,5,1,3,6,4] => [1,1,0,1,1,1,0,0,0,1,0,0]
=> ([(0,5),(2,7),(3,6),(4,2),(4,6),(5,3),(5,4),(6,7),(7,1)],8)
=> ? = 1
[2,5,1,6,4,3] => [1,1,0,1,1,1,0,0,1,0,0,0]
=> ([(0,5),(1,7),(2,8),(3,6),(4,3),(4,8),(5,2),(5,4),(6,7),(8,1),(8,6)],9)
=> ? = 0
[2,5,3,1,4,6] => [1,1,0,1,1,1,0,0,0,0,1,0]
=> ([(0,5),(2,7),(3,6),(4,2),(4,6),(5,3),(5,4),(6,7),(7,1)],8)
=> ? = 0
Description
The first Betti number of the order complex associated with the poset.
The order complex of a poset is the simplicial complex whose faces are the chains of the poset. This statistic is the rank of the first homology group of the order complex.
The following 147 statistics, ordered by result quality, also match your data. Click on any of them to see the details.
St001396Number of triples of incomparable elements in a finite poset. St000908The length of the shortest maximal antichain in a poset. St001532The leading coefficient of the Poincare polynomial of the poset cone. St001634The trace of the Coxeter matrix of the incidence algebra of a poset. St000455The second largest eigenvalue of a graph if it is integral. St000914The sum of the values of the Möbius function of a poset. St001568The smallest positive integer that does not appear twice in the partition. St001876The number of 2-regular simple modules in the incidence algebra of the lattice. St001877Number of indecomposable injective modules with projective dimension 2. St001878The projective dimension of the simple modules corresponding to the minimum of L in the incidence algebra of the lattice L. St000069The number of maximal elements of a poset. St001846The number of elements which do not have a complement in the lattice. St001719The number of shortest chains of small intervals from the bottom to the top in a lattice. St001820The size of the image of the pop stack sorting operator. St001472The permanent of the Coxeter matrix of the poset. St001651The Frankl number of a lattice. St001399The distinguishing number of a poset. St001621The number of atoms of a lattice. St000850The number of 1/2-balanced pairs in a poset. St000633The size of the automorphism group of a poset. St000259The diameter of a connected graph. St000260The radius of a connected graph. St000302The determinant of the distance matrix of a connected graph. St000466The Gutman (or modified Schultz) index of a connected graph. St000467The hyper-Wiener index of a connected graph. St001633The number of simple modules with projective dimension two in the incidence algebra of the poset. St000307The number of rowmotion orbits of a poset. St000771The largest multiplicity of a distance Laplacian eigenvalue in a connected graph. St000772The multiplicity of the largest distance Laplacian eigenvalue in a connected graph. St000777The number of distinct eigenvalues of the distance Laplacian of a connected graph. St001645The pebbling number of a connected graph. St001330The hat guessing number of a graph. St000100The number of linear extensions of a poset. St001632The number of indecomposable injective modules $I$ with $dim Ext^1(I,A)=1$ for the incidence algebra A of a poset. St000666The number of right tethers of a permutation. St001550The number of inversions between exceedances where the greater exceedance is linked. St001559The number of transpositions that are smaller or equal to a permutation in Bruhat order while not being inversions. St001856The number of edges in the reduced word graph of a permutation. St001862The number of crossings of a signed permutation. St001208The number of connected components of the quiver of $A/T$ when $T$ is the 1-tilting module corresponding to the permutation in the Auslander algebra $A$ of $K[x]/(x^n)$. St001493The number of simple modules with maximal even projective dimension in the corresponding Nakayama algebra. St001720The minimal length of a chain of small intervals in a lattice. St001520The number of strict 3-descents. St001811The Castelnuovo-Mumford regularity of a permutation. St000264The girth of a graph, which is not a tree. St000929The constant term of the character polynomial of an integer partition. St000993The multiplicity of the largest part of an integer partition. St000478Another weight of a partition according to Alladi. St000882The number of connected components of short braid edges in the graph of braid moves of a permutation. St001001The number of indecomposable modules with projective and injective dimension equal to the global dimension of the Nakayama algebra corresponding to the Dyck path. St001371The length of the longest Yamanouchi prefix of a binary word. St001730The number of times the path corresponding to a binary word crosses the base line. St001803The maximal overlap of the cylindrical tableau associated with a tableau. St001195The global dimension of the algebra $A/AfA$ of the corresponding Nakayama algebra $A$ with minimal left faithful projective-injective module $Af$. St001490The number of connected components of a skew partition. St001804The minimal height of the rectangular inner shape in a cylindrical tableau associated to a tableau. St000879The number of long braid edges in the graph of braid moves of a permutation. St001604The multiplicity of the irreducible representation corresponding to a partition in the relabelling action on polygons. St001200The number of simple modules in $eAe$ with projective dimension at most 2 in the corresponding Nakayama algebra $A$ with minimal faithful projective-injective module $eA$. St001771The number of occurrences of the signed pattern 1-2 in a signed permutation. St001870The number of positive entries followed by a negative entry in a signed permutation. St001882The number of occurrences of a type-B 231 pattern in a signed permutation. St001895The oddness of a signed permutation. St000181The number of connected components of the Hasse diagram for the poset. St001533The largest coefficient of the Poincare polynomial of the poset cone. St001429The number of negative entries in a signed permutation. St001866The nesting alignments of a signed permutation. St000895The number of ones on the main diagonal of an alternating sign matrix. St001434The number of negative sum pairs of a signed permutation. St001890The maximum magnitude of the Möbius function of a poset. St001095The number of non-isomorphic posets with precisely one further covering relation. St001867The number of alignments of type EN of a signed permutation. St001868The number of alignments of type NE of a signed permutation. St001236The dominant dimension of the corresponding Comp-Nakayama algebra. St001889The size of the connectivity set of a signed permutation. St001772The number of occurrences of the signed pattern 12 in a signed permutation. St001863The number of weak excedances of a signed permutation. St001864The number of excedances of a signed permutation. St000635The number of strictly order preserving maps of a poset into itself. St001491The number of indecomposable projective-injective modules in the algebra corresponding to a subset. St001630The global dimension of the incidence algebra of the lattice over the rational numbers. St000936The number of even values of the symmetric group character corresponding to the partition. St000938The number of zeros of the symmetric group character corresponding to the partition. St000940The number of characters of the symmetric group whose value on the partition is zero. St001124The multiplicity of the standard representation in the Kronecker square corresponding to a partition. St000284The Plancherel distribution on integer partitions. St000704The number of semistandard tableaux on a given integer partition with minimal maximal entry. St000901The cube of the number of standard Young tableaux with shape given by the partition. St001128The exponens consonantiae of a partition. St000878The number of ones minus the number of zeros of a binary word. St001624The breadth of a lattice. St000323The minimal crossing number of a graph. St000351The determinant of the adjacency matrix of a graph. St000368The Altshuler-Steinberg determinant of a graph. St000370The genus of a graph. St000403The Szeged index minus the Wiener index of a graph. St000671The maximin edge-connectivity for choosing a subgraph. St001069The coefficient of the monomial xy of the Tutte polynomial of the graph. St001119The length of a shortest maximal path in a graph. St001271The competition number of a graph. St001305The number of induced cycles on four vertices in a graph. St001307The number of induced stars on four vertices in a graph. St001309The number of four-cliques in a graph. St001310The number of induced diamond graphs in a graph. St001323The independence gap of a graph. St001324The minimal number of occurrences of the chordal-pattern in a linear ordering of the vertices of the graph. St001325The minimal number of occurrences of the comparability-pattern in a linear ordering of the vertices of the graph. St001326The minimal number of occurrences of the interval-pattern in a linear ordering of the vertices of the graph. St001328The minimal number of occurrences of the bipartite-pattern in a linear ordering of the vertices of the graph. St001329The minimal number of occurrences of the outerplanar pattern in a linear ordering of the vertices of the graph. St001334The minimal number of occurrences of the 3-colorable pattern in a linear ordering of the vertices of the graph. St001336The minimal number of vertices in a graph whose complement is triangle-free. St001357The maximal degree of a regular spanning subgraph of a graph. St001395The number of strictly unfriendly partitions of a graph. St001702The absolute value of the determinant of the adjacency matrix of a graph. St001793The difference between the clique number and the chromatic number of a graph. St001794Half the number of sets of vertices in a graph which are dominating and non-blocking. St001797The number of overfull subgraphs of a graph. St000773The multiplicity of the largest Laplacian eigenvalue in a graph. St000775The multiplicity of the largest eigenvalue in a graph. St000785The number of distinct colouring schemes of a graph. St001316The domatic number of a graph. St001476The evaluation of the Tutte polynomial of the graph at (x,y) equal to (1,-1). St001496The number of graphs with the same Laplacian spectrum as the given graph. St000297The number of leading ones in a binary word. St000379The number of Hamiltonian cycles in a graph. St000699The toughness times the least common multiple of 1,. St001281The normalized isoperimetric number of a graph. St000877The depth of the binary word interpreted as a path. St000885The number of critical steps in the Catalan decomposition of a binary word. St001875The number of simple modules with projective dimension at most 1. St000447The number of pairs of vertices of a graph with distance 3. St000449The number of pairs of vertices of a graph with distance 4. St000552The number of cut vertices of a graph. St000273The domination number of a graph. St000544The cop number of a graph. St000553The number of blocks of a graph. St000916The packing number of a graph. St001322The size of a minimal independent dominating set in a graph. St001339The irredundance number of a graph. St001363The Euler characteristic of a graph according to Knill. St001430The number of positive entries in a signed permutation. St001739The number of graphs with the same edge polytope as the given graph. St001740The number of graphs with the same symmetric edge polytope as the given graph. St001776The degree of the minimal polynomial of the largest Laplacian eigenvalue of a graph. St001829The common independence number of a graph. St001880The number of 2-Gorenstein indecomposable injective modules in the incidence algebra of the lattice.
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!