Comparison of Symmetry Breaking Methods

12 years 9 months ago
Comparison of Symmetry Breaking Methods
Symmetry in a Constraint Satisfaction Problem can cause wasted search, which can be avoided by adding constraints to the CSP to exclude symmetric assignments or by modifying the search algorithm so that search never visits assignments symmetric to those already considered. One such approach is SBDS (Symmetry Breaking During Search); a modification is GAP-SBDS, which works with the symmetry group rather than individual symmetries. There has been little experience of how these techniques compare in practice. We compare their performance in finding all graceful labellings of graphs with symmetry. For these problems, GAPSBDS is faster than SBDS unless there are few symmetries. When simple symmetry-breakingconstraints can be found to break all the symmetry, GAP-SBDS is slower; if the constraints break only part of the symmetry, GAP-SBDS does less search and is faster. Eliminating symmetry has allowed us to find all graceful labellings, or prove that there are none, for several graphs wh...
Karen E. Petrie
Added 06 Jul 2010
Updated 06 Jul 2010
Type Conference
Year 2003
Where CP
Authors Karen E. Petrie
Comments (0)