Articles

Simple Variations on The Tower of Hanoi: A Study of Recurrences and Proofs by Induction

Published:
2020-03-24
Author
View
Keywords
License

Copyright (c) 2022 Saad Mneimneh

Creative Commons License

This work is licensed under a Creative Commons Attribution 4.0 International License.

How To Cite
Selected Style: APA
Mneimneh, S. (2020). Simple Variations on The Tower of Hanoi: A Study of Recurrences and Proofs by Induction. Teaching Mathematics and Computer Science, 17(2), 131-158. https://doi.org/10.5485/TMCS.2019.0459
Abstract

The Tower of Hanoi problem was formulated in 1883 by mathematician Edouard Lucas. For over a century, this problem has become familiar to many of us in disciplines such as computer programming, algorithms, and discrete mathematics. Several variations to Lucas' original problem exist today, and interestingly some remain unsolved and continue to ignite research questions. Nevertheless, simple variations can still lead to interesting recurrences, which in turn are associated with exemplary proofs by induction. We explore this richness of the Tower of Hanoi beyond its classical setting to compliment the study of recurrences and proofs by induction, and clarify their pitfalls. Both topics are essential components of any typical introduction to algorithms or discrete mathematics.

Subject Classification: A20, C30, D40, D50, E50, M10, N70, P20, Q30, R20