English
Related papers

Related papers: Candy Crush is NP-hard

200 papers

In this paper, we consider the maximum $k$-edge-colorable subgraph problem. In this problem we are given a graph $G$ and a positive integer $k$, the goal is to take $k$ matchings of $G$ such that their union contains maximum number of…

Combinatorics · Mathematics 2025-10-15 Vahan Mkrtchyan

We determine the behavior of Tanton's candy-passing game for all distributions of at least 3n-2 candies, where n is the number of students. Specifically, we show that the configuration of candy in such a game eventually becomes fixed.

Combinatorics · Mathematics 2008-05-04 Paul M. Kominers

In this paper, we give simple NP-hardness reductions for three popular video games. The first is Baba Is You, an award winning 2D block puzzle game with the key premise being the ability to rewrite the rules of the game. The second is Fez,…

Computational Complexity · Computer Science 2022-02-23 Matthew Ferland , Vikram Kher

We analyze the computational complexity of the popular computer games Threes!, 1024!, 2048 and many of their variants. For most known versions expanded to an m x n board, we show that it is NP-hard to decide whether a given starting…

Computational Complexity · Computer Science 2015-05-19 Stefan Langerman , Yushi Uno

The physics-based simulation game Angry Birds has been heavily researched by the AI community over the past five years, and has been the subject of a popular AI competition that is currently held annually as part of a leading AI conference.…

Computational Complexity · Computer Science 2020-01-17 Matthew Stephenson , Jochen Renz , Xiaoyu Ge

Counter reachability games are played by two players on a graph with labelled edges. Each move consists in picking an edge from the current location and adding its label to a counter vector. The objective is to reach a given counter value…

Computer Science and Game Theory · Computer Science 2013-07-22 Julien Reichert

Conway Checkers is a game played with a checker placed in each square of the lower half of an infinite checkerboard. Pieces move by jumping over an adjacent checker, removing the checker jumped over. Conway showed that it is not possible to…

Combinatorics · Mathematics 2025-12-05 Glenn Bruda , Joseph Cooper , Kareem Jaber , Raul Marquez , Steven J. Miller

We show that given a 3-colorable graph, it is NP-hard to find a 3-coloring with $(16/17 + \eps)$ of the edges bichromatic. In a related result, we show that given a satisfiable instance of the 2-to-1 Label Cover problem, it is NP-hard to…

Computational Complexity · Computer Science 2012-10-30 Per Austrin , Ryan O'Donnell , Li-Yang Tan , John Wright

We study the token swapping problem, in which we are given a graph with an initial assignment of one distinct token to each vertex, and a final desired assignment (again with one token per vertex). The goal is to find the minimum length…

Data Structures and Algorithms · Computer Science 2024-10-28 Sam Hiken , Nicole Wein

We define and give results on the game NecklaceNim NN($n$,$k$) which is PathNim PN($n$,$k$) with an additional move allowed on the end vertices. This game arises as a sub-game in the context of solving CircularNim CN($n$,$k$) when $k-2$…

Combinatorics · Mathematics 2026-04-14 Balaji R. Kadam , Silvia Heubach , Matthieu Dufour

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 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 prove that deciding whether the Runner can win this turn (mate-in-1) in the Netrunner card game generalized to allow decks to contain an arbitrary number of copies of a card is weakly NP-hard. We also prove that deciding whether the Corp…

Computational Complexity · Computer Science 2017-10-17 Jeffrey Bosboom , Michael Hoffmann

0-1 Knapsack is a fundamental NP-complete problem. In this article we prove that it remains NP-complete even when the weights of the objects in the packing constraints and their values in the objective function satisfy specific stringent…

Computational Complexity · Computer Science 2009-10-15 Chinmay Karande

In an Avoider-Enforcer game, we are given a hypergraph. Avoider and Enforcer alternate in claiming an unclaimed vertex, until all the vertices of the hypergraph are claimed. Enforcer wins if Avoider claims all vertices of an edge; Avoider…

Computational Complexity · Computer Science 2022-11-21 Tillmann Miltzow , Miloš Stojaković

The Honey-Bee game is a two-player board game that is played on a connected hexagonal colored grid or (in a generalized setting) on a connected graph with colored nodes. In a single move, a player calls a color and thereby conquers all the…

Computer Science and Game Theory · Computer Science 2011-02-16 Rudolf Fleischer , Gerhard J. Woeginger

We prove the computational intractability of rotating and placing $n$ square tiles into a $1 \times n$ array such that adjacent tiles are compatible--either equal edge colors, as in edge-matching puzzles, or matching tab/pocket shapes, as…

Computational Complexity · Computer Science 2017-01-03 Jeffrey Bosboom , Erik D. Demaine , Martin L. Demaine , Adam Hesterberg , Pasin Manurangsi , Anak Yodpinyanee

Weighted independent domination is an NP-hard graph problem, which remains computationally intractable in many restricted graph classes. In particular, the problem is NP-hard in the classes of sat-graphs and chordal graphs. We strengthen…

Discrete Mathematics · Computer Science 2017-05-23 Vadim Lozin , Dmitriy Malyshev , Raffaele Mosca , Viktor Zamaraev

Pebble games are single-player games on DAGs involving placing and moving pebbles on nodes of the graph according to a certain set of rules. The goal is to pebble a set of target nodes using a minimum number of pebbles. In this paper, we…

Computational Complexity · Computer Science 2018-07-16 Erik D. Demaine , Quanquan C. Liu

We present a template for the Promise Constraint Satisfaction Problem (PCSP) which is NP-hard but does not satisfy the current state-of-the-art hardness condition [ACMTCT'21]. We introduce a new "injective" condition based on the smooth…

Computational Complexity · Computer Science 2024-05-20 Demian Banakh , Marcin Kozik