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...

Descrición completa

Detalles Bibliográficos
Main Authors: Cohen, D, Jeavons, P, Jefferson, C, Petrie, K, Smith, B
Formato: Journal article
Idioma:English
Publicado: 2006
Descripción
Summary: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.