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

Ամբողջական նկարագրություն

Մատենագիտական մանրամասներ
Հիմնական հեղինակներ: Cohen, D, Jeavons, P, Jefferson, C, Petrie, K, Smith, B
Ձևաչափ: Journal article
Լեզու:English
Հրապարակվել է: 2006
Նկարագրություն
Ամփոփում: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.