TY - GEN
T1 - Breaking symmetries in graphs
T2 - 22nd International Conference on Principles and Practice of Constraint Programming, CP 2016
AU - Codish, Michael
AU - Gange, Graeme
AU - Itzhakov, Avraham
AU - Stuckey, Peter J.
N1 - Publisher Copyright:
© Springer International Publishing Switzerland 2016.
PY - 2016/1/1
Y1 - 2016/1/1
N2 - Symmetry breaking is an essential component when solving graph search problems as it restricts the search space to that of canonical representations. There are an abundance of powerful tools, such as nauty, which apply to find the canonical representation of a given graph and to test for isomorphisms given a set of graphs. In contrast, for graph search problems, current symmetry breaking techniques are partial and solvers unnecessarily explore an abundance of isomorphic parts of the search space. This paper is novel in that it introduces complete symmetry breaking for graph search problems by modeling, in terms of constraints, the same ideas underlying the algorithm applied in tools like nauty. Whereas nauty tests given graphs, symmetry breaks restrict the search space and apply during generation.
AB - Symmetry breaking is an essential component when solving graph search problems as it restricts the search space to that of canonical representations. There are an abundance of powerful tools, such as nauty, which apply to find the canonical representation of a given graph and to test for isomorphisms given a set of graphs. In contrast, for graph search problems, current symmetry breaking techniques are partial and solvers unnecessarily explore an abundance of isomorphic parts of the search space. This paper is novel in that it introduces complete symmetry breaking for graph search problems by modeling, in terms of constraints, the same ideas underlying the algorithm applied in tools like nauty. Whereas nauty tests given graphs, symmetry breaks restrict the search space and apply during generation.
UR - http://www.scopus.com/inward/record.url?scp=84986203077&partnerID=8YFLogxK
U2 - 10.1007/978-3-319-44953-1_11
DO - 10.1007/978-3-319-44953-1_11
M3 - Conference contribution
AN - SCOPUS:84986203077
SN - 9783319449524
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 157
EP - 172
BT - Principles and Practice of Constraint Programming - 22nd International Conference, CP 2016, Proceedings
A2 - Rueher, Michel
PB - Springer Verlag
Y2 - 5 September 2016 through 9 September 2016
ER -