Sudoku is just one of hundreds of great puzzle types. This column presents obscure logic puzzles of various sorts and challenges the readers to solve the puzzles in two ways: by hand and with Mathematica. For the latter, solvers are invited to send their code to firstname.lastname@example.org. The person submitting the most elegant solution will receive a prize.
The Brick Factory
In 1940, the Hungarian mathematician Paul Turán was sent to a forced labor camp by the Nazis. Though every part of his life was brutally controlled, he still managed to do serious mathematics under the most extreme conditions. While forced to collect wire from former neighborhoods, he would be thinking about mathematics. When he found scraps of paper, he wrote down his theorems and conjectures. Some of these scraps were smuggled to Paul Erdős. One problem he developed is now called the brick factory problem.
Turán built the field of extremal graph theory while a prisoner. Many good puzzles come from graphs, such as the familiar problem of connecting water, gas, and electricity to three houses without the lines crossing. This would be equivalent to or 3 kilns, 3 storage yards. Without some form of cheating, the problem is impossible, since one crossing is required. (Try proving the impossibility with Euler’s formula: ). Consider the brick factory problem with 4 kilns at the top, and 3 storage yards at the bottom, or . What is the minimal number of crossings? If you are looking at the notebook version of this column in Mathematica 6 or later, you can drag the vertices—first double-click a vertex twice.
For many years, the number of crossings for the complete graph was known to be either 61 or 62, with a proof of 62 finally arriving in 2000 . Below are pictures of the graph in two forms, one symmetric, the other with minimal crossings. Due to the tediousness of counting that many crossings by hand, and the 40-plus years required to solve it, I do not consider this a friendly puzzle for casual solving. The Rectilinear Crossing Number (RCN) project, maintained by Oswin Aichholzer, has solved all complete graphs up to , with 1318 crossings . The calculation and bounding of crossing numbers remains active to this day [6, 7].
GraphData is an extensive built-in data paclet included with Mathematica 7 . It contains more than 3000 graphs, in excess of 200 graph properties, and one or more attractive embeddings for most of its constituent graphs. GraphData has been painstakingly compiled by Eric Weisstein and myself making use of extensive Mathematica computations, programming, hand-drawings, careful mining of the graph theoretic literature, and feedback from a number of prominent graph theorists. (If you have any additions to suggest for GraphData, please feel free to email them to email@example.com.) For example, here are a few 30-vertex graphs from .
Crossing Number Graphs
One piece of research I did, with substantial help from Geoffrey Exoo , was to catalog the smallest cubic graphs that require a certain number of crossings. I named these objects “crossing number graphs”, or CNGs in this column. We have already met CNG 1, since requires one crossing. With two crossings, there are two minimal cubic graphs, one the famous Petersen graph.
With the 3-crossing graphs, there are eight graphs to choose from, with two of them being famous. CNG 3E has been shown in a 3-crossing form; the rest are given as embedding puzzles.
In 4-crossing graphs, both are famous. The crossed-prism graph has been solved for you. The 4-crossing version of the Möbius-Kantor graph can probably be improved. This comment applies to almost all embeddings in this column.
With 5-crossing cubic graphs, one is famous. So far, all the crossing number graphs included a famous graph, and I thought I was seeing a trend. Both of these are difficult embedding puzzles.
At 6 crossings, all three graphs were incidence graphs for configurations. Configuration puzzle: arrange 10 points to make 10 lines of three points, with three lines through each point. There are 10 such configurations . Again, one famous graph.
The trend of crossing number graphs being famous was shattered with the 7-crossing graphs. There are four such graphs, and none of them seems to be famous.
The five 8-crossing graphs contain the McGee graph and Foster 24A.
With 26 vertices and beyond, the authors make conjectures. With 26, 28, and 30 vertices, the conjectured maximal crossings are 10, 11, and 13. Note that 9 crossings would not be extremal. The authors welcome expansion of these results. A related existence question, still unsolved, involves the smallest cubic graph such that the crossing number is less than the rectilinear crossing number.
No other crossing number graphs are known at this time. If you find any nice embeddings for any of these graphs, please send them to firstname.lastname@example.org. The crossing number graphs were found by co-author Geoffrey Exoo, using his program gnubar (nu, , represents a crossing number; a bar suggests rectilinearity). The many cubic graphs he tested were obtained from Brendan McKay’s nauty program . A brief description of the gnubar analysis of 7-crossing graphs is as follows:
- Set as the target the highest crossing number possible. So far, adding two vertices increases the maximum crossing number by one.
- Run a fast drawing routine that looks for reasonably good drawings for each graph. An embedding with fewer crossings than the target number eliminates that graph. For , out of 1435720 graphs, 50 graphs remained.
- A different randomized graph embedding routine found drawings with six or fewer crossings for all but the four graphs.
- Prove that there are no better drawings for these four graphs. This step takes the most time—roughly 150 hours per graph.
Solution for Number Link (Issue 10:3)
Recap of Number Link Rules
As mentioned in Volume 10, Issue 3, a Number Link puzzle follows four basic rules:
- A continuous line must connect identical numbers.
- Lines must go through the center of a cell horizontally or vertically and never go through the same cell twice.
- Lines cannot cross, branch off, or go through other numbered cells.
- Every unnumbered square must contain part of a path.
The only person sending in a solving method was Don Knuth.
Don Knuth’s Method
First, for one of the puzzles, five extra points are added to make the base graph.
After that, all Hamiltonian cycles for the graph are found—66648 different cycles in total. The desired graph has the defining point set in order.
From that, the solution immediately follows.
For solving, Don Knuth has received the Nikoli Puzzle Cyclopedia.
|||P. Turán, “A Note of Welcome,” Journal of Graph Theory, 1(1), 1977 pp. 7-9.|
|||D. J. Kleitman, “The Crossing Number of ,” Journal of Combinatorial Theory, 9, 1970 pp. 315-323.|
|||D. R. Woodall, “Cyclic-Order Graphs and Zarankiewicz’s Crossing-Number Conjecture,” Journal of Graph Theory, 17(6), 1993 pp. 657-691. doi.10.1002/jgt.3190170602.|
|||A. Brodsky, S. Durocher, and E. Gethner. “The Rectilinear Crossing Number of Is 62.” (Sep 22, 2000) arxiv.org/abs/cs/0009023.|
|||O. Aichholzer. “On the Rectilinear Crossing Number.” (2006) www.ist.tugraz.at/staff/aichholzer/research/rp/triangulations/crossing.|
|||E. de Klerk, J. Maharry, D. V. Pasechnik, R. B. Richter, and G. Salazar. “Improved Bounds for the Crossing Numbers of and .” (Apr 6, 2004) arxiv.org/abs/math/0404142.|
|||“GraphData” from the Wolfram Mathematica Documentation Center. reference.wolfram.com/mathematica/ref/GraphData.html.|
|||J. Pach, J. Spencer, and G. Tóth, “New Bounds on Crossing Numbers,” in Proceedings of the Fifteenth Annual Symposium on Computational Geometry (SCG’99), Miami Beach, FL (V. Milenkovic, ed.), New York: ACM Press, 1999 pp. 124-133.
|||E. Pegg Jr. “Planarity” from The Wolfram Demonstrations Project.
|||E. W. Weisstein. “Planar Graph” from MathWorld—A Wolfram Web Resource.
|||G. Exoo. “Rectilinear Drawings of Famous Graphs.” (2006) ginger.indstate.edu/ge/Graphs/RECTILINEAR.|
|||B. Grunbaum, “Lectures on Configurations,” in Proceedings of the International Configurations 2004 Workshop, villa Plemelj, Bled, 2004.|
|||B. D. McKay. “The Nauty Page.” (2008) cs.anu.edu.au/~bdm/nauty.|
|E. Pegg Jr, “Crossing Number Graphs,” The Mathematica Journal, 2011. dx.doi.org/doi:10.3888/tmj.11.2-2.|
About the Author
Ed Pegg Jr
Scientific Information Editor
Wolfram Research, Inc.
Professor of Mathematics and Computer Science
Indiana State University
Terre Haute, IN 47809