- FindStat

Your data matches 36 different statistics following compositions of up to 3 maps.
(click to perform a complete search on your data)

Matching statistic: St001875
(load all 3 compositions to match this statistic)

Mapping

Mp00065: Permutations —permutation poset⟶ Posets
Mp00206: Posets —antichains of maximal size⟶ Lattices
St001875: Lattices ⟶ ℤResult quality: 100% ●values known / values provided: 100%●distinct values known / distinct values provided: 100%

Values

[1,2,3] => ([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => 3
[1,2,3,4] => ([(0,3),(2,1),(3,2)],4)
 => ([(0,3),(2,1),(3,2)],4)
 => 4
[2,3,4,1] => ([(1,2),(2,3)],4)
 => ([(0,2),(2,1)],3)
 => 3
[2,4,1,3] => ([(0,3),(1,2),(1,3)],4)
 => ([(0,2),(2,1)],3)
 => 3
[3,1,4,2] => ([(0,3),(1,2),(1,3)],4)
 => ([(0,2),(2,1)],3)
 => 3
[3,4,1,2] => ([(0,3),(1,2)],4)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 3
[4,1,2,3] => ([(1,2),(2,3)],4)
 => ([(0,2),(2,1)],3)
 => 3
[1,2,3,4,5] => ([(0,4),(2,3),(3,1),(4,2)],5)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => 5
[1,3,4,5,2] => ([(0,2),(0,4),(3,1),(4,3)],5)
 => ([(0,2),(2,1)],3)
 => 3
[1,3,5,2,4] => ([(0,2),(0,3),(2,4),(3,1),(3,4)],5)
 => ([(0,2),(2,1)],3)
 => 3
[1,4,2,5,3] => ([(0,2),(0,3),(2,4),(3,1),(3,4)],5)
 => ([(0,2),(2,1)],3)
 => 3
[1,4,5,2,3] => ([(0,3),(0,4),(3,2),(4,1)],5)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 3
[1,5,2,3,4] => ([(0,2),(0,4),(3,1),(4,3)],5)
 => ([(0,2),(2,1)],3)
 => 3
[2,1,4,5,3] => ([(0,3),(0,4),(1,3),(1,4),(4,2)],5)
 => ([(0,2),(2,1)],3)
 => 3
[2,1,5,3,4] => ([(0,3),(0,4),(1,3),(1,4),(4,2)],5)
 => ([(0,2),(2,1)],3)
 => 3
[2,3,1,5,4] => ([(0,3),(0,4),(1,2),(2,3),(2,4)],5)
 => ([(0,2),(2,1)],3)
 => 3
[2,3,4,1,5] => ([(0,4),(1,2),(2,3),(3,4)],5)
 => ([(0,2),(2,1)],3)
 => 3
[2,3,4,5,1] => ([(1,4),(3,2),(4,3)],5)
 => ([(0,3),(2,1),(3,2)],4)
 => 4
[2,3,5,1,4] => ([(0,4),(1,2),(2,3),(2,4)],5)
 => ([(0,3),(2,1),(3,2)],4)
 => 4
[2,4,1,3,5] => ([(0,3),(1,2),(1,3),(2,4),(3,4)],5)
 => ([(0,2),(2,1)],3)
 => 3
[2,4,1,5,3] => ([(0,3),(0,4),(1,2),(1,3),(2,4)],5)
 => ([(0,3),(2,1),(3,2)],4)
 => 4
[2,4,5,1,3] => ([(0,4),(1,2),(1,4),(2,3)],5)
 => ([(0,3),(1,4),(2,4),(3,1),(3,2)],5)
 => 4
[2,5,1,3,4] => ([(0,4),(1,2),(1,4),(4,3)],5)
 => ([(0,3),(2,1),(3,2)],4)
 => 4
[3,1,2,5,4] => ([(0,3),(0,4),(1,2),(2,3),(2,4)],5)
 => ([(0,2),(2,1)],3)
 => 3
[3,1,4,2,5] => ([(0,3),(1,2),(1,3),(2,4),(3,4)],5)
 => ([(0,2),(2,1)],3)
 => 3
[3,1,4,5,2] => ([(0,4),(1,2),(1,4),(4,3)],5)
 => ([(0,3),(2,1),(3,2)],4)
 => 4
[3,1,5,2,4] => ([(0,3),(0,4),(1,2),(1,3),(2,4)],5)
 => ([(0,3),(2,1),(3,2)],4)
 => 4
[3,4,1,2,5] => ([(0,3),(1,2),(2,4),(3,4)],5)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 3
[3,4,1,5,2] => ([(0,3),(1,2),(1,4),(3,4)],5)
 => ([(0,2),(0,3),(2,4),(3,4),(4,1)],5)
 => 4
[3,4,5,1,2] => ([(0,3),(1,4),(4,2)],5)
 => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
 => 4
[3,4,5,2,1] => ([(2,3),(3,4)],5)
 => ([(0,2),(2,1)],3)
 => 3
[3,5,1,2,4] => ([(0,3),(1,2),(1,4),(3,4)],5)
 => ([(0,2),(0,3),(2,4),(3,4),(4,1)],5)
 => 4
[3,5,2,4,1] => ([(1,4),(2,3),(2,4)],5)
 => ([(0,2),(2,1)],3)
 => 3
[4,1,2,3,5] => ([(0,4),(1,2),(2,3),(3,4)],5)
 => ([(0,2),(2,1)],3)
 => 3
[4,1,2,5,3] => ([(0,4),(1,2),(2,3),(2,4)],5)
 => ([(0,3),(2,1),(3,2)],4)
 => 4
[4,1,5,2,3] => ([(0,4),(1,2),(1,4),(2,3)],5)
 => ([(0,3),(1,4),(2,4),(3,1),(3,2)],5)
 => 4
[4,2,5,3,1] => ([(1,4),(2,3),(2,4)],5)
 => ([(0,2),(2,1)],3)
 => 3
[4,5,1,2,3] => ([(0,3),(1,4),(4,2)],5)
 => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
 => 4
[4,5,2,3,1] => ([(1,4),(2,3)],5)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 3
[4,5,3,1,2] => ([(1,4),(2,3)],5)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 3
[5,1,2,3,4] => ([(1,4),(3,2),(4,3)],5)
 => ([(0,3),(2,1),(3,2)],4)
 => 4
[5,2,3,4,1] => ([(2,3),(3,4)],5)
 => ([(0,2),(2,1)],3)
 => 3
[5,2,4,1,3] => ([(1,4),(2,3),(2,4)],5)
 => ([(0,2),(2,1)],3)
 => 3
[5,3,1,4,2] => ([(1,4),(2,3),(2,4)],5)
 => ([(0,2),(2,1)],3)
 => 3
[5,3,4,1,2] => ([(1,4),(2,3)],5)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 3
[5,4,1,2,3] => ([(2,3),(3,4)],5)
 => ([(0,2),(2,1)],3)
 => 3
[1,2,3,4,5,6] => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
 => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
 => 6
[1,2,4,5,6,3] => ([(0,5),(3,4),(4,2),(5,1),(5,3)],6)
 => ([(0,2),(2,1)],3)
 => 3
[1,2,4,6,3,5] => ([(0,4),(2,5),(3,1),(3,5),(4,2),(4,3)],6)
 => ([(0,2),(2,1)],3)
 => 3
[1,2,5,3,6,4] => ([(0,4),(2,5),(3,1),(3,5),(4,2),(4,3)],6)
 => ([(0,2),(2,1)],3)
 => 3

Description

The number of simple modules with projective dimension at most 1.

Matching statistic: St001615
(load all 3 compositions to match this statistic)

Mapping

Mp00065: Permutations —permutation poset⟶ Posets
Mp00206: Posets —antichains of maximal size⟶ Lattices
St001615: Lattices ⟶ ℤResult quality: 100% ●values known / values provided: 100%●distinct values known / distinct values provided: 100%

Values

[1,2,3] => ([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => 2 = 3 - 1
[1,2,3,4] => ([(0,3),(2,1),(3,2)],4)
 => ([(0,3),(2,1),(3,2)],4)
 => 3 = 4 - 1
[2,3,4,1] => ([(1,2),(2,3)],4)
 => ([(0,2),(2,1)],3)
 => 2 = 3 - 1
[2,4,1,3] => ([(0,3),(1,2),(1,3)],4)
 => ([(0,2),(2,1)],3)
 => 2 = 3 - 1
[3,1,4,2] => ([(0,3),(1,2),(1,3)],4)
 => ([(0,2),(2,1)],3)
 => 2 = 3 - 1
[3,4,1,2] => ([(0,3),(1,2)],4)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 2 = 3 - 1
[4,1,2,3] => ([(1,2),(2,3)],4)
 => ([(0,2),(2,1)],3)
 => 2 = 3 - 1
[1,2,3,4,5] => ([(0,4),(2,3),(3,1),(4,2)],5)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => 4 = 5 - 1
[1,3,4,5,2] => ([(0,2),(0,4),(3,1),(4,3)],5)
 => ([(0,2),(2,1)],3)
 => 2 = 3 - 1
[1,3,5,2,4] => ([(0,2),(0,3),(2,4),(3,1),(3,4)],5)
 => ([(0,2),(2,1)],3)
 => 2 = 3 - 1
[1,4,2,5,3] => ([(0,2),(0,3),(2,4),(3,1),(3,4)],5)
 => ([(0,2),(2,1)],3)
 => 2 = 3 - 1
[1,4,5,2,3] => ([(0,3),(0,4),(3,2),(4,1)],5)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 2 = 3 - 1
[1,5,2,3,4] => ([(0,2),(0,4),(3,1),(4,3)],5)
 => ([(0,2),(2,1)],3)
 => 2 = 3 - 1
[2,1,4,5,3] => ([(0,3),(0,4),(1,3),(1,4),(4,2)],5)
 => ([(0,2),(2,1)],3)
 => 2 = 3 - 1
[2,1,5,3,4] => ([(0,3),(0,4),(1,3),(1,4),(4,2)],5)
 => ([(0,2),(2,1)],3)
 => 2 = 3 - 1
[2,3,1,5,4] => ([(0,3),(0,4),(1,2),(2,3),(2,4)],5)
 => ([(0,2),(2,1)],3)
 => 2 = 3 - 1
[2,3,4,1,5] => ([(0,4),(1,2),(2,3),(3,4)],5)
 => ([(0,2),(2,1)],3)
 => 2 = 3 - 1
[2,3,4,5,1] => ([(1,4),(3,2),(4,3)],5)
 => ([(0,3),(2,1),(3,2)],4)
 => 3 = 4 - 1
[2,3,5,1,4] => ([(0,4),(1,2),(2,3),(2,4)],5)
 => ([(0,3),(2,1),(3,2)],4)
 => 3 = 4 - 1
[2,4,1,3,5] => ([(0,3),(1,2),(1,3),(2,4),(3,4)],5)
 => ([(0,2),(2,1)],3)
 => 2 = 3 - 1
[2,4,1,5,3] => ([(0,3),(0,4),(1,2),(1,3),(2,4)],5)
 => ([(0,3),(2,1),(3,2)],4)
 => 3 = 4 - 1
[2,4,5,1,3] => ([(0,4),(1,2),(1,4),(2,3)],5)
 => ([(0,3),(1,4),(2,4),(3,1),(3,2)],5)
 => 3 = 4 - 1
[2,5,1,3,4] => ([(0,4),(1,2),(1,4),(4,3)],5)
 => ([(0,3),(2,1),(3,2)],4)
 => 3 = 4 - 1
[3,1,2,5,4] => ([(0,3),(0,4),(1,2),(2,3),(2,4)],5)
 => ([(0,2),(2,1)],3)
 => 2 = 3 - 1
[3,1,4,2,5] => ([(0,3),(1,2),(1,3),(2,4),(3,4)],5)
 => ([(0,2),(2,1)],3)
 => 2 = 3 - 1
[3,1,4,5,2] => ([(0,4),(1,2),(1,4),(4,3)],5)
 => ([(0,3),(2,1),(3,2)],4)
 => 3 = 4 - 1
[3,1,5,2,4] => ([(0,3),(0,4),(1,2),(1,3),(2,4)],5)
 => ([(0,3),(2,1),(3,2)],4)
 => 3 = 4 - 1
[3,4,1,2,5] => ([(0,3),(1,2),(2,4),(3,4)],5)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 2 = 3 - 1
[3,4,1,5,2] => ([(0,3),(1,2),(1,4),(3,4)],5)
 => ([(0,2),(0,3),(2,4),(3,4),(4,1)],5)
 => 3 = 4 - 1
[3,4,5,1,2] => ([(0,3),(1,4),(4,2)],5)
 => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
 => 3 = 4 - 1
[3,4,5,2,1] => ([(2,3),(3,4)],5)
 => ([(0,2),(2,1)],3)
 => 2 = 3 - 1
[3,5,1,2,4] => ([(0,3),(1,2),(1,4),(3,4)],5)
 => ([(0,2),(0,3),(2,4),(3,4),(4,1)],5)
 => 3 = 4 - 1
[3,5,2,4,1] => ([(1,4),(2,3),(2,4)],5)
 => ([(0,2),(2,1)],3)
 => 2 = 3 - 1
[4,1,2,3,5] => ([(0,4),(1,2),(2,3),(3,4)],5)
 => ([(0,2),(2,1)],3)
 => 2 = 3 - 1
[4,1,2,5,3] => ([(0,4),(1,2),(2,3),(2,4)],5)
 => ([(0,3),(2,1),(3,2)],4)
 => 3 = 4 - 1
[4,1,5,2,3] => ([(0,4),(1,2),(1,4),(2,3)],5)
 => ([(0,3),(1,4),(2,4),(3,1),(3,2)],5)
 => 3 = 4 - 1
[4,2,5,3,1] => ([(1,4),(2,3),(2,4)],5)
 => ([(0,2),(2,1)],3)
 => 2 = 3 - 1
[4,5,1,2,3] => ([(0,3),(1,4),(4,2)],5)
 => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
 => 3 = 4 - 1
[4,5,2,3,1] => ([(1,4),(2,3)],5)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 2 = 3 - 1
[4,5,3,1,2] => ([(1,4),(2,3)],5)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 2 = 3 - 1
[5,1,2,3,4] => ([(1,4),(3,2),(4,3)],5)
 => ([(0,3),(2,1),(3,2)],4)
 => 3 = 4 - 1
[5,2,3,4,1] => ([(2,3),(3,4)],5)
 => ([(0,2),(2,1)],3)
 => 2 = 3 - 1
[5,2,4,1,3] => ([(1,4),(2,3),(2,4)],5)
 => ([(0,2),(2,1)],3)
 => 2 = 3 - 1
[5,3,1,4,2] => ([(1,4),(2,3),(2,4)],5)
 => ([(0,2),(2,1)],3)
 => 2 = 3 - 1
[5,3,4,1,2] => ([(1,4),(2,3)],5)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 2 = 3 - 1
[5,4,1,2,3] => ([(2,3),(3,4)],5)
 => ([(0,2),(2,1)],3)
 => 2 = 3 - 1
[1,2,3,4,5,6] => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
 => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
 => 5 = 6 - 1
[1,2,4,5,6,3] => ([(0,5),(3,4),(4,2),(5,1),(5,3)],6)
 => ([(0,2),(2,1)],3)
 => 2 = 3 - 1
[1,2,4,6,3,5] => ([(0,4),(2,5),(3,1),(3,5),(4,2),(4,3)],6)
 => ([(0,2),(2,1)],3)
 => 2 = 3 - 1
[1,2,5,3,6,4] => ([(0,4),(2,5),(3,1),(3,5),(4,2),(4,3)],6)
 => ([(0,2),(2,1)],3)
 => 2 = 3 - 1

Description

The number of join prime elements of a lattice. An element $x$ of a lattice $L$ is join-prime (or coprime) if $x \leq a \vee b$ implies $x \leq a$ or $x \leq b$ for every $a, b \in L$.

Matching statistic: St001617
(load all 3 compositions to match this statistic)

Mapping

Mp00065: Permutations —permutation poset⟶ Posets
Mp00206: Posets —antichains of maximal size⟶ Lattices
St001617: Lattices ⟶ ℤResult quality: 100% ●values known / values provided: 100%●distinct values known / distinct values provided: 100%

Values

[1,2,3] => ([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => 2 = 3 - 1
[1,2,3,4] => ([(0,3),(2,1),(3,2)],4)
 => ([(0,3),(2,1),(3,2)],4)
 => 3 = 4 - 1
[2,3,4,1] => ([(1,2),(2,3)],4)
 => ([(0,2),(2,1)],3)
 => 2 = 3 - 1
[2,4,1,3] => ([(0,3),(1,2),(1,3)],4)
 => ([(0,2),(2,1)],3)
 => 2 = 3 - 1
[3,1,4,2] => ([(0,3),(1,2),(1,3)],4)
 => ([(0,2),(2,1)],3)
 => 2 = 3 - 1
[3,4,1,2] => ([(0,3),(1,2)],4)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 2 = 3 - 1
[4,1,2,3] => ([(1,2),(2,3)],4)
 => ([(0,2),(2,1)],3)
 => 2 = 3 - 1
[1,2,3,4,5] => ([(0,4),(2,3),(3,1),(4,2)],5)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => 4 = 5 - 1
[1,3,4,5,2] => ([(0,2),(0,4),(3,1),(4,3)],5)
 => ([(0,2),(2,1)],3)
 => 2 = 3 - 1
[1,3,5,2,4] => ([(0,2),(0,3),(2,4),(3,1),(3,4)],5)
 => ([(0,2),(2,1)],3)
 => 2 = 3 - 1
[1,4,2,5,3] => ([(0,2),(0,3),(2,4),(3,1),(3,4)],5)
 => ([(0,2),(2,1)],3)
 => 2 = 3 - 1
[1,4,5,2,3] => ([(0,3),(0,4),(3,2),(4,1)],5)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 2 = 3 - 1
[1,5,2,3,4] => ([(0,2),(0,4),(3,1),(4,3)],5)
 => ([(0,2),(2,1)],3)
 => 2 = 3 - 1
[2,1,4,5,3] => ([(0,3),(0,4),(1,3),(1,4),(4,2)],5)
 => ([(0,2),(2,1)],3)
 => 2 = 3 - 1
[2,1,5,3,4] => ([(0,3),(0,4),(1,3),(1,4),(4,2)],5)
 => ([(0,2),(2,1)],3)
 => 2 = 3 - 1
[2,3,1,5,4] => ([(0,3),(0,4),(1,2),(2,3),(2,4)],5)
 => ([(0,2),(2,1)],3)
 => 2 = 3 - 1
[2,3,4,1,5] => ([(0,4),(1,2),(2,3),(3,4)],5)
 => ([(0,2),(2,1)],3)
 => 2 = 3 - 1
[2,3,4,5,1] => ([(1,4),(3,2),(4,3)],5)
 => ([(0,3),(2,1),(3,2)],4)
 => 3 = 4 - 1
[2,3,5,1,4] => ([(0,4),(1,2),(2,3),(2,4)],5)
 => ([(0,3),(2,1),(3,2)],4)
 => 3 = 4 - 1
[2,4,1,3,5] => ([(0,3),(1,2),(1,3),(2,4),(3,4)],5)
 => ([(0,2),(2,1)],3)
 => 2 = 3 - 1
[2,4,1,5,3] => ([(0,3),(0,4),(1,2),(1,3),(2,4)],5)
 => ([(0,3),(2,1),(3,2)],4)
 => 3 = 4 - 1
[2,4,5,1,3] => ([(0,4),(1,2),(1,4),(2,3)],5)
 => ([(0,3),(1,4),(2,4),(3,1),(3,2)],5)
 => 3 = 4 - 1
[2,5,1,3,4] => ([(0,4),(1,2),(1,4),(4,3)],5)
 => ([(0,3),(2,1),(3,2)],4)
 => 3 = 4 - 1
[3,1,2,5,4] => ([(0,3),(0,4),(1,2),(2,3),(2,4)],5)
 => ([(0,2),(2,1)],3)
 => 2 = 3 - 1
[3,1,4,2,5] => ([(0,3),(1,2),(1,3),(2,4),(3,4)],5)
 => ([(0,2),(2,1)],3)
 => 2 = 3 - 1
[3,1,4,5,2] => ([(0,4),(1,2),(1,4),(4,3)],5)
 => ([(0,3),(2,1),(3,2)],4)
 => 3 = 4 - 1
[3,1,5,2,4] => ([(0,3),(0,4),(1,2),(1,3),(2,4)],5)
 => ([(0,3),(2,1),(3,2)],4)
 => 3 = 4 - 1
[3,4,1,2,5] => ([(0,3),(1,2),(2,4),(3,4)],5)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 2 = 3 - 1
[3,4,1,5,2] => ([(0,3),(1,2),(1,4),(3,4)],5)
 => ([(0,2),(0,3),(2,4),(3,4),(4,1)],5)
 => 3 = 4 - 1
[3,4,5,1,2] => ([(0,3),(1,4),(4,2)],5)
 => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
 => 3 = 4 - 1
[3,4,5,2,1] => ([(2,3),(3,4)],5)
 => ([(0,2),(2,1)],3)
 => 2 = 3 - 1
[3,5,1,2,4] => ([(0,3),(1,2),(1,4),(3,4)],5)
 => ([(0,2),(0,3),(2,4),(3,4),(4,1)],5)
 => 3 = 4 - 1
[3,5,2,4,1] => ([(1,4),(2,3),(2,4)],5)
 => ([(0,2),(2,1)],3)
 => 2 = 3 - 1
[4,1,2,3,5] => ([(0,4),(1,2),(2,3),(3,4)],5)
 => ([(0,2),(2,1)],3)
 => 2 = 3 - 1
[4,1,2,5,3] => ([(0,4),(1,2),(2,3),(2,4)],5)
 => ([(0,3),(2,1),(3,2)],4)
 => 3 = 4 - 1
[4,1,5,2,3] => ([(0,4),(1,2),(1,4),(2,3)],5)
 => ([(0,3),(1,4),(2,4),(3,1),(3,2)],5)
 => 3 = 4 - 1
[4,2,5,3,1] => ([(1,4),(2,3),(2,4)],5)
 => ([(0,2),(2,1)],3)
 => 2 = 3 - 1
[4,5,1,2,3] => ([(0,3),(1,4),(4,2)],5)
 => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
 => 3 = 4 - 1
[4,5,2,3,1] => ([(1,4),(2,3)],5)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 2 = 3 - 1
[4,5,3,1,2] => ([(1,4),(2,3)],5)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 2 = 3 - 1
[5,1,2,3,4] => ([(1,4),(3,2),(4,3)],5)
 => ([(0,3),(2,1),(3,2)],4)
 => 3 = 4 - 1
[5,2,3,4,1] => ([(2,3),(3,4)],5)
 => ([(0,2),(2,1)],3)
 => 2 = 3 - 1
[5,2,4,1,3] => ([(1,4),(2,3),(2,4)],5)
 => ([(0,2),(2,1)],3)
 => 2 = 3 - 1
[5,3,1,4,2] => ([(1,4),(2,3),(2,4)],5)
 => ([(0,2),(2,1)],3)
 => 2 = 3 - 1
[5,3,4,1,2] => ([(1,4),(2,3)],5)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 2 = 3 - 1
[5,4,1,2,3] => ([(2,3),(3,4)],5)
 => ([(0,2),(2,1)],3)
 => 2 = 3 - 1
[1,2,3,4,5,6] => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
 => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
 => 5 = 6 - 1
[1,2,4,5,6,3] => ([(0,5),(3,4),(4,2),(5,1),(5,3)],6)
 => ([(0,2),(2,1)],3)
 => 2 = 3 - 1
[1,2,4,6,3,5] => ([(0,4),(2,5),(3,1),(3,5),(4,2),(4,3)],6)
 => ([(0,2),(2,1)],3)
 => 2 = 3 - 1
[1,2,5,3,6,4] => ([(0,4),(2,5),(3,1),(3,5),(4,2),(4,3)],6)
 => ([(0,2),(2,1)],3)
 => 2 = 3 - 1

Description

The dimension of the space of valuations of a lattice. A valuation, or modular function, on a lattice $L$ is a function $v:L\mapsto\mathbb R$ satisfying $$ v(a\vee b) + v(a\wedge b) = v(a) + v(b). $$ It was shown by Birkhoff [1, thm. X.2], that a lattice with a positive valuation must be modular. This was sharpened by Fleischer and Traynor [2, thm. 1], which states that the modular functions on an arbitrary lattice are in bijection with the modular functions on its modular quotient [[Mp00196]]. Moreover, Birkhoff [1, thm. X.2] showed that the dimension of the space of modular functions equals the number of subsets of projective prime intervals.

Matching statistic: St001622
(load all 3 compositions to match this statistic)

Mapping

Mp00065: Permutations —permutation poset⟶ Posets
Mp00206: Posets —antichains of maximal size⟶ Lattices
St001622: Lattices ⟶ ℤResult quality: 100% ●values known / values provided: 100%●distinct values known / distinct values provided: 100%

Values

[1,2,3] => ([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => 2 = 3 - 1
[1,2,3,4] => ([(0,3),(2,1),(3,2)],4)
 => ([(0,3),(2,1),(3,2)],4)
 => 3 = 4 - 1
[2,3,4,1] => ([(1,2),(2,3)],4)
 => ([(0,2),(2,1)],3)
 => 2 = 3 - 1
[2,4,1,3] => ([(0,3),(1,2),(1,3)],4)
 => ([(0,2),(2,1)],3)
 => 2 = 3 - 1
[3,1,4,2] => ([(0,3),(1,2),(1,3)],4)
 => ([(0,2),(2,1)],3)
 => 2 = 3 - 1
[3,4,1,2] => ([(0,3),(1,2)],4)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 2 = 3 - 1
[4,1,2,3] => ([(1,2),(2,3)],4)
 => ([(0,2),(2,1)],3)
 => 2 = 3 - 1
[1,2,3,4,5] => ([(0,4),(2,3),(3,1),(4,2)],5)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => 4 = 5 - 1
[1,3,4,5,2] => ([(0,2),(0,4),(3,1),(4,3)],5)
 => ([(0,2),(2,1)],3)
 => 2 = 3 - 1
[1,3,5,2,4] => ([(0,2),(0,3),(2,4),(3,1),(3,4)],5)
 => ([(0,2),(2,1)],3)
 => 2 = 3 - 1
[1,4,2,5,3] => ([(0,2),(0,3),(2,4),(3,1),(3,4)],5)
 => ([(0,2),(2,1)],3)
 => 2 = 3 - 1
[1,4,5,2,3] => ([(0,3),(0,4),(3,2),(4,1)],5)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 2 = 3 - 1
[1,5,2,3,4] => ([(0,2),(0,4),(3,1),(4,3)],5)
 => ([(0,2),(2,1)],3)
 => 2 = 3 - 1
[2,1,4,5,3] => ([(0,3),(0,4),(1,3),(1,4),(4,2)],5)
 => ([(0,2),(2,1)],3)
 => 2 = 3 - 1
[2,1,5,3,4] => ([(0,3),(0,4),(1,3),(1,4),(4,2)],5)
 => ([(0,2),(2,1)],3)
 => 2 = 3 - 1
[2,3,1,5,4] => ([(0,3),(0,4),(1,2),(2,3),(2,4)],5)
 => ([(0,2),(2,1)],3)
 => 2 = 3 - 1
[2,3,4,1,5] => ([(0,4),(1,2),(2,3),(3,4)],5)
 => ([(0,2),(2,1)],3)
 => 2 = 3 - 1
[2,3,4,5,1] => ([(1,4),(3,2),(4,3)],5)
 => ([(0,3),(2,1),(3,2)],4)
 => 3 = 4 - 1
[2,3,5,1,4] => ([(0,4),(1,2),(2,3),(2,4)],5)
 => ([(0,3),(2,1),(3,2)],4)
 => 3 = 4 - 1
[2,4,1,3,5] => ([(0,3),(1,2),(1,3),(2,4),(3,4)],5)
 => ([(0,2),(2,1)],3)
 => 2 = 3 - 1
[2,4,1,5,3] => ([(0,3),(0,4),(1,2),(1,3),(2,4)],5)
 => ([(0,3),(2,1),(3,2)],4)
 => 3 = 4 - 1
[2,4,5,1,3] => ([(0,4),(1,2),(1,4),(2,3)],5)
 => ([(0,3),(1,4),(2,4),(3,1),(3,2)],5)
 => 3 = 4 - 1
[2,5,1,3,4] => ([(0,4),(1,2),(1,4),(4,3)],5)
 => ([(0,3),(2,1),(3,2)],4)
 => 3 = 4 - 1
[3,1,2,5,4] => ([(0,3),(0,4),(1,2),(2,3),(2,4)],5)
 => ([(0,2),(2,1)],3)
 => 2 = 3 - 1
[3,1,4,2,5] => ([(0,3),(1,2),(1,3),(2,4),(3,4)],5)
 => ([(0,2),(2,1)],3)
 => 2 = 3 - 1
[3,1,4,5,2] => ([(0,4),(1,2),(1,4),(4,3)],5)
 => ([(0,3),(2,1),(3,2)],4)
 => 3 = 4 - 1
[3,1,5,2,4] => ([(0,3),(0,4),(1,2),(1,3),(2,4)],5)
 => ([(0,3),(2,1),(3,2)],4)
 => 3 = 4 - 1
[3,4,1,2,5] => ([(0,3),(1,2),(2,4),(3,4)],5)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 2 = 3 - 1
[3,4,1,5,2] => ([(0,3),(1,2),(1,4),(3,4)],5)
 => ([(0,2),(0,3),(2,4),(3,4),(4,1)],5)
 => 3 = 4 - 1
[3,4,5,1,2] => ([(0,3),(1,4),(4,2)],5)
 => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
 => 3 = 4 - 1
[3,4,5,2,1] => ([(2,3),(3,4)],5)
 => ([(0,2),(2,1)],3)
 => 2 = 3 - 1
[3,5,1,2,4] => ([(0,3),(1,2),(1,4),(3,4)],5)
 => ([(0,2),(0,3),(2,4),(3,4),(4,1)],5)
 => 3 = 4 - 1
[3,5,2,4,1] => ([(1,4),(2,3),(2,4)],5)
 => ([(0,2),(2,1)],3)
 => 2 = 3 - 1
[4,1,2,3,5] => ([(0,4),(1,2),(2,3),(3,4)],5)
 => ([(0,2),(2,1)],3)
 => 2 = 3 - 1
[4,1,2,5,3] => ([(0,4),(1,2),(2,3),(2,4)],5)
 => ([(0,3),(2,1),(3,2)],4)
 => 3 = 4 - 1
[4,1,5,2,3] => ([(0,4),(1,2),(1,4),(2,3)],5)
 => ([(0,3),(1,4),(2,4),(3,1),(3,2)],5)
 => 3 = 4 - 1
[4,2,5,3,1] => ([(1,4),(2,3),(2,4)],5)
 => ([(0,2),(2,1)],3)
 => 2 = 3 - 1
[4,5,1,2,3] => ([(0,3),(1,4),(4,2)],5)
 => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
 => 3 = 4 - 1
[4,5,2,3,1] => ([(1,4),(2,3)],5)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 2 = 3 - 1
[4,5,3,1,2] => ([(1,4),(2,3)],5)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 2 = 3 - 1
[5,1,2,3,4] => ([(1,4),(3,2),(4,3)],5)
 => ([(0,3),(2,1),(3,2)],4)
 => 3 = 4 - 1
[5,2,3,4,1] => ([(2,3),(3,4)],5)
 => ([(0,2),(2,1)],3)
 => 2 = 3 - 1
[5,2,4,1,3] => ([(1,4),(2,3),(2,4)],5)
 => ([(0,2),(2,1)],3)
 => 2 = 3 - 1
[5,3,1,4,2] => ([(1,4),(2,3),(2,4)],5)
 => ([(0,2),(2,1)],3)
 => 2 = 3 - 1
[5,3,4,1,2] => ([(1,4),(2,3)],5)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 2 = 3 - 1
[5,4,1,2,3] => ([(2,3),(3,4)],5)
 => ([(0,2),(2,1)],3)
 => 2 = 3 - 1
[1,2,3,4,5,6] => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
 => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
 => 5 = 6 - 1
[1,2,4,5,6,3] => ([(0,5),(3,4),(4,2),(5,1),(5,3)],6)
 => ([(0,2),(2,1)],3)
 => 2 = 3 - 1
[1,2,4,6,3,5] => ([(0,4),(2,5),(3,1),(3,5),(4,2),(4,3)],6)
 => ([(0,2),(2,1)],3)
 => 2 = 3 - 1
[1,2,5,3,6,4] => ([(0,4),(2,5),(3,1),(3,5),(4,2),(4,3)],6)
 => ([(0,2),(2,1)],3)
 => 2 = 3 - 1

Description

The number of join-irreducible elements of a lattice. An element $j$ of a lattice $L$ is '''join irreducible''' if it is not the least element and if $j=x\vee y$, then $j\in\{x,y\}$ for all $x,y\in L$.

Matching statistic: St000528

Mapping

Mp00065: Permutations —permutation poset⟶ Posets
Mp00206: Posets —antichains of maximal size⟶ Lattices
Mp00193: Lattices —to poset⟶ Posets
St000528: Posets ⟶ ℤResult quality: 97% ●values known / values provided: 97%●distinct values known / distinct values provided: 100%

Values

[1,2,3] => ([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => 3
[1,2,3,4] => ([(0,3),(2,1),(3,2)],4)
 => ([(0,3),(2,1),(3,2)],4)
 => ([(0,3),(2,1),(3,2)],4)
 => 4
[2,3,4,1] => ([(1,2),(2,3)],4)
 => ([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => 3
[2,4,1,3] => ([(0,3),(1,2),(1,3)],4)
 => ([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => 3
[3,1,4,2] => ([(0,3),(1,2),(1,3)],4)
 => ([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => 3
[3,4,1,2] => ([(0,3),(1,2)],4)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 3
[4,1,2,3] => ([(1,2),(2,3)],4)
 => ([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => 3
[1,2,3,4,5] => ([(0,4),(2,3),(3,1),(4,2)],5)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => 5
[1,3,4,5,2] => ([(0,2),(0,4),(3,1),(4,3)],5)
 => ([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => 3
[1,3,5,2,4] => ([(0,2),(0,3),(2,4),(3,1),(3,4)],5)
 => ([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => 3
[1,4,2,5,3] => ([(0,2),(0,3),(2,4),(3,1),(3,4)],5)
 => ([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => 3
[1,4,5,2,3] => ([(0,3),(0,4),(3,2),(4,1)],5)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 3
[1,5,2,3,4] => ([(0,2),(0,4),(3,1),(4,3)],5)
 => ([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => 3
[2,1,4,5,3] => ([(0,3),(0,4),(1,3),(1,4),(4,2)],5)
 => ([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => 3
[2,1,5,3,4] => ([(0,3),(0,4),(1,3),(1,4),(4,2)],5)
 => ([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => 3
[2,3,1,5,4] => ([(0,3),(0,4),(1,2),(2,3),(2,4)],5)
 => ([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => 3
[2,3,4,1,5] => ([(0,4),(1,2),(2,3),(3,4)],5)
 => ([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => 3
[2,3,4,5,1] => ([(1,4),(3,2),(4,3)],5)
 => ([(0,3),(2,1),(3,2)],4)
 => ([(0,3),(2,1),(3,2)],4)
 => 4
[2,3,5,1,4] => ([(0,4),(1,2),(2,3),(2,4)],5)
 => ([(0,3),(2,1),(3,2)],4)
 => ([(0,3),(2,1),(3,2)],4)
 => 4
[2,4,1,3,5] => ([(0,3),(1,2),(1,3),(2,4),(3,4)],5)
 => ([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => 3
[2,4,1,5,3] => ([(0,3),(0,4),(1,2),(1,3),(2,4)],5)
 => ([(0,3),(2,1),(3,2)],4)
 => ([(0,3),(2,1),(3,2)],4)
 => 4
[2,4,5,1,3] => ([(0,4),(1,2),(1,4),(2,3)],5)
 => ([(0,3),(1,4),(2,4),(3,1),(3,2)],5)
 => ([(0,3),(1,4),(2,4),(3,1),(3,2)],5)
 => 4
[2,5,1,3,4] => ([(0,4),(1,2),(1,4),(4,3)],5)
 => ([(0,3),(2,1),(3,2)],4)
 => ([(0,3),(2,1),(3,2)],4)
 => 4
[3,1,2,5,4] => ([(0,3),(0,4),(1,2),(2,3),(2,4)],5)
 => ([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => 3
[3,1,4,2,5] => ([(0,3),(1,2),(1,3),(2,4),(3,4)],5)
 => ([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => 3
[3,1,4,5,2] => ([(0,4),(1,2),(1,4),(4,3)],5)
 => ([(0,3),(2,1),(3,2)],4)
 => ([(0,3),(2,1),(3,2)],4)
 => 4
[3,1,5,2,4] => ([(0,3),(0,4),(1,2),(1,3),(2,4)],5)
 => ([(0,3),(2,1),(3,2)],4)
 => ([(0,3),(2,1),(3,2)],4)
 => 4
[3,4,1,2,5] => ([(0,3),(1,2),(2,4),(3,4)],5)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 3
[3,4,1,5,2] => ([(0,3),(1,2),(1,4),(3,4)],5)
 => ([(0,2),(0,3),(2,4),(3,4),(4,1)],5)
 => ([(0,2),(0,3),(2,4),(3,4),(4,1)],5)
 => 4
[3,4,5,1,2] => ([(0,3),(1,4),(4,2)],5)
 => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
 => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
 => 4
[3,4,5,2,1] => ([(2,3),(3,4)],5)
 => ([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => 3
[3,5,1,2,4] => ([(0,3),(1,2),(1,4),(3,4)],5)
 => ([(0,2),(0,3),(2,4),(3,4),(4,1)],5)
 => ([(0,2),(0,3),(2,4),(3,4),(4,1)],5)
 => 4
[3,5,2,4,1] => ([(1,4),(2,3),(2,4)],5)
 => ([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => 3
[4,1,2,3,5] => ([(0,4),(1,2),(2,3),(3,4)],5)
 => ([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => 3
[4,1,2,5,3] => ([(0,4),(1,2),(2,3),(2,4)],5)
 => ([(0,3),(2,1),(3,2)],4)
 => ([(0,3),(2,1),(3,2)],4)
 => 4
[4,1,5,2,3] => ([(0,4),(1,2),(1,4),(2,3)],5)
 => ([(0,3),(1,4),(2,4),(3,1),(3,2)],5)
 => ([(0,3),(1,4),(2,4),(3,1),(3,2)],5)
 => 4
[4,2,5,3,1] => ([(1,4),(2,3),(2,4)],5)
 => ([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => 3
[4,5,1,2,3] => ([(0,3),(1,4),(4,2)],5)
 => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
 => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
 => 4
[4,5,2,3,1] => ([(1,4),(2,3)],5)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 3
[4,5,3,1,2] => ([(1,4),(2,3)],5)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 3
[5,1,2,3,4] => ([(1,4),(3,2),(4,3)],5)
 => ([(0,3),(2,1),(3,2)],4)
 => ([(0,3),(2,1),(3,2)],4)
 => 4
[5,2,3,4,1] => ([(2,3),(3,4)],5)
 => ([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => 3
[5,2,4,1,3] => ([(1,4),(2,3),(2,4)],5)
 => ([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => 3
[5,3,1,4,2] => ([(1,4),(2,3),(2,4)],5)
 => ([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => 3
[5,3,4,1,2] => ([(1,4),(2,3)],5)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 3
[5,4,1,2,3] => ([(2,3),(3,4)],5)
 => ([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => 3
[1,2,3,4,5,6] => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
 => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
 => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
 => 6
[1,2,4,5,6,3] => ([(0,5),(3,4),(4,2),(5,1),(5,3)],6)
 => ([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => 3
[1,2,4,6,3,5] => ([(0,4),(2,5),(3,1),(3,5),(4,2),(4,3)],6)
 => ([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => 3
[1,2,5,3,6,4] => ([(0,4),(2,5),(3,1),(3,5),(4,2),(4,3)],6)
 => ([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => 3
[2,4,5,6,1,3] => ([(0,5),(1,4),(1,5),(3,2),(4,3)],6)
 => ([(0,4),(1,6),(2,5),(3,1),(3,5),(4,2),(4,3),(5,6)],7)
 => ([(0,4),(1,6),(2,5),(3,1),(3,5),(4,2),(4,3),(5,6)],7)
 => ? = 5
[2,5,6,1,3,4] => ([(0,5),(1,4),(1,5),(4,2),(5,3)],6)
 => ([(0,4),(1,6),(2,5),(3,1),(3,5),(4,2),(4,3),(5,6)],7)
 => ([(0,4),(1,6),(2,5),(3,1),(3,5),(4,2),(4,3),(5,6)],7)
 => ? = 5
[3,4,5,1,6,2] => ([(0,4),(1,3),(1,5),(2,5),(4,2)],6)
 => ([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7)
 => ([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7)
 => ? = 5
[3,4,6,1,2,5] => ([(0,3),(1,4),(3,5),(4,2),(4,5)],6)
 => ([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7)
 => ([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7)
 => ? = 5
[4,1,5,6,2,3] => ([(0,5),(1,4),(1,5),(4,2),(5,3)],6)
 => ([(0,4),(1,6),(2,5),(3,1),(3,5),(4,2),(4,3),(5,6)],7)
 => ([(0,4),(1,6),(2,5),(3,1),(3,5),(4,2),(4,3),(5,6)],7)
 => ? = 5
[4,5,1,2,6,3] => ([(0,3),(1,4),(3,5),(4,2),(4,5)],6)
 => ([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7)
 => ([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7)
 => ? = 5
[4,6,1,2,3,5] => ([(0,4),(1,3),(1,5),(2,5),(4,2)],6)
 => ([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7)
 => ([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7)
 => ? = 5
[5,1,6,2,3,4] => ([(0,5),(1,4),(1,5),(3,2),(4,3)],6)
 => ([(0,4),(1,6),(2,5),(3,1),(3,5),(4,2),(4,3),(5,6)],7)
 => ([(0,4),(1,6),(2,5),(3,1),(3,5),(4,2),(4,3),(5,6)],7)
 => ? = 5
[1,3,5,6,7,2,4] => ([(0,2),(0,5),(2,6),(3,4),(4,1),(5,3),(5,6)],7)
 => ([(0,4),(1,6),(2,5),(3,1),(3,5),(4,2),(4,3),(5,6)],7)
 => ([(0,4),(1,6),(2,5),(3,1),(3,5),(4,2),(4,3),(5,6)],7)
 => ? = 5
[1,3,6,7,2,4,5] => ([(0,3),(0,5),(3,6),(4,1),(5,4),(5,6),(6,2)],7)
 => ([(0,4),(1,6),(2,5),(3,1),(3,5),(4,2),(4,3),(5,6)],7)
 => ([(0,4),(1,6),(2,5),(3,1),(3,5),(4,2),(4,3),(5,6)],7)
 => ? = 5
[1,4,5,6,2,7,3] => ([(0,4),(0,5),(2,6),(3,2),(4,3),(5,1),(5,6)],7)
 => ([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7)
 => ([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7)
 => ? = 5
[1,4,5,7,2,3,6] => ([(0,4),(0,5),(2,6),(3,1),(3,6),(4,2),(5,3)],7)
 => ([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7)
 => ([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7)
 => ? = 5
[1,5,2,6,7,3,4] => ([(0,3),(0,5),(3,6),(4,1),(5,4),(5,6),(6,2)],7)
 => ([(0,4),(1,6),(2,5),(3,1),(3,5),(4,2),(4,3),(5,6)],7)
 => ([(0,4),(1,6),(2,5),(3,1),(3,5),(4,2),(4,3),(5,6)],7)
 => ? = 5
[1,5,6,2,3,7,4] => ([(0,4),(0,5),(2,6),(3,1),(3,6),(4,2),(5,3)],7)
 => ([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7)
 => ([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7)
 => ? = 5
[1,5,7,2,3,4,6] => ([(0,4),(0,5),(2,6),(3,2),(4,3),(5,1),(5,6)],7)
 => ([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7)
 => ([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7)
 => ? = 5
[1,6,2,7,3,4,5] => ([(0,2),(0,5),(2,6),(3,4),(4,1),(5,3),(5,6)],7)
 => ([(0,4),(1,6),(2,5),(3,1),(3,5),(4,2),(4,3),(5,6)],7)
 => ([(0,4),(1,6),(2,5),(3,1),(3,5),(4,2),(4,3),(5,6)],7)
 => ? = 5
[2,1,5,6,7,3,4] => ([(0,5),(0,6),(1,5),(1,6),(4,3),(5,4),(6,2)],7)
 => ([(0,4),(1,6),(2,5),(3,1),(3,5),(4,2),(4,3),(5,6)],7)
 => ([(0,4),(1,6),(2,5),(3,1),(3,5),(4,2),(4,3),(5,6)],7)
 => ? = 5
[2,1,6,7,3,4,5] => ([(0,5),(0,6),(1,5),(1,6),(4,3),(5,4),(6,2)],7)
 => ([(0,4),(1,6),(2,5),(3,1),(3,5),(4,2),(4,3),(5,6)],7)
 => ([(0,4),(1,6),(2,5),(3,1),(3,5),(4,2),(4,3),(5,6)],7)
 => ? = 5
[2,3,4,6,7,1,5] => ([(0,6),(1,4),(3,2),(4,5),(5,3),(5,6)],7)
 => ([(0,4),(1,6),(2,6),(3,5),(4,3),(5,1),(5,2)],7)
 => ([(0,4),(1,6),(2,6),(3,5),(4,3),(5,1),(5,2)],7)
 => ? = 6
[2,3,6,1,7,4,5] => ([(0,5),(0,6),(1,4),(3,5),(4,3),(4,6),(6,2)],7)
 => ([(0,4),(1,6),(2,6),(3,5),(4,3),(5,1),(5,2)],7)
 => ([(0,4),(1,6),(2,6),(3,5),(4,3),(5,1),(5,2)],7)
 => ? = 6
[2,4,1,6,7,3,5] => ([(0,3),(0,6),(1,5),(1,6),(3,4),(3,5),(5,2),(6,4)],7)
 => ([(0,4),(1,6),(2,6),(3,5),(4,3),(5,1),(5,2)],7)
 => ([(0,4),(1,6),(2,6),(3,5),(4,3),(5,1),(5,2)],7)
 => ? = 6
[2,4,5,1,6,7,3] => ([(0,5),(0,6),(1,4),(1,5),(3,6),(4,3),(6,2)],7)
 => ([(0,5),(2,6),(3,6),(4,1),(5,2),(5,3),(6,4)],7)
 => ([(0,5),(2,6),(3,6),(4,1),(5,2),(5,3),(6,4)],7)
 => ? = 6
[2,4,5,1,7,3,6] => ([(0,2),(0,6),(1,5),(1,6),(2,3),(3,4),(3,5),(6,4)],7)
 => ([(0,5),(2,6),(3,6),(4,1),(5,2),(5,3),(6,4)],7)
 => ([(0,5),(2,6),(3,6),(4,1),(5,2),(5,3),(6,4)],7)
 => ? = 6
[2,4,5,6,1,3,7] => ([(0,6),(1,4),(1,6),(2,5),(3,2),(4,3),(6,5)],7)
 => ([(0,4),(1,6),(2,5),(3,1),(3,5),(4,2),(4,3),(5,6)],7)
 => ([(0,4),(1,6),(2,5),(3,1),(3,5),(4,2),(4,3),(5,6)],7)
 => ? = 5
[2,4,6,1,3,7,5] => ([(0,6),(1,3),(1,6),(2,5),(3,2),(3,4),(6,4),(6,5)],7)
 => ([(0,5),(2,6),(3,6),(4,1),(5,2),(5,3),(6,4)],7)
 => ([(0,5),(2,6),(3,6),(4,1),(5,2),(5,3),(6,4)],7)
 => ? = 6
[2,4,7,1,3,5,6] => ([(0,5),(1,4),(1,5),(4,3),(4,6),(5,6),(6,2)],7)
 => ([(0,5),(2,6),(3,6),(4,1),(5,2),(5,3),(6,4)],7)
 => ([(0,5),(2,6),(3,6),(4,1),(5,2),(5,3),(6,4)],7)
 => ? = 6
[2,5,6,1,3,4,7] => ([(0,6),(1,4),(1,6),(2,5),(3,5),(4,3),(6,2)],7)
 => ([(0,4),(1,6),(2,5),(3,1),(3,5),(4,2),(4,3),(5,6)],7)
 => ([(0,4),(1,6),(2,5),(3,1),(3,5),(4,2),(4,3),(5,6)],7)
 => ? = 5
[2,6,1,3,7,4,5] => ([(0,6),(1,3),(1,6),(3,5),(4,2),(6,4),(6,5)],7)
 => ([(0,4),(1,6),(2,6),(3,5),(4,3),(5,1),(5,2)],7)
 => ([(0,4),(1,6),(2,6),(3,5),(4,3),(5,1),(5,2)],7)
 => ? = 6
[3,1,4,6,7,2,5] => ([(0,6),(1,3),(1,6),(3,5),(4,2),(6,4),(6,5)],7)
 => ([(0,4),(1,6),(2,6),(3,5),(4,3),(5,1),(5,2)],7)
 => ([(0,4),(1,6),(2,6),(3,5),(4,3),(5,1),(5,2)],7)
 => ? = 6
[3,1,6,2,7,4,5] => ([(0,3),(0,6),(1,5),(1,6),(3,4),(3,5),(5,2),(6,4)],7)
 => ([(0,4),(1,6),(2,6),(3,5),(4,3),(5,1),(5,2)],7)
 => ([(0,4),(1,6),(2,6),(3,5),(4,3),(5,1),(5,2)],7)
 => ? = 6
[3,4,1,5,6,7,2] => ([(0,4),(1,3),(1,6),(4,6),(5,2),(6,5)],7)
 => ([(0,2),(0,3),(2,6),(3,6),(4,1),(5,4),(6,5)],7)
 => ([(0,2),(0,3),(2,6),(3,6),(4,1),(5,4),(6,5)],7)
 => ? = 6
[3,4,1,5,7,2,6] => ([(0,3),(1,4),(1,6),(3,6),(4,5),(6,2),(6,5)],7)
 => ([(0,2),(0,3),(2,6),(3,6),(4,1),(5,4),(6,5)],7)
 => ([(0,2),(0,3),(2,6),(3,6),(4,1),(5,4),(6,5)],7)
 => ? = 6
[3,4,1,6,2,7,5] => ([(0,3),(1,2),(1,6),(2,4),(2,5),(3,4),(3,6),(6,5)],7)
 => ([(0,2),(0,3),(2,6),(3,6),(4,1),(5,4),(6,5)],7)
 => ([(0,2),(0,3),(2,6),(3,6),(4,1),(5,4),(6,5)],7)
 => ? = 6
[3,4,1,7,2,5,6] => ([(0,4),(1,3),(1,5),(3,6),(4,5),(4,6),(6,2)],7)
 => ([(0,2),(0,3),(2,6),(3,6),(4,1),(5,4),(6,5)],7)
 => ([(0,2),(0,3),(2,6),(3,6),(4,1),(5,4),(6,5)],7)
 => ? = 6
[3,4,5,1,2,7,6] => ([(0,3),(1,4),(2,5),(2,6),(3,5),(3,6),(4,2)],7)
 => ([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7)
 => ([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7)
 => ? = 5
[3,4,5,1,6,2,7] => ([(0,3),(0,6),(1,4),(2,6),(3,5),(4,2),(6,5)],7)
 => ([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7)
 => ([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7)
 => ? = 5
[3,4,6,1,2,5,7] => ([(0,3),(1,4),(2,6),(3,5),(4,2),(4,5),(5,6)],7)
 => ([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7)
 => ([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7)
 => ? = 5
[3,5,1,2,6,7,4] => ([(0,4),(1,3),(1,5),(3,6),(4,5),(4,6),(6,2)],7)
 => ([(0,2),(0,3),(2,6),(3,6),(4,1),(5,4),(6,5)],7)
 => ([(0,2),(0,3),(2,6),(3,6),(4,1),(5,4),(6,5)],7)
 => ? = 6
[3,5,1,2,7,4,6] => ([(0,3),(1,2),(1,6),(2,4),(2,5),(3,4),(3,6),(6,5)],7)
 => ([(0,2),(0,3),(2,6),(3,6),(4,1),(5,4),(6,5)],7)
 => ([(0,2),(0,3),(2,6),(3,6),(4,1),(5,4),(6,5)],7)
 => ? = 6
[3,5,6,7,2,4,1] => ([(1,6),(2,3),(2,6),(3,5),(5,4)],7)
 => ([(0,4),(1,6),(2,5),(3,1),(3,5),(4,2),(4,3),(5,6)],7)
 => ([(0,4),(1,6),(2,5),(3,1),(3,5),(4,2),(4,3),(5,6)],7)
 => ? = 5
[3,6,1,2,4,7,5] => ([(0,3),(1,4),(1,6),(3,6),(4,5),(6,2),(6,5)],7)
 => ([(0,2),(0,3),(2,6),(3,6),(4,1),(5,4),(6,5)],7)
 => ([(0,2),(0,3),(2,6),(3,6),(4,1),(5,4),(6,5)],7)
 => ? = 6
[3,6,7,2,4,5,1] => ([(1,6),(2,3),(2,6),(3,5),(6,4)],7)
 => ([(0,4),(1,6),(2,5),(3,1),(3,5),(4,2),(4,3),(5,6)],7)
 => ([(0,4),(1,6),(2,5),(3,1),(3,5),(4,2),(4,3),(5,6)],7)
 => ? = 5
[3,6,7,2,5,1,4] => ([(0,6),(1,5),(1,6),(2,3),(2,5),(2,6),(3,4)],7)
 => ([(0,4),(1,6),(2,5),(3,1),(3,5),(4,2),(4,3),(5,6)],7)
 => ([(0,4),(1,6),(2,5),(3,1),(3,5),(4,2),(4,3),(5,6)],7)
 => ? = 5
[3,7,1,2,4,5,6] => ([(0,4),(1,3),(1,6),(4,6),(5,2),(6,5)],7)
 => ([(0,2),(0,3),(2,6),(3,6),(4,1),(5,4),(6,5)],7)
 => ([(0,2),(0,3),(2,6),(3,6),(4,1),(5,4),(6,5)],7)
 => ? = 6
[4,1,2,6,7,3,5] => ([(0,5),(0,6),(1,4),(3,5),(4,3),(4,6),(6,2)],7)
 => ([(0,4),(1,6),(2,6),(3,5),(4,3),(5,1),(5,2)],7)
 => ([(0,4),(1,6),(2,6),(3,5),(4,3),(5,1),(5,2)],7)
 => ? = 6
[4,1,5,2,6,7,3] => ([(0,5),(1,4),(1,5),(4,3),(4,6),(5,6),(6,2)],7)
 => ([(0,5),(2,6),(3,6),(4,1),(5,2),(5,3),(6,4)],7)
 => ([(0,5),(2,6),(3,6),(4,1),(5,2),(5,3),(6,4)],7)
 => ? = 6
[4,1,5,2,7,3,6] => ([(0,6),(1,3),(1,6),(2,5),(3,2),(3,4),(6,4),(6,5)],7)
 => ([(0,5),(2,6),(3,6),(4,1),(5,2),(5,3),(6,4)],7)
 => ([(0,5),(2,6),(3,6),(4,1),(5,2),(5,3),(6,4)],7)
 => ? = 6
[4,1,5,6,2,3,7] => ([(0,6),(1,4),(1,6),(2,5),(3,5),(4,3),(6,2)],7)
 => ([(0,4),(1,6),(2,5),(3,1),(3,5),(4,2),(4,3),(5,6)],7)
 => ([(0,4),(1,6),(2,5),(3,1),(3,5),(4,2),(4,3),(5,6)],7)
 => ? = 5
[4,1,6,2,3,7,5] => ([(0,2),(0,6),(1,5),(1,6),(2,3),(3,4),(3,5),(6,4)],7)
 => ([(0,5),(2,6),(3,6),(4,1),(5,2),(5,3),(6,4)],7)
 => ([(0,5),(2,6),(3,6),(4,1),(5,2),(5,3),(6,4)],7)
 => ? = 6
[4,1,7,2,3,5,6] => ([(0,5),(0,6),(1,4),(1,5),(3,6),(4,3),(6,2)],7)
 => ([(0,5),(2,6),(3,6),(4,1),(5,2),(5,3),(6,4)],7)
 => ([(0,5),(2,6),(3,6),(4,1),(5,2),(5,3),(6,4)],7)
 => ? = 6

Description

The height of a poset. This equals the rank of the poset [[St000080]] plus one.

Matching statistic: St000906

Mapping

Mp00065: Permutations —permutation poset⟶ Posets
Mp00206: Posets —antichains of maximal size⟶ Lattices
Mp00193: Lattices —to poset⟶ Posets
St000906: Posets ⟶ ℤResult quality: 80% ●values known / values provided: 96%●distinct values known / distinct values provided: 80%

Values

[1,2,3] => ([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => 3
[1,2,3,4] => ([(0,3),(2,1),(3,2)],4)
 => ([(0,3),(2,1),(3,2)],4)
 => ([(0,3),(2,1),(3,2)],4)
 => 4
[2,3,4,1] => ([(1,2),(2,3)],4)
 => ([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => 3
[2,4,1,3] => ([(0,3),(1,2),(1,3)],4)
 => ([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => 3
[3,1,4,2] => ([(0,3),(1,2),(1,3)],4)
 => ([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => 3
[3,4,1,2] => ([(0,3),(1,2)],4)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 3
[4,1,2,3] => ([(1,2),(2,3)],4)
 => ([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => 3
[1,2,3,4,5] => ([(0,4),(2,3),(3,1),(4,2)],5)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => 5
[1,3,4,5,2] => ([(0,2),(0,4),(3,1),(4,3)],5)
 => ([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => 3
[1,3,5,2,4] => ([(0,2),(0,3),(2,4),(3,1),(3,4)],5)
 => ([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => 3
[1,4,2,5,3] => ([(0,2),(0,3),(2,4),(3,1),(3,4)],5)
 => ([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => 3
[1,4,5,2,3] => ([(0,3),(0,4),(3,2),(4,1)],5)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 3
[1,5,2,3,4] => ([(0,2),(0,4),(3,1),(4,3)],5)
 => ([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => 3
[2,1,4,5,3] => ([(0,3),(0,4),(1,3),(1,4),(4,2)],5)
 => ([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => 3
[2,1,5,3,4] => ([(0,3),(0,4),(1,3),(1,4),(4,2)],5)
 => ([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => 3
[2,3,1,5,4] => ([(0,3),(0,4),(1,2),(2,3),(2,4)],5)
 => ([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => 3
[2,3,4,1,5] => ([(0,4),(1,2),(2,3),(3,4)],5)
 => ([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => 3
[2,3,4,5,1] => ([(1,4),(3,2),(4,3)],5)
 => ([(0,3),(2,1),(3,2)],4)
 => ([(0,3),(2,1),(3,2)],4)
 => 4
[2,3,5,1,4] => ([(0,4),(1,2),(2,3),(2,4)],5)
 => ([(0,3),(2,1),(3,2)],4)
 => ([(0,3),(2,1),(3,2)],4)
 => 4
[2,4,1,3,5] => ([(0,3),(1,2),(1,3),(2,4),(3,4)],5)
 => ([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => 3
[2,4,1,5,3] => ([(0,3),(0,4),(1,2),(1,3),(2,4)],5)
 => ([(0,3),(2,1),(3,2)],4)
 => ([(0,3),(2,1),(3,2)],4)
 => 4
[2,4,5,1,3] => ([(0,4),(1,2),(1,4),(2,3)],5)
 => ([(0,3),(1,4),(2,4),(3,1),(3,2)],5)
 => ([(0,3),(1,4),(2,4),(3,1),(3,2)],5)
 => 4
[2,5,1,3,4] => ([(0,4),(1,2),(1,4),(4,3)],5)
 => ([(0,3),(2,1),(3,2)],4)
 => ([(0,3),(2,1),(3,2)],4)
 => 4
[3,1,2,5,4] => ([(0,3),(0,4),(1,2),(2,3),(2,4)],5)
 => ([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => 3
[3,1,4,2,5] => ([(0,3),(1,2),(1,3),(2,4),(3,4)],5)
 => ([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => 3
[3,1,4,5,2] => ([(0,4),(1,2),(1,4),(4,3)],5)
 => ([(0,3),(2,1),(3,2)],4)
 => ([(0,3),(2,1),(3,2)],4)
 => 4
[3,1,5,2,4] => ([(0,3),(0,4),(1,2),(1,3),(2,4)],5)
 => ([(0,3),(2,1),(3,2)],4)
 => ([(0,3),(2,1),(3,2)],4)
 => 4
[3,4,1,2,5] => ([(0,3),(1,2),(2,4),(3,4)],5)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 3
[3,4,1,5,2] => ([(0,3),(1,2),(1,4),(3,4)],5)
 => ([(0,2),(0,3),(2,4),(3,4),(4,1)],5)
 => ([(0,2),(0,3),(2,4),(3,4),(4,1)],5)
 => 4
[3,4,5,1,2] => ([(0,3),(1,4),(4,2)],5)
 => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
 => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
 => 4
[3,4,5,2,1] => ([(2,3),(3,4)],5)
 => ([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => 3
[3,5,1,2,4] => ([(0,3),(1,2),(1,4),(3,4)],5)
 => ([(0,2),(0,3),(2,4),(3,4),(4,1)],5)
 => ([(0,2),(0,3),(2,4),(3,4),(4,1)],5)
 => 4
[3,5,2,4,1] => ([(1,4),(2,3),(2,4)],5)
 => ([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => 3
[4,1,2,3,5] => ([(0,4),(1,2),(2,3),(3,4)],5)
 => ([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => 3
[4,1,2,5,3] => ([(0,4),(1,2),(2,3),(2,4)],5)
 => ([(0,3),(2,1),(3,2)],4)
 => ([(0,3),(2,1),(3,2)],4)
 => 4
[4,1,5,2,3] => ([(0,4),(1,2),(1,4),(2,3)],5)
 => ([(0,3),(1,4),(2,4),(3,1),(3,2)],5)
 => ([(0,3),(1,4),(2,4),(3,1),(3,2)],5)
 => 4
[4,2,5,3,1] => ([(1,4),(2,3),(2,4)],5)
 => ([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => 3
[4,5,1,2,3] => ([(0,3),(1,4),(4,2)],5)
 => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
 => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
 => 4
[4,5,2,3,1] => ([(1,4),(2,3)],5)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 3
[4,5,3,1,2] => ([(1,4),(2,3)],5)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 3
[5,1,2,3,4] => ([(1,4),(3,2),(4,3)],5)
 => ([(0,3),(2,1),(3,2)],4)
 => ([(0,3),(2,1),(3,2)],4)
 => 4
[5,2,3,4,1] => ([(2,3),(3,4)],5)
 => ([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => 3
[5,2,4,1,3] => ([(1,4),(2,3),(2,4)],5)
 => ([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => 3
[5,3,1,4,2] => ([(1,4),(2,3),(2,4)],5)
 => ([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => 3
[5,3,4,1,2] => ([(1,4),(2,3)],5)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 3
[5,4,1,2,3] => ([(2,3),(3,4)],5)
 => ([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => 3
[1,2,3,4,5,6] => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
 => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
 => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
 => 6
[1,2,4,5,6,3] => ([(0,5),(3,4),(4,2),(5,1),(5,3)],6)
 => ([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => 3
[1,2,4,6,3,5] => ([(0,4),(2,5),(3,1),(3,5),(4,2),(4,3)],6)
 => ([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => 3
[1,2,5,3,6,4] => ([(0,4),(2,5),(3,1),(3,5),(4,2),(4,3)],6)
 => ([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => 3
[2,4,5,6,1,3] => ([(0,5),(1,4),(1,5),(3,2),(4,3)],6)
 => ([(0,4),(1,6),(2,5),(3,1),(3,5),(4,2),(4,3),(5,6)],7)
 => ([(0,4),(1,6),(2,5),(3,1),(3,5),(4,2),(4,3),(5,6)],7)
 => ? = 5
[2,5,6,1,3,4] => ([(0,5),(1,4),(1,5),(4,2),(5,3)],6)
 => ([(0,4),(1,6),(2,5),(3,1),(3,5),(4,2),(4,3),(5,6)],7)
 => ([(0,4),(1,6),(2,5),(3,1),(3,5),(4,2),(4,3),(5,6)],7)
 => ? = 5
[3,4,5,1,6,2] => ([(0,4),(1,3),(1,5),(2,5),(4,2)],6)
 => ([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7)
 => ([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7)
 => ? = 5
[3,4,6,1,2,5] => ([(0,3),(1,4),(3,5),(4,2),(4,5)],6)
 => ([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7)
 => ([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7)
 => ? = 5
[4,1,5,6,2,3] => ([(0,5),(1,4),(1,5),(4,2),(5,3)],6)
 => ([(0,4),(1,6),(2,5),(3,1),(3,5),(4,2),(4,3),(5,6)],7)
 => ([(0,4),(1,6),(2,5),(3,1),(3,5),(4,2),(4,3),(5,6)],7)
 => ? = 5
[4,5,1,2,6,3] => ([(0,3),(1,4),(3,5),(4,2),(4,5)],6)
 => ([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7)
 => ([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7)
 => ? = 5
[4,6,1,2,3,5] => ([(0,4),(1,3),(1,5),(2,5),(4,2)],6)
 => ([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7)
 => ([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7)
 => ? = 5
[5,1,6,2,3,4] => ([(0,5),(1,4),(1,5),(3,2),(4,3)],6)
 => ([(0,4),(1,6),(2,5),(3,1),(3,5),(4,2),(4,3),(5,6)],7)
 => ([(0,4),(1,6),(2,5),(3,1),(3,5),(4,2),(4,3),(5,6)],7)
 => ? = 5
[1,2,3,4,5,6,7] => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
 => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
 => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
 => ? = 7
[1,3,5,6,7,2,4] => ([(0,2),(0,5),(2,6),(3,4),(4,1),(5,3),(5,6)],7)
 => ([(0,4),(1,6),(2,5),(3,1),(3,5),(4,2),(4,3),(5,6)],7)
 => ([(0,4),(1,6),(2,5),(3,1),(3,5),(4,2),(4,3),(5,6)],7)
 => ? = 5
[1,3,6,7,2,4,5] => ([(0,3),(0,5),(3,6),(4,1),(5,4),(5,6),(6,2)],7)
 => ([(0,4),(1,6),(2,5),(3,1),(3,5),(4,2),(4,3),(5,6)],7)
 => ([(0,4),(1,6),(2,5),(3,1),(3,5),(4,2),(4,3),(5,6)],7)
 => ? = 5
[1,4,5,6,2,7,3] => ([(0,4),(0,5),(2,6),(3,2),(4,3),(5,1),(5,6)],7)
 => ([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7)
 => ([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7)
 => ? = 5
[1,4,5,7,2,3,6] => ([(0,4),(0,5),(2,6),(3,1),(3,6),(4,2),(5,3)],7)
 => ([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7)
 => ([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7)
 => ? = 5
[1,5,2,6,7,3,4] => ([(0,3),(0,5),(3,6),(4,1),(5,4),(5,6),(6,2)],7)
 => ([(0,4),(1,6),(2,5),(3,1),(3,5),(4,2),(4,3),(5,6)],7)
 => ([(0,4),(1,6),(2,5),(3,1),(3,5),(4,2),(4,3),(5,6)],7)
 => ? = 5
[1,5,6,2,3,7,4] => ([(0,4),(0,5),(2,6),(3,1),(3,6),(4,2),(5,3)],7)
 => ([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7)
 => ([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7)
 => ? = 5
[1,5,7,2,3,4,6] => ([(0,4),(0,5),(2,6),(3,2),(4,3),(5,1),(5,6)],7)
 => ([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7)
 => ([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7)
 => ? = 5
[1,6,2,7,3,4,5] => ([(0,2),(0,5),(2,6),(3,4),(4,1),(5,3),(5,6)],7)
 => ([(0,4),(1,6),(2,5),(3,1),(3,5),(4,2),(4,3),(5,6)],7)
 => ([(0,4),(1,6),(2,5),(3,1),(3,5),(4,2),(4,3),(5,6)],7)
 => ? = 5
[2,1,5,6,7,3,4] => ([(0,5),(0,6),(1,5),(1,6),(4,3),(5,4),(6,2)],7)
 => ([(0,4),(1,6),(2,5),(3,1),(3,5),(4,2),(4,3),(5,6)],7)
 => ([(0,4),(1,6),(2,5),(3,1),(3,5),(4,2),(4,3),(5,6)],7)
 => ? = 5
[2,1,6,7,3,4,5] => ([(0,5),(0,6),(1,5),(1,6),(4,3),(5,4),(6,2)],7)
 => ([(0,4),(1,6),(2,5),(3,1),(3,5),(4,2),(4,3),(5,6)],7)
 => ([(0,4),(1,6),(2,5),(3,1),(3,5),(4,2),(4,3),(5,6)],7)
 => ? = 5
[2,3,4,6,7,1,5] => ([(0,6),(1,4),(3,2),(4,5),(5,3),(5,6)],7)
 => ([(0,4),(1,6),(2,6),(3,5),(4,3),(5,1),(5,2)],7)
 => ([(0,4),(1,6),(2,6),(3,5),(4,3),(5,1),(5,2)],7)
 => ? = 6
[2,3,6,1,7,4,5] => ([(0,5),(0,6),(1,4),(3,5),(4,3),(4,6),(6,2)],7)
 => ([(0,4),(1,6),(2,6),(3,5),(4,3),(5,1),(5,2)],7)
 => ([(0,4),(1,6),(2,6),(3,5),(4,3),(5,1),(5,2)],7)
 => ? = 6
[2,4,1,6,7,3,5] => ([(0,3),(0,6),(1,5),(1,6),(3,4),(3,5),(5,2),(6,4)],7)
 => ([(0,4),(1,6),(2,6),(3,5),(4,3),(5,1),(5,2)],7)
 => ([(0,4),(1,6),(2,6),(3,5),(4,3),(5,1),(5,2)],7)
 => ? = 6
[2,4,5,1,6,7,3] => ([(0,5),(0,6),(1,4),(1,5),(3,6),(4,3),(6,2)],7)
 => ([(0,5),(2,6),(3,6),(4,1),(5,2),(5,3),(6,4)],7)
 => ([(0,5),(2,6),(3,6),(4,1),(5,2),(5,3),(6,4)],7)
 => ? = 6
[2,4,5,1,7,3,6] => ([(0,2),(0,6),(1,5),(1,6),(2,3),(3,4),(3,5),(6,4)],7)
 => ([(0,5),(2,6),(3,6),(4,1),(5,2),(5,3),(6,4)],7)
 => ([(0,5),(2,6),(3,6),(4,1),(5,2),(5,3),(6,4)],7)
 => ? = 6
[2,4,5,6,1,3,7] => ([(0,6),(1,4),(1,6),(2,5),(3,2),(4,3),(6,5)],7)
 => ([(0,4),(1,6),(2,5),(3,1),(3,5),(4,2),(4,3),(5,6)],7)
 => ([(0,4),(1,6),(2,5),(3,1),(3,5),(4,2),(4,3),(5,6)],7)
 => ? = 5
[2,4,6,1,3,7,5] => ([(0,6),(1,3),(1,6),(2,5),(3,2),(3,4),(6,4),(6,5)],7)
 => ([(0,5),(2,6),(3,6),(4,1),(5,2),(5,3),(6,4)],7)
 => ([(0,5),(2,6),(3,6),(4,1),(5,2),(5,3),(6,4)],7)
 => ? = 6
[2,4,7,1,3,5,6] => ([(0,5),(1,4),(1,5),(4,3),(4,6),(5,6),(6,2)],7)
 => ([(0,5),(2,6),(3,6),(4,1),(5,2),(5,3),(6,4)],7)
 => ([(0,5),(2,6),(3,6),(4,1),(5,2),(5,3),(6,4)],7)
 => ? = 6
[2,5,6,1,3,4,7] => ([(0,6),(1,4),(1,6),(2,5),(3,5),(4,3),(6,2)],7)
 => ([(0,4),(1,6),(2,5),(3,1),(3,5),(4,2),(4,3),(5,6)],7)
 => ([(0,4),(1,6),(2,5),(3,1),(3,5),(4,2),(4,3),(5,6)],7)
 => ? = 5
[2,6,1,3,7,4,5] => ([(0,6),(1,3),(1,6),(3,5),(4,2),(6,4),(6,5)],7)
 => ([(0,4),(1,6),(2,6),(3,5),(4,3),(5,1),(5,2)],7)
 => ([(0,4),(1,6),(2,6),(3,5),(4,3),(5,1),(5,2)],7)
 => ? = 6
[3,1,4,6,7,2,5] => ([(0,6),(1,3),(1,6),(3,5),(4,2),(6,4),(6,5)],7)
 => ([(0,4),(1,6),(2,6),(3,5),(4,3),(5,1),(5,2)],7)
 => ([(0,4),(1,6),(2,6),(3,5),(4,3),(5,1),(5,2)],7)
 => ? = 6
[3,1,6,2,7,4,5] => ([(0,3),(0,6),(1,5),(1,6),(3,4),(3,5),(5,2),(6,4)],7)
 => ([(0,4),(1,6),(2,6),(3,5),(4,3),(5,1),(5,2)],7)
 => ([(0,4),(1,6),(2,6),(3,5),(4,3),(5,1),(5,2)],7)
 => ? = 6
[3,4,1,5,6,7,2] => ([(0,4),(1,3),(1,6),(4,6),(5,2),(6,5)],7)
 => ([(0,2),(0,3),(2,6),(3,6),(4,1),(5,4),(6,5)],7)
 => ([(0,2),(0,3),(2,6),(3,6),(4,1),(5,4),(6,5)],7)
 => ? = 6
[3,4,1,5,7,2,6] => ([(0,3),(1,4),(1,6),(3,6),(4,5),(6,2),(6,5)],7)
 => ([(0,2),(0,3),(2,6),(3,6),(4,1),(5,4),(6,5)],7)
 => ([(0,2),(0,3),(2,6),(3,6),(4,1),(5,4),(6,5)],7)
 => ? = 6
[3,4,1,6,2,7,5] => ([(0,3),(1,2),(1,6),(2,4),(2,5),(3,4),(3,6),(6,5)],7)
 => ([(0,2),(0,3),(2,6),(3,6),(4,1),(5,4),(6,5)],7)
 => ([(0,2),(0,3),(2,6),(3,6),(4,1),(5,4),(6,5)],7)
 => ? = 6
[3,4,1,7,2,5,6] => ([(0,4),(1,3),(1,5),(3,6),(4,5),(4,6),(6,2)],7)
 => ([(0,2),(0,3),(2,6),(3,6),(4,1),(5,4),(6,5)],7)
 => ([(0,2),(0,3),(2,6),(3,6),(4,1),(5,4),(6,5)],7)
 => ? = 6
[3,4,5,1,2,7,6] => ([(0,3),(1,4),(2,5),(2,6),(3,5),(3,6),(4,2)],7)
 => ([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7)
 => ([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7)
 => ? = 5
[3,4,5,1,6,2,7] => ([(0,3),(0,6),(1,4),(2,6),(3,5),(4,2),(6,5)],7)
 => ([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7)
 => ([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7)
 => ? = 5
[3,4,6,1,2,5,7] => ([(0,3),(1,4),(2,6),(3,5),(4,2),(4,5),(5,6)],7)
 => ([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7)
 => ([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7)
 => ? = 5
[3,5,1,2,6,7,4] => ([(0,4),(1,3),(1,5),(3,6),(4,5),(4,6),(6,2)],7)
 => ([(0,2),(0,3),(2,6),(3,6),(4,1),(5,4),(6,5)],7)
 => ([(0,2),(0,3),(2,6),(3,6),(4,1),(5,4),(6,5)],7)
 => ? = 6
[3,5,1,2,7,4,6] => ([(0,3),(1,2),(1,6),(2,4),(2,5),(3,4),(3,6),(6,5)],7)
 => ([(0,2),(0,3),(2,6),(3,6),(4,1),(5,4),(6,5)],7)
 => ([(0,2),(0,3),(2,6),(3,6),(4,1),(5,4),(6,5)],7)
 => ? = 6
[3,5,6,7,2,4,1] => ([(1,6),(2,3),(2,6),(3,5),(5,4)],7)
 => ([(0,4),(1,6),(2,5),(3,1),(3,5),(4,2),(4,3),(5,6)],7)
 => ([(0,4),(1,6),(2,5),(3,1),(3,5),(4,2),(4,3),(5,6)],7)
 => ? = 5
[3,6,1,2,4,7,5] => ([(0,3),(1,4),(1,6),(3,6),(4,5),(6,2),(6,5)],7)
 => ([(0,2),(0,3),(2,6),(3,6),(4,1),(5,4),(6,5)],7)
 => ([(0,2),(0,3),(2,6),(3,6),(4,1),(5,4),(6,5)],7)
 => ? = 6
[3,6,7,2,4,5,1] => ([(1,6),(2,3),(2,6),(3,5),(6,4)],7)
 => ([(0,4),(1,6),(2,5),(3,1),(3,5),(4,2),(4,3),(5,6)],7)
 => ([(0,4),(1,6),(2,5),(3,1),(3,5),(4,2),(4,3),(5,6)],7)
 => ? = 5
[3,6,7,2,5,1,4] => ([(0,6),(1,5),(1,6),(2,3),(2,5),(2,6),(3,4)],7)
 => ([(0,4),(1,6),(2,5),(3,1),(3,5),(4,2),(4,3),(5,6)],7)
 => ([(0,4),(1,6),(2,5),(3,1),(3,5),(4,2),(4,3),(5,6)],7)
 => ? = 5
[3,7,1,2,4,5,6] => ([(0,4),(1,3),(1,6),(4,6),(5,2),(6,5)],7)
 => ([(0,2),(0,3),(2,6),(3,6),(4,1),(5,4),(6,5)],7)
 => ([(0,2),(0,3),(2,6),(3,6),(4,1),(5,4),(6,5)],7)
 => ? = 6
[4,1,2,6,7,3,5] => ([(0,5),(0,6),(1,4),(3,5),(4,3),(4,6),(6,2)],7)
 => ([(0,4),(1,6),(2,6),(3,5),(4,3),(5,1),(5,2)],7)
 => ([(0,4),(1,6),(2,6),(3,5),(4,3),(5,1),(5,2)],7)
 => ? = 6
[4,1,5,2,6,7,3] => ([(0,5),(1,4),(1,5),(4,3),(4,6),(5,6),(6,2)],7)
 => ([(0,5),(2,6),(3,6),(4,1),(5,2),(5,3),(6,4)],7)
 => ([(0,5),(2,6),(3,6),(4,1),(5,2),(5,3),(6,4)],7)
 => ? = 6
[4,1,5,2,7,3,6] => ([(0,6),(1,3),(1,6),(2,5),(3,2),(3,4),(6,4),(6,5)],7)
 => ([(0,5),(2,6),(3,6),(4,1),(5,2),(5,3),(6,4)],7)
 => ([(0,5),(2,6),(3,6),(4,1),(5,2),(5,3),(6,4)],7)
 => ? = 6
[4,1,5,6,2,3,7] => ([(0,6),(1,4),(1,6),(2,5),(3,5),(4,3),(6,2)],7)
 => ([(0,4),(1,6),(2,5),(3,1),(3,5),(4,2),(4,3),(5,6)],7)
 => ([(0,4),(1,6),(2,5),(3,1),(3,5),(4,2),(4,3),(5,6)],7)
 => ? = 5
[4,1,6,2,3,7,5] => ([(0,2),(0,6),(1,5),(1,6),(2,3),(3,4),(3,5),(6,4)],7)
 => ([(0,5),(2,6),(3,6),(4,1),(5,2),(5,3),(6,4)],7)
 => ([(0,5),(2,6),(3,6),(4,1),(5,2),(5,3),(6,4)],7)
 => ? = 6

Description

The length of the shortest maximal chain in a poset.

Matching statistic: St001636

Mapping

Mp00065: Permutations —permutation poset⟶ Posets
Mp00206: Posets —antichains of maximal size⟶ Lattices
Mp00193: Lattices —to poset⟶ Posets
St001636: Posets ⟶ ℤResult quality: 80% ●values known / values provided: 96%●distinct values known / distinct values provided: 80%

Values

[1,2,3] => ([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => 3
[1,2,3,4] => ([(0,3),(2,1),(3,2)],4)
 => ([(0,3),(2,1),(3,2)],4)
 => ([(0,3),(2,1),(3,2)],4)
 => 4
[2,3,4,1] => ([(1,2),(2,3)],4)
 => ([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => 3
[2,4,1,3] => ([(0,3),(1,2),(1,3)],4)
 => ([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => 3
[3,1,4,2] => ([(0,3),(1,2),(1,3)],4)
 => ([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => 3
[3,4,1,2] => ([(0,3),(1,2)],4)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 3
[4,1,2,3] => ([(1,2),(2,3)],4)
 => ([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => 3
[1,2,3,4,5] => ([(0,4),(2,3),(3,1),(4,2)],5)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => 5
[1,3,4,5,2] => ([(0,2),(0,4),(3,1),(4,3)],5)
 => ([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => 3
[1,3,5,2,4] => ([(0,2),(0,3),(2,4),(3,1),(3,4)],5)
 => ([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => 3
[1,4,2,5,3] => ([(0,2),(0,3),(2,4),(3,1),(3,4)],5)
 => ([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => 3
[1,4,5,2,3] => ([(0,3),(0,4),(3,2),(4,1)],5)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 3
[1,5,2,3,4] => ([(0,2),(0,4),(3,1),(4,3)],5)
 => ([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => 3
[2,1,4,5,3] => ([(0,3),(0,4),(1,3),(1,4),(4,2)],5)
 => ([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => 3
[2,1,5,3,4] => ([(0,3),(0,4),(1,3),(1,4),(4,2)],5)
 => ([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => 3
[2,3,1,5,4] => ([(0,3),(0,4),(1,2),(2,3),(2,4)],5)
 => ([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => 3
[2,3,4,1,5] => ([(0,4),(1,2),(2,3),(3,4)],5)
 => ([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => 3
[2,3,4,5,1] => ([(1,4),(3,2),(4,3)],5)
 => ([(0,3),(2,1),(3,2)],4)
 => ([(0,3),(2,1),(3,2)],4)
 => 4
[2,3,5,1,4] => ([(0,4),(1,2),(2,3),(2,4)],5)
 => ([(0,3),(2,1),(3,2)],4)
 => ([(0,3),(2,1),(3,2)],4)
 => 4
[2,4,1,3,5] => ([(0,3),(1,2),(1,3),(2,4),(3,4)],5)
 => ([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => 3
[2,4,1,5,3] => ([(0,3),(0,4),(1,2),(1,3),(2,4)],5)
 => ([(0,3),(2,1),(3,2)],4)
 => ([(0,3),(2,1),(3,2)],4)
 => 4
[2,4,5,1,3] => ([(0,4),(1,2),(1,4),(2,3)],5)
 => ([(0,3),(1,4),(2,4),(3,1),(3,2)],5)
 => ([(0,3),(1,4),(2,4),(3,1),(3,2)],5)
 => 4
[2,5,1,3,4] => ([(0,4),(1,2),(1,4),(4,3)],5)
 => ([(0,3),(2,1),(3,2)],4)
 => ([(0,3),(2,1),(3,2)],4)
 => 4
[3,1,2,5,4] => ([(0,3),(0,4),(1,2),(2,3),(2,4)],5)
 => ([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => 3
[3,1,4,2,5] => ([(0,3),(1,2),(1,3),(2,4),(3,4)],5)
 => ([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => 3
[3,1,4,5,2] => ([(0,4),(1,2),(1,4),(4,3)],5)
 => ([(0,3),(2,1),(3,2)],4)
 => ([(0,3),(2,1),(3,2)],4)
 => 4
[3,1,5,2,4] => ([(0,3),(0,4),(1,2),(1,3),(2,4)],5)
 => ([(0,3),(2,1),(3,2)],4)
 => ([(0,3),(2,1),(3,2)],4)
 => 4
[3,4,1,2,5] => ([(0,3),(1,2),(2,4),(3,4)],5)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 3
[3,4,1,5,2] => ([(0,3),(1,2),(1,4),(3,4)],5)
 => ([(0,2),(0,3),(2,4),(3,4),(4,1)],5)
 => ([(0,2),(0,3),(2,4),(3,4),(4,1)],5)
 => 4
[3,4,5,1,2] => ([(0,3),(1,4),(4,2)],5)
 => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
 => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
 => 4
[3,4,5,2,1] => ([(2,3),(3,4)],5)
 => ([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => 3
[3,5,1,2,4] => ([(0,3),(1,2),(1,4),(3,4)],5)
 => ([(0,2),(0,3),(2,4),(3,4),(4,1)],5)
 => ([(0,2),(0,3),(2,4),(3,4),(4,1)],5)
 => 4
[3,5,2,4,1] => ([(1,4),(2,3),(2,4)],5)
 => ([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => 3
[4,1,2,3,5] => ([(0,4),(1,2),(2,3),(3,4)],5)
 => ([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => 3
[4,1,2,5,3] => ([(0,4),(1,2),(2,3),(2,4)],5)
 => ([(0,3),(2,1),(3,2)],4)
 => ([(0,3),(2,1),(3,2)],4)
 => 4
[4,1,5,2,3] => ([(0,4),(1,2),(1,4),(2,3)],5)
 => ([(0,3),(1,4),(2,4),(3,1),(3,2)],5)
 => ([(0,3),(1,4),(2,4),(3,1),(3,2)],5)
 => 4
[4,2,5,3,1] => ([(1,4),(2,3),(2,4)],5)
 => ([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => 3
[4,5,1,2,3] => ([(0,3),(1,4),(4,2)],5)
 => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
 => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
 => 4
[4,5,2,3,1] => ([(1,4),(2,3)],5)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 3
[4,5,3,1,2] => ([(1,4),(2,3)],5)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 3
[5,1,2,3,4] => ([(1,4),(3,2),(4,3)],5)
 => ([(0,3),(2,1),(3,2)],4)
 => ([(0,3),(2,1),(3,2)],4)
 => 4
[5,2,3,4,1] => ([(2,3),(3,4)],5)
 => ([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => 3
[5,2,4,1,3] => ([(1,4),(2,3),(2,4)],5)
 => ([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => 3
[5,3,1,4,2] => ([(1,4),(2,3),(2,4)],5)
 => ([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => 3
[5,3,4,1,2] => ([(1,4),(2,3)],5)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 3
[5,4,1,2,3] => ([(2,3),(3,4)],5)
 => ([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => 3
[1,2,3,4,5,6] => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
 => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
 => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
 => 6
[1,2,4,5,6,3] => ([(0,5),(3,4),(4,2),(5,1),(5,3)],6)
 => ([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => 3
[1,2,4,6,3,5] => ([(0,4),(2,5),(3,1),(3,5),(4,2),(4,3)],6)
 => ([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => 3
[1,2,5,3,6,4] => ([(0,4),(2,5),(3,1),(3,5),(4,2),(4,3)],6)
 => ([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => 3
[2,4,5,6,1,3] => ([(0,5),(1,4),(1,5),(3,2),(4,3)],6)
 => ([(0,4),(1,6),(2,5),(3,1),(3,5),(4,2),(4,3),(5,6)],7)
 => ([(0,4),(1,6),(2,5),(3,1),(3,5),(4,2),(4,3),(5,6)],7)
 => ? = 5
[2,5,6,1,3,4] => ([(0,5),(1,4),(1,5),(4,2),(5,3)],6)
 => ([(0,4),(1,6),(2,5),(3,1),(3,5),(4,2),(4,3),(5,6)],7)
 => ([(0,4),(1,6),(2,5),(3,1),(3,5),(4,2),(4,3),(5,6)],7)
 => ? = 5
[3,4,5,1,6,2] => ([(0,4),(1,3),(1,5),(2,5),(4,2)],6)
 => ([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7)
 => ([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7)
 => ? = 5
[3,4,6,1,2,5] => ([(0,3),(1,4),(3,5),(4,2),(4,5)],6)
 => ([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7)
 => ([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7)
 => ? = 5
[4,1,5,6,2,3] => ([(0,5),(1,4),(1,5),(4,2),(5,3)],6)
 => ([(0,4),(1,6),(2,5),(3,1),(3,5),(4,2),(4,3),(5,6)],7)
 => ([(0,4),(1,6),(2,5),(3,1),(3,5),(4,2),(4,3),(5,6)],7)
 => ? = 5
[4,5,1,2,6,3] => ([(0,3),(1,4),(3,5),(4,2),(4,5)],6)
 => ([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7)
 => ([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7)
 => ? = 5
[4,6,1,2,3,5] => ([(0,4),(1,3),(1,5),(2,5),(4,2)],6)
 => ([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7)
 => ([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7)
 => ? = 5
[5,1,6,2,3,4] => ([(0,5),(1,4),(1,5),(3,2),(4,3)],6)
 => ([(0,4),(1,6),(2,5),(3,1),(3,5),(4,2),(4,3),(5,6)],7)
 => ([(0,4),(1,6),(2,5),(3,1),(3,5),(4,2),(4,3),(5,6)],7)
 => ? = 5
[1,2,3,4,5,6,7] => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
 => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
 => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
 => ? = 7
[1,3,5,6,7,2,4] => ([(0,2),(0,5),(2,6),(3,4),(4,1),(5,3),(5,6)],7)
 => ([(0,4),(1,6),(2,5),(3,1),(3,5),(4,2),(4,3),(5,6)],7)
 => ([(0,4),(1,6),(2,5),(3,1),(3,5),(4,2),(4,3),(5,6)],7)
 => ? = 5
[1,3,6,7,2,4,5] => ([(0,3),(0,5),(3,6),(4,1),(5,4),(5,6),(6,2)],7)
 => ([(0,4),(1,6),(2,5),(3,1),(3,5),(4,2),(4,3),(5,6)],7)
 => ([(0,4),(1,6),(2,5),(3,1),(3,5),(4,2),(4,3),(5,6)],7)
 => ? = 5
[1,4,5,6,2,7,3] => ([(0,4),(0,5),(2,6),(3,2),(4,3),(5,1),(5,6)],7)
 => ([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7)
 => ([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7)
 => ? = 5
[1,4,5,7,2,3,6] => ([(0,4),(0,5),(2,6),(3,1),(3,6),(4,2),(5,3)],7)
 => ([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7)
 => ([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7)
 => ? = 5
[1,5,2,6,7,3,4] => ([(0,3),(0,5),(3,6),(4,1),(5,4),(5,6),(6,2)],7)
 => ([(0,4),(1,6),(2,5),(3,1),(3,5),(4,2),(4,3),(5,6)],7)
 => ([(0,4),(1,6),(2,5),(3,1),(3,5),(4,2),(4,3),(5,6)],7)
 => ? = 5
[1,5,6,2,3,7,4] => ([(0,4),(0,5),(2,6),(3,1),(3,6),(4,2),(5,3)],7)
 => ([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7)
 => ([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7)
 => ? = 5
[1,5,7,2,3,4,6] => ([(0,4),(0,5),(2,6),(3,2),(4,3),(5,1),(5,6)],7)
 => ([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7)
 => ([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7)
 => ? = 5
[1,6,2,7,3,4,5] => ([(0,2),(0,5),(2,6),(3,4),(4,1),(5,3),(5,6)],7)
 => ([(0,4),(1,6),(2,5),(3,1),(3,5),(4,2),(4,3),(5,6)],7)
 => ([(0,4),(1,6),(2,5),(3,1),(3,5),(4,2),(4,3),(5,6)],7)
 => ? = 5
[2,1,5,6,7,3,4] => ([(0,5),(0,6),(1,5),(1,6),(4,3),(5,4),(6,2)],7)
 => ([(0,4),(1,6),(2,5),(3,1),(3,5),(4,2),(4,3),(5,6)],7)
 => ([(0,4),(1,6),(2,5),(3,1),(3,5),(4,2),(4,3),(5,6)],7)
 => ? = 5
[2,1,6,7,3,4,5] => ([(0,5),(0,6),(1,5),(1,6),(4,3),(5,4),(6,2)],7)
 => ([(0,4),(1,6),(2,5),(3,1),(3,5),(4,2),(4,3),(5,6)],7)
 => ([(0,4),(1,6),(2,5),(3,1),(3,5),(4,2),(4,3),(5,6)],7)
 => ? = 5
[2,3,4,6,7,1,5] => ([(0,6),(1,4),(3,2),(4,5),(5,3),(5,6)],7)
 => ([(0,4),(1,6),(2,6),(3,5),(4,3),(5,1),(5,2)],7)
 => ([(0,4),(1,6),(2,6),(3,5),(4,3),(5,1),(5,2)],7)
 => ? = 6
[2,3,6,1,7,4,5] => ([(0,5),(0,6),(1,4),(3,5),(4,3),(4,6),(6,2)],7)
 => ([(0,4),(1,6),(2,6),(3,5),(4,3),(5,1),(5,2)],7)
 => ([(0,4),(1,6),(2,6),(3,5),(4,3),(5,1),(5,2)],7)
 => ? = 6
[2,4,1,6,7,3,5] => ([(0,3),(0,6),(1,5),(1,6),(3,4),(3,5),(5,2),(6,4)],7)
 => ([(0,4),(1,6),(2,6),(3,5),(4,3),(5,1),(5,2)],7)
 => ([(0,4),(1,6),(2,6),(3,5),(4,3),(5,1),(5,2)],7)
 => ? = 6
[2,4,5,1,6,7,3] => ([(0,5),(0,6),(1,4),(1,5),(3,6),(4,3),(6,2)],7)
 => ([(0,5),(2,6),(3,6),(4,1),(5,2),(5,3),(6,4)],7)
 => ([(0,5),(2,6),(3,6),(4,1),(5,2),(5,3),(6,4)],7)
 => ? = 6
[2,4,5,1,7,3,6] => ([(0,2),(0,6),(1,5),(1,6),(2,3),(3,4),(3,5),(6,4)],7)
 => ([(0,5),(2,6),(3,6),(4,1),(5,2),(5,3),(6,4)],7)
 => ([(0,5),(2,6),(3,6),(4,1),(5,2),(5,3),(6,4)],7)
 => ? = 6
[2,4,5,6,1,3,7] => ([(0,6),(1,4),(1,6),(2,5),(3,2),(4,3),(6,5)],7)
 => ([(0,4),(1,6),(2,5),(3,1),(3,5),(4,2),(4,3),(5,6)],7)
 => ([(0,4),(1,6),(2,5),(3,1),(3,5),(4,2),(4,3),(5,6)],7)
 => ? = 5
[2,4,6,1,3,7,5] => ([(0,6),(1,3),(1,6),(2,5),(3,2),(3,4),(6,4),(6,5)],7)
 => ([(0,5),(2,6),(3,6),(4,1),(5,2),(5,3),(6,4)],7)
 => ([(0,5),(2,6),(3,6),(4,1),(5,2),(5,3),(6,4)],7)
 => ? = 6
[2,4,7,1,3,5,6] => ([(0,5),(1,4),(1,5),(4,3),(4,6),(5,6),(6,2)],7)
 => ([(0,5),(2,6),(3,6),(4,1),(5,2),(5,3),(6,4)],7)
 => ([(0,5),(2,6),(3,6),(4,1),(5,2),(5,3),(6,4)],7)
 => ? = 6
[2,5,6,1,3,4,7] => ([(0,6),(1,4),(1,6),(2,5),(3,5),(4,3),(6,2)],7)
 => ([(0,4),(1,6),(2,5),(3,1),(3,5),(4,2),(4,3),(5,6)],7)
 => ([(0,4),(1,6),(2,5),(3,1),(3,5),(4,2),(4,3),(5,6)],7)
 => ? = 5
[2,6,1,3,7,4,5] => ([(0,6),(1,3),(1,6),(3,5),(4,2),(6,4),(6,5)],7)
 => ([(0,4),(1,6),(2,6),(3,5),(4,3),(5,1),(5,2)],7)
 => ([(0,4),(1,6),(2,6),(3,5),(4,3),(5,1),(5,2)],7)
 => ? = 6
[3,1,4,6,7,2,5] => ([(0,6),(1,3),(1,6),(3,5),(4,2),(6,4),(6,5)],7)
 => ([(0,4),(1,6),(2,6),(3,5),(4,3),(5,1),(5,2)],7)
 => ([(0,4),(1,6),(2,6),(3,5),(4,3),(5,1),(5,2)],7)
 => ? = 6
[3,1,6,2,7,4,5] => ([(0,3),(0,6),(1,5),(1,6),(3,4),(3,5),(5,2),(6,4)],7)
 => ([(0,4),(1,6),(2,6),(3,5),(4,3),(5,1),(5,2)],7)
 => ([(0,4),(1,6),(2,6),(3,5),(4,3),(5,1),(5,2)],7)
 => ? = 6
[3,4,1,5,6,7,2] => ([(0,4),(1,3),(1,6),(4,6),(5,2),(6,5)],7)
 => ([(0,2),(0,3),(2,6),(3,6),(4,1),(5,4),(6,5)],7)
 => ([(0,2),(0,3),(2,6),(3,6),(4,1),(5,4),(6,5)],7)
 => ? = 6
[3,4,1,5,7,2,6] => ([(0,3),(1,4),(1,6),(3,6),(4,5),(6,2),(6,5)],7)
 => ([(0,2),(0,3),(2,6),(3,6),(4,1),(5,4),(6,5)],7)
 => ([(0,2),(0,3),(2,6),(3,6),(4,1),(5,4),(6,5)],7)
 => ? = 6
[3,4,1,6,2,7,5] => ([(0,3),(1,2),(1,6),(2,4),(2,5),(3,4),(3,6),(6,5)],7)
 => ([(0,2),(0,3),(2,6),(3,6),(4,1),(5,4),(6,5)],7)
 => ([(0,2),(0,3),(2,6),(3,6),(4,1),(5,4),(6,5)],7)
 => ? = 6
[3,4,1,7,2,5,6] => ([(0,4),(1,3),(1,5),(3,6),(4,5),(4,6),(6,2)],7)
 => ([(0,2),(0,3),(2,6),(3,6),(4,1),(5,4),(6,5)],7)
 => ([(0,2),(0,3),(2,6),(3,6),(4,1),(5,4),(6,5)],7)
 => ? = 6
[3,4,5,1,2,7,6] => ([(0,3),(1,4),(2,5),(2,6),(3,5),(3,6),(4,2)],7)
 => ([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7)
 => ([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7)
 => ? = 5
[3,4,5,1,6,2,7] => ([(0,3),(0,6),(1,4),(2,6),(3,5),(4,2),(6,5)],7)
 => ([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7)
 => ([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7)
 => ? = 5
[3,4,6,1,2,5,7] => ([(0,3),(1,4),(2,6),(3,5),(4,2),(4,5),(5,6)],7)
 => ([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7)
 => ([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7)
 => ? = 5
[3,5,1,2,6,7,4] => ([(0,4),(1,3),(1,5),(3,6),(4,5),(4,6),(6,2)],7)
 => ([(0,2),(0,3),(2,6),(3,6),(4,1),(5,4),(6,5)],7)
 => ([(0,2),(0,3),(2,6),(3,6),(4,1),(5,4),(6,5)],7)
 => ? = 6
[3,5,1,2,7,4,6] => ([(0,3),(1,2),(1,6),(2,4),(2,5),(3,4),(3,6),(6,5)],7)
 => ([(0,2),(0,3),(2,6),(3,6),(4,1),(5,4),(6,5)],7)
 => ([(0,2),(0,3),(2,6),(3,6),(4,1),(5,4),(6,5)],7)
 => ? = 6
[3,5,6,7,2,4,1] => ([(1,6),(2,3),(2,6),(3,5),(5,4)],7)
 => ([(0,4),(1,6),(2,5),(3,1),(3,5),(4,2),(4,3),(5,6)],7)
 => ([(0,4),(1,6),(2,5),(3,1),(3,5),(4,2),(4,3),(5,6)],7)
 => ? = 5
[3,6,1,2,4,7,5] => ([(0,3),(1,4),(1,6),(3,6),(4,5),(6,2),(6,5)],7)
 => ([(0,2),(0,3),(2,6),(3,6),(4,1),(5,4),(6,5)],7)
 => ([(0,2),(0,3),(2,6),(3,6),(4,1),(5,4),(6,5)],7)
 => ? = 6
[3,6,7,2,4,5,1] => ([(1,6),(2,3),(2,6),(3,5),(6,4)],7)
 => ([(0,4),(1,6),(2,5),(3,1),(3,5),(4,2),(4,3),(5,6)],7)
 => ([(0,4),(1,6),(2,5),(3,1),(3,5),(4,2),(4,3),(5,6)],7)
 => ? = 5
[3,6,7,2,5,1,4] => ([(0,6),(1,5),(1,6),(2,3),(2,5),(2,6),(3,4)],7)
 => ([(0,4),(1,6),(2,5),(3,1),(3,5),(4,2),(4,3),(5,6)],7)
 => ([(0,4),(1,6),(2,5),(3,1),(3,5),(4,2),(4,3),(5,6)],7)
 => ? = 5
[3,7,1,2,4,5,6] => ([(0,4),(1,3),(1,6),(4,6),(5,2),(6,5)],7)
 => ([(0,2),(0,3),(2,6),(3,6),(4,1),(5,4),(6,5)],7)
 => ([(0,2),(0,3),(2,6),(3,6),(4,1),(5,4),(6,5)],7)
 => ? = 6
[4,1,2,6,7,3,5] => ([(0,5),(0,6),(1,4),(3,5),(4,3),(4,6),(6,2)],7)
 => ([(0,4),(1,6),(2,6),(3,5),(4,3),(5,1),(5,2)],7)
 => ([(0,4),(1,6),(2,6),(3,5),(4,3),(5,1),(5,2)],7)
 => ? = 6
[4,1,5,2,6,7,3] => ([(0,5),(1,4),(1,5),(4,3),(4,6),(5,6),(6,2)],7)
 => ([(0,5),(2,6),(3,6),(4,1),(5,2),(5,3),(6,4)],7)
 => ([(0,5),(2,6),(3,6),(4,1),(5,2),(5,3),(6,4)],7)
 => ? = 6
[4,1,5,2,7,3,6] => ([(0,6),(1,3),(1,6),(2,5),(3,2),(3,4),(6,4),(6,5)],7)
 => ([(0,5),(2,6),(3,6),(4,1),(5,2),(5,3),(6,4)],7)
 => ([(0,5),(2,6),(3,6),(4,1),(5,2),(5,3),(6,4)],7)
 => ? = 6
[4,1,5,6,2,3,7] => ([(0,6),(1,4),(1,6),(2,5),(3,5),(4,3),(6,2)],7)
 => ([(0,4),(1,6),(2,5),(3,1),(3,5),(4,2),(4,3),(5,6)],7)
 => ([(0,4),(1,6),(2,5),(3,1),(3,5),(4,2),(4,3),(5,6)],7)
 => ? = 5
[4,1,6,2,3,7,5] => ([(0,2),(0,6),(1,5),(1,6),(2,3),(3,4),(3,5),(6,4)],7)
 => ([(0,5),(2,6),(3,6),(4,1),(5,2),(5,3),(6,4)],7)
 => ([(0,5),(2,6),(3,6),(4,1),(5,2),(5,3),(6,4)],7)
 => ? = 6

Description

The number of indecomposable injective modules with projective dimension at most one in the incidence algebra of the poset.

Matching statistic: St000643

Mapping

Mp00065: Permutations —permutation poset⟶ Posets
Mp00206: Posets —antichains of maximal size⟶ Lattices
Mp00193: Lattices —to poset⟶ Posets
St000643: Posets ⟶ ℤResult quality: 80% ●values known / values provided: 96%●distinct values known / distinct values provided: 80%

Values

[1,2,3] => ([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => 4 = 3 + 1
[1,2,3,4] => ([(0,3),(2,1),(3,2)],4)
 => ([(0,3),(2,1),(3,2)],4)
 => ([(0,3),(2,1),(3,2)],4)
 => 5 = 4 + 1
[2,3,4,1] => ([(1,2),(2,3)],4)
 => ([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => 4 = 3 + 1
[2,4,1,3] => ([(0,3),(1,2),(1,3)],4)
 => ([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => 4 = 3 + 1
[3,1,4,2] => ([(0,3),(1,2),(1,3)],4)
 => ([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => 4 = 3 + 1
[3,4,1,2] => ([(0,3),(1,2)],4)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 4 = 3 + 1
[4,1,2,3] => ([(1,2),(2,3)],4)
 => ([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => 4 = 3 + 1
[1,2,3,4,5] => ([(0,4),(2,3),(3,1),(4,2)],5)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => 6 = 5 + 1
[1,3,4,5,2] => ([(0,2),(0,4),(3,1),(4,3)],5)
 => ([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => 4 = 3 + 1
[1,3,5,2,4] => ([(0,2),(0,3),(2,4),(3,1),(3,4)],5)
 => ([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => 4 = 3 + 1
[1,4,2,5,3] => ([(0,2),(0,3),(2,4),(3,1),(3,4)],5)
 => ([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => 4 = 3 + 1
[1,4,5,2,3] => ([(0,3),(0,4),(3,2),(4,1)],5)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 4 = 3 + 1
[1,5,2,3,4] => ([(0,2),(0,4),(3,1),(4,3)],5)
 => ([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => 4 = 3 + 1
[2,1,4,5,3] => ([(0,3),(0,4),(1,3),(1,4),(4,2)],5)
 => ([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => 4 = 3 + 1
[2,1,5,3,4] => ([(0,3),(0,4),(1,3),(1,4),(4,2)],5)
 => ([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => 4 = 3 + 1
[2,3,1,5,4] => ([(0,3),(0,4),(1,2),(2,3),(2,4)],5)
 => ([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => 4 = 3 + 1
[2,3,4,1,5] => ([(0,4),(1,2),(2,3),(3,4)],5)
 => ([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => 4 = 3 + 1
[2,3,4,5,1] => ([(1,4),(3,2),(4,3)],5)
 => ([(0,3),(2,1),(3,2)],4)
 => ([(0,3),(2,1),(3,2)],4)
 => 5 = 4 + 1
[2,3,5,1,4] => ([(0,4),(1,2),(2,3),(2,4)],5)
 => ([(0,3),(2,1),(3,2)],4)
 => ([(0,3),(2,1),(3,2)],4)
 => 5 = 4 + 1
[2,4,1,3,5] => ([(0,3),(1,2),(1,3),(2,4),(3,4)],5)
 => ([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => 4 = 3 + 1
[2,4,1,5,3] => ([(0,3),(0,4),(1,2),(1,3),(2,4)],5)
 => ([(0,3),(2,1),(3,2)],4)
 => ([(0,3),(2,1),(3,2)],4)
 => 5 = 4 + 1
[2,4,5,1,3] => ([(0,4),(1,2),(1,4),(2,3)],5)
 => ([(0,3),(1,4),(2,4),(3,1),(3,2)],5)
 => ([(0,3),(1,4),(2,4),(3,1),(3,2)],5)
 => 5 = 4 + 1
[2,5,1,3,4] => ([(0,4),(1,2),(1,4),(4,3)],5)
 => ([(0,3),(2,1),(3,2)],4)
 => ([(0,3),(2,1),(3,2)],4)
 => 5 = 4 + 1
[3,1,2,5,4] => ([(0,3),(0,4),(1,2),(2,3),(2,4)],5)
 => ([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => 4 = 3 + 1
[3,1,4,2,5] => ([(0,3),(1,2),(1,3),(2,4),(3,4)],5)
 => ([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => 4 = 3 + 1
[3,1,4,5,2] => ([(0,4),(1,2),(1,4),(4,3)],5)
 => ([(0,3),(2,1),(3,2)],4)
 => ([(0,3),(2,1),(3,2)],4)
 => 5 = 4 + 1
[3,1,5,2,4] => ([(0,3),(0,4),(1,2),(1,3),(2,4)],5)
 => ([(0,3),(2,1),(3,2)],4)
 => ([(0,3),(2,1),(3,2)],4)
 => 5 = 4 + 1
[3,4,1,2,5] => ([(0,3),(1,2),(2,4),(3,4)],5)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 4 = 3 + 1
[3,4,1,5,2] => ([(0,3),(1,2),(1,4),(3,4)],5)
 => ([(0,2),(0,3),(2,4),(3,4),(4,1)],5)
 => ([(0,2),(0,3),(2,4),(3,4),(4,1)],5)
 => 5 = 4 + 1
[3,4,5,1,2] => ([(0,3),(1,4),(4,2)],5)
 => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
 => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
 => 5 = 4 + 1
[3,4,5,2,1] => ([(2,3),(3,4)],5)
 => ([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => 4 = 3 + 1
[3,5,1,2,4] => ([(0,3),(1,2),(1,4),(3,4)],5)
 => ([(0,2),(0,3),(2,4),(3,4),(4,1)],5)
 => ([(0,2),(0,3),(2,4),(3,4),(4,1)],5)
 => 5 = 4 + 1
[3,5,2,4,1] => ([(1,4),(2,3),(2,4)],5)
 => ([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => 4 = 3 + 1
[4,1,2,3,5] => ([(0,4),(1,2),(2,3),(3,4)],5)
 => ([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => 4 = 3 + 1
[4,1,2,5,3] => ([(0,4),(1,2),(2,3),(2,4)],5)
 => ([(0,3),(2,1),(3,2)],4)
 => ([(0,3),(2,1),(3,2)],4)
 => 5 = 4 + 1
[4,1,5,2,3] => ([(0,4),(1,2),(1,4),(2,3)],5)
 => ([(0,3),(1,4),(2,4),(3,1),(3,2)],5)
 => ([(0,3),(1,4),(2,4),(3,1),(3,2)],5)
 => 5 = 4 + 1
[4,2,5,3,1] => ([(1,4),(2,3),(2,4)],5)
 => ([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => 4 = 3 + 1
[4,5,1,2,3] => ([(0,3),(1,4),(4,2)],5)
 => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
 => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
 => 5 = 4 + 1
[4,5,2,3,1] => ([(1,4),(2,3)],5)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 4 = 3 + 1
[4,5,3,1,2] => ([(1,4),(2,3)],5)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 4 = 3 + 1
[5,1,2,3,4] => ([(1,4),(3,2),(4,3)],5)
 => ([(0,3),(2,1),(3,2)],4)
 => ([(0,3),(2,1),(3,2)],4)
 => 5 = 4 + 1
[5,2,3,4,1] => ([(2,3),(3,4)],5)
 => ([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => 4 = 3 + 1
[5,2,4,1,3] => ([(1,4),(2,3),(2,4)],5)
 => ([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => 4 = 3 + 1
[5,3,1,4,2] => ([(1,4),(2,3),(2,4)],5)
 => ([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => 4 = 3 + 1
[5,3,4,1,2] => ([(1,4),(2,3)],5)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 4 = 3 + 1
[5,4,1,2,3] => ([(2,3),(3,4)],5)
 => ([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => 4 = 3 + 1
[1,2,3,4,5,6] => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
 => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
 => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
 => 7 = 6 + 1
[1,2,4,5,6,3] => ([(0,5),(3,4),(4,2),(5,1),(5,3)],6)
 => ([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => 4 = 3 + 1
[1,2,4,6,3,5] => ([(0,4),(2,5),(3,1),(3,5),(4,2),(4,3)],6)
 => ([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => 4 = 3 + 1
[1,2,5,3,6,4] => ([(0,4),(2,5),(3,1),(3,5),(4,2),(4,3)],6)
 => ([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => 4 = 3 + 1
[2,4,5,6,1,3] => ([(0,5),(1,4),(1,5),(3,2),(4,3)],6)
 => ([(0,4),(1,6),(2,5),(3,1),(3,5),(4,2),(4,3),(5,6)],7)
 => ([(0,4),(1,6),(2,5),(3,1),(3,5),(4,2),(4,3),(5,6)],7)
 => ? = 5 + 1
[2,5,6,1,3,4] => ([(0,5),(1,4),(1,5),(4,2),(5,3)],6)
 => ([(0,4),(1,6),(2,5),(3,1),(3,5),(4,2),(4,3),(5,6)],7)
 => ([(0,4),(1,6),(2,5),(3,1),(3,5),(4,2),(4,3),(5,6)],7)
 => ? = 5 + 1
[3,4,5,1,6,2] => ([(0,4),(1,3),(1,5),(2,5),(4,2)],6)
 => ([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7)
 => ([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7)
 => ? = 5 + 1
[3,4,6,1,2,5] => ([(0,3),(1,4),(3,5),(4,2),(4,5)],6)
 => ([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7)
 => ([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7)
 => ? = 5 + 1
[4,1,5,6,2,3] => ([(0,5),(1,4),(1,5),(4,2),(5,3)],6)
 => ([(0,4),(1,6),(2,5),(3,1),(3,5),(4,2),(4,3),(5,6)],7)
 => ([(0,4),(1,6),(2,5),(3,1),(3,5),(4,2),(4,3),(5,6)],7)
 => ? = 5 + 1
[4,5,1,2,6,3] => ([(0,3),(1,4),(3,5),(4,2),(4,5)],6)
 => ([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7)
 => ([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7)
 => ? = 5 + 1
[4,6,1,2,3,5] => ([(0,4),(1,3),(1,5),(2,5),(4,2)],6)
 => ([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7)
 => ([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7)
 => ? = 5 + 1
[5,1,6,2,3,4] => ([(0,5),(1,4),(1,5),(3,2),(4,3)],6)
 => ([(0,4),(1,6),(2,5),(3,1),(3,5),(4,2),(4,3),(5,6)],7)
 => ([(0,4),(1,6),(2,5),(3,1),(3,5),(4,2),(4,3),(5,6)],7)
 => ? = 5 + 1
[1,2,3,4,5,6,7] => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
 => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
 => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
 => ? = 7 + 1
[1,3,5,6,7,2,4] => ([(0,2),(0,5),(2,6),(3,4),(4,1),(5,3),(5,6)],7)
 => ([(0,4),(1,6),(2,5),(3,1),(3,5),(4,2),(4,3),(5,6)],7)
 => ([(0,4),(1,6),(2,5),(3,1),(3,5),(4,2),(4,3),(5,6)],7)
 => ? = 5 + 1
[1,3,6,7,2,4,5] => ([(0,3),(0,5),(3,6),(4,1),(5,4),(5,6),(6,2)],7)
 => ([(0,4),(1,6),(2,5),(3,1),(3,5),(4,2),(4,3),(5,6)],7)
 => ([(0,4),(1,6),(2,5),(3,1),(3,5),(4,2),(4,3),(5,6)],7)
 => ? = 5 + 1
[1,4,5,6,2,7,3] => ([(0,4),(0,5),(2,6),(3,2),(4,3),(5,1),(5,6)],7)
 => ([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7)
 => ([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7)
 => ? = 5 + 1
[1,4,5,7,2,3,6] => ([(0,4),(0,5),(2,6),(3,1),(3,6),(4,2),(5,3)],7)
 => ([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7)
 => ([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7)
 => ? = 5 + 1
[1,5,2,6,7,3,4] => ([(0,3),(0,5),(3,6),(4,1),(5,4),(5,6),(6,2)],7)
 => ([(0,4),(1,6),(2,5),(3,1),(3,5),(4,2),(4,3),(5,6)],7)
 => ([(0,4),(1,6),(2,5),(3,1),(3,5),(4,2),(4,3),(5,6)],7)
 => ? = 5 + 1
[1,5,6,2,3,7,4] => ([(0,4),(0,5),(2,6),(3,1),(3,6),(4,2),(5,3)],7)
 => ([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7)
 => ([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7)
 => ? = 5 + 1
[1,5,7,2,3,4,6] => ([(0,4),(0,5),(2,6),(3,2),(4,3),(5,1),(5,6)],7)
 => ([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7)
 => ([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7)
 => ? = 5 + 1
[1,6,2,7,3,4,5] => ([(0,2),(0,5),(2,6),(3,4),(4,1),(5,3),(5,6)],7)
 => ([(0,4),(1,6),(2,5),(3,1),(3,5),(4,2),(4,3),(5,6)],7)
 => ([(0,4),(1,6),(2,5),(3,1),(3,5),(4,2),(4,3),(5,6)],7)
 => ? = 5 + 1
[2,1,5,6,7,3,4] => ([(0,5),(0,6),(1,5),(1,6),(4,3),(5,4),(6,2)],7)
 => ([(0,4),(1,6),(2,5),(3,1),(3,5),(4,2),(4,3),(5,6)],7)
 => ([(0,4),(1,6),(2,5),(3,1),(3,5),(4,2),(4,3),(5,6)],7)
 => ? = 5 + 1
[2,1,6,7,3,4,5] => ([(0,5),(0,6),(1,5),(1,6),(4,3),(5,4),(6,2)],7)
 => ([(0,4),(1,6),(2,5),(3,1),(3,5),(4,2),(4,3),(5,6)],7)
 => ([(0,4),(1,6),(2,5),(3,1),(3,5),(4,2),(4,3),(5,6)],7)
 => ? = 5 + 1
[2,3,4,6,7,1,5] => ([(0,6),(1,4),(3,2),(4,5),(5,3),(5,6)],7)
 => ([(0,4),(1,6),(2,6),(3,5),(4,3),(5,1),(5,2)],7)
 => ([(0,4),(1,6),(2,6),(3,5),(4,3),(5,1),(5,2)],7)
 => ? = 6 + 1
[2,3,6,1,7,4,5] => ([(0,5),(0,6),(1,4),(3,5),(4,3),(4,6),(6,2)],7)
 => ([(0,4),(1,6),(2,6),(3,5),(4,3),(5,1),(5,2)],7)
 => ([(0,4),(1,6),(2,6),(3,5),(4,3),(5,1),(5,2)],7)
 => ? = 6 + 1
[2,4,1,6,7,3,5] => ([(0,3),(0,6),(1,5),(1,6),(3,4),(3,5),(5,2),(6,4)],7)
 => ([(0,4),(1,6),(2,6),(3,5),(4,3),(5,1),(5,2)],7)
 => ([(0,4),(1,6),(2,6),(3,5),(4,3),(5,1),(5,2)],7)
 => ? = 6 + 1
[2,4,5,1,6,7,3] => ([(0,5),(0,6),(1,4),(1,5),(3,6),(4,3),(6,2)],7)
 => ([(0,5),(2,6),(3,6),(4,1),(5,2),(5,3),(6,4)],7)
 => ([(0,5),(2,6),(3,6),(4,1),(5,2),(5,3),(6,4)],7)
 => ? = 6 + 1
[2,4,5,1,7,3,6] => ([(0,2),(0,6),(1,5),(1,6),(2,3),(3,4),(3,5),(6,4)],7)
 => ([(0,5),(2,6),(3,6),(4,1),(5,2),(5,3),(6,4)],7)
 => ([(0,5),(2,6),(3,6),(4,1),(5,2),(5,3),(6,4)],7)
 => ? = 6 + 1
[2,4,5,6,1,3,7] => ([(0,6),(1,4),(1,6),(2,5),(3,2),(4,3),(6,5)],7)
 => ([(0,4),(1,6),(2,5),(3,1),(3,5),(4,2),(4,3),(5,6)],7)
 => ([(0,4),(1,6),(2,5),(3,1),(3,5),(4,2),(4,3),(5,6)],7)
 => ? = 5 + 1
[2,4,6,1,3,7,5] => ([(0,6),(1,3),(1,6),(2,5),(3,2),(3,4),(6,4),(6,5)],7)
 => ([(0,5),(2,6),(3,6),(4,1),(5,2),(5,3),(6,4)],7)
 => ([(0,5),(2,6),(3,6),(4,1),(5,2),(5,3),(6,4)],7)
 => ? = 6 + 1
[2,4,7,1,3,5,6] => ([(0,5),(1,4),(1,5),(4,3),(4,6),(5,6),(6,2)],7)
 => ([(0,5),(2,6),(3,6),(4,1),(5,2),(5,3),(6,4)],7)
 => ([(0,5),(2,6),(3,6),(4,1),(5,2),(5,3),(6,4)],7)
 => ? = 6 + 1
[2,5,6,1,3,4,7] => ([(0,6),(1,4),(1,6),(2,5),(3,5),(4,3),(6,2)],7)
 => ([(0,4),(1,6),(2,5),(3,1),(3,5),(4,2),(4,3),(5,6)],7)
 => ([(0,4),(1,6),(2,5),(3,1),(3,5),(4,2),(4,3),(5,6)],7)
 => ? = 5 + 1
[2,6,1,3,7,4,5] => ([(0,6),(1,3),(1,6),(3,5),(4,2),(6,4),(6,5)],7)
 => ([(0,4),(1,6),(2,6),(3,5),(4,3),(5,1),(5,2)],7)
 => ([(0,4),(1,6),(2,6),(3,5),(4,3),(5,1),(5,2)],7)
 => ? = 6 + 1
[3,1,4,6,7,2,5] => ([(0,6),(1,3),(1,6),(3,5),(4,2),(6,4),(6,5)],7)
 => ([(0,4),(1,6),(2,6),(3,5),(4,3),(5,1),(5,2)],7)
 => ([(0,4),(1,6),(2,6),(3,5),(4,3),(5,1),(5,2)],7)
 => ? = 6 + 1
[3,1,6,2,7,4,5] => ([(0,3),(0,6),(1,5),(1,6),(3,4),(3,5),(5,2),(6,4)],7)
 => ([(0,4),(1,6),(2,6),(3,5),(4,3),(5,1),(5,2)],7)
 => ([(0,4),(1,6),(2,6),(3,5),(4,3),(5,1),(5,2)],7)
 => ? = 6 + 1
[3,4,1,5,6,7,2] => ([(0,4),(1,3),(1,6),(4,6),(5,2),(6,5)],7)
 => ([(0,2),(0,3),(2,6),(3,6),(4,1),(5,4),(6,5)],7)
 => ([(0,2),(0,3),(2,6),(3,6),(4,1),(5,4),(6,5)],7)
 => ? = 6 + 1
[3,4,1,5,7,2,6] => ([(0,3),(1,4),(1,6),(3,6),(4,5),(6,2),(6,5)],7)
 => ([(0,2),(0,3),(2,6),(3,6),(4,1),(5,4),(6,5)],7)
 => ([(0,2),(0,3),(2,6),(3,6),(4,1),(5,4),(6,5)],7)
 => ? = 6 + 1
[3,4,1,6,2,7,5] => ([(0,3),(1,2),(1,6),(2,4),(2,5),(3,4),(3,6),(6,5)],7)
 => ([(0,2),(0,3),(2,6),(3,6),(4,1),(5,4),(6,5)],7)
 => ([(0,2),(0,3),(2,6),(3,6),(4,1),(5,4),(6,5)],7)
 => ? = 6 + 1
[3,4,1,7,2,5,6] => ([(0,4),(1,3),(1,5),(3,6),(4,5),(4,6),(6,2)],7)
 => ([(0,2),(0,3),(2,6),(3,6),(4,1),(5,4),(6,5)],7)
 => ([(0,2),(0,3),(2,6),(3,6),(4,1),(5,4),(6,5)],7)
 => ? = 6 + 1
[3,4,5,1,2,7,6] => ([(0,3),(1,4),(2,5),(2,6),(3,5),(3,6),(4,2)],7)
 => ([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7)
 => ([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7)
 => ? = 5 + 1
[3,4,5,1,6,2,7] => ([(0,3),(0,6),(1,4),(2,6),(3,5),(4,2),(6,5)],7)
 => ([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7)
 => ([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7)
 => ? = 5 + 1
[3,4,6,1,2,5,7] => ([(0,3),(1,4),(2,6),(3,5),(4,2),(4,5),(5,6)],7)
 => ([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7)
 => ([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7)
 => ? = 5 + 1
[3,5,1,2,6,7,4] => ([(0,4),(1,3),(1,5),(3,6),(4,5),(4,6),(6,2)],7)
 => ([(0,2),(0,3),(2,6),(3,6),(4,1),(5,4),(6,5)],7)
 => ([(0,2),(0,3),(2,6),(3,6),(4,1),(5,4),(6,5)],7)
 => ? = 6 + 1
[3,5,1,2,7,4,6] => ([(0,3),(1,2),(1,6),(2,4),(2,5),(3,4),(3,6),(6,5)],7)
 => ([(0,2),(0,3),(2,6),(3,6),(4,1),(5,4),(6,5)],7)
 => ([(0,2),(0,3),(2,6),(3,6),(4,1),(5,4),(6,5)],7)
 => ? = 6 + 1
[3,5,6,7,2,4,1] => ([(1,6),(2,3),(2,6),(3,5),(5,4)],7)
 => ([(0,4),(1,6),(2,5),(3,1),(3,5),(4,2),(4,3),(5,6)],7)
 => ([(0,4),(1,6),(2,5),(3,1),(3,5),(4,2),(4,3),(5,6)],7)
 => ? = 5 + 1
[3,6,1,2,4,7,5] => ([(0,3),(1,4),(1,6),(3,6),(4,5),(6,2),(6,5)],7)
 => ([(0,2),(0,3),(2,6),(3,6),(4,1),(5,4),(6,5)],7)
 => ([(0,2),(0,3),(2,6),(3,6),(4,1),(5,4),(6,5)],7)
 => ? = 6 + 1
[3,6,7,2,4,5,1] => ([(1,6),(2,3),(2,6),(3,5),(6,4)],7)
 => ([(0,4),(1,6),(2,5),(3,1),(3,5),(4,2),(4,3),(5,6)],7)
 => ([(0,4),(1,6),(2,5),(3,1),(3,5),(4,2),(4,3),(5,6)],7)
 => ? = 5 + 1
[3,6,7,2,5,1,4] => ([(0,6),(1,5),(1,6),(2,3),(2,5),(2,6),(3,4)],7)
 => ([(0,4),(1,6),(2,5),(3,1),(3,5),(4,2),(4,3),(5,6)],7)
 => ([(0,4),(1,6),(2,5),(3,1),(3,5),(4,2),(4,3),(5,6)],7)
 => ? = 5 + 1
[3,7,1,2,4,5,6] => ([(0,4),(1,3),(1,6),(4,6),(5,2),(6,5)],7)
 => ([(0,2),(0,3),(2,6),(3,6),(4,1),(5,4),(6,5)],7)
 => ([(0,2),(0,3),(2,6),(3,6),(4,1),(5,4),(6,5)],7)
 => ? = 6 + 1
[4,1,2,6,7,3,5] => ([(0,5),(0,6),(1,4),(3,5),(4,3),(4,6),(6,2)],7)
 => ([(0,4),(1,6),(2,6),(3,5),(4,3),(5,1),(5,2)],7)
 => ([(0,4),(1,6),(2,6),(3,5),(4,3),(5,1),(5,2)],7)
 => ? = 6 + 1
[4,1,5,2,6,7,3] => ([(0,5),(1,4),(1,5),(4,3),(4,6),(5,6),(6,2)],7)
 => ([(0,5),(2,6),(3,6),(4,1),(5,2),(5,3),(6,4)],7)
 => ([(0,5),(2,6),(3,6),(4,1),(5,2),(5,3),(6,4)],7)
 => ? = 6 + 1
[4,1,5,2,7,3,6] => ([(0,6),(1,3),(1,6),(2,5),(3,2),(3,4),(6,4),(6,5)],7)
 => ([(0,5),(2,6),(3,6),(4,1),(5,2),(5,3),(6,4)],7)
 => ([(0,5),(2,6),(3,6),(4,1),(5,2),(5,3),(6,4)],7)
 => ? = 6 + 1
[4,1,5,6,2,3,7] => ([(0,6),(1,4),(1,6),(2,5),(3,5),(4,3),(6,2)],7)
 => ([(0,4),(1,6),(2,5),(3,1),(3,5),(4,2),(4,3),(5,6)],7)
 => ([(0,4),(1,6),(2,5),(3,1),(3,5),(4,2),(4,3),(5,6)],7)
 => ? = 5 + 1
[4,1,6,2,3,7,5] => ([(0,2),(0,6),(1,5),(1,6),(2,3),(3,4),(3,5),(6,4)],7)
 => ([(0,5),(2,6),(3,6),(4,1),(5,2),(5,3),(6,4)],7)
 => ([(0,5),(2,6),(3,6),(4,1),(5,2),(5,3),(6,4)],7)
 => ? = 6 + 1

Description

The size of the largest orbit of antichains under Panyushev complementation.

Matching statistic: St000080

Mapping

Mp00065: Permutations —permutation poset⟶ Posets
Mp00206: Posets —antichains of maximal size⟶ Lattices
Mp00193: Lattices —to poset⟶ Posets
St000080: Posets ⟶ ℤResult quality: 80% ●values known / values provided: 95%●distinct values known / distinct values provided: 80%

Values

[1,2,3] => ([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => 2 = 3 - 1
[1,2,3,4] => ([(0,3),(2,1),(3,2)],4)
 => ([(0,3),(2,1),(3,2)],4)
 => ([(0,3),(2,1),(3,2)],4)
 => 3 = 4 - 1
[2,3,4,1] => ([(1,2),(2,3)],4)
 => ([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => 2 = 3 - 1
[2,4,1,3] => ([(0,3),(1,2),(1,3)],4)
 => ([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => 2 = 3 - 1
[3,1,4,2] => ([(0,3),(1,2),(1,3)],4)
 => ([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => 2 = 3 - 1
[3,4,1,2] => ([(0,3),(1,2)],4)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 2 = 3 - 1
[4,1,2,3] => ([(1,2),(2,3)],4)
 => ([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => 2 = 3 - 1
[1,2,3,4,5] => ([(0,4),(2,3),(3,1),(4,2)],5)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => 4 = 5 - 1
[1,3,4,5,2] => ([(0,2),(0,4),(3,1),(4,3)],5)
 => ([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => 2 = 3 - 1
[1,3,5,2,4] => ([(0,2),(0,3),(2,4),(3,1),(3,4)],5)
 => ([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => 2 = 3 - 1
[1,4,2,5,3] => ([(0,2),(0,3),(2,4),(3,1),(3,4)],5)
 => ([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => 2 = 3 - 1
[1,4,5,2,3] => ([(0,3),(0,4),(3,2),(4,1)],5)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 2 = 3 - 1
[1,5,2,3,4] => ([(0,2),(0,4),(3,1),(4,3)],5)
 => ([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => 2 = 3 - 1
[2,1,4,5,3] => ([(0,3),(0,4),(1,3),(1,4),(4,2)],5)
 => ([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => 2 = 3 - 1
[2,1,5,3,4] => ([(0,3),(0,4),(1,3),(1,4),(4,2)],5)
 => ([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => 2 = 3 - 1
[2,3,1,5,4] => ([(0,3),(0,4),(1,2),(2,3),(2,4)],5)
 => ([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => 2 = 3 - 1
[2,3,4,1,5] => ([(0,4),(1,2),(2,3),(3,4)],5)
 => ([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => 2 = 3 - 1
[2,3,4,5,1] => ([(1,4),(3,2),(4,3)],5)
 => ([(0,3),(2,1),(3,2)],4)
 => ([(0,3),(2,1),(3,2)],4)
 => 3 = 4 - 1
[2,3,5,1,4] => ([(0,4),(1,2),(2,3),(2,4)],5)
 => ([(0,3),(2,1),(3,2)],4)
 => ([(0,3),(2,1),(3,2)],4)
 => 3 = 4 - 1
[2,4,1,3,5] => ([(0,3),(1,2),(1,3),(2,4),(3,4)],5)
 => ([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => 2 = 3 - 1
[2,4,1,5,3] => ([(0,3),(0,4),(1,2),(1,3),(2,4)],5)
 => ([(0,3),(2,1),(3,2)],4)
 => ([(0,3),(2,1),(3,2)],4)
 => 3 = 4 - 1
[2,4,5,1,3] => ([(0,4),(1,2),(1,4),(2,3)],5)
 => ([(0,3),(1,4),(2,4),(3,1),(3,2)],5)
 => ([(0,3),(1,4),(2,4),(3,1),(3,2)],5)
 => 3 = 4 - 1
[2,5,1,3,4] => ([(0,4),(1,2),(1,4),(4,3)],5)
 => ([(0,3),(2,1),(3,2)],4)
 => ([(0,3),(2,1),(3,2)],4)
 => 3 = 4 - 1
[3,1,2,5,4] => ([(0,3),(0,4),(1,2),(2,3),(2,4)],5)
 => ([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => 2 = 3 - 1
[3,1,4,2,5] => ([(0,3),(1,2),(1,3),(2,4),(3,4)],5)
 => ([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => 2 = 3 - 1
[3,1,4,5,2] => ([(0,4),(1,2),(1,4),(4,3)],5)
 => ([(0,3),(2,1),(3,2)],4)
 => ([(0,3),(2,1),(3,2)],4)
 => 3 = 4 - 1
[3,1,5,2,4] => ([(0,3),(0,4),(1,2),(1,3),(2,4)],5)
 => ([(0,3),(2,1),(3,2)],4)
 => ([(0,3),(2,1),(3,2)],4)
 => 3 = 4 - 1
[3,4,1,2,5] => ([(0,3),(1,2),(2,4),(3,4)],5)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 2 = 3 - 1
[3,4,1,5,2] => ([(0,3),(1,2),(1,4),(3,4)],5)
 => ([(0,2),(0,3),(2,4),(3,4),(4,1)],5)
 => ([(0,2),(0,3),(2,4),(3,4),(4,1)],5)
 => 3 = 4 - 1
[3,4,5,1,2] => ([(0,3),(1,4),(4,2)],5)
 => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
 => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
 => 3 = 4 - 1
[3,4,5,2,1] => ([(2,3),(3,4)],5)
 => ([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => 2 = 3 - 1
[3,5,1,2,4] => ([(0,3),(1,2),(1,4),(3,4)],5)
 => ([(0,2),(0,3),(2,4),(3,4),(4,1)],5)
 => ([(0,2),(0,3),(2,4),(3,4),(4,1)],5)
 => 3 = 4 - 1
[3,5,2,4,1] => ([(1,4),(2,3),(2,4)],5)
 => ([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => 2 = 3 - 1
[4,1,2,3,5] => ([(0,4),(1,2),(2,3),(3,4)],5)
 => ([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => 2 = 3 - 1
[4,1,2,5,3] => ([(0,4),(1,2),(2,3),(2,4)],5)
 => ([(0,3),(2,1),(3,2)],4)
 => ([(0,3),(2,1),(3,2)],4)
 => 3 = 4 - 1
[4,1,5,2,3] => ([(0,4),(1,2),(1,4),(2,3)],5)
 => ([(0,3),(1,4),(2,4),(3,1),(3,2)],5)
 => ([(0,3),(1,4),(2,4),(3,1),(3,2)],5)
 => 3 = 4 - 1
[4,2,5,3,1] => ([(1,4),(2,3),(2,4)],5)
 => ([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => 2 = 3 - 1
[4,5,1,2,3] => ([(0,3),(1,4),(4,2)],5)
 => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
 => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
 => 3 = 4 - 1
[4,5,2,3,1] => ([(1,4),(2,3)],5)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 2 = 3 - 1
[4,5,3,1,2] => ([(1,4),(2,3)],5)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 2 = 3 - 1
[5,1,2,3,4] => ([(1,4),(3,2),(4,3)],5)
 => ([(0,3),(2,1),(3,2)],4)
 => ([(0,3),(2,1),(3,2)],4)
 => 3 = 4 - 1
[5,2,3,4,1] => ([(2,3),(3,4)],5)
 => ([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => 2 = 3 - 1
[5,2,4,1,3] => ([(1,4),(2,3),(2,4)],5)
 => ([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => 2 = 3 - 1
[5,3,1,4,2] => ([(1,4),(2,3),(2,4)],5)
 => ([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => 2 = 3 - 1
[5,3,4,1,2] => ([(1,4),(2,3)],5)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 2 = 3 - 1
[5,4,1,2,3] => ([(2,3),(3,4)],5)
 => ([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => 2 = 3 - 1
[1,2,3,4,5,6] => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
 => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
 => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
 => 5 = 6 - 1
[1,2,4,5,6,3] => ([(0,5),(3,4),(4,2),(5,1),(5,3)],6)
 => ([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => 2 = 3 - 1
[1,2,4,6,3,5] => ([(0,4),(2,5),(3,1),(3,5),(4,2),(4,3)],6)
 => ([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => 2 = 3 - 1
[1,2,5,3,6,4] => ([(0,4),(2,5),(3,1),(3,5),(4,2),(4,3)],6)
 => ([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => 2 = 3 - 1
[2,4,5,6,1,3] => ([(0,5),(1,4),(1,5),(3,2),(4,3)],6)
 => ([(0,4),(1,6),(2,5),(3,1),(3,5),(4,2),(4,3),(5,6)],7)
 => ([(0,4),(1,6),(2,5),(3,1),(3,5),(4,2),(4,3),(5,6)],7)
 => ? = 5 - 1
[2,5,6,1,3,4] => ([(0,5),(1,4),(1,5),(4,2),(5,3)],6)
 => ([(0,4),(1,6),(2,5),(3,1),(3,5),(4,2),(4,3),(5,6)],7)
 => ([(0,4),(1,6),(2,5),(3,1),(3,5),(4,2),(4,3),(5,6)],7)
 => ? = 5 - 1
[3,4,5,1,6,2] => ([(0,4),(1,3),(1,5),(2,5),(4,2)],6)
 => ([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7)
 => ([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7)
 => ? = 5 - 1
[3,4,6,1,2,5] => ([(0,3),(1,4),(3,5),(4,2),(4,5)],6)
 => ([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7)
 => ([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7)
 => ? = 5 - 1
[3,5,1,6,2,4] => ([(0,3),(0,5),(1,2),(1,4),(2,5),(3,4)],6)
 => ([(0,3),(0,4),(1,5),(2,5),(3,6),(4,6),(6,1),(6,2)],7)
 => ([(0,3),(0,4),(1,5),(2,5),(3,6),(4,6),(6,1),(6,2)],7)
 => ? = 5 - 1
[4,1,5,6,2,3] => ([(0,5),(1,4),(1,5),(4,2),(5,3)],6)
 => ([(0,4),(1,6),(2,5),(3,1),(3,5),(4,2),(4,3),(5,6)],7)
 => ([(0,4),(1,6),(2,5),(3,1),(3,5),(4,2),(4,3),(5,6)],7)
 => ? = 5 - 1
[4,5,1,2,6,3] => ([(0,3),(1,4),(3,5),(4,2),(4,5)],6)
 => ([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7)
 => ([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7)
 => ? = 5 - 1
[4,6,1,2,3,5] => ([(0,4),(1,3),(1,5),(2,5),(4,2)],6)
 => ([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7)
 => ([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7)
 => ? = 5 - 1
[5,1,6,2,3,4] => ([(0,5),(1,4),(1,5),(3,2),(4,3)],6)
 => ([(0,4),(1,6),(2,5),(3,1),(3,5),(4,2),(4,3),(5,6)],7)
 => ([(0,4),(1,6),(2,5),(3,1),(3,5),(4,2),(4,3),(5,6)],7)
 => ? = 5 - 1
[1,2,3,4,5,6,7] => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
 => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
 => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
 => ? = 7 - 1
[1,3,5,6,7,2,4] => ([(0,2),(0,5),(2,6),(3,4),(4,1),(5,3),(5,6)],7)
 => ([(0,4),(1,6),(2,5),(3,1),(3,5),(4,2),(4,3),(5,6)],7)
 => ([(0,4),(1,6),(2,5),(3,1),(3,5),(4,2),(4,3),(5,6)],7)
 => ? = 5 - 1
[1,3,6,7,2,4,5] => ([(0,3),(0,5),(3,6),(4,1),(5,4),(5,6),(6,2)],7)
 => ([(0,4),(1,6),(2,5),(3,1),(3,5),(4,2),(4,3),(5,6)],7)
 => ([(0,4),(1,6),(2,5),(3,1),(3,5),(4,2),(4,3),(5,6)],7)
 => ? = 5 - 1
[1,4,5,6,2,7,3] => ([(0,4),(0,5),(2,6),(3,2),(4,3),(5,1),(5,6)],7)
 => ([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7)
 => ([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7)
 => ? = 5 - 1
[1,4,5,7,2,3,6] => ([(0,4),(0,5),(2,6),(3,1),(3,6),(4,2),(5,3)],7)
 => ([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7)
 => ([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7)
 => ? = 5 - 1
[1,4,6,2,7,3,5] => ([(0,3),(0,4),(1,6),(2,5),(3,2),(3,6),(4,1),(4,5)],7)
 => ([(0,3),(0,4),(1,5),(2,5),(3,6),(4,6),(6,1),(6,2)],7)
 => ([(0,3),(0,4),(1,5),(2,5),(3,6),(4,6),(6,1),(6,2)],7)
 => ? = 5 - 1
[1,5,2,6,7,3,4] => ([(0,3),(0,5),(3,6),(4,1),(5,4),(5,6),(6,2)],7)
 => ([(0,4),(1,6),(2,5),(3,1),(3,5),(4,2),(4,3),(5,6)],7)
 => ([(0,4),(1,6),(2,5),(3,1),(3,5),(4,2),(4,3),(5,6)],7)
 => ? = 5 - 1
[1,5,6,2,3,7,4] => ([(0,4),(0,5),(2,6),(3,1),(3,6),(4,2),(5,3)],7)
 => ([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7)
 => ([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7)
 => ? = 5 - 1
[1,5,7,2,3,4,6] => ([(0,4),(0,5),(2,6),(3,2),(4,3),(5,1),(5,6)],7)
 => ([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7)
 => ([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7)
 => ? = 5 - 1
[1,6,2,7,3,4,5] => ([(0,2),(0,5),(2,6),(3,4),(4,1),(5,3),(5,6)],7)
 => ([(0,4),(1,6),(2,5),(3,1),(3,5),(4,2),(4,3),(5,6)],7)
 => ([(0,4),(1,6),(2,5),(3,1),(3,5),(4,2),(4,3),(5,6)],7)
 => ? = 5 - 1
[2,1,5,6,7,3,4] => ([(0,5),(0,6),(1,5),(1,6),(4,3),(5,4),(6,2)],7)
 => ([(0,4),(1,6),(2,5),(3,1),(3,5),(4,2),(4,3),(5,6)],7)
 => ([(0,4),(1,6),(2,5),(3,1),(3,5),(4,2),(4,3),(5,6)],7)
 => ? = 5 - 1
[2,1,6,7,3,4,5] => ([(0,5),(0,6),(1,5),(1,6),(4,3),(5,4),(6,2)],7)
 => ([(0,4),(1,6),(2,5),(3,1),(3,5),(4,2),(4,3),(5,6)],7)
 => ([(0,4),(1,6),(2,5),(3,1),(3,5),(4,2),(4,3),(5,6)],7)
 => ? = 5 - 1
[2,3,4,6,7,1,5] => ([(0,6),(1,4),(3,2),(4,5),(5,3),(5,6)],7)
 => ([(0,4),(1,6),(2,6),(3,5),(4,3),(5,1),(5,2)],7)
 => ([(0,4),(1,6),(2,6),(3,5),(4,3),(5,1),(5,2)],7)
 => ? = 6 - 1
[2,3,5,6,1,7,4] => ([(0,5),(0,6),(1,4),(2,6),(3,2),(4,3),(4,5)],7)
 => ([(0,4),(1,6),(2,6),(4,5),(5,1),(5,2),(6,3)],7)
 => ([(0,4),(1,6),(2,6),(4,5),(5,1),(5,2),(6,3)],7)
 => ? = 6 - 1
[2,3,5,7,1,4,6] => ([(0,6),(1,3),(3,4),(3,6),(4,2),(4,5),(6,5)],7)
 => ([(0,4),(1,6),(2,6),(4,5),(5,1),(5,2),(6,3)],7)
 => ([(0,4),(1,6),(2,6),(4,5),(5,1),(5,2),(6,3)],7)
 => ? = 6 - 1
[2,3,6,1,7,4,5] => ([(0,5),(0,6),(1,4),(3,5),(4,3),(4,6),(6,2)],7)
 => ([(0,4),(1,6),(2,6),(3,5),(4,3),(5,1),(5,2)],7)
 => ([(0,4),(1,6),(2,6),(3,5),(4,3),(5,1),(5,2)],7)
 => ? = 6 - 1
[2,4,1,6,7,3,5] => ([(0,3),(0,6),(1,5),(1,6),(3,4),(3,5),(5,2),(6,4)],7)
 => ([(0,4),(1,6),(2,6),(3,5),(4,3),(5,1),(5,2)],7)
 => ([(0,4),(1,6),(2,6),(3,5),(4,3),(5,1),(5,2)],7)
 => ? = 6 - 1
[2,4,5,1,6,7,3] => ([(0,5),(0,6),(1,4),(1,5),(3,6),(4,3),(6,2)],7)
 => ([(0,5),(2,6),(3,6),(4,1),(5,2),(5,3),(6,4)],7)
 => ([(0,5),(2,6),(3,6),(4,1),(5,2),(5,3),(6,4)],7)
 => ? = 6 - 1
[2,4,5,1,7,3,6] => ([(0,2),(0,6),(1,5),(1,6),(2,3),(3,4),(3,5),(6,4)],7)
 => ([(0,5),(2,6),(3,6),(4,1),(5,2),(5,3),(6,4)],7)
 => ([(0,5),(2,6),(3,6),(4,1),(5,2),(5,3),(6,4)],7)
 => ? = 6 - 1
[2,4,5,6,1,3,7] => ([(0,6),(1,4),(1,6),(2,5),(3,2),(4,3),(6,5)],7)
 => ([(0,4),(1,6),(2,5),(3,1),(3,5),(4,2),(4,3),(5,6)],7)
 => ([(0,4),(1,6),(2,5),(3,1),(3,5),(4,2),(4,3),(5,6)],7)
 => ? = 5 - 1
[2,4,6,1,3,7,5] => ([(0,6),(1,3),(1,6),(2,5),(3,2),(3,4),(6,4),(6,5)],7)
 => ([(0,5),(2,6),(3,6),(4,1),(5,2),(5,3),(6,4)],7)
 => ([(0,5),(2,6),(3,6),(4,1),(5,2),(5,3),(6,4)],7)
 => ? = 6 - 1
[2,4,7,1,3,5,6] => ([(0,5),(1,4),(1,5),(4,3),(4,6),(5,6),(6,2)],7)
 => ([(0,5),(2,6),(3,6),(4,1),(5,2),(5,3),(6,4)],7)
 => ([(0,5),(2,6),(3,6),(4,1),(5,2),(5,3),(6,4)],7)
 => ? = 6 - 1
[2,5,1,6,3,7,4] => ([(0,3),(0,6),(1,5),(1,6),(3,5),(5,4),(6,2),(6,4)],7)
 => ([(0,4),(1,6),(2,6),(4,5),(5,1),(5,2),(6,3)],7)
 => ([(0,4),(1,6),(2,6),(4,5),(5,1),(5,2),(6,3)],7)
 => ? = 6 - 1
[2,5,1,7,3,4,6] => ([(0,3),(0,6),(1,4),(1,6),(2,5),(3,4),(3,5),(6,2)],7)
 => ([(0,4),(1,6),(2,6),(4,5),(5,1),(5,2),(6,3)],7)
 => ([(0,4),(1,6),(2,6),(4,5),(5,1),(5,2),(6,3)],7)
 => ? = 6 - 1
[2,5,6,1,3,4,7] => ([(0,6),(1,4),(1,6),(2,5),(3,5),(4,3),(6,2)],7)
 => ([(0,4),(1,6),(2,5),(3,1),(3,5),(4,2),(4,3),(5,6)],7)
 => ([(0,4),(1,6),(2,5),(3,1),(3,5),(4,2),(4,3),(5,6)],7)
 => ? = 5 - 1
[2,6,1,3,7,4,5] => ([(0,6),(1,3),(1,6),(3,5),(4,2),(6,4),(6,5)],7)
 => ([(0,4),(1,6),(2,6),(3,5),(4,3),(5,1),(5,2)],7)
 => ([(0,4),(1,6),(2,6),(3,5),(4,3),(5,1),(5,2)],7)
 => ? = 6 - 1
[3,1,4,6,7,2,5] => ([(0,6),(1,3),(1,6),(3,5),(4,2),(6,4),(6,5)],7)
 => ([(0,4),(1,6),(2,6),(3,5),(4,3),(5,1),(5,2)],7)
 => ([(0,4),(1,6),(2,6),(3,5),(4,3),(5,1),(5,2)],7)
 => ? = 6 - 1
[3,1,5,6,2,7,4] => ([(0,3),(0,6),(1,4),(1,6),(2,5),(3,4),(3,5),(6,2)],7)
 => ([(0,4),(1,6),(2,6),(4,5),(5,1),(5,2),(6,3)],7)
 => ([(0,4),(1,6),(2,6),(4,5),(5,1),(5,2),(6,3)],7)
 => ? = 6 - 1
[3,1,5,7,2,4,6] => ([(0,3),(0,6),(1,5),(1,6),(3,5),(5,4),(6,2),(6,4)],7)
 => ([(0,4),(1,6),(2,6),(4,5),(5,1),(5,2),(6,3)],7)
 => ([(0,4),(1,6),(2,6),(4,5),(5,1),(5,2),(6,3)],7)
 => ? = 6 - 1
[3,1,6,2,7,4,5] => ([(0,3),(0,6),(1,5),(1,6),(3,4),(3,5),(5,2),(6,4)],7)
 => ([(0,4),(1,6),(2,6),(3,5),(4,3),(5,1),(5,2)],7)
 => ([(0,4),(1,6),(2,6),(3,5),(4,3),(5,1),(5,2)],7)
 => ? = 6 - 1
[3,4,1,5,6,7,2] => ([(0,4),(1,3),(1,6),(4,6),(5,2),(6,5)],7)
 => ([(0,2),(0,3),(2,6),(3,6),(4,1),(5,4),(6,5)],7)
 => ([(0,2),(0,3),(2,6),(3,6),(4,1),(5,4),(6,5)],7)
 => ? = 6 - 1
[3,4,1,5,7,2,6] => ([(0,3),(1,4),(1,6),(3,6),(4,5),(6,2),(6,5)],7)
 => ([(0,2),(0,3),(2,6),(3,6),(4,1),(5,4),(6,5)],7)
 => ([(0,2),(0,3),(2,6),(3,6),(4,1),(5,4),(6,5)],7)
 => ? = 6 - 1
[3,4,1,6,2,7,5] => ([(0,3),(1,2),(1,6),(2,4),(2,5),(3,4),(3,6),(6,5)],7)
 => ([(0,2),(0,3),(2,6),(3,6),(4,1),(5,4),(6,5)],7)
 => ([(0,2),(0,3),(2,6),(3,6),(4,1),(5,4),(6,5)],7)
 => ? = 6 - 1
[3,4,1,7,2,5,6] => ([(0,4),(1,3),(1,5),(3,6),(4,5),(4,6),(6,2)],7)
 => ([(0,2),(0,3),(2,6),(3,6),(4,1),(5,4),(6,5)],7)
 => ([(0,2),(0,3),(2,6),(3,6),(4,1),(5,4),(6,5)],7)
 => ? = 6 - 1
[3,4,5,1,2,7,6] => ([(0,3),(1,4),(2,5),(2,6),(3,5),(3,6),(4,2)],7)
 => ([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7)
 => ([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7)
 => ? = 5 - 1
[3,4,5,1,6,2,7] => ([(0,3),(0,6),(1,4),(2,6),(3,5),(4,2),(6,5)],7)
 => ([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7)
 => ([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7)
 => ? = 5 - 1
[3,4,6,1,2,5,7] => ([(0,3),(1,4),(2,6),(3,5),(4,2),(4,5),(5,6)],7)
 => ([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7)
 => ([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7)
 => ? = 5 - 1
[3,5,1,2,6,7,4] => ([(0,4),(1,3),(1,5),(3,6),(4,5),(4,6),(6,2)],7)
 => ([(0,2),(0,3),(2,6),(3,6),(4,1),(5,4),(6,5)],7)
 => ([(0,2),(0,3),(2,6),(3,6),(4,1),(5,4),(6,5)],7)
 => ? = 6 - 1
[3,5,1,2,7,4,6] => ([(0,3),(1,2),(1,6),(2,4),(2,5),(3,4),(3,6),(6,5)],7)
 => ([(0,2),(0,3),(2,6),(3,6),(4,1),(5,4),(6,5)],7)
 => ([(0,2),(0,3),(2,6),(3,6),(4,1),(5,4),(6,5)],7)
 => ? = 6 - 1
[3,5,1,6,2,4,7] => ([(0,3),(0,6),(1,2),(1,5),(2,6),(3,5),(5,4),(6,4)],7)
 => ([(0,3),(0,4),(1,5),(2,5),(3,6),(4,6),(6,1),(6,2)],7)
 => ([(0,3),(0,4),(1,5),(2,5),(3,6),(4,6),(6,1),(6,2)],7)
 => ? = 5 - 1
[3,5,6,7,2,4,1] => ([(1,6),(2,3),(2,6),(3,5),(5,4)],7)
 => ([(0,4),(1,6),(2,5),(3,1),(3,5),(4,2),(4,3),(5,6)],7)
 => ([(0,4),(1,6),(2,5),(3,1),(3,5),(4,2),(4,3),(5,6)],7)
 => ? = 5 - 1

Description

The rank of the poset.

Matching statistic: St001613

Mapping

Mp00065: Permutations —permutation poset⟶ Posets
Mp00206: Posets —antichains of maximal size⟶ Lattices
Mp00197: Lattices —lattice of congruences⟶ Lattices
St001613: Lattices ⟶ ℤResult quality: 40% ●values known / values provided: 83%●distinct values known / distinct values provided: 40%

Values

[1,2,3] => ([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 2 = 3 - 1
[1,2,3,4] => ([(0,3),(2,1),(3,2)],4)
 => ([(0,3),(2,1),(3,2)],4)
 => ([(0,1),(0,2),(0,3),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(4,7),(5,7),(6,7)],8)
 => 3 = 4 - 1
[2,3,4,1] => ([(1,2),(2,3)],4)
 => ([(0,2),(2,1)],3)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 2 = 3 - 1
[2,4,1,3] => ([(0,3),(1,2),(1,3)],4)
 => ([(0,2),(2,1)],3)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 2 = 3 - 1
[3,1,4,2] => ([(0,3),(1,2),(1,3)],4)
 => ([(0,2),(2,1)],3)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 2 = 3 - 1
[3,4,1,2] => ([(0,3),(1,2)],4)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 2 = 3 - 1
[4,1,2,3] => ([(1,2),(2,3)],4)
 => ([(0,2),(2,1)],3)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 2 = 3 - 1
[1,2,3,4,5] => ([(0,4),(2,3),(3,1),(4,2)],5)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => ([(0,1),(0,2),(0,3),(0,4),(1,8),(1,9),(1,10),(2,6),(2,7),(2,10),(3,5),(3,7),(3,9),(4,5),(4,6),(4,8),(5,11),(5,14),(6,11),(6,12),(7,11),(7,13),(8,12),(8,14),(9,13),(9,14),(10,12),(10,13),(11,15),(12,15),(13,15),(14,15)],16)
 => ? = 5 - 1
[1,3,4,5,2] => ([(0,2),(0,4),(3,1),(4,3)],5)
 => ([(0,2),(2,1)],3)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 2 = 3 - 1
[1,3,5,2,4] => ([(0,2),(0,3),(2,4),(3,1),(3,4)],5)
 => ([(0,2),(2,1)],3)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 2 = 3 - 1
[1,4,2,5,3] => ([(0,2),(0,3),(2,4),(3,1),(3,4)],5)
 => ([(0,2),(2,1)],3)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 2 = 3 - 1
[1,4,5,2,3] => ([(0,3),(0,4),(3,2),(4,1)],5)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 2 = 3 - 1
[1,5,2,3,4] => ([(0,2),(0,4),(3,1),(4,3)],5)
 => ([(0,2),(2,1)],3)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 2 = 3 - 1
[2,1,4,5,3] => ([(0,3),(0,4),(1,3),(1,4),(4,2)],5)
 => ([(0,2),(2,1)],3)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 2 = 3 - 1
[2,1,5,3,4] => ([(0,3),(0,4),(1,3),(1,4),(4,2)],5)
 => ([(0,2),(2,1)],3)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 2 = 3 - 1
[2,3,1,5,4] => ([(0,3),(0,4),(1,2),(2,3),(2,4)],5)
 => ([(0,2),(2,1)],3)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 2 = 3 - 1
[2,3,4,1,5] => ([(0,4),(1,2),(2,3),(3,4)],5)
 => ([(0,2),(2,1)],3)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 2 = 3 - 1
[2,3,4,5,1] => ([(1,4),(3,2),(4,3)],5)
 => ([(0,3),(2,1),(3,2)],4)
 => ([(0,1),(0,2),(0,3),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(4,7),(5,7),(6,7)],8)
 => 3 = 4 - 1
[2,3,5,1,4] => ([(0,4),(1,2),(2,3),(2,4)],5)
 => ([(0,3),(2,1),(3,2)],4)
 => ([(0,1),(0,2),(0,3),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(4,7),(5,7),(6,7)],8)
 => 3 = 4 - 1
[2,4,1,3,5] => ([(0,3),(1,2),(1,3),(2,4),(3,4)],5)
 => ([(0,2),(2,1)],3)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 2 = 3 - 1
[2,4,1,5,3] => ([(0,3),(0,4),(1,2),(1,3),(2,4)],5)
 => ([(0,3),(2,1),(3,2)],4)
 => ([(0,1),(0,2),(0,3),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(4,7),(5,7),(6,7)],8)
 => 3 = 4 - 1
[2,4,5,1,3] => ([(0,4),(1,2),(1,4),(2,3)],5)
 => ([(0,3),(1,4),(2,4),(3,1),(3,2)],5)
 => ([(0,1),(0,2),(0,3),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(4,7),(5,7),(6,7)],8)
 => 3 = 4 - 1
[2,5,1,3,4] => ([(0,4),(1,2),(1,4),(4,3)],5)
 => ([(0,3),(2,1),(3,2)],4)
 => ([(0,1),(0,2),(0,3),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(4,7),(5,7),(6,7)],8)
 => 3 = 4 - 1
[3,1,2,5,4] => ([(0,3),(0,4),(1,2),(2,3),(2,4)],5)
 => ([(0,2),(2,1)],3)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 2 = 3 - 1
[3,1,4,2,5] => ([(0,3),(1,2),(1,3),(2,4),(3,4)],5)
 => ([(0,2),(2,1)],3)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 2 = 3 - 1
[3,1,4,5,2] => ([(0,4),(1,2),(1,4),(4,3)],5)
 => ([(0,3),(2,1),(3,2)],4)
 => ([(0,1),(0,2),(0,3),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(4,7),(5,7),(6,7)],8)
 => 3 = 4 - 1
[3,1,5,2,4] => ([(0,3),(0,4),(1,2),(1,3),(2,4)],5)
 => ([(0,3),(2,1),(3,2)],4)
 => ([(0,1),(0,2),(0,3),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(4,7),(5,7),(6,7)],8)
 => 3 = 4 - 1
[3,4,1,2,5] => ([(0,3),(1,2),(2,4),(3,4)],5)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 2 = 3 - 1
[3,4,1,5,2] => ([(0,3),(1,2),(1,4),(3,4)],5)
 => ([(0,2),(0,3),(2,4),(3,4),(4,1)],5)
 => ([(0,1),(0,2),(0,3),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(4,7),(5,7),(6,7)],8)
 => 3 = 4 - 1
[3,4,5,1,2] => ([(0,3),(1,4),(4,2)],5)
 => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
 => ([(0,1),(0,2),(0,3),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(4,7),(5,7),(6,7)],8)
 => 3 = 4 - 1
[3,4,5,2,1] => ([(2,3),(3,4)],5)
 => ([(0,2),(2,1)],3)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 2 = 3 - 1
[3,5,1,2,4] => ([(0,3),(1,2),(1,4),(3,4)],5)
 => ([(0,2),(0,3),(2,4),(3,4),(4,1)],5)
 => ([(0,1),(0,2),(0,3),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(4,7),(5,7),(6,7)],8)
 => 3 = 4 - 1
[3,5,2,4,1] => ([(1,4),(2,3),(2,4)],5)
 => ([(0,2),(2,1)],3)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 2 = 3 - 1
[4,1,2,3,5] => ([(0,4),(1,2),(2,3),(3,4)],5)
 => ([(0,2),(2,1)],3)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 2 = 3 - 1
[4,1,2,5,3] => ([(0,4),(1,2),(2,3),(2,4)],5)
 => ([(0,3),(2,1),(3,2)],4)
 => ([(0,1),(0,2),(0,3),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(4,7),(5,7),(6,7)],8)
 => 3 = 4 - 1
[4,1,5,2,3] => ([(0,4),(1,2),(1,4),(2,3)],5)
 => ([(0,3),(1,4),(2,4),(3,1),(3,2)],5)
 => ([(0,1),(0,2),(0,3),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(4,7),(5,7),(6,7)],8)
 => 3 = 4 - 1
[4,2,5,3,1] => ([(1,4),(2,3),(2,4)],5)
 => ([(0,2),(2,1)],3)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 2 = 3 - 1
[4,5,1,2,3] => ([(0,3),(1,4),(4,2)],5)
 => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
 => ([(0,1),(0,2),(0,3),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(4,7),(5,7),(6,7)],8)
 => 3 = 4 - 1
[4,5,2,3,1] => ([(1,4),(2,3)],5)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 2 = 3 - 1
[4,5,3,1,2] => ([(1,4),(2,3)],5)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 2 = 3 - 1
[5,1,2,3,4] => ([(1,4),(3,2),(4,3)],5)
 => ([(0,3),(2,1),(3,2)],4)
 => ([(0,1),(0,2),(0,3),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(4,7),(5,7),(6,7)],8)
 => 3 = 4 - 1
[5,2,3,4,1] => ([(2,3),(3,4)],5)
 => ([(0,2),(2,1)],3)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 2 = 3 - 1
[5,2,4,1,3] => ([(1,4),(2,3),(2,4)],5)
 => ([(0,2),(2,1)],3)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 2 = 3 - 1
[5,3,1,4,2] => ([(1,4),(2,3),(2,4)],5)
 => ([(0,2),(2,1)],3)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 2 = 3 - 1
[5,3,4,1,2] => ([(1,4),(2,3)],5)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 2 = 3 - 1
[5,4,1,2,3] => ([(2,3),(3,4)],5)
 => ([(0,2),(2,1)],3)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 2 = 3 - 1
[1,2,3,4,5,6] => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
 => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
 => ([(0,1),(0,2),(0,3),(0,4),(0,5),(1,12),(1,13),(1,14),(1,15),(2,9),(2,10),(2,11),(2,15),(3,7),(3,8),(3,11),(3,14),(4,6),(4,8),(4,10),(4,13),(5,6),(5,7),(5,9),(5,12),(6,16),(6,19),(6,22),(7,16),(7,17),(7,20),(8,16),(8,18),(8,21),(9,17),(9,19),(9,23),(10,18),(10,19),(10,24),(11,17),(11,18),(11,25),(12,20),(12,22),(12,23),(13,21),(13,22),(13,24),(14,20),(14,21),(14,25),(15,23),(15,24),(15,25),(16,29),(16,30),(17,26),(17,30),(18,27),(18,30),(19,28),(19,30),(20,26),(20,29),(21,27),(21,29),(22,28),(22,29),(23,26),(23,28),(24,27),(24,28),(25,26),(25,27),(26,31),(27,31),(28,31),(29,31),(30,31)],32)
 => ? = 6 - 1
[1,2,4,5,6,3] => ([(0,5),(3,4),(4,2),(5,1),(5,3)],6)
 => ([(0,2),(2,1)],3)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 2 = 3 - 1
[1,2,4,6,3,5] => ([(0,4),(2,5),(3,1),(3,5),(4,2),(4,3)],6)
 => ([(0,2),(2,1)],3)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 2 = 3 - 1
[1,2,5,3,6,4] => ([(0,4),(2,5),(3,1),(3,5),(4,2),(4,3)],6)
 => ([(0,2),(2,1)],3)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 2 = 3 - 1
[1,2,5,6,3,4] => ([(0,5),(3,2),(4,1),(5,3),(5,4)],6)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 2 = 3 - 1
[1,2,6,3,4,5] => ([(0,5),(3,4),(4,2),(5,1),(5,3)],6)
 => ([(0,2),(2,1)],3)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 2 = 3 - 1
[2,3,4,5,6,1] => ([(1,5),(3,4),(4,2),(5,3)],6)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => ([(0,1),(0,2),(0,3),(0,4),(1,8),(1,9),(1,10),(2,6),(2,7),(2,10),(3,5),(3,7),(3,9),(4,5),(4,6),(4,8),(5,11),(5,14),(6,11),(6,12),(7,11),(7,13),(8,12),(8,14),(9,13),(9,14),(10,12),(10,13),(11,15),(12,15),(13,15),(14,15)],16)
 => ? = 5 - 1
[2,3,4,6,1,5] => ([(0,5),(1,3),(3,4),(4,2),(4,5)],6)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => ([(0,1),(0,2),(0,3),(0,4),(1,8),(1,9),(1,10),(2,6),(2,7),(2,10),(3,5),(3,7),(3,9),(4,5),(4,6),(4,8),(5,11),(5,14),(6,11),(6,12),(7,11),(7,13),(8,12),(8,14),(9,13),(9,14),(10,12),(10,13),(11,15),(12,15),(13,15),(14,15)],16)
 => ? = 5 - 1
[2,3,5,1,6,4] => ([(0,4),(0,5),(1,2),(2,3),(2,5),(3,4)],6)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => ([(0,1),(0,2),(0,3),(0,4),(1,8),(1,9),(1,10),(2,6),(2,7),(2,10),(3,5),(3,7),(3,9),(4,5),(4,6),(4,8),(5,11),(5,14),(6,11),(6,12),(7,11),(7,13),(8,12),(8,14),(9,13),(9,14),(10,12),(10,13),(11,15),(12,15),(13,15),(14,15)],16)
 => ? = 5 - 1
[2,3,5,6,1,4] => ([(0,5),(1,4),(3,2),(4,3),(4,5)],6)
 => ([(0,3),(1,5),(2,5),(3,4),(4,1),(4,2)],6)
 => ([(0,1),(0,2),(0,3),(0,4),(1,8),(1,9),(1,10),(2,6),(2,7),(2,10),(3,5),(3,7),(3,9),(4,5),(4,6),(4,8),(5,11),(5,14),(6,11),(6,12),(7,11),(7,13),(8,12),(8,14),(9,13),(9,14),(10,12),(10,13),(11,15),(12,15),(13,15),(14,15)],16)
 => ? = 5 - 1
[2,3,6,1,4,5] => ([(0,5),(1,4),(4,2),(4,5),(5,3)],6)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => ([(0,1),(0,2),(0,3),(0,4),(1,8),(1,9),(1,10),(2,6),(2,7),(2,10),(3,5),(3,7),(3,9),(4,5),(4,6),(4,8),(5,11),(5,14),(6,11),(6,12),(7,11),(7,13),(8,12),(8,14),(9,13),(9,14),(10,12),(10,13),(11,15),(12,15),(13,15),(14,15)],16)
 => ? = 5 - 1
[2,4,1,5,6,3] => ([(0,4),(0,5),(1,2),(1,4),(2,5),(5,3)],6)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => ([(0,1),(0,2),(0,3),(0,4),(1,8),(1,9),(1,10),(2,6),(2,7),(2,10),(3,5),(3,7),(3,9),(4,5),(4,6),(4,8),(5,11),(5,14),(6,11),(6,12),(7,11),(7,13),(8,12),(8,14),(9,13),(9,14),(10,12),(10,13),(11,15),(12,15),(13,15),(14,15)],16)
 => ? = 5 - 1
[2,4,1,6,3,5] => ([(0,2),(0,5),(1,4),(1,5),(2,3),(2,4),(5,3)],6)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => ([(0,1),(0,2),(0,3),(0,4),(1,8),(1,9),(1,10),(2,6),(2,7),(2,10),(3,5),(3,7),(3,9),(4,5),(4,6),(4,8),(5,11),(5,14),(6,11),(6,12),(7,11),(7,13),(8,12),(8,14),(9,13),(9,14),(10,12),(10,13),(11,15),(12,15),(13,15),(14,15)],16)
 => ? = 5 - 1
[2,4,5,1,6,3] => ([(0,4),(0,5),(1,2),(1,4),(2,3),(3,5)],6)
 => ([(0,4),(1,5),(2,5),(4,1),(4,2),(5,3)],6)
 => ([(0,1),(0,2),(0,3),(0,4),(1,8),(1,9),(1,10),(2,6),(2,7),(2,10),(3,5),(3,7),(3,9),(4,5),(4,6),(4,8),(5,11),(5,14),(6,11),(6,12),(7,11),(7,13),(8,12),(8,14),(9,13),(9,14),(10,12),(10,13),(11,15),(12,15),(13,15),(14,15)],16)
 => ? = 5 - 1
[2,4,5,6,1,3] => ([(0,5),(1,4),(1,5),(3,2),(4,3)],6)
 => ([(0,4),(1,6),(2,5),(3,1),(3,5),(4,2),(4,3),(5,6)],7)
 => ([(0,1),(0,2),(0,3),(0,4),(1,8),(1,9),(1,10),(2,6),(2,7),(2,10),(3,5),(3,7),(3,9),(4,5),(4,6),(4,8),(5,11),(5,14),(6,11),(6,12),(7,11),(7,13),(8,12),(8,14),(9,13),(9,14),(10,12),(10,13),(11,15),(12,15),(13,15),(14,15)],16)
 => ? = 5 - 1
[2,4,6,1,3,5] => ([(0,4),(1,2),(1,4),(2,3),(2,5),(4,5)],6)
 => ([(0,4),(1,5),(2,5),(4,1),(4,2),(5,3)],6)
 => ([(0,1),(0,2),(0,3),(0,4),(1,8),(1,9),(1,10),(2,6),(2,7),(2,10),(3,5),(3,7),(3,9),(4,5),(4,6),(4,8),(5,11),(5,14),(6,11),(6,12),(7,11),(7,13),(8,12),(8,14),(9,13),(9,14),(10,12),(10,13),(11,15),(12,15),(13,15),(14,15)],16)
 => ? = 5 - 1
[2,5,1,3,6,4] => ([(0,4),(1,2),(1,4),(2,5),(4,3),(4,5)],6)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => ([(0,1),(0,2),(0,3),(0,4),(1,8),(1,9),(1,10),(2,6),(2,7),(2,10),(3,5),(3,7),(3,9),(4,5),(4,6),(4,8),(5,11),(5,14),(6,11),(6,12),(7,11),(7,13),(8,12),(8,14),(9,13),(9,14),(10,12),(10,13),(11,15),(12,15),(13,15),(14,15)],16)
 => ? = 5 - 1
[2,5,1,6,3,4] => ([(0,4),(0,5),(1,2),(1,4),(2,5),(4,3)],6)
 => ([(0,3),(1,5),(2,5),(3,4),(4,1),(4,2)],6)
 => ([(0,1),(0,2),(0,3),(0,4),(1,8),(1,9),(1,10),(2,6),(2,7),(2,10),(3,5),(3,7),(3,9),(4,5),(4,6),(4,8),(5,11),(5,14),(6,11),(6,12),(7,11),(7,13),(8,12),(8,14),(9,13),(9,14),(10,12),(10,13),(11,15),(12,15),(13,15),(14,15)],16)
 => ? = 5 - 1
[2,5,6,1,3,4] => ([(0,5),(1,4),(1,5),(4,2),(5,3)],6)
 => ([(0,4),(1,6),(2,5),(3,1),(3,5),(4,2),(4,3),(5,6)],7)
 => ([(0,1),(0,2),(0,3),(0,4),(1,8),(1,9),(1,10),(2,6),(2,7),(2,10),(3,5),(3,7),(3,9),(4,5),(4,6),(4,8),(5,11),(5,14),(6,11),(6,12),(7,11),(7,13),(8,12),(8,14),(9,13),(9,14),(10,12),(10,13),(11,15),(12,15),(13,15),(14,15)],16)
 => ? = 5 - 1
[2,6,1,3,4,5] => ([(0,5),(1,3),(1,5),(4,2),(5,4)],6)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => ([(0,1),(0,2),(0,3),(0,4),(1,8),(1,9),(1,10),(2,6),(2,7),(2,10),(3,5),(3,7),(3,9),(4,5),(4,6),(4,8),(5,11),(5,14),(6,11),(6,12),(7,11),(7,13),(8,12),(8,14),(9,13),(9,14),(10,12),(10,13),(11,15),(12,15),(13,15),(14,15)],16)
 => ? = 5 - 1
[3,1,4,5,6,2] => ([(0,5),(1,3),(1,5),(4,2),(5,4)],6)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => ([(0,1),(0,2),(0,3),(0,4),(1,8),(1,9),(1,10),(2,6),(2,7),(2,10),(3,5),(3,7),(3,9),(4,5),(4,6),(4,8),(5,11),(5,14),(6,11),(6,12),(7,11),(7,13),(8,12),(8,14),(9,13),(9,14),(10,12),(10,13),(11,15),(12,15),(13,15),(14,15)],16)
 => ? = 5 - 1
[3,1,4,6,2,5] => ([(0,4),(1,2),(1,4),(2,5),(4,3),(4,5)],6)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => ([(0,1),(0,2),(0,3),(0,4),(1,8),(1,9),(1,10),(2,6),(2,7),(2,10),(3,5),(3,7),(3,9),(4,5),(4,6),(4,8),(5,11),(5,14),(6,11),(6,12),(7,11),(7,13),(8,12),(8,14),(9,13),(9,14),(10,12),(10,13),(11,15),(12,15),(13,15),(14,15)],16)
 => ? = 5 - 1
[3,1,5,2,6,4] => ([(0,2),(0,5),(1,4),(1,5),(2,3),(2,4),(5,3)],6)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => ([(0,1),(0,2),(0,3),(0,4),(1,8),(1,9),(1,10),(2,6),(2,7),(2,10),(3,5),(3,7),(3,9),(4,5),(4,6),(4,8),(5,11),(5,14),(6,11),(6,12),(7,11),(7,13),(8,12),(8,14),(9,13),(9,14),(10,12),(10,13),(11,15),(12,15),(13,15),(14,15)],16)
 => ? = 5 - 1
[3,1,5,6,2,4] => ([(0,4),(0,5),(1,2),(1,4),(2,5),(4,3)],6)
 => ([(0,3),(1,5),(2,5),(3,4),(4,1),(4,2)],6)
 => ([(0,1),(0,2),(0,3),(0,4),(1,8),(1,9),(1,10),(2,6),(2,7),(2,10),(3,5),(3,7),(3,9),(4,5),(4,6),(4,8),(5,11),(5,14),(6,11),(6,12),(7,11),(7,13),(8,12),(8,14),(9,13),(9,14),(10,12),(10,13),(11,15),(12,15),(13,15),(14,15)],16)
 => ? = 5 - 1
[3,1,6,2,4,5] => ([(0,4),(0,5),(1,2),(1,4),(2,5),(5,3)],6)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => ([(0,1),(0,2),(0,3),(0,4),(1,8),(1,9),(1,10),(2,6),(2,7),(2,10),(3,5),(3,7),(3,9),(4,5),(4,6),(4,8),(5,11),(5,14),(6,11),(6,12),(7,11),(7,13),(8,12),(8,14),(9,13),(9,14),(10,12),(10,13),(11,15),(12,15),(13,15),(14,15)],16)
 => ? = 5 - 1
[3,4,1,5,6,2] => ([(0,4),(1,3),(1,5),(4,5),(5,2)],6)
 => ([(0,2),(0,3),(2,5),(3,5),(4,1),(5,4)],6)
 => ([(0,1),(0,2),(0,3),(0,4),(1,8),(1,9),(1,10),(2,6),(2,7),(2,10),(3,5),(3,7),(3,9),(4,5),(4,6),(4,8),(5,11),(5,14),(6,11),(6,12),(7,11),(7,13),(8,12),(8,14),(9,13),(9,14),(10,12),(10,13),(11,15),(12,15),(13,15),(14,15)],16)
 => ? = 5 - 1
[3,4,1,6,2,5] => ([(0,3),(1,2),(1,4),(2,5),(3,4),(3,5)],6)
 => ([(0,2),(0,3),(2,5),(3,5),(4,1),(5,4)],6)
 => ([(0,1),(0,2),(0,3),(0,4),(1,8),(1,9),(1,10),(2,6),(2,7),(2,10),(3,5),(3,7),(3,9),(4,5),(4,6),(4,8),(5,11),(5,14),(6,11),(6,12),(7,11),(7,13),(8,12),(8,14),(9,13),(9,14),(10,12),(10,13),(11,15),(12,15),(13,15),(14,15)],16)
 => ? = 5 - 1
[3,4,5,1,6,2] => ([(0,4),(1,3),(1,5),(2,5),(4,2)],6)
 => ([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7)
 => ([(0,1),(0,2),(0,3),(0,4),(1,8),(1,9),(1,10),(2,6),(2,7),(2,10),(3,5),(3,7),(3,9),(4,5),(4,6),(4,8),(5,11),(5,14),(6,11),(6,12),(7,11),(7,13),(8,12),(8,14),(9,13),(9,14),(10,12),(10,13),(11,15),(12,15),(13,15),(14,15)],16)
 => ? = 5 - 1
[3,4,6,1,2,5] => ([(0,3),(1,4),(3,5),(4,2),(4,5)],6)
 => ([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7)
 => ([(0,1),(0,2),(0,3),(0,4),(1,8),(1,9),(1,10),(2,6),(2,7),(2,10),(3,5),(3,7),(3,9),(4,5),(4,6),(4,8),(5,11),(5,14),(6,11),(6,12),(7,11),(7,13),(8,12),(8,14),(9,13),(9,14),(10,12),(10,13),(11,15),(12,15),(13,15),(14,15)],16)
 => ? = 5 - 1
[3,5,1,2,6,4] => ([(0,3),(1,2),(1,4),(2,5),(3,4),(3,5)],6)
 => ([(0,2),(0,3),(2,5),(3,5),(4,1),(5,4)],6)
 => ([(0,1),(0,2),(0,3),(0,4),(1,8),(1,9),(1,10),(2,6),(2,7),(2,10),(3,5),(3,7),(3,9),(4,5),(4,6),(4,8),(5,11),(5,14),(6,11),(6,12),(7,11),(7,13),(8,12),(8,14),(9,13),(9,14),(10,12),(10,13),(11,15),(12,15),(13,15),(14,15)],16)
 => ? = 5 - 1
[3,5,1,6,2,4] => ([(0,3),(0,5),(1,2),(1,4),(2,5),(3,4)],6)
 => ([(0,3),(0,4),(1,5),(2,5),(3,6),(4,6),(6,1),(6,2)],7)
 => ([(0,1),(0,2),(0,3),(0,4),(1,8),(1,9),(1,10),(2,6),(2,7),(2,10),(3,5),(3,7),(3,9),(4,5),(4,6),(4,8),(5,11),(5,14),(6,11),(6,12),(7,11),(7,13),(8,12),(8,14),(9,13),(9,14),(10,12),(10,13),(11,15),(12,15),(13,15),(14,15)],16)
 => ? = 5 - 1
[3,6,1,2,4,5] => ([(0,4),(1,3),(1,5),(4,5),(5,2)],6)
 => ([(0,2),(0,3),(2,5),(3,5),(4,1),(5,4)],6)
 => ([(0,1),(0,2),(0,3),(0,4),(1,8),(1,9),(1,10),(2,6),(2,7),(2,10),(3,5),(3,7),(3,9),(4,5),(4,6),(4,8),(5,11),(5,14),(6,11),(6,12),(7,11),(7,13),(8,12),(8,14),(9,13),(9,14),(10,12),(10,13),(11,15),(12,15),(13,15),(14,15)],16)
 => ? = 5 - 1
[4,1,2,5,6,3] => ([(0,5),(1,4),(4,2),(4,5),(5,3)],6)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => ([(0,1),(0,2),(0,3),(0,4),(1,8),(1,9),(1,10),(2,6),(2,7),(2,10),(3,5),(3,7),(3,9),(4,5),(4,6),(4,8),(5,11),(5,14),(6,11),(6,12),(7,11),(7,13),(8,12),(8,14),(9,13),(9,14),(10,12),(10,13),(11,15),(12,15),(13,15),(14,15)],16)
 => ? = 5 - 1
[4,1,2,6,3,5] => ([(0,4),(0,5),(1,2),(2,3),(2,5),(3,4)],6)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => ([(0,1),(0,2),(0,3),(0,4),(1,8),(1,9),(1,10),(2,6),(2,7),(2,10),(3,5),(3,7),(3,9),(4,5),(4,6),(4,8),(5,11),(5,14),(6,11),(6,12),(7,11),(7,13),(8,12),(8,14),(9,13),(9,14),(10,12),(10,13),(11,15),(12,15),(13,15),(14,15)],16)
 => ? = 5 - 1
[4,1,5,2,6,3] => ([(0,4),(1,2),(1,4),(2,3),(2,5),(4,5)],6)
 => ([(0,4),(1,5),(2,5),(4,1),(4,2),(5,3)],6)
 => ([(0,1),(0,2),(0,3),(0,4),(1,8),(1,9),(1,10),(2,6),(2,7),(2,10),(3,5),(3,7),(3,9),(4,5),(4,6),(4,8),(5,11),(5,14),(6,11),(6,12),(7,11),(7,13),(8,12),(8,14),(9,13),(9,14),(10,12),(10,13),(11,15),(12,15),(13,15),(14,15)],16)
 => ? = 5 - 1
[4,1,5,6,2,3] => ([(0,5),(1,4),(1,5),(4,2),(5,3)],6)
 => ([(0,4),(1,6),(2,5),(3,1),(3,5),(4,2),(4,3),(5,6)],7)
 => ([(0,1),(0,2),(0,3),(0,4),(1,8),(1,9),(1,10),(2,6),(2,7),(2,10),(3,5),(3,7),(3,9),(4,5),(4,6),(4,8),(5,11),(5,14),(6,11),(6,12),(7,11),(7,13),(8,12),(8,14),(9,13),(9,14),(10,12),(10,13),(11,15),(12,15),(13,15),(14,15)],16)
 => ? = 5 - 1
[4,1,6,2,3,5] => ([(0,4),(0,5),(1,2),(1,4),(2,3),(3,5)],6)
 => ([(0,4),(1,5),(2,5),(4,1),(4,2),(5,3)],6)
 => ([(0,1),(0,2),(0,3),(0,4),(1,8),(1,9),(1,10),(2,6),(2,7),(2,10),(3,5),(3,7),(3,9),(4,5),(4,6),(4,8),(5,11),(5,14),(6,11),(6,12),(7,11),(7,13),(8,12),(8,14),(9,13),(9,14),(10,12),(10,13),(11,15),(12,15),(13,15),(14,15)],16)
 => ? = 5 - 1
[4,5,1,2,6,3] => ([(0,3),(1,4),(3,5),(4,2),(4,5)],6)
 => ([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7)
 => ([(0,1),(0,2),(0,3),(0,4),(1,8),(1,9),(1,10),(2,6),(2,7),(2,10),(3,5),(3,7),(3,9),(4,5),(4,6),(4,8),(5,11),(5,14),(6,11),(6,12),(7,11),(7,13),(8,12),(8,14),(9,13),(9,14),(10,12),(10,13),(11,15),(12,15),(13,15),(14,15)],16)
 => ? = 5 - 1
[4,6,1,2,3,5] => ([(0,4),(1,3),(1,5),(2,5),(4,2)],6)
 => ([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7)
 => ([(0,1),(0,2),(0,3),(0,4),(1,8),(1,9),(1,10),(2,6),(2,7),(2,10),(3,5),(3,7),(3,9),(4,5),(4,6),(4,8),(5,11),(5,14),(6,11),(6,12),(7,11),(7,13),(8,12),(8,14),(9,13),(9,14),(10,12),(10,13),(11,15),(12,15),(13,15),(14,15)],16)
 => ? = 5 - 1
[5,1,2,3,6,4] => ([(0,5),(1,3),(3,4),(4,2),(4,5)],6)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => ([(0,1),(0,2),(0,3),(0,4),(1,8),(1,9),(1,10),(2,6),(2,7),(2,10),(3,5),(3,7),(3,9),(4,5),(4,6),(4,8),(5,11),(5,14),(6,11),(6,12),(7,11),(7,13),(8,12),(8,14),(9,13),(9,14),(10,12),(10,13),(11,15),(12,15),(13,15),(14,15)],16)
 => ? = 5 - 1
[5,1,2,6,3,4] => ([(0,5),(1,4),(3,2),(4,3),(4,5)],6)
 => ([(0,3),(1,5),(2,5),(3,4),(4,1),(4,2)],6)
 => ([(0,1),(0,2),(0,3),(0,4),(1,8),(1,9),(1,10),(2,6),(2,7),(2,10),(3,5),(3,7),(3,9),(4,5),(4,6),(4,8),(5,11),(5,14),(6,11),(6,12),(7,11),(7,13),(8,12),(8,14),(9,13),(9,14),(10,12),(10,13),(11,15),(12,15),(13,15),(14,15)],16)
 => ? = 5 - 1
[5,1,6,2,3,4] => ([(0,5),(1,4),(1,5),(3,2),(4,3)],6)
 => ([(0,4),(1,6),(2,5),(3,1),(3,5),(4,2),(4,3),(5,6)],7)
 => ([(0,1),(0,2),(0,3),(0,4),(1,8),(1,9),(1,10),(2,6),(2,7),(2,10),(3,5),(3,7),(3,9),(4,5),(4,6),(4,8),(5,11),(5,14),(6,11),(6,12),(7,11),(7,13),(8,12),(8,14),(9,13),(9,14),(10,12),(10,13),(11,15),(12,15),(13,15),(14,15)],16)
 => ? = 5 - 1
[6,1,2,3,4,5] => ([(1,5),(3,4),(4,2),(5,3)],6)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => ([(0,1),(0,2),(0,3),(0,4),(1,8),(1,9),(1,10),(2,6),(2,7),(2,10),(3,5),(3,7),(3,9),(4,5),(4,6),(4,8),(5,11),(5,14),(6,11),(6,12),(7,11),(7,13),(8,12),(8,14),(9,13),(9,14),(10,12),(10,13),(11,15),(12,15),(13,15),(14,15)],16)
 => ? = 5 - 1
[1,2,3,4,5,6,7] => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
 => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
 => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,17),(1,18),(1,19),(1,20),(1,21),(2,13),(2,14),(2,15),(2,16),(2,21),(3,10),(3,11),(3,12),(3,16),(3,20),(4,8),(4,9),(4,12),(4,15),(4,19),(5,7),(5,9),(5,11),(5,14),(5,18),(6,7),(6,8),(6,10),(6,13),(6,17),(7,22),(7,25),(7,28),(7,34),(8,22),(8,23),(8,26),(8,32),(9,22),(9,24),(9,27),(9,33),(10,23),(10,25),(10,29),(10,35),(11,24),(11,25),(11,30),(11,36),(12,23),(12,24),(12,31),(12,37),(13,26),(13,28),(13,29),(13,38),(14,27),(14,28),(14,30),(14,39),(15,26),(15,27),(15,31),(15,40),(16,29),(16,30),(16,31),(16,41),(17,32),(17,34),(17,35),(17,38),(18,33),(18,34),(18,36),(18,39),(19,32),(19,33),(19,37),(19,40),(20,35),(20,36),(20,37),(20,41),(21,38),(21,39),(21,40),(21,41),(22,45),(22,46),(22,56),(23,42),(23,46),(23,53),(24,43),(24,46),(24,54),(25,44),(25,46),(25,55),(26,42),(26,45),(26,47),(27,43),(27,45),(27,48),(28,44),(28,45),(28,49),(29,42),(29,44),(29,50),(30,43),(30,44),(30,51),(31,42),(31,43),(31,52),(32,47),(32,53),(32,56),(33,48),(33,54),(33,56),(34,49),(34,55),(34,56),(35,50),(35,53),(35,55),(36,51),(36,54),(36,55),(37,52),(37,53),(37,54),(38,47),(38,49),(38,50),(39,48),(39,49),(39,51),(40,47),(40,48),(40,52),(41,50),(41,51),(41,52),(42,57),(42,62),(43,58),(43,62),(44,59),(44,62),(45,60),(45,62),(46,61),(46,62),(47,57),(47,60),(48,58),(48,60),(49,59),(49,60),(50,57),(50,59),(51,58),(51,59),(52,57),(52,58),(53,57),(53,61),(54,58),(54,61),(55,59),(55,61),(56,60),(56,61),(57,63),(58,63),(59,63),(60,63),(61,63),(62,63)],64)
 => ? = 7 - 1
[1,3,4,5,6,7,2] => ([(0,2),(0,6),(3,5),(4,3),(5,1),(6,4)],7)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => ([(0,1),(0,2),(0,3),(0,4),(1,8),(1,9),(1,10),(2,6),(2,7),(2,10),(3,5),(3,7),(3,9),(4,5),(4,6),(4,8),(5,11),(5,14),(6,11),(6,12),(7,11),(7,13),(8,12),(8,14),(9,13),(9,14),(10,12),(10,13),(11,15),(12,15),(13,15),(14,15)],16)
 => ? = 5 - 1
[1,3,4,5,7,2,6] => ([(0,2),(0,5),(2,6),(3,4),(4,1),(4,6),(5,3)],7)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => ([(0,1),(0,2),(0,3),(0,4),(1,8),(1,9),(1,10),(2,6),(2,7),(2,10),(3,5),(3,7),(3,9),(4,5),(4,6),(4,8),(5,11),(5,14),(6,11),(6,12),(7,11),(7,13),(8,12),(8,14),(9,13),(9,14),(10,12),(10,13),(11,15),(12,15),(13,15),(14,15)],16)
 => ? = 5 - 1
[1,3,4,6,2,7,5] => ([(0,2),(0,4),(1,5),(2,5),(2,6),(3,1),(3,6),(4,3)],7)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => ([(0,1),(0,2),(0,3),(0,4),(1,8),(1,9),(1,10),(2,6),(2,7),(2,10),(3,5),(3,7),(3,9),(4,5),(4,6),(4,8),(5,11),(5,14),(6,11),(6,12),(7,11),(7,13),(8,12),(8,14),(9,13),(9,14),(10,12),(10,13),(11,15),(12,15),(13,15),(14,15)],16)
 => ? = 5 - 1
[1,3,4,6,7,2,5] => ([(0,2),(0,5),(2,6),(3,1),(4,3),(4,6),(5,4)],7)
 => ([(0,3),(1,5),(2,5),(3,4),(4,1),(4,2)],6)
 => ([(0,1),(0,2),(0,3),(0,4),(1,8),(1,9),(1,10),(2,6),(2,7),(2,10),(3,5),(3,7),(3,9),(4,5),(4,6),(4,8),(5,11),(5,14),(6,11),(6,12),(7,11),(7,13),(8,12),(8,14),(9,13),(9,14),(10,12),(10,13),(11,15),(12,15),(13,15),(14,15)],16)
 => ? = 5 - 1
[1,3,4,7,2,5,6] => ([(0,3),(0,5),(3,6),(4,1),(4,6),(5,4),(6,2)],7)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => ([(0,1),(0,2),(0,3),(0,4),(1,8),(1,9),(1,10),(2,6),(2,7),(2,10),(3,5),(3,7),(3,9),(4,5),(4,6),(4,8),(5,11),(5,14),(6,11),(6,12),(7,11),(7,13),(8,12),(8,14),(9,13),(9,14),(10,12),(10,13),(11,15),(12,15),(13,15),(14,15)],16)
 => ? = 5 - 1
[1,3,5,2,6,7,4] => ([(0,3),(0,4),(2,6),(3,5),(3,6),(4,2),(4,5),(6,1)],7)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => ([(0,1),(0,2),(0,3),(0,4),(1,8),(1,9),(1,10),(2,6),(2,7),(2,10),(3,5),(3,7),(3,9),(4,5),(4,6),(4,8),(5,11),(5,14),(6,11),(6,12),(7,11),(7,13),(8,12),(8,14),(9,13),(9,14),(10,12),(10,13),(11,15),(12,15),(13,15),(14,15)],16)
 => ? = 5 - 1
[1,3,5,2,7,4,6] => ([(0,2),(0,3),(1,4),(1,6),(2,4),(2,5),(3,1),(3,5),(5,6)],7)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => ([(0,1),(0,2),(0,3),(0,4),(1,8),(1,9),(1,10),(2,6),(2,7),(2,10),(3,5),(3,7),(3,9),(4,5),(4,6),(4,8),(5,11),(5,14),(6,11),(6,12),(7,11),(7,13),(8,12),(8,14),(9,13),(9,14),(10,12),(10,13),(11,15),(12,15),(13,15),(14,15)],16)
 => ? = 5 - 1
[1,3,5,6,2,7,4] => ([(0,2),(0,4),(1,5),(2,5),(2,6),(3,1),(4,3),(4,6)],7)
 => ([(0,4),(1,5),(2,5),(4,1),(4,2),(5,3)],6)
 => ([(0,1),(0,2),(0,3),(0,4),(1,8),(1,9),(1,10),(2,6),(2,7),(2,10),(3,5),(3,7),(3,9),(4,5),(4,6),(4,8),(5,11),(5,14),(6,11),(6,12),(7,11),(7,13),(8,12),(8,14),(9,13),(9,14),(10,12),(10,13),(11,15),(12,15),(13,15),(14,15)],16)
 => ? = 5 - 1
[1,3,5,6,7,2,4] => ([(0,2),(0,5),(2,6),(3,4),(4,1),(5,3),(5,6)],7)
 => ([(0,4),(1,6),(2,5),(3,1),(3,5),(4,2),(4,3),(5,6)],7)
 => ([(0,1),(0,2),(0,3),(0,4),(1,8),(1,9),(1,10),(2,6),(2,7),(2,10),(3,5),(3,7),(3,9),(4,5),(4,6),(4,8),(5,11),(5,14),(6,11),(6,12),(7,11),(7,13),(8,12),(8,14),(9,13),(9,14),(10,12),(10,13),(11,15),(12,15),(13,15),(14,15)],16)
 => ? = 5 - 1
[1,3,5,7,2,4,6] => ([(0,2),(0,4),(2,5),(3,1),(3,6),(4,3),(4,5),(5,6)],7)
 => ([(0,4),(1,5),(2,5),(4,1),(4,2),(5,3)],6)
 => ([(0,1),(0,2),(0,3),(0,4),(1,8),(1,9),(1,10),(2,6),(2,7),(2,10),(3,5),(3,7),(3,9),(4,5),(4,6),(4,8),(5,11),(5,14),(6,11),(6,12),(7,11),(7,13),(8,12),(8,14),(9,13),(9,14),(10,12),(10,13),(11,15),(12,15),(13,15),(14,15)],16)
 => ? = 5 - 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.

The following 26 statistics, ordered by result quality, also match your data. Click on any of them to see the details.

St001881The number of factors of a lattice as a Cartesian product of lattices. St001637The number of (upper) dissectors of a poset. St001668The number of points of the poset minus the width of the poset. St000550The number of modular elements of a lattice. St000551The number of left modular elements of a lattice. St001621The number of atoms of a lattice. St001623The number of doubly irreducible elements of a lattice. St001624The breadth of a lattice. St001626The number of maximal proper sublattices of a lattice. St001630The global dimension of the incidence algebra of the lattice over the rational numbers. St001754The number of tolerances of a finite lattice. St001878The projective dimension of the simple modules corresponding to the minimum of L in the incidence algebra of the lattice L. St001625The Möbius invariant of a lattice. St001877Number of indecomposable injective modules with projective dimension 2. St001876The number of 2-regular simple modules in the incidence algebra of the lattice. St000256The number of parts from which one can substract 2 and still get an integer partition. St001563The value of the power-sum symmetric function evaluated at 1. St001442The number of standard Young tableaux whose major index is divisible by the size of a given integer partition. St001711The number of permutations such that conjugation with a permutation of given cycle type yields the squared permutation. St001618The cardinality of the Frattini sublattice of a lattice. St001720The minimal length of a chain of small intervals in a 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. St001846The number of elements which do not have a complement in the lattice. St001568The smallest positive integer that does not appear twice in the partition. St001604The multiplicity of the irreducible representation corresponding to a partition in the relabelling action on polygons.