Strings-and-Coins and Nimstring are PSPACE-complete

01/16/2021
by   Erik D. Demaine, et al.
0

We prove that Strings-and-Coins – the combinatorial two-player game generalizing the dual of Dots-and-Boxes – is strongly PSPACE-complete on multigraphs. This result improves the best previous result, NP-hardness, argued in Winning Ways. Our result also applies to the Nimstring variant, where the winner is determined by normal play; indeed, one step in our reduction is the standard reduction (also from Winning Ways) from Nimstring to Strings-and-Coins.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
05/06/2021

Dots Boxes is PSPACE-complete

Exactly 20 years ago at MFCS, Demaine posed the open problem whether the...
research
06/14/2022

EXPTIME-hardness of higher-dimensional Minkowski spacetime

We prove the EXPTIME-hardness of the validity problem for the basic temp...
research
03/23/2023

Equational Theorem Proving for Clauses over Strings

Although reasoning about equations over strings has been extensively stu...
research
05/02/2021

Divergence Scaling for Distribution Matching

Distribution matchers for finite alphabets are shown to have information...
research
11/30/2022

Approximating binary longest common subsequence in almost-linear time

The Longest Common Subsequence (LCS) is a fundamental string similarity ...
research
07/05/2012

An experimental study of exhaustive solutions for the Mastermind puzzle

Mastermind is in essence a search problem in which a string of symbols t...
research
06/02/2021

MOBS (Matrices Over Bit Strings) public key exchange

We use matrices over bit strings as platforms for Diffie-Hellman-like pu...

Please sign up or login with your details

Forgot password? Click here to reset