English
Related papers

Related papers: Candy Crush is NP-hard

200 papers

We prove PSPACE-hardness for fifteen games in the Super Mario Bros. 2D platforming video game series. Previously, only the original Super Mario Bros. was known to be PSPACE-hard (FUN 2016), though several of the games we study were known to…

Computational Complexity · Computer Science 2024-04-17 MIT Hardness Group , Hayashi Ani , Erik D. Demaine , Holden Hall , Matias Korman

We analyze the computational complexity of the video game "CELESTE" and prove that solving a generalized level in it is NP-Complete. Further, we also show how, upon introducing a small change in the game mechanics (adding a new game…

Computational Complexity · Computer Science 2022-12-02 Zeeshan Ahmed , Alapan Chaudhuri , Kunwar Shaanjeet Singh Grover , Ashwin Rao , Kushagra Garg , Pulak Malhotra

We introduce a new family of one-player games, involving the movement of coins from one configuration to another. Moves are restricted so that a coin can be placed only in a position that is adjacent to at least two other coins. The goal of…

Discrete Mathematics · Computer Science 2007-05-23 Erik D. Demaine , Martin L. Demaine , Helena A. Verrill

We prove NP-hardness results for five of Nintendo's largest video game franchises: Mario, Donkey Kong, Legend of Zelda, Metroid, and Pokemon. Our results apply to generalized versions of Super Mario Bros. 1-3, The Lost Levels, and Super…

Computational Complexity · Computer Science 2015-02-10 Greg Aloupis , Erik D. Demaine , Alan Guo , Giovanni Viglietta

We explore the complexity of nucleolus computation in b-matching games on bipartite graphs. We show that computing the nucleolus of a simple b-matching game is NP-hard even on bipartite graphs of maximum degree 7. We complement this with…

Computer Science and Game Theory · Computer Science 2025-10-15 Jochen Koenemann , Justin Toth , Felix Zhou

Inspired by a common technique for shuffling a deck of cards on a table without riffling, we continue the study of a prequel paper on the pile shuffle and its capabilities as a sorting device. We study two sort feasibility problems of…

Computational Complexity · Computer Science 2025-06-09 Kyle B. Treleaven

We expand the theory of pebbling to graphs with weighted edges. In a weighted pebbling game, one player distributes a set amount of weight on the edges of a graph and his opponent chooses a target vertex and places a configuration of…

Combinatorics · Mathematics 2011-06-09 Stephanie Jones , Joshua D. Laison , Cameron McLeman , Kathryn Nyman

The main result of this paper is that computing the value of a one-clock priced timed game (OCPTG) is PSPACE-hard. Along the way, we provide a family of OCPTGs that have an exponential number of event points. Both results hold even in very…

Computer Science and Game Theory · Computer Science 2020-03-06 John Fearnley , Rasmus Ibsen-Jensen , Rahul Savani

Graph burning runs on discrete time steps. The aim is to burn all the vertices in a given graph in the least number of time steps. This number is known to be the burning number of the graph. The spread of social influence, an alarm, or a…

Data Structures and Algorithms · Computer Science 2021-02-02 Arya Tanmay Gupta , Swapnil A. Lokhande , Kaushik Mondal

We study the complexity of solving two-player infinite duration games played on a fixed finite graph, where the control of a node is not predetermined but rather assigned randomly. In classic random-turn games, control of each node is…

Computer Science and Game Theory · Computer Science 2026-01-13 Sarvin Bahmani , Rasmus Ibsen-Jensen , Soumyajit Paul , Sven Schewe , Friedrich Slivovsky , Qiyi Tang , Dominik Wojtczak , Shufang Zhu

In this paper, we study the cooperative card game, The Crew: The Quest for Planet Nine from the viewpoint of algorithmic combinatorial game theory. The Crew: The Quest for Planet Nine, is a game based on traditional trick-taking card games,…

Discrete Mathematics · Computer Science 2021-10-27 Frederick Reiber

The maximum matching width is a graph width parameter that is defined on a branch-decomposition over the vertex set of a graph. In this short paper, we prove that the problem of computing the maximum matching width is NP-hard.

Discrete Mathematics · Computer Science 2017-10-17 Kwangjun Ahn , Jisu Jeong

We study symmetric bimatrix games that also have the common-payoff property, i.e., the two players receive the same payoff at any outcome of the game. Due to the symmetry property, these games are guaranteed to have symmetric Nash…

Computer Science and Game Theory · Computer Science 2025-07-28 Abheek Ghosh , Alexandros Hollender

Given a graph where every vertex has exactly one labeled token, how can we most quickly execute a given permutation on the tokens? In (sequential) token swapping, the goal is to use the shortest possible sequence of swaps, each of which…

An input to the Popular Matching problem, in the roommates setting, consists of a graph $G$ and each vertex ranks its neighbors in strict order, known as its preference. In the Popular Matching problem the objective is to test whether there…

Data Structures and Algorithms · Computer Science 2018-03-28 Sushmita Gupta , Pranabendu Misra , Saket Saurabh , Meirav Zehavi

Very recently, a long-standing open question proposed by Bodlaender in 1991 was answered: the graph coloring game is PSPACE-complete. In 2019, Andres and Lock proposed five variants of the graph coloring game and left open the question of…

Discrete Mathematics · Computer Science 2019-12-03 Thiago Marcilon , Nicolas Martins , Rudini Sampaio

We introduce and study the game of "Selfish Cops and Active Robber" (SCAR) which can be seen as an multiplayer variant of the "classic" two-player Cops and Robbers (CR) game. In classic CR all cops are controlled by a single player, who has…

Discrete Mathematics · Computer Science 2018-09-13 G. Konstantinidis , Ath. Kehagias

We prove that Strings-and-Coins -- the combinatorial two-player game generalizing the dual of Dots-and-Boxes -- is strongly PSPACE-complete on multigraphs. This result improves the best previous result, NP-hardness, argued in Winning Ways.…

Computational Complexity · Computer Science 2023-10-27 Erik D. Demaine , Jenny Diomidova

The New York Times (NYT) games have found widespread popularity in recent years and reportedly account for an increasing fraction of the newspaper's readership. In this paper, we bring the computational lens to the study of New York Times…

Computational Complexity · Computer Science 2025-09-16 Alessandro Giovanni Alberti , Flavio Chierichetti , Mirko Giacchini , Daniele Muscillo , Alessandro Panconesi , Erasmo Tani

We prove NP-hardness and #P-hardness of Tetris clearing (clearing an initial board using a given sequence of pieces) with the Super Rotation System (SRS), even when the pieces are limited to any two of the seven Tetris piece types. This…

Computational Complexity · Computer Science 2024-04-17 MIT Hardness Group , Erik D. Demaine , Holden Hall , Jeffery Li