- FindStat

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

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

Mapping

St000521: Ordered trees ⟶ ℤResult quality: 100% ●values known / values provided: 100%●distinct values known / distinct values provided: 100%

Values

[[]]
 => 2
[[],[]]
 => 2
[[[]]]
 => 3
[[],[],[]]
 => 2
[[],[[]]]
 => 3
[[[]],[]]
 => 3
[[[],[]]]
 => 3
[[[[]]]]
 => 4
[[],[],[],[]]
 => 2
[[],[],[[]]]
 => 3
[[],[[]],[]]
 => 3
[[],[[],[]]]
 => 3
[[],[[[]]]]
 => 4
[[[]],[],[]]
 => 3
[[[]],[[]]]
 => 3
[[[],[]],[]]
 => 3
[[[[]]],[]]
 => 4
[[[],[],[]]]
 => 3
[[[],[[]]]]
 => 4
[[[[]],[]]]
 => 4
[[[[],[]]]]
 => 4
[[[[[]]]]]
 => 5
[[],[],[],[],[]]
 => 2
[[],[],[],[[]]]
 => 3
[[],[],[[]],[]]
 => 3
[[],[],[[],[]]]
 => 3
[[],[],[[[]]]]
 => 4
[[],[[]],[],[]]
 => 3
[[],[[]],[[]]]
 => 3
[[],[[],[]],[]]
 => 3
[[],[[[]]],[]]
 => 4
[[],[[],[],[]]]
 => 3
[[],[[],[[]]]]
 => 4
[[],[[[]],[]]]
 => 4
[[],[[[],[]]]]
 => 4
[[],[[[[]]]]]
 => 5
[[[]],[],[],[]]
 => 3
[[[]],[],[[]]]
 => 3
[[[]],[[]],[]]
 => 3
[[[]],[[],[]]]
 => 4
[[[]],[[[]]]]
 => 4
[[[],[]],[],[]]
 => 3
[[[[]]],[],[]]
 => 4
[[[],[]],[[]]]
 => 4
[[[[]]],[[]]]
 => 4
[[[],[],[]],[]]
 => 3
[[[],[[]]],[]]
 => 4
[[[[]],[]],[]]
 => 4
[[[[],[]]],[]]
 => 4
[[[[[]]]],[]]
 => 5

Description

The number of distinct subtrees of an ordered tree. A subtree is specified by a node of the tree. Thus, the tree consisting of a single path has as many subtrees as nodes, whereas the tree of height two, having all leaves attached to the root, has only two distinct subtrees. Because we consider ordered trees, the tree $[[[[]], []], [[], [[]]]]$ on nine nodes has five distinct subtrees.

Matching statistic: St001621

Mapping

Mp00047: Ordered trees —to poset⟶ Posets
Mp00205: Posets —maximal antichains⟶ Lattices
Mp00197: Lattices —lattice of congruences⟶ Lattices
St001621: Lattices ⟶ ℤResult quality: 4% ●values known / values provided: 4%●distinct values known / distinct values provided: 29%

Values

[[]]
 => ([(0,1)],2)
 => ([(0,1)],2)
 => ([(0,1)],2)
 => 1 = 2 - 1
[[],[]]
 => ([(0,2),(1,2)],3)
 => ([(0,1)],2)
 => ([(0,1)],2)
 => 1 = 2 - 1
[[[]]]
 => ([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 2 = 3 - 1
[[],[],[]]
 => ([(0,3),(1,3),(2,3)],4)
 => ([(0,1)],2)
 => ([(0,1)],2)
 => 1 = 2 - 1
[[],[[]]]
 => ([(0,3),(1,2),(2,3)],4)
 => ([(0,2),(2,1)],3)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 2 = 3 - 1
[[[]],[]]
 => ([(0,3),(1,2),(2,3)],4)
 => ([(0,2),(2,1)],3)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 2 = 3 - 1
[[[],[]]]
 => ([(0,3),(1,3),(3,2)],4)
 => ([(0,2),(2,1)],3)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 2 = 3 - 1
[[[[]]]]
 => ([(0,3),(2,1),(3,2)],4)
 => ([(0,3),(2,1),(3,2)],4)
 => ([(0,1),(0,2),(0,3),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(4,7),(5,7),(6,7)],8)
 => ? = 4 - 1
[[],[],[],[]]
 => ([(0,4),(1,4),(2,4),(3,4)],5)
 => ([(0,1)],2)
 => ([(0,1)],2)
 => 1 = 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 = 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 = 3 - 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 = 3 - 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)
 => ? = 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)
 => 2 = 3 - 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)
 => ? = 3 - 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 = 3 - 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)
 => ? = 4 - 1
[[[],[],[]]]
 => ([(0,4),(1,4),(2,4),(4,3)],5)
 => ([(0,2),(2,1)],3)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 2 = 3 - 1
[[[],[[]]]]
 => ([(0,4),(1,2),(2,4),(4,3)],5)
 => ([(0,3),(2,1),(3,2)],4)
 => ([(0,1),(0,2),(0,3),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(4,7),(5,7),(6,7)],8)
 => ? = 4 - 1
[[[[]],[]]]
 => ([(0,4),(1,2),(2,4),(4,3)],5)
 => ([(0,3),(2,1),(3,2)],4)
 => ([(0,1),(0,2),(0,3),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(4,7),(5,7),(6,7)],8)
 => ? = 4 - 1
[[[[],[]]]]
 => ([(0,4),(1,4),(2,3),(4,2)],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)
 => ? = 4 - 1
[[[[[]]]]]
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => ([(0,1),(0,2),(0,3),(0,4),(1,8),(1,9),(1,10),(2,6),(2,7),(2,10),(3,5),(3,7),(3,9),(4,5),(4,6),(4,8),(5,11),(5,14),(6,11),(6,12),(7,11),(7,13),(8,12),(8,14),(9,13),(9,14),(10,12),(10,13),(11,15),(12,15),(13,15),(14,15)],16)
 => ? = 5 - 1
[[],[],[],[],[]]
 => ([(0,5),(1,5),(2,5),(3,5),(4,5)],6)
 => ([(0,1)],2)
 => ([(0,1)],2)
 => 1 = 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 = 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 = 3 - 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 = 3 - 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)
 => ? = 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 = 3 - 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)
 => ? = 3 - 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 = 3 - 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)
 => ? = 4 - 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 = 3 - 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)
 => ? = 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)
 => ? = 4 - 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)
 => ? = 4 - 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)
 => ? = 5 - 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 = 3 - 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)
 => ? = 3 - 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)
 => ? = 3 - 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)
 => ? = 4 - 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)
 => ? = 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)
 => 2 = 3 - 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)
 => ? = 4 - 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)
 => ? = 4 - 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)
 => ? = 4 - 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 = 3 - 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)
 => ? = 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)
 => ? = 4 - 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)
 => ? = 4 - 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)
 => ? = 5 - 1
[[[],[],[],[]]]
 => ([(0,5),(1,5),(2,5),(3,5),(5,4)],6)
 => ([(0,2),(2,1)],3)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 2 = 3 - 1
[[[],[],[[]]]]
 => ([(0,5),(1,5),(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)
 => ? = 4 - 1
[[[],[[]],[]]]
 => ([(0,5),(1,5),(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)
 => ? = 4 - 1
[[[],[[],[]]]]
 => ([(0,5),(1,4),(2,4),(4,5),(5,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)
 => ? = 4 - 1
[[[],[[[]]]]]
 => ([(0,5),(1,4),(2,5),(4,2),(5,3)],6)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => ([(0,1),(0,2),(0,3),(0,4),(1,8),(1,9),(1,10),(2,6),(2,7),(2,10),(3,5),(3,7),(3,9),(4,5),(4,6),(4,8),(5,11),(5,14),(6,11),(6,12),(7,11),(7,13),(8,12),(8,14),(9,13),(9,14),(10,12),(10,13),(11,15),(12,15),(13,15),(14,15)],16)
 => ? = 5 - 1
[[[[]],[],[]]]
 => ([(0,5),(1,5),(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)
 => ? = 4 - 1
[[[[]],[[]]]]
 => ([(0,4),(1,3),(3,5),(4,5),(5,2)],6)
 => ([(0,2),(0,3),(2,5),(3,5),(4,1),(5,4)],6)
 => ([(0,1),(0,2),(0,3),(0,4),(1,8),(1,9),(1,10),(2,6),(2,7),(2,10),(3,5),(3,7),(3,9),(4,5),(4,6),(4,8),(5,11),(5,14),(6,11),(6,12),(7,11),(7,13),(8,12),(8,14),(9,13),(9,14),(10,12),(10,13),(11,15),(12,15),(13,15),(14,15)],16)
 => ? = 4 - 1
[[[[],[]],[]]]
 => ([(0,5),(1,4),(2,4),(4,5),(5,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)
 => ? = 4 - 1
[[[[[]]],[]]]
 => ([(0,5),(1,4),(2,5),(4,2),(5,3)],6)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => ([(0,1),(0,2),(0,3),(0,4),(1,8),(1,9),(1,10),(2,6),(2,7),(2,10),(3,5),(3,7),(3,9),(4,5),(4,6),(4,8),(5,11),(5,14),(6,11),(6,12),(7,11),(7,13),(8,12),(8,14),(9,13),(9,14),(10,12),(10,13),(11,15),(12,15),(13,15),(14,15)],16)
 => ? = 5 - 1
[[[[],[],[]]]]
 => ([(0,5),(1,5),(2,5),(3,4),(5,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)
 => ? = 4 - 1
[[[[],[[]]]]]
 => ([(0,5),(1,3),(3,5),(4,2),(5,4)],6)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => ([(0,1),(0,2),(0,3),(0,4),(1,8),(1,9),(1,10),(2,6),(2,7),(2,10),(3,5),(3,7),(3,9),(4,5),(4,6),(4,8),(5,11),(5,14),(6,11),(6,12),(7,11),(7,13),(8,12),(8,14),(9,13),(9,14),(10,12),(10,13),(11,15),(12,15),(13,15),(14,15)],16)
 => ? = 5 - 1
[[[[[]],[]]]]
 => ([(0,5),(1,3),(3,5),(4,2),(5,4)],6)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => ([(0,1),(0,2),(0,3),(0,4),(1,8),(1,9),(1,10),(2,6),(2,7),(2,10),(3,5),(3,7),(3,9),(4,5),(4,6),(4,8),(5,11),(5,14),(6,11),(6,12),(7,11),(7,13),(8,12),(8,14),(9,13),(9,14),(10,12),(10,13),(11,15),(12,15),(13,15),(14,15)],16)
 => ? = 5 - 1
[[[[[],[]]]]]
 => ([(0,5),(1,5),(3,2),(4,3),(5,4)],6)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => ([(0,1),(0,2),(0,3),(0,4),(1,8),(1,9),(1,10),(2,6),(2,7),(2,10),(3,5),(3,7),(3,9),(4,5),(4,6),(4,8),(5,11),(5,14),(6,11),(6,12),(7,11),(7,13),(8,12),(8,14),(9,13),(9,14),(10,12),(10,13),(11,15),(12,15),(13,15),(14,15)],16)
 => ? = 5 - 1
[[[[[[]]]]]]
 => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
 => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
 => ([(0,1),(0,2),(0,3),(0,4),(0,5),(1,12),(1,13),(1,14),(1,15),(2,9),(2,10),(2,11),(2,15),(3,7),(3,8),(3,11),(3,14),(4,6),(4,8),(4,10),(4,13),(5,6),(5,7),(5,9),(5,12),(6,16),(6,19),(6,22),(7,16),(7,17),(7,20),(8,16),(8,18),(8,21),(9,17),(9,19),(9,23),(10,18),(10,19),(10,24),(11,17),(11,18),(11,25),(12,20),(12,22),(12,23),(13,21),(13,22),(13,24),(14,20),(14,21),(14,25),(15,23),(15,24),(15,25),(16,29),(16,30),(17,26),(17,30),(18,27),(18,30),(19,28),(19,30),(20,26),(20,29),(21,27),(21,29),(22,28),(22,29),(23,26),(23,28),(24,27),(24,28),(25,26),(25,27),(26,31),(27,31),(28,31),(29,31),(30,31)],32)
 => ? = 6 - 1
[[],[],[],[],[],[]]
 => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7)
 => ([(0,1)],2)
 => ([(0,1)],2)
 => 1 = 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 = 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 = 3 - 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 = 3 - 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)
 => ? = 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)
 => 2 = 3 - 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)
 => ? = 3 - 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 = 3 - 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)
 => ? = 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)
 => 2 = 3 - 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)
 => ? = 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)
 => ? = 4 - 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)
 => ? = 4 - 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)
 => ? = 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 = 3 - 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)
 => ? = 3 - 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)
 => ? = 3 - 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)
 => ? = 4 - 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)
 => ? = 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)
 => 2 = 3 - 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 = 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 = 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 = 3 - 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 = 3 - 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 = 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 = 3 - 1
