Bonsma–Cereceda diameter conjecture for colouring graphs
Bonsma–Cereceda's conjecture. For k≥col(G)+1k\geq\operatorname{col}(G)+1k≥col(G)+1,
MathDB