Figure 1. “Free the Key” puzzle 
The author has written a series of guided tours showing how to visualize and solve puzzles programmatically, creating animated visualizations, showcasing various programming tricks and algorithms, and using some good old-fashioned physics problem-solving strategies with an occasional foray into abstract mathematics. Here the “Free the Key” puzzle is solved and animated together with basically equivalent (read isomorphic) alternative representations.
Description of the Puzzle
“Free the Key” is a mechanical puzzle designed by Oskar van Deventer . The object is to get the disk off the key, or to put it another way, to pull the key out of the disk. But some of the teeth are too tall to go through some of the slits in the disk, so you may have to turn the key (or the disk). Of course, sometimes the disk cannot turn and you must slide it to another position first!
The surprising thing about this puzzle is that sometimes it is impossible to move the disk closer to the end without backing up first, moving it farther away from the end. But it is not a particularly hard puzzle once one accepts the need to back up at times. Also, it is exactly as hard to put the disk back on the key as it is to take it off.
After solving the puzzle a few times, it began to feel like a maze to me. At any position you have four options: you can slide the disk left or right, or turn it counterclockwise or clockwise. That is analogous to moving left, right, up, or down in a maze. Obviously in a two-dimensional maze the path out may wander a lot, so we should not be surprised if the disk has to move left at some positions before we find a path leading farther to the right.
I decided to write a Mathematica program to visualize the puzzle, and at the same time investigate the possible relationship between key-disk puzzles and mazes.
Create Key and Disk Arrays
In order to create a virtual version of the puzzle we need some way to talk about the height of the teeth and compare them to the height of the cuts in the disk. I took height 0 to mean the tooth does not emerge from the cylinder at all, 1 for the shortest height tooth above the level of the cylinder, then 2, 3, and 4 for successively higher teeth. The variable key is made of two lists, the heights of the teeth above and below the cylinder. The list disk has the heights of the cuts in the disk, defining as height the height of the shortest slit that a tooth of height can pass through. Again, the heights range from 0 to 4.
Notice that disk is a single list, but we need to look at two parts of it at once, to see whether both the tooth above and the tooth below can fit. For human convenience I have divided it up on two lines, but for the purposes of the program it is a single list.
Create Visual Image of Puzzle
Routines to Facilitate Construction of 3D Objects
Here is a function to convert Disk and Rectangle objects into Polygon objects and to handle lists of these objects. The function Polygonize ignores all other objects, simply leaving them unchanged.
The function Cylindrize acts on a 2D Polygon (with coordinates as lists of length two) and a vector indicating the direction to extrude it, drawing it into a third dimension. The default is to turn the 2D object into a 3D object with height 1 in the direction.
Cylindrical Hub of the Key
We suppress the default box around Graphics3D objects throughout this notebook. For the hub of the key we form a cylinder of radius 2 and length at least 21 to accommodate the teeth. As with all Graphics3D objects, we can easily rotate and view the cylinder from all sides using the mouse.
From the key height data we construct the visual representation of the teeth. It is convenient to list together the position with the heights needed above and below. Since the cylinder radius is 2, all heights are at least 2 and all depths at most –2. For instance, both key lists begin with 0, so the first element (which we label by ) of the boxinfo list is . We can build the whole list this way.
Now we build a collection of Cuboid objects using boxinfo. Here we let the coordinates be –0.25 and 0.25, the coordinates be given by and , and the coordinates be the heights and depths, all listed in the boxinfo array.
Mathematica has excellent hidden-line routines, letting us combine these two graphics objects.
Drag the key to rotate it. Ctrl+drag zooms in or out.
Let us add a handle at the near end, a Rectangle, cylindrized to give it thickness 1 in the direction and slid back 0.5 to center it.
This is the model of the key.
The easiest way to create the disk is to use the function RegionPlot3D, which lets us specify equations or inequalities for the three-dimensional region we want to include in the object being graphed. For instance, the following generates a washer with thickness 0.4, inner radius 2, and outer radius 8.
We have allowed to take on all values between 2 and 8. In order to cut out the notches in the disk, we need to increase the inner radius by the appropriate value of disk.
There are 16 regions to notch.
The function tells us the angle (in radians) that corresponds to and . Dividing by (a full circle or 360°) and multiplying by 16 scales the angle for our use, but returns values between –8 and 8 rather than between 0 and 16. We use Round and to shift to values between 1 and . We ask for this entry of the disk array and add it to 2 to give a new inner radius for each of the 16 regions. Let us also scale the values by a factor of 1.05 to effectively expand the ring by 5% so it clearly fits on the key.
It will be more convenient later if we have a simple function to display the disk in all 16 rotational positions and all 21 translational positions. The offsets are to orient the disk properly on the first key segment, for the initial values .
Here is the first orientation of our disk.
Now let us display it on the key. Turn the image and look at it from the side to verify that the disk is correctly situated on the first key segment.
This Manipulate shows the various possible positions of the ring.
Not only can we adjust the position and orientation of the ring, but we can turn the whole puzzle with the mouse. Of course, this is not very realistic: you can slide the ring right through all the teeth on the key!
Routine to Display Puzzle
And now here is the function to display the whole puzzle. We specify and , indices giving the position of the disk and its rotation.
Create Flat Maze Representation of Puzzle
Building the Maze
We now turn our attention to creating a maze that models the same behavior as the puzzle. The illegal positions represent choices of such that the rotation of the disk cannot fit on the key at position , because either the tooth above or the tooth below is too tall compared to the cut in the disk above or below, respectively. We use 0 and 1 to mark allowed and forbidden locations.
In the first column we have all 1s, so all rotations of the disk are allowed there. But there are only two 1s in the next column. Only two orientations of the disk allow it to be slid over the teeth there; other orientations are forbidden (0s).
Display the Flat Maze
It would be much more convenient to see the maze as paths and walls. Let us create a list of pairs of GrayLevel graphics directives and Rectangle objects. Conveniently enough, means black and means white.
To distinguish the white columns at the sides from the background, we draw a line at the beginning and end of the puzzle.
Procedure to Identify Dead-End Locations
It is easy to check whether a given allowed position is a dead end: at least three neighboring positions are not 1. Obviously if a position is part of the path through the maze, it must have at least a way to get there and a way to continue on—two allowed neighboring positions. The function checkDeadEnd counts the number of illegal and blocked neighbors. If there are three or more, it labels the current square as blocked by putting a number not equal to 1 in that position in the array. (The sign of a legal but not useful position is any number between 0 and 1.) But now more cells are seen to be dead ends if their neighbors are illegal or blocked. The blocking code number assigned starts at 0.5 but is always a little closer to 1 than the smallest blocking code number of the neighbors. This way any cell marked with 0 is illegal, any cell marked 0.5 has at least three illegal neighbors, and any cell marked with a code between 0.5 and 1 has at least three blocked or illegal neighbors, and has blockingcode a little greater than any of them (but never quite equal to 1).
Notice how this fills in many dead-end paths immediately, indicating some (but not all!) of the undesirable paths in gray.
Apply checkDeadEnd Repeatedly to Mark All Dead-End Paths
In order to find all dead-end paths we need to apply the function repeatedly until no more changes occur. This is precisely what FixedPoint does. We hand it the function to apply and the initial state, and it keeps applying the function until done.
Our blocking codes in checkDeadEnd have guaranteed gray shading for dead-end paths, starting with 0.5 and getting lighter as we move away from the cul-de-sac.
We still have 0 for illegal positions, and nonzero for allowed positions, but now any legal but undesirable position is marked by a nonzero number less than 1. Ones remain only on the desirable legal positions:
This makes the main path through the maze immediately obvious. In fact, there is only one place where alternate viable paths exist.
However, since the disk can be turned past 16 on to 1, the maze we have drawn wraps around vertically. It would make more sense to display it wrapped around a cylinder, and that is what we do next.
Create Cylindrical Maze, Turned Appropriately
The cylMaze Routine
Now create a 3D object consisting of a list of GrayLevel directives and Polygon objects wrapped around a cylinder. We put in an argument defining how far around it should be turned, and memorize the results for each turn specified so as not to have to recalculate each time the function is called. ListAnimate stores its results but Animate does not.
Animate does not store its results in the notebook from one session to another (unlike ListAnimate, which does), so to see the result of this command you need to evaluate the input cells up to this point.
The showSpotCyl Routine
Why not put a red square somewhere on (or above) a specified square on the cylinder? It could indicate our position as we walk through the maze.
Solve Puzzle and Display Solution on Flat Maze
The findSoln Routine
It is time to solve the puzzle. We start with and arbitrarily try to move left, counterclockwise, clockwise, or right, in that order. Only moves to squares marked by a 1 in the maze array are considered. The moves are added to a list that is returned by the function, but at each move the new position is shown by a red square superimposed on the flat maze and a text explanation is added. Notice the command if no further move is possible, but this does not happen here.
The Solution + Delays
An easy way to add a delay at the beginning and end of the animation is to repeat the first and last positions a few times.
Display the Solution
Display It on a Sliding, Wrapping-Around Flat Maze
Without going into a lot of detail here, the function showFlatSliding first shifts the coordinates of all rectangles to display the value in the middle (at position 8 out of 17) before showing the maze. Basically the red marker stays at the same height while the maze itself shifts up/down, wrapping around as needed.
Here are the two displays side by side for comparison.
This command shows the solution using ListAnimate on the sliding flat maze. To keep a manageable file size, the results of ListAnimate have not been stored from this point on. The command takes about 30 seconds to run on a slow system.
Display Solution on Cylindrical Maze
We need to map the function showSpotCyl onto the list soln and pass the result to ListAnimate. Run this command to see the result (about a minute on a slow system).
No, that is not the best way after all. ListAnimate is showing only one premade image at a time, and only lets you drag the object to a different viewpoint in that one frame. Let us redo this using Animate. Now at any time you can pause the animation and experiment with adjusting the viewpoint (by clicking and dragging), then continue the action (click the Play triangle). The downside is that Animate runs more slowly than ListAnimate, since the frames are not precomputed. Also, you need to evaluate the commands defined up to this point; ListAnimate stores its results but Animate does not.
It is best to run only one animation at a time so as not to slow down other animations or evaluations.
Apply Solution to Visual Puzzle
It is a little more time consuming to show this set of moves on the original key and disk puzzle. (Again, for Animate, you need to evaluate the commands up to this point.)
Putting It All Together
Solution Simultaneously Shown on Flat or Cylindrical Mazes while Moves Are Performed on the Puzzle Itself
I cannot resist showing different versions of the puzzle simultaneously in one animation, using GraphicsGrid. The fun here is in seeing exactly how the moves on the key/disk puzzle correspond to moves in the maze. Animate computes its results on the fly, so they cannot be stored and it takes time to generate the frames one after the other. To run a little faster you can replace Animate by , which precomputes all the frames, keeping them in a Table (here a list of GraphicsGrid objects) that is passed to ListAnimate. Again, the price of this added speed during playback is some upfront computation time the first time the command is executed and the loss of interactive manipulability of the animated objects, which is probably a decent trade-off in this case.
These run fairly slowly; imagine what including all three is like! I show all three together here mostly to show how easy it is to place graphs where you want them.
Finally, here is the triple animation precomputed and shown with ListAnimate. It takes time to execute (three minutes on a slow system) and the 3D graphics cannot be rotated with the mouse, but once computed it runs at a reasonable speed.
This puzzle was fun to do, and used some interesting programming tricks. I particularly liked building up the visualization piece by piece, using Mathematica to generate everything from simple lists of key and disk cut heights/depths. And one great “Eureka!” moment was the realization that the puzzle was basically equivalent (isomorphic!) to a rectangular grid maze on the surface of a cylinder.
We might be able to think of a few more questions, though, such as:
- How were the tooth heights of the puzzle chosen?
- Is there any other choice of key and disk data (tooth heights and disk cut heights) that would result in a maze this complicated? I imagine that most choices would give either impossible mazes (the disk cannot move past a certain point) or trivially easy ones (the disk slides off).
- Might some other choice of key and disk data result in a better maze?
- We can generate a maze from any set of key and disk data. Is the converse true, can we take an arbitrary cylindrical maze and find key and disk heights for it? (My guess is “no.”)
Ah! More programs to write, more ideas to try out!
I thank my colleagues at Southern Adventist University who have encouraged me, the folks at Wolfram Research who have occasionally helped me, and Claryce, who has put up with me in all my most puzzling moods.
|||“Bits and Pieces.” (March 11, 2010) www.bitsandpieces.com/product.asp?pn=42735.|
|||O. van Deventer. “OskarPuzzle’s YouTube Channel.” (March 11, 2010) www.youtube.com/user/OskarPuzzle.|
|K. E. Caviness, “Maze for Free the Key Puzzle,” The Mathematica Journal, 2011. dx.doi.org/doi:10.3888/tmj.13-1.|
About the Author
Ken Caviness teaches physics at Southern Adventist University, a small liberal arts university near Chattanooga, Tennessee. He holds a Ph.D. in physics (emphases in relativity and nuclear physics) from the University of Massachusetts at Lowell, and has taught math and physics in Rwanda, Texas, and Tennessee. His interests include both computer and human languages (including the planned language Esperanto). He has used Mathematica since Version 1, both professionally and for recreational programming.
Kenneth E. Caviness
Southern Adventist University
P.O. Box 370, Collegedale, TN 37315-0370