Symmetries of Symmetry Breaking Constraints - Computer Science > Artificial IntelligenceReportar como inadecuado




Symmetries of Symmetry Breaking Constraints - Computer Science > Artificial Intelligence - Descarga este documento en PDF. Documentación en PDF para descargar gratis. Disponible también para leer online.

Abstract: Symmetry is an important feature of many constraint programs. We show thatany symmetry acting on a set of symmetry breaking constraints can be used tobreak symmetry. Different symmetries pick out different solutions in eachsymmetry class. We use these observations in two methods for eliminatingsymmetry from a problem. These methods are designed to have many of theadvantages of symmetry breaking methods that post static symmetry breakingconstraint without some of the disadvantages. In particular, the two methodsprune the search space using fast and efficient propagation of postedconstraints, whilst reducing the conflict between symmetry breaking andbranching heuristics. Experimental results show that the two methods performwell on some standard benchmarks.



Autor: George Katsirelos, Toby Walsh

Fuente: https://arxiv.org/







Documentos relacionados