arXiv:0711.2749v1 [math.CO] 19 Nov 2007
Diamond Solitaire
George I. Bell
September 20051
[email protected]
Abstract
We investigate the game of peg solitaire on different board shapes, and find those of diamond
or rhombus shape have interesting properties. When one peg captures many pegs consecutively, this is called a sweep. Rhombus boards of side 6 have the property that no matter
which peg is missing at the start, the game can be solved to one peg using a maximal sweep
of length 16. We show how to construct a solution on a rhombus board of side 6i, where
the final move is a maximal sweep of length r, where r = (9i − 1)(3i − 1) is a “rhombic
matchstick number”.
1
Introduction
Peg solitaire is a one-person game usually played on a 33-hole cross-shaped board, or a 15hole triangular board (Figure 1). In the first case the pattern of holes (or board locations)
come from a square lattice, while in the second case they come from a triangular lattice.
The usual game begins with the board filled by pegs (or marbles) except for a single board
location, left vacant. The player then jumps one peg over another into an empty hole,
removing the jumped peg from the board. The goal is to choose a series of jumps that finish
with one peg. The general problem of going from a board position with one peg missing to
one peg will be called a peg solitaire problem. If the missing peg and final peg are in
the same place, we call it a complement problem, because the starting and ending board
positions are complements of one another (where every peg is replaced by an empty hole and
vice versa).
Initially, we will consider peg solitaire on boards of rather arbitrary shape. The basic problem
may seem hard enough, but we will add more conditions or constraints on the solution. The
reason for this may not be immediately clear, but adding constraints to a problem with
many solutions can make it easier to find one, and the solutions themselves can be quite
remarkable. The approach also brings out certain board shapes with interesting properties.
1
Original version at http://gpj.connectfree.co.uk/gpjw.htm
Converted to LATEX by the author with some modifications to the text, November 2007.
The Games and Puzzles Journal—Issue 41, September-October 2005
2
Suppose we add the constraint that the peg solitaire problem must finish in the most dramatic
way possible: with one peg “sweeping off” all the remaining pegs, and finishing as the sole
survivor. Here we need to distinguish between a jump—one peg jumping over another, and
a move—one or more jumps by the same peg. Any single move that captures n pegs is a
sweep of length n, or an n-sweep. In this terminology we want to finish a peg solitaire
problem with the longest sweep possible.
A sweep that has the longest length geometrically possible on a board is called a maximal
sweep. For most board shapes, maximal sweeps cannot be reached in the solution to a peg
solitaire problem. In GPJ #36 [6], we considered the triangular board of side n, called
Triangle(n). We saw that for n odd, the board Triangle(n) supports an even more remarkable
sweep that is maximal and also has the property that every hole in the board is affected by
the sweep in that it is either jumped over or is the starting or ending hole of some jump in
the sweep. Such remarkable sweeps need a special name—we call them super-sweeps.
(a)
(b)
Figure 1: Maximal sweeps on the standard boards, only the second is a super-sweep. The
special green (or shaded) peg performs the sweep. (a) A 16-sweep on the 33-hole cross-shaped
board. (b) A 9-sweep on the 15-hole triangular board, Triangle(5).
In Figure 1a, the central hole is not touched or jumped over by the sweep, thus while this
sweep is the longest possible it is not a super-sweep, and a super-sweep is not possible on
this board. It’s not hard to see that super-sweeps are never possible on square lattice boards,
except for certain trivial or degenerate cases (like a 1-dimensional board). Non-trivial supersweeps are only possible on a triangular lattice, an example is Figure 1b.
Neither of the sweep patterns of Figure 1 can be reached during the solution to a peg solitaire
problem on that board. The easiest way to see this is to try to figure out how one could have
arrived at the sweep board position, or equivalently try to play backwards from the sweep
position. In GPJ #36 [6], we saw in the Forward/Backward Theorem that backward
play is equivalent to forward play from the complement of the board position. This concept
is referred to as the “time reversal trick” in Winning Ways For Your Mathematical Plays [1].
If we take the complement of either board position in Figure 1, we find that no jump
is possible. This proves that there is no “parent board position” from which the sweep
position can arise, it cannot occur during the solution to a peg solitaire problem. If we
take the complement of any super-sweep pattern, and a jump is possible, this means there
would have to be two consecutive empty holes in the original super-sweep. Because it is a
super-sweep, both of these holes must be the starting or ending locations of some jump in
The Games and Puzzles Journal—Issue 41, September-October 2005
3
the sweep, which is impossible. Therefore a super-sweep can never occur in the solution to
a peg solitaire problem.
If super-sweeps cannot occur in peg solitaire problems, the reader may wonder why we are
wasting our time with them. The answer is provided by the triangular boards and GPS
#36 [6]: the super-sweep pattern of Figure 1b can be reached in a problem on Triangle(6).
This 9-sweep is no longer a super-sweep with respect to Triangle(6), but it is still a maximal
sweep. Loosely speaking, a super-sweep may still be reachable in a peg solitaire problem on
a board one size larger2 .
2
General boards with super-sweeps
Let us consider peg solitaire boards on a triangular lattice where the board shape is a general
polygon. On a triangular lattice the corners of the board are restricted to multiples of 60◦ .
For which such boards is it possible to have a super-sweep? It is clear that the board edges
must all have an odd length (in holes), because the super-sweep must pass through all the
corners of the board (by definition, a corner hole cannot be jumped over, and consequently
the super-sweep must jump into it). Consider, for example, the 8-sided polygon board of
Figure 2.
(a)
(b)
Figure 2: An 8-sided (non-convex) polygon board and the associated super-sweep graph. (a)
An unusual 24-hole board, set up in the board position of a hypothetical super-sweep (of
length 15). (b) The graph of the hypothetical super-sweep.
Can the green peg (top left) in Figure 2a make a tour of the board, sweeping off all 15
remaining pegs? We can answer this question by looking at the graph formed by the sweep,
shown separately in Figure 2b rather than on top of the board as in Figure 1. In the language
of graph theory the super-sweep is an Euler path on this graph, i.e. a path that traverses
every edge exactly once. One of the most basic theorems of graph theory states that an Euler
path is possible if and only if there are either zero or two nodes of odd degree. Looking at
Figure 2b, we see that there are four nodes of odd degree, hence an Euler path is not possible.
The board in Figure 2 does not support a super-sweep.
Using the Euler path theorem we can eliminate many boards from having super-sweeps.
Hexagonal or star-shaped boards have hexagonal symmetry, but do not support super-sweeps
2
Amazingly, the 16-sweep of Figure 1a can also be reached in a peg solitaire problem on a cross-shaped
board one size larger, the 45-hole “Wiegleb’s board” [3].
The Games and Puzzles Journal—Issue 41, September-October 2005
4
because the associated sweep graphs have six nodes of odd degree. If we restrict ourselves
to board shapes that are convex polygons (no 240◦ or 300◦ corners) things are particularly
simple. For a convex board on a triangular lattice, only three board shapes can have a
super-sweep:
1. Triangles, and only equilateral triangles are possible on a triangular lattice. Because
every node in the super-sweep graph has even degree, the super-sweep always begins
and ends at the same board location.
2. Parallelograms, which have alternating 60◦ and 120◦ corners as you go around the
circumference. The super-sweep must begin at one 120◦ corner and end at the other.
3. Trapezoids, which have two 60◦ corners followed by two 120◦ corners. The supersweep must begin at one 120◦ corner and end at the other. These boards can also be
considered as equilateral triangles with one corner cut off.
A rhombus is a special case of a parallelogram where all four sides have the same length
n, we’ll call this board Rhombus(n). By rotating them 60◦ , they become diamond-shaped
and could also be called Diamond boards. In the remainder of this paper, we’ll go into some
of the remarkable properties of these boards. Figure 3 shows the first four rhombus board
super-sweeps.
Figure 3: Super-sweeps on Rhombus(n) where n = 3, 5, 7 and 9. These sweeps have lengths
of 5, 16, 33, and 56 respectively, and end at the lower right corner.
The length of this sweep, for odd n, is (3n + 1)(n − 1)/4. Since the total number of holes in
the board is n2 , this sweep removes nearly 3/4 of the pegs on the board. For n = 3, 5, 7, 9,
11, 13, . . ., the sequence of sweep lengths is 5, 16, 33, 56, 85, 120, . . ., called the “rhombic
matchstick sequence” [4] because it is the number of matchsticks needed to construct a
rhombus (with (n − 1)/2 matchsticks on a side).
3
Rhombus(6)
This 36-hole board has several unusual properties. It is also of a reasonable size for playing
by hand, and for computational searches. This board is equivalent to the 6x6 square board
on a square lattice, with the addition of moves along one diagonal. It is therefore possible
to play this board using a chess or go board, although this is not recommended because
the symmetry of the board is obscured. For playing by hand I recommend using part of a
The Games and Puzzles Journal—Issue 41, September-October 2005
5
Chinese Checkers board. The ideal board for playing by hand is a computer [5], because we
can easily take back moves and record move sequences.
The board Rhombus(6) is a null-class board. For a definition of this term, see [2] or [5], the
important concept is that only on null-class boards can a complement problem be solvable.
Rhombus(6) is the smallest rhombus board on which a complement problem is solvable, and
in fact all complement problems are easily solvable.
a1 b1 c1 d1 e1 f1
a2 b2 c2 d2 e2 f2
a3 b3 c3 d3 e3 f3
a4 b4 c4 d4 e4 f4
a5 b5 c5 d5 e5 f5
a6 b6 c6 d6 e6 f6
Figure 4: Rhombus(6) hole coordinates. Potential finishing locations for a problem including
a maximal sweep (16-sweep) are shaded blue.
The longest sweep geometrically possible on Rhombus(6) has length 16 (as in Figure 3). Can
16-sweeps occur in solutions to peg solitaire problem on this board? Here we aren’t limiting
the 16-sweep to be the last move, but leave open the possibility that it could happen at any
move. We note that there are only a few places where the 16-sweep can begin and end. It
can go from a1 to e5, b2 to f6, b1 to f5, or any symmetric variant of these. The 16-sweep
can be the final move, or it can be the second to the last move, for example the 16-sweep
can go from a1 to e5, followed by f6-d4, or e6-e43 . The 16-sweep can even be the 3rd to the
last move, from a1 to e5, followed by e6-e4 and f5-d3.
In Figure 4, all potential finishing locations for solutions containing a 16-sweep are shaded
blue. Not all are feasible, the finishing 16-sweep from b1 to f5 is in fact impossible to
reach from any starting vacancy, as discovered by computational search. However all other
configurations of the 16-sweep can be reached. In fact, starting from any vacancy on the
board, there is a solution with a maximal sweep (16-sweep) that finishes with one peg.
This board is the only one we know of, on a square or triangular lattice, with this amazing
property.
Another unusual property of Rhombus(6) is that solutions to complement problems can
include maximal sweeps. Here are four different complement problems that can be solved
using a maximal sweep:
1.
2.
3.
4.
3
e5 complement:
d4 complement:
e4 complement:
d3 complement:
solve with the last move a 16-sweep.
solve with the second to last move a 16-sweep.
solve with the second to last move a 16-sweep.
solve with the third to last move a 16-sweep.
Notation: moves are denoted by the starting and ending coordinates of the jumps, separated by dashes.
The Games and Puzzles Journal—Issue 41, September-October 2005
6
These problems are most easily solved by attempting to play backward, or equivalently by
playing forward from the complement of the board position before the 16-sweep. All four
problems make good challenges to solve by hand; they are easy to solve using a computer
(provided you don’t try to solve them playing forward). In Figure 5 we show a solution to
problem #4. This solution is interesting in that after the third move, the board position is
symmetric about the red dashed line. After that moves are done in pairs, or are themselves
symmetric, preserving the symmetry up until the last two moves.
Figure 5: A symmetric solution to the d3 complement (problem #4). This solution has 17
moves. Note that more than one move is sometimes shown between board snapshots.
Any peg solitaire problem on this board begins with 35 pegs and finishes with one, so a
solution consists of exactly 34 jumps. The number of moves, however, can be less than this,
and an interesting problem is to find solutions in as few moves as possible. This is different
from finding solutions with maximal sweeps, and answers are more difficult to obtain. The
minimal solution length can be found using computational search methods [7, 8].
If we take into account all possible starting and finishing locations for a peg solitaire problem
on this board, we find there are 120 distinct problems. I have only solved the complement
problems, for there are only 12 of them. Of these 12, I have found that 7 can be solved in
a minimum of 13 moves, with the rest requiring 14 moves (see Figure 7 for all results). A
sample 13-move solution is shown in Figure 6.
Figure 6: A 13-move solution to the c3-complement. The last four moves originate from
corners, an unusual property for a 13-move solution. Note that more than one move is
sometimes shown between board snapshots.
Using the “Merson region” analysis of GPJ #36 [6], it is possible to prove that the 13-move
solution in Figure 6 is the shortest possible. In general, however, we rely on computational
The Games and Puzzles Journal—Issue 41, September-October 2005
7
search to establish the minimum. For more information on minimal length solutions on
Rhombus(6) and other boards see my web site [5].
The smallest integer (greater than one) that is a triangular number and a perfect square is
36. This is reflected in the fact that Triangle(8) and Rhombus(6) both have 36 holes. Because
of this, it is interesting to compare the properties of these two boards. Figure 7 shows the
minimum length solution of a complement problem by color for each of these boards. Note
that Rhombus(6) in general supports slightly shorter solutions, with none requiring 15 moves.
13 moves (magenta)
14 moves (cyan)
15 moves (yellow)
Figure 7: Colors indicate the length of the shortest solution to a complement problem on
Triangle(8) and Rhombus(6) (magenta = 13 moves, cyan = 14 moves, yellow = 15 moves). The
Rhombus(6) board has been rotated to its “diamond” configuration to show the symmetry.
4
Maximal sweeps on Rhombus(6i)
In GPJ #36 [6], we found that maximal sweeps on Triangle(6) and Triangle(8) could occur in
peg solitaire games on these boards. Although a proof has not been found, computational
results suggest that maximal sweeps cannot be reached on any larger triangular boards.
We have just shown that a maximal sweep can be reached by a peg solitaire problem on
Rhombus(6), but what about larger rhombus boards? One might suspect that maximal
sweeps would eventually become unreachable, as with the triangular boards. Somewhat
remarkably, however, this is not the case.
Theorem For any i > 0, there exists a solution to a peg solitaire problem on Rhombus(6i)
where the last move is a maximal sweep of length (9i − 1)(3i − 1).
Proof: By the Forward/Backward Theorem [6], it suffices to show that the complement
of some maximal sweep pattern can be reduced to one peg. The sweep pattern we choose
begins at the upper left corner, and ends one hole up and left from the lower right corner.
When we take the complement, this results in the board position of Figure 8.
The case i = 1, or Rhombus(6), has already been solved (problem #1 in the previous section).
We will use induction to prove the general case, starting with i = 2. The solution proceeds
The Games and Puzzles Journal—Issue 41, September-October 2005
8
Figure 8: The complement of the sweep pattern on Rhombus(6i). Note that the board
position is symmetric about the red dashed line.
through three phases (A, B and C). We apply the moves of phase A once, then B (i − 2)
times, followed by phase C once.
Figure 9: The eight moves of phase A.
Phase A, shown in Figure 9, consists of eight moves that clear out the leftmost 6 columns
of the board and the upper 4 rows, except for the last (rightmost) column. If the board is
larger than the Rhombus(12) shown in Figure 9, the long multi-jump moves must be extended
accordingly. We are left with a very similar board pattern as the one we started with, just
reduced in size. Note, however, that the final board position is no longer symmetric.
Phase B, shown in Figure 10, is nine moves that reduce the sweep pattern by 6 rows and 6
columns. As before if the board is larger than shown the multi-jump moves are extended.
After applying phase B j times the leftmost 6j + 6 columns will be empty, and the topmost
6j + 4 rows will also be empty, except for a trail of pegs in the rightmost column that will
be taken by the final move.
Finally, phase C is executed to take the board down to a one peg in the upper right corner.
The Games and Puzzles Journal—Issue 41, September-October 2005
9
Figure 10: The nine moves of phase B. The moves here are shown on Rhombus(15) to save
space. Phase B will actually be applied to boards at least as large as Rhombus(18).
Figure 11: The nine moves of phase C (also possible in eight moves).
The Games and Puzzles Journal—Issue 41, September-October 2005
10
The nine moves of this phase are shown in Figure 11. Only in phase C is the fact that the
side is divisible by 6 needed. For only on such boards can the final peg finish in the upper
right hand corner.
Putting together all three phases, it only takes 9i − 1 moves to clear the sweep pattern of
Figure 8. To find the solution ending in the maximal sweep, we begin from a vacancy at the
upper right corner, and execute the jumps of phases A, B and C in exactly the reverse order.
Thus we execute the jumps in phase C reversed, followed by (i − 2) phase B’s, and then
phase A, all in reverse order. The long sweeps become individual jumps, and the solution
ending in the maximal sweep has significantly more than 9i − 1 moves.
Figure 12: Putting phases A and C together for a backward solution on Rhombus(12).
In Figure 12 on Rhombus(12), we show the complete solution that reduces the complement
of the sweep pattern to one peg. In this case we need only execute phases A and C, and
in Figure 12 the two phases have been interleaved and are no longer visually separate. This
reduces the number of diagrams to show the solution, but the inductive nature of the solution
becomes much harder to see. It is unfortunate that a Chinese Checkers board is too small
to play this solution on. If you can find a large enough board, it is interesting to play the
moves in this solution in exactly the reverse order, and watch as the sweep position magically
appears. The final sweep in the reversed solution has length 85.
An integer that is a perfect square and a triangular number is called a square triangular
number [4]. As was the case with Rhombus(6) and Triangle(8), which both have 36 holes,
each square triangular number corresponds to a rhombus and triangular board of the same
size. If the side of the rhombus board is divisible by 6, and the side of the triangular board
by 12, then both have long sweep finishes by the above analysis and GPJ #36 [6].
After the 36-hole boards, the next time this occurs is with Rhombus(204) and Triangle(288),
which both have 41, 616 holes. By our inductive arguments, we can construct solutions to
peg solitaire problems on these boards that finish with sweeps of length 30, 805 and 30, 793,
The Games and Puzzles Journal—Issue 41, September-October 2005
11
respectively. The next larger such boards are Rhombus(235, 416) and Triangle(332, 928),
boards with over 55 billion holes, that can finish with sweeps over 41 billion in length.
5
Conclusions
Peg solitaire on a triangular lattice is a fascinating game, and one that has not been studied
to the extent that “normal” (square lattice) peg solitaire has. This paper, and GPJ #36
[6] have shown that triangular lattice peg solitaire is well suited for inductive arguments.
Inductive arguments have also been used to create an algorithm for triangular boards of any
size that can reduce any (solvable) single vacancy down to one peg [8]. I believe inductive
arguments are possible for square lattice boards, but the reduction from 6 jump directions
to 4 seems to make such arguments more difficult.
While the results in Section 3 for Rhombus(6) were obtained by computational search, the
long sweep finishes on Rhombus(6i) were found by hand. The computer was still of significant
help, but only in providing an interface to play the game on the large boards required.
There remain many unanswered questions regarding rhombus and triangular boards. Can
maximal sweeps be reached on peg solitaire problems on Rhombus(2i)? I have been able to
answer this question in the affirmative for 2 ≤ i ≤ 9. It would also be nice to prove that
maximal sweeps are not reachable in peg solitaire problems on triangular boards larger than
Triangle(8) (or find a counterexample).
References
[1] E. Berlekamp, J. Conway, and R. Guy, Winning Ways for your Mathematical Plays, A K Peters,
Vol. 2: 695–734 (1982 edition) or Vol. 4: 803–841 (2004 edition).
[2] J. Beasley, The Ins and Outs of Peg Solitaire, Oxford Univ. Press, Oxford, New York, 1992.
[3] G. Bell and J. Beasley, New problems on old solitaire boards, Board Game Studies, 8 (2007) (to
appear), http://www.boardgamesstudies.org, arXiv:math/0611091 [math.CO]
[4] N. Sloane, The On-Line Encyclopedia of Integer Sequences, rhombic matchstick numbers are sequence A045944, square triangular numbers are sequence A001110
http://www.research.att.com/%7enjas/sequences/
[5] http://www.geocities.com/gibell.geo/pegsolitaire/ (should this web address change in the
future I suggest a search on keywords: “triangular peg solitaire George Bell”)
[6] G. Bell, Triangular Peg Solitaire Unlimited, The Games and Puzzles Journal, 36, Dec. 2004
http://www.gpj.connectfree.co.uk/gpjr.htm, arXiv:0711.0486 [math.CO]
[7] G. Bell, Diagonal Peg Solitaire, INTEGERS Electronic Journal of Combinatorial Number Theory,
Vol 7, G1, 2007, arXiv:math/0606122 [math.CO]
[8] G. Bell, Solving Triangular Peg Solitaire, submitted to The Electronic Journal of Combinatorics,
arXiv:math/0703865 [math.CO]