Independent Set Reconfiguration in Cographs and their Generalizations

We study the following independent set reconfiguration problem, called TAR-Reachability: given two independent sets I and J of a graph G, both of size at least k, is it possible to transform I into J by adding and removing vertices one-by-one, while maintaining an independent set of size at least k throughout? This problem is known to be PSPACE-hard in general. For the case that G is a cograph on n vertices, we show that it can be solved in time O(n2), and that the length of a shortest reconfiguration sequence from I to J is bounded by 4n−2k (if it exists). More generally, we show that if G is a graph class for which (i) TAR-Reachability can be solved efficiently, (ii) maximum independent sets can be computed efficiently, and which satisfies a certain additional property, then the problem can be solved efficiently for any graph that can be obtained from a collection of graphs in G using disjoint union and complete join operations. Chordal graphs and claw-free graphs are given as examples of such a class G.

[1]  Gerhard J. Woeginger,et al.  Motion Planning with Pulley, Rope, and Baskets , 2013, Theory of Computing Systems.

[2]  Paul S. Bonsma,et al.  Reconfiguring Independent Sets in Claw-Free Graphs , 2014, SWAT.

[3]  Najiba Sbihi,et al.  Algorithme de recherche d'un stable de cardinalite maximum dans un graphe sans etoile , 1980, Discret. Math..

[4]  Marcin Wrochna,et al.  Reconfiguration in bounded bandwidth and tree-depth , 2014, J. Comput. Syst. Sci..

[5]  Jan van den Heuvel,et al.  The complexity of change , 2013, Surveys in Combinatorics.

[6]  Paul S. Bonsma Rerouting shortest paths in planar graphs , 2017, Discret. Appl. Math..

[7]  Kristina Vušković,et al.  EVEN-HOLE-FREE GRAPHS: A SURVEY , 2010 .

[8]  Bruno Courcelle,et al.  Upper bounds to the clique width of graphs , 2000, Discret. Appl. Math..

[9]  Takehiro Ito,et al.  On the complexity of reconfiguration problems , 2011, Theor. Comput. Sci..

[10]  G. G. Stokes "J." , 1890, The New Yale Book of Quotations.

[11]  Marthe Bonamy,et al.  Reconfiguration graphs for vertex colourings of chordal and chordal bipartite graphs , 2014, J. Comb. Optim..

[12]  Daniël Paulusma,et al.  Finding Shortest Paths Between Graph Colourings , 2014, Algorithmica.

[13]  Paul S. Bonsma Independent Set Reconfiguration in Cographs , 2014, WG.

[14]  Gerhard J. Woeginger,et al.  Motion Planning with Pulley, Rope, and Baskets , 2013, Theory of Computing Systems.

[15]  George J. Minty,et al.  On maximal independent sets of vertices in claw-free graphs , 1980, J. Comb. Theory B.

[16]  Martin Milanic,et al.  Shortest paths between shortest paths , 2011, Theor. Comput. Sci..

[17]  Marthe Bonamy,et al.  Reconfiguring Independent Sets in Cographs , 2014, ArXiv.

[18]  Takehiro Ito,et al.  Approximability of the subset sum reconfiguration problem , 2011, J. Comb. Optim..

[19]  Jan van den Heuvel,et al.  Finding paths between 3‐colorings , 2011, IWOCA.

[20]  Lorna Stewart,et al.  A Linear Recognition Algorithm for Cographs , 1985, SIAM J. Comput..

[21]  Paul S. Bonsma,et al.  Finding Paths Between Graph Colourings: PSPACE-Completeness and Superpolynomial Distances , 2007, MFCS.

[22]  Paul S. Bonsma,et al.  The complexity of rerouting shortest paths , 2010, Theor. Comput. Sci..

[23]  Jan van den Heuvel,et al.  Connectedness of the graph of vertex-colourings , 2008, Discret. Math..

[24]  Naomi Nishimura,et al.  On the Parameterized Complexity of Reconfiguration Problems , 2013, Algorithmica.

[25]  Erik D. Demaine,et al.  PSPACE-completeness of sliding-block puzzles and other problems through the nondeterministic constraint logic model of computation , 2002, Theor. Comput. Sci..

[26]  Martin Milanic,et al.  Complexity of independent set reconfigurability problems , 2012, Theor. Comput. Sci..

[27]  Fanica Gavril,et al.  Algorithms for Minimum Coloring, Maximum Clique, Minimum Covering by Cliques, and Maximum Independent Set of a Chordal Graph , 1972, SIAM J. Comput..

[28]  Marthe Bonamy,et al.  Recoloring bounded treewidth graphs , 2013, Electron. Notes Discret. Math..

[29]  Christos H. Papadimitriou,et al.  The Connectivity of Boolean Satisfiability: Computational and Structural Dichotomies , 2006, ICALP.

[30]  Paul S. Bonsma,et al.  The Complexity of Bounded Length Graph Recoloring and CSP Reconfiguration , 2014, IPEC.

[31]  Jan van den Heuvel,et al.  Mixing 3-colourings in bipartite graphs , 2007, Eur. J. Comb..

[32]  Jan van den Heuvel,et al.  Mixing 3-Colourings in Bipartite Graphs , 2007, WG.