On the complexity and completeness of static constraints for breaking row and column symmetry

18Citations
Citations of this article
11Readers
Mendeley users who have this article in their library.
Get full text

Abstract

We consider a common type of symmetry where we have a matrix of decision variables with interchangeable rows and columns. A simple and efficient method to deal with such row and column symmetry is to post symmetry breaking constraints like DoubleLex and SnakeLex. We provide a number of positive and negative results on posting such symmetry breaking constraints. On the positive side, we prove that we can compute in polynomial time a unique representative of an equivalence class in a matrix model with row and column symmetry if the number of rows (or of columns) is bounded and in a number of other special cases. On the negative side, we show that whilst DoubleLex and SnakeLexare often effective in practice, they can leave a large number of symmetric solutions in the worst case. In addition, we prove that propagating DoubleLex completely is NP-hard. Finally we consider how to break row, column and value symmetry, correcting a result in the literature about the safeness of combining different symmetry breaking constraints. We end with the first experimental study on how much symmetry is left by DoubleLex and SnakeLex on some benchmark problems. © 2010 Springer-Verlag.

Cite

CITATION STYLE

APA

Katsirelos, G., Narodytska, N., & Walsh, T. (2010). On the complexity and completeness of static constraints for breaking row and column symmetry. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 6308 LNCS, pp. 305–320). Springer Verlag. https://doi.org/10.1007/978-3-642-15396-9_26

Register to see more suggestions

Mendeley helps you to discover research relevant for your work.

Already have an account?

Save time finding and organizing research with Mendeley

Sign up for free