It is shown that, given an arbitrary GO position on an n × n board, the problem of determining the winner is Pspace hard. New techniques are exploited to overcome the difficulties arising from the planar nature of board games. In particular, it is proved that GO is Pspace hard by reducing a Pspace-complete set, TQBF, to a game called generalized geography, then to a planar version of that game, and finally to GO. © 1980, ACM. All rights reserved.
CITATION STYLE
Lichtenstein, D., & Sipser, M. (1980). GO Is Polynomial-Space Hard. Journal of the ACM (JACM), 27(2), 393–401. https://doi.org/10.1145/322186.322201
Mendeley helps you to discover research relevant for your work.