Happy 8

The purpose of the game, as with the Lucky 7 puzzle, is to return the counters into their Home position, position they were in before reshuffling. The puzzle consists of several counters placed on two intersecting circles. There are six points of control: the two central counters and the two pairs of counters adjacent to the central ones. In the case of 8 counters, these are numbered 1, 8, 7, 3, 4, 5. Clicking on the upper counters induces clockwise rotations. Clicking on the lower counters results in counterclockwise rotations. Left counters rotate the left circle. Right counters rotate the right circle. The middle ones handle the whole set.

If the "Cycles" box is checked, a permutation of counters needed to solve the puzzle is displayed. The permutation is presented as a product of cycles.

This applet requires Sun's Java VM 2 which your browser may perceive as a popup. Which it is not. If you want to see the applet work, visit Sun's website at https://www.java.com/en/download/index.jsp, download and install Java VM and enjoy the applet.

 What if applet does not run?

In the general framework of Graph Theory, R.Wilson gave a complete treatment of puzzles on graphs of which the Lucky 7 is a particular case. His results do not directly apply to the Happy 8 puzzles. However, combining some of his auxiliary Lemmas I can claim the following

Theorem

Let's denote the three available (counterclockwise) moves r (right cycle), l (left cycle), and w (whole set cycle).

Let n+2 be the number of counters on each of the two puzzle cycles. The total number of counters is thus 2(n+1). If n is odd then every even permutation can be obtained using r and l cycles. If, in addition, w is also used, then every starting configuration becomes solvable. If n is even, the puzzle is solvable for any starting configuration even if only r and l cycles are used.

Proof

The proof hinges on the ability to demonstrate that the two conditions of Lemma 5 are satisfied. The fact that the group <r, l > generated by the two basic moves is 2-transitive is tedious but otherwise straightforward (see a similar statement for Blithe 12.) Less trivial but no less tedious is a demonstration that <r, l > contains a 3-cycle.

Counters are numbered 1,2,...,n+1,n+2,...,2n+1,2(n+1). The proof consists in constructing a sequence of permutations (mostly applying Lemma 1) such that the last permutation in the sequence is a 3-cycle. To make the derivations more intuitive, let's use the following numbering of counters: a1,a2,...,an+1,b1,b2,...,bn,bn+1, where a1 = 1 and so on counterclockwise.

In these notations

l = (a1,a2,...,an+1,bn+1)
r = (b1,b2,...,bn+1,an+1)

Define p = lr and q = rl. We find that

p = (a1 a2 ... an b1 b2 ... bn bn+1)
q = (b1 b2 ... bn a1 a2 ... an an+1)

Now let's start forming our sequence of permutations:

 s1 = p-1q = (a1 bn+1)(b1 an+1) s2 = q-1s1 q = (a2 bn+1)(b1 b2) s3 = q-1s2 q = (a3 bn+1)(b2 b3) s4 = pns1 p-n = (a1 an+1)(b1 b2) s5 = s2 s4 = (a1 an+1)(a2 bn+1) s6 = q-1s5 q = (a2 b1)(a3 bn+1) s7 = pn-1s1 p-(n-1) = (a2 an+1)(b2 b3) s8 = s3 s7 = (a2 an+1)(a3 bn+1) s9 = s6 s8 = (a2 an+1)(a2 b1)

The latter is a 3-cycle. Sliders and Puzzles on Graphs

• Puzzles on graphs
• Three Glass Puzzle (example)
• Three Glass Puzzle in Barycentric Coordinates (example)
• Sierpinski Gasket and Tower of Hanoi (example)
• Sam Loyd's Fifteen
• Slider Puzzles
• Lucky 7
• Blithe 12
• Proof of solvability of the Blithe 12 puzzle
• Sliders, puzzles on graphs
• 