Learn More
Many reasoning and optimization problems exhibit symmetries. Previous work has shown how special purpose algorithms can make use of these symmetries to simplify reasoning. We present a general scheme whereby symmetries are exploited by adding \symmetry-breaking" predicates to the theory. Our approach can be used on any propo-sitional satissability problem,(More)
We announce an algebraic approach to the problem of assigning <italic>canonical forms</italic> to graphs. We compute canonical forms and the associated canonical labelings (or renumberings) in polynomial time for graphs of bounded valence, in moderately exponential, exp(n<supscrpt>&#189; + &ogr;(1)</supscrpt>),time for general graphs, in subexponential,(More)
Suppose we are given a set of generators for a group G of permutations of a colored set A. The color automorphism problem for G involves finding generators for the subgroup of G which stabilizes the color classes. Testing isomorphism of graphs of valence &#x02264; t is polynomial-time reducible to the color automorphism problem for groups with small simple(More)
The Constraint Satisfaction Problem is a type of combinatorial search problem of much interest in Artiicial Intelligence and Operations Research. The simplest algorithm for solving such a problem is chronological backtracking, but this method suuers from a malady known as \thrashing," in which essentially the same subproblems end up being solved repeatedly.(More)
A permutation group on n letters may always be represented by a small set of generators, even though its size may be exponential in n. We show that it is practical to use such a representation since many problems such as membership testing, equality testing, and inclusion testing are decidable in polynomial time. In addition, we demonstrate that the normal(More)
We address the graph isomorphism problem and related fundamental complexity problems of computational group theory. The main results are these: A1. A polynomial time algorithm to test simplicity and find composition factors of a given permutation group (COMP). A2. A polynomial time algorithm to find elements of given prime order p in a permutation group of(More)
We introduce new Monte Carlo methods to speed up and greatly simplify the manipulation of permutation groups. The methods are of a combinatorial character and use elementary group theory only. We achieve a nearly optimal 0(n3 loge n) running time for membership testing, an improvement of two orders of magnitude compared to known elementary algorithms and(More)