14,304 research outputs found
Breaking Symmetries in Graph Representation
There are many complex combinatorial problems
which involve searching for an undirected graph
satisfying a certain property. These problems are
often highly challenging because of the large number
of isomorphic representations of a possible solution.
In this paper we introduce novel, effective
and compact, symmetry breaking constraints for
undirected graph search. While incomplete, these
prove highly beneficial in pruning the search for a
graph. We illustrate the application of symmetry
breaking in graph representation to resolve several
open instances in extremal graph theory
Constraints for symmetry breaking in graph representation
Many complex combinatorial problems arising from a range of scientific
applications (such as computer networks, mathematical chemistry and
bioinformatics) involve searching for an undirected graph satisfying a given
property. Since for any possible solution there can be a large number of isomorphic
representations, these problems can quickly become intractable. One
way to mitigate this problem is to eliminate as many isomorphic copies as
possible by breaking symmetry during search - i.e. by introducing constraints
that ensure that at least one representative graph is generated for each equivalence class, but not the entire class. The goal is to generate as few members
of each class as possible - ideally exactly one: the symmetry break is said
to be complete in this case. In this paper we introduce novel, effective and
compact, symmetry breaking constraints for undirected graph search. While
incomplete, these prove highly beneficial in pruning the search for a graph.
We illustrate the application of symmetry breaking in graph representation to
resolve several open instances in extremal graph theory. We also illustrate the application of our approach to graph edge coloring problems which exhibit additional
symmetries due to the fact that the colors of the edges in any solution
can be permuted
Symmetry-breaking Answer Set Solving
In the context of Answer Set Programming, this paper investigates
symmetry-breaking to eliminate symmetric parts of the search space and,
thereby, simplify the solution process. We propose a reduction of disjunctive
logic programs to a coloured digraph such that permutational symmetries can be
constructed from graph automorphisms. Symmetries are then broken by introducing
symmetry-breaking constraints. For this purpose, we formulate a preprocessor
that integrates a graph automorphism system. Experiments demonstrate its
computational impact.Comment: Proceedings of ICLP'10 Workshop on Answer Set Programming and Other
Computing Paradig
Symmetry Breaking for Answer Set Programming
In the context of answer set programming, this work investigates symmetry
detection and symmetry breaking to eliminate symmetric parts of the search
space and, thereby, simplify the solution process. We contribute a reduction of
symmetry detection to a graph automorphism problem which allows to extract
symmetries of a logic program from the symmetries of the constructed coloured
graph. We also propose an encoding of symmetry-breaking constraints in terms of
permutation cycles and use only generators in this process which implicitly
represent symmetries and always with exponential compression. These ideas are
formulated as preprocessing and implemented in a completely automated flow that
first detects symmetries from a given answer set program, adds
symmetry-breaking constraints, and can be applied to any existing answer set
solver. We demonstrate computational impact on benchmarks versus direct
application of the solver.
Furthermore, we explore symmetry breaking for answer set programming in two
domains: first, constraint answer set programming as a novel approach to
represent and solve constraint satisfaction problems, and second, distributed
nonmonotonic multi-context systems. In particular, we formulate a
translation-based approach to constraint answer set solving which allows for
the application of our symmetry detection and symmetry breaking methods. To
compare their performance with a-priori symmetry breaking techniques, we also
contribute a decomposition of the global value precedence constraint that
enforces domain consistency on the original constraint via the unit-propagation
of an answer set solver. We evaluate both options in an empirical analysis. In
the context of distributed nonmonotonic multi-context system, we develop an
algorithm for distributed symmetry detection and also carry over
symmetry-breaking constraints for distributed answer set programming.Comment: Diploma thesis. Vienna University of Technology, August 201
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
Complex Networks and Symmetry II: Reciprocity and Evolution of World Trade
We exploit the symmetry concepts developed in the companion review of this
article to introduce a stochastic version of link reversal symmetry, which
leads to an improved understanding of the reciprocity of directed networks. We
apply our formalism to the international trade network and show that a strong
embedding in economic space determines particular symmetries of the network,
while the observed evolution of reciprocity is consistent with a symmetry
breaking taking place in production space. Our results show that networks can
be strongly affected by symmetry-breaking phenomena occurring in embedding
spaces, and that stochastic network symmetries can successfully suggest, or
rule out, possible underlying mechanisms.Comment: Final accepted versio
Quantum Spin Systems
This article is a short introduction to the general topic of quantum spin
systems. After a brief sketch of the history of the subject, the standard
mathematical framework for formulating problems and results in quantum spin
systems is described. Then, three short sections are devoted to Spontaneaous
Symmetry Breaking, Phase transitions, and Dynamcis.Comment: Article for the Encyclopedia of Mathematical Physics (Elsevier
- …