汉诺塔问题

作者: veaxen 分类: 数据结构与算法,编程题目 发布时间: 2017-04-12 23:53

汉诺塔问题是一个经典的问题。汉诺塔(Hanoi Tower),又称河内塔,源于印度一个古老传说。大梵天创造世界的时候做了三根金刚石柱子,在一根柱子上从下往上按照大小顺序摞着64片黄金圆盘。大梵天命令婆罗门把圆盘从下面开始按大小顺序重新摆放在另一根柱子上。并且规定,任何时候,在小圆盘上都不能放大圆盘,且在三根柱子之间一次只能移动一个圆盘。问应该如何操作?

分析

如果是初次接触类似的问题,乍看之下肯定会感觉无从下手。

要把64个圆盘从a柱子移动到c柱子上,第一步应该怎么做?虽然可以肯定,第一步唯一的选择是移动a最上面的那个圆盘,但是应该将其移到b还是c呢?很难确定。因为接下来的第二步、第三步……直到最后一步,看起来都是很难确定的。能立即确定的是最后一步:最后一步的盘子肯定也是a最上面那个圆盘,并且是由a或b移动到c——此前已经将63个圆盘移动到了c上。

也许你会说,管他呢,先随便试着移动一下好了。如果你这么做,你会发现,接下来你会面临越来越多类似的选择,对每一个选择都“试”一下的话,你会偏离正确的道路越来越远,直到你发现你接下来无法进行为止。

如果将这个问题的盘子数量减为10个或更少,就不会有太大的问题了。但盘子数量为64的话,你一共需要移动约1800亿亿步(18,446,744,073,709,551,615),才能最终完成整个过程。这是一个天文数字,没有人能够在有生之年通过手动的方式来完成它。即使借助于计算机,假设计算机每秒能够移动100万步,那么约需要18万亿秒,即58万年。将计算机的速度再提高1000倍,即每秒10亿步,也需要584年才能够完成。

虽然64个盘子超出了人力和现代计算机的能力,但至少对于计算机来说,这不是一个无法完成的任务,因为与我们人类不同,计算机的能力在不断提高。

分解问题

一股脑地考虑每一步如何移动很困难,我们可以换个思路。先假设除最下面的盘子之外,我们已经成功地将上面的63个盘子移到了b柱,此时只要将最下面的盘子由a移动到c即可。如图:

当最大的盘子由a移到c后,b上是余下的63个盘子,a为空。因此现在的目标就变成了将这63个盘子由b移到c。这个问题和原来的问题完全一样,只是由a柱换为了b柱,规模由64变为了63。因此可以采用相同的方法,先将上面的62个盘子由b移到a,再将最下面的盘子移到c……对照下面的过程,试着是否能找到规律:
1. 将b柱子作为辅助,把a上的63个圆盘移动到b上
2. 将a上最后一个圆盘移动到c
3. 将a作为辅助,把b上的62个圆盘移动到a上
4. 将b上的最后一个圆盘移动到c
5. ……

也许你已经发现规律了,即每次都是先将其他圆盘移动到辅助柱子上,并将最底下的圆盘移到c柱子上,然后再把原先的柱子作为辅助柱子,并重复此过程。

这个过程称为递归,即定义一组基本操作,这组操作将规模小一点(或大一点)的操作当做一个整体——无需关心它的细节,只当它已经完成了——然后执行剩下的操作。而在更小或更大的规模中也依此操作,直到规模达到预定值。

在数学上,有些公式就是采用递归的方式定义的。例如阶乘和斐波那契数列(Fibonacci Sequence)。前者的公式为:

规定0!=1!=1,对于n>=2,有n!=n*(n-1)!

这里的n-1就是比n规模略小的阶乘,而1就是规模的最小值(预定值)(0是作为特殊值而专门规定的)。

著名的斐波那契数列定义如下,可以看出,f(n)是由规模更小一些的f(n-1)和f(n-2)推导出来的:

f(0)=0,f(1)=1
f(n)=f(n-1)+f(n-2) (n>=2)

因此,递归实际上就是用自己来定义自己。

以下是重点理解的地方

回到前面汉诺塔的问题上来。我们假设函数func(n, a, b, c)用于将n个圆盘由a移动到c,b作为辅助柱子。那么我们可以这样实现这个递归过程:

func:
if n!=0 then            ;预定值
  func(n-1, a, c, b)    ;将n-1个盘子由a移动到b,以c为辅助柱子(注意参数顺序)
  move a[n] to c        ;将a上的最后一个盘子移动到c
  func(n-1, b, a, c)    ;将n-1个盘子由b移动到c,以a为辅助柱子
endif                   ;完成

func中有两个递归调用,它们的规模刚好比n小1。注释说明了每行代码的作用和意图。正如注释里所强调的那样,注意参数的顺序——参数位置不同,其代表的意义也不一样。例如假设func(n, a, b, c)用于将n个圆盘由a移动到b,c作为辅助柱子。那么递归过程过程将修改为:

func:
if n!=0 then            ;预定值
  func(n-1, a, c, b)    ;将n-1个盘子由a移动到c,以b为辅助柱子(注意参数顺序)
  move a[n] to b        ;将a上的最后一个盘子移动到b
  func(n-1, c, b, a)    ;将n-1个盘子由b移动到c,以a为辅助柱子
endif                   ;完成

这里我们用第一个定义假设func(n, a, b, c)用于将n个圆盘由a移动到b,c作为辅助柱子,由于前面提到了当n为64时,需要递归的次数过大(步数是圆盘数量的指数函数,即steps=2^n – 1,运行所需时间也遵从这个规律),会导致程序崩溃,所以这里仅仅为了演示,采用n=3的递归求解,代码如下:

#include <iostream>
#include <fstream>
using namespace std;

#define NUMOFDISK  3

ofstream fout("out.txt");

void move(int n,char x,char y)
{
    static int step=0;
    fout<<"Step "<<++step<<":   ";
    fout<<"Move "<<n<<" from "<<x<<" to "<<y<<endl; 
}

void hannoi(int n,char a,char b,char c)
{
    if(n == 1){
        move(1,a,c);
    }else{
        hannoi(n-1,a,c,b);
        move(n,a,c);
        hannoi(n-1,b,a,c);
    }
}

int main()
{
    fout<<"The solution for Hannoi,when the number of disks is "
        <<NUMOFDISK<<endl;
    hannoi(NUMOFDISK,'a','b','c');
    fout.close();
    cout<<"The End!Please check out.txt."<<endl;
    return 0;
}

扩展:汉诺塔问题的非递归实现

参考《递归如何转换为非递归

非递归代码我过段时间再来写

参考:
http://www.cnblogs.com/antineutrino/p/3334540.html

如果觉得我的文章对您有用,请随意打赏。您的支持将鼓励我继续创作!

发表评论

电子邮件地址不会被公开。 必填项已用*标注

此站点使用Akismet来减少垃圾评论。了解我们如何处理您的评论数据