Recoloring via modular decomposition

Abstract

The reconfiguration graph of the $k$-colorings of a graph $G$, denoted $R_k(G)$, is the graph whose vertices are the $k$-colorings of $G$ and two colorings are adjacent in $R_k(G)$ if they differ in color on exactly one vertex. A graph $G$ is said to be recolorable if $R_{\ell }(G)$ is connected for all $\ell \ge \ddot{I}‡(G)$+1. We demonstrate how to use the modular decomposition of a graph class to prove that the graphs in the class are recolorable. In particular, we prove that every ($P_5$, diamond)-free graph, every ($P_5$, house, bull)-free graph, and every ($P_5$, $C_5$, co-fork)-free graph is recolorable. A graph is prime if it cannot be decomposed by modular decomposition except into single vertices. For a prime graph $H$, we study the complexity of deciding if $H$ is $k$-colorable and the complexity of deciding if there exists a path between two given $k$-colorings in $R_k(H)$. Suppose $\mathcal{G}$ is a hereditary class of graphs. We prove that if every blowup of every prime graph in $\mathcal{G}$ is recolorable, then every graph in $\mathcal{G}$ is recolorable.

13 pages