汉诺塔

（Tower of Hanoi）是根据一个传说形成的数学问题：
有三根杆子A，B，C。A杆上有 N 个 (N>1) 穿孔圆盘，盘的尺寸由下到上依次变小。要求按下列规则将所有圆盘移至 C 杆：
提示：可将圆盘临时置于 B 杆，也可将从 A 杆移出的圆盘重新移回 A 杆，但都必须遵循上述两条规则。
问：如何移？最少要移动多少次？
传说.
最早发明这个问题的人是法国数学家爱德华·卢卡斯。
传说越南河内某间寺院有三根银棒，上串 64 个金盘。寺院里的僧侣依照一个古老的预言，以上述规则移动这些盘子；预言说当这些盘子移动完毕，世界就会灭亡。这个传说叫做梵天寺之塔问题（Tower of Brahma puzzle）。但不知道是卢卡斯自创的这个传说，还是他受他人启发。
若传说属实，僧侣们需要 formula_1步才能完成这个任务；若他们每秒可完成一个盘子的移动，就需要 5849 亿年才能完成。整个宇宙现在也不过 137 亿年。
这个传说有若干变体：寺院换成修道院、僧侣换成修士等等。寺院的地点众说纷纭，其中一说是位于越南的河内，所以被命名为「河内-{}-塔」。另外亦有「金盘是创世时所造」、「僧侣们每天移动一盘」之类的背景设定。
解答.
如取 N=64，最少需移动 264−1 次。即如果一秒钟能移动一块圆盘，仍需 5849 亿年。目前按照宇宙大爆炸理论的推测，宇宙的年龄仅为 137 亿年。
在真实玩具中，一般 N=8；最少需移动 255 次。如果 N=10，最少需移动 1023 次。如果N=15，最少需移动32767次；这就是说，如果一个人从 3 岁到 99 岁，每天移动一块圆盘，他最多仅能移动 15 块。如果 N=20，最少需移动 1048575 次，即超过了一百万次。
算法求解.
解法的基本思想是递归。假设有 A、B、C 三个塔，A 塔有 formula_2 块盘，目标是把这些盘全部移到 C 塔。那么先把 A 塔顶部的 formula_3 块盘移动到 B 塔，再把 A 塔剩下的大盘移到 C，最后把 B 塔的 formula_3 块盘移到 C。
如此递归地使用下去， 就可以求解。
递回解.
在 Java语言中：
<syntaxhighlight lang="cpp">
public class HW {
 public static java.util.Scanner sc = new java.util.Scanner(System.in);
 public static void Towers(int n,char a,char b,char c){
 if(n==1){
 System.out.println("移动"+n+"从"+a+"到"+c);
 else{
 Towers(n-1,a,c,b);
 System.out.println("移动"+n+"从"+a+"到"+c);
 Towers(n-1,b,a,c);
 public static void main(String[] args) {
 int n = sc.nextInt();
 Towers(n,'A','B','C');
</syntaxhighlight>
以 C++ 语言实现：
<syntaxhighlight lang="cpp">
using namespace std;
void Towers(int n,char a,char b,char c){
 if(n==1){
 coutÂ«"Move disk "Â«nÂ«" from"<>n;
 Towers(n,'A','B','C');
 coutÂ« endl;
 
</syntaxhighlight>
以 Python 语言实现：
<syntaxhighlight lang="python">
def hanoi(n, a, b, c):
 if n == 1:
 print(a, '-->', c)
 else:
 hanoi(n - 1, a, c, b)
 hanoi(1 , a, b, c)
 hanoi(n - 1, b, a, c)
if __name__ == '__main__':
 hanoi(5, 'A', 'B', 'C')
</syntaxhighlight>
以 Erlang 语言求解：
<syntaxhighlight lang='erlang'>
-module(hanoi).
-export([hanoi/1]).
hanoi(N) when N>0 ->
 do_hanoi({N, 1, 3}).
do_hanoi({0, _, _}) ->
 done;
do_hanoi({1, From, To}) ->
 io:format("From ~p, To ~p~n", To);
do_hanoi({N, From, To}) ->
 do_hanoi({N-1, From, by(From, To)}),
 do_hanoi({1, From, To}),
 do_hanoi({N-1, by(From, To), To}).
by(From, To) ->
 = [1, 2, 3 -- To,
 Result.
</syntaxhighlight>
以 Haskell 语言实现：
<syntaxhighlight lang='haskell'>
hanoi :: Integer -> String -> String -> String -> [(String, String)]
hanoi 0 _ _ _ = []
hanoi 1 from _ to = [(from, to)]
hanoi x from buffer to = 
</syntaxhighlight>
任意初始结构（arbitrary initial configuration）的解法.
为了从任意初始结构中找寻最佳解（optimal solution），其演算法可以一般化（be generalized）如下：
以 Scheme 语言表示：
<syntaxhighlight lang='scheme'>
</syntaxhighlight>
在 Java语言中：
<syntaxhighlight lang="cpp">
public class Hanoi {
 public static void main(String[] args) {
 // TODO Auto-generated method stub
 System.out.println(hanoiFunc(7));
 public static int hanoiFunc(int i) {
 int sum = 0;
 if (i == 1) {
 sum += i;
 else {
 sum = 2 * hanoiFunc(i - 1) + 1;
 return sum;
</syntaxhighlight>
在 C语言中：
<syntaxhighlight lang='C'>
int conf/* Element conf[d gives the current position of disk d. */
void move(int d, int t) {
void hanoi(int h, int t) {
</syntaxhighlight>
图像解释.
可以用无向图来表示汉诺塔， 在表示的时候会更加地直观和清晰， 虽然说理解上有一点难度。
现在规定， 每一个节点表示盘子的位置一种可能性， 每一条边表示一种移动的方法。 
"注： 这里不考虑在两个柱子之间的， 没有意义的， 来回移动的情况。"
对于只有一个盘子的汉诺塔，可以表示为：
对于有两个盘子的汉诺塔， 可以表示为：
相互连接的三个三角形， 组成了一个较大三角形的三个角。
每一个节点的第二个字母表示更大的盘子， 且最初时没有被移动。
对于每一个顶端的小三角形， 表示两个盘子的一种移动的方法：
外围的三角形的每一个节点， 表示在一个柱子上盘子的所有分布可能。
对于 h+1 个盘子， 就可以"复制" h 个盘子时候的三角形图， 然后拼成一个新的大三角形图， 稍微改动一下，
这个大的三角形图就可以用来表示 h+1 个盘子时的情况了。
所以当有三个盘子时， 图形为：
最外面的三角形的边， 表示了盘子从一个柱子移动到另一个柱子最快的方式。 最大的三角形可以沿着中线分成三个次小的三角形， 就是上面由二级的汉诺塔组成三级的汉诺塔的逆向操作， 次小三角形相互之间的连线， 表示着最大的盘子的移动方式。 
同理， 在这次三角形的也可以沿其中线分割成为三个次次三角形， 一样的， 次次小三角形相互之间的连线， 表示着次大的盘子的移动方式。 继续下去， 也就可以表示出一个汉诺塔的移动方式。
通常，对于具有 n 个盘子的图， 有 formula_5个节点； 每个节点都有三条边连接着其他节点， 但是在顶点的的节点只却只有有两条边连接着其他节点。 所以说总是下都可以将最小的盘子移动到另外两个柱子中的一个， 对于多数情况， 是可以在两个柱子间移动一个盘子， 除了所有的盘子都在一个柱子上。 边角的节点表示着所有的盘子都在一个柱子的情况， 即可以在 a， b 或 c 柱上堆满盘子， 显然只要三种。 对于 formula_6个盘子的图， 可以通过表示 formula_7给盘子的图 "复制" 三份， 组合在一起的。 因此也就很方便地表示了每一层的汉诺塔移动方式， 每一个次小的三角形表示次小的盘子的所有可能的移动方式和放置状态， 次小的三角形之间的连接表示了大盘子的三种可能的移动方式。 所以图形有 formula_8 个节点， 基本都有三个与之相连接的边， 而顶点只有两个。
在盘子数比较多的时候， 汉诺塔的图像就会开始和分形图比较相似了。
如果使用最麻烦的移动方式， 即不走重复的路(移动方式)， 需要 formula_9 次移动， 每秒移动一次， 需要的时间超过 formula_10年。
在不考虑重复使用路径的情况下， 去除掉没有经过的边， 就可以表示出当有三个盘子时的最长路径 。
就是没有去做无意义 (多余的) 的， 将一个盘子在两个柱子间疯狂来回移动的情况下， 去除没有使用的移动方法， 就可以得到当有三个盘子时的最麻烦的移动方式
顺便一提，这个最长的非重复路径， 可以通过清除掉从 a 到 b 的路径得到。
也可以得出三个盘子的汉诺塔图的 哈密顿回路：
该图较为清楚地表达了：
这里的 formula_15， 详细在 。
多塔汉诺塔问题.
Frame-Stewart 演算法本质上也是递归的，可简单叙述如下：
流行文化.
2011年电影《猿人争霸战：猩凶革命》曾出现河内塔以测试猩猩的智商。其后续电影《猩球崛起2》中也有类似的场景。