On the Complexity of Existential Pebble Games
Existential k-pebble games, k≥ 2, are combinatorial games played between two players, called the Spoiler and the Duplicator, on two structures. These games were originally introduced in order to analyze the expressive power of Datalog and related infinitary logics with finitely many variables. More recently, however, it was realized that existential k-pebble games have tight connections with certain consistency properties which play an important role in identifying tractable classes of constraint satisfaction problems and in designing heuristic algorithms for solving such problems. Specifically, it has been shown that strong k-consistency can be established for an instance of constraint satisfaction if and only if the Duplicator has a winnning strategy for the existential k-pebble game between two finite structures associated with the given instance of constraint satisfaction. In this paper, we pinpoint the computational complexity of determining the winner of the existential k-pebble game. The main result is that the following decision problem is EXPTIME-complete: given a positive integer k and two finite structures A and B, does the Duplicator win the existential k-pebble game on A and B? Thus, all algorithms for determining whether strong k-consistency can be established (when k is part of the input) are inherently exponential.
KeywordsUndirected Graph Constraint Satisfaction Constraint Satisfaction Problem Expressive Power Winning Strategy
Unable to display preview. Download preview PDF.
- 3.Dalmau, V., Kolaitis, P.G., Vardi, M.Y.: Constraint satisfaction, bounded treewidth, and finite-variable logics. In: Proc. of Eighth International Conference on Principles and Practice of Constraint Programming, pp. 310–326 (2002)Google Scholar
- 4.Dechter, R.: Constraint networks. In: Shapiro, S.C. (ed.) Encyclopedia of Artificial Intelligence, pp. 276–285. Wiley, NewYork (1992)Google Scholar
- 10.Kasif, S.: On the parallel complexity of some constraint satisfaction problems. In: Proc. of Fifth National Conference on Artificial Intelligencee, vol. 1, pp. 349–353 (1986)Google Scholar
- 12.Kolaitis, P.G., Vardi, M.Y.: A game-theoretic approach to constraint satisfaction. In: Proc. of the Seventeenth National Conference on Artificial Intelligence, pp. 175–181 (2000)Google Scholar