Constraint symmetry for the soft CSP

  • Authors:

  • Barbara M. Smith;Stefano Bistarelli;Barry O'Sullivan

  • Affiliations:

  • School of Computing, University of Leeds, UK;Istituto di Informatica e Telematica, CNR, Pisa, Italy and Dipartimento di Scienze, Universitá degli Studi "G. d'Annunzio", Pescara, Italy;Cork Constraint Computation Centre, University College Cork, Ireland

  • Venue:
  • CP'07 Proceedings of the 13th international conference on Principles and practice of constraint programming
  • Year:
  • 2007

Quantified Score

Hi-index 0.00

Visualization

Abstract

We introduce a definition of constraint symmetry for soft CSPs, based on the definition of constraint symmetry for classical CSPs. We show that the constraint symmetry group of a soft CSP is a subgroup of that of an associated classical CSP instance. Where it is smaller, we can successfully exploit the additional symmetries using conditional symmetry breaking. We demonstrate, in a case-study of graph colouring, that eliminating the symmetry of the soft CSP combined with conditional symmetry breaking can lead to huge reductions in the search effort to find an optimal solution to the soft CSP.