One Hex reduction to rule them all: Quoridor, Maze Attack, Pinko Pallino and Blockade are PSPACE-complete
The paper settles the computational complexity of Quoridor and related games by reducing them to Reisch's planar graph-Hex.
Provides a new reduction from Reisch's planar graph-Hex to Quoridor and related games, settling their computational complexity.
Before reading this…
Applications
- →Quoridor
- →Maze Attack
- →Pinko Pallino
- →Blockade
To understand this paper, make sure you know these concepts first:
- Understanding of computational complexityfind papers →
- Familiarity with board gamesfind papers →
Abstract
More Like ThisQuoridor is a popular award-winning board game whose computational complexity, listed among the open problems of the Demaine-Hearn survey, remained open for nearly two decades. It was settled only recently, via a reduction from the formula game $G_{pos}$ tailored to Quoridor. We give a shorter and more general proof: a single reduction from Reisch's planar graph-Hex, in which wall placement encodes the path-connection structure of Hex. The same construction settles three closely related games -- Maze Attack and Pinko Pallino with no change, and Blockade with only minor adaptations -- showing that all four are PSPACE-complete, the latter three for the first time. More generally, our reduction shows that any race-and-wall game is PSPACE-complete.