Constraint symmetry and solution symmetry

Symmetry in constraint satisfaction problems (CSPs) has been considered in two fundamentally different ways: as an operation preserving the solutions of a CSP instance, or as an operation preserving the constraints. To reflect these two views, we define solution symmetry and constraint symmetry. We...

ver descrição completa

Detalhes bibliográficos
Main Authors: Cohen, D, Jeavons, P, Jefferson, C, Petrie, K, Smith, B
Formato: Journal article
Idioma:English
Publicado em: 2006
Descrição
Resumo:Symmetry in constraint satisfaction problems (CSPs) has been considered in two fundamentally different ways: as an operation preserving the solutions of a CSP instance, or as an operation preserving the constraints. To reflect these two views, we define solution symmetry and constraint symmetry. We discuss how these concepts are related and show that some CSP instances have many more solution symmetries than constraint symmetries. Copyright © 2006, American Association for Artificial Intelligence (www.aaai.org). All rights reserved.