Conway's Soldiers
Conway's Soldiers or the checker-jumping problem is a one-person mathematical game or puzzle devised and analyzed by mathematician John Horton Conway in 1961. A variant of peg solitaire, it takes place on an infinite checkerboard. The board is divided by a horizontal line that extends indefinitely. Above the line are empty cells and below the line are an arbitrary number of game pieces, or "soldiers". As in peg solitaire, a move consists of one soldier jumping over an adjacent soldier into an empty cell, vertically or horizontally (but not diagonally), and removing the soldier which was jumped over. The goal of the puzzle is to place a soldier as far above the horizontal line as possible.
Conway proved that, regardless of the strategy used, there is no finite sequence of moves that will allow a soldier to advance more than four rows above the horizontal line. His argument uses a carefully chosen weighting of cells (involving the golden ratio), and he proved that the total weight can only decrease or remain constant. This argument has been reproduced in a number of popular math books.
Simon Tatham and Gareth Taylor have shown[1][2] that the fifth row can be reached via an infinite series of moves. If diagonal jumps are allowed, the 8th row can be reached, but not the 9th row. It has also been shown that, in the n-dimensional version of the game, the highest row that can be reached is . Conway's weighting argument demonstrates that the row cannot be reached. It is considerably harder to show that row can be reached.[3]
Conway's proof that the fifth row is inaccessible
Notation and definitions
Define . (In other words, here denotes the reciprocal of the golden ratio.) Observe that .
Let the target square be labeled with the value , and all other squares be labeled with the value , where is the Manhattan distance to the target square. Then we can compute the "score" of a configuration of soldiers by summing the values of the soldiers' squares. For example, a configuration of only two soldiers placed so as to reach the target square on the next jump would have score .
When a soldier jumps over another soldier, there are three cases to consider:
- When a soldier jumps towards the target square: Let the value of the soldier's square be for some , and the value of the square he jumps over be ; then the total change in score after the jump is .
- When a soldier remains the same distance from the target square after his jump: In this case the change in score is .
- When a soldier jumps away from the target square: Here the change in score is .
So, no jump will ever increase the configuration's total score.
Computing the score of the initial configuration
Consider now a starting configuration where only one infinite horizontal line is completely filled with soldiers.
If this horizontal line of soldiers is immediately below the target square, then the score of the configuration is . The score of a line two spaces below the target square is . The score of a line three spaces below is . And so on.
Consider the full starting configuration, where soldiers fill the whole half-plane below the red line. This configuration's score is the sum of the scores of the individual lines. Therefore, if the target square is immediately above the red line, the score is
- .
At this point, observe another interesting property of , namely that . Applying this identity produces
- .
If the target square is in the second row above the red line, every soldier is one space further from the target square, and so the score is
- .
Similarly:
- ,
- ,
- .
When a soldier reaches the target square after some finite number of moves, the ending configuration has score , where represents the contribution of the soldier on the target square and represents the (small, but positive) contributions of the infinite number of soldiers that remain elsewhere on the plane.
Thus, we have shown that when the target square is in the fifth row above the infinite half-plane of soldiers, the starting configuration's score is exactly ; the ending configuration's score is ; and since no kind of jump ever increases the score, we must have . This is a contradiction; Q.E.D., it is impossible for any soldier to reach a square in the fifth row after a finite number of jumps.
References
- Simon Tatham. "Reaching row 5 in Solitaire Army (web version)".
- Simon Tatham; Gareth Taylor. "Reaching Row Five in Solitaire Army" (PDF).
- H. Eriksson; B. Lindstrom (1995). "Twin jumping checkers in Z_d". European J. Combin. 16: 153–157.
- E. Berlekamp, J. Conway and R. Guy, Winning Ways for Your Mathematical Plays, 2nd ed., Vol. 4, Chap. 23: 803—841, A K Peters, Wellesley, MA, 2004.
- R. Honsberger, A problem in checker jumping, in Mathematical Gems II, Chap. 3: 23—28, MAA, 1976.
- G. Bell, D. Hirschberg and P. Guerrero, The minimum size required of a solitaire army, INTEGERS Electronic Journal of Combinatorial Number Theory, Vol 7, G7, 2007.