[[[],[],[],[],[]]]
 => ([(0,6),(1,6),(2,6),(3,6),(4,6),(6,5)],7)
 => ([(0,2),(2,1)],3)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 2 = 3 - 1
[[],[],[],[],[],[],[]]
 => ([(0,7),(1,7),(2,7),(3,7),(4,7),(5,7),(6,7)],8)
 => ([(0,1)],2)
 => ([(0,1)],2)
 => 1 = 2 - 1

Description

The number of atoms of a lattice. An element of a lattice is an '''atom''' if it covers the least element.

Matching statistic: St001624

Mapping

Mp00047: Ordered trees —to poset⟶ Posets
Mp00205: Posets —maximal antichains⟶ Lattices
Mp00197: Lattices —lattice of congruences⟶ Lattices
St001624: Lattices ⟶ ℤResult quality: 4% ●values known / values provided: 4%●distinct values known / distinct values provided: 29%

Values

[[]]
 => ([(0,1)],2)
 => ([(0,1)],2)
 => ([(0,1)],2)
 => 1 = 2 - 1
[[],[]]
 => ([(0,2),(1,2)],3)
 => ([(0,1)],2)
 => ([(0,1)],2)
 => 1 = 2 - 1
[[[]]]
 => ([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 2 = 3 - 1
[[],[],[]]
 => ([(0,3),(1,3),(2,3)],4)
 => ([(0,1)],2)
 => ([(0,1)],2)
 => 1 = 2 - 1
[[],[[]]]
 => ([(0,3),(1,2),(2,3)],4)
 => ([(0,2),(2,1)],3)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 2 = 3 - 1
[[[]],[]]
 => ([(0,3),(1,2),(2,3)],4)
 => ([(0,2),(2,1)],3)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 2 = 3 - 1
[[[],[]]]
 => ([(0,3),(1,3),(3,2)],4)
 => ([(0,2),(2,1)],3)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 2 = 3 - 1
[[[[]]]]
 => ([(0,3),(2,1),(3,2)],4)
 => ([(0,3),(2,1),(3,2)],4)
 => ([(0,1),(0,2),(0,3),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(4,7),(5,7),(6,7)],8)
 => ? = 4 - 1
[[],[],[],[]]
 => ([(0,4),(1,4),(2,4),(3,4)],5)
 => ([(0,1)],2)
 => ([(0,1)],2)
 => 1 = 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 = 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 = 3 - 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 = 3 - 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)
 => ? = 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)
 => 2 = 3 - 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)
 => ? = 3 - 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 = 3 - 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)
 => ? = 4 - 1
[[[],[],[]]]
 => ([(0,4),(1,4),(2,4),(4,3)],5)
 => ([(0,2),(2,1)],3)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 2 = 3 - 1
[[[],[[]]]]
 => ([(0,4),(1,2),(2,4),(4,3)],5)
 => ([(0,3),(2,1),(3,2)],4)
 => ([(0,1),(0,2),(0,3),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(4,7),(5,7),(6,7)],8)
 => ? = 4 - 1
[[[[]],[]]]
 => ([(0,4),(1,2),(2,4),(4,3)],5)
 => ([(0,3),(2,1),(3,2)],4)
 => ([(0,1),(0,2),(0,3),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(4,7),(5,7),(6,7)],8)
 => ? = 4 - 1
[[[[],[]]]]
 => ([(0,4),(1,4),(2,3),(4,2)],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)
 => ? = 4 - 1
[[[[[]]]]]
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => ([(0,1),(0,2),(0,3),(0,4),(1,8),(1,9),(1,10),(2,6),(2,7),(2,10),(3,5),(3,7),(3,9),(4,5),(4,6),(4,8),(5,11),(5,14),(6,11),(6,12),(7,11),(7,13),(8,12),(8,14),(9,13),(9,14),(10,12),(10,13),(11,15),(12,15),(13,15),(14,15)],16)
 => ? = 5 - 1
[[],[],[],[],[]]
 => ([(0,5),(1,5),(2,5),(3,5),(4,5)],6)
 => ([(0,1)],2)
 => ([(0,1)],2)
 => 1 = 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 = 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 = 3 - 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 = 3 - 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)
 => ? = 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 = 3 - 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)
 => ? = 3 - 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 = 3 - 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)
 => ? = 4 - 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 = 3 - 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)
 => ? = 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)
 => ? = 4 - 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)
 => ? = 4 - 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)
 => ? = 5 - 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 = 3 - 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)
 => ? = 3 - 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)
 => ? = 3 - 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)
 => ? = 4 - 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)
 => ? = 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)
 => 2 = 3 - 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)
 => ? = 4 - 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)
 => ? = 4 - 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)
 => ? = 4 - 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 = 3 - 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)
 => ? = 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)
 => ? = 4 - 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)
 => ? = 4 - 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)
 => ? = 5 - 1
[[[],[],[],[]]]
 => ([(0,5),(1,5),(2,5),(3,5),(5,4)],6)
 => ([(0,2),(2,1)],3)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 2 = 3 - 1
[[[],[],[[]]]]
 => ([(0,5),(1,5),(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)
 => ? = 4 - 1
[[[],[[]],[]]]
 => ([(0,5),(1,5),(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)
 => ? = 4 - 1
[[[],[[],[]]]]
 => ([(0,5),(1,4),(2,4),(4,5),(5,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)
 => ? = 4 - 1
[[[],[[[]]]]]
 => ([(0,5),(1,4),(2,5),(4,2),(5,3)],6)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => ([(0,1),(0,2),(0,3),(0,4),(1,8),(1,9),(1,10),(2,6),(2,7),(2,10),(3,5),(3,7),(3,9),(4,5),(4,6),(4,8),(5,11),(5,14),(6,11),(6,12),(7,11),(7,13),(8,12),(8,14),(9,13),(9,14),(10,12),(10,13),(11,15),(12,15),(13,15),(14,15)],16)
 => ? = 5 - 1
[[[[]],[],[]]]
 => ([(0,5),(1,5),(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)
 => ? = 4 - 1
[[[[]],[[]]]]
 => ([(0,4),(1,3),(3,5),(4,5),(5,2)],6)
 => ([(0,2),(0,3),(2,5),(3,5),(4,1),(5,4)],6)
 => ([(0,1),(0,2),(0,3),(0,4),(1,8),(1,9),(1,10),(2,6),(2,7),(2,10),(3,5),(3,7),(3,9),(4,5),(4,6),(4,8),(5,11),(5,14),(6,11),(6,12),(7,11),(7,13),(8,12),(8,14),(9,13),(9,14),(10,12),(10,13),(11,15),(12,15),(13,15),(14,15)],16)
 => ? = 4 - 1
[[[[],[]],[]]]
 => ([(0,5),(1,4),(2,4),(4,5),(5,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)
 => ? = 4 - 1
[[[[[]]],[]]]
 => ([(0,5),(1,4),(2,5),(4,2),(5,3)],6)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => ([(0,1),(0,2),(0,3),(0,4),(1,8),(1,9),(1,10),(2,6),(2,7),(2,10),(3,5),(3,7),(3,9),(4,5),(4,6),(4,8),(5,11),(5,14),(6,11),(6,12),(7,11),(7,13),(8,12),(8,14),(9,13),(9,14),(10,12),(10,13),(11,15),(12,15),(13,15),(14,15)],16)
 => ? = 5 - 1
[[[[],[],[]]]]
 => ([(0,5),(1,5),(2,5),(3,4),(5,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)
 => ? = 4 - 1
[[[[],[[]]]]]
 => ([(0,5),(1,3),(3,5),(4,2),(5,4)],6)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => ([(0,1),(0,2),(0,3),(0,4),(1,8),(1,9),(1,10),(2,6),(2,7),(2,10),(3,5),(3,7),(3,9),(4,5),(4,6),(4,8),(5,11),(5,14),(6,11),(6,12),(7,11),(7,13),(8,12),(8,14),(9,13),(9,14),(10,12),(10,13),(11,15),(12,15),(13,15),(14,15)],16)
 => ? = 5 - 1
[[[[[]],[]]]]
 => ([(0,5),(1,3),(3,5),(4,2),(5,4)],6)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => ([(0,1),(0,2),(0,3),(0,4),(1,8),(1,9),(1,10),(2,6),(2,7),(2,10),(3,5),(3,7),(3,9),(4,5),(4,6),(4,8),(5,11),(5,14),(6,11),(6,12),(7,11),(7,13),(8,12),(8,14),(9,13),(9,14),(10,12),(10,13),(11,15),(12,15),(13,15),(14,15)],16)
 => ? = 5 - 1
[[[[[],[]]]]]
 => ([(0,5),(1,5),(3,2),(4,3),(5,4)],6)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => ([(0,1),(0,2),(0,3),(0,4),(1,8),(1,9),(1,10),(2,6),(2,7),(2,10),(3,5),(3,7),(3,9),(4,5),(4,6),(4,8),(5,11),(5,14),(6,11),(6,12),(7,11),(7,13),(8,12),(8,14),(9,13),(9,14),(10,12),(10,13),(11,15),(12,15),(13,15),(14,15)],16)
 => ? = 5 - 1
[[[[[[]]]]]]
 => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
 => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
 => ([(0,1),(0,2),(0,3),(0,4),(0,5),(1,12),(1,13),(1,14),(1,15),(2,9),(2,10),(2,11),(2,15),(3,7),(3,8),(3,11),(3,14),(4,6),(4,8),(4,10),(4,13),(5,6),(5,7),(5,9),(5,12),(6,16),(6,19),(6,22),(7,16),(7,17),(7,20),(8,16),(8,18),(8,21),(9,17),(9,19),(9,23),(10,18),(10,19),(10,24),(11,17),(11,18),(11,25),(12,20),(12,22),(12,23),(13,21),(13,22),(13,24),(14,20),(14,21),(14,25),(15,23),(15,24),(15,25),(16,29),(16,30),(17,26),(17,30),(18,27),(18,30),(19,28),(19,30),(20,26),(20,29),(21,27),(21,29),(22,28),(22,29),(23,26),(23,28),(24,27),(24,28),(25,26),(25,27),(26,31),(27,31),(28,31),(29,31),(30,31)],32)
 => ? = 6 - 1
[[],[],[],[],[],[]]
 => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7)
 => ([(0,1)],2)
 => ([(0,1)],2)
 => 1 = 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 = 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 = 3 - 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 = 3 - 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)
 => ? = 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)
 => 2 = 3 - 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)
 => ? = 3 - 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 = 3 - 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)
 => ? = 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)
 => 2 = 3 - 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)
 => ? = 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)
 => ? = 4 - 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)
 => ? = 4 - 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)
 => ? = 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 = 3 - 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)
 => ? = 3 - 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)
 => ? = 3 - 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)
 => ? = 4 - 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)
 => ? = 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)
 => 2 = 3 - 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 = 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 = 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 = 3 - 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 = 3 - 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 = 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 = 3 - 1
[[[],[],[],[],[]]]
 => ([(0,6),(1,6),(2,6),(3,6),(4,6),(6,5)],7)
 => ([(0,2),(2,1)],3)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 2 = 3 - 1
[[],[],[],[],[],[],[]]
 => ([(0,7),(1,7),(2,7),(3,7),(4,7),(5,7),(6,7)],8)
 => ([(0,1)],2)
 => ([(0,1)],2)
 => 1 = 2 - 1

Description

The breadth of a lattice. The '''breadth''' of a lattice is the least integer $b$ such that any join $x_1\vee x_2\vee\cdots\vee x_n$, with $n > b$, can be expressed as a join over a proper subset of $\{x_1,x_2,\ldots,x_n\}$.

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: 3% ●values known / values provided: 3%●distinct values known / distinct values provided: 14%

Values

[[]]
 => ([(0,1)],2)
 => ([(0,1)],2)
 => ([(0,1)],2)
 => ? = 2
[[],[]]
 => ([(0,2),(1,2)],3)
 => ([(0,1)],2)
 => ([(0,1)],2)
 => ? = 2
