English
Related papers

Related papers: Celeste is PSPACE-hard

200 papers

We consider the following modification of annihilation game called node blocking. Given a directed graph, each vertex can be occupied by at most one token. There are two types of tokens, each player can move his type of tokens. The players…

Computer Science and Game Theory · Computer Science 2021-03-05 Dariusz Dereniowski

We analyze the computational complexity of motion planning through local "input/output" gadgets with separate entrances and exits, and a subset of allowed traversals from entrances to exits, each of which changes the state of the gadget and…

Computational Complexity · Computer Science 2023-11-16 Hayashi Ani , Erik D. Demaine , Dylan H. Hendrickson , Jayson Lynch

We analyze the computational complexity of two 2-player games involving packing objects into a box. In the first game, players alternate drawing polycubes from a shared pile and placing them into an initially empty box in any available…

Computational Complexity · Computer Science 2019-11-19 Oliver Korten

We show that the Minesweeper game is PP-hard, when the object is to locate all mines with the highest probability. When the probability of locating all mines may be infinitesimal, the Minesweeper game is even PSPACE-complete. In our…

Computational Complexity · Computer Science 2012-04-23 Michiel de Bondt

We study the problem of deciding the winner of reachability switching games for zero-, one-, and two-player variants. Switching games provide a deterministic analogue of stochastic games. We show that the zero-player case is NL-hard, the…

Formal Languages and Automata Theory · Computer Science 2023-06-22 John Fearnley , Martin Gairing , Matthias Mnich , Rahul Savani

In this paper, we show that the problem of determining whether one player can force a win in a multiplayer version of the children's card game War is PSPACE-hard. The same reduction shows that a related problem, asking whether a player can…

Computational Complexity · Computer Science 2015-03-11 Jonathan Weed

We prove PSPACE-completeness of two classic types of Chess problems when generalized to n-by-n boards. A "retrograde" problem asks whether it is possible for a position to be reached from a natural starting position, i.e., whether the…

Computational Complexity · Computer Science 2020-10-20 Josh Brunner , Erik D. Demaine , Dylan Hendrickson , Julian Wellman

We study the computational complexity of the popular board game backgammon. We show that deciding whether a player can win from a given board configuration is NP-Hard, PSPACE-Hard, and EXPTIME-Hard under different settings of known and…

Computational Complexity · Computer Science 2021-12-15 R. Teal Witter

We initiate a general theory for analyzing the complexity of motion planning of a single robot through a graph of "gadgets", each with their own state, set of locations, and allowed traversals between locations that can depend on and change…

Computational Complexity · Computer Science 2018-06-13 Erik D. Demaine , Isaac Grosof , Jayson Lynch , Mikhail Rudoy

Hive is an abstract strategy game played on a table with hexagonal pieces. First published in 2001, it was and continues to be highly popular among both casual and competitive players. In this paper, we show that for a suitably generalized…

Computational Complexity · Computer Science 2026-05-20 Daniël Andel , Benjamin Rin

In the video game "7 Billion Humans", the player is requested to direct a group of workers to various destinations by writing a program that is executed simultaneously on each worker. While the game is quite rich and, indeed, it is…

Computational Complexity · Computer Science 2024-07-11 Alessandro Panconesi , Pietro Maria Posta , Mirko Giacchini

We analyze the computational complexity of optimally playing the two-player board game Push Fight, generalized to an arbitrary board and number of pieces. We prove that the game is PSPACE-hard to decide who will win from a given position,…

Computational Complexity · Computer Science 2018-03-13 Jeffrey Bosboom , Erik D. Demaine , Mikhail Rudoy

Generalized Geography is a combinatorial game played on a directed graph. Players take turns moving a token from vertex to vertex, deleting a vertex after moving the token away from it. A player unable to move loses. It is well known that…

Computational Complexity · Computer Science 2021-08-24 Nathan Fox , Carson Geissler

A poset game is a two-player game played over a partially ordered set (poset) in which the players alternate choosing an element of the poset, removing it and all elements greater than it. The first player unable to select an element of the…

Computational Complexity · Computer Science 2015-03-20 Daniel Grier

Implementing multi-player networked games by broadcasting the player's input and letting each client calculate the game state - a scheme known as lock-step simulation - is an established technique. However, ensuring that every client in…

Programming Languages · Computer Science 2017-06-30 Joachim Breitner , Chris Smith

Difficulty is one of the key drivers of player engagement and it is often one of the aspects that designers tweak most to optimise the player experience; operationalising it is, therefore, a crucial task for game development studios. A…

Artificial Intelligence · Computer Science 2025-03-20 Jeppe Theiss Kristensen , Paolo Burelli

We consider the complexity properties of modern puzzle games, Hexiom, Cut the Rope and Back to Bed. The complexity of games plays an important role in the type of experience they provide to players. Back to Bed is shown to be PSPACE-Hard…

Computational Complexity · Computer Science 2020-05-22 Diogo M. Costa , Alexandre P. Francisco , Luís M. S. Russo

Bloxorz is an online puzzle game where players move a 1 by 1 by 2 block by tilting it on a subset of the two dimensional grid. Bloxorz features switches that open and close trapdoors. The puzzle is to move the block from its initial…

Computational Complexity · Computer Science 2014-11-24 Tom C. van der Zanden , Hans L. Bodlaender

We build off the game, NimG to create a version named Neighboring Nim. By reducing from Geography, we show that this game is PSPACE-hard. The games created by the reduction share strong similarities with Undirected (Vertex) Geography and…

Computer Science and Game Theory · Computer Science 2014-10-08 Kyle Burke , Olivia George

In this paper we survey the computational time complexity of assorted simple stochastic game problems, and we give an overview of the best known algorithms associated with each problem.

Computational Complexity · Computer Science 2007-05-23 Jonas Dieckelmann