N by N Checkers is Exptime Complete
暂无分享,去创建一个
The game of Checkers can easily be generalized to be played on an N by N board and the complexity of deciding questions about positions regarded as a function of N. This paper considers mainly the question of whether a particular player can force a win from a given position and also the question of what is the best move in a given position. Each of these problems is shown to be complete in exponential time. This means that any algorithm to solve them must take time which rises exponentially with respect to some power of N and moreover that they are amongst the hardest problems with such a time bound.For instance if there are any problems solvable in exponential time but not in polynomial space, then these two problems are amongst them.
[1] Aviezri S. Fraenkel,et al. Computing a Perfect Strategy for n x n Chess Requires Time Exponential in n , 1981, J. Comb. Theory, Ser. A.
[2] Shigeki Iwata,et al. Classes of Pebble Games and Complete Problems , 1979, SIAM J. Comput..
[3] David Lichtenstein,et al. GO Is Polynomial-Space Hard , 1980, JACM.
[4] David S. Johnson,et al. The complexity of checkers on an N × N board , 1978, 19th Annual Symposium on Foundations of Computer Science (sfcs 1978).