递归---Hanoi塔问题

http://shmilyaw-hotmail-com.iteye.com/blog/2077098

简介

     关于Hanoi塔问题的分析，在网上的文章都写烂了。之所以打算写这篇文章，更多的是针对这个问题相关的各种数学思路和代码实现过程做一个总结。它虽然是一个看似简单的问题，后面引申出来的问题推导方法和思路还是比较丰富的。

 

问题描述

    这个问题起源于一个类似传说故事，在Hanoi这个地方有一个寺庙，这里有3根柱子和64个大小不同的金碟子。每个碟子有一个孔可以穿过。所有的碟子都放在第一个柱子上，而且按照从上到下碟子的大小依次增大的顺序摆设。如下图：



    现在，假定寺庙里的僧侣要移动这些碟子，将它们从最左边移动到最右边的柱子上。不过移动的规则如下：

1. 每次只能从一个柱子的最上面移动一个碟子到另外一个柱子上。

2. 不能将大碟子放到小碟子的上面。

    按照前面这个规则，我们该怎么去移动这些碟子呢？假定单位时间内可以移动一片碟子，那么最终移动这些碟子到目的柱子需要多长的时间呢？

 

问题分析 

    在分析这个问题的时候，我们可以先从一些简单的场景来看怎么来移动碟子保证可以达到目的。假定我们有3个碟子，那么移动它们的过程如下图：



    我们假定柱子从左到右分别为a, b, c。从前面移动碟子的步骤可以看到，我们要将a上面的两个碟子先移动到中间的b柱子作为过渡，然后再将最下面的柱子移动到目的c柱子，然后再将上面的两个碟子移过来。在将最下面的碟子移动到c之前，首先的步骤1, 2, 3是将上面的碟子移动到柱子b。而将最下面碟子移动后，上面的两个碟子又要移动一遍，不过是从b移动到c，只是借助的柱子不一样。

    所以，从上面的过程，我们可以看到一个可以递归解决问题的思路，如下图：

 


    如图所示，首先我们针对有n个碟子的柱子a，将n-1个碟子移动到柱子b。假定这个问题为S(n)表示移动的步数，则上面的问题是S(n)的一个子问题S(n-1)。这一步对应步骤1。然后将最下面的碟子移动到柱子c，最后再将n-1个碟子移动到c。后面这一步也相当于S(n)的子问题S(n-1)。对应步骤3.它和前面第一步移动n-1个碟子唯一不同的地方在于第一步是借助c将n-1个碟子从a移动到b，而最后这一步是借助a将n-1个碟子从b移动到c。除了借助的柱子和目的柱子不一样，其他的都是一样的。

    这样我们就可以很容易得到一个这样的推导关系: 

S(n) = 2S(n - 1) +1

    再考虑一种初始的情况，假定只有一个碟子需要移动，我们直接将碟子从a移动到c，那么需要的步骤是1步。因此可以说S(1) = 1。

 

进一步推导

    有了前面的归纳关系，我们可以很容易得到如下的一组推导结果：

      S(1) = 1

      S(2) = 2 x S(1) + 1 = 2 + 1 = 3

      S(3) = 2 x S(2) + 1 = 2 x 3 + 1 = 7

      S(4) = 2 x S(3) +1 = 2 x 7 + 1 = 15

    从这些得出来的结果里，似乎还看不到多少有规律的地方。不过我们可以采取一种根据递推原则代换的方式来尝试发现规律。前面的推导关系里有S(n) = 2 x S(n - 1) +1，那么我们将有如下的推导：



     这里，我们发现什么规律没？原来，这里似乎符合如下的一个等式：



     当我们最终一路递推到T1的时候，它将满足如下的形式：



    这似乎是我们所求得的结果了。当然，这种推导也有可能会出错。最好的情况是我们还需要验证一下它。验证的方法可以考虑用数学归纳法。因为过程比较简单，这里就不再赘述了。最终可以验证出来结果是满足以上等式的。从前面的推导我们可以看出，最终要实现将64个碟子移动到目的柱子，需要的时间是2的64次方这个量级的。在一定程度上，用计算机的内置数据类型都没法表示这个数值。

#include <iostream>

using namespace std;

//Hanoi塔问题，借助c，将n个盘子从a移到b
void hanoi(int n,char a,char b,char c)
{
if(n>0)
{
hanoi(n-1,a,c,b);//借助b，将n-1个盘子从a移到c上
cout<<"将"<<a<<"中最大的盘子从"<<a<<"移到"<<b<<endl;
hanoi(n-1,c,b,a);//借助a，将n-1个盘子从c移到b上
}
}
int main()
{
char a='A',b='B',c='C';
hanoi(3,a,b,c);
return 0;
}

#include <iostream>
#include <stdio.h>
using namespace std;

//第一个塔为初始塔，中间的塔为借用塔，最后一个塔为目标塔
int i=1;//记录步数
void move(int n,char from,char to) //将编号为n的盘子由from移动到to
{
printf("第%d步:将%d号盘子%c---->%c\n",i++,n,from,to);
}
void hanoi(int n,char from,char denpend_on,char to)
//将n个盘子由初始塔移动到目标塔(利用借用塔)
{
if (n==1)
move(1,from,to);//只有一个盘子是直接将初塔上的盘子移动到目的地
else
{
hanoi(n-1,from,to,denpend_on);//先将初始塔的前n-1个盘子借助目的塔移动到借用塔上
move(n,from,to);              //将剩下的一个盘子移动到目的塔上
hanoi(n-1,denpend_on,from,to);//最后将借用塔上的n-1个盘子移动到目的塔上
}
}
int main()
{
printf("请输入盘子的个数:\n");
int n;
scanf("%d",&n);
char x='A',y='B',z='C';
printf("盘子移动情况如下:\n");
hanoi(n,x,y,z);//A--->C
return 0;
}

移动步骤：

假设a，b，c排成一个三角形，a--->b--->c--->a构成顺时针循环，移动圆盘过程中，若奇数次移动，则将最小的圆盘移动到顺时针方向的下一塔，若是偶数次移动，则保持最小的圆盘不动，在其他两个塔之间将较小的圆盘移动到另一个上。