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.
|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
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.
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
r = (b1,b2,...,bn+1,an+1)
Define p = lr and q = rl. We find that
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.