Amazons 5x5 Solution

Amazons solution
On January 4, 2001, using a solver based on Arrow and some pruning ideas motivated by combinatorial game theory, I proved that Amazons on a 5x5 board is a first-player win. There seem to be many winning moves. The easiest to prove was 1. B1-D3xB3 (or the symmetric 1.D1-B3xD3). 1. B1-B3xD3 was just slightly harder. Some details are in the 2001 GPW paper. See the main Amazons page.
Created: Apr 29, 2013 Last modified: Apr 29, 2013

Martin Müller