[[[]]]
 => ([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 3
[[],[],[]]
 => ([(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)
 => 3
[[[]],[]]
 => ([(0,3),(1,2),(2,3)],4)
 => ([(0,2),(2,1)],3)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 3
[[[],[]]]
 => ([(0,3),(1,3),(3,2)],4)
 => ([(0,2),(2,1)],3)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 3
[[[[]]]]
 => ([(0,3),(2,1),(3,2)],4)
 => ([(0,3),(2,1),(3,2)],4)
 => ([(0,1),(0,2),(0,3),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(4,7),(5,7),(6,7)],8)
 => ? = 4
[[],[],[],[]]
 => ([(0,4),(1,4),(2,4),(3,4)],5)
 => ([(0,1)],2)
 => ([(0,1)],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
[[],[[]],[]]
 => ([(0,4),(1,4),(2,3),(3,4)],5)
 => ([(0,2),(2,1)],3)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 3
[[],[[],[]]]
 => ([(0,4),(1,3),(2,3),(3,4)],5)
 => ([(0,2),(2,1)],3)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 3
[[],[[[]]]]
 => ([(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)
 => ? = 4
[[[]],[],[]]
 => ([(0,4),(1,4),(2,3),(3,4)],5)
 => ([(0,2),(2,1)],3)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 3
[[[]],[[]]]
 => ([(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)
 => ? = 3
[[[],[]],[]]
 => ([(0,4),(1,3),(2,3),(3,4)],5)
 => ([(0,2),(2,1)],3)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 3
[[[[]]],[]]
 => ([(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)
 => ? = 4
[[[],[],[]]]
 => ([(0,4),(1,4),(2,4),(4,3)],5)
 => ([(0,2),(2,1)],3)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 3
[[[],[[]]]]
 => ([(0,4),(1,2),(2,4),(4,3)],5)
 => ([(0,3),(2,1),(3,2)],4)
 => ([(0,1),(0,2),(0,3),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(4,7),(5,7),(6,7)],8)
 => ? = 4
[[[[]],[]]]
 => ([(0,4),(1,2),(2,4),(4,3)],5)
 => ([(0,3),(2,1),(3,2)],4)
 => ([(0,1),(0,2),(0,3),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(4,7),(5,7),(6,7)],8)
 => ? = 4
[[[[],[]]]]
 => ([(0,4),(1,4),(2,3),(4,2)],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)
 => ? = 4
[[[[[]]]]]
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => ([(0,1),(0,2),(0,3),(0,4),(1,8),(1,9),(1,10),(2,6),(2,7),(2,10),(3,5),(3,7),(3,9),(4,5),(4,6),(4,8),(5,11),(5,14),(6,11),(6,12),(7,11),(7,13),(8,12),(8,14),(9,13),(9,14),(10,12),(10,13),(11,15),(12,15),(13,15),(14,15)],16)
 => ? = 5
[[],[],[],[],[]]
 => ([(0,5),(1,5),(2,5),(3,5),(4,5)],6)
 => ([(0,1)],2)
 => ([(0,1)],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
[[],[],[[]],[]]
 => ([(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
[[],[],[[],[]]]
 => ([(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
[[],[],[[[]]]]
 => ([(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)
 => ? = 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)
 => 3
[[],[[]],[[]]]
 => ([(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)
 => ? = 3
[[],[[],[]],[]]
 => ([(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
[[],[[[]]],[]]
 => ([(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)
 => ? = 4
[[],[[],[],[]]]
 => ([(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
[[],[[],[[]]]]
 => ([(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)
 => ? = 4
[[],[[[]],[]]]
 => ([(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)
 => ? = 4
[[],[[[],[]]]]
 => ([(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)
 => ? = 4
[[],[[[[]]]]]
 => ([(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)
 => ? = 5
[[[]],[],[],[]]
 => ([(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
[[[]],[],[[]]]
 => ([(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)
 => ? = 3
[[[]],[[]],[]]
 => ([(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)
 => ? = 3
[[[]],[[],[]]]
 => ([(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)
 => ? = 4
[[[]],[[[]]]]
 => ([(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)
 => ? = 4
[[[],[]],[],[]]
 => ([(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
[[[[]]],[],[]]
 => ([(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)
 => ? = 4
[[[],[]],[[]]]
 => ([(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)
 => ? = 4
[[[[]]],[[]]]
 => ([(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)
 => ? = 4
[[[],[],[]],[]]
 => ([(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
[[[],[[]]],[]]
 => ([(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)
 => ? = 4
[[[[]],[]],[]]
 => ([(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)
 => ? = 4
[[[[],[]]],[]]
 => ([(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)
 => ? = 4
[[[[[]]]],[]]
 => ([(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)
 => ? = 5
[[[],[],[],[]]]
 => ([(0,5),(1,5),(2,5),(3,5),(5,4)],6)
 => ([(0,2),(2,1)],3)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 3
[[[],[],[[]]]]
 => ([(0,5),(1,5),(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)
 => ? = 4
[[[],[[]],[]]]
 => ([(0,5),(1,5),(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)
 => ? = 4
[[[],[[],[]]]]
 => ([(0,5),(1,4),(2,4),(4,5),(5,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)
 => ? = 4
[[[],[[[]]]]]
 => ([(0,5),(1,4),(2,5),(4,2),(5,3)],6)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => ([(0,1),(0,2),(0,3),(0,4),(1,8),(1,9),(1,10),(2,6),(2,7),(2,10),(3,5),(3,7),(3,9),(4,5),(4,6),(4,8),(5,11),(5,14),(6,11),(6,12),(7,11),(7,13),(8,12),(8,14),(9,13),(9,14),(10,12),(10,13),(11,15),(12,15),(13,15),(14,15)],16)
 => ? = 5
[[[[]],[],[]]]
 => ([(0,5),(1,5),(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)
 => ? = 4
[[[[]],[[]]]]
 => ([(0,4),(1,3),(3,5),(4,5),(5,2)],6)
 => ([(0,2),(0,3),(2,5),(3,5),(4,1),(5,4)],6)
 => ([(0,1),(0,2),(0,3),(0,4),(1,8),(1,9),(1,10),(2,6),(2,7),(2,10),(3,5),(3,7),(3,9),(4,5),(4,6),(4,8),(5,11),(5,14),(6,11),(6,12),(7,11),(7,13),(8,12),(8,14),(9,13),(9,14),(10,12),(10,13),(11,15),(12,15),(13,15),(14,15)],16)
 => ? = 4
[[[[],[]],[]]]
 => ([(0,5),(1,4),(2,4),(4,5),(5,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)
 => ? = 4
[[[[[]]],[]]]
 => ([(0,5),(1,4),(2,5),(4,2),(5,3)],6)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => ([(0,1),(0,2),(0,3),(0,4),(1,8),(1,9),(1,10),(2,6),(2,7),(2,10),(3,5),(3,7),(3,9),(4,5),(4,6),(4,8),(5,11),(5,14),(6,11),(6,12),(7,11),(7,13),(8,12),(8,14),(9,13),(9,14),(10,12),(10,13),(11,15),(12,15),(13,15),(14,15)],16)
 => ? = 5
[[[[],[],[]]]]
 => ([(0,5),(1,5),(2,5),(3,4),(5,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)
 => ? = 4
[[[[],[[]]]]]
 => ([(0,5),(1,3),(3,5),(4,2),(5,4)],6)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => ([(0,1),(0,2),(0,3),(0,4),(1,8),(1,9),(1,10),(2,6),(2,7),(2,10),(3,5),(3,7),(3,9),(4,5),(4,6),(4,8),(5,11),(5,14),(6,11),(6,12),(7,11),(7,13),(8,12),(8,14),(9,13),(9,14),(10,12),(10,13),(11,15),(12,15),(13,15),(14,15)],16)
 => ? = 5
[[[[[]],[]]]]
 => ([(0,5),(1,3),(3,5),(4,2),(5,4)],6)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => ([(0,1),(0,2),(0,3),(0,4),(1,8),(1,9),(1,10),(2,6),(2,7),(2,10),(3,5),(3,7),(3,9),(4,5),(4,6),(4,8),(5,11),(5,14),(6,11),(6,12),(7,11),(7,13),(8,12),(8,14),(9,13),(9,14),(10,12),(10,13),(11,15),(12,15),(13,15),(14,15)],16)
 => ? = 5
[[[[[],[]]]]]
 => ([(0,5),(1,5),(3,2),(4,3),(5,4)],6)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => ([(0,1),(0,2),(0,3),(0,4),(1,8),(1,9),(1,10),(2,6),(2,7),(2,10),(3,5),(3,7),(3,9),(4,5),(4,6),(4,8),(5,11),(5,14),(6,11),(6,12),(7,11),(7,13),(8,12),(8,14),(9,13),(9,14),(10,12),(10,13),(11,15),(12,15),(13,15),(14,15)],16)
 => ? = 5
[[[[[[]]]]]]
 => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
 => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
 => ([(0,1),(0,2),(0,3),(0,4),(0,5),(1,12),(1,13),(1,14),(1,15),(2,9),(2,10),(2,11),(2,15),(3,7),(3,8),(3,11),(3,14),(4,6),(4,8),(4,10),(4,13),(5,6),(5,7),(5,9),(5,12),(6,16),(6,19),(6,22),(7,16),(7,17),(7,20),(8,16),(8,18),(8,21),(9,17),(9,19),(9,23),(10,18),(10,19),(10,24),(11,17),(11,18),(11,25),(12,20),(12,22),(12,23),(13,21),(13,22),(13,24),(14,20),(14,21),(14,25),(15,23),(15,24),(15,25),(16,29),(16,30),(17,26),(17,30),(18,27),(18,30),(19,28),(19,30),(20,26),(20,29),(21,27),(21,29),(22,28),(22,29),(23,26),(23,28),(24,27),(24,28),(25,26),(25,27),(26,31),(27,31),(28,31),(29,31),(30,31)],32)
 => ? = 6
[[],[],[],[],[],[]]
 => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7)
 => ([(0,1)],2)
 => ([(0,1)],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
[[],[],[],[[]],[]]
 => ([(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
[[],[],[],[[],[]]]
 => ([(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
[[],[],[],[[[]]]]
 => ([(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)
 => ? = 4
[[],[],[[]],[],[]]
 => ([(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
[[],[],[[]],[[]]]
 => ([(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)
 => ? = 3
[[],[],[[],[]],[]]
 => ([(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
[[],[],[[[]]],[]]
 => ([(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)
 => ? = 4
[[],[],[[],[],[]]]
 => ([(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
[[],[],[[],[[]]]]
 => ([(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)
 => ? = 4
[[],[],[[[]],[]]]
 => ([(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)
 => ? = 4
[[],[[]],[],[],[]]
 => ([(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
[[],[[],[]],[],[]]
 => ([(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
[[],[[],[],[]],[]]
 => ([(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
[[],[[],[],[],[]]]
 => ([(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
[[[]],[],[],[],[]]
 => ([(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
[[[],[]],[],[],[]]
 => ([(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
[[[],[],[]],[],[]]
 => ([(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
[[[],[],[],[]],[]]
 => ([(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
[[[],[],[],[],[]]]
 => ([(0,6),(1,6),(2,6),(3,6),(4,6),(6,5)],7)
 => ([(0,2),(2,1)],3)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 3

Description

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

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: 3% ●values known / values provided: 3%●distinct values known / distinct values provided: 14%

Values

[[]]
 => ([(0,1)],2)
 => ([(0,1)],2)
 => ([(0,1)],2)
 => ? = 2 - 1
[[],[]]
 => ([(0,2),(1,2)],3)
 => ([(0,1)],2)
 => ([(0,1)],2)
 => ? = 2 - 1
[[[]]]
 => ([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 2 = 3 - 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 = 3 - 1
[[[]],[]]
 => ([(0,3),(1,2),(2,3)],4)
 => ([(0,2),(2,1)],3)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 2 = 3 - 1
[[[],[]]]
 => ([(0,3),(1,3),(3,2)],4)
 => ([(0,2),(2,1)],3)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 2 = 3 - 1
[[[[]]]]
 => ([(0,3),(2,1),(3,2)],4)
 => ([(0,3),(2,1),(3,2)],4)
 => ([(0,1),(0,2),(0,3),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(4,7),(5,7),(6,7)],8)
 => ? = 4 - 1
[[],[],[],[]]
 => ([(0,4),(1,4),(2,4),(3,4)],5)
 => ([(0,1)],2)
 => ([(0,1)],2)
 => ? = 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 = 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 = 3 - 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 = 3 - 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)
 => ? = 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)
 => 2 = 3 - 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)
 => ? = 3 - 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 = 3 - 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)
 => ? = 4 - 1
[[[],[],[]]]
 => ([(0,4),(1,4),(2,4),(4,3)],5)
 => ([(0,2),(2,1)],3)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 2 = 3 - 1
[[[],[[]]]]
 => ([(0,4),(1,2),(2,4),(4,3)],5)
 => ([(0,3),(2,1),(3,2)],4)
 => ([(0,1),(0,2),(0,3),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(4,7),(5,7),(6,7)],8)
 => ? = 4 - 1
[[[[]],[]]]
 => ([(0,4),(1,2),(2,4),(4,3)],5)
 => ([(0,3),(2,1),(3,2)],4)
 => ([(0,1),(0,2),(0,3),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(4,7),(5,7),(6,7)],8)
 => ? = 4 - 1
[[[[],[]]]]
 => ([(0,4),(1,4),(2,3),(4,2)],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)
 => ? = 4 - 1
[[[[[]]]]]
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => ([(0,1),(0,2),(0,3),(0,4),(1,8),(1,9),(1,10),(2,6),(2,7),(2,10),(3,5),(3,7),(3,9),(4,5),(4,6),(4,8),(5,11),(5,14),(6,11),(6,12),(7,11),(7,13),(8,12),(8,14),(9,13),(9,14),(10,12),(10,13),(11,15),(12,15),(13,15),(14,15)],16)
 => ? = 5 - 1
[[],[],[],[],[]]
 => ([(0,5),(1,5),(2,5),(3,5),(4,5)],6)
 => ([(0,1)],2)
 => ([(0,1)],2)
 => ? = 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 = 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 = 3 - 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 = 3 - 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)
 => ? = 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 = 3 - 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)
 => ? = 3 - 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 = 3 - 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)
 => ? = 4 - 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 = 3 - 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)
 => ? = 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)
 => ? = 4 - 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)
 => ? = 4 - 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)
 => ? = 5 - 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 = 3 - 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)
 => ? = 3 - 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)
 => ? = 3 - 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)
 => ? = 4 - 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)
 => ? = 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)
 => 2 = 3 - 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)
 => ? = 4 - 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)
 => ? = 4 - 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)
 => ? = 4 - 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 = 3 - 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)
 => ? = 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)
 => ? = 4 - 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)
 => ? = 4 - 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)
 => ? = 5 - 1
[[[],[],[],[]]]
 => ([(0,5),(1,5),(2,5),(3,5),(5,4)],6)
 => ([(0,2),(2,1)],3)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 2 = 3 - 1
[[[],[],[[]]]]
 => ([(0,5),(1,5),(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)
 => ? = 4 - 1
[[[],[[]],[]]]
 => ([(0,5),(1,5),(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)
 => ? = 4 - 1
[[[],[[],[]]]]
 => ([(0,5),(1,4),(2,4),(4,5),(5,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)
 => ? = 4 - 1
[[[],[[[]]]]]
 => ([(0,5),(1,4),(2,5),(4,2),(5,3)],6)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => ([(0,1),(0,2),(0,3),(0,4),(1,8),(1,9),(1,10),(2,6),(2,7),(2,10),(3,5),(3,7),(3,9),(4,5),(4,6),(4,8),(5,11),(5,14),(6,11),(6,12),(7,11),(7,13),(8,12),(8,14),(9,13),(9,14),(10,12),(10,13),(11,15),(12,15),(13,15),(14,15)],16)
 => ? = 5 - 1
[[[[]],[],[]]]
 => ([(0,5),(1,5),(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)
 => ? = 4 - 1
[[[[]],[[]]]]
 => ([(0,4),(1,3),(3,5),(4,5),(5,2)],6)
 => ([(0,2),(0,3),(2,5),(3,5),(4,1),(5,4)],6)
 => ([(0,1),(0,2),(0,3),(0,4),(1,8),(1,9),(1,10),(2,6),(2,7),(2,10),(3,5),(3,7),(3,9),(4,5),(4,6),(4,8),(5,11),(5,14),(6,11),(6,12),(7,11),(7,13),(8,12),(8,14),(9,13),(9,14),(10,12),(10,13),(11,15),(12,15),(13,15),(14,15)],16)
 => ? = 4 - 1
[[[[],[]],[]]]
 => ([(0,5),(1,4),(2,4),(4,5),(5,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)
 => ? = 4 - 1
[[[[[]]],[]]]
 => ([(0,5),(1,4),(2,5),(4,2),(5,3)],6)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => ([(0,1),(0,2),(0,3),(0,4),(1,8),(1,9),(1,10),(2,6),(2,7),(2,10),(3,5),(3,7),(3,9),(4,5),(4,6),(4,8),(5,11),(5,14),(6,11),(6,12),(7,11),(7,13),(8,12),(8,14),(9,13),(9,14),(10,12),(10,13),(11,15),(12,15),(13,15),(14,15)],16)
 => ? = 5 - 1
[[[[],[],[]]]]
 => ([(0,5),(1,5),(2,5),(3,4),(5,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)
 => ? = 4 - 1
[[[[],[[]]]]]
 => ([(0,5),(1,3),(3,5),(4,2),(5,4)],6)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => ([(0,1),(0,2),(0,3),(0,4),(1,8),(1,9),(1,10),(2,6),(2,7),(2,10),(3,5),(3,7),(3,9),(4,5),(4,6),(4,8),(5,11),(5,14),(6,11),(6,12),(7,11),(7,13),(8,12),(8,14),(9,13),(9,14),(10,12),(10,13),(11,15),(12,15),(13,15),(14,15)],16)
 => ? = 5 - 1
[[[[[]],[]]]]
 => ([(0,5),(1,3),(3,5),(4,2),(5,4)],6)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => ([(0,1),(0,2),(0,3),(0,4),(1,8),(1,9),(1,10),(2,6),(2,7),(2,10),(3,5),(3,7),(3,9),(4,5),(4,6),(4,8),(5,11),(5,14),(6,11),(6,12),(7,11),(7,13),(8,12),(8,14),(9,13),(9,14),(10,12),(10,13),(11,15),(12,15),(13,15),(14,15)],16)
 => ? = 5 - 1
[[[[[],[]]]]]
 => ([(0,5),(1,5),(3,2),(4,3),(5,4)],6)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => ([(0,1),(0,2),(0,3),(0,4),(1,8),(1,9),(1,10),(2,6),(2,7),(2,10),(3,5),(3,7),(3,9),(4,5),(4,6),(4,8),(5,11),(5,14),(6,11),(6,12),(7,11),(7,13),(8,12),(8,14),(9,13),(9,14),(10,12),(10,13),(11,15),(12,15),(13,15),(14,15)],16)
 => ? = 5 - 1
[[[[[[]]]]]]
 => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
 => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
 => ([(0,1),(0,2),(0,3),(0,4),(0,5),(1,12),(1,13),(1,14),(1,15),(2,9),(2,10),(2,11),(2,15),(3,7),(3,8),(3,11),(3,14),(4,6),(4,8),(4,10),(4,13),(5,6),(5,7),(5,9),(5,12),(6,16),(6,19),(6,22),(7,16),(7,17),(7,20),(8,16),(8,18),(8,21),(9,17),(9,19),(9,23),(10,18),(10,19),(10,24),(11,17),(11,18),(11,25),(12,20),(12,22),(12,23),(13,21),(13,22),(13,24),(14,20),(14,21),(14,25),(15,23),(15,24),(15,25),(16,29),(16,30),(17,26),(17,30),(18,27),(18,30),(19,28),(19,30),(20,26),(20,29),(21,27),(21,29),(22,28),(22,29),(23,26),(23,28),(24,27),(24,28),(25,26),(25,27),(26,31),(27,31),(28,31),(29,31),(30,31)],32)
 => ? = 6 - 1
[[],[],[],[],[],[]]
 => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7)
 => ([(0,1)],2)
 => ([(0,1)],2)
 => ? = 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 = 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 = 3 - 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 = 3 - 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)
 => ? = 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)
 => 2 = 3 - 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)
 => ? = 3 - 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 = 3 - 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)
 => ? = 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)
 => 2 = 3 - 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)
 => ? = 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)
 => ? = 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)
 => 2 = 3 - 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 = 3 - 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 = 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 = 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 = 3 - 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 = 3 - 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 = 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 = 3 - 1
[[[],[],[],[],[]]]
 => ([(0,6),(1,6),(2,6),(3,6),(4,6),(6,5)],7)
 => ([(0,2),(2,1)],3)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 2 = 3 - 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: 3% ●values known / values provided: 3%●distinct values known / distinct values provided: 14%

Values

[[]]
 => ([(0,1)],2)
 => ([(0,1)],2)
 => ([(0,1)],2)
 => ? = 2 - 1
[[],[]]
 => ([(0,2),(1,2)],3)
 => ([(0,1)],2)
 => ([(0,1)],2)
 => ? = 2 - 1
[[[]]]
 => ([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 2 = 3 - 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 = 3 - 1
[[[]],[]]
 => ([(0,3),(1,2),(2,3)],4)
 => ([(0,2),(2,1)],3)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 2 = 3 - 1
[[[],[]]]
 => ([(0,3),(1,3),(3,2)],4)
 => ([(0,2),(2,1)],3)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 2 = 3 - 1
[[[[]]]]
 => ([(0,3),(2,1),(3,2)],4)
 => ([(0,3),(2,1),(3,2)],4)
 => ([(0,1),(0,2),(0,3),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(4,7),(5,7),(6,7)],8)
 => ? = 4 - 1
[[],[],[],[]]
 => ([(0,4),(1,4),(2,4),(3,4)],5)
 => ([(0,1)],2)
 => ([(0,1)],2)
 => ? = 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 = 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 = 3 - 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 = 3 - 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)
 => ? = 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)
 => 2 = 3 - 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)
 => ? = 3 - 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 = 3 - 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)
 => ? = 4 - 1
[[[],[],[]]]
 => ([(0,4),(1,4),(2,4),(4,3)],5)
 => ([(0,2),(2,1)],3)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 2 = 3 - 1
[[[],[[]]]]
 => ([(0,4),(1,2),(2,4),(4,3)],5)
 => ([(0,3),(2,1),(3,2)],4)
 => ([(0,1),(0,2),(0,3),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(4,7),(5,7),(6,7)],8)
 => ? = 4 - 1
[[[[]],[]]]
 => ([(0,4),(1,2),(2,4),(4,3)],5)
 => ([(0,3),(2,1),(3,2)],4)
 => ([(0,1),(0,2),(0,3),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(4,7),(5,7),(6,7)],8)
 => ? = 4 - 1
[[[[],[]]]]
 => ([(0,4),(1,4),(2,3),(4,2)],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)
 => ? = 4 - 1
[[[[[]]]]]
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => ([(0,1),(0,2),(0,3),(0,4),(1,8),(1,9),(1,10),(2,6),(2,7),(2,10),(3,5),(3,7),(3,9),(4,5),(4,6),(4,8),(5,11),(5,14),(6,11),(6,12),(7,11),(7,13),(8,12),(8,14),(9,13),(9,14),(10,12),(10,13),(11,15),(12,15),(13,15),(14,15)],16)
 => ? = 5 - 1
[[],[],[],[],[]]
 => ([(0,5),(1,5),(2,5),(3,5),(4,5)],6)
 => ([(0,1)],2)
 => ([(0,1)],2)
 => ? = 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 = 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 = 3 - 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 = 3 - 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)
 => ? = 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 = 3 - 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)
 => ? = 3 - 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 = 3 - 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)
 => ? = 4 - 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 = 3 - 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)
 => ? = 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)
 => ? = 4 - 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)
 => ? = 4 - 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)
 => ? = 5 - 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 = 3 - 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)
 => ? = 3 - 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)
 => ? = 3 - 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)
 => ? = 4 - 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)
 => ? = 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)
 => 2 = 3 - 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)
 => ? = 4 - 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)
 => ? = 4 - 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)
 => ? = 4 - 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 = 3 - 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)
 => ? = 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)
 => ? = 4 - 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)
 => ? = 4 - 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)
 => ? = 5 - 1
[[[],[],[],[]]]
 => ([(0,5),(1,5),(2,5),(3,5),(5,4)],6)
 => ([(0,2),(2,1)],3)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 2 = 3 - 1
[[[],[],[[]]]]
 => ([(0,5),(1,5),(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)
 => ? = 4 - 1
[[[],[[]],[]]]
 => ([(0,5),(1,5),(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)
 => ? = 4 - 1
[[[],[[],[]]]]
 => ([(0,5),(1,4),(2,4),(4,5),(5,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)
 => ? = 4 - 1
[[[],[[[]]]]]
 => ([(0,5),(1,4),(2,5),(4,2),(5,3)],6)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => ([(0,1),(0,2),(0,3),(0,4),(1,8),(1,9),(1,10),(2,6),(2,7),(2,10),(3,5),(3,7),(3,9),(4,5),(4,6),(4,8),(5,11),(5,14),(6,11),(6,12),(7,11),(7,13),(8,12),(8,14),(9,13),(9,14),(10,12),(10,13),(11,15),(12,15),(13,15),(14,15)],16)
 => ? = 5 - 1
[[[[]],[],[]]]
 => ([(0,5),(1,5),(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)
 => ? = 4 - 1
[[[[]],[[]]]]
 => ([(0,4),(1,3),(3,5),(4,5),(5,2)],6)
 => ([(0,2),(0,3),(2,5),(3,5),(4,1),(5,4)],6)
 => ([(0,1),(0,2),(0,3),(0,4),(1,8),(1,9),(1,10),(2,6),(2,7),(2,10),(3,5),(3,7),(3,9),(4,5),(4,6),(4,8),(5,11),(5,14),(6,11),(6,12),(7,11),(7,13),(8,12),(8,14),(9,13),(9,14),(10,12),(10,13),(11,15),(12,15),(13,15),(14,15)],16)
 => ? = 4 - 1
[[[[],[]],[]]]
 => ([(0,5),(1,4),(2,4),(4,5),(5,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)
 => ? = 4 - 1
[[[[[]]],[]]]
 => ([(0,5),(1,4),(2,5),(4,2),(5,3)],6)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => ([(0,1),(0,2),(0,3),(0,4),(1,8),(1,9),(1,10),(2,6),(2,7),(2,10),(3,5),(3,7),(3,9),(4,5),(4,6),(4,8),(5,11),(5,14),(6,11),(6,12),(7,11),(7,13),(8,12),(8,14),(9,13),(9,14),(10,12),(10,13),(11,15),(12,15),(13,15),(14,15)],16)
 => ? = 5 - 1
[[[[],[],[]]]]
 => ([(0,5),(1,5),(2,5),(3,4),(5,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)
 => ? = 4 - 1
[[[[],[[]]]]]
 => ([(0,5),(1,3),(3,5),(4,2),(5,4)],6)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => ([(0,1),(0,2),(0,3),(0,4),(1,8),(1,9),(1,10),(2,6),(2,7),(2,10),(3,5),(3,7),(3,9),(4,5),(4,6),(4,8),(5,11),(5,14),(6,11),(6,12),(7,11),(7,13),(8,12),(8,14),(9,13),(9,14),(10,12),(10,13),(11,15),(12,15),(13,15),(14,15)],16)
 => ? = 5 - 1
[[[[[]],[]]]]
 => ([(0,5),(1,3),(3,5),(4,2),(5,4)],6)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => ([(0,1),(0,2),(0,3),(0,4),(1,8),(1,9),(1,10),(2,6),(2,7),(2,10),(3,5),(3,7),(3,9),(4,5),(4,6),(4,8),(5,11),(5,14),(6,11),(6,12),(7,11),(7,13),(8,12),(8,14),(9,13),(9,14),(10,12),(10,13),(11,15),(12,15),(13,15),(14,15)],16)
 => ? = 5 - 1
[[[[[],[]]]]]
 => ([(0,5),(1,5),(3,2),(4,3),(5,4)],6)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => ([(0,1),(0,2),(0,3),(0,4),(1,8),(1,9),(1,10),(2,6),(2,7),(2,10),(3,5),(3,7),(3,9),(4,5),(4,6),(4,8),(5,11),(5,14),(6,11),(6,12),(7,11),(7,13),(8,12),(8,14),(9,13),(9,14),(10,12),(10,13),(11,15),(12,15),(13,15),(14,15)],16)
 => ? = 5 - 1
[[[[[[]]]]]]
 => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
 => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
 => ([(0,1),(0,2),(0,3),(0,4),(0,5),(1,12),(1,13),(1,14),(1,15),(2,9),(2,10),(2,11),(2,15),(3,7),(3,8),(3,11),(3,14),(4,6),(4,8),(4,10),(4,13),(5,6),(5,7),(5,9),(5,12),(6,16),(6,19),(6,22),(7,16),(7,17),(7,20),(8,16),(8,18),(8,21),(9,17),(9,19),(9,23),(10,18),(10,19),(10,24),(11,17),(11,18),(11,25),(12,20),(12,22),(12,23),(13,21),(13,22),(13,24),(14,20),(14,21),(14,25),(15,23),(15,24),(15,25),(16,29),(16,30),(17,26),(17,30),(18,27),(18,30),(19,28),(19,30),(20,26),(20,29),(21,27),(21,29),(22,28),(22,29),(23,26),(23,28),(24,27),(24,28),(25,26),(25,27),(26,31),(27,31),(28,31),(29,31),(30,31)],32)
 => ? = 6 - 1
[[],[],[],[],[],[]]
 => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7)
 => ([(0,1)],2)
 => ([(0,1)],2)
 => ? = 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 = 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 = 3 - 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 = 3 - 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)
 => ? = 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)
 => 2 = 3 - 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)
 => ? = 3 - 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 = 3 - 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)
 => ? = 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)
 => 2 = 3 - 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)
 => ? = 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)
 => ? = 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)
 => 2 = 3 - 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 = 3 - 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 = 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 = 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 = 3 - 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 = 3 - 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 = 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 = 3 - 1
[[[],[],[],[],[]]]
 => ([(0,6),(1,6),(2,6),(3,6),(4,6),(6,5)],7)
 => ([(0,2),(2,1)],3)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 2 = 3 - 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: St001877

Mapping

Mp00047: Ordered trees —to poset⟶ Posets
Mp00205: Posets —maximal antichains⟶ Lattices
Mp00197: Lattices —lattice of congruences⟶ Lattices
St001877: Lattices ⟶ ℤResult quality: 3% ●values known / values provided: 3%●distinct values known / distinct values provided: 14%

Values

[[]]
 => ([(0,1)],2)
 => ([(0,1)],2)
 => ([(0,1)],2)
 => ? = 2 - 2
[[],[]]
 => ([(0,2),(1,2)],3)
 => ([(0,1)],2)
 => ([(0,1)],2)
 => ? = 2 - 2
[[[]]]
 => ([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 1 = 3 - 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)
 => 1 = 3 - 2
[[[]],[]]
 => ([(0,3),(1,2),(2,3)],4)
 => ([(0,2),(2,1)],3)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 1 = 3 - 2
[[[],[]]]
 => ([(0,3),(1,3),(3,2)],4)
 => ([(0,2),(2,1)],3)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 1 = 3 - 2
[[[[]]]]
 => ([(0,3),(2,1),(3,2)],4)
 => ([(0,3),(2,1),(3,2)],4)
 => ([(0,1),(0,2),(0,3),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(4,7),(5,7),(6,7)],8)
 => ? = 4 - 2
[[],[],[],[]]
 => ([(0,4),(1,4),(2,4),(3,4)],5)
 => ([(0,1)],2)
 => ([(0,1)],2)
 => ? = 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)
 => 1 = 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)
 => 1 = 3 - 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 = 3 - 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)
 => ? = 4 - 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 = 3 - 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)
 => ? = 3 - 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 = 3 - 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)
 => ? = 4 - 2
[[[],[],[]]]
 => ([(0,4),(1,4),(2,4),(4,3)],5)
 => ([(0,2),(2,1)],3)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 1 = 3 - 2
[[[],[[]]]]
 => ([(0,4),(1,2),(2,4),(4,3)],5)
 => ([(0,3),(2,1),(3,2)],4)
 => ([(0,1),(0,2),(0,3),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(4,7),(5,7),(6,7)],8)
 => ? = 4 - 2
[[[[]],[]]]
 => ([(0,4),(1,2),(2,4),(4,3)],5)
 => ([(0,3),(2,1),(3,2)],4)
 => ([(0,1),(0,2),(0,3),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(4,7),(5,7),(6,7)],8)
 => ? = 4 - 2
[[[[],[]]]]
 => ([(0,4),(1,4),(2,3),(4,2)],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)
 => ? = 4 - 2
[[[[[]]]]]
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => ([(0,1),(0,2),(0,3),(0,4),(1,8),(1,9),(1,10),(2,6),(2,7),(2,10),(3,5),(3,7),(3,9),(4,5),(4,6),(4,8),(5,11),(5,14),(6,11),(6,12),(7,11),(7,13),(8,12),(8,14),(9,13),(9,14),(10,12),(10,13),(11,15),(12,15),(13,15),(14,15)],16)
 => ? = 5 - 2
[[],[],[],[],[]]
 => ([(0,5),(1,5),(2,5),(3,5),(4,5)],6)
 => ([(0,1)],2)
 => ([(0,1)],2)
 => ? = 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)
 => 1 = 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)
 => 1 = 3 - 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 = 3 - 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)
 => ? = 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)
 => 1 = 3 - 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)
 => ? = 3 - 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 = 3 - 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)
 => ? = 4 - 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 = 3 - 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)
 => ? = 4 - 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)
 => ? = 4 - 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)
 => ? = 4 - 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)
 => ? = 5 - 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 = 3 - 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)
 => ? = 3 - 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)
 => ? = 3 - 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)
 => ? = 4 - 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)
 => ? = 4 - 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 = 3 - 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)
 => ? = 4 - 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)
 => ? = 4 - 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)
 => ? = 4 - 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 = 3 - 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)
 => ? = 4 - 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)
 => ? = 4 - 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)
 => ? = 4 - 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)
 => ? = 5 - 2
[[[],[],[],[]]]
 => ([(0,5),(1,5),(2,5),(3,5),(5,4)],6)
 => ([(0,2),(2,1)],3)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 1 = 3 - 2
[[[],[],[[]]]]
 => ([(0,5),(1,5),(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)
 => ? = 4 - 2
[[[],[[]],[]]]
 => ([(0,5),(1,5),(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)
 => ? = 4 - 2
[[[],[[],[]]]]
 => ([(0,5),(1,4),(2,4),(4,5),(5,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)
 => ? = 4 - 2
[[[],[[[]]]]]
 => ([(0,5),(1,4),(2,5),(4,2),(5,3)],6)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => ([(0,1),(0,2),(0,3),(0,4),(1,8),(1,9),(1,10),(2,6),(2,7),(2,10),(3,5),(3,7),(3,9),(4,5),(4,6),(4,8),(5,11),(5,14),(6,11),(6,12),(7,11),(7,13),(8,12),(8,14),(9,13),(9,14),(10,12),(10,13),(11,15),(12,15),(13,15),(14,15)],16)
 => ? = 5 - 2
[[[[]],[],[]]]
 => ([(0,5),(1,5),(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)
 => ? = 4 - 2
[[[[]],[[]]]]
 => ([(0,4),(1,3),(3,5),(4,5),(5,2)],6)
 => ([(0,2),(0,3),(2,5),(3,5),(4,1),(5,4)],6)
 => ([(0,1),(0,2),(0,3),(0,4),(1,8),(1,9),(1,10),(2,6),(2,7),(2,10),(3,5),(3,7),(3,9),(4,5),(4,6),(4,8),(5,11),(5,14),(6,11),(6,12),(7,11),(7,13),(8,12),(8,14),(9,13),(9,14),(10,12),(10,13),(11,15),(12,15),(13,15),(14,15)],16)
 => ? = 4 - 2
[[[[],[]],[]]]
 => ([(0,5),(1,4),(2,4),(4,5),(5,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)
 => ? = 4 - 2
[[[[[]]],[]]]
 => ([(0,5),(1,4),(2,5),(4,2),(5,3)],6)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => ([(0,1),(0,2),(0,3),(0,4),(1,8),(1,9),(1,10),(2,6),(2,7),(2,10),(3,5),(3,7),(3,9),(4,5),(4,6),(4,8),(5,11),(5,14),(6,11),(6,12),(7,11),(7,13),(8,12),(8,14),(9,13),(9,14),(10,12),(10,13),(11,15),(12,15),(13,15),(14,15)],16)
 => ? = 5 - 2
[[[[],[],[]]]]
 => ([(0,5),(1,5),(2,5),(3,4),(5,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)
 => ? = 4 - 2
[[[[],[[]]]]]
 => ([(0,5),(1,3),(3,5),(4,2),(5,4)],6)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => ([(0,1),(0,2),(0,3),(0,4),(1,8),(1,9),(1,10),(2,6),(2,7),(2,10),(3,5),(3,7),(3,9),(4,5),(4,6),(4,8),(5,11),(5,14),(6,11),(6,12),(7,11),(7,13),(8,12),(8,14),(9,13),(9,14),(10,12),(10,13),(11,15),(12,15),(13,15),(14,15)],16)
 => ? = 5 - 2
[[[[[]],[]]]]
 => ([(0,5),(1,3),(3,5),(4,2),(5,4)],6)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => ([(0,1),(0,2),(0,3),(0,4),(1,8),(1,9),(1,10),(2,6),(2,7),(2,10),(3,5),(3,7),(3,9),(4,5),(4,6),(4,8),(5,11),(5,14),(6,11),(6,12),(7,11),(7,13),(8,12),(8,14),(9,13),(9,14),(10,12),(10,13),(11,15),(12,15),(13,15),(14,15)],16)
 => ? = 5 - 2
[[[[[],[]]]]]
 => ([(0,5),(1,5),(3,2),(4,3),(5,4)],6)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => ([(0,1),(0,2),(0,3),(0,4),(1,8),(1,9),(1,10),(2,6),(2,7),(2,10),(3,5),(3,7),(3,9),(4,5),(4,6),(4,8),(5,11),(5,14),(6,11),(6,12),(7,11),(7,13),(8,12),(8,14),(9,13),(9,14),(10,12),(10,13),(11,15),(12,15),(13,15),(14,15)],16)
 => ? = 5 - 2
[[[[[[]]]]]]
 => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
 => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
 => ([(0,1),(0,2),(0,3),(0,4),(0,5),(1,12),(1,13),(1,14),(1,15),(2,9),(2,10),(2,11),(2,15),(3,7),(3,8),(3,11),(3,14),(4,6),(4,8),(4,10),(4,13),(5,6),(5,7),(5,9),(5,12),(6,16),(6,19),(6,22),(7,16),(7,17),(7,20),(8,16),(8,18),(8,21),(9,17),(9,19),(9,23),(10,18),(10,19),(10,24),(11,17),(11,18),(11,25),(12,20),(12,22),(12,23),(13,21),(13,22),(13,24),(14,20),(14,21),(14,25),(15,23),(15,24),(15,25),(16,29),(16,30),(17,26),(17,30),(18,27),(18,30),(19,28),(19,30),(20,26),(20,29),(21,27),(21,29),(22,28),(22,29),(23,26),(23,28),(24,27),(24,28),(25,26),(25,27),(26,31),(27,31),(28,31),(29,31),(30,31)],32)
 => ? = 6 - 2
[[],[],[],[],[],[]]
 => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7)
 => ([(0,1)],2)
 => ([(0,1)],2)
 => ? = 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)
 => 1 = 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)
 => 1 = 3 - 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 = 3 - 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)
 => ? = 4 - 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 = 3 - 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)
 => ? = 3 - 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 = 3 - 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)
 => ? = 4 - 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 = 3 - 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)
 => ? = 4 - 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)
 => ? = 4 - 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 = 3 - 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 = 3 - 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 = 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)
 => 1 = 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)
 => 1 = 3 - 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 = 3 - 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 = 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)
 => 1 = 3 - 2
[[[],[],[],[],[]]]
 => ([(0,6),(1,6),(2,6),(3,6),(4,6),(6,5)],7)
 => ([(0,2),(2,1)],3)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 1 = 3 - 2

Description

Number of indecomposable injective modules with projective dimension 2.

Matching statistic: St001526
(load all 2 compositions to match this statistic)

Mapping

Mp00051: Ordered trees —to Dyck path⟶ Dyck paths
Mp00199: Dyck paths —prime Dyck path⟶ Dyck paths
Mp00222: Dyck paths —peaks-to-valleys⟶ Dyck paths
St001526: Dyck paths ⟶ ℤResult quality: 2% ●values known / values provided: 2%●distinct values known / distinct values provided: 57%

Values

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

Description

The Loewy length of the Auslander-Reiten translate of the regular module as a bimodule of the Nakayama algebra corresponding to the Dyck path.

Matching statistic: St001589

Mapping

Mp00051: Ordered trees —to Dyck path⟶ Dyck paths
Mp00199: Dyck paths —prime Dyck path⟶ Dyck paths
Mp00146: Dyck paths —to tunnel matching⟶ Perfect matchings
St001589: Perfect matchings ⟶ ℤResult quality: 2% ●values known / values provided: 2%●distinct values known / distinct values provided: 57%

Values

[[]]
 => [1,0]
 => [1,1,0,0]
 => [(1,4),(2,3)]
 => 2
[[],[]]
 => [1,0,1,0]
 => [1,1,0,1,0,0]
 => [(1,6),(2,3),(4,5)]
 => 2
[[[]]]
 => [1,1,0,0]
 => [1,1,1,0,0,0]
 => [(1,6),(2,5),(3,4)]
 => 3
[[],[],[]]
 => [1,0,1,0,1,0]
 => [1,1,0,1,0,1,0,0]
 => [(1,8),(2,3),(4,5),(6,7)]
 => 2
[[],[[]]]
 => [1,0,1,1,0,0]
 => [1,1,0,1,1,0,0,0]
 => [(1,8),(2,3),(4,7),(5,6)]
 => 3
[[[]],[]]
 => [1,1,0,0,1,0]
 => [1,1,1,0,0,1,0,0]
 => [(1,8),(2,5),(3,4),(6,7)]
 => 3
[[[],[]]]
 => [1,1,0,1,0,0]
 => [1,1,1,0,1,0,0,0]
 => [(1,8),(2,7),(3,4),(5,6)]
 => 3
[[[[]]]]
 => [1,1,1,0,0,0]
 => [1,1,1,1,0,0,0,0]
 => [(1,8),(2,7),(3,6),(4,5)]
 => 4
[[],[],[],[]]
 => [1,0,1,0,1,0,1,0]
 => [1,1,0,1,0,1,0,1,0,0]
 => [(1,10),(2,3),(4,5),(6,7),(8,9)]
 => 2
[[],[],[[]]]
 => [1,0,1,0,1,1,0,0]
 => [1,1,0,1,0,1,1,0,0,0]
 => [(1,10),(2,3),(4,5),(6,9),(7,8)]
 => 3
[[],[[]],[]]
 => [1,0,1,1,0,0,1,0]
 => [1,1,0,1,1,0,0,1,0,0]
 => [(1,10),(2,3),(4,7),(5,6),(8,9)]
 => 3
[[],[[],[]]]
 => [1,0,1,1,0,1,0,0]
 => [1,1,0,1,1,0,1,0,0,0]
 => [(1,10),(2,3),(4,9),(5,6),(7,8)]
 => 3
[[],[[[]]]]
 => [1,0,1,1,1,0,0,0]
 => [1,1,0,1,1,1,0,0,0,0]
 => [(1,10),(2,3),(4,9),(5,8),(6,7)]
 => 4
[[[]],[],[]]
 => [1,1,0,0,1,0,1,0]
 => [1,1,1,0,0,1,0,1,0,0]
 => [(1,10),(2,5),(3,4),(6,7),(8,9)]
 => 3
[[[]],[[]]]
 => [1,1,0,0,1,1,0,0]
 => [1,1,1,0,0,1,1,0,0,0]
 => [(1,10),(2,5),(3,4),(6,9),(7,8)]
 => 3
[[[],[]],[]]
 => [1,1,0,1,0,0,1,0]
 => [1,1,1,0,1,0,0,1,0,0]
 => [(1,10),(2,7),(3,4),(5,6),(8,9)]
 => 3
[[[[]]],[]]
 => [1,1,1,0,0,0,1,0]
 => [1,1,1,1,0,0,0,1,0,0]
 => [(1,10),(2,7),(3,6),(4,5),(8,9)]
 => 4
[[[],[],[]]]
 => [1,1,0,1,0,1,0,0]
 => [1,1,1,0,1,0,1,0,0,0]
 => [(1,10),(2,9),(3,4),(5,6),(7,8)]
 => 3
[[[],[[]]]]
 => [1,1,0,1,1,0,0,0]
 => [1,1,1,0,1,1,0,0,0,0]
 => [(1,10),(2,9),(3,4),(5,8),(6,7)]
 => 4
[[[[]],[]]]
 => [1,1,1,0,0,1,0,0]
 => [1,1,1,1,0,0,1,0,0,0]
 => [(1,10),(2,9),(3,6),(4,5),(7,8)]
 => 4
[[[[],[]]]]
 => [1,1,1,0,1,0,0,0]
 => [1,1,1,1,0,1,0,0,0,0]
 => [(1,10),(2,9),(3,8),(4,5),(6,7)]
 => 4
[[[[[]]]]]
 => [1,1,1,1,0,0,0,0]
 => [1,1,1,1,1,0,0,0,0,0]
 => [(1,10),(2,9),(3,8),(4,7),(5,6)]
 => 5
[[],[],[],[],[]]
 => [1,0,1,0,1,0,1,0,1,0]
 => [1,1,0,1,0,1,0,1,0,1,0,0]
 => [(1,12),(2,3),(4,5),(6,7),(8,9),(10,11)]
 => ? = 2
[[],[],[],[[]]]
 => [1,0,1,0,1,0,1,1,0,0]
 => [1,1,0,1,0,1,0,1,1,0,0,0]
 => [(1,12),(2,3),(4,5),(6,7),(8,11),(9,10)]
 => ? = 3
[[],[],[[]],[]]
 => [1,0,1,0,1,1,0,0,1,0]
 => [1,1,0,1,0,1,1,0,0,1,0,0]
 => [(1,12),(2,3),(4,5),(6,9),(7,8),(10,11)]
 => ? = 3
[[],[],[[],[]]]
 => [1,0,1,0,1,1,0,1,0,0]
 => [1,1,0,1,0,1,1,0,1,0,0,0]
 => [(1,12),(2,3),(4,5),(6,11),(7,8),(9,10)]
 => ? = 3
[[],[],[[[]]]]
 => [1,0,1,0,1,1,1,0,0,0]
 => [1,1,0,1,0,1,1,1,0,0,0,0]
 => [(1,12),(2,3),(4,5),(6,11),(7,10),(8,9)]
 => ? = 4
[[],[[]],[],[]]
 => [1,0,1,1,0,0,1,0,1,0]
 => [1,1,0,1,1,0,0,1,0,1,0,0]
 => [(1,12),(2,3),(4,7),(5,6),(8,9),(10,11)]
 => ? = 3
[[],[[]],[[]]]
 => [1,0,1,1,0,0,1,1,0,0]
 => [1,1,0,1,1,0,0,1,1,0,0,0]
 => [(1,12),(2,3),(4,7),(5,6),(8,11),(9,10)]
 => ? = 3
[[],[[],[]],[]]
 => [1,0,1,1,0,1,0,0,1,0]
 => [1,1,0,1,1,0,1,0,0,1,0,0]
 => [(1,12),(2,3),(4,9),(5,6),(7,8),(10,11)]
 => ? = 3
[[],[[[]]],[]]
 => [1,0,1,1,1,0,0,0,1,0]
 => [1,1,0,1,1,1,0,0,0,1,0,0]
 => [(1,12),(2,3),(4,9),(5,8),(6,7),(10,11)]
 => ? = 4
[[],[[],[],[]]]
 => [1,0,1,1,0,1,0,1,0,0]
 => [1,1,0,1,1,0,1,0,1,0,0,0]
 => [(1,12),(2,3),(4,11),(5,6),(7,8),(9,10)]
 => ? = 3
[[],[[],[[]]]]
 => [1,0,1,1,0,1,1,0,0,0]
 => [1,1,0,1,1,0,1,1,0,0,0,0]
 => [(1,12),(2,3),(4,11),(5,6),(7,10),(8,9)]
 => ? = 4
[[],[[[]],[]]]
 => [1,0,1,1,1,0,0,1,0,0]
 => [1,1,0,1,1,1,0,0,1,0,0,0]
 => [(1,12),(2,3),(4,11),(5,8),(6,7),(9,10)]
 => ? = 4
[[],[[[],[]]]]
 => [1,0,1,1,1,0,1,0,0,0]
 => [1,1,0,1,1,1,0,1,0,0,0,0]
 => [(1,12),(2,3),(4,11),(5,10),(6,7),(8,9)]
 => ? = 4
[[],[[[[]]]]]
 => [1,0,1,1,1,1,0,0,0,0]
 => [1,1,0,1,1,1,1,0,0,0,0,0]
 => [(1,12),(2,3),(4,11),(5,10),(6,9),(7,8)]
 => ? = 5
[[[]],[],[],[]]
 => [1,1,0,0,1,0,1,0,1,0]
 => [1,1,1,0,0,1,0,1,0,1,0,0]
 => [(1,12),(2,5),(3,4),(6,7),(8,9),(10,11)]
 => ? = 3
[[[]],[],[[]]]
 => [1,1,0,0,1,0,1,1,0,0]
 => [1,1,1,0,0,1,0,1,1,0,0,0]
 => [(1,12),(2,5),(3,4),(6,7),(8,11),(9,10)]
 => ? = 3
[[[]],[[]],[]]
 => [1,1,0,0,1,1,0,0,1,0]
 => [1,1,1,0,0,1,1,0,0,1,0,0]
 => [(1,12),(2,5),(3,4),(6,9),(7,8),(10,11)]
 => ? = 3
[[[]],[[],[]]]
 => [1,1,0,0,1,1,0,1,0,0]
 => [1,1,1,0,0,1,1,0,1,0,0,0]
 => [(1,12),(2,5),(3,4),(6,11),(7,8),(9,10)]
 => ? = 4
[[[]],[[[]]]]
 => [1,1,0,0,1,1,1,0,0,0]
 => [1,1,1,0,0,1,1,1,0,0,0,0]
 => [(1,12),(2,5),(3,4),(6,11),(7,10),(8,9)]
 => ? = 4
[[[],[]],[],[]]
 => [1,1,0,1,0,0,1,0,1,0]
 => [1,1,1,0,1,0,0,1,0,1,0,0]
 => [(1,12),(2,7),(3,4),(5,6),(8,9),(10,11)]
 => ? = 3
[[[[]]],[],[]]
 => [1,1,1,0,0,0,1,0,1,0]
 => [1,1,1,1,0,0,0,1,0,1,0,0]
 => [(1,12),(2,7),(3,6),(4,5),(8,9),(10,11)]
 => ? = 4
[[[],[]],[[]]]
 => [1,1,0,1,0,0,1,1,0,0]
 => [1,1,1,0,1,0,0,1,1,0,0,0]
 => [(1,12),(2,7),(3,4),(5,6),(8,11),(9,10)]
 => ? = 4
[[[[]]],[[]]]
 => [1,1,1,0,0,0,1,1,0,0]
 => [1,1,1,1,0,0,0,1,1,0,0,0]
 => [(1,12),(2,7),(3,6),(4,5),(8,11),(9,10)]
 => ? = 4
[[[],[],[]],[]]
 => [1,1,0,1,0,1,0,0,1,0]
 => [1,1,1,0,1,0,1,0,0,1,0,0]
 => [(1,12),(2,9),(3,4),(5,6),(7,8),(10,11)]
 => ? = 3
[[[],[[]]],[]]
 => [1,1,0,1,1,0,0,0,1,0]
 => [1,1,1,0,1,1,0,0,0,1,0,0]
 => [(1,12),(2,9),(3,4),(5,8),(6,7),(10,11)]
 => ? = 4
[[[[]],[]],[]]
 => [1,1,1,0,0,1,0,0,1,0]
 => [1,1,1,1,0,0,1,0,0,1,0,0]
 => [(1,12),(2,9),(3,6),(4,5),(7,8),(10,11)]
 => ? = 4
[[[[],[]]],[]]
 => [1,1,1,0,1,0,0,0,1,0]
 => [1,1,1,1,0,1,0,0,0,1,0,0]
 => [(1,12),(2,9),(3,8),(4,5),(6,7),(10,11)]
 => ? = 4
[[[[[]]]],[]]
 => [1,1,1,1,0,0,0,0,1,0]
 => [1,1,1,1,1,0,0,0,0,1,0,0]
 => [(1,12),(2,9),(3,8),(4,7),(5,6),(10,11)]
 => ? = 5
[[[],[],[],[]]]
 => [1,1,0,1,0,1,0,1,0,0]
 => [1,1,1,0,1,0,1,0,1,0,0,0]
 => [(1,12),(2,11),(3,4),(5,6),(7,8),(9,10)]
 => ? = 3
[[[],[],[[]]]]
 => [1,1,0,1,0,1,1,0,0,0]
 => [1,1,1,0,1,0,1,1,0,0,0,0]
 => [(1,12),(2,11),(3,4),(5,6),(7,10),(8,9)]
 => ? = 4
[[[],[[]],[]]]
 => [1,1,0,1,1,0,0,1,0,0]
 => [1,1,1,0,1,1,0,0,1,0,0,0]
 => [(1,12),(2,11),(3,4),(5,8),(6,7),(9,10)]
 => ? = 4
[[[],[[],[]]]]
 => [1,1,0,1,1,0,1,0,0,0]
 => [1,1,1,0,1,1,0,1,0,0,0,0]
 => [(1,12),(2,11),(3,4),(5,10),(6,7),(8,9)]
 => ? = 4
[[[],[[[]]]]]
 => [1,1,0,1,1,1,0,0,0,0]
 => [1,1,1,0,1,1,1,0,0,0,0,0]
 => [(1,12),(2,11),(3,4),(5,10),(6,9),(7,8)]
 => ? = 5
[[[[]],[],[]]]
 => [1,1,1,0,0,1,0,1,0,0]
 => [1,1,1,1,0,0,1,0,1,0,0,0]
 => [(1,12),(2,11),(3,6),(4,5),(7,8),(9,10)]
 => ? = 4
[[[[]],[[]]]]
 => [1,1,1,0,0,1,1,0,0,0]
 => [1,1,1,1,0,0,1,1,0,0,0,0]
 => [(1,12),(2,11),(3,6),(4,5),(7,10),(8,9)]
 => ? = 4
[[[[],[]],[]]]
 => [1,1,1,0,1,0,0,1,0,0]
 => [1,1,1,1,0,1,0,0,1,0,0,0]
 => [(1,12),(2,11),(3,8),(4,5),(6,7),(9,10)]
 => ? = 4
[[[[[]]],[]]]
 => [1,1,1,1,0,0,0,1,0,0]
 => [1,1,1,1,1,0,0,0,1,0,0,0]
 => [(1,12),(2,11),(3,8),(4,7),(5,6),(9,10)]
 => ? = 5
[[[[],[],[]]]]
 => [1,1,1,0,1,0,1,0,0,0]
 => [1,1,1,1,0,1,0,1,0,0,0,0]
 => [(1,12),(2,11),(3,10),(4,5),(6,7),(8,9)]
 => ? = 4
[[[[],[[]]]]]
 => [1,1,1,0,1,1,0,0,0,0]
 => [1,1,1,1,0,1,1,0,0,0,0,0]
 => [(1,12),(2,11),(3,10),(4,5),(6,9),(7,8)]
 => ? = 5
[[[[[]],[]]]]
 => [1,1,1,1,0,0,1,0,0,0]
 => [1,1,1,1,1,0,0,1,0,0,0,0]
 => [(1,12),(2,11),(3,10),(4,7),(5,6),(8,9)]
 => ? = 5
[[[[[],[]]]]]
 => [1,1,1,1,0,1,0,0,0,0]
 => [1,1,1,1,1,0,1,0,0,0,0,0]
 => [(1,12),(2,11),(3,10),(4,9),(5,6),(7,8)]
 => ? = 5
[[[[[[]]]]]]
 => [1,1,1,1,1,0,0,0,0,0]
 => [1,1,1,1,1,1,0,0,0,0,0,0]
 => [(1,12),(2,11),(3,10),(4,9),(5,8),(6,7)]
 => ? = 6
[[],[],[],[],[],[]]
 => [1,0,1,0,1,0,1,0,1,0,1,0]
 => [1,1,0,1,0,1,0,1,0,1,0,1,0,0]
 => [(1,14),(2,3),(4,5),(6,7),(8,9),(10,11),(12,13)]
 => ? = 2
[[],[],[],[],[[]]]
 => [1,0,1,0,1,0,1,0,1,1,0,0]
 => [1,1,0,1,0,1,0,1,0,1,1,0,0,0]
 => [(1,14),(2,3),(4,5),(6,7),(8,9),(10,13),(11,12)]
 => ? = 3
[[],[],[],[[]],[]]
 => [1,0,1,0,1,0,1,1,0,0,1,0]
 => [1,1,0,1,0,1,0,1,1,0,0,1,0,0]
 => [(1,14),(2,3),(4,5),(6,7),(8,11),(9,10),(12,13)]
 => ? = 3
[[],[],[],[[],[]]]
 => [1,0,1,0,1,0,1,1,0,1,0,0]
 => [1,1,0,1,0,1,0,1,1,0,1,0,0,0]
 => [(1,14),(2,3),(4,5),(6,7),(8,13),(9,10),(11,12)]
 => ? = 3
[[],[],[],[[[]]]]
 => [1,0,1,0,1,0,1,1,1,0,0,0]
 => [1,1,0,1,0,1,0,1,1,1,0,0,0,0]
 => [(1,14),(2,3),(4,5),(6,7),(8,13),(9,12),(10,11)]
 => ? = 4
[[],[],[[]],[],[]]
 => [1,0,1,0,1,1,0,0,1,0,1,0]
 => [1,1,0,1,0,1,1,0,0,1,0,1,0,0]
 => [(1,14),(2,3),(4,5),(6,9),(7,8),(10,11),(12,13)]
 => ? = 3
[[],[],[[]],[[]]]
 => [1,0,1,0,1,1,0,0,1,1,0,0]
 => [1,1,0,1,0,1,1,0,0,1,1,0,0,0]
 => [(1,14),(2,3),(4,5),(6,9),(7,8),(10,13),(11,12)]
 => ? = 3
[[],[],[[],[]],[]]
 => [1,0,1,0,1,1,0,1,0,0,1,0]
 => [1,1,0,1,0,1,1,0,1,0,0,1,0,0]
 => [(1,14),(2,3),(4,5),(6,11),(7,8),(9,10),(12,13)]
 => ? = 3

Description

The nesting number of a perfect matching. This is the maximal number of chords in the standard representation of a perfect matching that mutually nest.

Matching statistic: St000299

Mapping

Mp00047: Ordered trees —to poset⟶ Posets
Mp00198: Posets —incomparability graph⟶ Graphs
Mp00203: Graphs —cone⟶ Graphs
St000299: Graphs ⟶ ℤResult quality: 2% ●values known / values provided: 2%●distinct values known / distinct values provided: 57%

Values

[[]]
 => ([(0,1)],2)
 => ([],2)
 => ([(0,2),(1,2)],3)
 => 3 = 2 + 1
[[],[]]
 => ([(0,2),(1,2)],3)
 => ([(1,2)],3)
 => ([(0,3),(1,2),(1,3),(2,3)],4)
 => 3 = 2 + 1
[[[]]]
 => ([(0,2),(2,1)],3)
 => ([],3)
 => ([(0,3),(1,3),(2,3)],4)
 => 4 = 3 + 1
[[],[],[]]
 => ([(0,3),(1,3),(2,3)],4)
 => ([(1,2),(1,3),(2,3)],4)
 => ([(0,4),(1,2),(1,3),(1,4),(2,3),(2,4),(3,4)],5)
 => 3 = 2 + 1
[[],[[]]]
 => ([(0,3),(1,2),(2,3)],4)
 => ([(1,3),(2,3)],4)
 => ([(0,4),(1,3),(1,4),(2,3),(2,4),(3,4)],5)
 => 4 = 3 + 1
[[[]],[]]
 => ([(0,3),(1,2),(2,3)],4)
 => ([(1,3),(2,3)],4)
 => ([(0,4),(1,3),(1,4),(2,3),(2,4),(3,4)],5)
 => 4 = 3 + 1
[[[],[]]]
 => ([(0,3),(1,3),(3,2)],4)
 => ([(2,3)],4)
 => ([(0,4),(1,4),(2,3),(2,4),(3,4)],5)
 => 4 = 3 + 1
[[[[]]]]
 => ([(0,3),(2,1),(3,2)],4)
 => ([],4)
 => ([(0,4),(1,4),(2,4),(3,4)],5)
 => 5 = 4 + 1
[[],[],[],[]]
 => ([(0,4),(1,4),(2,4),(3,4)],5)
 => ([(1,2),(1,3),(1,4),(2,3),(2,4),(3,4)],5)
 => ([(0,5),(1,2),(1,3),(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6)
 => 3 = 2 + 1
[[],[],[[]]]
 => ([(0,4),(1,4),(2,3),(3,4)],5)
 => ([(1,3),(1,4),(2,3),(2,4),(3,4)],5)
 => ([(0,5),(1,3),(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6)
 => 4 = 3 + 1
[[],[[]],[]]
 => ([(0,4),(1,4),(2,3),(3,4)],5)
 => ([(1,3),(1,4),(2,3),(2,4),(3,4)],5)
 => ([(0,5),(1,3),(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6)
 => 4 = 3 + 1
[[],[[],[]]]
 => ([(0,4),(1,3),(2,3),(3,4)],5)
 => ([(1,4),(2,3),(2,4),(3,4)],5)
 => ([(0,5),(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6)
 => 4 = 3 + 1
[[],[[[]]]]
 => ([(0,4),(1,2),(2,3),(3,4)],5)
 => ([(1,4),(2,4),(3,4)],5)
 => ([(0,5),(1,4),(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6)
 => 5 = 4 + 1
[[[]],[],[]]
 => ([(0,4),(1,4),(2,3),(3,4)],5)
 => ([(1,3),(1,4),(2,3),(2,4),(3,4)],5)
 => ([(0,5),(1,3),(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6)
 => 4 = 3 + 1
[[[]],[[]]]
 => ([(0,3),(1,2),(2,4),(3,4)],5)
 => ([(1,3),(1,4),(2,3),(2,4)],5)
 => ([(0,5),(1,3),(1,4),(1,5),(2,3),(2,4),(2,5),(3,5),(4,5)],6)
 => 4 = 3 + 1
[[[],[]],[]]
 => ([(0,4),(1,3),(2,3),(3,4)],5)
 => ([(1,4),(2,3),(2,4),(3,4)],5)
 => ([(0,5),(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6)
 => 4 = 3 + 1
[[[[]]],[]]
 => ([(0,4),(1,2),(2,3),(3,4)],5)
 => ([(1,4),(2,4),(3,4)],5)
 => ([(0,5),(1,4),(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6)
 => 5 = 4 + 1
[[[],[],[]]]
 => ([(0,4),(1,4),(2,4),(4,3)],5)
 => ([(2,3),(2,4),(3,4)],5)
 => ([(0,5),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6)
 => 4 = 3 + 1
[[[],[[]]]]
 => ([(0,4),(1,2),(2,4),(4,3)],5)
 => ([(2,4),(3,4)],5)
 => ([(0,5),(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6)
 => 5 = 4 + 1
[[[[]],[]]]
 => ([(0,4),(1,2),(2,4),(4,3)],5)
 => ([(2,4),(3,4)],5)
 => ([(0,5),(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6)
 => 5 = 4 + 1
[[[[],[]]]]
 => ([(0,4),(1,4),(2,3),(4,2)],5)
 => ([(3,4)],5)
 => ([(0,5),(1,5),(2,5),(3,4),(3,5),(4,5)],6)
 => 5 = 4 + 1
[[[[[]]]]]
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => ([],5)
 => ([(0,5),(1,5),(2,5),(3,5),(4,5)],6)
 => 6 = 5 + 1
[[],[],[],[],[]]
 => ([(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)
 => ([(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 + 1
[[],[],[],[[]]]
 => ([(0,5),(1,5),(2,5),(3,4),(4,5)],6)
 => ([(1,3),(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6)
 => ([(0,6),(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)
 => ? = 3 + 1
[[],[],[[]],[]]
 => ([(0,5),(1,5),(2,5),(3,4),(4,5)],6)
 => ([(1,3),(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6)
 => ([(0,6),(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)
 => ? = 3 + 1
[[],[],[[],[]]]
 => ([(0,5),(1,5),(2,4),(3,4),(4,5)],6)
 => ([(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6)
 => ([(0,6),(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)
 => ? = 3 + 1
[[],[],[[[]]]]
 => ([(0,5),(1,5),(2,3),(3,4),(4,5)],6)
 => ([(1,4),(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6)
 => ([(0,6),(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
 => ? = 4 + 1
[[],[[]],[],[]]
 => ([(0,5),(1,5),(2,5),(3,4),(4,5)],6)
 => ([(1,3),(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6)
 => ([(0,6),(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)
 => ? = 3 + 1
[[],[[]],[[]]]
 => ([(0,5),(1,4),(2,3),(3,5),(4,5)],6)
 => ([(1,3),(1,4),(1,5),(2,3),(2,4),(2,5),(3,5),(4,5)],6)
 => ([(0,6),(1,3),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
 => ? = 3 + 1
[[],[[],[]],[]]
 => ([(0,5),(1,5),(2,4),(3,4),(4,5)],6)
 => ([(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6)
 => ([(0,6),(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)
 => ? = 3 + 1
[[],[[[]]],[]]
 => ([(0,5),(1,5),(2,3),(3,4),(4,5)],6)
 => ([(1,4),(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6)
 => ([(0,6),(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
 => ? = 4 + 1
[[],[[],[],[]]]
 => ([(0,5),(1,5),(2,5),(3,4),(5,4)],6)
 => ([(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6)
 => ([(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)
 => ? = 3 + 1
[[],[[],[[]]]]
 => ([(0,5),(1,4),(2,3),(3,5),(5,4)],6)
 => ([(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6)
 => ([(0,6),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
 => ? = 4 + 1
[[],[[[]],[]]]
 => ([(0,5),(1,4),(2,3),(3,5),(5,4)],6)
 => ([(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6)
 => ([(0,6),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
 => ? = 4 + 1
[[],[[[],[]]]]
 => ([(0,5),(1,4),(2,4),(3,5),(4,3)],6)
 => ([(1,5),(2,5),(3,4),(3,5),(4,5)],6)
 => ([(0,6),(1,5),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
 => ? = 4 + 1
[[],[[[[]]]]]
 => ([(0,5),(1,4),(2,5),(3,2),(4,3)],6)
 => ([(1,5),(2,5),(3,5),(4,5)],6)
 => ([(0,6),(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
 => ? = 5 + 1
[[[]],[],[],[]]
 => ([(0,5),(1,5),(2,5),(3,4),(4,5)],6)
 => ([(1,3),(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6)
 => ([(0,6),(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)
 => ? = 3 + 1
[[[]],[],[[]]]
 => ([(0,5),(1,4),(2,3),(3,5),(4,5)],6)
 => ([(1,3),(1,4),(1,5),(2,3),(2,4),(2,5),(3,5),(4,5)],6)
 => ([(0,6),(1,3),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
 => ? = 3 + 1
[[[]],[[]],[]]
 => ([(0,5),(1,4),(2,3),(3,5),(4,5)],6)
 => ([(1,3),(1,4),(1,5),(2,3),(2,4),(2,5),(3,5),(4,5)],6)
 => ([(0,6),(1,3),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
 => ? = 3 + 1
[[[]],[[],[]]]
 => ([(0,4),(1,4),(2,3),(3,5),(4,5)],6)
 => ([(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5)],6)
 => ([(0,6),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7)
 => ? = 4 + 1
[[[]],[[[]]]]
 => ([(0,3),(1,4),(2,5),(3,5),(4,2)],6)
 => ([(1,4),(1,5),(2,4),(2,5),(3,4),(3,5)],6)
 => ([(0,6),(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7)
 => ? = 4 + 1
[[[],[]],[],[]]
 => ([(0,5),(1,5),(2,4),(3,4),(4,5)],6)
 => ([(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6)
 => ([(0,6),(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)
 => ? = 3 + 1
[[[[]]],[],[]]
 => ([(0,5),(1,5),(2,3),(3,4),(4,5)],6)
 => ([(1,4),(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6)
 => ([(0,6),(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
 => ? = 4 + 1
[[[],[]],[[]]]
 => ([(0,4),(1,4),(2,3),(3,5),(4,5)],6)
 => ([(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5)],6)
 => ([(0,6),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7)
 => ? = 4 + 1
[[[[]]],[[]]]
 => ([(0,3),(1,4),(2,5),(3,5),(4,2)],6)
 => ([(1,4),(1,5),(2,4),(2,5),(3,4),(3,5)],6)
 => ([(0,6),(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7)
 => ? = 4 + 1
[[[],[],[]],[]]
 => ([(0,5),(1,5),(2,5),(3,4),(5,4)],6)
 => ([(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6)
 => ([(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)
 => ? = 3 + 1
[[[],[[]]],[]]
 => ([(0,5),(1,4),(2,3),(3,5),(5,4)],6)
 => ([(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6)
 => ([(0,6),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
 => ? = 4 + 1
[[[[]],[]],[]]
 => ([(0,5),(1,4),(2,3),(3,5),(5,4)],6)
 => ([(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6)
 => ([(0,6),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
 => ? = 4 + 1
[[[[],[]]],[]]
 => ([(0,5),(1,4),(2,4),(3,5),(4,3)],6)
 => ([(1,5),(2,5),(3,4),(3,5),(4,5)],6)
 => ([(0,6),(1,5),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
 => ? = 4 + 1
[[[[[]]]],[]]
 => ([(0,5),(1,4),(2,5),(3,2),(4,3)],6)
 => ([(1,5),(2,5),(3,5),(4,5)],6)
 => ([(0,6),(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
 => ? = 5 + 1
[[[],[],[],[]]]
 => ([(0,5),(1,5),(2,5),(3,5),(5,4)],6)
 => ([(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6)
 => ([(0,6),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
 => ? = 3 + 1
[[[],[],[[]]]]
 => ([(0,5),(1,5),(2,3),(3,5),(5,4)],6)
 => ([(2,4),(2,5),(3,4),(3,5),(4,5)],6)
 => ([(0,6),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
 => ? = 4 + 1
[[[],[[]],[]]]
 => ([(0,5),(1,5),(2,3),(3,5),(5,4)],6)
 => ([(2,4),(2,5),(3,4),(3,5),(4,5)],6)
 => ([(0,6),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
 => ? = 4 + 1
[[[],[[],[]]]]
 => ([(0,5),(1,4),(2,4),(4,5),(5,3)],6)
 => ([(2,5),(3,4),(3,5),(4,5)],6)
 => ([(0,6),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
 => ? = 4 + 1
[[[],[[[]]]]]
 => ([(0,5),(1,4),(2,5),(4,2),(5,3)],6)
 => ([(2,5),(3,5),(4,5)],6)
 => ([(0,6),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
 => ? = 5 + 1
[[[[]],[],[]]]
 => ([(0,5),(1,5),(2,3),(3,5),(5,4)],6)
 => ([(2,4),(2,5),(3,4),(3,5),(4,5)],6)
 => ([(0,6),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
 => ? = 4 + 1
[[[[]],[[]]]]
 => ([(0,4),(1,3),(3,5),(4,5),(5,2)],6)
 => ([(2,4),(2,5),(3,4),(3,5)],6)
 => ([(0,6),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7)
 => ? = 4 + 1
[[[[],[]],[]]]
 => ([(0,5),(1,4),(2,4),(4,5),(5,3)],6)
 => ([(2,5),(3,4),(3,5),(4,5)],6)
 => ([(0,6),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
 => ? = 4 + 1
[[[[[]]],[]]]
 => ([(0,5),(1,4),(2,5),(4,2),(5,3)],6)
 => ([(2,5),(3,5),(4,5)],6)
 => ([(0,6),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
 => ? = 5 + 1
[[[[],[],[]]]]
 => ([(0,5),(1,5),(2,5),(3,4),(5,3)],6)
 => ([(3,4),(3,5),(4,5)],6)
 => ([(0,6),(1,6),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
 => ? = 4 + 1
[[[[],[[]]]]]
 => ([(0,5),(1,3),(3,5),(4,2),(5,4)],6)
 => ([(3,5),(4,5)],6)
 => ([(0,6),(1,6),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
 => ? = 5 + 1
[[[[[]],[]]]]
 => ([(0,5),(1,3),(3,5),(4,2),(5,4)],6)
 => ([(3,5),(4,5)],6)
 => ([(0,6),(1,6),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
 => ? = 5 + 1
[[[[[],[]]]]]
 => ([(0,5),(1,5),(3,2),(4,3),(5,4)],6)
 => ([(4,5)],6)
 => ([(0,6),(1,6),(2,6),(3,6),(4,5),(4,6),(5,6)],7)
 => ? = 5 + 1
[[[[[[]]]]]]
 => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
 => ([],6)
 => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7)
 => ? = 6 + 1
[[],[],[],[],[],[]]
 => ([(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)
 => ([(0,7),(1,2),(1,3),(1,4),(1,5),(1,6),(1,7),(2,3),(2,4),(2,5),(2,6),(2,7),(3,4),(3,5),(3,6),(3,7),(4,5),(4,6),(4,7),(5,6),(5,7),(6,7)],8)
 => ? = 2 + 1
[[],[],[],[],[[]]]
 => ([(0,6),(1,6),(2,6),(3,6),(4,5),(5,6)],7)
 => ([(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)
 => ([(0,7),(1,3),(1,4),(1,5),(1,6),(1,7),(2,3),(2,4),(2,5),(2,6),(2,7),(3,4),(3,5),(3,6),(3,7),(4,5),(4,6),(4,7),(5,6),(5,7),(6,7)],8)
 => ? = 3 + 1
[[],[],[],[[]],[]]
 => ([(0,6),(1,6),(2,6),(3,6),(4,5),(5,6)],7)
 => ([(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)
 => ([(0,7),(1,3),(1,4),(1,5),(1,6),(1,7),(2,3),(2,4),(2,5),(2,6),(2,7),(3,4),(3,5),(3,6),(3,7),(4,5),(4,6),(4,7),(5,6),(5,7),(6,7)],8)
 => ? = 3 + 1
[[],[],[],[[],[]]]
 => ([(0,6),(1,6),(2,6),(3,5),(4,5),(5,6)],7)
 => ([(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)
 => ([(0,7),(1,4),(1,5),(1,6),(1,7),(2,3),(2,4),(2,5),(2,6),(2,7),(3,4),(3,5),(3,6),(3,7),(4,5),(4,6),(4,7),(5,6),(5,7),(6,7)],8)
 => ? = 3 + 1
[[],[],[],[[[]]]]
 => ([(0,6),(1,6),(2,6),(3,4),(4,5),(5,6)],7)
 => ([(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
 => ([(0,7),(1,4),(1,5),(1,6),(1,7),(2,4),(2,5),(2,6),(2,7),(3,4),(3,5),(3,6),(3,7),(4,5),(4,6),(4,7),(5,6),(5,7),(6,7)],8)
 => ? = 4 + 1
[[],[],[[]],[],[]]
 => ([(0,6),(1,6),(2,6),(3,6),(4,5),(5,6)],7)
 => ([(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)
 => ([(0,7),(1,3),(1,4),(1,5),(1,6),(1,7),(2,3),(2,4),(2,5),(2,6),(2,7),(3,4),(3,5),(3,6),(3,7),(4,5),(4,6),(4,7),(5,6),(5,7),(6,7)],8)
 => ? = 3 + 1
[[],[],[[]],[[]]]
 => ([(0,6),(1,6),(2,5),(3,4),(4,6),(5,6)],7)
 => ([(1,3),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
 => ([(0,7),(1,3),(1,4),(1,5),(1,6),(1,7),(2,3),(2,4),(2,5),(2,6),(2,7),(3,5),(3,6),(3,7),(4,5),(4,6),(4,7),(5,6),(5,7),(6,7)],8)
 => ? = 3 + 1
[[],[],[[],[]],[]]
 => ([(0,6),(1,6),(2,6),(3,5),(4,5),(5,6)],7)
 => ([(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)
 => ([(0,7),(1,4),(1,5),(1,6),(1,7),(2,3),(2,4),(2,5),(2,6),(2,7),(3,4),(3,5),(3,6),(3,7),(4,5),(4,6),(4,7),(5,6),(5,7),(6,7)],8)
 => ? = 3 + 1

Description

The number of nonisomorphic vertex-induced subtrees.

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

St000983The length of the longest alternating subword. St001578The minimal number of edges to add or remove to make a graph a line graph. St001820The size of the image of the pop stack sorting operator. St001720The minimal length of a chain of small intervals in a lattice.