905 research outputs found

    Reconfiguration in bounded bandwidth and treedepth

    Full text link
    We show that several reconfiguration problems known to be PSPACE-complete remain so even when limited to graphs of bounded bandwidth. The essential step is noticing the similarity to very limited string rewriting systems, whose ability to directly simulate Turing Machines is classically known. This resolves a question posed open in [Bonsma P., 2012]. On the other hand, we show that a large class of reconfiguration problems becomes tractable on graphs of bounded treedepth, and that this result is in some sense tight.Comment: 14 page

    Using contracted solution graphs for solving reconfiguration problems.

    Get PDF
    We introduce a dynamic programming method for solving reconfiguration problems, 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. As an example, we consider a 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? 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

    Using Contracted Solution Graphs for Solving Reconfiguration Problems

    Get PDF
    We introduce a dynamic programming method for solving reconfiguration problems, 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. As an example, we consider a 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? 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

    Using contracted solution graphs for solving reconfiguration problems

    Get PDF
    We introduce a dynamic programming method for solving reconfiguration problems, 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. As an example, we consider a 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? 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

    A Dichotomy Theorem for Circular Colouring Reconfiguration

    Get PDF
    The "reconfiguration problem" for circular colourings asks, given two (p,q)(p,q)-colourings ff and gg of a graph GG, is it possible to transform ff into gg by changing the colour of one vertex at a time such that every intermediate mapping is a (p,q)(p,q)-colouring? We show that this problem can be solved in polynomial time for 2≤p/q<42\leq p/q <4 and is PSPACE-complete for p/q≥4p/q\geq 4. This generalizes a known dichotomy theorem for reconfiguring classical graph colourings.Comment: 22 pages, 5 figure

    Reconfiguring Independent Sets in Claw-Free Graphs

    Get PDF
    We present a polynomial-time algorithm that, given two independent sets in a claw-free graph GG, decides whether one can be transformed into the other by a sequence of elementary steps. Each elementary step is to remove a vertex vv from the current independent set SS and to add a new vertex ww (not in SS) such that the result is again an independent set. We also consider the more restricted model where vv and ww have to be adjacent
    • …
    corecore