Abstract
Lemmings is a computer puzzle game developed by DMA Design and published by Psygnosis in 1991, in which the player has to guide a tribe of lemming creatures to safety through a hazardous landscape, by assigning them specific skills that modify their behavior in different ways. In this paper we study the optimization problem of saving the highest number of lemmings in a given landscape with a given number of available skills.
We prove that the game is PSPACE-complete, even if there is only one lemming to save. We thereby settle an open problem posed by Cormode in 2004, and again by Forišek in 2010. However, if we restrict to levels in which the available Builders, Bashers, and Miners are polynomially many, then the game is solvable in NP.
Furthermore, we show that saving the maximum number of lemmings is APX-hard, even when only Climbers are available. This contrasts with the membership in P of the decision problem restricted to levels with no “deadly areas” (such as water or traps) and only Climbers and Floaters, as previously established by Cormode.
This is a preview of subscription content, log in via an institution to check access.
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
Ausiello, C., Crescenzi, P., Gambosi, G., Kann, V., Marchetti-Spaccamela, A., Protasi, M.: Complexity and approximation: Combinatorial optimization problems and their approximability properties. Springer, Heidelberg (2003)
Cormode, G.: The hardness of the Lemmings game, or Oh no, more NP-completeness proofs. In: Proceedings of FUN 2004, pp. 65–76 (2004)
Demaine, E.D., Hearn, R.A.: Playing games with algorithms: Algorithmic combinatorial game theory. In: Albert, M.H., Nowakowski, R.J. (eds.) Games of No Chance, 3rd edn., vol. 56, pp. 3–56. MSRI Publications (2009)
Forišek, M.: Computational complexity of two-dimensional platform games. In: Boldi, P. (ed.) FUN 2010. LNCS, vol. 6099, pp. 214–227. Springer, Heidelberg (2010)
Håstad, J.: Some optimal inapproximability results. In: Proceedings of STOC 1997, pp. 1–10 (1997)
Kendall, G., Parkes, A., Spoerer, K.: A survey of NP-complete puzzles. International Computer Games Association Journal 31, 13–34 (2008)
McCarthy, J.: Partial formalizations and the Lemmings game. Technical report. Stanford University, Formal Reasoning Group (1998)
Papadimitriou, C.H.: Computational complexity. Addison-Wesley Publishing Company, Inc. (1994)
Spoerer, K.: The Lemmings puzzle: computational complexity of an approach and identification of difficult instances. Ph.D. thesis (2007)
Viglietta, G.: Gaming is a hard job, but someone has to do it! In: Kranakis, E., Krizanc, D., Luccio, F. (eds.) FUN 2012. LNCS, vol. 7288, pp. 357–367. Springer, Heidelberg (2012)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2014 Springer International Publishing Switzerland
About this paper
Cite this paper
Viglietta, G. (2014). Lemmings Is PSPACE-Complete. In: Ferro, A., Luccio, F., Widmayer, P. (eds) Fun with Algorithms. FUN 2014. Lecture Notes in Computer Science, vol 8496. Springer, Cham. https://doi.org/10.1007/978-3-319-07890-8_29
Download citation
DOI: https://doi.org/10.1007/978-3-319-07890-8_29
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-07889-2
Online ISBN: 978-3-319-07890-8
eBook Packages: Computer ScienceComputer Science (R0)