Processing math: 100%

Your data matches 11 different statistics following compositions of up to 3 maps.
(click to perform a complete search on your data)
Matching statistic: St000772
Mapping
Mp00050: Ordered trees —to binary tree: right brother = right child⟶ Binary trees
Mp00014: Binary trees —to 132-avoiding permutation⟶ Permutations
Mp00160: Permutations —graph of inversions⟶ Graphs
St000772: Graphs ⟶ ℤResult quality: 100% ●values known / values provided: 100%●distinct values known / distinct values provided: 100%
Values
[[]]
 => [.,.]
 => [1] => ([],1)
 => 1
[[],[]]
 => [.,[.,.]]
 => [2,1] => ([(0,1)],2)
 => 1
[[],[],[]]
 => [.,[.,[.,.]]]
 => [3,2,1] => ([(0,1),(0,2),(1,2)],3)
 => 2
[[],[[]]]
 => [.,[[.,.],.]]
 => [2,3,1] => ([(0,2),(1,2)],3)
 => 1
[[[]],[]]
 => [[.,.],[.,.]]
 => [3,1,2] => ([(0,2),(1,2)],3)
 => 1
[[],[],[],[]]
 => [.,[.,[.,[.,.]]]]
 => [4,3,2,1] => ([(0,1),(0,2),(0,3),(1,2),(1,3),(2,3)],4)
 => 3
[[],[],[[]]]
 => [.,[.,[[.,.],.]]]
 => [3,4,2,1] => ([(0,2),(0,3),(1,2),(1,3),(2,3)],4)
 => 1
[[],[[]],[]]
 => [.,[[.,.],[.,.]]]
 => [4,2,3,1] => ([(0,2),(0,3),(1,2),(1,3),(2,3)],4)
 => 1
[[],[[],[]]]
 => [.,[[.,[.,.]],.]]
 => [3,2,4,1] => ([(0,3),(1,2),(1,3),(2,3)],4)
 => 1
[[],[[[]]]]
 => [.,[[[.,.],.],.]]
 => [2,3,4,1] => ([(0,3),(1,3),(2,3)],4)
 => 2
[[[]],[],[]]
 => [[.,.],[.,[.,.]]]
 => [4,3,1,2] => ([(0,2),(0,3),(1,2),(1,3),(2,3)],4)
 => 1
[[[]],[[]]]
 => [[.,.],[[.,.],.]]
 => [3,4,1,2] => ([(0,2),(0,3),(1,2),(1,3)],4)
 => 2
[[[],[]],[]]
 => [[.,[.,.]],[.,.]]
 => [4,2,1,3] => ([(0,3),(1,2),(1,3),(2,3)],4)
 => 1
[[[[]]],[]]
 => [[[.,.],.],[.,.]]
 => [4,1,2,3] => ([(0,3),(1,3),(2,3)],4)
 => 2
[[],[],[],[],[]]
 => [.,[.,[.,[.,[.,.]]]]]
 => [5,4,3,2,1] => ([(0,1),(0,2),(0,3),(0,4),(1,2),(1,3),(1,4),(2,3),(2,4),(3,4)],5)
 => 4
[[],[],[],[[]]]
 => [.,[.,[.,[[.,.],.]]]]
 => [4,5,3,2,1] => ([(0,2),(0,3),(0,4),(1,2),(1,3),(1,4),(2,3),(2,4),(3,4)],5)
 => 1
[[],[],[[]],[]]
 => [.,[.,[[.,.],[.,.]]]]
 => [5,3,4,2,1] => ([(0,2),(0,3),(0,4),(1,2),(1,3),(1,4),(2,3),(2,4),(3,4)],5)
 => 1
[[],[],[[],[]]]
 => [.,[.,[[.,[.,.]],.]]]
 => [4,3,5,2,1] => ([(0,3),(0,4),(1,2),(1,3),(1,4),(2,3),(2,4),(3,4)],5)
 => 1
[[],[],[[[]]]]
 => [.,[.,[[[.,.],.],.]]]
 => [3,4,5,2,1] => ([(0,3),(0,4),(1,3),(1,4),(2,3),(2,4),(3,4)],5)
 => 2
[[],[[]],[],[]]
 => [.,[[.,.],[.,[.,.]]]]
 => [5,4,2,3,1] => ([(0,2),(0,3),(0,4),(1,2),(1,3),(1,4),(2,3),(2,4),(3,4)],5)
 => 1
[[],[[]],[[]]]
 => [.,[[.,.],[[.,.],.]]]
 => [4,5,2,3,1] => ([(0,2),(0,3),(0,4),(1,2),(1,3),(1,4),(2,4),(3,4)],5)
 => 2
[[],[[],[]],[]]
 => [.,[[.,[.,.]],[.,.]]]
 => [5,3,2,4,1] => ([(0,3),(0,4),(1,2),(1,3),(1,4),(2,3),(2,4),(3,4)],5)
 => 1
[[],[[[]]],[]]
 => [.,[[[.,.],.],[.,.]]]
 => [5,2,3,4,1] => ([(0,3),(0,4),(1,3),(1,4),(2,3),(2,4),(3,4)],5)
 => 2
[[],[[],[],[]]]
 => [.,[[.,[.,[.,.]]],.]]
 => [4,3,2,5,1] => ([(0,4),(1,2),(1,3),(1,4),(2,3),(2,4),(3,4)],5)
 => 1
[[],[[],[[]]]]
 => [.,[[.,[[.,.],.]],.]]
 => [3,4,2,5,1] => ([(0,4),(1,3),(1,4),(2,3),(2,4),(3,4)],5)
 => 1
[[],[[[]],[]]]
 => [.,[[[.,.],[.,.]],.]]
 => [4,2,3,5,1] => ([(0,4),(1,3),(1,4),(2,3),(2,4),(3,4)],5)
 => 1
[[],[[[],[]]]]
 => [.,[[[.,[.,.]],.],.]]
 => [3,2,4,5,1] => ([(0,4),(1,4),(2,3),(2,4),(3,4)],5)
 => 2
[[],[[[[]]]]]
 => [.,[[[[.,.],.],.],.]]
 => [2,3,4,5,1] => ([(0,4),(1,4),(2,4),(3,4)],5)
 => 3
[[[]],[],[],[]]
 => [[.,.],[.,[.,[.,.]]]]
 => [5,4,3,1,2] => ([(0,2),(0,3),(0,4),(1,2),(1,3),(1,4),(2,3),(2,4),(3,4)],5)
 => 1
[[[]],[],[[]]]
 => [[.,.],[.,[[.,.],.]]]
 => [4,5,3,1,2] => ([(0,2),(0,3),(0,4),(1,2),(1,3),(1,4),(2,4),(3,4)],5)
 => 2
[[[]],[[]],[]]
 => [[.,.],[[.,.],[.,.]]]
 => [5,3,4,1,2] => ([(0,2),(0,3),(0,4),(1,2),(1,3),(1,4),(2,4),(3,4)],5)
 => 2
[[[]],[[],[]]]
 => [[.,.],[[.,[.,.]],.]]
 => [4,3,5,1,2] => ([(0,3),(0,4),(1,2),(1,3),(1,4),(2,3),(2,4)],5)
 => 1
[[[]],[[[]]]]
 => [[.,.],[[[.,.],.],.]]
 => [3,4,5,1,2] => ([(0,3),(0,4),(1,3),(1,4),(2,3),(2,4)],5)
 => 2
[[[],[]],[],[]]
 => [[.,[.,.]],[.,[.,.]]]
 => [5,4,2,1,3] => ([(0,3),(0,4),(1,2),(1,3),(1,4),(2,3),(2,4),(3,4)],5)
 => 1
[[[[]]],[],[]]
 => [[[.,.],.],[.,[.,.]]]
 => [5,4,1,2,3] => ([(0,3),(0,4),(1,3),(1,4),(2,3),(2,4),(3,4)],5)
 => 2
[[[],[]],[[]]]
 => [[.,[.,.]],[[.,.],.]]
 => [4,5,2,1,3] => ([(0,3),(0,4),(1,2),(1,3),(1,4),(2,3),(2,4)],5)
 => 1
[[[[]]],[[]]]
 => [[[.,.],.],[[.,.],.]]
 => [4,5,1,2,3] => ([(0,3),(0,4),(1,3),(1,4),(2,3),(2,4)],5)
 => 2
[[[],[],[]],[]]
 => [[.,[.,[.,.]]],[.,.]]
 => [5,3,2,1,4] => ([(0,4),(1,2),(1,3),(1,4),(2,3),(2,4),(3,4)],5)
 => 1
[[[],[[]]],[]]
 => [[.,[[.,.],.]],[.,.]]
 => [5,2,3,1,4] => ([(0,4),(1,3),(1,4),(2,3),(2,4),(3,4)],5)
 => 1
[[[[]],[]],[]]
 => [[[.,.],[.,.]],[.,.]]
 => [5,3,1,2,4] => ([(0,4),(1,3),(1,4),(2,3),(2,4),(3,4)],5)
 => 1
[[[[],[]]],[]]
 => [[[.,[.,.]],.],[.,.]]
 => [5,2,1,3,4] => ([(0,4),(1,4),(2,3),(2,4),(3,4)],5)
 => 2
[[[[[]]]],[]]
 => [[[[.,.],.],.],[.,.]]
 => [5,1,2,3,4] => ([(0,4),(1,4),(2,4),(3,4)],5)
 => 3
[[],[],[],[],[],[]]
 => [.,[.,[.,[.,[.,[.,.]]]]]]
 => [6,5,4,3,2,1] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(1,2),(1,3),(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6)
 => 5
