Selenite Towers Move Faster Than Hanoï Towers, But Still Require Exponential Time
The Hanoi Tower problem is a classic exercise in recursive programming: the solution has a simple recursive definition, and its complexity and the matching lower bound correspond to the solution of a simple recursive function (the solution is so simple that most students memorize it and regurgitate it at exams without truly understanding it). We describe how some minor change in the rules of the Hanoi Tower yields various increases of difficulty in the solution, so that to require a deeper mastery of recursion than the classical Hanoi Tower problem. In particular, we analyze the Selenite Tower problem, where just changing the insertion and extraction positions from the top to the middle of the tower results in a surprising increase in the intricacy of the solution: such a tower of n disks can be optimally moved in 3^(n/2) moves for n even (i.e. less than a Hanoi Tower of same height), via 5 recursive functions (or, equivalently, one recursion function with five states following three distinct patterns).
Brähma tower
Disk Pile
Hanoi Tower
Levitating Tower
Recursivity
5:1-5:20
Regular Paper
Jérémy
Barbay
Jérémy Barbay
10.4230/LIPIcs.FUN.2016.5
J.-P. Allouche and F. Dress. Tours de Hanoï et automates. RAIRO, Informatique Théorique et applications, 24(1):1-15, 1990.
M.D. Atkinson. The cyclic towers of Hanoï. Information Processing Letters (IPL), 13(118-119), 1981.
W. R. Ball. Mathematical Recreations and Essays. McMillan, London, 1892.
J. S. Frame and B. M. Stewart. Solution of problem no 3918. American Mathematics Monthly (AMM), 48:216-219, 1941.
Édouard Lucas. La tour d'Hanoï, véritable casse-tête annamite. In a puzzle game., Amiens, 1883. Jeu rapporté du Tonkin par le professeur N.Claus (De Siam).
Édouard Lucas. Récréations Mathématiques, volume II. Gauthers-Villars, Paris, quai des Augustins, 55, 1883.
D. Wood. The towers of Brahma and Hanoï revisited. Journal of Recreational Mathematics (JRM), 14(1):17-24, 1981.
Creative Commons Attribution 3.0 Unported license
https://creativecommons.org/licenses/by/3.0/legalcode