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 largest winning strategy. This basic result makes it possible to establish deeper connections between pebble games, consistency properties, and tractability of constraint satisfaction. In particular, we use existential -pebble games to introduce the concept of -locality and show that it constitutes a new tractable case of constraint satisfaction that properly extends the well known case in which establishing strong -consistency implies global consistency.

[1]  Rina Dechter,et al.  From Local to Global Consistency , 1990, Artif. Intell..

[2]  Tomás Feder,et al.  The Computational Structure of Monotone Monadic SNP and Constraint Satisfaction: A Study through Datalog and Group Theory , 1999, SIAM J. Comput..

[3]  Krzysztof R. Apt,et al.  The Essence of Constraint Propagation , 1998, Theor. Comput. Sci..

[4]  Martin C. Cooper,et al.  Constraints, Consistency and Closure , 1998, Artif. Intell..

[5]  Eugene C. Freuder,et al.  The Complexity of Constraint Satisfaction Revisited , 1993, Artif. Intell..

[6]  Serge Abiteboul,et al.  Foundations of Databases , 1994 .

[7]  Marc Gyssens,et al.  A Unifying Framework for Tractable Constraints , 1995, CP.

[8]  Eugene C. Freuder A Sufficient Condition for Backtrack-Free Search , 1982, JACM.

[9]  Martin C. Cooper An Optimal k-Consistency Algorithm , 1989, Artif. Intell..

[10]  P. Ladkin,et al.  An Algebraic Approach to General Boolean Constraint Problems , 1995 .

[11]  Phokion G. Kolaitis,et al.  On the expressive power of datalog: tools and a case study , 1990, J. Comput. Syst. Sci..

[12]  Marc Gyssens,et al.  A test for Tractability , 1996, CP.

[13]  Marc Gyssens,et al.  Closure properties of constraints , 1997, JACM.

[14]  C FreuderEugene A Sufficient Condition for Backtrack-Free Search , 1982 .

[15]  Peter van Beek,et al.  Constraint tightness and looseness versus local and global consistency , 1997, JACM.

[16]  Eugene C. Freuder Synthesizing constraint expressions , 1978, CACM.

[17]  Phokion G. Kolaitis,et al.  Conjunctive-Query Containment and Constraint Satisfaction , 2000, J. Comput. Syst. Sci..