[[],[],[],[],[[]]]
 => [.,[.,[.,[.,[[.,.],.]]]]]
 => [5,6,4,3,2,1] => ([(0,2),(0,3),(0,4),(0,5),(1,2),(1,3),(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6)
 => 1
[[],[],[],[[]],[]]
 => [.,[.,[.,[[.,.],[.,.]]]]]
 => [6,4,5,3,2,1] => ([(0,2),(0,3),(0,4),(0,5),(1,2),(1,3),(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6)
 => 1
[[],[],[],[[],[]]]
 => [.,[.,[.,[[.,[.,.]],.]]]]
 => [5,4,6,3,2,1] => ([(0,3),(0,4),(0,5),(1,2),(1,3),(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6)
 => 1
[[],[],[],[[[]]]]
 => [.,[.,[.,[[[.,.],.],.]]]]
 => [4,5,6,3,2,1] => ([(0,3),(0,4),(0,5),(1,3),(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6)
 => 2
[[],[],[[]],[],[]]
 => [.,[.,[[.,.],[.,[.,.]]]]]
 => [6,5,3,4,2,1] => ([(0,2),(0,3),(0,4),(0,5),(1,2),(1,3),(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6)
 => 1
[[],[],[[]],[[]]]
 => [.,[.,[[.,.],[[.,.],.]]]]
 => [5,6,3,4,2,1] => ([(0,2),(0,3),(0,4),(0,5),(1,2),(1,3),(1,4),(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6)
 => 2
[[],[],[[],[]],[]]
 => [.,[.,[[.,[.,.]],[.,.]]]]
 => [6,4,3,5,2,1] => ([(0,3),(0,4),(0,5),(1,2),(1,3),(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6)
 => 1
Description
The multiplicity of the largest distance Laplacian eigenvalue in a connected graph. The distance Laplacian of a graph is the (symmetric) matrix with row and column sums 0, which has the negative distances between two vertices as its off-diagonal entries. This statistic is the largest multiplicity of an eigenvalue. For example, the cycle on four vertices has distance Laplacian (4−1−2−1−14−1−2−2−14−1−1−2−14). Its eigenvalues are 0,4,4,6, so the statistic is 1. The path on four vertices has eigenvalues 0,4.7…,6,9.2… and therefore also statistic 1. The graphs with statistic n−1, n−2 and n−3 have been characterised, see [1].
Matching statistic: St001877
Mapping
Mp00047: Ordered trees —to poset⟶ Posets
Mp00205: Posets —maximal antichains⟶ Lattices
Mp00197: Lattices —lattice of congruences⟶ Lattices
St001877: Lattices ⟶ ℤResult quality: 7% ●values known / values provided: 7%●distinct values known / distinct values provided: 17%
Values
[[]]
 => ([(0,1)],2)
 => ([(0,1)],2)
 => ([(0,1)],2)
 => ? = 1
[[],[]]
 => ([(0,2),(1,2)],3)
 => ([(0,1)],2)
 => ([(0,1)],2)
 => ? = 1
[[],[],[]]
 => ([(0,3),(1,3),(2,3)],4)
 => ([(0,1)],2)
 => ([(0,1)],2)
 => ? = 2
[[],[[]]]
 => ([(0,3),(1,2),(2,3)],4)
 => ([(0,2),(2,1)],3)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 1
[[[]],[]]
 => ([(0,3),(1,2),(2,3)],4)
 => ([(0,2),(2,1)],3)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 1
[[],[],[],[]]
 => ([(0,4),(1,4),(2,4),(3,4)],5)
 => ([(0,1)],2)
 => ([(0,1)],2)
 => ? = 3
[[],[],[[]]]
 => ([(0,4),(1,4),(2,3),(3,4)],5)
 => ([(0,2),(2,1)],3)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 1
[[],[[]],[]]
 => ([(0,4),(1,4),(2,3),(3,4)],5)
 => ([(0,2),(2,1)],3)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 1
[[],[[],[]]]
 => ([(0,4),(1,3),(2,3),(3,4)],5)
 => ([(0,2),(2,1)],3)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 1
[[],[[[]]]]
 => ([(0,4),(1,2),(2,3),(3,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)
 => ? = 2
[[[]],[],[]]
 => ([(0,4),(1,4),(2,3),(3,4)],5)
 => ([(0,2),(2,1)],3)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 1
[[[]],[[]]]
 => ([(0,3),(1,2),(2,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)
 => ? = 2
[[[],[]],[]]
 => ([(0,4),(1,3),(2,3),(3,4)],5)
 => ([(0,2),(2,1)],3)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 1
[[[[]]],[]]
 => ([(0,4),(1,2),(2,3),(3,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)
 => ? = 2
[[],[],[],[],[]]
 => ([(0,5),(1,5),(2,5),(3,5),(4,5)],6)
 => ([(0,1)],2)
 => ([(0,1)],2)
 => ? = 4
[[],[],[],[[]]]
 => ([(0,5),(1,5),(2,5),(3,4),(4,5)],6)
 => ([(0,2),(2,1)],3)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 1
[[],[],[[]],[]]
 => ([(0,5),(1,5),(2,5),(3,4),(4,5)],6)
 => ([(0,2),(2,1)],3)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 1
[[],[],[[],[]]]
 => ([(0,5),(1,5),(2,4),(3,4),(4,5)],6)
 => ([(0,2),(2,1)],3)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 1
[[],[],[[[]]]]
 => ([(0,5),(1,5),(2,3),(3,4),(4,5)],6)
 => ([(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)
 => ? = 2
[[],[[]],[],[]]
 => ([(0,5),(1,5),(2,5),(3,4),(4,5)],6)
 => ([(0,2),(2,1)],3)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 1
[[],[[]],[[]]]
 => ([(0,5),(1,4),(2,3),(3,5),(4,5)],6)
 => ([(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)
 => ? = 2
[[],[[],[]],[]]
 => ([(0,5),(1,5),(2,4),(3,4),(4,5)],6)
 => ([(0,2),(2,1)],3)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 1
[[],[[[]]],[]]
 => ([(0,5),(1,5),(2,3),(3,4),(4,5)],6)
 => ([(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)
 => ? = 2
[[],[[],[],[]]]
 => ([(0,5),(1,5),(2,5),(3,4),(5,4)],6)
 => ([(0,2),(2,1)],3)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 1
[[],[[],[[]]]]
 => ([(0,5),(1,4),(2,3),(3,5),(5,4)],6)
 => ([(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)
 => ? = 1
[[],[[[]],[]]]
 => ([(0,5),(1,4),(2,3),(3,5),(5,4)],6)
 => ([(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)
 => ? = 1
[[],[[[],[]]]]
 => ([(0,5),(1,4),(2,4),(3,5),(4,3)],6)
 => ([(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)
 => ? = 2
[[],[[[[]]]]]
 => ([(0,5),(1,4),(2,5),(3,2),(4,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)
 => ? = 3
[[[]],[],[],[]]
 => ([(0,5),(1,5),(2,5),(3,4),(4,5)],6)
 => ([(0,2),(2,1)],3)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 1
[[[]],[],[[]]]
 => ([(0,5),(1,4),(2,3),(3,5),(4,5)],6)
 => ([(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)
 => ? = 2
[[[]],[[]],[]]
 => ([(0,5),(1,4),(2,3),(3,5),(4,5)],6)
 => ([(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)
 => ? = 2
[[[]],[[],[]]]
 => ([(0,4),(1,4),(2,3),(3,5),(4,5)],6)
 => ([(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)
 => ? = 1
[[[]],[[[]]]]
 => ([(0,3),(1,4),(2,5),(3,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)
 => ? = 2
[[[],[]],[],[]]
 => ([(0,5),(1,5),(2,4),(3,4),(4,5)],6)
 => ([(0,2),(2,1)],3)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 1
[[[[]]],[],[]]
 => ([(0,5),(1,5),(2,3),(3,4),(4,5)],6)
 => ([(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)
 => ? = 2
[[[],[]],[[]]]
 => ([(0,4),(1,4),(2,3),(3,5),(4,5)],6)
 => ([(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)
 => ? = 1
[[[[]]],[[]]]
 => ([(0,3),(1,4),(2,5),(3,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)
 => ? = 2
[[[],[],[]],[]]
 => ([(0,5),(1,5),(2,5),(3,4),(5,4)],6)
 => ([(0,2),(2,1)],3)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 1
[[[],[[]]],[]]
 => ([(0,5),(1,4),(2,3),(3,5),(5,4)],6)
 => ([(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)
 => ? = 1
[[[[]],[]],[]]
 => ([(0,5),(1,4),(2,3),(3,5),(5,4)],6)
 => ([(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)
 => ? = 1
[[[[],[]]],[]]
 => ([(0,5),(1,4),(2,4),(3,5),(4,3)],6)
 => ([(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)
 => ? = 2
[[[[[]]]],[]]
 => ([(0,5),(1,4),(2,5),(3,2),(4,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)
 => ? = 3
[[],[],[],[],[],[]]
 => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7)
 => ([(0,1)],2)
 => ([(0,1)],2)
 => ? = 5
[[],[],[],[],[[]]]
 => ([(0,6),(1,6),(2,6),(3,6),(4,5),(5,6)],7)
 => ([(0,2),(2,1)],3)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 1
[[],[],[],[[]],[]]
 => ([(0,6),(1,6),(2,6),(3,6),(4,5),(5,6)],7)
 => ([(0,2),(2,1)],3)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 1
[[],[],[],[[],[]]]
 => ([(0,6),(1,6),(2,6),(3,5),(4,5),(5,6)],7)
 => ([(0,2),(2,1)],3)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 1
[[],[],[],[[[]]]]
 => ([(0,6),(1,6),(2,6),(3,4),(4,5),(5,6)],7)
 => ([(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)
 => ? = 2
[[],[],[[]],[],[]]
 => ([(0,6),(1,6),(2,6),(3,6),(4,5),(5,6)],7)
 => ([(0,2),(2,1)],3)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 1
[[],[],[[]],[[]]]
 => ([(0,6),(1,6),(2,5),(3,4),(4,6),(5,6)],7)
 => ([(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)
 => ? = 2
[[],[],[[],[]],[]]
 => ([(0,6),(1,6),(2,6),(3,5),(4,5),(5,6)],7)
 => ([(0,2),(2,1)],3)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 1
[[],[],[[[]]],[]]
 => ([(0,6),(1,6),(2,6),(3,4),(4,5),(5,6)],7)
 => ([(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)
 => ? = 2
[[],[],[[],[],[]]]
 => ([(0,6),(1,6),(2,5),(3,5),(4,5),(5,6)],7)
 => ([(0,2),(2,1)],3)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 1
[[],[],[[],[[]]]]
 => ([(0,6),(1,6),(2,5),(3,4),(4,5),(5,6)],7)
 => ([(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)
 => ? = 1
[[],[],[[[]],[]]]
 => ([(0,6),(1,6),(2,5),(3,4),(4,5),(5,6)],7)
 => ([(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)
 => ? = 1
[[],[],[[[],[]]]]
 => ([(0,6),(1,6),(2,5),(3,5),(4,6),(5,4)],7)
 => ([(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)
 => ? = 2
[[],[],[[[[]]]]]
 => ([(0,3),(1,6),(2,6),(3,5),(4,6),(5,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)
 => ? = 3
[[],[[]],[],[],[]]
 => ([(0,6),(1,6),(2,6),(3,6),(4,5),(5,6)],7)
 => ([(0,2),(2,1)],3)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 1
[[],[[]],[],[[]]]
 => ([(0,6),(1,6),(2,5),(3,4),(4,6),(5,6)],7)
 => ([(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)
 => ? = 2
[[],[[]],[[]],[]]
 => ([(0,6),(1,6),(2,5),(3,4),(4,6),(5,6)],7)
 => ([(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)
 => ? = 2
[[],[[]],[[],[]]]
 => ([(0,6),(1,5),(2,5),(3,4),(4,6),(5,6)],7)
 => ([(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)
 => ? = 1
[[],[[]],[[[]]]]
 => ([(0,6),(1,3),(2,4),(3,5),(4,6),(5,6)],7)
 => ([(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)
 => ? = 2
[[],[[],[]],[],[]]
 => ([(0,6),(1,6),(2,6),(3,5),(4,5),(5,6)],7)
 => ([(0,2),(2,1)],3)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 1
[[],[[[]]],[],[]]
 => ([(0,6),(1,6),(2,6),(3,4),(4,5),(5,6)],7)
 => ([(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)
 => ? = 2
[[],[[],[]],[[]]]
 => ([(0,6),(1,5),(2,5),(3,4),(4,6),(5,6)],7)
 => ([(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)
 => ? = 1
[[],[[[]]],[[]]]
 => ([(0,6),(1,3),(2,4),(3,5),(4,6),(5,6)],7)
 => ([(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)
 => ? = 2
[[],[[],[],[]],[]]
 => ([(0,6),(1,6),(2,5),(3,5),(4,5),(5,6)],7)
 => ([(0,2),(2,1)],3)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 1
[[],[[],[[]]],[]]
 => ([(0,6),(1,6),(2,5),(3,4),(4,5),(5,6)],7)
 => ([(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)
 => ? = 1
[[],[[[]],[]],[]]
 => ([(0,6),(1,6),(2,5),(3,4),(4,5),(5,6)],7)
 => ([(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)
 => ? = 1
[[],[[[],[]]],[]]
 => ([(0,6),(1,6),(2,5),(3,5),(4,6),(5,4)],7)
 => ([(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)
 => ? = 2
[[],[[[[]]]],[]]
 => ([(0,3),(1,6),(2,6),(3,5),(4,6),(5,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)
 => ? = 3
[[],[[],[],[],[]]]
 => ([(0,6),(1,6),(2,6),(3,6),(4,5),(6,5)],7)
 => ([(0,2),(2,1)],3)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 1
[[],[[],[],[[]]]]
 => ([(0,6),(1,6),(2,5),(3,4),(4,6),(6,5)],7)
 => ([(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)
 => ? = 1
[[],[[],[[]],[]]]
 => ([(0,6),(1,6),(2,5),(3,4),(4,6),(6,5)],7)
 => ([(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)
 => ? = 1
[[],[[],[[],[]]]]
 => ([(0,4),(1,4),(2,5),(3,6),(4,6),(6,5)],7)
 => ([(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)
 => ? = 1
[[],[[],[[[]]]]]
 => ([(0,6),(1,5),(2,3),(3,4),(4,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)
 => ? = 1
[[],[[[]],[],[]]]
 => ([(0,6),(1,6),(2,5),(3,4),(4,6),(6,5)],7)
 => ([(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)
 => ? = 1
[[[]],[],[],[],[]]
 => ([(0,6),(1,6),(2,6),(3,6),(4,5),(5,6)],7)
 => ([(0,2),(2,1)],3)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 1
[[[],[]],[],[],[]]
 => ([(0,6),(1,6),(2,6),(3,5),(4,5),(5,6)],7)
 => ([(0,2),(2,1)],3)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 1
[[[],[],[]],[],[]]
 => ([(0,6),(1,6),(2,5),(3,5),(4,5),(5,6)],7)
 => ([(0,2),(2,1)],3)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 1
[[[],[],[],[]],[]]
 => ([(0,6),(1,6),(2,6),(3,6),(4,5),(6,5)],7)
 => ([(0,2),(2,1)],3)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 1
Description
Number of indecomposable injective modules with projective dimension 2.
Matching statistic: St000455
(load all 2 compositions to match this statistic)
Mapping
Mp00046: Ordered trees —to graph⟶ Graphs
Mp00147: Graphs —square⟶ Graphs
Mp00111: Graphs —complement⟶ Graphs
St000455: Graphs ⟶ ℤResult quality: 7% ●values known / values provided: 7%●distinct values known / distinct values provided: 17%
Values
[[]]
 => ([(0,1)],2)
 => ([(0,1)],2)
 => ([],2)
 => ? = 1 - 1
[[],[]]
 => ([(0,2),(1,2)],3)
 => ([(0,1),(0,2),(1,2)],3)
 => ([],3)
 => ? = 1 - 1
[[],[],[]]
 => ([(0,3),(1,3),(2,3)],4)
 => ([(0,1),(0,2),(0,3),(1,2),(1,3),(2,3)],4)
 => ([],4)
 => ? = 2 - 1
[[],[[]]]
 => ([(0,3),(1,2),(2,3)],4)
 => ([(0,2),(0,3),(1,2),(1,3),(2,3)],4)
 => ([(2,3)],4)
 => 0 = 1 - 1
[[[]],[]]
 => ([(0,3),(1,2),(2,3)],4)
 => ([(0,2),(0,3),(1,2),(1,3),(2,3)],4)
 => ([(2,3)],4)
 => 0 = 1 - 1
[[],[],[],[]]
 => ([(0,4),(1,4),(2,4),(3,4)],5)
 => ([(0,1),(0,2),(0,3),(0,4),(1,2),(1,3),(1,4),(2,3),(2,4),(3,4)],5)
 => ([],5)
 => ? = 3 - 1
[[],[],[[]]]
 => ([(0,4),(1,4),(2,3),(3,4)],5)
 => ([(0,3),(0,4),(1,2),(1,3),(1,4),(2,3),(2,4),(3,4)],5)
 => ([(2,4),(3,4)],5)
 => 0 = 1 - 1
[[],[[]],[]]
 => ([(0,4),(1,4),(2,3),(3,4)],5)
 => ([(0,3),(0,4),(1,2),(1,3),(1,4),(2,3),(2,4),(3,4)],5)
 => ([(2,4),(3,4)],5)
 => 0 = 1 - 1
[[],[[],[]]]
 => ([(0,4),(1,4),(2,3),(3,4)],5)
 => ([(0,3),(0,4),(1,2),(1,3),(1,4),(2,3),(2,4),(3,4)],5)
 => ([(2,4),(3,4)],5)
 => 0 = 1 - 1
[[],[[[]]]]
 => ([(0,4),(1,3),(2,3),(2,4)],5)
 => ([(0,3),(0,4),(1,2),(1,4),(2,3),(2,4),(3,4)],5)
 => ([(1,4),(2,3),(3,4)],5)
 => ? = 2 - 1
[[[]],[],[]]
 => ([(0,4),(1,4),(2,3),(3,4)],5)
 => ([(0,3),(0,4),(1,2),(1,3),(1,4),(2,3),(2,4),(3,4)],5)
 => ([(2,4),(3,4)],5)
 => 0 = 1 - 1
[[[]],[[]]]
 => ([(0,4),(1,3),(2,3),(2,4)],5)
 => ([(0,3),(0,4),(1,2),(1,4),(2,3),(2,4),(3,4)],5)
 => ([(1,4),(2,3),(3,4)],5)
 => ? = 2 - 1
[[[],[]],[]]
 => ([(0,4),(1,4),(2,3),(3,4)],5)
 => ([(0,3),(0,4),(1,2),(1,3),(1,4),(2,3),(2,4),(3,4)],5)
 => ([(2,4),(3,4)],5)
 => 0 = 1 - 1
[[[[]]],[]]
 => ([(0,4),(1,3),(2,3),(2,4)],5)
 => ([(0,3),(0,4),(1,2),(1,4),(2,3),(2,4),(3,4)],5)
 => ([(1,4),(2,3),(3,4)],5)
 => ? = 2 - 1
[[],[],[],[],[]]
 => ([(0,5),(1,5),(2,5),(3,5),(4,5)],6)
 => ([(0,1),(0,2),(0,3),(0,4),(0,5),(1,2),(1,3),(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6)
 => ([],6)
 => ? = 4 - 1
[[],[],[],[[]]]
 => ([(0,5),(1,5),(2,5),(3,4),(4,5)],6)
 => ([(0,4),(0,5),(1,2),(1,3),(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6)
 => ([(2,5),(3,5),(4,5)],6)
 => 0 = 1 - 1
[[],[],[[]],[]]
 => ([(0,5),(1,5),(2,5),(3,4),(4,5)],6)
 => ([(0,4),(0,5),(1,2),(1,3),(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6)
 => ([(2,5),(3,5),(4,5)],6)
 => 0 = 1 - 1
[[],[],[[],[]]]
 => ([(0,5),(1,5),(2,4),(3,4),(4,5)],6)
 => ([(0,3),(0,4),(0,5),(1,2),(1,4),(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6)
 => ([(2,4),(2,5),(3,4),(3,5)],6)
 => 0 = 1 - 1
[[],[],[[[]]]]
 => ([(0,5),(1,5),(2,3),(3,4),(4,5)],6)
 => ([(0,3),(0,5),(1,2),(1,4),(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6)
 => ([(1,5),(2,3),(2,4),(3,5),(4,5)],6)
 => ? = 2 - 1
[[],[[]],[],[]]
 => ([(0,5),(1,5),(2,5),(3,4),(4,5)],6)
 => ([(0,4),(0,5),(1,2),(1,3),(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6)
 => ([(2,5),(3,5),(4,5)],6)
 => 0 = 1 - 1
[[],[[]],[[]]]
 => ([(0,5),(1,4),(2,3),(3,5),(4,5)],6)
 => ([(0,4),(0,5),(1,3),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6)
 => ([(1,5),(2,4),(3,4),(3,5),(4,5)],6)
 => ? = 2 - 1
[[],[[],[]],[]]
 => ([(0,5),(1,5),(2,4),(3,4),(4,5)],6)
 => ([(0,3),(0,4),(0,5),(1,2),(1,4),(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6)
 => ([(2,4),(2,5),(3,4),(3,5)],6)
 => 0 = 1 - 1
[[],[[[]]],[]]
 => ([(0,5),(1,5),(2,3),(3,4),(4,5)],6)
 => ([(0,3),(0,5),(1,2),(1,4),(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6)
 => ([(1,5),(2,3),(2,4),(3,5),(4,5)],6)
 => ? = 2 - 1
[[],[[],[],[]]]
 => ([(0,5),(1,5),(2,5),(3,4),(4,5)],6)
 => ([(0,4),(0,5),(1,2),(1,3),(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6)
 => ([(2,5),(3,5),(4,5)],6)
 => 0 = 1 - 1
[[],[[],[[]]]]
 => ([(0,5),(1,4),(2,3),(3,5),(4,5)],6)
 => ([(0,4),(0,5),(1,3),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6)
 => ([(1,5),(2,4),(3,4),(3,5),(4,5)],6)
 => ? = 1 - 1
[[],[[[]],[]]]
 => ([(0,5),(1,4),(2,3),(3,5),(4,5)],6)
 => ([(0,4),(0,5),(1,3),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6)
 => ([(1,5),(2,4),(3,4),(3,5),(4,5)],6)
 => ? = 1 - 1
[[],[[[],[]]]]
 => ([(0,5),(1,5),(2,3),(3,4),(4,5)],6)
 => ([(0,3),(0,5),(1,2),(1,4),(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6)
 => ([(1,5),(2,3),(2,4),(3,5),(4,5)],6)
 => ? = 2 - 1
[[],[[[[]]]]]
 => ([(0,5),(1,4),(2,3),(2,4),(3,5)],6)
 => ([(0,3),(0,5),(1,2),(1,4),(2,4),(2,5),(3,4),(3,5),(4,5)],6)
 => ([(0,5),(1,4),(2,3),(2,4),(3,5),(4,5)],6)
 => ? = 3 - 1
[[[]],[],[],[]]
 => ([(0,5),(1,5),(2,5),(3,4),(4,5)],6)
 => ([(0,4),(0,5),(1,2),(1,3),(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6)
 => ([(2,5),(3,5),(4,5)],6)
 => 0 = 1 - 1
[[[]],[],[[]]]
 => ([(0,5),(1,4),(2,3),(3,5),(4,5)],6)
 => ([(0,4),(0,5),(1,3),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6)
 => ([(1,5),(2,4),(3,4),(3,5),(4,5)],6)
 => ? = 2 - 1
[[[]],[[]],[]]
 => ([(0,5),(1,4),(2,3),(3,5),(4,5)],6)
 => ([(0,4),(0,5),(1,3),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6)
 => ([(1,5),(2,4),(3,4),(3,5),(4,5)],6)
 => ? = 2 - 1
[[[]],[[],[]]]
 => ([(0,5),(1,5),(2,3),(3,4),(4,5)],6)
 => ([(0,3),(0,5),(1,2),(1,4),(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6)
 => ([(1,5),(2,3),(2,4),(3,5),(4,5)],6)
 => ? = 1 - 1
[[[]],[[[]]]]
 => ([(0,5),(1,4),(2,3),(2,4),(3,5)],6)
 => ([(0,3),(0,5),(1,2),(1,4),(2,4),(2,5),(3,4),(3,5),(4,5)],6)
 => ([(0,5),(1,4),(2,3),(2,4),(3,5),(4,5)],6)
 => ? = 2 - 1
[[[],[]],[],[]]
 => ([(0,5),(1,5),(2,4),(3,4),(4,5)],6)
 => ([(0,3),(0,4),(0,5),(1,2),(1,4),(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6)
 => ([(2,4),(2,5),(3,4),(3,5)],6)
 => 0 = 1 - 1
[[[[]]],[],[]]
 => ([(0,5),(1,5),(2,3),(3,4),(4,5)],6)
 => ([(0,3),(0,5),(1,2),(1,4),(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6)
 => ([(1,5),(2,3),(2,4),(3,5),(4,5)],6)
 => ? = 2 - 1
[[[],[]],[[]]]
 => ([(0,5),(1,5),(2,3),(3,4),(4,5)],6)
 => ([(0,3),(0,5),(1,2),(1,4),(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6)
 => ([(1,5),(2,3),(2,4),(3,5),(4,5)],6)
 => ? = 1 - 1
[[[[]]],[[]]]
 => ([(0,5),(1,4),(2,3),(2,4),(3,5)],6)
 => ([(0,3),(0,5),(1,2),(1,4),(2,4),(2,5),(3,4),(3,5),(4,5)],6)
 => ([(0,5),(1,4),(2,3),(2,4),(3,5),(4,5)],6)
 => ? = 2 - 1
[[[],[],[]],[]]
 => ([(0,5),(1,5),(2,5),(3,4),(4,5)],6)
 => ([(0,4),(0,5),(1,2),(1,3),(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6)
 => ([(2,5),(3,5),(4,5)],6)
 => 0 = 1 - 1
[[[],[[]]],[]]
 => ([(0,5),(1,4),(2,3),(3,5),(4,5)],6)
 => ([(0,4),(0,5),(1,3),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6)
 => ([(1,5),(2,4),(3,4),(3,5),(4,5)],6)
 => ? = 1 - 1
[[[[]],[]],[]]
 => ([(0,5),(1,4),(2,3),(3,5),(4,5)],6)
 => ([(0,4),(0,5),(1,3),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6)
 => ([(1,5),(2,4),(3,4),(3,5),(4,5)],6)
 => ? = 1 - 1
[[[[],[]]],[]]
 => ([(0,5),(1,5),(2,3),(3,4),(4,5)],6)
 => ([(0,3),(0,5),(1,2),(1,4),(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6)
 => ([(1,5),(2,3),(2,4),(3,5),(4,5)],6)
 => ? = 2 - 1
[[[[[]]]],[]]
 => ([(0,5),(1,4),(2,3),(2,4),(3,5)],6)
 => ([(0,3),(0,5),(1,2),(1,4),(2,4),(2,5),(3,4),(3,5),(4,5)],6)
 => ([(0,5),(1,4),(2,3),(2,4),(3,5),(4,5)],6)
 => ? = 3 - 1
[[],[],[],[],[],[]]
 => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7)
 => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,2),(1,3),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
 => ([],7)
 => ? = 5 - 1
[[],[],[],[],[[]]]
 => ([(0,6),(1,6),(2,6),(3,6),(4,5),(5,6)],7)
 => ([(0,5),(0,6),(1,2),(1,3),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
 => ([(2,6),(3,6),(4,6),(5,6)],7)
 => 0 = 1 - 1
[[],[],[],[[]],[]]
 => ([(0,6),(1,6),(2,6),(3,6),(4,5),(5,6)],7)
 => ([(0,5),(0,6),(1,2),(1,3),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
 => ([(2,6),(3,6),(4,6),(5,6)],7)
 => 0 = 1 - 1
[[],[],[],[[],[]]]
 => ([(0,6),(1,6),(2,6),(3,5),(4,5),(5,6)],7)
 => ([(0,1),(0,5),(0,6),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
 => ([(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)
 => 0 = 1 - 1
[[],[],[],[[[]]]]
 => ([(0,6),(1,6),(2,6),(3,4),(4,5),(5,6)],7)
 => ([(0,1),(0,6),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
 => ([(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)
 => ? = 2 - 1
[[],[],[[]],[],[]]
 => ([(0,6),(1,6),(2,6),(3,6),(4,5),(5,6)],7)
 => ([(0,5),(0,6),(1,2),(1,3),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
 => ([(2,6),(3,6),(4,6),(5,6)],7)
 => 0 = 1 - 1
[[],[],[[]],[[]]]
 => ([(0,6),(1,6),(2,5),(3,4),(4,6),(5,6)],7)
 => ([(0,5),(0,6),(1,4),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
 => ([(1,6),(2,5),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
 => ? = 2 - 1
[[],[],[[],[]],[]]
 => ([(0,6),(1,6),(2,6),(3,5),(4,5),(5,6)],7)
 => ([(0,1),(0,5),(0,6),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
 => ([(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)
 => 0 = 1 - 1
[[],[],[[[]]],[]]
 => ([(0,6),(1,6),(2,6),(3,4),(4,5),(5,6)],7)
 => ([(0,1),(0,6),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
 => ([(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)
 => ? = 2 - 1
[[],[],[[],[],[]]]
 => ([(0,6),(1,6),(2,6),(3,5),(4,5),(5,6)],7)
 => ([(0,1),(0,5),(0,6),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
 => ([(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)
 => 0 = 1 - 1
[[],[],[[],[[]]]]
 => ([(0,6),(1,5),(2,5),(3,4),(4,6),(5,6)],7)
 => ([(0,4),(0,6),(1,2),(1,5),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
 => ([(1,6),(2,4),(2,5),(3,4),(3,5),(3,6),(4,6),(5,6)],7)
 => ? = 1 - 1
[[],[],[[[]],[]]]
 => ([(0,6),(1,5),(2,5),(3,4),(4,6),(5,6)],7)
 => ([(0,4),(0,6),(1,2),(1,5),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
 => ([(1,6),(2,4),(2,5),(3,4),(3,5),(3,6),(4,6),(5,6)],7)
 => ? = 1 - 1
[[],[],[[[],[]]]]
 => ([(0,6),(1,6),(2,5),(3,5),(4,5),(4,6)],7)
 => ([(0,1),(0,5),(0,6),(1,5),(1,6),(2,3),(2,4),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7)
 => ([(1,5),(1,6),(2,3),(2,4),(3,5),(3,6),(4,5),(4,6)],7)
 => ? = 2 - 1
[[],[],[[[[]]]]]
 => ([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)
 => ([(0,3),(0,5),(1,2),(1,4),(1,6),(2,4),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
 => ([(0,6),(1,4),(1,5),(2,3),(2,6),(3,4),(3,5),(4,6),(5,6)],7)
 => ? = 3 - 1
[[],[[]],[],[],[]]
 => ([(0,6),(1,6),(2,6),(3,6),(4,5),(5,6)],7)
 => ([(0,5),(0,6),(1,2),(1,3),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
 => ([(2,6),(3,6),(4,6),(5,6)],7)
 => 0 = 1 - 1
[[],[[]],[],[[]]]
 => ([(0,6),(1,6),(2,5),(3,4),(4,6),(5,6)],7)
 => ([(0,5),(0,6),(1,4),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
 => ([(1,6),(2,5),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
 => ? = 2 - 1
[[],[[]],[[]],[]]
 => ([(0,6),(1,6),(2,5),(3,4),(4,6),(5,6)],7)
 => ([(0,5),(0,6),(1,4),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
 => ([(1,6),(2,5),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
 => ? = 2 - 1
[[],[[]],[[],[]]]
 => ([(0,6),(1,5),(2,5),(3,4),(4,6),(5,6)],7)
 => ([(0,4),(0,6),(1,2),(1,5),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
 => ([(1,6),(2,4),(2,5),(3,4),(3,5),(3,6),(4,6),(5,6)],7)
 => ? = 1 - 1
[[],[[]],[[[]]]]
 => ([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)
 => ([(0,4),(0,5),(1,2),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
 => ([(0,6),(1,5),(2,4),(2,6),(3,4),(3,5),(3,6),(4,5),(5,6)],7)
 => ? = 2 - 1
[[],[[],[]],[],[]]
 => ([(0,6),(1,6),(2,6),(3,5),(4,5),(5,6)],7)
 => ([(0,1),(0,5),(0,6),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
 => ([(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)
 => 0 = 1 - 1
[[],[[[]]],[],[]]
 => ([(0,6),(1,6),(2,6),(3,4),(4,5),(5,6)],7)
 => ([(0,1),(0,6),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
 => ([(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)
 => ? = 2 - 1
[[],[[],[]],[[]]]
 => ([(0,6),(1,5),(2,5),(3,4),(4,6),(5,6)],7)
 => ([(0,4),(0,6),(1,2),(1,5),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
 => ([(1,6),(2,4),(2,5),(3,4),(3,5),(3,6),(4,6),(5,6)],7)
 => ? = 1 - 1
[[],[[[]]],[[]]]
 => ([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)
 => ([(0,4),(0,5),(1,2),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
 => ([(0,6),(1,5),(2,4),(2,6),(3,4),(3,5),(3,6),(4,5),(5,6)],7)
 => ? = 2 - 1
[[],[[],[],[]],[]]
 => ([(0,6),(1,6),(2,6),(3,5),(4,5),(5,6)],7)
 => ([(0,1),(0,5),(0,6),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
 => ([(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)
 => 0 = 1 - 1
[[],[[],[[]]],[]]
 => ([(0,6),(1,5),(2,5),(3,4),(4,6),(5,6)],7)
 => ([(0,4),(0,6),(1,2),(1,5),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
 => ([(1,6),(2,4),(2,5),(3,4),(3,5),(3,6),(4,6),(5,6)],7)
 => ? = 1 - 1
[[],[[[]],[]],[]]
 => ([(0,6),(1,5),(2,5),(3,4),(4,6),(5,6)],7)
 => ([(0,4),(0,6),(1,2),(1,5),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
 => ([(1,6),(2,4),(2,5),(3,4),(3,5),(3,6),(4,6),(5,6)],7)
 => ? = 1 - 1
[[],[[[],[]]],[]]
 => ([(0,6),(1,6),(2,5),(3,5),(4,5),(4,6)],7)
 => ([(0,1),(0,5),(0,6),(1,5),(1,6),(2,3),(2,4),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7)
 => ([(1,5),(1,6),(2,3),(2,4),(3,5),(3,6),(4,5),(4,6)],7)
 => ? = 2 - 1
[[],[[[[]]]],[]]
 => ([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)
 => ([(0,3),(0,5),(1,2),(1,4),(1,6),(2,4),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
 => ([(0,6),(1,4),(1,5),(2,3),(2,6),(3,4),(3,5),(4,6),(5,6)],7)
 => ? = 3 - 1
[[],[[],[],[],[]]]
 => ([(0,6),(1,6),(2,6),(3,6),(4,5),(5,6)],7)
 => ([(0,5),(0,6),(1,2),(1,3),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
 => ([(2,6),(3,6),(4,6),(5,6)],7)
 => 0 = 1 - 1
[[],[[],[],[[]]]]
 => ([(0,6),(1,6),(2,5),(3,4),(4,6),(5,6)],7)
 => ([(0,5),(0,6),(1,4),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
 => ([(1,6),(2,5),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
 => ? = 1 - 1
[[],[[],[[]],[]]]
 => ([(0,6),(1,6),(2,5),(3,4),(4,6),(5,6)],7)
 => ([(0,5),(0,6),(1,4),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
 => ([(1,6),(2,5),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
 => ? = 1 - 1
[[],[[],[[],[]]]]
 => ([(0,6),(1,5),(2,5),(3,4),(4,6),(5,6)],7)
 => ([(0,4),(0,6),(1,2),(1,5),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
 => ([(1,6),(2,4),(2,5),(3,4),(3,5),(3,6),(4,6),(5,6)],7)
 => ? = 1 - 1
[[],[[],[[[]]]]]
 => ([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)
 => ([(0,4),(0,5),(1,2),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
 => ([(0,6),(1,5),(2,4),(2,6),(3,4),(3,5),(3,6),(4,5),(5,6)],7)
 => ? = 1 - 1
[[],[[[]],[],[]]]
 => ([(0,6),(1,6),(2,5),(3,4),(4,6),(5,6)],7)
 => ([(0,5),(0,6),(1,4),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
 => ([(1,6),(2,5),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
 => ? = 1 - 1
[[[]],[],[],[],[]]
 => ([(0,6),(1,6),(2,6),(3,6),(4,5),(5,6)],7)
 => ([(0,5),(0,6),(1,2),(1,3),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
 => ([(2,6),(3,6),(4,6),(5,6)],7)
 => 0 = 1 - 1
[[[],[]],[],[],[]]
 => ([(0,6),(1,6),(2,6),(3,5),(4,5),(5,6)],7)
 => ([(0,1),(0,5),(0,6),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
 => ([(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)
 => 0 = 1 - 1
[[[],[],[]],[],[]]
 => ([(0,6),(1,6),(2,6),(3,5),(4,5),(5,6)],7)
 => ([(0,1),(0,5),(0,6),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
 => ([(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)
 => 0 = 1 - 1
[[[],[],[],[]],[]]
 => ([(0,6),(1,6),(2,6),(3,6),(4,5),(5,6)],7)
 => ([(0,5),(0,6),(1,2),(1,3),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
 => ([(2,6),(3,6),(4,6),(5,6)],7)
 => 0 = 1 - 1
Description
The second largest eigenvalue of a graph if it is integral. This statistic is undefined if the second largest eigenvalue of the graph is not integral. Chapter 4 of [1] provides lots of context.
Matching statistic: St001630
Mapping
Mp00047: Ordered trees —to poset⟶ Posets
Mp00205: Posets —maximal antichains⟶ Lattices
Mp00197: Lattices —lattice of congruences⟶ Lattices
St001630: Lattices ⟶ ℤResult quality: 7% ●values known / values provided: 7%●distinct values known / distinct values provided: 17%
Values
[[]]
 => ([(0,1)],2)
 => ([(0,1)],2)
 => ([(0,1)],2)
 => ? = 1 + 1
[[],[]]
 => ([(0,2),(1,2)],3)
 => ([(0,1)],2)
 => ([(0,1)],2)
 => ? = 1 + 1
[[],[],[]]
 => ([(0,3),(1,3),(2,3)],4)
 => ([(0,1)],2)
 => ([(0,1)],2)
 => ? = 2 + 1
[[],[[]]]
 => ([(0,3),(1,2),(2,3)],4)
 => ([(0,2),(2,1)],3)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 2 = 1 + 1
[[[]],[]]
 => ([(0,3),(1,2),(2,3)],4)
 => ([(0,2),(2,1)],3)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 2 = 1 + 1
[[],[],[],[]]
 => ([(0,4),(1,4),(2,4),(3,4)],5)
 => ([(0,1)],2)
 => ([(0,1)],2)
 => ? = 3 + 1
[[],[],[[]]]
 => ([(0,4),(1,4),(2,3),(3,4)],5)
 => ([(0,2),(2,1)],3)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 2 = 1 + 1
[[],[[]],[]]
 => ([(0,4),(1,4),(2,3),(3,4)],5)
 => ([(0,2),(2,1)],3)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 2 = 1 + 1
[[],[[],[]]]
 => ([(0,4),(1,3),(2,3),(3,4)],5)
 => ([(0,2),(2,1)],3)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 2 = 1 + 1
[[],[[[]]]]
 => ([(0,4),(1,2),(2,3),(3,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)
 => ? = 2 + 1
[[[]],[],[]]
 => ([(0,4),(1,4),(2,3),(3,4)],5)
 => ([(0,2),(2,1)],3)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 2 = 1 + 1
[[[]],[[]]]
 => ([(0,3),(1,2),(2,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)
 => ? = 2 + 1
[[[],[]],[]]
 => ([(0,4),(1,3),(2,3),(3,4)],5)
 => ([(0,2),(2,1)],3)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 2 = 1 + 1
[[[[]]],[]]
 => ([(0,4),(1,2),(2,3),(3,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)
 => ? = 2 + 1
[[],[],[],[],[]]
 => ([(0,5),(1,5),(2,5),(3,5),(4,5)],6)
 => ([(0,1)],2)
 => ([(0,1)],2)
 => ? = 4 + 1
[[],[],[],[[]]]
 => ([(0,5),(1,5),(2,5),(3,4),(4,5)],6)
 => ([(0,2),(2,1)],3)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 2 = 1 + 1
[[],[],[[]],[]]
 => ([(0,5),(1,5),(2,5),(3,4),(4,5)],6)
 => ([(0,2),(2,1)],3)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 2 = 1 + 1
[[],[],[[],[]]]
 => ([(0,5),(1,5),(2,4),(3,4),(4,5)],6)
 => ([(0,2),(2,1)],3)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 2 = 1 + 1
[[],[],[[[]]]]
 => ([(0,5),(1,5),(2,3),(3,4),(4,5)],6)
 => ([(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)
 => ? = 2 + 1
[[],[[]],[],[]]
 => ([(0,5),(1,5),(2,5),(3,4),(4,5)],6)
 => ([(0,2),(2,1)],3)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 2 = 1 + 1
[[],[[]],[[]]]
 => ([(0,5),(1,4),(2,3),(3,5),(4,5)],6)
 => ([(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)
 => ? = 2 + 1
[[],[[],[]],[]]
 => ([(0,5),(1,5),(2,4),(3,4),(4,5)],6)
 => ([(0,2),(2,1)],3)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 2 = 1 + 1
[[],[[[]]],[]]
 => ([(0,5),(1,5),(2,3),(3,4),(4,5)],6)
 => ([(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)
 => ? = 2 + 1
[[],[[],[],[]]]
 => ([(0,5),(1,5),(2,5),(3,4),(5,4)],6)
 => ([(0,2),(2,1)],3)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 2 = 1 + 1
[[],[[],[[]]]]
 => ([(0,5),(1,4),(2,3),(3,5),(5,4)],6)
 => ([(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)
 => ? = 1 + 1
[[],[[[]],[]]]
 => ([(0,5),(1,4),(2,3),(3,5),(5,4)],6)
 => ([(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)
 => ? = 1 + 1
[[],[[[],[]]]]
 => ([(0,5),(1,4),(2,4),(3,5),(4,3)],6)
 => ([(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)
 => ? = 2 + 1
[[],[[[[]]]]]
 => ([(0,5),(1,4),(2,5),(3,2),(4,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)
 => ? = 3 + 1
[[[]],[],[],[]]
 => ([(0,5),(1,5),(2,5),(3,4),(4,5)],6)
 => ([(0,2),(2,1)],3)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 2 = 1 + 1
[[[]],[],[[]]]
 => ([(0,5),(1,4),(2,3),(3,5),(4,5)],6)
 => ([(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)
 => ? = 2 + 1
[[[]],[[]],[]]
 => ([(0,5),(1,4),(2,3),(3,5),(4,5)],6)
 => ([(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)
 => ? = 2 + 1
[[[]],[[],[]]]
 => ([(0,4),(1,4),(2,3),(3,5),(4,5)],6)
 => ([(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)
 => ? = 1 + 1
[[[]],[[[]]]]
 => ([(0,3),(1,4),(2,5),(3,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)
 => ? = 2 + 1
[[[],[]],[],[]]
 => ([(0,5),(1,5),(2,4),(3,4),(4,5)],6)
 => ([(0,2),(2,1)],3)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 2 = 1 + 1
[[[[]]],[],[]]
 => ([(0,5),(1,5),(2,3),(3,4),(4,5)],6)
 => ([(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)
 => ? = 2 + 1
[[[],[]],[[]]]
 => ([(0,4),(1,4),(2,3),(3,5),(4,5)],6)
 => ([(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)
 => ? = 1 + 1
[[[[]]],[[]]]
 => ([(0,3),(1,4),(2,5),(3,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)
 => ? = 2 + 1
[[[],[],[]],[]]
 => ([(0,5),(1,5),(2,5),(3,4),(5,4)],6)
 => ([(0,2),(2,1)],3)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 2 = 1 + 1
[[[],[[]]],[]]
 => ([(0,5),(1,4),(2,3),(3,5),(5,4)],6)
 => ([(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)
 => ? = 1 + 1
[[[[]],[]],[]]
 => ([(0,5),(1,4),(2,3),(3,5),(5,4)],6)
 => ([(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)
 => ? = 1 + 1
[[[[],[]]],[]]
 => ([(0,5),(1,4),(2,4),(3,5),(4,3)],6)
 => ([(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)
 => ? = 2 + 1
[[[[[]]]],[]]
 => ([(0,5),(1,4),(2,5),(3,2),(4,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)
 => ? = 3 + 1
[[],[],[],[],[],[]]
 => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7)
 => ([(0,1)],2)
 => ([(0,1)],2)
 => ? = 5 + 1
[[],[],[],[],[[]]]
 => ([(0,6),(1,6),(2,6),(3,6),(4,5),(5,6)],7)
 => ([(0,2),(2,1)],3)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 2 = 1 + 1
[[],[],[],[[]],[]]
 => ([(0,6),(1,6),(2,6),(3,6),(4,5),(5,6)],7)
 => ([(0,2),(2,1)],3)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 2 = 1 + 1
[[],[],[],[[],[]]]
 => ([(0,6),(1,6),(2,6),(3,5),(4,5),(5,6)],7)
 => ([(0,2),(2,1)],3)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 2 = 1 + 1
[[],[],[],[[[]]]]
 => ([(0,6),(1,6),(2,6),(3,4),(4,5),(5,6)],7)
 => ([(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)
 => ? = 2 + 1
[[],[],[[]],[],[]]
 => ([(0,6),(1,6),(2,6),(3,6),(4,5),(5,6)],7)
 => ([(0,2),(2,1)],3)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 2 = 1 + 1
[[],[],[[]],[[]]]
 => ([(0,6),(1,6),(2,5),(3,4),(4,6),(5,6)],7)
 => ([(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)
 => ? = 2 + 1
[[],[],[[],[]],[]]
 => ([(0,6),(1,6),(2,6),(3,5),(4,5),(5,6)],7)
 => ([(0,2),(2,1)],3)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 2 = 1 + 1
[[],[],[[[]]],[]]
 => ([(0,6),(1,6),(2,6),(3,4),(4,5),(5,6)],7)
 => ([(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)
 => ? = 2 + 1
[[],[],[[],[],[]]]
 => ([(0,6),(1,6),(2,5),(3,5),(4,5),(5,6)],7)
 => ([(0,2),(2,1)],3)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 2 = 1 + 1
[[],[],[[],[[]]]]
 => ([(0,6),(1,6),(2,5),(3,4),(4,5),(5,6)],7)
 => ([(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)
 => ? = 1 + 1
[[],[],[[[]],[]]]
 => ([(0,6),(1,6),(2,5),(3,4),(4,5),(5,6)],7)
 => ([(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)
 => ? = 1 + 1
[[],[],[[[],[]]]]
 => ([(0,6),(1,6),(2,5),(3,5),(4,6),(5,4)],7)
 => ([(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)
 => ? = 2 + 1
[[],[],[[[[]]]]]
 => ([(0,3),(1,6),(2,6),(3,5),(4,6),(5,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)
 => ? = 3 + 1
[[],[[]],[],[],[]]
 => ([(0,6),(1,6),(2,6),(3,6),(4,5),(5,6)],7)
 => ([(0,2),(2,1)],3)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 2 = 1 + 1
[[],[[]],[],[[]]]
 => ([(0,6),(1,6),(2,5),(3,4),(4,6),(5,6)],7)
 => ([(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)
 => ? = 2 + 1
[[],[[]],[[]],[]]
 => ([(0,6),(1,6),(2,5),(3,4),(4,6),(5,6)],7)
 => ([(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)
 => ? = 2 + 1
[[],[[]],[[],[]]]
 => ([(0,6),(1,5),(2,5),(3,4),(4,6),(5,6)],7)
 => ([(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)
 => ? = 1 + 1
[[],[[]],[[[]]]]
 => ([(0,6),(1,3),(2,4),(3,5),(4,6),(5,6)],7)
 => ([(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)
 => ? = 2 + 1
[[],[[],[]],[],[]]
 => ([(0,6),(1,6),(2,6),(3,5),(4,5),(5,6)],7)
 => ([(0,2),(2,1)],3)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 2 = 1 + 1
[[],[[[]]],[],[]]
 => ([(0,6),(1,6),(2,6),(3,4),(4,5),(5,6)],7)
 => ([(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)
 => ? = 2 + 1
[[],[[],[]],[[]]]
 => ([(0,6),(1,5),(2,5),(3,4),(4,6),(5,6)],7)
 => ([(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)
 => ? = 1 + 1
[[],[[[]]],[[]]]
 => ([(0,6),(1,3),(2,4),(3,5),(4,6),(5,6)],7)
 => ([(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)
 => ? = 2 + 1
[[],[[],[],[]],[]]
 => ([(0,6),(1,6),(2,5),(3,5),(4,5),(5,6)],7)
 => ([(0,2),(2,1)],3)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 2 = 1 + 1
[[],[[],[[]]],[]]
 => ([(0,6),(1,6),(2,5),(3,4),(4,5),(5,6)],7)
 => ([(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)
 => ? = 1 + 1
[[],[[[]],[]],[]]
 => ([(0,6),(1,6),(2,5),(3,4),(4,5),(5,6)],7)
 => ([(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)
 => ? = 1 + 1
[[],[[[],[]]],[]]
 => ([(0,6),(1,6),(2,5),(3,5),(4,6),(5,4)],7)
 => ([(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)
 => ? = 2 + 1
[[],[[[[]]]],[]]
 => ([(0,3),(1,6),(2,6),(3,5),(4,6),(5,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)
 => ? = 3 + 1
[[],[[],[],[],[]]]
 => ([(0,6),(1,6),(2,6),(3,6),(4,5),(6,5)],7)
 => ([(0,2),(2,1)],3)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 2 = 1 + 1
[[],[[],[],[[]]]]
 => ([(0,6),(1,6),(2,5),(3,4),(4,6),(6,5)],7)
 => ([(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)
 => ? = 1 + 1
[[],[[],[[]],[]]]
 => ([(0,6),(1,6),(2,5),(3,4),(4,6),(6,5)],7)
 => ([(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)
 => ? = 1 + 1
[[],[[],[[],[]]]]
 => ([(0,4),(1,4),(2,5),(3,6),(4,6),(6,5)],7)
 => ([(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)
 => ? = 1 + 1
[[],[[],[[[]]]]]
 => ([(0,6),(1,5),(2,3),(3,4),(4,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)
 => ? = 1 + 1
[[],[[[]],[],[]]]
 => ([(0,6),(1,6),(2,5),(3,4),(4,6),(6,5)],7)
 => ([(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)
 => ? = 1 + 1
[[[]],[],[],[],[]]
 => ([(0,6),(1,6),(2,6),(3,6),(4,5),(5,6)],7)
 => ([(0,2),(2,1)],3)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 2 = 1 + 1
[[[],[]],[],[],[]]
 => ([(0,6),(1,6),(2,6),(3,5),(4,5),(5,6)],7)
 => ([(0,2),(2,1)],3)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 2 = 1 + 1
[[[],[],[]],[],[]]
 => ([(0,6),(1,6),(2,5),(3,5),(4,5),(5,6)],7)
 => ([(0,2),(2,1)],3)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 2 = 1 + 1
[[[],[],[],[]],[]]
 => ([(0,6),(1,6),(2,6),(3,6),(4,5),(6,5)],7)
 => ([(0,2),(2,1)],3)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 2 = 1 + 1
Description
The global dimension of the incidence algebra of the lattice over the rational numbers.
Matching statistic: St001878
Mapping
Mp00047: Ordered trees —to poset⟶ Posets
Mp00205: Posets —maximal antichains⟶ Lattices
Mp00197: Lattices —lattice of congruences⟶ Lattices
St001878: Lattices ⟶ ℤResult quality: 7% ●values known / values provided: 7%●distinct values known / distinct values provided: 17%
Values
[[]]
 => ([(0,1)],2)
 => ([(0,1)],2)
 => ([(0,1)],2)
 => ? = 1 + 1
[[],[]]
 => ([(0,2),(1,2)],3)
 => ([(0,1)],2)
 => ([(0,1)],2)
 => ? = 1 + 1
[[],[],[]]
 => ([(0,3),(1,3),(2,3)],4)
 => ([(0,1)],2)
 => ([(0,1)],2)
 => ? = 2 + 1
[[],[[]]]
 => ([(0,3),(1,2),(2,3)],4)
 => ([(0,2),(2,1)],3)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 2 = 1 + 1
[[[]],[]]
 => ([(0,3),(1,2),(2,3)],4)
 => ([(0,2),(2,1)],3)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 2 = 1 + 1
[[],[],[],[]]
 => ([(0,4),(1,4),(2,4),(3,4)],5)
 => ([(0,1)],2)
 => ([(0,1)],2)
 => ? = 3 + 1
[[],[],[[]]]
 => ([(0,4),(1,4),(2,3),(3,4)],5)
 => ([(0,2),(2,1)],3)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 2 = 1 + 1
[[],[[]],[]]
 => ([(0,4),(1,4),(2,3),(3,4)],5)
 => ([(0,2),(2,1)],3)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 2 = 1 + 1
[[],[[],[]]]
 => ([(0,4),(1,3),(2,3),(3,4)],5)
 => ([(0,2),(2,1)],3)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 2 = 1 + 1
[[],[[[]]]]
 => ([(0,4),(1,2),(2,3),(3,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)
 => ? = 2 + 1
[[[]],[],[]]
 => ([(0,4),(1,4),(2,3),(3,4)],5)
 => ([(0,2),(2,1)],3)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 2 = 1 + 1
[[[]],[[]]]
 => ([(0,3),(1,2),(2,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)
 => ? = 2 + 1
[[[],[]],[]]
 => ([(0,4),(1,3),(2,3),(3,4)],5)
 => ([(0,2),(2,1)],3)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 2 = 1 + 1
[[[[]]],[]]
 => ([(0,4),(1,2),(2,3),(3,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)
 => ? = 2 + 1
[[],[],[],[],[]]
 => ([(0,5),(1,5),(2,5),(3,5),(4,5)],6)
 => ([(0,1)],2)
 => ([(0,1)],2)
 => ? = 4 + 1
[[],[],[],[[]]]
 => ([(0,5),(1,5),(2,5),(3,4),(4,5)],6)
 => ([(0,2),(2,1)],3)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 2 = 1 + 1
[[],[],[[]],[]]
 => ([(0,5),(1,5),(2,5),(3,4),(4,5)],6)
 => ([(0,2),(2,1)],3)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 2 = 1 + 1
[[],[],[[],[]]]
 => ([(0,5),(1,5),(2,4),(3,4),(4,5)],6)
 => ([(0,2),(2,1)],3)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 2 = 1 + 1
[[],[],[[[]]]]
 => ([(0,5),(1,5),(2,3),(3,4),(4,5)],6)
 => ([(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)
 => ? = 2 + 1
[[],[[]],[],[]]
 => ([(0,5),(1,5),(2,5),(3,4),(4,5)],6)
 => ([(0,2),(2,1)],3)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 2 = 1 + 1
[[],[[]],[[]]]
 => ([(0,5),(1,4),(2,3),(3,5),(4,5)],6)
 => ([(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)
 => ? = 2 + 1
[[],[[],[]],[]]
 => ([(0,5),(1,5),(2,4),(3,4),(4,5)],6)
 => ([(0,2),(2,1)],3)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 2 = 1 + 1
[[],[[[]]],[]]
 => ([(0,5),(1,5),(2,3),(3,4),(4,5)],6)
 => ([(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)
 => ? = 2 + 1
[[],[[],[],[]]]
 => ([(0,5),(1,5),(2,5),(3,4),(5,4)],6)
 => ([(0,2),(2,1)],3)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 2 = 1 + 1
[[],[[],[[]]]]
 => ([(0,5),(1,4),(2,3),(3,5),(5,4)],6)
 => ([(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)
 => ? = 1 + 1
[[],[[[]],[]]]
 => ([(0,5),(1,4),(2,3),(3,5),(5,4)],6)
 => ([(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)
 => ? = 1 + 1
[[],[[[],[]]]]
 => ([(0,5),(1,4),(2,4),(3,5),(4,3)],6)
 => ([(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)
 => ? = 2 + 1
[[],[[[[]]]]]
 => ([(0,5),(1,4),(2,5),(3,2),(4,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)
 => ? = 3 + 1
[[[]],[],[],[]]
 => ([(0,5),(1,5),(2,5),(3,4),(4,5)],6)
 => ([(0,2),(2,1)],3)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 2 = 1 + 1
[[[]],[],[[]]]
 => ([(0,5),(1,4),(2,3),(3,5),(4,5)],6)
 => ([(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)
 => ? = 2 + 1
[[[]],[[]],[]]
 => ([(0,5),(1,4),(2,3),(3,5),(4,5)],6)
 => ([(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)
 => ? = 2 + 1
[[[]],[[],[]]]
 => ([(0,4),(1,4),(2,3),(3,5),(4,5)],6)
 => ([(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)
 => ? = 1 + 1
[[[]],[[[]]]]
 => ([(0,3),(1,4),(2,5),(3,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)
 => ? = 2 + 1
[[[],[]],[],[]]
 => ([(0,5),(1,5),(2,4),(3,4),(4,5)],6)
 => ([(0,2),(2,1)],3)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 2 = 1 + 1
[[[[]]],[],[]]
 => ([(0,5),(1,5),(2,3),(3,4),(4,5)],6)
 => ([(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)
 => ? = 2 + 1
[[[],[]],[[]]]
 => ([(0,4),(1,4),(2,3),(3,5),(4,5)],6)
 => ([(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)
 => ? = 1 + 1
[[[[]]],[[]]]
 => ([(0,3),(1,4),(2,5),(3,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)
 => ? = 2 + 1
[[[],[],[]],[]]
 => ([(0,5),(1,5),(2,5),(3,4),(5,4)],6)
 => ([(0,2),(2,1)],3)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 2 = 1 + 1
[[[],[[]]],[]]
 => ([(0,5),(1,4),(2,3),(3,5),(5,4)],6)
 => ([(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)
 => ? = 1 + 1
[[[[]],[]],[]]
 => ([(0,5),(1,4),(2,3),(3,5),(5,4)],6)
 => ([(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)
 => ? = 1 + 1
[[[[],[]]],[]]
 => ([(0,5),(1,4),(2,4),(3,5),(4,3)],6)
 => ([(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)
 => ? = 2 + 1
[[[[[]]]],[]]
 => ([(0,5),(1,4),(2,5),(3,2),(4,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)
 => ? = 3 + 1
[[],[],[],[],[],[]]
 => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7)
 => ([(0,1)],2)
 => ([(0,1)],2)
 => ? = 5 + 1
[[],[],[],[],[[]]]
 => ([(0,6),(1,6),(2,6),(3,6),(4,5),(5,6)],7)
 => ([(0,2),(2,1)],3)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 2 = 1 + 1
[[],[],[],[[]],[]]
 => ([(0,6),(1,6),(2,6),(3,6),(4,5),(5,6)],7)
 => ([(0,2),(2,1)],3)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 2 = 1 + 1
[[],[],[],[[],[]]]
 => ([(0,6),(1,6),(2,6),(3,5),(4,5),(5,6)],7)
 => ([(0,2),(2,1)],3)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 2 = 1 + 1
[[],[],[],[[[]]]]
 => ([(0,6),(1,6),(2,6),(3,4),(4,5),(5,6)],7)
 => ([(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)
 => ? = 2 + 1
[[],[],[[]],[],[]]
 => ([(0,6),(1,6),(2,6),(3,6),(4,5),(5,6)],7)
 => ([(0,2),(2,1)],3)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 2 = 1 + 1
[[],[],[[]],[[]]]
 => ([(0,6),(1,6),(2,5),(3,4),(4,6),(5,6)],7)
 => ([(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)
 => ? = 2 + 1
[[],[],[[],[]],[]]
 => ([(0,6),(1,6),(2,6),(3,5),(4,5),(5,6)],7)
 => ([(0,2),(2,1)],3)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 2 = 1 + 1
[[],[],[[[]]],[]]
 => ([(0,6),(1,6),(2,6),(3,4),(4,5),(5,6)],7)
 => ([(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)
 => ? = 2 + 1
[[],[],[[],[],[]]]
 => ([(0,6),(1,6),(2,5),(3,5),(4,5),(5,6)],7)
 => ([(0,2),(2,1)],3)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 2 = 1 + 1
[[],[],[[],[[]]]]
 => ([(0,6),(1,6),(2,5),(3,4),(4,5),(5,6)],7)
 => ([(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)
 => ? = 1 + 1
[[],[],[[[]],[]]]
 => ([(0,6),(1,6),(2,5),(3,4),(4,5),(5,6)],7)
 => ([(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)
 => ? = 1 + 1
[[],[],[[[],[]]]]
 => ([(0,6),(1,6),(2,5),(3,5),(4,6),(5,4)],7)
 => ([(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)
 => ? = 2 + 1
[[],[],[[[[]]]]]
 => ([(0,3),(1,6),(2,6),(3,5),(4,6),(5,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)
 => ? = 3 + 1
[[],[[]],[],[],[]]
 => ([(0,6),(1,6),(2,6),(3,6),(4,5),(5,6)],7)
 => ([(0,2),(2,1)],3)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 2 = 1 + 1
[[],[[]],[],[[]]]
 => ([(0,6),(1,6),(2,5),(3,4),(4,6),(5,6)],7)
 => ([(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)
 => ? = 2 + 1
[[],[[]],[[]],[]]
 => ([(0,6),(1,6),(2,5),(3,4),(4,6),(5,6)],7)
 => ([(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)
 => ? = 2 + 1
[[],[[]],[[],[]]]
 => ([(0,6),(1,5),(2,5),(3,4),(4,6),(5,6)],7)
 => ([(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)
 => ? = 1 + 1
[[],[[]],[[[]]]]
 => ([(0,6),(1,3),(2,4),(3,5),(4,6),(5,6)],7)
 => ([(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)
 => ? = 2 + 1
[[],[[],[]],[],[]]
 => ([(0,6),(1,6),(2,6),(3,5),(4,5),(5,6)],7)
 => ([(0,2),(2,1)],3)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 2 = 1 + 1
[[],[[[]]],[],[]]
 => ([(0,6),(1,6),(2,6),(3,4),(4,5),(5,6)],7)
 => ([(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)
 => ? = 2 + 1
[[],[[],[]],[[]]]
 => ([(0,6),(1,5),(2,5),(3,4),(4,6),(5,6)],7)
 => ([(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)
 => ? = 1 + 1
[[],[[[]]],[[]]]
 => ([(0,6),(1,3),(2,4),(3,5),(4,6),(5,6)],7)
 => ([(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)
 => ? = 2 + 1
[[],[[],[],[]],[]]
 => ([(0,6),(1,6),(2,5),(3,5),(4,5),(5,6)],7)
 => ([(0,2),(2,1)],3)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 2 = 1 + 1
[[],[[],[[]]],[]]
 => ([(0,6),(1,6),(2,5),(3,4),(4,5),(5,6)],7)
 => ([(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)
 => ? = 1 + 1
[[],[[[]],[]],[]]
 => ([(0,6),(1,6),(2,5),(3,4),(4,5),(5,6)],7)
 => ([(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)
 => ? = 1 + 1
[[],[[[],[]]],[]]
 => ([(0,6),(1,6),(2,5),(3,5),(4,6),(5,4)],7)
 => ([(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)
 => ? = 2 + 1
[[],[[[[]]]],[]]
 => ([(0,3),(1,6),(2,6),(3,5),(4,6),(5,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)
 => ? = 3 + 1
[[],[[],[],[],[]]]
 => ([(0,6),(1,6),(2,6),(3,6),(4,5),(6,5)],7)
 => ([(0,2),(2,1)],3)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 2 = 1 + 1
[[],[[],[],[[]]]]
 => ([(0,6),(1,6),(2,5),(3,4),(4,6),(6,5)],7)
 => ([(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)
 => ? = 1 + 1
[[],[[],[[]],[]]]
 => ([(0,6),(1,6),(2,5),(3,4),(4,6),(6,5)],7)
 => ([(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)
 => ? = 1 + 1
[[],[[],[[],[]]]]
 => ([(0,4),(1,4),(2,5),(3,6),(4,6),(6,5)],7)
 => ([(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)
 => ? = 1 + 1
[[],[[],[[[]]]]]
 => ([(0,6),(1,5),(2,3),(3,4),(4,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)
 => ? = 1 + 1
[[],[[[]],[],[]]]
 => ([(0,6),(1,6),(2,5),(3,4),(4,6),(6,5)],7)
 => ([(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)
 => ? = 1 + 1
[[[]],[],[],[],[]]
 => ([(0,6),(1,6),(2,6),(3,6),(4,5),(5,6)],7)
 => ([(0,2),(2,1)],3)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 2 = 1 + 1
[[[],[]],[],[],[]]
 => ([(0,6),(1,6),(2,6),(3,5),(4,5),(5,6)],7)
 => ([(0,2),(2,1)],3)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 2 = 1 + 1
[[[],[],[]],[],[]]
 => ([(0,6),(1,6),(2,5),(3,5),(4,5),(5,6)],7)
 => ([(0,2),(2,1)],3)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 2 = 1 + 1
[[[],[],[],[]],[]]
 => ([(0,6),(1,6),(2,6),(3,6),(4,5),(6,5)],7)
 => ([(0,2),(2,1)],3)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 2 = 1 + 1
Description
The projective dimension of the simple modules corresponding to the minimum of L in the incidence algebra of the lattice L.
Matching statistic: St001875
Mapping
Mp00047: Ordered trees —to poset⟶ Posets
Mp00205: Posets —maximal antichains⟶ Lattices
Mp00197: Lattices —lattice of congruences⟶ Lattices
St001875: Lattices ⟶ ℤResult quality: 7% ●values known / values provided: 7%●distinct values known / distinct values provided: 17%
Values
[[]]
 => ([(0,1)],2)
 => ([(0,1)],2)
 => ([(0,1)],2)
 => ? = 1 + 2
[[],[]]
 => ([(0,2),(1,2)],3)
 => ([(0,1)],2)
 => ([(0,1)],2)
 => ? = 1 + 2
[[],[],[]]
 => ([(0,3),(1,3),(2,3)],4)
 => ([(0,1)],2)
 => ([(0,1)],2)
 => ? = 2 + 2
[[],[[]]]
 => ([(0,3),(1,2),(2,3)],4)
 => ([(0,2),(2,1)],3)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 3 = 1 + 2
[[[]],[]]
 => ([(0,3),(1,2),(2,3)],4)
 => ([(0,2),(2,1)],3)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 3 = 1 + 2
[[],[],[],[]]
 => ([(0,4),(1,4),(2,4),(3,4)],5)
 => ([(0,1)],2)
 => ([(0,1)],2)
 => ? = 3 + 2
[[],[],[[]]]
 => ([(0,4),(1,4),(2,3),(3,4)],5)
 => ([(0,2),(2,1)],3)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 3 = 1 + 2
[[],[[]],[]]
 => ([(0,4),(1,4),(2,3),(3,4)],5)
 => ([(0,2),(2,1)],3)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 3 = 1 + 2
[[],[[],[]]]
 => ([(0,4),(1,3),(2,3),(3,4)],5)
 => ([(0,2),(2,1)],3)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 3 = 1 + 2
[[],[[[]]]]
 => ([(0,4),(1,2),(2,3),(3,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)
 => ? = 2 + 2
[[[]],[],[]]
 => ([(0,4),(1,4),(2,3),(3,4)],5)
 => ([(0,2),(2,1)],3)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 3 = 1 + 2
[[[]],[[]]]
 => ([(0,3),(1,2),(2,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)
 => ? = 2 + 2
[[[],[]],[]]
 => ([(0,4),(1,3),(2,3),(3,4)],5)
 => ([(0,2),(2,1)],3)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 3 = 1 + 2
[[[[]]],[]]
 => ([(0,4),(1,2),(2,3),(3,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)
 => ? = 2 + 2
[[],[],[],[],[]]
 => ([(0,5),(1,5),(2,5),(3,5),(4,5)],6)
 => ([(0,1)],2)
 => ([(0,1)],2)
 => ? = 4 + 2
[[],[],[],[[]]]
 => ([(0,5),(1,5),(2,5),(3,4),(4,5)],6)
 => ([(0,2),(2,1)],3)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 3 = 1 + 2
[[],[],[[]],[]]
 => ([(0,5),(1,5),(2,5),(3,4),(4,5)],6)
 => ([(0,2),(2,1)],3)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 3 = 1 + 2
[[],[],[[],[]]]
 => ([(0,5),(1,5),(2,4),(3,4),(4,5)],6)
 => ([(0,2),(2,1)],3)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 3 = 1 + 2
[[],[],[[[]]]]
 => ([(0,5),(1,5),(2,3),(3,4),(4,5)],6)
 => ([(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)
 => ? = 2 + 2
[[],[[]],[],[]]
 => ([(0,5),(1,5),(2,5),(3,4),(4,5)],6)
 => ([(0,2),(2,1)],3)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 3 = 1 + 2
[[],[[]],[[]]]
 => ([(0,5),(1,4),(2,3),(3,5),(4,5)],6)
 => ([(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)
 => ? = 2 + 2
[[],[[],[]],[]]
 => ([(0,5),(1,5),(2,4),(3,4),(4,5)],6)
 => ([(0,2),(2,1)],3)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 3 = 1 + 2
[[],[[[]]],[]]
 => ([(0,5),(1,5),(2,3),(3,4),(4,5)],6)
 => ([(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)
 => ? = 2 + 2
[[],[[],[],[]]]
 => ([(0,5),(1,5),(2,5),(3,4),(5,4)],6)
 => ([(0,2),(2,1)],3)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 3 = 1 + 2
[[],[[],[[]]]]
 => ([(0,5),(1,4),(2,3),(3,5),(5,4)],6)
 => ([(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)
 => ? = 1 + 2
[[],[[[]],[]]]
 => ([(0,5),(1,4),(2,3),(3,5),(5,4)],6)
 => ([(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)
 => ? = 1 + 2
[[],[[[],[]]]]
 => ([(0,5),(1,4),(2,4),(3,5),(4,3)],6)
 => ([(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)
 => ? = 2 + 2
[[],[[[[]]]]]
 => ([(0,5),(1,4),(2,5),(3,2),(4,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)
 => ? = 3 + 2
[[[]],[],[],[]]
 => ([(0,5),(1,5),(2,5),(3,4),(4,5)],6)
 => ([(0,2),(2,1)],3)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 3 = 1 + 2
[[[]],[],[[]]]
 => ([(0,5),(1,4),(2,3),(3,5),(4,5)],6)
 => ([(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)
 => ? = 2 + 2
[[[]],[[]],[]]
 => ([(0,5),(1,4),(2,3),(3,5),(4,5)],6)
 => ([(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)
 => ? = 2 + 2
[[[]],[[],[]]]
 => ([(0,4),(1,4),(2,3),(3,5),(4,5)],6)
 => ([(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)
 => ? = 1 + 2
[[[]],[[[]]]]
 => ([(0,3),(1,4),(2,5),(3,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)
 => ? = 2 + 2
[[[],[]],[],[]]
 => ([(0,5),(1,5),(2,4),(3,4),(4,5)],6)
 => ([(0,2),(2,1)],3)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 3 = 1 + 2
[[[[]]],[],[]]
 => ([(0,5),(1,5),(2,3),(3,4),(4,5)],6)
 => ([(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)
 => ? = 2 + 2
[[[],[]],[[]]]
 => ([(0,4),(1,4),(2,3),(3,5),(4,5)],6)
 => ([(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)
 => ? = 1 + 2
[[[[]]],[[]]]
 => ([(0,3),(1,4),(2,5),(3,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)
 => ? = 2 + 2
[[[],[],[]],[]]
 => ([(0,5),(1,5),(2,5),(3,4),(5,4)],6)
 => ([(0,2),(2,1)],3)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 3 = 1 + 2
[[[],[[]]],[]]
 => ([(0,5),(1,4),(2,3),(3,5),(5,4)],6)
 => ([(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)
 => ? = 1 + 2
[[[[]],[]],[]]
 => ([(0,5),(1,4),(2,3),(3,5),(5,4)],6)
 => ([(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)
 => ? = 1 + 2
[[[[],[]]],[]]
 => ([(0,5),(1,4),(2,4),(3,5),(4,3)],6)
 => ([(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)
 => ? = 2 + 2
[[[[[]]]],[]]
 => ([(0,5),(1,4),(2,5),(3,2),(4,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)
 => ? = 3 + 2
[[],[],[],[],[],[]]
 => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7)
 => ([(0,1)],2)
 => ([(0,1)],2)
 => ? = 5 + 2
[[],[],[],[],[[]]]
 => ([(0,6),(1,6),(2,6),(3,6),(4,5),(5,6)],7)
 => ([(0,2),(2,1)],3)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 3 = 1 + 2
[[],[],[],[[]],[]]
 => ([(0,6),(1,6),(2,6),(3,6),(4,5),(5,6)],7)
 => ([(0,2),(2,1)],3)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 3 = 1 + 2
[[],[],[],[[],[]]]
 => ([(0,6),(1,6),(2,6),(3,5),(4,5),(5,6)],7)
 => ([(0,2),(2,1)],3)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 3 = 1 + 2
[[],[],[],[[[]]]]
 => ([(0,6),(1,6),(2,6),(3,4),(4,5),(5,6)],7)
 => ([(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)
 => ? = 2 + 2
[[],[],[[]],[],[]]
 => ([(0,6),(1,6),(2,6),(3,6),(4,5),(5,6)],7)
 => ([(0,2),(2,1)],3)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 3 = 1 + 2
[[],[],[[]],[[]]]
 => ([(0,6),(1,6),(2,5),(3,4),(4,6),(5,6)],7)
 => ([(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)
 => ? = 2 + 2
[[],[],[[],[]],[]]
 => ([(0,6),(1,6),(2,6),(3,5),(4,5),(5,6)],7)
 => ([(0,2),(2,1)],3)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 3 = 1 + 2
[[],[],[[[]]],[]]
 => ([(0,6),(1,6),(2,6),(3,4),(4,5),(5,6)],7)
 => ([(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)
 => ? = 2 + 2
[[],[],[[],[],[]]]
 => ([(0,6),(1,6),(2,5),(3,5),(4,5),(5,6)],7)
 => ([(0,2),(2,1)],3)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 3 = 1 + 2
[[],[],[[],[[]]]]
 => ([(0,6),(1,6),(2,5),(3,4),(4,5),(5,6)],7)
 => ([(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)
 => ? = 1 + 2
[[],[],[[[]],[]]]
 => ([(0,6),(1,6),(2,5),(3,4),(4,5),(5,6)],7)
 => ([(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)
 => ? = 1 + 2
[[],[],[[[],[]]]]
 => ([(0,6),(1,6),(2,5),(3,5),(4,6),(5,4)],7)
 => ([(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)
 => ? = 2 + 2
[[],[],[[[[]]]]]
 => ([(0,3),(1,6),(2,6),(3,5),(4,6),(5,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)
 => ? = 3 + 2
[[],[[]],[],[],[]]
 => ([(0,6),(1,6),(2,6),(3,6),(4,5),(5,6)],7)
 => ([(0,2),(2,1)],3)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 3 = 1 + 2
[[],[[]],[],[[]]]
 => ([(0,6),(1,6),(2,5),(3,4),(4,6),(5,6)],7)
 => ([(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)
 => ? = 2 + 2
[[],[[]],[[]],[]]
 => ([(0,6),(1,6),(2,5),(3,4),(4,6),(5,6)],7)
 => ([(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)
 => ? = 2 + 2
[[],[[]],[[],[]]]
 => ([(0,6),(1,5),(2,5),(3,4),(4,6),(5,6)],7)
 => ([(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)
 => ? = 1 + 2
[[],[[]],[[[]]]]
 => ([(0,6),(1,3),(2,4),(3,5),(4,6),(5,6)],7)
 => ([(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)
 => ? = 2 + 2
[[],[[],[]],[],[]]
 => ([(0,6),(1,6),(2,6),(3,5),(4,5),(5,6)],7)
 => ([(0,2),(2,1)],3)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 3 = 1 + 2
[[],[[[]]],[],[]]
 => ([(0,6),(1,6),(2,6),(3,4),(4,5),(5,6)],7)
 => ([(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)
 => ? = 2 + 2
[[],[[],[]],[[]]]
 => ([(0,6),(1,5),(2,5),(3,4),(4,6),(5,6)],7)
 => ([(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)
 => ? = 1 + 2
[[],[[[]]],[[]]]
 => ([(0,6),(1,3),(2,4),(3,5),(4,6),(5,6)],7)
 => ([(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)
 => ? = 2 + 2
[[],[[],[],[]],[]]
 => ([(0,6),(1,6),(2,5),(3,5),(4,5),(5,6)],7)
 => ([(0,2),(2,1)],3)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 3 = 1 + 2
[[],[[],[[]]],[]]
 => ([(0,6),(1,6),(2,5),(3,4),(4,5),(5,6)],7)
 => ([(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)
 => ? = 1 + 2
[[],[[[]],[]],[]]
 => ([(0,6),(1,6),(2,5),(3,4),(4,5),(5,6)],7)
 => ([(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)
 => ? = 1 + 2
[[],[[[],[]]],[]]
 => ([(0,6),(1,6),(2,5),(3,5),(4,6),(5,4)],7)
 => ([(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)
 => ? = 2 + 2
[[],[[[[]]]],[]]
 => ([(0,3),(1,6),(2,6),(3,5),(4,6),(5,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)
 => ? = 3 + 2
[[],[[],[],[],[]]]
 => ([(0,6),(1,6),(2,6),(3,6),(4,5),(6,5)],7)
 => ([(0,2),(2,1)],3)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 3 = 1 + 2
[[],[[],[],[[]]]]
 => ([(0,6),(1,6),(2,5),(3,4),(4,6),(6,5)],7)
 => ([(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)
 => ? = 1 + 2
[[],[[],[[]],[]]]
 => ([(0,6),(1,6),(2,5),(3,4),(4,6),(6,5)],7)
 => ([(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)
 => ? = 1 + 2
[[],[[],[[],[]]]]
 => ([(0,4),(1,4),(2,5),(3,6),(4,6),(6,5)],7)
 => ([(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)
 => ? = 1 + 2
[[],[[],[[[]]]]]
 => ([(0,6),(1,5),(2,3),(3,4),(4,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)
 => ? = 1 + 2
[[],[[[]],[],[]]]
 => ([(0,6),(1,6),(2,5),(3,4),(4,6),(6,5)],7)
 => ([(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)
 => ? = 1 + 2
[[[]],[],[],[],[]]
 => ([(0,6),(1,6),(2,6),(3,6),(4,5),(5,6)],7)
 => ([(0,2),(2,1)],3)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 3 = 1 + 2
[[[],[]],[],[],[]]
 => ([(0,6),(1,6),(2,6),(3,5),(4,5),(5,6)],7)
 => ([(0,2),(2,1)],3)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 3 = 1 + 2
[[[],[],[]],[],[]]
 => ([(0,6),(1,6),(2,5),(3,5),(4,5),(5,6)],7)
 => ([(0,2),(2,1)],3)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 3 = 1 + 2
[[[],[],[],[]],[]]
 => ([(0,6),(1,6),(2,6),(3,6),(4,5),(6,5)],7)
 => ([(0,2),(2,1)],3)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 3 = 1 + 2
Description
The number of simple modules with projective dimension at most 1.
Matching statistic: St001118
(load all 2 compositions to match this statistic)
Mapping
Mp00046: Ordered trees —to graph⟶ Graphs
Mp00157: Graphs —connected complement⟶ Graphs
Mp00274: Graphs —block-cut tree⟶ Graphs
St001118: Graphs ⟶ ℤResult quality: 6% ●values known / values provided: 6%●distinct values known / distinct values provided: 83%
Values
[[]]
 => ([(0,1)],2)
 => ([(0,1)],2)
 => ([],1)
 => ? = 1 + 1
[[],[]]
 => ([(0,2),(1,2)],3)
 => ([(0,2),(1,2)],3)
 => ([(0,2),(1,2)],3)
 => 2 = 1 + 1
[[],[],[]]
 => ([(0,3),(1,3),(2,3)],4)
 => ([(0,3),(1,3),(2,3)],4)
 => ([(0,3),(1,3),(2,3)],4)
 => 3 = 2 + 1
[[],[[]]]
 => ([(0,3),(1,2),(2,3)],4)
 => ([(0,3),(1,2),(2,3)],4)
 => ([(0,4),(1,3),(2,3),(2,4)],5)
 => 2 = 1 + 1
[[[]],[]]
 => ([(0,3),(1,2),(2,3)],4)
 => ([(0,3),(1,2),(2,3)],4)
 => ([(0,4),(1,3),(2,3),(2,4)],5)
 => 2 = 1 + 1
[[],[],[],[]]
 => ([(0,4),(1,4),(2,4),(3,4)],5)
 => ([(0,4),(1,4),(2,4),(3,4)],5)
 => ([(0,4),(1,4),(2,4),(3,4)],5)
 => 4 = 3 + 1
[[],[],[[]]]
 => ([(0,4),(1,4),(2,3),(3,4)],5)
 => ([(0,4),(1,2),(1,3),(2,3),(2,4),(3,4)],5)
 => ([(0,2),(1,2)],3)
 => 2 = 1 + 1
[[],[[]],[]]
 => ([(0,4),(1,4),(2,3),(3,4)],5)
 => ([(0,4),(1,2),(1,3),(2,3),(2,4),(3,4)],5)
 => ([(0,2),(1,2)],3)
 => 2 = 1 + 1
[[],[[],[]]]
 => ([(0,4),(1,4),(2,3),(3,4)],5)
 => ([(0,4),(1,2),(1,3),(2,3),(2,4),(3,4)],5)
 => ([(0,2),(1,2)],3)
 => 2 = 1 + 1
[[],[[[]]]]
 => ([(0,4),(1,3),(2,3),(2,4)],5)
 => ([(0,1),(0,4),(1,3),(2,3),(2,4),(3,4)],5)
 => ([],1)
 => ? = 2 + 1
[[[]],[],[]]
 => ([(0,4),(1,4),(2,3),(3,4)],5)
 => ([(0,4),(1,2),(1,3),(2,3),(2,4),(3,4)],5)
 => ([(0,2),(1,2)],3)
 => 2 = 1 + 1
[[[]],[[]]]
 => ([(0,4),(1,3),(2,3),(2,4)],5)
 => ([(0,1),(0,4),(1,3),(2,3),(2,4),(3,4)],5)
 => ([],1)
 => ? = 2 + 1
[[[],[]],[]]
 => ([(0,4),(1,4),(2,3),(3,4)],5)
 => ([(0,4),(1,2),(1,3),(2,3),(2,4),(3,4)],5)
 => ([(0,2),(1,2)],3)
 => 2 = 1 + 1
[[[[]]],[]]
 => ([(0,4),(1,3),(2,3),(2,4)],5)
 => ([(0,1),(0,4),(1,3),(2,3),(2,4),(3,4)],5)
 => ([],1)
 => ? = 2 + 1
[[],[],[],[],[]]
 => ([(0,5),(1,5),(2,5),(3,5),(4,5)],6)
 => ([(0,5),(1,5),(2,5),(3,5),(4,5)],6)
 => ([(0,5),(1,5),(2,5),(3,5),(4,5)],6)
 => 5 = 4 + 1
[[],[],[],[[]]]
 => ([(0,5),(1,5),(2,5),(3,4),(4,5)],6)
 => ([(0,5),(1,2),(1,3),(1,4),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6)
 => ([(0,2),(1,2)],3)
 => 2 = 1 + 1
[[],[],[[]],[]]
 => ([(0,5),(1,5),(2,5),(3,4),(4,5)],6)
 => ([(0,5),(1,2),(1,3),(1,4),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6)
 => ([(0,2),(1,2)],3)
 => 2 = 1 + 1
[[],[],[[],[]]]
 => ([(0,5),(1,5),(2,4),(3,4),(4,5)],6)
 => ([(0,4),(0,5),(1,2),(1,3),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6)
 => ([],1)
 => ? = 1 + 1
[[],[],[[[]]]]
 => ([(0,5),(1,5),(2,3),(3,4),(4,5)],6)
 => ([(0,2),(0,5),(1,3),(1,4),(1,5),(2,3),(2,4),(3,4),(3,5),(4,5)],6)
 => ([],1)
 => ? = 2 + 1
[[],[[]],[],[]]
 => ([(0,5),(1,5),(2,5),(3,4),(4,5)],6)
 => ([(0,5),(1,2),(1,3),(1,4),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6)
 => ([(0,2),(1,2)],3)
 => 2 = 1 + 1
[[],[[]],[[]]]
 => ([(0,5),(1,4),(2,3),(3,5),(4,5)],6)
 => ([(0,4),(0,5),(1,2),(1,3),(1,5),(2,3),(2,4),(3,4),(3,5),(4,5)],6)
 => ([],1)
 => ? = 2 + 1
[[],[[],[]],[]]
 => ([(0,5),(1,5),(2,4),(3,4),(4,5)],6)
 => ([(0,4),(0,5),(1,2),(1,3),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6)
 => ([],1)
 => ? = 1 + 1
[[],[[[]]],[]]
 => ([(0,5),(1,5),(2,3),(3,4),(4,5)],6)
 => ([(0,2),(0,5),(1,3),(1,4),(1,5),(2,3),(2,4),(3,4),(3,5),(4,5)],6)
 => ([],1)
 => ? = 2 + 1
[[],[[],[],[]]]
 => ([(0,5),(1,5),(2,5),(3,4),(4,5)],6)
 => ([(0,5),(1,2),(1,3),(1,4),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6)
 => ([(0,2),(1,2)],3)
 => 2 = 1 + 1
[[],[[],[[]]]]
 => ([(0,5),(1,4),(2,3),(3,5),(4,5)],6)
 => ([(0,4),(0,5),(1,2),(1,3),(1,5),(2,3),(2,4),(3,4),(3,5),(4,5)],6)
 => ([],1)
 => ? = 1 + 1
[[],[[[]],[]]]
 => ([(0,5),(1,4),(2,3),(3,5),(4,5)],6)
 => ([(0,4),(0,5),(1,2),(1,3),(1,5),(2,3),(2,4),(3,4),(3,5),(4,5)],6)
 => ([],1)
 => ? = 1 + 1
[[],[[[],[]]]]
 => ([(0,5),(1,5),(2,3),(3,4),(4,5)],6)
 => ([(0,2),(0,5),(1,3),(1,4),(1,5),(2,3),(2,4),(3,4),(3,5),(4,5)],6)
 => ([],1)
 => ? = 2 + 1
[[],[[[[]]]]]
 => ([(0,5),(1,4),(2,3),(2,4),(3,5)],6)
 => ([(0,1),(0,3),(0,5),(1,2),(1,4),(2,4),(2,5),(3,4),(3,5),(4,5)],6)
 => ([],1)
 => ? = 3 + 1
[[[]],[],[],[]]
 => ([(0,5),(1,5),(2,5),(3,4),(4,5)],6)
 => ([(0,5),(1,2),(1,3),(1,4),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6)
 => ([(0,2),(1,2)],3)
 => 2 = 1 + 1
[[[]],[],[[]]]
 => ([(0,5),(1,4),(2,3),(3,5),(4,5)],6)
 => ([(0,4),(0,5),(1,2),(1,3),(1,5),(2,3),(2,4),(3,4),(3,5),(4,5)],6)
 => ([],1)
 => ? = 2 + 1
[[[]],[[]],[]]
 => ([(0,5),(1,4),(2,3),(3,5),(4,5)],6)
 => ([(0,4),(0,5),(1,2),(1,3),(1,5),(2,3),(2,4),(3,4),(3,5),(4,5)],6)
 => ([],1)
 => ? = 2 + 1
[[[]],[[],[]]]
 => ([(0,5),(1,5),(2,3),(3,4),(4,5)],6)
 => ([(0,2),(0,5),(1,3),(1,4),(1,5),(2,3),(2,4),(3,4),(3,5),(4,5)],6)
 => ([],1)
 => ? = 1 + 1
[[[]],[[[]]]]
 => ([(0,5),(1,4),(2,3),(2,4),(3,5)],6)
 => ([(0,1),(0,3),(0,5),(1,2),(1,4),(2,4),(2,5),(3,4),(3,5),(4,5)],6)
 => ([],1)
 => ? = 2 + 1
[[[],[]],[],[]]
 => ([(0,5),(1,5),(2,4),(3,4),(4,5)],6)
 => ([(0,4),(0,5),(1,2),(1,3),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6)
 => ([],1)
 => ? = 1 + 1
[[[[]]],[],[]]
 => ([(0,5),(1,5),(2,3),(3,4),(4,5)],6)
 => ([(0,2),(0,5),(1,3),(1,4),(1,5),(2,3),(2,4),(3,4),(3,5),(4,5)],6)
 => ([],1)
 => ? = 2 + 1
[[[],[]],[[]]]
 => ([(0,5),(1,5),(2,3),(3,4),(4,5)],6)
 => ([(0,2),(0,5),(1,3),(1,4),(1,5),(2,3),(2,4),(3,4),(3,5),(4,5)],6)
 => ([],1)
 => ? = 1 + 1
[[[[]]],[[]]]
 => ([(0,5),(1,4),(2,3),(2,4),(3,5)],6)
 => ([(0,1),(0,3),(0,5),(1,2),(1,4),(2,4),(2,5),(3,4),(3,5),(4,5)],6)
 => ([],1)
 => ? = 2 + 1
[[[],[],[]],[]]
 => ([(0,5),(1,5),(2,5),(3,4),(4,5)],6)
 => ([(0,5),(1,2),(1,3),(1,4),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6)
 => ([(0,2),(1,2)],3)
 => 2 = 1 + 1
[[[],[[]]],[]]
 => ([(0,5),(1,4),(2,3),(3,5),(4,5)],6)
 => ([(0,4),(0,5),(1,2),(1,3),(1,5),(2,3),(2,4),(3,4),(3,5),(4,5)],6)
 => ([],1)
 => ? = 1 + 1
[[[[]],[]],[]]
 => ([(0,5),(1,4),(2,3),(3,5),(4,5)],6)
 => ([(0,4),(0,5),(1,2),(1,3),(1,5),(2,3),(2,4),(3,4),(3,5),(4,5)],6)
 => ([],1)
 => ? = 1 + 1
[[[[],[]]],[]]
 => ([(0,5),(1,5),(2,3),(3,4),(4,5)],6)
 => ([(0,2),(0,5),(1,3),(1,4),(1,5),(2,3),(2,4),(3,4),(3,5),(4,5)],6)
 => ([],1)
 => ? = 2 + 1
[[[[[]]]],[]]
 => ([(0,5),(1,4),(2,3),(2,4),(3,5)],6)
 => ([(0,1),(0,3),(0,5),(1,2),(1,4),(2,4),(2,5),(3,4),(3,5),(4,5)],6)
 => ([],1)
 => ? = 3 + 1
[[],[],[],[],[],[]]
 => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7)
 => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7)
 => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7)
 => 6 = 5 + 1
[[],[],[],[],[[]]]
 => ([(0,6),(1,6),(2,6),(3,6),(4,5),(5,6)],7)
 => ([(0,6),(1,2),(1,3),(1,4),(1,5),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
 => ([(0,2),(1,2)],3)
 => 2 = 1 + 1
[[],[],[],[[]],[]]
 => ([(0,6),(1,6),(2,6),(3,6),(4,5),(5,6)],7)
 => ([(0,6),(1,2),(1,3),(1,4),(1,5),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
 => ([(0,2),(1,2)],3)
 => 2 = 1 + 1
[[],[],[],[[],[]]]
 => ([(0,6),(1,6),(2,6),(3,5),(4,5),(5,6)],7)
 => ([(0,5),(0,6),(1,2),(1,3),(1,4),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
 => ([],1)
 => ? = 1 + 1
[[],[],[],[[[]]]]
 => ([(0,6),(1,6),(2,6),(3,4),(4,5),(5,6)],7)
 => ([(0,2),(0,6),(1,3),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
 => ([],1)
 => ? = 2 + 1
[[],[],[[]],[],[]]
 => ([(0,6),(1,6),(2,6),(3,6),(4,5),(5,6)],7)
 => ([(0,6),(1,2),(1,3),(1,4),(1,5),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
 => ([(0,2),(1,2)],3)
 => 2 = 1 + 1
[[],[],[[]],[[]]]
 => ([(0,6),(1,6),(2,5),(3,4),(4,6),(5,6)],7)
 => ([(0,5),(0,6),(1,2),(1,3),(1,4),(1,6),(2,3),(2,4),(2,5),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
 => ([],1)
 => ? = 2 + 1
[[],[],[[],[]],[]]
 => ([(0,6),(1,6),(2,6),(3,5),(4,5),(5,6)],7)
 => ([(0,5),(0,6),(1,2),(1,3),(1,4),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
 => ([],1)
 => ? = 1 + 1
[[],[],[[[]]],[]]
 => ([(0,6),(1,6),(2,6),(3,4),(4,5),(5,6)],7)
 => ([(0,2),(0,6),(1,3),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
 => ([],1)
 => ? = 2 + 1
[[],[],[[],[],[]]]
 => ([(0,6),(1,6),(2,6),(3,5),(4,5),(5,6)],7)
 => ([(0,5),(0,6),(1,2),(1,3),(1,4),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
 => ([],1)
 => ? = 1 + 1
[[],[],[[],[[]]]]
 => ([(0,6),(1,5),(2,5),(3,4),(4,6),(5,6)],7)
 => ([(0,3),(0,4),(0,6),(1,2),(1,5),(1,6),(2,3),(2,4),(2,5),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
 => ([],1)
 => ? = 1 + 1
[[],[],[[[]],[]]]
 => ([(0,6),(1,5),(2,5),(3,4),(4,6),(5,6)],7)
 => ([(0,3),(0,4),(0,6),(1,2),(1,5),(1,6),(2,3),(2,4),(2,5),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
 => ([],1)
 => ? = 1 + 1
[[],[],[[[],[]]]]
 => ([(0,6),(1,6),(2,5),(3,5),(4,5),(4,6)],7)
 => ([(0,1),(0,5),(0,6),(1,3),(1,4),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
 => ([],1)
 => ? = 2 + 1
[[],[],[[[[]]]]]
 => ([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)
 => ([(0,2),(0,3),(0,6),(1,3),(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7)
 => ([],1)
 => ? = 3 + 1
[[],[[]],[],[],[]]
 => ([(0,6),(1,6),(2,6),(3,6),(4,5),(5,6)],7)
 => ([(0,6),(1,2),(1,3),(1,4),(1,5),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
 => ([(0,2),(1,2)],3)
 => 2 = 1 + 1
[[],[[]],[],[[]]]
 => ([(0,6),(1,6),(2,5),(3,4),(4,6),(5,6)],7)
 => ([(0,5),(0,6),(1,2),(1,3),(1,4),(1,6),(2,3),(2,4),(2,5),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
 => ([],1)
 => ? = 2 + 1
[[],[[]],[[]],[]]
 => ([(0,6),(1,6),(2,5),(3,4),(4,6),(5,6)],7)
 => ([(0,5),(0,6),(1,2),(1,3),(1,4),(1,6),(2,3),(2,4),(2,5),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
 => ([],1)
 => ? = 2 + 1
[[],[[]],[[],[]]]
 => ([(0,6),(1,5),(2,5),(3,4),(4,6),(5,6)],7)
 => ([(0,3),(0,4),(0,6),(1,2),(1,5),(1,6),(2,3),(2,4),(2,5),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
 => ([],1)
 => ? = 1 + 1
[[],[[]],[[[]]]]
 => ([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)
 => ([(0,3),(0,5),(0,6),(1,2),(1,3),(1,4),(1,5),(2,4),(2,5),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7)
 => ([],1)
 => ? = 2 + 1
[[],[[],[]],[],[]]
 => ([(0,6),(1,6),(2,6),(3,5),(4,5),(5,6)],7)
 => ([(0,5),(0,6),(1,2),(1,3),(1,4),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
 => ([],1)
 => ? = 1 + 1
[[],[[[]]],[],[]]
 => ([(0,6),(1,6),(2,6),(3,4),(4,5),(5,6)],7)
 => ([(0,2),(0,6),(1,3),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
 => ([],1)
 => ? = 2 + 1
[[],[[],[]],[[]]]
 => ([(0,6),(1,5),(2,5),(3,4),(4,6),(5,6)],7)
 => ([(0,3),(0,4),(0,6),(1,2),(1,5),(1,6),(2,3),(2,4),(2,5),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
 => ([],1)
 => ? = 1 + 1
[[],[[[]]],[[]]]
 => ([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)
 => ([(0,3),(0,5),(0,6),(1,2),(1,3),(1,4),(1,5),(2,4),(2,5),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7)
 => ([],1)
 => ? = 2 + 1
[[],[[],[],[]],[]]
 => ([(0,6),(1,6),(2,6),(3,5),(4,5),(5,6)],7)
 => ([(0,5),(0,6),(1,2),(1,3),(1,4),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
 => ([],1)
 => ? = 1 + 1
[[],[[],[[]]],[]]
 => ([(0,6),(1,5),(2,5),(3,4),(4,6),(5,6)],7)
 => ([(0,3),(0,4),(0,6),(1,2),(1,5),(1,6),(2,3),(2,4),(2,5),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
 => ([],1)
 => ? = 1 + 1
[[],[[[]],[]],[]]
 => ([(0,6),(1,5),(2,5),(3,4),(4,6),(5,6)],7)
 => ([(0,3),(0,4),(0,6),(1,2),(1,5),(1,6),(2,3),(2,4),(2,5),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
 => ([],1)
 => ? = 1 + 1
[[],[[[],[]]],[]]
 => ([(0,6),(1,6),(2,5),(3,5),(4,5),(4,6)],7)
 => ([(0,1),(0,5),(0,6),(1,3),(1,4),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
 => ([],1)
 => ? = 2 + 1
[[],[[[[]]]],[]]
 => ([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)
 => ([(0,2),(0,3),(0,6),(1,3),(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7)
 => ([],1)
 => ? = 3 + 1
[[],[[],[],[],[]]]
 => ([(0,6),(1,6),(2,6),(3,6),(4,5),(5,6)],7)
 => ([(0,6),(1,2),(1,3),(1,4),(1,5),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
 => ([(0,2),(1,2)],3)
 => 2 = 1 + 1
[[],[[],[],[[]]]]
 => ([(0,6),(1,6),(2,5),(3,4),(4,6),(5,6)],7)
 => ([(0,5),(0,6),(1,2),(1,3),(1,4),(1,6),(2,3),(2,4),(2,5),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
 => ([],1)
 => ? = 1 + 1
[[],[[],[[]],[]]]
 => ([(0,6),(1,6),(2,5),(3,4),(4,6),(5,6)],7)
 => ([(0,5),(0,6),(1,2),(1,3),(1,4),(1,6),(2,3),(2,4),(2,5),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
 => ([],1)
 => ? = 1 + 1
[[[]],[],[],[],[]]
 => ([(0,6),(1,6),(2,6),(3,6),(4,5),(5,6)],7)
 => ([(0,6),(1,2),(1,3),(1,4),(1,5),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
 => ([(0,2),(1,2)],3)
 => 2 = 1 + 1
[[[],[],[],[]],[]]
 => ([(0,6),(1,6),(2,6),(3,6),(4,5),(5,6)],7)
 => ([(0,6),(1,2),(1,3),(1,4),(1,5),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
 => ([(0,2),(1,2)],3)
 => 2 = 1 + 1
Description
The acyclic chromatic index of a graph. An acyclic edge coloring of a graph is a proper colouring of the edges of a graph such that the union of the edges colored with any two given colours is a forest. The smallest number of colours such that such a colouring exists is the acyclic chromatic index.
Matching statistic: St001570
(load all 2 compositions to match this statistic)
Mapping
Mp00046: Ordered trees —to graph⟶ Graphs
Mp00157: Graphs —connected complement⟶ Graphs
Mp00274: Graphs —block-cut tree⟶ Graphs
St001570: Graphs ⟶ ℤResult quality: 6% ●values known / values provided: 6%●distinct values known / distinct values provided: 67%
Values
[[]]
 => ([(0,1)],2)
 => ([(0,1)],2)
 => ([],1)
 => ? = 1
[[],[]]
 => ([(0,2),(1,2)],3)
 => ([(0,2),(1,2)],3)
 => ([(0,2),(1,2)],3)
 => 1
[[],[],[]]
 => ([(0,3),(1,3),(2,3)],4)
 => ([(0,3),(1,3),(2,3)],4)
 => ([(0,3),(1,3),(2,3)],4)
 => 2
[[],[[]]]
 => ([(0,3),(1,2),(2,3)],4)
 => ([(0,3),(1,2),(2,3)],4)
 => ([(0,4),(1,3),(2,3),(2,4)],5)
 => 1
[[[]],[]]
 => ([(0,3),(1,2),(2,3)],4)
 => ([(0,3),(1,2),(2,3)],4)
 => ([(0,4),(1,3),(2,3),(2,4)],5)
 => 1
[[],[],[],[]]
 => ([(0,4),(1,4),(2,4),(3,4)],5)
 => ([(0,4),(1,4),(2,4),(3,4)],5)
 => ([(0,4),(1,4),(2,4),(3,4)],5)
 => 3
[[],[],[[]]]
 => ([(0,4),(1,4),(2,3),(3,4)],5)
 => ([(0,4),(1,2),(1,3),(2,3),(2,4),(3,4)],5)
 => ([(0,2),(1,2)],3)
 => 1
[[],[[]],[]]
 => ([(0,4),(1,4),(2,3),(3,4)],5)
 => ([(0,4),(1,2),(1,3),(2,3),(2,4),(3,4)],5)
 => ([(0,2),(1,2)],3)
 => 1
[[],[[],[]]]
 => ([(0,4),(1,4),(2,3),(3,4)],5)
 => ([(0,4),(1,2),(1,3),(2,3),(2,4),(3,4)],5)
 => ([(0,2),(1,2)],3)
 => 1
[[],[[[]]]]
 => ([(0,4),(1,3),(2,3),(2,4)],5)
 => ([(0,1),(0,4),(1,3),(2,3),(2,4),(3,4)],5)
 => ([],1)
 => ? = 2
[[[]],[],[]]
 => ([(0,4),(1,4),(2,3),(3,4)],5)
 => ([(0,4),(1,2),(1,3),(2,3),(2,4),(3,4)],5)
 => ([(0,2),(1,2)],3)
 => 1
[[[]],[[]]]
 => ([(0,4),(1,3),(2,3),(2,4)],5)
 => ([(0,1),(0,4),(1,3),(2,3),(2,4),(3,4)],5)
 => ([],1)
 => ? = 2
[[[],[]],[]]
 => ([(0,4),(1,4),(2,3),(3,4)],5)
 => ([(0,4),(1,2),(1,3),(2,3),(2,4),(3,4)],5)
 => ([(0,2),(1,2)],3)
 => 1
[[[[]]],[]]
 => ([(0,4),(1,3),(2,3),(2,4)],5)
 => ([(0,1),(0,4),(1,3),(2,3),(2,4),(3,4)],5)
 => ([],1)
 => ? = 2
[[],[],[],[],[]]
 => ([(0,5),(1,5),(2,5),(3,5),(4,5)],6)
 => ([(0,5),(1,5),(2,5),(3,5),(4,5)],6)
 => ([(0,5),(1,5),(2,5),(3,5),(4,5)],6)
 => 4
[[],[],[],[[]]]
 => ([(0,5),(1,5),(2,5),(3,4),(4,5)],6)
 => ([(0,5),(1,2),(1,3),(1,4),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6)
 => ([(0,2),(1,2)],3)
 => 1
[[],[],[[]],[]]
 => ([(0,5),(1,5),(2,5),(3,4),(4,5)],6)
 => ([(0,5),(1,2),(1,3),(1,4),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6)
 => ([(0,2),(1,2)],3)
 => 1
[[],[],[[],[]]]
 => ([(0,5),(1,5),(2,4),(3,4),(4,5)],6)
 => ([(0,4),(0,5),(1,2),(1,3),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6)
 => ([],1)
 => ? = 1
[[],[],[[[]]]]
 => ([(0,5),(1,5),(2,3),(3,4),(4,5)],6)
 => ([(0,2),(0,5),(1,3),(1,4),(1,5),(2,3),(2,4),(3,4),(3,5),(4,5)],6)
 => ([],1)
 => ? = 2
[[],[[]],[],[]]
 => ([(0,5),(1,5),(2,5),(3,4),(4,5)],6)
 => ([(0,5),(1,2),(1,3),(1,4),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6)
 => ([(0,2),(1,2)],3)
 => 1
[[],[[]],[[]]]
 => ([(0,5),(1,4),(2,3),(3,5),(4,5)],6)
 => ([(0,4),(0,5),(1,2),(1,3),(1,5),(2,3),(2,4),(3,4),(3,5),(4,5)],6)
 => ([],1)
 => ? = 2
[[],[[],[]],[]]
 => ([(0,5),(1,5),(2,4),(3,4),(4,5)],6)
 => ([(0,4),(0,5),(1,2),(1,3),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6)
 => ([],1)
 => ? = 1
[[],[[[]]],[]]
 => ([(0,5),(1,5),(2,3),(3,4),(4,5)],6)
 => ([(0,2),(0,5),(1,3),(1,4),(1,5),(2,3),(2,4),(3,4),(3,5),(4,5)],6)
 => ([],1)
 => ? = 2
[[],[[],[],[]]]
 => ([(0,5),(1,5),(2,5),(3,4),(4,5)],6)
 => ([(0,5),(1,2),(1,3),(1,4),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6)
 => ([(0,2),(1,2)],3)
 => 1
[[],[[],[[]]]]
 => ([(0,5),(1,4),(2,3),(3,5),(4,5)],6)
 => ([(0,4),(0,5),(1,2),(1,3),(1,5),(2,3),(2,4),(3,4),(3,5),(4,5)],6)
 => ([],1)
 => ? = 1
[[],[[[]],[]]]
 => ([(0,5),(1,4),(2,3),(3,5),(4,5)],6)
 => ([(0,4),(0,5),(1,2),(1,3),(1,5),(2,3),(2,4),(3,4),(3,5),(4,5)],6)
 => ([],1)
 => ? = 1
[[],[[[],[]]]]
 => ([(0,5),(1,5),(2,3),(3,4),(4,5)],6)
 => ([(0,2),(0,5),(1,3),(1,4),(1,5),(2,3),(2,4),(3,4),(3,5),(4,5)],6)
 => ([],1)
 => ? = 2
[[],[[[[]]]]]
 => ([(0,5),(1,4),(2,3),(2,4),(3,5)],6)
 => ([(0,1),(0,3),(0,5),(1,2),(1,4),(2,4),(2,5),(3,4),(3,5),(4,5)],6)
 => ([],1)
 => ? = 3
[[[]],[],[],[]]
 => ([(0,5),(1,5),(2,5),(3,4),(4,5)],6)
 => ([(0,5),(1,2),(1,3),(1,4),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6)
 => ([(0,2),(1,2)],3)
 => 1
[[[]],[],[[]]]
 => ([(0,5),(1,4),(2,3),(3,5),(4,5)],6)
 => ([(0,4),(0,5),(1,2),(1,3),(1,5),(2,3),(2,4),(3,4),(3,5),(4,5)],6)
 => ([],1)
 => ? = 2
[[[]],[[]],[]]
 => ([(0,5),(1,4),(2,3),(3,5),(4,5)],6)
 => ([(0,4),(0,5),(1,2),(1,3),(1,5),(2,3),(2,4),(3,4),(3,5),(4,5)],6)
 => ([],1)
 => ? = 2
[[[]],[[],[]]]
 => ([(0,5),(1,5),(2,3),(3,4),(4,5)],6)
 => ([(0,2),(0,5),(1,3),(1,4),(1,5),(2,3),(2,4),(3,4),(3,5),(4,5)],6)
 => ([],1)
 => ? = 1
[[[]],[[[]]]]
 => ([(0,5),(1,4),(2,3),(2,4),(3,5)],6)
 => ([(0,1),(0,3),(0,5),(1,2),(1,4),(2,4),(2,5),(3,4),(3,5),(4,5)],6)
 => ([],1)
 => ? = 2
[[[],[]],[],[]]
 => ([(0,5),(1,5),(2,4),(3,4),(4,5)],6)
 => ([(0,4),(0,5),(1,2),(1,3),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6)
 => ([],1)
 => ? = 1
[[[[]]],[],[]]
 => ([(0,5),(1,5),(2,3),(3,4),(4,5)],6)
 => ([(0,2),(0,5),(1,3),(1,4),(1,5),(2,3),(2,4),(3,4),(3,5),(4,5)],6)
 => ([],1)
 => ? = 2
[[[],[]],[[]]]
 => ([(0,5),(1,5),(2,3),(3,4),(4,5)],6)
 => ([(0,2),(0,5),(1,3),(1,4),(1,5),(2,3),(2,4),(3,4),(3,5),(4,5)],6)
 => ([],1)
 => ? = 1
[[[[]]],[[]]]
 => ([(0,5),(1,4),(2,3),(2,4),(3,5)],6)
 => ([(0,1),(0,3),(0,5),(1,2),(1,4),(2,4),(2,5),(3,4),(3,5),(4,5)],6)
 => ([],1)
 => ? = 2
[[[],[],[]],[]]
 => ([(0,5),(1,5),(2,5),(3,4),(4,5)],6)
 => ([(0,5),(1,2),(1,3),(1,4),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6)
 => ([(0,2),(1,2)],3)
 => 1
[[[],[[]]],[]]
 => ([(0,5),(1,4),(2,3),(3,5),(4,5)],6)
 => ([(0,4),(0,5),(1,2),(1,3),(1,5),(2,3),(2,4),(3,4),(3,5),(4,5)],6)
 => ([],1)
 => ? = 1
[[[[]],[]],[]]
 => ([(0,5),(1,4),(2,3),(3,5),(4,5)],6)
 => ([(0,4),(0,5),(1,2),(1,3),(1,5),(2,3),(2,4),(3,4),(3,5),(4,5)],6)
 => ([],1)
 => ? = 1
[[[[],[]]],[]]
 => ([(0,5),(1,5),(2,3),(3,4),(4,5)],6)
 => ([(0,2),(0,5),(1,3),(1,4),(1,5),(2,3),(2,4),(3,4),(3,5),(4,5)],6)
 => ([],1)
 => ? = 2
[[[[[]]]],[]]
 => ([(0,5),(1,4),(2,3),(2,4),(3,5)],6)
 => ([(0,1),(0,3),(0,5),(1,2),(1,4),(2,4),(2,5),(3,4),(3,5),(4,5)],6)
 => ([],1)
 => ? = 3
[[],[],[],[],[],[]]
 => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7)
 => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7)
 => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7)
 => ? = 5
[[],[],[],[],[[]]]
 => ([(0,6),(1,6),(2,6),(3,6),(4,5),(5,6)],7)
 => ([(0,6),(1,2),(1,3),(1,4),(1,5),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
 => ([(0,2),(1,2)],3)
 => 1
[[],[],[],[[]],[]]
 => ([(0,6),(1,6),(2,6),(3,6),(4,5),(5,6)],7)
 => ([(0,6),(1,2),(1,3),(1,4),(1,5),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
 => ([(0,2),(1,2)],3)
 => 1
[[],[],[],[[],[]]]
 => ([(0,6),(1,6),(2,6),(3,5),(4,5),(5,6)],7)
 => ([(0,5),(0,6),(1,2),(1,3),(1,4),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
 => ([],1)
 => ? = 1
[[],[],[],[[[]]]]
 => ([(0,6),(1,6),(2,6),(3,4),(4,5),(5,6)],7)
 => ([(0,2),(0,6),(1,3),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
 => ([],1)
 => ? = 2
[[],[],[[]],[],[]]
 => ([(0,6),(1,6),(2,6),(3,6),(4,5),(5,6)],7)
 => ([(0,6),(1,2),(1,3),(1,4),(1,5),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
 => ([(0,2),(1,2)],3)
 => 1
[[],[],[[]],[[]]]
 => ([(0,6),(1,6),(2,5),(3,4),(4,6),(5,6)],7)
 => ([(0,5),(0,6),(1,2),(1,3),(1,4),(1,6),(2,3),(2,4),(2,5),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
 => ([],1)
 => ? = 2
[[],[],[[],[]],[]]
 => ([(0,6),(1,6),(2,6),(3,5),(4,5),(5,6)],7)
 => ([(0,5),(0,6),(1,2),(1,3),(1,4),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
 => ([],1)
 => ? = 1
[[],[],[[[]]],[]]
 => ([(0,6),(1,6),(2,6),(3,4),(4,5),(5,6)],7)
 => ([(0,2),(0,6),(1,3),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
 => ([],1)
 => ? = 2
[[],[],[[],[],[]]]
 => ([(0,6),(1,6),(2,6),(3,5),(4,5),(5,6)],7)
 => ([(0,5),(0,6),(1,2),(1,3),(1,4),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
 => ([],1)
 => ? = 1
[[],[],[[],[[]]]]
 => ([(0,6),(1,5),(2,5),(3,4),(4,6),(5,6)],7)
 => ([(0,3),(0,4),(0,6),(1,2),(1,5),(1,6),(2,3),(2,4),(2,5),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
 => ([],1)
 => ? = 1
[[],[],[[[]],[]]]
 => ([(0,6),(1,5),(2,5),(3,4),(4,6),(5,6)],7)
 => ([(0,3),(0,4),(0,6),(1,2),(1,5),(1,6),(2,3),(2,4),(2,5),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
 => ([],1)
 => ? = 1
[[],[],[[[],[]]]]
 => ([(0,6),(1,6),(2,5),(3,5),(4,5),(4,6)],7)
 => ([(0,1),(0,5),(0,6),(1,3),(1,4),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
 => ([],1)
 => ? = 2
[[],[],[[[[]]]]]
 => ([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)
 => ([(0,2),(0,3),(0,6),(1,3),(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7)
 => ([],1)
 => ? = 3
[[],[[]],[],[],[]]
 => ([(0,6),(1,6),(2,6),(3,6),(4,5),(5,6)],7)
 => ([(0,6),(1,2),(1,3),(1,4),(1,5),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
 => ([(0,2),(1,2)],3)
 => 1
[[],[[]],[],[[]]]
 => ([(0,6),(1,6),(2,5),(3,4),(4,6),(5,6)],7)
 => ([(0,5),(0,6),(1,2),(1,3),(1,4),(1,6),(2,3),(2,4),(2,5),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
 => ([],1)
 => ? = 2
[[],[[]],[[]],[]]
 => ([(0,6),(1,6),(2,5),(3,4),(4,6),(5,6)],7)
 => ([(0,5),(0,6),(1,2),(1,3),(1,4),(1,6),(2,3),(2,4),(2,5),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
 => ([],1)
 => ? = 2
[[],[[]],[[],[]]]
 => ([(0,6),(1,5),(2,5),(3,4),(4,6),(5,6)],7)
 => ([(0,3),(0,4),(0,6),(1,2),(1,5),(1,6),(2,3),(2,4),(2,5),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
 => ([],1)
 => ? = 1
[[],[[]],[[[]]]]
 => ([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)
 => ([(0,3),(0,5),(0,6),(1,2),(1,3),(1,4),(1,5),(2,4),(2,5),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7)
 => ([],1)
 => ? = 2
[[],[[],[]],[],[]]
 => ([(0,6),(1,6),(2,6),(3,5),(4,5),(5,6)],7)
 => ([(0,5),(0,6),(1,2),(1,3),(1,4),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
 => ([],1)
 => ? = 1
[[],[[[]]],[],[]]
 => ([(0,6),(1,6),(2,6),(3,4),(4,5),(5,6)],7)
 => ([(0,2),(0,6),(1,3),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
 => ([],1)
 => ? = 2
[[],[[],[]],[[]]]
 => ([(0,6),(1,5),(2,5),(3,4),(4,6),(5,6)],7)
 => ([(0,3),(0,4),(0,6),(1,2),(1,5),(1,6),(2,3),(2,4),(2,5),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
 => ([],1)
 => ? = 1
[[],[[[]]],[[]]]
 => ([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)
 => ([(0,3),(0,5),(0,6),(1,2),(1,3),(1,4),(1,5),(2,4),(2,5),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7)
 => ([],1)
 => ? = 2
[[],[[],[],[]],[]]
 => ([(0,6),(1,6),(2,6),(3,5),(4,5),(5,6)],7)
 => ([(0,5),(0,6),(1,2),(1,3),(1,4),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
 => ([],1)
 => ? = 1
[[],[[],[[]]],[]]
 => ([(0,6),(1,5),(2,5),(3,4),(4,6),(5,6)],7)
 => ([(0,3),(0,4),(0,6),(1,2),(1,5),(1,6),(2,3),(2,4),(2,5),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
 => ([],1)
 => ? = 1
[[],[[[]],[]],[]]
 => ([(0,6),(1,5),(2,5),(3,4),(4,6),(5,6)],7)
 => ([(0,3),(0,4),(0,6),(1,2),(1,5),(1,6),(2,3),(2,4),(2,5),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
 => ([],1)
 => ? = 1
[[],[[[],[]]],[]]
 => ([(0,6),(1,6),(2,5),(3,5),(4,5),(4,6)],7)
 => ([(0,1),(0,5),(0,6),(1,3),(1,4),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
 => ([],1)
 => ? = 2
[[],[[[[]]]],[]]
 => ([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)
 => ([(0,2),(0,3),(0,6),(1,3),(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7)
 => ([],1)
 => ? = 3
[[],[[],[],[],[]]]
 => ([(0,6),(1,6),(2,6),(3,6),(4,5),(5,6)],7)
 => ([(0,6),(1,2),(1,3),(1,4),(1,5),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
 => ([(0,2),(1,2)],3)
 => 1
[[],[[],[],[[]]]]
 => ([(0,6),(1,6),(2,5),(3,4),(4,6),(5,6)],7)
 => ([(0,5),(0,6),(1,2),(1,3),(1,4),(1,6),(2,3),(2,4),(2,5),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
 => ([],1)
 => ? = 1
[[[]],[],[],[],[]]
 => ([(0,6),(1,6),(2,6),(3,6),(4,5),(5,6)],7)
 => ([(0,6),(1,2),(1,3),(1,4),(1,5),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
 => ([(0,2),(1,2)],3)
 => 1
[[[],[],[],[]],[]]
 => ([(0,6),(1,6),(2,6),(3,6),(4,5),(5,6)],7)
 => ([(0,6),(1,2),(1,3),(1,4),(1,5),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
 => ([(0,2),(1,2)],3)
 => 1
Description
The minimal number of edges to add to make a graph Hamiltonian. A graph is Hamiltonian if it contains a cycle as a subgraph, which contains all vertices.
Matching statistic: St001060
(load all 2 compositions to match this statistic)
Mapping
Mp00046: Ordered trees —to graph⟶ Graphs
Mp00157: Graphs —connected complement⟶ Graphs
Mp00274: Graphs —block-cut tree⟶ Graphs
St001060: Graphs ⟶ ℤResult quality: 6% ●values known / values provided: 6%●distinct values known / distinct values provided: 67%
Values
[[]]
 => ([(0,1)],2)
 => ([(0,1)],2)
 => ([],1)
 => ? = 1 + 1
[[],[]]
 => ([(0,2),(1,2)],3)
 => ([(0,2),(1,2)],3)
 => ([(0,2),(1,2)],3)
 => 2 = 1 + 1
[[],[],[]]
 => ([(0,3),(1,3),(2,3)],4)
 => ([(0,3),(1,3),(2,3)],4)
 => ([(0,3),(1,3),(2,3)],4)
 => 3 = 2 + 1
[[],[[]]]
 => ([(0,3),(1,2),(2,3)],4)
 => ([(0,3),(1,2),(2,3)],4)
 => ([(0,4),(1,3),(2,3),(2,4)],5)
 => 2 = 1 + 1
[[[]],[]]
 => ([(0,3),(1,2),(2,3)],4)
 => ([(0,3),(1,2),(2,3)],4)
 => ([(0,4),(1,3),(2,3),(2,4)],5)
 => 2 = 1 + 1
[[],[],[],[]]
 => ([(0,4),(1,4),(2,4),(3,4)],5)
 => ([(0,4),(1,4),(2,4),(3,4)],5)
 => ([(0,4),(1,4),(2,4),(3,4)],5)
 => 4 = 3 + 1
[[],[],[[]]]
 => ([(0,4),(1,4),(2,3),(3,4)],5)
 => ([(0,4),(1,2),(1,3),(2,3),(2,4),(3,4)],5)
 => ([(0,2),(1,2)],3)
 => 2 = 1 + 1
[[],[[]],[]]
 => ([(0,4),(1,4),(2,3),(3,4)],5)
 => ([(0,4),(1,2),(1,3),(2,3),(2,4),(3,4)],5)
 => ([(0,2),(1,2)],3)
 => 2 = 1 + 1
[[],[[],[]]]
 => ([(0,4),(1,4),(2,3),(3,4)],5)
 => ([(0,4),(1,2),(1,3),(2,3),(2,4),(3,4)],5)
 => ([(0,2),(1,2)],3)
 => 2 = 1 + 1
[[],[[[]]]]
 => ([(0,4),(1,3),(2,3),(2,4)],5)
 => ([(0,1),(0,4),(1,3),(2,3),(2,4),(3,4)],5)
 => ([],1)
 => ? = 2 + 1
[[[]],[],[]]
 => ([(0,4),(1,4),(2,3),(3,4)],5)
 => ([(0,4),(1,2),(1,3),(2,3),(2,4),(3,4)],5)
 => ([(0,2),(1,2)],3)
 => 2 = 1 + 1
[[[]],[[]]]
 => ([(0,4),(1,3),(2,3),(2,4)],5)
 => ([(0,1),(0,4),(1,3),(2,3),(2,4),(3,4)],5)
 => ([],1)
 => ? = 2 + 1
[[[],[]],[]]
 => ([(0,4),(1,4),(2,3),(3,4)],5)
 => ([(0,4),(1,2),(1,3),(2,3),(2,4),(3,4)],5)
 => ([(0,2),(1,2)],3)
 => 2 = 1 + 1
[[[[]]],[]]
 => ([(0,4),(1,3),(2,3),(2,4)],5)
 => ([(0,1),(0,4),(1,3),(2,3),(2,4),(3,4)],5)
 => ([],1)
 => ? = 2 + 1
[[],[],[],[],[]]
 => ([(0,5),(1,5),(2,5),(3,5),(4,5)],6)
 => ([(0,5),(1,5),(2,5),(3,5),(4,5)],6)
 => ([(0,5),(1,5),(2,5),(3,5),(4,5)],6)
 => 5 = 4 + 1
[[],[],[],[[]]]
 => ([(0,5),(1,5),(2,5),(3,4),(4,5)],6)
 => ([(0,5),(1,2),(1,3),(1,4),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6)
 => ([(0,2),(1,2)],3)
 => 2 = 1 + 1
[[],[],[[]],[]]
 => ([(0,5),(1,5),(2,5),(3,4),(4,5)],6)
 => ([(0,5),(1,2),(1,3),(1,4),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6)
 => ([(0,2),(1,2)],3)
 => 2 = 1 + 1
[[],[],[[],[]]]
 => ([(0,5),(1,5),(2,4),(3,4),(4,5)],6)
 => ([(0,4),(0,5),(1,2),(1,3),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6)
 => ([],1)
 => ? = 1 + 1
[[],[],[[[]]]]
 => ([(0,5),(1,5),(2,3),(3,4),(4,5)],6)
 => ([(0,2),(0,5),(1,3),(1,4),(1,5),(2,3),(2,4),(3,4),(3,5),(4,5)],6)
 => ([],1)
 => ? = 2 + 1
[[],[[]],[],[]]
 => ([(0,5),(1,5),(2,5),(3,4),(4,5)],6)
 => ([(0,5),(1,2),(1,3),(1,4),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6)
 => ([(0,2),(1,2)],3)
 => 2 = 1 + 1
[[],[[]],[[]]]
 => ([(0,5),(1,4),(2,3),(3,5),(4,5)],6)
 => ([(0,4),(0,5),(1,2),(1,3),(1,5),(2,3),(2,4),(3,4),(3,5),(4,5)],6)
 => ([],1)
 => ? = 2 + 1
[[],[[],[]],[]]
 => ([(0,5),(1,5),(2,4),(3,4),(4,5)],6)
 => ([(0,4),(0,5),(1,2),(1,3),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6)
 => ([],1)
 => ? = 1 + 1
[[],[[[]]],[]]
 => ([(0,5),(1,5),(2,3),(3,4),(4,5)],6)
 => ([(0,2),(0,5),(1,3),(1,4),(1,5),(2,3),(2,4),(3,4),(3,5),(4,5)],6)
 => ([],1)
 => ? = 2 + 1
[[],[[],[],[]]]
 => ([(0,5),(1,5),(2,5),(3,4),(4,5)],6)
 => ([(0,5),(1,2),(1,3),(1,4),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6)
 => ([(0,2),(1,2)],3)
 => 2 = 1 + 1
[[],[[],[[]]]]
 => ([(0,5),(1,4),(2,3),(3,5),(4,5)],6)
 => ([(0,4),(0,5),(1,2),(1,3),(1,5),(2,3),(2,4),(3,4),(3,5),(4,5)],6)
 => ([],1)
 => ? = 1 + 1
[[],[[[]],[]]]
 => ([(0,5),(1,4),(2,3),(3,5),(4,5)],6)
 => ([(0,4),(0,5),(1,2),(1,3),(1,5),(2,3),(2,4),(3,4),(3,5),(4,5)],6)
 => ([],1)
 => ? = 1 + 1
[[],[[[],[]]]]
 => ([(0,5),(1,5),(2,3),(3,4),(4,5)],6)
 => ([(0,2),(0,5),(1,3),(1,4),(1,5),(2,3),(2,4),(3,4),(3,5),(4,5)],6)
 => ([],1)
 => ? = 2 + 1
[[],[[[[]]]]]
 => ([(0,5),(1,4),(2,3),(2,4),(3,5)],6)
 => ([(0,1),(0,3),(0,5),(1,2),(1,4),(2,4),(2,5),(3,4),(3,5),(4,5)],6)
 => ([],1)
 => ? = 3 + 1
[[[]],[],[],[]]
 => ([(0,5),(1,5),(2,5),(3,4),(4,5)],6)
 => ([(0,5),(1,2),(1,3),(1,4),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6)
 => ([(0,2),(1,2)],3)
 => 2 = 1 + 1
[[[]],[],[[]]]
 => ([(0,5),(1,4),(2,3),(3,5),(4,5)],6)
 => ([(0,4),(0,5),(1,2),(1,3),(1,5),(2,3),(2,4),(3,4),(3,5),(4,5)],6)
 => ([],1)
 => ? = 2 + 1
[[[]],[[]],[]]
 => ([(0,5),(1,4),(2,3),(3,5),(4,5)],6)
 => ([(0,4),(0,5),(1,2),(1,3),(1,5),(2,3),(2,4),(3,4),(3,5),(4,5)],6)
 => ([],1)
 => ? = 2 + 1
[[[]],[[],[]]]
 => ([(0,5),(1,5),(2,3),(3,4),(4,5)],6)
 => ([(0,2),(0,5),(1,3),(1,4),(1,5),(2,3),(2,4),(3,4),(3,5),(4,5)],6)
 => ([],1)
 => ? = 1 + 1
[[[]],[[[]]]]
 => ([(0,5),(1,4),(2,3),(2,4),(3,5)],6)
 => ([(0,1),(0,3),(0,5),(1,2),(1,4),(2,4),(2,5),(3,4),(3,5),(4,5)],6)
 => ([],1)
 => ? = 2 + 1
[[[],[]],[],[]]
 => ([(0,5),(1,5),(2,4),(3,4),(4,5)],6)
 => ([(0,4),(0,5),(1,2),(1,3),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6)
 => ([],1)
 => ? = 1 + 1
[[[[]]],[],[]]
 => ([(0,5),(1,5),(2,3),(3,4),(4,5)],6)
 => ([(0,2),(0,5),(1,3),(1,4),(1,5),(2,3),(2,4),(3,4),(3,5),(4,5)],6)
 => ([],1)
 => ? = 2 + 1
[[[],[]],[[]]]
 => ([(0,5),(1,5),(2,3),(3,4),(4,5)],6)
 => ([(0,2),(0,5),(1,3),(1,4),(1,5),(2,3),(2,4),(3,4),(3,5),(4,5)],6)
 => ([],1)
 => ? = 1 + 1
[[[[]]],[[]]]
 => ([(0,5),(1,4),(2,3),(2,4),(3,5)],6)
 => ([(0,1),(0,3),(0,5),(1,2),(1,4),(2,4),(2,5),(3,4),(3,5),(4,5)],6)
 => ([],1)
 => ? = 2 + 1
[[[],[],[]],[]]
 => ([(0,5),(1,5),(2,5),(3,4),(4,5)],6)
 => ([(0,5),(1,2),(1,3),(1,4),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6)
 => ([(0,2),(1,2)],3)
 => 2 = 1 + 1
[[[],[[]]],[]]
 => ([(0,5),(1,4),(2,3),(3,5),(4,5)],6)
 => ([(0,4),(0,5),(1,2),(1,3),(1,5),(2,3),(2,4),(3,4),(3,5),(4,5)],6)
 => ([],1)
 => ? = 1 + 1
[[[[]],[]],[]]
 => ([(0,5),(1,4),(2,3),(3,5),(4,5)],6)
 => ([(0,4),(0,5),(1,2),(1,3),(1,5),(2,3),(2,4),(3,4),(3,5),(4,5)],6)
 => ([],1)
 => ? = 1 + 1
[[[[],[]]],[]]
 => ([(0,5),(1,5),(2,3),(3,4),(4,5)],6)
 => ([(0,2),(0,5),(1,3),(1,4),(1,5),(2,3),(2,4),(3,4),(3,5),(4,5)],6)
 => ([],1)
 => ? = 2 + 1
[[[[[]]]],[]]
 => ([(0,5),(1,4),(2,3),(2,4),(3,5)],6)
 => ([(0,1),(0,3),(0,5),(1,2),(1,4),(2,4),(2,5),(3,4),(3,5),(4,5)],6)
 => ([],1)
 => ? = 3 + 1
[[],[],[],[],[],[]]
 => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7)
 => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7)
 => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7)
 => ? = 5 + 1
[[],[],[],[],[[]]]
 => ([(0,6),(1,6),(2,6),(3,6),(4,5),(5,6)],7)
 => ([(0,6),(1,2),(1,3),(1,4),(1,5),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
 => ([(0,2),(1,2)],3)
 => 2 = 1 + 1
[[],[],[],[[]],[]]
 => ([(0,6),(1,6),(2,6),(3,6),(4,5),(5,6)],7)
 => ([(0,6),(1,2),(1,3),(1,4),(1,5),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
 => ([(0,2),(1,2)],3)
 => 2 = 1 + 1
[[],[],[],[[],[]]]
 => ([(0,6),(1,6),(2,6),(3,5),(4,5),(5,6)],7)
 => ([(0,5),(0,6),(1,2),(1,3),(1,4),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
 => ([],1)
 => ? = 1 + 1
[[],[],[],[[[]]]]
 => ([(0,6),(1,6),(2,6),(3,4),(4,5),(5,6)],7)
 => ([(0,2),(0,6),(1,3),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
 => ([],1)
 => ? = 2 + 1
[[],[],[[]],[],[]]
 => ([(0,6),(1,6),(2,6),(3,6),(4,5),(5,6)],7)
 => ([(0,6),(1,2),(1,3),(1,4),(1,5),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
 => ([(0,2),(1,2)],3)
 => 2 = 1 + 1
[[],[],[[]],[[]]]
 => ([(0,6),(1,6),(2,5),(3,4),(4,6),(5,6)],7)
 => ([(0,5),(0,6),(1,2),(1,3),(1,4),(1,6),(2,3),(2,4),(2,5),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
 => ([],1)
 => ? = 2 + 1
[[],[],[[],[]],[]]
 => ([(0,6),(1,6),(2,6),(3,5),(4,5),(5,6)],7)
 => ([(0,5),(0,6),(1,2),(1,3),(1,4),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
 => ([],1)
 => ? = 1 + 1
[[],[],[[[]]],[]]
 => ([(0,6),(1,6),(2,6),(3,4),(4,5),(5,6)],7)
 => ([(0,2),(0,6),(1,3),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
 => ([],1)
 => ? = 2 + 1
[[],[],[[],[],[]]]
 => ([(0,6),(1,6),(2,6),(3,5),(4,5),(5,6)],7)
 => ([(0,5),(0,6),(1,2),(1,3),(1,4),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
 => ([],1)
 => ? = 1 + 1
[[],[],[[],[[]]]]
 => ([(0,6),(1,5),(2,5),(3,4),(4,6),(5,6)],7)
 => ([(0,3),(0,4),(0,6),(1,2),(1,5),(1,6),(2,3),(2,4),(2,5),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
 => ([],1)
 => ? = 1 + 1
[[],[],[[[]],[]]]
 => ([(0,6),(1,5),(2,5),(3,4),(4,6),(5,6)],7)
 => ([(0,3),(0,4),(0,6),(1,2),(1,5),(1,6),(2,3),(2,4),(2,5),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
 => ([],1)
 => ? = 1 + 1
[[],[],[[[],[]]]]
 => ([(0,6),(1,6),(2,5),(3,5),(4,5),(4,6)],7)
 => ([(0,1),(0,5),(0,6),(1,3),(1,4),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
 => ([],1)
 => ? = 2 + 1
[[],[],[[[[]]]]]
 => ([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)
 => ([(0,2),(0,3),(0,6),(1,3),(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7)
 => ([],1)
 => ? = 3 + 1
[[],[[]],[],[],[]]
 => ([(0,6),(1,6),(2,6),(3,6),(4,5),(5,6)],7)
 => ([(0,6),(1,2),(1,3),(1,4),(1,5),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
 => ([(0,2),(1,2)],3)
 => 2 = 1 + 1
[[],[[]],[],[[]]]
 => ([(0,6),(1,6),(2,5),(3,4),(4,6),(5,6)],7)
 => ([(0,5),(0,6),(1,2),(1,3),(1,4),(1,6),(2,3),(2,4),(2,5),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
 => ([],1)
 => ? = 2 + 1
[[],[[]],[[]],[]]
 => ([(0,6),(1,6),(2,5),(3,4),(4,6),(5,6)],7)
 => ([(0,5),(0,6),(1,2),(1,3),(1,4),(1,6),(2,3),(2,4),(2,5),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
 => ([],1)
 => ? = 2 + 1
[[],[[]],[[],[]]]
 => ([(0,6),(1,5),(2,5),(3,4),(4,6),(5,6)],7)
 => ([(0,3),(0,4),(0,6),(1,2),(1,5),(1,6),(2,3),(2,4),(2,5),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
 => ([],1)
 => ? = 1 + 1
[[],[[]],[[[]]]]
 => ([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)
 => ([(0,3),(0,5),(0,6),(1,2),(1,3),(1,4),(1,5),(2,4),(2,5),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7)
 => ([],1)
 => ? = 2 + 1
[[],[[],[]],[],[]]
 => ([(0,6),(1,6),(2,6),(3,5),(4,5),(5,6)],7)
 => ([(0,5),(0,6),(1,2),(1,3),(1,4),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
 => ([],1)
 => ? = 1 + 1
[[],[[[]]],[],[]]
 => ([(0,6),(1,6),(2,6),(3,4),(4,5),(5,6)],7)
 => ([(0,2),(0,6),(1,3),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
 => ([],1)
 => ? = 2 + 1
[[],[[],[]],[[]]]
 => ([(0,6),(1,5),(2,5),(3,4),(4,6),(5,6)],7)
 => ([(0,3),(0,4),(0,6),(1,2),(1,5),(1,6),(2,3),(2,4),(2,5),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
 => ([],1)
 => ? = 1 + 1
[[],[[[]]],[[]]]
 => ([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)
 => ([(0,3),(0,5),(0,6),(1,2),(1,3),(1,4),(1,5),(2,4),(2,5),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7)
 => ([],1)
 => ? = 2 + 1
[[],[[],[],[]],[]]
 => ([(0,6),(1,6),(2,6),(3,5),(4,5),(5,6)],7)
 => ([(0,5),(0,6),(1,2),(1,3),(1,4),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
 => ([],1)
 => ? = 1 + 1
[[],[[],[[]]],[]]
 => ([(0,6),(1,5),(2,5),(3,4),(4,6),(5,6)],7)
 => ([(0,3),(0,4),(0,6),(1,2),(1,5),(1,6),(2,3),(2,4),(2,5),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
 => ([],1)
 => ? = 1 + 1
[[],[[[]],[]],[]]
 => ([(0,6),(1,5),(2,5),(3,4),(4,6),(5,6)],7)
 => ([(0,3),(0,4),(0,6),(1,2),(1,5),(1,6),(2,3),(2,4),(2,5),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
 => ([],1)
 => ? = 1 + 1
[[],[[[],[]]],[]]
 => ([(0,6),(1,6),(2,5),(3,5),(4,5),(4,6)],7)
 => ([(0,1),(0,5),(0,6),(1,3),(1,4),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
 => ([],1)
 => ? = 2 + 1
[[],[[[[]]]],[]]
 => ([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)
 => ([(0,2),(0,3),(0,6),(1,3),(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7)
 => ([],1)
 => ? = 3 + 1
[[],[[],[],[],[]]]
 => ([(0,6),(1,6),(2,6),(3,6),(4,5),(5,6)],7)
 => ([(0,6),(1,2),(1,3),(1,4),(1,5),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
 => ([(0,2),(1,2)],3)
 => 2 = 1 + 1
[[],[[],[],[[]]]]
 => ([(0,6),(1,6),(2,5),(3,4),(4,6),(5,6)],7)
 => ([(0,5),(0,6),(1,2),(1,3),(1,4),(1,6),(2,3),(2,4),(2,5),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
 => ([],1)
 => ? = 1 + 1
[[[]],[],[],[],[]]
 => ([(0,6),(1,6),(2,6),(3,6),(4,5),(5,6)],7)
 => ([(0,6),(1,2),(1,3),(1,4),(1,5),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
 => ([(0,2),(1,2)],3)
 => 2 = 1 + 1
[[[],[],[],[]],[]]
 => ([(0,6),(1,6),(2,6),(3,6),(4,5),(5,6)],7)
 => ([(0,6),(1,2),(1,3),(1,4),(1,5),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
 => ([(0,2),(1,2)],3)
 => 2 = 1 + 1
Description
The distinguishing index of a graph. This is the smallest number of colours such that there is a colouring of the edges which is not preserved by any automorphism. If the graph has a connected component which is a single edge, or at least two isolated vertices, this statistic is undefined.
Matching statistic: St000456
Mapping
Mp00046: Ordered trees —to graph⟶ Graphs
Mp00111: Graphs —complement⟶ Graphs
Mp00274: Graphs —block-cut tree⟶ Graphs
St000456: Graphs ⟶ ℤResult quality: 5% ●values known / values provided: 5%●distinct values known / distinct values provided: 17%
Values
[[]]
 => ([(0,1)],2)
 => ([],2)
 => ([],2)
 => ? = 1
[[],[]]
 => ([(0,2),(1,2)],3)
 => ([(1,2)],3)
 => ([],2)
 => ? = 1
[[],[],[]]
 => ([(0,3),(1,3),(2,3)],4)
 => ([(1,2),(1,3),(2,3)],4)
 => ([],2)
 => ? = 2
[[],[[]]]
 => ([(0,3),(1,2),(2,3)],4)
 => ([(0,3),(1,2),(2,3)],4)
 => ([(0,4),(1,3),(2,3),(2,4)],5)
 => 1
[[[]],[]]
 => ([(0,3),(1,2),(2,3)],4)
 => ([(0,3),(1,2),(2,3)],4)
 => ([(0,4),(1,3),(2,3),(2,4)],5)
 => 1
[[],[],[],[]]
 => ([(0,4),(1,4),(2,4),(3,4)],5)
 => ([(1,2),(1,3),(1,4),(2,3),(2,4),(3,4)],5)
 => ([],2)
 => ? = 3
[[],[],[[]]]
 => ([(0,4),(1,4),(2,3),(3,4)],5)
 => ([(0,4),(1,2),(1,3),(2,3),(2,4),(3,4)],5)
 => ([(0,2),(1,2)],3)
 => 1
[[],[[]],[]]
 => ([(0,4),(1,4),(2,3),(3,4)],5)
 => ([(0,4),(1,2),(1,3),(2,3),(2,4),(3,4)],5)
 => ([(0,2),(1,2)],3)
 => 1
[[],[[],[]]]
 => ([(0,4),(1,4),(2,3),(3,4)],5)
 => ([(0,4),(1,2),(1,3),(2,3),(2,4),(3,4)],5)
 => ([(0,2),(1,2)],3)
 => 1
[[],[[[]]]]
 => ([(0,4),(1,3),(2,3),(2,4)],5)
 => ([(0,1),(0,4),(1,3),(2,3),(2,4),(3,4)],5)
 => ([],1)
 => ? = 2
[[[]],[],[]]
 => ([(0,4),(1,4),(2,3),(3,4)],5)
 => ([(0,4),(1,2),(1,3),(2,3),(2,4),(3,4)],5)
 => ([(0,2),(1,2)],3)
 => 1
[[[]],[[]]]
 => ([(0,4),(1,3),(2,3),(2,4)],5)
 => ([(0,1),(0,4),(1,3),(2,3),(2,4),(3,4)],5)
 => ([],1)
 => ? = 2
[[[],[]],[]]
 => ([(0,4),(1,4),(2,3),(3,4)],5)
 => ([(0,4),(1,2),(1,3),(2,3),(2,4),(3,4)],5)
 => ([(0,2),(1,2)],3)
 => 1
[[[[]]],[]]
 => ([(0,4),(1,3),(2,3),(2,4)],5)
 => ([(0,1),(0,4),(1,3),(2,3),(2,4),(3,4)],5)
 => ([],1)
 => ? = 2
[[],[],[],[],[]]
 => ([(0,5),(1,5),(2,5),(3,5),(4,5)],6)
 => ([(1,2),(1,3),(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6)
 => ([],2)
 => ? = 4
[[],[],[],[[]]]
 => ([(0,5),(1,5),(2,5),(3,4),(4,5)],6)
 => ([(0,5),(1,2),(1,3),(1,4),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6)
 => ([(0,2),(1,2)],3)
 => 1
[[],[],[[]],[]]
 => ([(0,5),(1,5),(2,5),(3,4),(4,5)],6)
 => ([(0,5),(1,2),(1,3),(1,4),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6)
 => ([(0,2),(1,2)],3)
 => 1
[[],[],[[],[]]]
 => ([(0,5),(1,5),(2,4),(3,4),(4,5)],6)
 => ([(0,4),(0,5),(1,2),(1,3),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6)
 => ([],1)
 => ? = 1
[[],[],[[[]]]]
 => ([(0,5),(1,5),(2,3),(3,4),(4,5)],6)
 => ([(0,2),(0,5),(1,3),(1,4),(1,5),(2,3),(2,4),(3,4),(3,5),(4,5)],6)
 => ([],1)
 => ? = 2
[[],[[]],[],[]]
 => ([(0,5),(1,5),(2,5),(3,4),(4,5)],6)
 => ([(0,5),(1,2),(1,3),(1,4),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6)
 => ([(0,2),(1,2)],3)
 => 1
[[],[[]],[[]]]
 => ([(0,5),(1,4),(2,3),(3,5),(4,5)],6)
 => ([(0,4),(0,5),(1,2),(1,3),(1,5),(2,3),(2,4),(3,4),(3,5),(4,5)],6)
 => ([],1)
 => ? = 2
[[],[[],[]],[]]
 => ([(0,5),(1,5),(2,4),(3,4),(4,5)],6)
 => ([(0,4),(0,5),(1,2),(1,3),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6)
 => ([],1)
 => ? = 1
[[],[[[]]],[]]
 => ([(0,5),(1,5),(2,3),(3,4),(4,5)],6)
 => ([(0,2),(0,5),(1,3),(1,4),(1,5),(2,3),(2,4),(3,4),(3,5),(4,5)],6)
 => ([],1)
 => ? = 2
[[],[[],[],[]]]
 => ([(0,5),(1,5),(2,5),(3,4),(4,5)],6)
 => ([(0,5),(1,2),(1,3),(1,4),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6)
 => ([(0,2),(1,2)],3)
 => 1
[[],[[],[[]]]]
 => ([(0,5),(1,4),(2,3),(3,5),(4,5)],6)
 => ([(0,4),(0,5),(1,2),(1,3),(1,5),(2,3),(2,4),(3,4),(3,5),(4,5)],6)
 => ([],1)
 => ? = 1
[[],[[[]],[]]]
 => ([(0,5),(1,4),(2,3),(3,5),(4,5)],6)
 => ([(0,4),(0,5),(1,2),(1,3),(1,5),(2,3),(2,4),(3,4),(3,5),(4,5)],6)
 => ([],1)
 => ? = 1
[[],[[[],[]]]]
 => ([(0,5),(1,5),(2,3),(3,4),(4,5)],6)
 => ([(0,2),(0,5),(1,3),(1,4),(1,5),(2,3),(2,4),(3,4),(3,5),(4,5)],6)
 => ([],1)
 => ? = 2
[[],[[[[]]]]]
 => ([(0,5),(1,4),(2,3),(2,4),(3,5)],6)
 => ([(0,1),(0,3),(0,5),(1,2),(1,4),(2,4),(2,5),(3,4),(3,5),(4,5)],6)
 => ([],1)
 => ? = 3
[[[]],[],[],[]]
 => ([(0,5),(1,5),(2,5),(3,4),(4,5)],6)
 => ([(0,5),(1,2),(1,3),(1,4),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6)
 => ([(0,2),(1,2)],3)
 => 1
[[[]],[],[[]]]
 => ([(0,5),(1,4),(2,3),(3,5),(4,5)],6)
 => ([(0,4),(0,5),(1,2),(1,3),(1,5),(2,3),(2,4),(3,4),(3,5),(4,5)],6)
 => ([],1)
 => ? = 2
[[[]],[[]],[]]
 => ([(0,5),(1,4),(2,3),(3,5),(4,5)],6)
 => ([(0,4),(0,5),(1,2),(1,3),(1,5),(2,3),(2,4),(3,4),(3,5),(4,5)],6)
 => ([],1)
 => ? = 2
[[[]],[[],[]]]
 => ([(0,5),(1,5),(2,3),(3,4),(4,5)],6)
 => ([(0,2),(0,5),(1,3),(1,4),(1,5),(2,3),(2,4),(3,4),(3,5),(4,5)],6)
 => ([],1)
 => ? = 1
[[[]],[[[]]]]
 => ([(0,5),(1,4),(2,3),(2,4),(3,5)],6)
 => ([(0,1),(0,3),(0,5),(1,2),(1,4),(2,4),(2,5),(3,4),(3,5),(4,5)],6)
 => ([],1)
 => ? = 2
[[[],[]],[],[]]
 => ([(0,5),(1,5),(2,4),(3,4),(4,5)],6)
 => ([(0,4),(0,5),(1,2),(1,3),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6)
 => ([],1)
 => ? = 1
[[[[]]],[],[]]
 => ([(0,5),(1,5),(2,3),(3,4),(4,5)],6)
 => ([(0,2),(0,5),(1,3),(1,4),(1,5),(2,3),(2,4),(3,4),(3,5),(4,5)],6)
 => ([],1)
 => ? = 2
[[[],[]],[[]]]
 => ([(0,5),(1,5),(2,3),(3,4),(4,5)],6)
 => ([(0,2),(0,5),(1,3),(1,4),(1,5),(2,3),(2,4),(3,4),(3,5),(4,5)],6)
 => ([],1)
 => ? = 1
[[[[]]],[[]]]
 => ([(0,5),(1,4),(2,3),(2,4),(3,5)],6)
 => ([(0,1),(0,3),(0,5),(1,2),(1,4),(2,4),(2,5),(3,4),(3,5),(4,5)],6)
 => ([],1)
 => ? = 2
[[[],[],[]],[]]
 => ([(0,5),(1,5),(2,5),(3,4),(4,5)],6)
 => ([(0,5),(1,2),(1,3),(1,4),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6)
 => ([(0,2),(1,2)],3)
 => 1
[[[],[[]]],[]]
 => ([(0,5),(1,4),(2,3),(3,5),(4,5)],6)
 => ([(0,4),(0,5),(1,2),(1,3),(1,5),(2,3),(2,4),(3,4),(3,5),(4,5)],6)
 => ([],1)
 => ? = 1
[[[[]],[]],[]]
 => ([(0,5),(1,4),(2,3),(3,5),(4,5)],6)
 => ([(0,4),(0,5),(1,2),(1,3),(1,5),(2,3),(2,4),(3,4),(3,5),(4,5)],6)
 => ([],1)
 => ? = 1
[[[[],[]]],[]]
 => ([(0,5),(1,5),(2,3),(3,4),(4,5)],6)
 => ([(0,2),(0,5),(1,3),(1,4),(1,5),(2,3),(2,4),(3,4),(3,5),(4,5)],6)
 => ([],1)
 => ? = 2
[[[[[]]]],[]]
 => ([(0,5),(1,4),(2,3),(2,4),(3,5)],6)
 => ([(0,1),(0,3),(0,5),(1,2),(1,4),(2,4),(2,5),(3,4),(3,5),(4,5)],6)
 => ([],1)
 => ? = 3
[[],[],[],[],[],[]]
 => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7)
 => ([(1,2),(1,3),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
 => ([],2)
 => ? = 5
[[],[],[],[],[[]]]
 => ([(0,6),(1,6),(2,6),(3,6),(4,5),(5,6)],7)
 => ([(0,6),(1,2),(1,3),(1,4),(1,5),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
 => ([(0,2),(1,2)],3)
 => 1
[[],[],[],[[]],[]]
 => ([(0,6),(1,6),(2,6),(3,6),(4,5),(5,6)],7)
 => ([(0,6),(1,2),(1,3),(1,4),(1,5),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
 => ([(0,2),(1,2)],3)
 => 1
[[],[],[],[[],[]]]
 => ([(0,6),(1,6),(2,6),(3,5),(4,5),(5,6)],7)
 => ([(0,5),(0,6),(1,2),(1,3),(1,4),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
 => ([],1)
 => ? = 1
[[],[],[],[[[]]]]
 => ([(0,6),(1,6),(2,6),(3,4),(4,5),(5,6)],7)
 => ([(0,2),(0,6),(1,3),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
 => ([],1)
 => ? = 2
[[],[],[[]],[],[]]
 => ([(0,6),(1,6),(2,6),(3,6),(4,5),(5,6)],7)
 => ([(0,6),(1,2),(1,3),(1,4),(1,5),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
 => ([(0,2),(1,2)],3)
 => 1
[[],[],[[]],[[]]]
 => ([(0,6),(1,6),(2,5),(3,4),(4,6),(5,6)],7)
 => ([(0,5),(0,6),(1,2),(1,3),(1,4),(1,6),(2,3),(2,4),(2,5),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
 => ([],1)
 => ? = 2
[[],[],[[],[]],[]]
 => ([(0,6),(1,6),(2,6),(3,5),(4,5),(5,6)],7)
 => ([(0,5),(0,6),(1,2),(1,3),(1,4),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
 => ([],1)
 => ? = 1
[[],[],[[[]]],[]]
 => ([(0,6),(1,6),(2,6),(3,4),(4,5),(5,6)],7)
 => ([(0,2),(0,6),(1,3),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
 => ([],1)
 => ? = 2
[[],[],[[],[],[]]]
 => ([(0,6),(1,6),(2,6),(3,5),(4,5),(5,6)],7)
 => ([(0,5),(0,6),(1,2),(1,3),(1,4),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
 => ([],1)
 => ? = 1
[[],[],[[],[[]]]]
 => ([(0,6),(1,5),(2,5),(3,4),(4,6),(5,6)],7)
 => ([(0,3),(0,4),(0,6),(1,2),(1,5),(1,6),(2,3),(2,4),(2,5),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
 => ([],1)
 => ? = 1
[[],[],[[[]],[]]]
 => ([(0,6),(1,5),(2,5),(3,4),(4,6),(5,6)],7)
 => ([(0,3),(0,4),(0,6),(1,2),(1,5),(1,6),(2,3),(2,4),(2,5),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
 => ([],1)
 => ? = 1
[[],[],[[[],[]]]]
 => ([(0,6),(1,6),(2,5),(3,5),(4,5),(4,6)],7)
 => ([(0,1),(0,5),(0,6),(1,3),(1,4),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
 => ([],1)
 => ? = 2
[[],[],[[[[]]]]]
 => ([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)
 => ([(0,2),(0,3),(0,6),(1,3),(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7)
 => ([],1)
 => ? = 3
[[],[[]],[],[],[]]
 => ([(0,6),(1,6),(2,6),(3,6),(4,5),(5,6)],7)
 => ([(0,6),(1,2),(1,3),(1,4),(1,5),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
 => ([(0,2),(1,2)],3)
 => 1
[[],[[]],[],[[]]]
 => ([(0,6),(1,6),(2,5),(3,4),(4,6),(5,6)],7)
 => ([(0,5),(0,6),(1,2),(1,3),(1,4),(1,6),(2,3),(2,4),(2,5),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
 => ([],1)
 => ? = 2
[[],[[]],[[]],[]]
 => ([(0,6),(1,6),(2,5),(3,4),(4,6),(5,6)],7)
 => ([(0,5),(0,6),(1,2),(1,3),(1,4),(1,6),(2,3),(2,4),(2,5),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
 => ([],1)
 => ? = 2
[[],[[]],[[],[]]]
 => ([(0,6),(1,5),(2,5),(3,4),(4,6),(5,6)],7)
 => ([(0,3),(0,4),(0,6),(1,2),(1,5),(1,6),(2,3),(2,4),(2,5),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
 => ([],1)
 => ? = 1
[[],[[]],[[[]]]]
 => ([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)
 => ([(0,3),(0,5),(0,6),(1,2),(1,3),(1,4),(1,5),(2,4),(2,5),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7)
 => ([],1)
 => ? = 2
[[],[[],[]],[],[]]
 => ([(0,6),(1,6),(2,6),(3,5),(4,5),(5,6)],7)
 => ([(0,5),(0,6),(1,2),(1,3),(1,4),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
 => ([],1)
 => ? = 1
[[],[[[]]],[],[]]
 => ([(0,6),(1,6),(2,6),(3,4),(4,5),(5,6)],7)
 => ([(0,2),(0,6),(1,3),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
 => ([],1)
 => ? = 2
[[],[[],[]],[[]]]
 => ([(0,6),(1,5),(2,5),(3,4),(4,6),(5,6)],7)
 => ([(0,3),(0,4),(0,6),(1,2),(1,5),(1,6),(2,3),(2,4),(2,5),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
 => ([],1)
 => ? = 1
[[],[[[]]],[[]]]
 => ([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)
 => ([(0,3),(0,5),(0,6),(1,2),(1,3),(1,4),(1,5),(2,4),(2,5),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7)
 => ([],1)
 => ? = 2
[[],[[],[],[]],[]]
 => ([(0,6),(1,6),(2,6),(3,5),(4,5),(5,6)],7)
 => ([(0,5),(0,6),(1,2),(1,3),(1,4),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
 => ([],1)
 => ? = 1
[[],[[],[[]]],[]]
 => ([(0,6),(1,5),(2,5),(3,4),(4,6),(5,6)],7)
 => ([(0,3),(0,4),(0,6),(1,2),(1,5),(1,6),(2,3),(2,4),(2,5),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
 => ([],1)
 => ? = 1
[[],[[],[],[],[]]]
 => ([(0,6),(1,6),(2,6),(3,6),(4,5),(5,6)],7)
 => ([(0,6),(1,2),(1,3),(1,4),(1,5),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
 => ([(0,2),(1,2)],3)
 => 1
[[[]],[],[],[],[]]
 => ([(0,6),(1,6),(2,6),(3,6),(4,5),(5,6)],7)
 => ([(0,6),(1,2),(1,3),(1,4),(1,5),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
 => ([(0,2),(1,2)],3)
 => 1
[[[],[],[],[]],[]]
 => ([(0,6),(1,6),(2,6),(3,6),(4,5),(5,6)],7)
 => ([(0,6),(1,2),(1,3),(1,4),(1,5),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
 => ([(0,2),(1,2)],3)
 => 1
Description
The monochromatic index of a connected graph. This is the maximal number of colours such that there is a colouring of the edges where any two vertices can be joined by a monochromatic path. For example, a circle graph other than the triangle can be coloured with at most two colours: one edge blue, all the others red.
The following 1 statistic also match your data. Click on any of them to see the details.
St001545The second Elser number of a connected graph.