67 research outputs found
Reconfiguration in bounded bandwidth and treedepth
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
Reconfiguring Graph Homomorphisms on the Sphere
Given a loop-free graph , the reconfiguration problem for homomorphisms to
(also called -colourings) asks: given two -colourings of of a
graph , is it possible to transform into by a sequence of
single-vertex colour changes such that every intermediate mapping is an
-colouring? This problem is known to be polynomial-time solvable for a wide
variety of graphs (e.g. all -free graphs) but only a handful of hard
cases are known. We prove that this problem is PSPACE-complete whenever is
a -free quadrangulation of the -sphere (equivalently, the plane)
which is not a -cycle. From this result, we deduce an analogous statement
for non-bipartite -free quadrangulations of the projective plane. This
include several interesting classes of graphs, such as odd wheels, for which
the complexity was known, and -chromatic generalized Mycielski graphs, for
which it was not.
If we instead consider graphs and with loops on every vertex (i.e.
reflexive graphs), then the reconfiguration problem is defined in a similar way
except that a vertex can only change its colour to a neighbour of its current
colour. In this setting, we use similar ideas to show that the reconfiguration
problem for -colourings is PSPACE-complete whenever is a reflexive
-free triangulation of the -sphere which is not a reflexive triangle.
This proof applies more generally to reflexive graphs which, roughly speaking,
resemble a triangulation locally around a particular vertex. This provides the
first graphs for which -Recolouring is known to be PSPACE-complete for
reflexive instances.Comment: 22 pages, 9 figure
Shortest paths between shortest paths and independent sets
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 -free graphs)
Reconfiguration of Dominating Sets
We explore a reconfiguration version of the dominating set problem, where a
dominating set in a graph is a set of vertices such that each vertex is
either in or has a neighbour in . In a reconfiguration problem, the goal
is to determine whether there exists a sequence of feasible solutions
connecting given feasible solutions and such that each pair of
consecutive solutions is adjacent according to a specified adjacency relation.
Two dominating sets are adjacent if one can be formed from the other by the
addition or deletion of a single vertex.
For various values of , we consider properties of , the graph
consisting of a vertex for each dominating set of size at most and edges
specified by the adjacency relation. Addressing an open question posed by Haas
and Seyffarth, we demonstrate that is not necessarily
connected, for the maximum cardinality of a minimal dominating set
in . The result holds even when graphs are constrained to be planar, of
bounded tree-width, or -partite for . Moreover, we construct an
infinite family of graphs such that has exponential
diameter, for the minimum size of a dominating set. On the positive
side, we show that is connected and of linear diameter for any
graph on vertices having at least independent edges.Comment: 12 pages, 4 figure
Fixed-Parameter Tractability of Token Jumping on Planar Graphs
Suppose that we are given two independent sets and of a graph
such that , and imagine that a token is placed on each vertex in
. The token jumping problem is to determine whether there exists a
sequence of independent sets which transforms into so that each
independent set in the sequence results from the previous one by moving exactly
one token to another vertex. This problem is known to be PSPACE-complete even
for planar graphs of maximum degree three, and W[1]-hard for general graphs
when parameterized by the number of tokens. In this paper, we present a
fixed-parameter algorithm for the token jumping problem on planar graphs, where
the parameter is only the number of tokens. Furthermore, the algorithm can be
modified so that it finds a shortest sequence for a yes-instance. The same
scheme of the algorithms can be applied to a wider class of graphs,
-free graphs for any fixed integer , and it yields
fixed-parameter algorithms
A polynomial version of Cereceda's conjecture
Let k and d be such that k ≥ d + 2. Consider two k-colourings of a d-degenerate graph G. Can we transform one into the other by recolouring one vertex at each step while maintaining a proper coloring at any step? Cereceda et al. answered that question in the affirmative, and exhibited a recolouring sequence of exponential length. However, Cereceda conjectured that there should exist one of quadratic length. The k-reconfiguration graph of G is the graph whose vertices are the proper k-colourings of G, with an edge between two colourings if they differ on exactly one vertex. Cereceda's conjecture can be reformulated as follows: the diameter of the (d + 2)-reconfiguration graph of any d-degenerate graph on n vertices is O(n 2). So far, the existence of a polynomial diameter is open even for d = 2. In this paper, we prove that the diameter of the k-reconfiguration graph of a d-degenerate graph is O(n d+1) for k ≥ d + 2. Moreover, we prove that if k ≥ 3 2 (d + 1) then the diameter of the k-reconfiguration graph is quadratic, improving the previous bound of k ≥ 2d + 1. We also show that the 5-reconfiguration graph of planar bipartite graphs has quadratic diameter, confirming Cereceda's conjecture for this class of graphs
- …