English
Related papers

Related papers: Losing at Checkers is Hard

200 papers

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

We study computational aspects of three prominent voting rules that use approval ballots to elect multiple winners. These rules are satisfaction approval voting, proportional approval voting, and reweighted approval voting. We first show…

Computer Science and Game Theory · Computer Science 2014-07-14 Haris Aziz , Serge Gaspers , Joachim Gudmundsson , Simon Mackenzie , Nicholas Mattei , Toby Walsh

Generalized Geography is a combinatorial game played on a directed graph. Players take turns moving a token from vertex to vertex, deleting a vertex after moving the token away from it. A player unable to move loses. It is well known that…

Computational Complexity · Computer Science 2021-08-24 Nathan Fox , Carson Geissler

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.…

Burke and Teng introduced a two-player combinatorial game Atropos based on Sperner's lemma, and showed that deciding whether one has a winning strategy for Atropos is PSPACE-complete. In the original Atropos game, the players must color a…

Computational Complexity · Computer Science 2025-03-25 Chao Yang , Zhujun Zhang

We prove that it is NP-complete to decide whether a given string can be factored into palindromes that are each unique in the factorization.

Formal Languages and Automata Theory · Computer Science 2020-12-15 Hideo Bannai , Travis Gagie , Shunsuke Inenaga , Juha Karkkainen , Dominik Kempa , Marcin Piatkowski , Simon J. Puglisi , Shiho Sugimoto

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

We analyze Solo Chess puzzles, where the input is an $n \times n$ board containing some standard Chess pieces of the same color, and the goal is to make a sequence of capture moves to reduce down to a single piece. Prior work analyzes this…

Computational Complexity · Computer Science 2023-02-06 Josh Brunner , Lily Chung , Michael Coulombe , Erik D. Demaine , Timothy Gomez , Jayson Lynch

We prove that deciding whether a given input word contains as subsequence every possible permutation of integers $\{1,2,\ldots,n\}$ is coNP-complete. The coNP-completeness holds even when given the guarantee that the input word contains as…

Computational Complexity · Computer Science 2015-07-10 Przemysław Uznański

Infinite chess is chess played on an infinite edgeless chessboard. The familiar chess pieces move about according to their usual chess rules, and each player strives to place the opposing king into checkmate. The mate-in-n problem of…

Logic · Mathematics 2012-05-17 Dan Brumleve , Joel David Hamkins , Philipp Schlicht

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

Using the notion of visibility representations, our paper establishes a new property of instances of the Nondeterministic Constraint Logic (NCL) problem (a PSPACE-complete problem that is very convenient to prove the PSPACE-hardness of…

Computational Complexity · Computer Science 2023-04-27 Michael C. Chavrimootoo

Tetravex is a widely played one person computer game in which you are given $n^2$ unit tiles, each edge of which is labelled with a number. The objective is to place each tile within a $n$ by $n$ square such that all neighbouring edges are…

Computational Complexity · Computer Science 2012-04-18 Yasuhiko Takenaga , Toby Walsh

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

A poset game is a two-player game played over a partially ordered set (poset) in which the players alternate choosing an element of the poset, removing it and all elements greater than it. The first player unable to select an element of the…

Computational Complexity · Computer Science 2015-03-20 Daniel Grier

We consider the permutation analogue of Penney's game for words. Two players, in order, each choose a permutation of length $k\ge3$; then a sequence of independent random values from a continuous distribution is generated, until the…

Combinatorics · Mathematics 2026-04-29 Sergi Elizalde , Yixin Lin

Consider a very simple class of (finite) games: after an initial move by nature, each player makes one move. Moreover, the players have common interests: at each node, all the players get the same payoff. We show that the problem of…

Computer Science and Game Theory · Computer Science 2007-05-23 Francis Chu , Joseph Y. Halpern

We study two positional games played on hypergraphs, whose edges may be interpreted as winning sets. Two players take turns picking a previously unpicked vertex of the hypergraph. We say a player fills an edge if that player has picked all…

Discrete Mathematics · Computer Science 2026-04-14 Florian Galliot

When agents are acting together, they may need a simple mechanism to decide on joint actions. One possibility is to have the agents express their preferences in the form of a ballot and use a voting rule to decide the winning action(s).…

Artificial Intelligence · Computer Science 2012-04-18 Toby Walsh

We introduce a new -as far as we know- problem, according to which we are asked to match sequences of two digits in matrices having entries among those two digits (but others too) and prove that this problem is NP-complete

Combinatorics · Mathematics 2011-07-05 Nicolaos Matsakis