English
Related papers

Related papers: Solitaire Chess is NP-complete

200 papers

This project investigates the potential of computers to solve complex tasks such as games. The paper proves that the complexity of a generalized version of spider solitaire is NP-Complete and uses much of structure of the proof that…

Computational Complexity · Computer Science 2011-10-06 Jesse Stern

We show that the classical game LaserTank is $\mathrm{NP}$-complete, even when the tank movement is restricted to a single column and the only blocks appearing on the board are mirrors and solid blocks. We show this by reducing $3$-SAT…

Computational Complexity · Computer Science 2020-04-21 Per Alexandersson , Petter Restadh

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

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 first prove that solving Mahjong Solitaire boards with peeking is NP-complete, even if one only allows isolated stacks of the forms /aab/ and /abb/. We subsequently show that layouts of isolated stacks of heights one and two can always…

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

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

Peg solitaire is classically a one-player game played on a grid board containing pegs. The goal of the game is to have a single peg remaining on the board by sequentially jumping with a peg over an adjacent peg onto an empty cell while…

Combinatorics · Mathematics 2022-12-07 Valentino Vito

In this paper we study the complexity of strategic argumentation for dialogue games. A dialogue game is a 2-player game where the parties play arguments. We show how to model dialogue games in a skeptical, non-monotonic formalism, and we…

Logic in Computer Science · Computer Science 2013-12-17 Guido Governatori , Francesco Olivieri , Simone Scannapieco , Antonino Rotolo , Matteo Cristani

We consider the one-person game of peg solitaire played on a computer. Two popular board shapes are the 33-hole cross-shaped board, and the 15-hole triangle board---we use them as examples throughout. The basic game begins from a full board…

Combinatorics · Mathematics 2014-11-07 George I. Bell

We introduce a very simple solitaire game, named Stanley Solitaire, in honor of Richard Stanley, and prove an explicit closed-form formula for the number of ways of playing it. Alas, the only proof that we know is via a deep theorem of…

Combinatorics · Mathematics 2024-06-25 Shalosh B. Ekhad , Doron Zeilberger

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

In this paper we show that the Mastermind Satisfiability Problem (MSP) is NP-complete. The Mastermind is a popular game which can be turned into a logical puzzle called Mastermind Satisfiability Problem in a similar spirit to the…

Computational Complexity · Computer Science 2007-05-23 Jeff Stuckman , Guo-Qiang Zhang

Swish is a card game in which players are given cards having symbols (hoops and balls), and find a valid superposition of cards, called a "swish." Dailly, Lafourcade, and Marcadet (FUN 2024) studied a generalized version of Swish and showed…

Data Structures and Algorithms · Computer Science 2026-01-15 Takashi Horiyama , Takehiro Ito , Jun Kawahara , Shin-ichi Minato , Akira Suzuki , Ryuhei Uehara , Yutaro Yamaguchi

Nondango is a pencil puzzle consisting of a rectangular grid partitioned into regions, with some cells containing a white circle. The player has to color some circles black such that every region contains exactly one black circle, and there…

Computational Complexity · Computer Science 2024-02-27 Suthee Ruangwises

The game of peg solitaire on graphs was introduced by Beeler and Hoilman in 2011. In this game, pegs are initially placed on all but one vertex of a graph $G$. If $xyz$ forms a path in $G$ and there are pegs on vertices $x$ and $y$ but not…

Combinatorics · Mathematics 2015-05-13 John Engbers , Christopher Stocker

We show that, in John Conway's board game Phutball (or Philosopher's Football), it is NP-complete to determine whether the current player has a move that immediately wins the game. In contrast, the similar problems of determining whether…

Computational Complexity · Computer Science 2007-05-23 Erik D. Demaine , Martin L. Demaine , David Eppstein

The game of Spot it(R) is based on an order 7 finite projective plane. This article presents a solitaire challenge: extract an order 7 affine plane and arrange those 49 cards into a square such that the symmetries of the affine and…

History and Overview · Mathematics 2013-01-30 Donna A. Dietz

Our ignorance of the winnability percentage of the solitaire card game `Klondike' has been described as ``one of the embarrassments of applied mathematics''. Klondike, the game in the Windows Solitaire program, is just one of many…

Artificial Intelligence · Computer Science 2026-03-04 Charlie Blake , Ian P. Gent

We are going to show that some variants of a puzzle called Pull in which the boxes have handles (i.e. we can only pull the boxes in certain directions) are NP-hard

Computational Complexity · Computer Science 2018-01-01 Oscar Temprano

In this paper, we study a reversible process (more precisely, a groupoid/group action) resembling the classical 15-puzzle, where the legal moves are to ``move the unique hole inside a translate of a shape $S$''. Such a process can be…

Combinatorics · Mathematics 2024-10-01 Ville Salo , Juliette Schabanel