64 research outputs found
Recoloring bounded treewidth graphs
Let be an integer. Two vertex -colorings of a graph are
\emph{adjacent} if they differ on exactly one vertex. A graph is
\emph{-mixing} if any proper -coloring can be transformed into any other
through a sequence of adjacent proper -colorings. Any graph is
-mixing, where is the treewidth of the graph (Cereceda 2006). We
prove that the shortest sequence between any two -colorings is at most
quadratic, a problem left open in Bonamy et al. (2012).
Jerrum proved that any graph is -mixing if 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
Let be an integer. Two vertex -colorings of a graph are
\emph{adjacent} if they differ on exactly one vertex. A graph is
\emph{-mixing} if any proper -coloring can be transformed into any other
through a sequence of adjacent proper -colorings. Jerrum proved that any
graph is -mixing if 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 -mixing, where is the treewidth of the graph
(Cereceda 2006). We prove that the shortest sequence between any two
-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 -colorings of a cograph (resp.
distance-hereditary graph) , 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 . 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 , and there
exist -free graphs that admit no sequence between two of their
-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
A reconfigurations analogue of Brooks’ theorem.
Let G be a simple undirected graph on n vertices with maximum degree Δ. Brooks’ Theorem states that G has a Δ-colouring unless G is a complete graph, or a cycle with an odd number of vertices. To recolour G is to obtain a new proper colouring by changing the colour of one vertex. We show that from a k-colouring, k > Δ, a Δ-colouring of G can be obtained by a sequence of O(n 2) recolourings using only the original k colours unless
G is a complete graph or a cycle with an odd number of vertices, or
k = Δ + 1, G is Δ-regular and, for each vertex v in G, no two neighbours of v are coloured alike.
We use this result to study the reconfiguration graph R k (G) of the k-colourings of G. The vertex set of R k (G) is the set of all possible k-colourings of G and two colourings are adjacent if they differ on exactly one vertex. It is known that
if k ≤ Δ(G), then R k (G) might not be connected and it is possible that its connected components have superpolynomial diameter,
if k ≥ Δ(G) + 2, then R k (G) is connected and has diameter O(n 2).
We complete this structural classification by settling the missing case:
if k = Δ(G) + 1, then R k (G) consists of isolated vertices and at most one further component which has diameter O(n 2).
We also describe completely the computational complexity classification of the problem of deciding whether two k-colourings of a graph G of maximum degree Δ belong to the same component of R k (G) by settling the case k = Δ(G) + 1. The problem is
O(n 2) time solvable for k = 3,
PSPACE-complete for 4 ≤ k ≤ Δ(G),
O(n) time solvable for k = Δ(G) + 1,
O(1) time solvable for k ≥ Δ(G) + 2 (the answer is always yes)
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
Degree-constrained Subgraph Reconfiguration is in P
The degree-constrained subgraph problem asks for a subgraph of a given graph
such that the degree of each vertex is within some specified bounds. We study
the following reconfiguration variant of this problem: Given two solutions to a
degree-constrained subgraph instance, can we transform one solution into the
other by adding and removing individual edges, such that each intermediate
subgraph satisfies the degree constraints and contains at least a certain
minimum number of edges? This problem is a generalization of the matching
reconfiguration problem, which is known to be in P. We show that even in the
more general setting the reconfiguration problem is in P.Comment: Full version of the paper published at Mathematical Foundations of
Computer Science (MFCS) 201
The Connectivity of Boolean Satisfiability: Dichotomies for Formulas and Circuits
For Boolean satisfiability problems, the structure of the solution space is
characterized by the solution graph, where the vertices are the solutions, and
two solutions are connected iff they differ in exactly one variable. In 2006,
Gopalan et al. studied connectivity properties of the solution graph and
related complexity issues for CSPs, motivated mainly by research on
satisfiability algorithms and the satisfiability threshold. They proved
dichotomies for the diameter of connected components and for the complexity of
the st-connectivity question, and conjectured a trichotomy for the connectivity
question. Recently, we were able to establish the trichotomy [arXiv:1312.4524].
Here, we consider connectivity issues of satisfiability problems defined by
Boolean circuits and propositional formulas that use gates, resp. connectives,
from a fixed set of Boolean functions. We obtain dichotomies for the diameter
and the two connectivity problems: on one side, the diameter is linear in the
number of variables, and both problems are in P, while on the other side, the
diameter can be exponential, and the problems are PSPACE-complete. For
partially quantified formulas, we show an analogous dichotomy.Comment: 20 pages, several improvement
- …