Losing at Checkers is Hard

06/14/2018
by   Jeffrey Bosboom, et al.
0

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 PSPACE-complete; and (3) cooperative versions of (1) and (2) are NP-complete. We also give cooperative checkers puzzles whose solutions are the letters of the alphabet.

READ FULL TEXT

page 6

page 11

page 12

research
11/22/2017

Shellability is NP-complete

We prove that for every d≥ 2, deciding if a pure, d-dimensional, simplic...
research
10/12/2021

The Crew: The Quest for Planet Nine is NP-Complete

In this paper, we study the cooperative card game, The Crew: The Quest f...
research
12/16/2013

Strategic Argumentation is NP-Complete

In this paper we study the complexity of strategic argumentation for dia...
research
02/10/2020

Edge Matching with Inequalities, Triangles, Unknown Shape, and Two Players

We analyze the computational complexity of several new variants of edge-...
research
10/15/2018

Dynamic Connected Cooperative Coverage Problem

We study the so-called dynamic coverage problem by agents located in som...
research
04/01/2021

The complete classification for quantified equality constraints

We prove that QCSP(ℕ;x=y→ y=z) is PSpace-complete, settling a question o...
research
02/02/2019

Computational Complexity of Queries Based on Itemsets

We investigate determining the exact bounds of the frequencies of conjun...

Please sign up or login with your details

Forgot password? Click here to reset