English
Related papers

Related papers: Tetravex is NP-complete

200 papers

In 2022, Olivier Longuet, a French mathematics teacher, created a game called the \textit{calissons puzzle}. Given a triangular grid in a hexagon and some given edges of the grid, the problem is to find a calisson tiling such that no input…

Computational Geometry · Computer Science 2023-07-06 Jean-Marie Favreau , Yan Gerard , Pascal Lafourcade , Léo Robert

It is well-known that the question of whether a given finite region can be tiled with a given set of tiles is NP-complete. We show that the same is true for the right tromino and square tetromino on the square lattice, or for the right…

Combinatorics · Mathematics 2007-05-23 Cristopher Moore , John Michael Robson

"Solitaire Chess" is a logic puzzle published by Thinkfun, that can be seen as a single person version of traditional chess. Given a chess board with some chess pieces of the same color placed on it, the task is to capture all pieces but…

Computational Complexity · Computer Science 2015-01-27 Jens Maßberg

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

Jigsaw puzzle solving requires the rearrangement of unordered pieces into their original pose in order to reconstruct a coherent whole, often an image, and is known to be an intractable problem. While the possible impact of automatic puzzle…

Computer Vision and Pattern Recognition · Computer Science 2025-11-07 Yaniv Ohayon , Ofir Itzhak Shahar , Ohad Ben-Shahar

It is shown that the toy Turing Tumble, suitably extended with an infinitely long game board and unlimited supply of pieces, is Turing-Complete. This is achieved via direct simulation of a Turing machine. Unlike previously informally…

Formal Languages and Automata Theory · Computer Science 2021-10-19 Lenny Pitt

The game of SET is a popular card game in which the objective is to form Sets using cards from a special deck. In this paper we study single- and multi-round variations of this game from the computational complexity point of view and…

Computational Complexity · Computer Science 2013-09-26 Michael Lampis , Valia Mitsou

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

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 a game where two players take turns selecting points of a convex geometry until the convex closure of the jointly selected points contains all the points of a given winning set. The winner of the game is the last player able to…

Combinatorics · Mathematics 2021-04-20 Stephanie McCoy , Nándor Sieben

The 15 puzzle is a classic reconfiguration puzzle with fifteen uniquely labeled unit squares within a $4 \times 4$ board in which the goal is to slide the squares (without ever overlapping) into a target configuration. By generalizing the…

Computational Complexity · Computer Science 2018-04-30 Erik D. Demaine , Mikhail Rudoy

Sumplete is a logic puzzle famous for being developed by ChatGPT. The puzzle consists of a rectangular grid, with each cell containing a number. The player has to cross out some numbers such that the sum of uncrossed numbers in each row and…

Computational Complexity · Computer Science 2024-07-01 Suthee Ruangwises

We present and analyze PackIt!, a turn-based game consisting of packing rectangles on an $n \times n$ grid. PackIt! can be easily played on paper, either as a competitive two-player game or in \emph{solitaire} fashion. On the $t$-th turn, a…

Combinatorics · Mathematics 2024-05-17 Thomas Garrison , Marijn J. H. Heule , Bernardo Subercaseaux

The Number Rotation Puzzle (NRP) is a combination puzzle in which the goal is to rearrange a scrambled rectangular grid of numbers back into order via moves that consist of rotating square blocks of numbers of fixed size. Over all possible…

Combinatorics · Mathematics 2022-12-01 Thomas Lam

Tablut is a complete-knowledge, deterministic, and asymmetric board game, which has not been solved nor properly studied yet. In this work, its rules and characteristics are presented, then a study on its complexity is reported. An upper…

Computational Complexity · Computer Science 2021-01-29 Andrea Galassi

We prove computational intractability of variants of checkers: (1) deciding whether there is a move that forces the other player to win in one move is NP-complete; (2) checkers where players must always be able to jump on their turn is…

Computational Complexity · Computer Science 2018-06-15 Jeffrey Bosboom , Spencer Congero , Erik D. Demaine , Martin L. Demaine , Jayson Lynch

Many popular puzzle and matching games have been analyzed through the lens of computational complexity. Prominent examples include Sudoku, Candy Crush, and Flood-It. A common theme among these widely played games is that their generalized…

Computational Complexity · Computer Science 2026-03-03 Linus Klocker , Simon D. Fink

Online computation is a concept to model uncertainty where not all information on a problem instance is known in advance. An online algorithm receives requests which reveal the instance piecewise and has to respond with irrevocable…

Computational Complexity · Computer Science 2023-11-28 Janosch Fuchs , Christoph Grüne , Tom Janßen

We study three problems related to the computational complexity of the popular game Minesweeper. The first is consistency: given a set of clues, is there any arrangement of mines that satisfies it? This problem has been known to be…

Computational Complexity · Computer Science 2024-04-24 MIT Hardness Group , Della Hendrickson , Andy Tockman

In [BNRR], it was shown that tiling of general regions with two rectangles is NP-complete, except for a few trivial special cases. In a different direction, R\'emila showed that for simply connected regions by two rectangles, the…

Combinatorics · Mathematics 2013-05-14 Igor Pak , Jed Yang