Hexapawn


Hexapawn is a deterministic two-player game invented by Martin Gardner. It is played on a rectangular board of variable size, for example on a 3×3 board or on a chessboard. On a board of size n×m, each player begins with m pawns, one for each square in the row closest to them. The goal of each player is to advance one of their pawns to the opposite end of the board or to prevent the other player from moving.
Hexapawn on the 3×3 board is a solved game; with perfect play, white will always lose in 3 moves:. Indeed, Gardner specifically constructed it as a game with a small game tree, in order to demonstrate how it could be played by a heuristic AI implemented by a mechanical computer based on Donald Michie's Matchbox Educable Noughts and Crosses Engine.
A variant of this game is octopawn, which is played on a 4×4 board with 4 pawns on each side. In octopawn, if both players play well, the second player to move will always lose.

Rules

As in chess, each pawn may be moved in two different ways: it may be moved one square forward, or it may capture a pawn one square diagonally ahead of it. A pawn may not be moved forward if there is a pawn in the next square. Unlike chess, the first move of a pawn may not advance it by two spaces. A player loses if he/she has no legal moves or the other player reaches the end of the board with a pawn.

Dawson's chess

Whenever a player advances a pawn to the penultimate rank there is a threat to proceed to the final rank by capture. The opponent's only sensible responses are therefore either to capture the advanced pawn or to advance the threatened one, the latter only being sensible in the case that there is one threatened pawn rather than two. If one restricts 3× hexapawn with the additional rule that the capture is always compulsory, the result is the game Dawson's chess.
Dawson's chess reduces to the impartial game denoted .137 in Conway's notation. This means that it is equivalent to a Nim-like game in which:
The initial position is a single heap of size.
The nim-sequence for this game is
0.1120311033224052233011302110452740
1120311033224455233011302110453748
1120311033224455933011302110453748
1120311033224455933011302110453748
1120311033224455933011302110453748...,
where bold entries indicate the values that differ from the eventual periodic behavior of the sequence.