Abstract
Quantified linear programs (QLPs) are linear programs with mathematical variables being either existentially or universally quantified. The integer variant (Quantified linear integer program, QIP) is PSPACE-complete, and can be interpreted as a two-person zero-sum game. Additionally, it demonstrates remarkable flexibility in polynomial reduction, such that many interesting practical problems can be elegantly modeled as QIPs. Indeed, the PSPACE-completeness guarantees that all PSPACE-complete problems such as games like Othello, Go-Moku, and Amazons, can be described with the help of QIPs, with only moderate overhead. In this paper, we present the Dynamic Graph Reliability (DGR) optimization problem and the game Go-Moku as examples.
Research partially supported by German Research Foundation (DFG) funded SFB 805.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Allis, L.: Searching for solutions in games and artificial intelligence. Ph.D. thesis (1994)
van Benthem, J.: An Essay on Sabotage and Obstruction. In: Hutter, D., Stephan, W. (eds.) Mechanizing Mathematical Reasoning. LNCS (LNAI), vol. 2605, pp. 268–276. Springer, Heidelberg (2005)
Condon, J., Thompson, K.: Belle chess hardware. In: Clarke, M.R.B. (ed.) Advances in Computer Chess III, pp. 44–54. Pergamon Press (1982)
Coulom, R.: Efficient Selectivity and Backup Operators in Monte-Carlo Tree Search. In: van den Herik, H.J., Ciancarini, P., Donkers, H.H.L.M(J.) (eds.) CG 2006. LNCS, vol. 4630, pp. 72–83. Springer, Heidelberg (2007)
Donninger, C., Lorenz, U.: The Chess Monster Hydra. In: Becker, J., Platzner, M., Vernalde, S. (eds.) FPL 2004. LNCS, vol. 3203, pp. 927–932. Springer, Heidelberg (2004)
Ederer, T., Lorenz, U., Martin, A., Wolf, J.: Quantified Linear Programs: A Computational Study. In: Demetrescu, C., Halldórsson, M.M. (eds.) ESA 2011. LNCS, vol. 6942, pp. 203–214. Springer, Heidelberg (2011)
Fraenkel, A., Lichtenstein, D.: Computing a perfect strategy for n×n chess requires time exponential in n. J. Comb. Th. A 31, 199–214 (1981)
Fraenkel, A.S., Garey, M.R., Johnson, D.S., Schaefer, T., Yesha, Y.: The complexity of checkers on an n×n board. In: 19th Annual Symposium on Foundations of Computer Science (FOCS 1978), pp. 55–64 (1978)
Hearn, R.: Amazons is pspace-complete. Tech. Rep. cs.CC/0502013 (February 2005)
van den Herik, H., Nunn, J., Levy, D.: Adams outclassed by hydra. ICGA Journal 28(2), 107–110 (2005)
van den Herik, H., Uiterwijk, J., van Rijswijk, J.: Games solved: Now and in the future. Artificial Intelligence 134, 277–312 (2002)
Hsu, F.H.: Ibm’s deep blue chess grandmaster chips. IEEE Micro 18(2), 70–80 (1999)
Hsu, F.H., Anantharaman, T., Campbell, M.: No: Deep thought. In: Computers, Chess, and Cognition, pp. 55–78 (1990)
Hyatt, R., Gower, B., H.L., N.: Cray blitz. In: Beal, D.F. (ed.) Advances in Computer Chess IV, pp. 8–18. Pergamon Press (1985)
Iwata, S., Kasai, T.: The othello game on an n*n board is pspace-complete. Theoretical Computer Science 123, 329–340 (1994)
Kocsis, L., Szepesvári, C.: Bandit Based Monte-Carlo Planning. In: Fürnkranz, J., Scheffer, T., Spiliopoulou, M. (eds.) ECML 2006. LNCS (LNAI), vol. 4212, pp. 282–293. Springer, Heidelberg (2006)
Löding, C., Rohde, P.: Solving the Sabotage Game Is PSPACE-Hard. In: Rovan, B., Vojtáš, P. (eds.) MFCS 2003. LNCS, vol. 2747, pp. 531–540. Springer, Heidelberg (2003)
Lorenz, U., Martin, A., Wolf, J.: Polyhedral and algorithmic properties of quantified linear programs. In: Annual European Symposium on Algorithms, pp. 512–523 (2010)
Papadimitriou, C.: Games against nature. J. of Comp. and Sys. Sc., 288–301 (1985)
Plaat, A., Schaeffer, J., Pijls, W., De Bruin, A.: Best-first fixed-depth game-tree search in practice. In: Proceedings of the 14th International Joint Conference on Artificial Intelligence, vol. 1, pp. 273–279. Morgan Kaufmann Publishers Inc., San Francisco (1995)
Reisch, S.: Gobang ist pspace-vollstandig (gomoku is pspace-complete). Acta Informatica 13, 5966 (1999)
Robson, J.M.: The complexity of go. In: Proceedings of IFIP Congress, pp. 413–417 (1983)
Silver, D.: Reinforcement Learning and Simulation-Based Search in Computer Go. Ph.D. thesis, University of Alberta (2009)
Slate, D., Atkin, L.: Chess 4.5 - the northwestern university chess program. In: Frey, P.W. (ed.) Chess Skill in Man and Machine, pp. 82–118. Springer (1977)
Subramani, K.: Analyzing Selected Quantified Integer Programs. In: Basin, D., Rusinowitch, M. (eds.) IJCAR 2004. LNCS (LNAI), vol. 3097, pp. 342–356. Springer, Heidelberg (2004)
Winands, M.H.M., Uiterwijk, J.W.H.M., van den Herik, H.J.: PDS-PN: A New Proof-Number Search Algorithm. In: Schaeffer, J., Müller, M., Björnsson, Y. (eds.) CG 2002. LNCS, vol. 2883, pp. 61–74. Springer, Heidelberg (2003)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2012 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Ederer, T., Lorenz, U., Opfer, T., Wolf, J. (2012). Modeling Games with the Help of Quantified Integer Linear Programs. In: van den Herik, H.J., Plaat, A. (eds) Advances in Computer Games. ACG 2011. Lecture Notes in Computer Science, vol 7168. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-31866-5_23
Download citation
DOI: https://doi.org/10.1007/978-3-642-31866-5_23
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-31865-8
Online ISBN: 978-3-642-31866-5
eBook Packages: Computer ScienceComputer Science (R0)