Breaking Symmetries in Graph Search with Canonizing Sets

11/25/2015
by   Avraham Itzhakov, et al.
0

There are many complex combinatorial problems which involve searching for an undirected graph satisfying given constraints. Such problems are often highly challenging because of the large number of isomorphic representations of their solutions. This paper introduces effective and compact, complete symmetry breaking constraints for small graph search. Enumerating with these symmetry breaks generates all and only non-isomorphic solutions. For small search problems, with up to 10 vertices, we compute instance independent symmetry breaking constraints. For small search problems with a larger number of vertices we demonstrate the computation of instance dependent constraints which are complete. We illustrate the application of complete symmetry breaking constraints to extend two known sequences from the OEIS related to graph enumeration. We also demonstrate the application of a generalization of our approach to fully-interchangeable matrix search problems.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
05/28/2010

Symmetries of Symmetry Breaking Constraints

Symmetry is an important feature of many constraint programs. We show th...
research
04/06/2018

BFS Enumeration for Breaking Symmetries in Graphs

There are numerous NP-hard combinatorial problems which involve searchin...
research
12/27/2010

Symmetry Breaking with Polynomial Delay

A conservative class of constraint satisfaction problems CSPs is a class...
research
10/28/2015

Computing the Ramsey Number R(4,3,3) using Abstraction and Symmetry breaking

The number R(4,3,3) is often presented as the unknown Ramsey number with...
research
12/22/2021

Lifting Symmetry Breaking Constraints with Inductive Logic Programming

Efficient omission of symmetric solution candidates is essential for com...
research
05/14/2022

Efficient lifting of symmetry breaking constraints for complex combinatorial problems

Many industrial applications require finding solutions to challenging co...
research
07/22/2011

Symmetry Breaking in Neuroevolution: A Technical Report

Artificial Neural Networks (ANN) comprise important symmetry properties,...

Please sign up or login with your details

Forgot password? Click here to reset