Complexity of Games & Puzzles
Rengo Kriegspiel?
PSPACE PSPACE EXPTIME Undecidable bridge?
P NP PSPACE NEXPTIME 0 players 1 player 2 players team, (simulation) (puzzle) (game) imperfect info Constraint Logic [Hearn & Demaine 2009]
PSPACE PSPACE EXPTIME Undecidable
PSPACE P NP NEXPTIME 0 players 1 player 2 players team, (simulation) (puzzle) (game) imperfect info Bounded 2CL is PSPACE- complete Bounded 2CL is PSPACE-complete
crossover
protected OR
free edge Amazons [Walter Zamkauskas 1988] Amazons [Walter Zamkauskas 1988] Amazons [Hearn 2005]
wire victory
shift
turn & one way variable Amazons is PSPACE-complete [Hearn 2005]
AND OR & SPLIT CHOICE Konane [Hawaii <1778] photo by Thane Plambeck, 2005 Konane is PSPACE-complete [Hearn 2005]
OR & variable CHOICE
turn
AND, SPLIT, parity shift Konane is PSPACE-complete [Hearn 2005]
AND, SPLIT, shift
input 1 output 1 before input 2 → output 2
→ Cross Purposes [Michael Albert 2004] Cross Purposes is PSPACE-complete [Hearn 2005]
turn wire
free edge
variable Cross Purposes is PSPACE-complete [Hearn 2005]
protected OR CHOICE Cross Purposes is PSPACE-complete [Hearn 2005] AND, SPLIT, shift
input 1 output 1 before input 2 → output 2
→ Constraint Logic [Hearn & Demaine 2009]
PSPACE PSPACE EXPTIME Undecidable
PSPACE P NP NEXPTIME 0 players 1 player 2 players team, (simulation) (puzzle) (game) imperfect info Peek [Stockmeyer & Chandra 1979] BLOCK is EXPTIME- complete
[Stockmeyer & Chandra 1979] BLOCK is EXPTIME- complete
[Stockmeyer & Chandra 1979]
𝑥𝑥3 ∧ 𝑦𝑦5 Checkers is EXPTIME-complete [Robson 1981] reduction from
𝐺𝐺3
color change Checkers is EXPTIME-complete [Robson 1981] Chess is EXPTIME-complete [Fraenkel & Lichtenstein 1981]
reduction from
𝐺𝐺3 Go is EXPTIME- hard [Robson 1982] 2CL is EXPTIME-complete formula formula
fast win fast win slow win slow win slower win slower win variable formula formula
fast win fast win slow win slow win slower win slower win 2CL is EXPTIME-complete
path equalizer Crossover Gadget No-Repeat Games Private-Information Games Private & Blind Peek [Reif 1984]