Abstract
The complexity class PSPACE is one of the most robust concepts in contemporary computer science. Aside from the fact that space is invariant (for reasonable models at least) up to a constant factor, the class can be characterized in many alternative ways, involving parallel computation, logic problems like QBF, interactive computation models but also by means of games.
In the literature the connection between PSPACE and games is established as a consequence either of the PSPACE completeness of the QBF problem or as a consequence of the properties of the alternating computation model. Based on either of these starts one subsequently has investigated the PSPACE completeness of endgame analysis problems for various specific games.
The purpose of this note is to present a direct reduction of an arbitrary PSPACE problem into endgame analysis of a corresponding game. As a consequence we obtain an alternative proof of the 1970 Savitch theorem showing that PSPACE is closed under nondeterminism. Furthermore we reconsider the direct translation of endgame analysis of some game in QBF, in order to obtain a better understanding of the conditions on the game which enable this translation.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Babai, L., Moran, S.: Arthur-Merlin Games: a Randomized Proof System and a Hierarchy of Complexity Classes. J. Comput. Syst. Sci. 36, 254–276 (1988)
van Benthem, J.F.A.K.: Logic Games are Complete for Game Logics. Studia Logica 75, 183–203 (2003)
Chandra, A.K., Kozen, D., Stockmeyer, L.J.: Alternation. J. Assoc. Comput. Mach. 28, 114–133 (1981)
Chlebus, B.S.: Domino-Tiling Games. J. Comput. Syst. Sci. 32, 374–392 (1986)
Demaine, E.D.: Playing Games with Algorithms: Algorithmic Combinatorial Game Theory. In: Sgall, J., Pultr, A., Kolman, P. (eds.) MFCS 2001. LNCS, vol. 2136, pp. 18–32. Springer, Heidelberg (2001)
Flake, G.W., Baum, E.B.: Rush Hour is PSPACE-complete, or “Why you should generously tip parking lot attendants”? Theor. Computer Sci. 270, 895–911 (2002)
Fraenkel, A.S., Lichtenstein, D.: Computing a perfect strategy for n x n chess requires time exponential in n. J. Combin. theory series A 31, 199–213 (1981)
Garey, M.R., Johnson, D.S.: Computers and Intractability; a Guide to the Theory of NP-completeness. Freeman, New York (1979)
Gijlswijk, V.W., Kindervater, G.A.P., van Tubergen, G.J., Wiegerinck, J.J.O.O.: Computer Analysis of E. de Bono’s L-Game. Rep. Math, Inst. UvA 76-18 (1976)
John, R., Gilbert, J.R., Lengauer, T., Tarjan, R.E.: The Pebbling Problem is Complete in Polynomial Space. SIAM J. Comput. 9, 513–524 (1980)
Goldwasser, S., Micali, S., Rackoff, C.: The Knowledge Complexity of Interactive Proof Systems. SIAM J. Comput. 18, 186–208 (1989)
Savitch, W.J.: Relations between Deterministic and Nondeterministic tape Complexities. J. Comput. Syst. Sci. 12, 177–192 (1970)
Schäfer, T.J.: Complexity of some two-person perfect-information games. J. Comput. Syst. Sci. 16, 185–225 (1978)
Shamir, A.: IP = PSPACE. J. Assoc. Comput. Mach. 39, 878–880 (1992)
Stockmeyer, L.J., Meyer, A.R.: Word problems requiring exponential time. In: Proc. ACM STOC, vol. 5, pp. 1–9 (1973)
van Emde Boas, P.: Machine models and simulations. In: van Leeuwen, J. (ed.) Handbook of theoretical computer science, vol. A, pp. 3–66. North Holland Publ. Cie, MIT Press (1990)
van Emde Boas, P.: The convenience of tiling. In: Sorbi, A. (ed.) Complexity, Logic and Recursion Theory. Lect. Notes in Pure and Applied Math., vol. 187, pp. 331–363 (1977)
van Emde Boas, P.: Classroom material for the course Games and Complexity for the year 2007-2008, http://staff.science.uva.nl/~peter/teaching/gac08.html
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2010 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
van Emde Boas, P. (2010). Playing Savitch and Cooking Games. In: Dams, D., Hannemann, U., Steffen, M. (eds) Concurrency, Compositionality, and Correctness. Lecture Notes in Computer Science, vol 5930. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-11512-7_2
Download citation
DOI: https://doi.org/10.1007/978-3-642-11512-7_2
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-11511-0
Online ISBN: 978-3-642-11512-7
eBook Packages: Computer ScienceComputer Science (R0)