Acta Informatica ( IF 0.900 ) Pub Date : 2019-05-31 , DOI: 10.1007/s00236-019-00336-8 Paul Bonsma, Daniël Paulusma
We introduce in a general setting a dynamic programming method for solving reconfiguration problems. Our method is based on contracted solution graphs, which are obtained from solution graphs by performing an appropriate series of edge contractions that decrease the graph size without losing any critical information needed to solve the reconfiguration problem under consideration. Our general framework captures the approach behind known reconfiguration results of Bonsma (Discrete Appl Math 231:95–112, 2017) and Hatanaka et al. (IEICE Trans Fundam Electron Commun Comput Sci 98(6):1168–1178, 2015). As a third example, we apply the method to the following well-studied problem: given two k-colorings \(\alpha \) and \(\beta \) of a graph G, can \(\alpha \) be modified into \(\beta \) by recoloring one vertex of G at a time, while maintaining a k-coloring throughout? This problem is known to be PSPACE-hard even for bipartite planar graphs and \(k=4\) . By applying our method in combination with a thorough exploitation of the graph structure we obtain a polynomial-time algorithm for \((k-2)\) -connected chordal graphs.