3,282 research outputs found
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
Algorithms for Highly Symmetric Linear and Integer Programs
This paper deals with exploiting symmetry for solving linear and integer
programming problems. Basic properties of linear representations of finite
groups can be used to reduce symmetric linear programming to solving linear
programs of lower dimension. Combining this approach with knowledge of the
geometry of feasible integer solutions yields an algorithm for solving highly
symmetric integer linear programs which only takes time which is linear in the
number of constraints and quadratic in the dimension.Comment: 21 pages, 1 figure; some references and further comments added, title
slightly change
Automorphism Groups of Geometrically Represented Graphs
We describe a technique to determine the automorphism group of a
geometrically represented graph, by understanding the structure of the induced
action on all geometric representations. Using this, we characterize
automorphism groups of interval, permutation and circle graphs. We combine
techniques from group theory (products, homomorphisms, actions) with data
structures from computer science (PQ-trees, split trees, modular trees) that
encode all geometric representations.
We prove that interval graphs have the same automorphism groups as trees, and
for a given interval graph, we construct a tree with the same automorphism
group which answers a question of Hanlon [Trans. Amer. Math. Soc 272(2), 1982].
For permutation and circle graphs, we give an inductive characterization by
semidirect and wreath products. We also prove that every abstract group can be
realized by the automorphism group of a comparability graph/poset of the
dimension at most four
Graph Isomorphism for unit square graphs
In the past decades for more and more graph classes the Graph Isomorphism
Problem was shown to be solvable in polynomial time. An interesting family of
graph classes arises from intersection graphs of geometric objects. In this
work we show that the Graph Isomorphism Problem for unit square graphs,
intersection graphs of axis-parallel unit squares in the plane, can be solved
in polynomial time. Since the recognition problem for this class of graphs is
NP-hard we can not rely on standard techniques for geometric graphs based on
constructing a canonical realization. Instead, we develop new techniques which
combine structural insights into the class of unit square graphs with
understanding of the automorphism group of such graphs. For the latter we
introduce a generalization of bounded degree graphs which is used to capture
the main structure of unit square graphs. Using group theoretic algorithms we
obtain sufficient information to solve the isomorphism problem for unit square
graphs.Comment: 31 pages, 6 figure
- âŠ