Complexity of Coloring Reconfiguration under Recolorability Constraints
For an integer k \ge 1, k-coloring reconfiguration is one of the most well-studied reconfiguration problems, defined as follows: In the problem, we are given two (vertex-)colorings of a graph using k colors, and asked to transform one into the other by recoloring only one vertex at a time, while at all times maintaining a proper coloring. The problem is known to be PSPACE-complete if k \ge 4, and solvable for any graph in polynomial time if k \le 3. In this paper, we introduce a recolorability constraint on the k colors, which forbids some pairs of colors to be recolored directly. The recolorability constraint is given in terms of an undirected graph R such that each node in R corresponds to a color and each edge in R represents a pair of colors that can be recolored directly. We study the hardness of the problem based on the structure of recolorability constraints R. More specifically, we prove that the problem is PSPACE-complete if R is of maximum degree at least four, or has a connected component containing more than one cycle.
combinatorial reconfiguration
graph coloring
PSPACE-complete
62:1-62:13
Regular Paper
Hiroki
Osawa
Hiroki Osawa
Akira
Suzuki
Akira Suzuki
Takehiro
Ito
Takehiro Ito
Xiao
Zhou
Xiao Zhou
10.4230/LIPIcs.ISAAC.2017.62
Marthe Bonamy and Nicolas Bousquet. Recoloring bounded treewidth graphs. In the 7th Latin-American Algorithms, Graphs and Optimization Symposium (LAGOS 2013), volume 44 of Electronic Notes in Discrete Mathematics, pages 257-262, 2013.
Marthe Bonamy, Matthew Johnson, Ioannis Lignos, Viresh Patel, and Daniël Paulusma. Reconfiguration graphs for vertex colourings of chordal and chordal bipartite graphs. Journal of Combinatorial Optimization, 27:132-143, 2014.
Paul S. Bonsma and Luis Cereceda. Finding paths between graph colourings: PSPACE-completeness and superpolynomial distances. Theoretical Computer Science, 410:5215-5226, 2009.
Paul S. Bonsma, Amer E. Mouawad, Naomi Nishimura, and Venkatesh Raman. The complexity of bounded length graph recoloring and CSP reconfiguration. In the 9th International Symposium on Parameterized and Exact Computation (IPEC 2014), volume 8894 of Lecture Notes in Computer Science, pages 110-121, 2014.
Richard C. Brewster, Sean McGuinness, Benjamin Moore, and Jonathan A. Noel. A dichotomy theorem for circular colouring reconfiguration. Theoretical Computer Science, 639:1-13, 2016.
Luis Cereceda, Jan van den Heuvel, and Matthew Johnson. Finding paths between 3-colorings. Journal of Graph Theory, 67:69-82, 2011.
Erik D. Demaine, Martin L. Demaine, Eli Fox-Epstein, Duc A. Hoang, Takehiro Ito, Hirotaka Ono, Yota Otachi, Ryuhei Uehara, and Takeshi Yamada. Linear-time algorithm for sliding tokens on trees. Theoretical Computer Science, 600:132-142, 2015.
Carl Feghali, Matthew Johnson, and Daniël Paulusma. A reconfigurations analogue of brooks' theorem and its consequences. Journal of Graph Theory, 83:340-358, 2016.
Tatsuhiko Hatanaka, Takehiro Ito, and Xiao Zhou. The list coloring reconfiguration problem for bounded pathwidth graphs. IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences, 98-A:1168-1178, 2015.
Robert A. Hearn and Erik D. Demaine. PSPACE-completeness of sliding-block puzzles and other problems through the nondeterministic constraint logic model of computation. Theoretical Computer Science, 343:72-96, 2005.
Takehiro Ito, Erik D. Demaine, Nicholas J.A. Harvey, Christos H. Papadimitriou, Martha Sideri, Ryuhei Uehara, and Yushi Uno. On the complexity of reconfiguration problems. Theoretical Computer Science, 412:1054-1065, 2011.
Takehiro Ito, Hirotaka Ono, and Yota Otachi. Reconfiguration of cliques in a graph. In the 12th Annual Conference on Theory and Applications of Models of Computation (TAMC 2015), volume 9076 of Lecture Notes in Computer Science, pages 212-223, 2015.
Matthew Johnson, Dieter Kratsch, Stefan Kratsch, Viresh Patel, and Daniël Paulusma. Finding shortest paths between graph colourings. Algorithmica, 75:295-321, 2016.
Amer E. Mouawad, Naomi Nishimura, Venkatesh Raman, Narges Simjour, and Akira Suzuki. On the parameterized complexity of reconfiguration problems. Algorithmica, 78:274-297, 2017.
Walter J. Savitch. Relationships between nondeterministic and deterministic tape complexities. Journal of Computer and System Sciences, 4:177-192, 1970.
Jan van den Heuvel. The complexity of change. In Surveys in Combinatorics 2013, volume 409 of London Mathematical Society Lecture Note Series, pages 127-160, 2013.
Marcin Wrochna. Reconfiguration in bounded bandwidth and treedepth. CoRR, abs/1405.0847, 2014.
Marcin Wrochna. Homomorphism reconfiguration via homotopy. In the 32nd International Symposium on Theoretical Aspects of Computer Science (STACS 2015), volume 30 of Leibniz International Proceedings in Informatics, pages 730-742, 2015.
Creative Commons Attribution 3.0 Unported license
https://creativecommons.org/licenses/by/3.0/legalcode