# A polynomial version of Cereceda's conjecture

Let k and d be such that k > d+2. Consider two k-colourings of a d-degenerate graph G. Can we transform one into the other by recolouring one vertex at each step while maintaining a proper coloring at any step? Cereceda et al. answered that question in the affirmative, and exhibited a recolouring sequence of exponential length. However, Cereceda conjectured that there should exist one of quadratic length. The k-reconfiguration graph of G is the graph whose vertices are the proper k-colourings of G, with an edge between two colourings if they differ on exactly one vertex. Cereceda's conjecture can be reformulated as follows: the diameter of the (d+2)-reconfiguration graph of any d-degenerate graph on n vertices is O(n^2). So far, the existence of a polynomial diameter is open even for d=2. In this paper, we prove that the diameter of the k-reconfiguration graph of a d-degenerate graph is O(n^d+1) for k > d+2. Moreover, we prove that if k >3/2 (d+1) then the diameter of the k-reconfiguration graph is quadratic, improving the previous bound of k > 2d+1. We also show that the 5-reconfiguration graph of planar bipartite graphs has quadratic diameter, confirming Cereceda's conjecture for this class of graphs.

• 43 publications
• 14 publications
research
02/06/2019

### Reconfiguring 10-colourings of planar graphs

Let k ≥ 1 be an integer. The reconfiguration graph R_k(G) of the k-colou...
research
01/09/2023

### Digraph redicolouring

Given two k-dicolourings of a digraph D, we prove that it is PSPACE-comp...
research
01/10/2023

### A Formal Disproof of the Hirsch Conjecture

The purpose of this paper is the formal verification of a counterexample...
research
10/01/2018

### Towards Cereceda's conjecture for planar graphs

The reconfiguration graph R_k(G) of the k-colourings of a graph G has as...
research
12/20/2018

### Strengthening the Murty-Simon conjecture on diameter 2 critical graphs

A graph is diameter-2-critical if its diameter is 2 but the removal of a...
research
04/29/2019

### The graphs behind Reuleaux polyhedra

This work is about graphs arising from Reuleaux polyhedra. Such graphs m...
research
01/19/2022

### Strengthening a theorem of Meyniel

For an integer k ≥ 1 and a graph G, let 𝒦_k(G) be the graph that has ver...