English
Related papers

Related papers: Trainyard is NP-Hard

200 papers

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

In the pinwheel problem, one is given an $m$-tuple of positive integers $(a_1, \ldots, a_m)$ and asked whether the integers can be partitioned into $m$ color classes $C_1,\ldots,C_m$ such that every interval of length $a_i$ has non-empty…

Data Structures and Algorithms · Computer Science 2026-04-16 Robert Kleinberg , Ahan Mishra

Wordle is a single-player word-guessing game where the goal is to discover a secret word $w$ that has been chosen from a dictionary $D$. In order to discover $w$, the player can make at most $\ell$ guesses, which must also be words from…

Computational Complexity · Computer Science 2022-05-17 Daniel Lokshtanov , Bernardo Subercaseaux

This paper proves that push-pull block puzzles in 3D are PSPACE-complete to solve, and push-pull block puzzles in 2D with thin walls are NP-hard to solve, settling an open question by Zubaran and Ritt. Push-pull block puzzles are a type of…

Computational Complexity · Computer Science 2017-09-06 Erik D. Demaine , Isaac Grosof , Jayson Lynch

Rikudo is a number-placement puzzle, where the player is asked to complete a Hamiltonian path on a hexagonal grid, given some clues (numbers already placed and edges of the path). We prove that the game is complete for NP, even if the…

Discrete Mathematics · Computer Science 2021-01-26 Viet-Ha Nguyen , Kévin Perrot

We analyze the computational complexity of several popular video games released for the Nintendo Game Boy video game console. We analyze the complexity of generalized versions of four popular Game Boy games: Donkey Kong, Wario Land, Harvest…

Computational Complexity · Computer Science 2024-12-23 Hayder Tirmazi , Ali Tirmazi , Tien Phuoc Tran

Mastermind is in essence a search problem in which a string of symbols that is kept secret must be found by sequentially playing strings that use the same alphabet, and using the responses that indicate how close are those other strings to…

Neural and Evolutionary Computing · Computer Science 2012-07-06 J. J. Merelo , Antonio M. Mora , Carlos Cotta , Thomas P. Runarsson

We revisit a classical crossword filling puzzle which already appeared in Garey\&Jonhson's book. We are given a grid with $n$ vertical and horizontal slots and a dictionary with $m$ words and are asked to place words from the dictionary in…

Computational Complexity · Computer Science 2021-09-24 Laurent Gourvès , Ararat Harutyunyan , Michael Lampis , Nikolaos Melissinos

We propose a new kind of sliding-block puzzle, called Gourds, where the objective is to rearrange 1 x 2 pieces on a hexagonal grid board of 2n + 1 cells with n pieces, using sliding, turning and pivoting moves. This puzzle has a single…

Data Structures and Algorithms · Computer Science 2020-11-03 Joep Hamersma , Marc van Kreveld , Yushi Uno , Tom C. van der Zanden

Decision-theoretic troubleshooting is one of the areas to which Bayesian networks can be applied. Given a probabilistic model of a malfunctioning man-made device, the task is to construct a repair strategy with minimal expected cost. The…

Artificial Intelligence · Computer Science 2013-08-02 Václav Lín

Parking, matching, scheduling, and routing are common problems in train maintenance. In particular, train units are commonly maintained and cleaned at dedicated shunting yards. The planning problem that results from such situations is…

Artificial Intelligence · Computer Science 2019-07-11 Paulo R. de O. da Costa , J. Rhuggenaath , Y. Zhang , A. Akcay , W. Lee , U. Kaymak

We study the computational complexity of distance games, a class of combinatorial games played on graphs. A move consists of colouring an uncoloured vertex subject to it not being at certain distances determined by two sets, D and S. D is…

Computational Complexity · Computer Science 2019-02-12 Kyle Burke , Silvia Heubach , Melissa Huggan , Svenja Huntemann

A graph environment must be explored by a collection of mobile robots. Some of the robots, a priori unknown, may turn out to be unreliable. The graph is weighted and each node is assigned a deadline. The exploration is successful if each…

Data Structures and Algorithms · Computer Science 2017-10-03 Jurek Czyzowicz , Maxime Godon , Evangelos Kranakis , Arnaud Labourel , Euripides Markou

We prove that a variant of 2048, a popular online puzzle game, is PSPACE-Complete. Our hardness result holds for a version of the problem where the player has oracle access to the computer player's moves. Specifically, we show that for an…

Computational Complexity · Computer Science 2014-08-28 Rahul Mehta

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 consider the computational complexity of winning this turn (mate-in-1 or "finding lethal") in Hearthstone as well as several other single turn puzzle types introduced in the Boomsday Lab expansion. We consider three natural…

Computational Complexity · Computer Science 2020-10-20 Michael Hoffmann , Jayson Lynch , Andrew Winslow

Various forms of sorting problems have been studied over the years. Recently, two kinds of sorting puzzle apps are popularized. In these puzzles, we are given a set of bins filled with colored units, balls or water, and some empty bins.…

Train marshalling is the process of reordering the railcars of a train in such a way that the railcars with the same destination appear consecutively in the final, reassembled train. The process takes place in the shunting yard by means of…

Data Structures and Algorithms · Computer Science 2020-08-10 Hossein Falsafain , Mohammad Tamannaei

In the "Game about Squares" the task is to push unit squares on an integer lattice onto corresponding dots. A square can only be moved into one given direction. When a square is pushed onto a lattice point with an arrow the direction of the…

Computational Complexity · Computer Science 2014-08-21 Jens Maßberg

Edge-matching problems, also called edge matching puzzles, are abstractions of placement problems with neighborhood conditions. Pieces with colored edges have to be placed on a board such that adjacent edges have the same color. The problem…

Data Structures and Algorithms · Computer Science 2017-03-29 Martin Ebbesen , Paul Fischer , Carsten Witt