2,802 research outputs found
Reduction Techniques for Graph Isomorphism in the Context of Width Parameters
We study the parameterized complexity of the graph isomorphism problem when
parameterized by width parameters related to tree decompositions. We apply the
following technique to obtain fixed-parameter tractability for such parameters.
We first compute an isomorphism invariant set of potential bags for a
decomposition and then apply a restricted version of the Weisfeiler-Lehman
algorithm to solve isomorphism. With this we show fixed-parameter tractability
for several parameters and provide a unified explanation for various
isomorphism results concerned with parameters related to tree decompositions.
As a possibly first step towards intractability results for parameterized graph
isomorphism we develop an fpt Turing-reduction from strong tree width to the a
priori unrelated parameter maximum degree.Comment: 23 pages, 4 figure
Induced Minor Free Graphs: Isomorphism and Clique-width
Given two graphs and , we say that contains as an induced
minor if a graph isomorphic to can be obtained from by a sequence of
vertex deletions and edge contractions. We study the complexity of Graph
Isomorphism on graphs that exclude a fixed graph as an induced minor. More
precisely, we determine for every graph that Graph Isomorphism is
polynomial-time solvable on -induced-minor-free graphs or that it is
GI-complete. Additionally, we classify those graphs for which
-induced-minor-free graphs have bounded clique-width. These two results
complement similar dichotomies for graphs that exclude a fixed graph as an
induced subgraph, minor, or subgraph.Comment: 16 pages, 5 figures. An extended abstract of this paper previously
appeared in the proceedings of the 41st International Workshop on
Graph-Theoretic Concepts in Computer Science (WG 2015
Fixed-parameter tractable canonization and isomorphism test for graphs of bounded treewidth
We give a fixed-parameter tractable algorithm that, given a parameter and
two graphs , either concludes that one of these graphs has treewidth
at least , or determines whether and are isomorphic. The running
time of the algorithm on an -vertex graph is ,
and this is the first fixed-parameter algorithm for Graph Isomorphism
parameterized by treewidth.
Our algorithm in fact solves the more general canonization problem. We namely
design a procedure working in time that, for a
given graph on vertices, either concludes that the treewidth of is
at least , or: * finds in an isomorphic-invariant way a graph
that is isomorphic to ; * finds an isomorphism-invariant
construction term --- an algebraic expression that encodes together with a
tree decomposition of of width .
Hence, the isomorphism test reduces to verifying whether the computed
isomorphic copies or the construction terms for and are equal.Comment: Full version of a paper presented at FOCS 201
Canonizing Graphs of Bounded Tree Width in Logspace
Graph canonization is the problem of computing a unique representative, a
canon, from the isomorphism class of a given graph. This implies that two
graphs are isomorphic exactly if their canons are equal. We show that graphs of
bounded tree width can be canonized by logarithmic-space (logspace) algorithms.
This implies that the isomorphism problem for graphs of bounded tree width can
be decided in logspace. In the light of isomorphism for trees being hard for
the complexity class logspace, this makes the ubiquitous class of graphs of
bounded tree width one of the few classes of graphs for which the complexity of
the isomorphism problem has been exactly determined.Comment: 26 page
An adaptive prefix-assignment technique for symmetry reduction
This paper presents a technique for symmetry reduction that adaptively
assigns a prefix of variables in a system of constraints so that the generated
prefix-assignments are pairwise nonisomorphic under the action of the symmetry
group of the system. The technique is based on McKay's canonical extension
framework [J.~Algorithms 26 (1998), no.~2, 306--324]. Among key features of the
technique are (i) adaptability---the prefix sequence can be user-prescribed and
truncated for compatibility with the group of symmetries; (ii)
parallelizability---prefix-assignments can be processed in parallel
independently of each other; (iii) versatility---the method is applicable
whenever the group of symmetries can be concisely represented as the
automorphism group of a vertex-colored graph; and (iv) implementability---the
method can be implemented relying on a canonical labeling map for
vertex-colored graphs as the only nontrivial subroutine. To demonstrate the
practical applicability of our technique, we have prepared an experimental
open-source implementation of the technique and carry out a set of experiments
that demonstrate ability to reduce symmetry on hard instances. Furthermore, we
demonstrate that the implementation effectively parallelizes to compute
clusters with multiple nodes via a message-passing interface.Comment: Updated manuscript submitted for revie
Meta-Kernelization with Structural Parameters
Meta-kernelization theorems are general results that provide polynomial
kernels for large classes of parameterized problems. The known
meta-kernelization theorems, in particular the results of Bodlaender et al.
(FOCS'09) and of Fomin et al. (FOCS'10), apply to optimization problems
parameterized by solution size. We present the first meta-kernelization
theorems that use a structural parameters of the input and not the solution
size. Let C be a graph class. We define the C-cover number of a graph to be a
the smallest number of modules the vertex set can be partitioned into, such
that each module induces a subgraph that belongs to the class C. We show that
each graph problem that can be expressed in Monadic Second Order (MSO) logic
has a polynomial kernel with a linear number of vertices when parameterized by
the C-cover number for any fixed class C of bounded rank-width (or
equivalently, of bounded clique-width, or bounded Boolean width). Many graph
problems such as Independent Dominating Set, c-Coloring, and c-Domatic Number
are covered by this meta-kernelization result. Our second result applies to MSO
expressible optimization problems, such as Minimum Vertex Cover, Minimum
Dominating Set, and Maximum Clique. We show that these problems admit a
polynomial annotated kernel with a linear number of vertices
- âŠ