汉诺塔问题的深入探讨

汉诺塔问题古老而有趣,是经常用作程序设计递归算法的典型例题。澳大利亚M·C·Er论证了单向移动的若干性质,并给出了相应迭代算法。但他在论述对称性时,隐含删去无效移动;而计算移动次数时又默认无效移动的存在,两者互相矛盾。本文以删除无效移动为出发点,严格论证了单向汉诺塔移动的对称性与唯一性,同时证明了各种移动序列可以相互变换。