Generalized Morris Games
This page showcases the reduction from Planar Rectilinear Monotone 3SAT to a generalized version of Morris Games described in the paper Morris Games are (Computationally) Hard. You can play as either the Blue player or the Red player.
The formula has other satisfying truth assignments, but this demo intentionally hardcodes one specific satisfying assignment as a guide to the user.
Blue to move. Start from the central s_i stone of x_1.
Legend
Blue piece
Red piece
Empty vertex
On-strategy Blue piece
Legal destination
Capture target
No moves yet.
Formula loading.
Blue wins
Blue has cleaned all red threat gadgets.