212 research outputs found

    Reconfiguration of list edge-colorings in a graph

    Get PDF
    11th International Symposium, WADS 2009, Banff, Canada, August 21-23, 2009. ProceedingsWe study the problem of reconfiguring one list edge-coloring of a graph into another list edge-coloring by changing one edge color at a time, while at all times maintaining a list edge-coloring, given a list of allowed colors for each edge. First we show that this problem is PSPACE-complete, even for planar graphs of maximum degree 3 and just six colors. Then we consider the problem restricted to trees. We show that any list edge-coloring can be transformed into any other under the sufficient condition that the number of allowed colors for each edge is strictly larger than the degrees of both its endpoints. This sufficient condition is best possible in some sense. Our proof yields a polynomial-time algorithm that finds a transformation between two given list edge-colorings of a tree with n vertices using O(n [superscript 2]) recolor steps. This worst-case bound is tight: we give an infinite family of instances on paths that satisfy our sufficient condition and whose reconfiguration requires Ω(n [superscript 2]) recolor steps

    The List Coloring Reconfiguration Problem for Bounded Pathwidth Graphs

    Full text link
    We study the problem of transforming one list (vertex) coloring of a graph into another list coloring by changing only one vertex color assignment at a time, while at all times maintaining a list coloring, given a list of allowed colors for each vertex. This problem is known to be PSPACE-complete for bipartite planar graphs. In this paper, we first show that the problem remains PSPACE-complete even for bipartite series-parallel graphs, which form a proper subclass of bipartite planar graphs. We note that our reduction indeed shows the PSPACE-completeness for graphs with pathwidth two, and it can be extended for threshold graphs. In contrast, we give a polynomial-time algorithm to solve the problem for graphs with pathwidth one. Thus, this paper gives precise analyses of the problem with respect to pathwidth

    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

    The Complexity of Rerouting Shortest Paths

    Get PDF
    The Shortest Path Reconfiguration problem has as input a graph G (with unit edge lengths) with vertices s and t, and two shortest st-paths P and Q. The question is whether there exists a sequence of shortest st-paths that starts with P and ends with Q, such that subsequent paths differ in only one vertex. This is called a rerouting sequence. This problem is shown to be PSPACE-complete. For claw-free graphs and chordal graphs, it is shown that the problem can be solved in polynomial time, and that shortest rerouting sequences have linear length. For these classes, it is also shown that deciding whether a rerouting sequence exists between all pairs of shortest st-paths can be done in polynomial time. Finally, a polynomial time algorithm for counting the number of isolated paths is given.Comment: The results on claw-free graphs, chordal graphs and isolated paths have been added in version 2 (april 2012). Version 1 (September 2010) only contained the PSPACE-hardness result. (Version 2 has been submitted.

    Recoloring bounded treewidth graphs

    Full text link
    Let kk be an integer. Two vertex kk-colorings of a graph are \emph{adjacent} if they differ on exactly one vertex. A graph is \emph{kk-mixing} if any proper kk-coloring can be transformed into any other through a sequence of adjacent proper kk-colorings. Any graph is (tw+2)(tw+2)-mixing, where twtw is the treewidth of the graph (Cereceda 2006). We prove that the shortest sequence between any two (tw+2)(tw+2)-colorings is at most quadratic, a problem left open in Bonamy et al. (2012). Jerrum proved that any graph is kk-mixing if kk is at least the maximum degree plus two. We improve Jerrum's bound using the grundy number, which is the worst number of colors in a greedy coloring.Comment: 11 pages, 5 figure

    Recoloring graphs via tree decompositions

    Full text link
    Let kk be an integer. Two vertex kk-colorings of a graph are \emph{adjacent} if they differ on exactly one vertex. A graph is \emph{kk-mixing} if any proper kk-coloring can be transformed into any other through a sequence of adjacent proper kk-colorings. Jerrum proved that any graph is kk-mixing if kk is at least the maximum degree plus two. We first improve Jerrum's bound using the grundy number, which is the worst number of colors in a greedy coloring. Any graph is (tw+2)(tw+2)-mixing, where twtw is the treewidth of the graph (Cereceda 2006). We prove that the shortest sequence between any two (tw+2)(tw+2)-colorings is at most quadratic (which is optimal up to a constant factor), a problem left open in Bonamy et al. (2012). We also prove that given any two (χ(G)+1)(\chi(G)+1)-colorings of a cograph (resp. distance-hereditary graph) GG, we can find a linear (resp. quadratic) sequence between them. In both cases, the bounds cannot be improved by more than a constant factor for a fixed χ(G)\chi(G). The graph classes are also optimal in some sense: one of the smallest interesting superclass of distance-hereditary graphs corresponds to comparability graphs, for which no such property holds (even when relaxing the constraint on the length of the sequence). As for cographs, they are equivalently the graphs with no induced P4P_4, and there exist P5P_5-free graphs that admit no sequence between two of their (χ(G)+1)(\chi(G)+1)-colorings. All the proofs are constructivist and lead to polynomial-time recoloring algorithmComment: 20 pages, 8 figures, partial results already presented in http://arxiv.org/abs/1302.348

    Shortest paths between shortest paths and independent sets

    Full text link
    We study problems of reconfiguration of shortest paths in graphs. We prove that the shortest reconfiguration sequence can be exponential in the size of the graph and that it is NP-hard to compute the shortest reconfiguration sequence even when we know that the sequence has polynomial length. Moreover, we also study reconfiguration of independent sets in three different models and analyze relationships between these models, observing that shortest path reconfiguration is a special case of independent set reconfiguration in perfect graphs, under any of the three models. Finally, we give polynomial results for restricted classes of graphs (even-hole-free and P4P_4-free graphs)

    Complexity of Coloring Reconfiguration under Recolorability Constraints

    Get PDF
    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
    • …
    corecore