The Tower of Hanoi – Myths and Maths
The Tower of Hanoi – Myths and Maths is a book in recreational mathematics, on the tower of Hanoi, baguenaudier, and related puzzles. It was written by Andreas M. Hinz, Sandi Klavžar, Uroš Milutinović, and Ciril Petr, and published in 2013 by Birkhäuser, with an expanded second edition in 2018. The Basic Library List Committee of the Mathematical Association of America has suggested its inclusion in undergraduate mathematics libraries.
Although this book is in recreational mathematics, it takes its subject seriously, and brings in material from automata theory, computational complexity, the design and analysis of algorithms, graph theory, and group theory, topology, fractal geometry, chemical graph theory, and even psychology (where related puzzles have applications in psychological testing).
The 1st edition of the book had 10 chapters, and the 2nd edition has 11. In both cases they begin with chapter zero, on the background and history of the Tower of Hanoi puzzle, covering its real-world invention by Édouard Lucas and in the mythical backstory he invented for it. Chapter one considers the Baguenaudier puzzle (or, as it is often called, the Chinese rings), related to the tower of Hanoi both in the structure of its state space and in the fact that it takes an exponential number of moves to solve, and likely the inspiration for Lucas. Chapter two introduces the main topic of the book, the tower of Hanoi, in its classical form in which one must move disks one-by-one between three towers, always keeping the disks on each tower sorted by size. It provides several different algorithms for solving the classical puzzle (in which the disks begin and end all on a single tower) in as few moves as possible, and for collecting all disks on a single tower when they begin in other configurations, again as quickly as possible. It introduces the Hanoi graphs describing the state space of the puzzle, and relates numbers of puzzle steps to distances within this graph. After a chapter on "irregular" puzzles in which the initial placement of disks on their towers is not sorted, chapter four discusses the "Sierpiński graphs" derived from the Sierpiński triangle; these are closely related to the three-tower Hanoi graphs but diverge from them for higher numbers of towers of Hanoi or higher-dimensional Sierpinski fractals.
The next four chapters concern additional variants of the tower of Hanoi, in which more than three towers are used, the disks are only allowed to move between some of the towers or in restricted directions between the towers, or the rules for which disks can be placed on which are modified or relaxed. A particularly important case is the Reve's puzzle, in which the rules are unchanged except that there are four towers instead of three. An old conjecture concerning the minimum possible number of moves between two states with all disks on a single tower was finally proven in 2014, after the publication of the first edition of the book, and the second edition includes this material.
Some of the definitions and proofs are extended into the book's many exercises. A new chapter in the second edition provides hints and partial solutions, and the final chapter collects open problems and (in the second edition) provides updates to previously-listed problems. Many color illustrations and photographs are included throughout the book.
The book can be read both by mathematicians working on topics related to the tower of Hanoi puzzle, and by a general audience interested in recreational mathematics. Reviewer László Kozma describes the book as essential reading for the first type of audience and (despite occasional heavy notation and encyclopedic detail) accessible and interesting to the second type, even for readers with only a high school level background in mathematics. On the other hand, reviewer Cory Palmer cautions that "this book is not for a casual reader", adding that a good understanding of combinatorics is necessary to read it, and reviewer Charles Ashbacher suggests that it has enough depth of content to be the topic of an advanced undergraduate elective course.
Although generally positive, reviewer S. V. Nagaraj complains about a "significant number of errors" in the book. Reviewer Andrew Percy calls it "an enjoyable adventure", "humorous, and very thorough". Reviewer Martin Klazar calls the book "wonderful", recommending it to anyone interested in recreational mathematics or mathematics more generally.
- Allouche, Jean-Paul (2014), "Review of The Tower of Hanoi - Myths and Maths (1st ed.)" (PDF), European Mathematical Society Newsletter, 93: 56
- Ashbacher, Charles (May 2013), "Review of The Tower of Hanoi - Myths and Maths (1st ed.)", MAA Reviews, Mathematical Association of America
- Bultheel, Adhemar (February 2013), "Review of The Tower of Hanoi - Myths and Maths (1st ed.)", EMS Reviews, European Mathematical Society CS1 maint: discouraged parameter (link)
- Kozma, László (September 2014), "Review of The Tower of Hanoi - Myths and Maths (1st ed.)" (PDF), SIGACT News, 45 (3): 29–31, doi:10.1145/2670418.2670430
- Nagaraj, S. V. (December 2013), "Review of The Tower of Hanoi - Myths and Maths (1st ed.)", ACM Computing Reviews
- Palmer, Cory (December 2014), "Review of The Tower of Hanoi - Myths and Maths (1st ed.)", The Mathematics Enthusiast, 11 (3): 753–754
- Percy, Andrew, "Review of The Tower of Hanoi - Myths and Maths (1st ed.)", zbMATH, Zbl 1285.00003
- Sangwin, Chris (August 2015), "Review of The Tower of Hanoi - Myths and Maths (1st ed.)", The Mathematical Intelligencer, 37 (4): 87–88, doi:10.1007/s00283-015-9552-y
- Klazar, Martin, "Review of The Tower of Hanoi - Myths and Maths (2nd ed.)", Mathematical Reviews, MR 3791459
- From the publisher's description of the second edition, as quoted by Zbl 1387.00002