Sciweavers

Share
AAAI
2000

A Game-Theoretic Approach to Constraint Satisfaction

9 years 7 months ago
A Game-Theoretic Approach to Constraint Satisfaction
We shed light on the connections between different approaches to constraint satisfaction by showing that the main consistency concepts used to derive tractability results for constraint satisfaction are intimately related to certain combinatorial pebble games, called the existential -pebble games, that were originally introduced in the context of Datalog. The crucial insight relating pebble games to constraint satisfaction is that the key concept of strong -consistency is equivalent to a condition on winning strategies for the Duplicator player in the existential -pebble game. We use this insight to show that strong -consistency can be established if and only if the Duplicator wins the existential -pebble game. Moreover, whenever strong -consistency can be established, one method for doing this is to first compute the largest winning strategy for the Duplicator in the existential -pebble game and then modify the original problem by augmenting it with the constraints expressed by the l...
Phokion G. Kolaitis, Moshe Y. Vardi
Added 01 Nov 2010
Updated 01 Nov 2010
Type Conference
Year 2000
Where AAAI
Authors Phokion G. Kolaitis, Moshe Y. Vardi
Comments (0)
books