Computational Hardness of Multidimensional Subtraction Games
Abstract
We study algorithmic complexity of solving subtraction games in a~fixed dimension with a finite difference set. We prove that there exists a game in this class such that any algorithm solving the game runs in exponential time. Also we prove an existence of a game in this class such that solving the game is PSPACE-hard. The results are based on the construction introduced by Larsson and Wästlund. It relates subtraction games and cellular automata.
- Publication:
-
arXiv e-prints
- Pub Date:
- January 2020
- DOI:
- 10.48550/arXiv.2001.03962
- arXiv:
- arXiv:2001.03962
- Bibcode:
- 2020arXiv200103962G
- Keywords:
-
- Computer Science - Computational Complexity;
- Computer Science - Computer Science and Game Theory;
- Mathematics - Combinatorics