Design theory
Solving puzzles related to permutation groups
ISSAC '98 Proceedings of the 1998 international symposium on Symbolic and algebraic computation
Hi-index | 0.00 |
A puzzle called ’’M_{13}‘‘ J. H. Conway has described recently isexplained. We report an implementation of the puzzle in the programminglanguage Java. The program allows the human userto ’’play M_{13}‘‘ interactively (and to cheat bysolving it automatically). The program is an example on how tobring to life a nice piece of discrete mathematics. In this senseit presents not only a didactical way of seeing ’’mathematicsat work‘‘, but also displays the stabilizer chain method developedby C. Sims to solve group theoretic puzzles, the most famousof which being Rubik‘s cube.