对于递归来讲, 汉诺塔实际是经典到不能再经典的例子了, 每个数据结构的教材对会提到.
但是到最后只给出一段类似下面的一段代码:
#include<stdio.h>
void move(int n,char a,char b,char c)
{
if(n==1)
printf("\t%c->%c\n",a,c); //当n只有1个的时候直接从a移动到c
else
{
move(n-1,a,c,b); //把a的n-1个盘子通过c移动到b
printf("\t%c->%c\n",a,c); //把a的最后1个盘(最大的盘)移动到c
move(n-1,b,a,c); //吧b上面的n-1个盘通过a移动到c
}
}
main()
{
int n;
printf("请输入要移动的块数：");
scanf("%d",&n);
move(n,'a','b','c');
}
这段代码用来学习递归思想是足够的, 也能大概上了解到移动汉诺塔的步骤.
但是我说, 这段代码没有体会出汉诺塔的本质, 也没有办法验证.
下面我会敲出能体现出汉诺塔本质的递归代码. 并能根据输出每1个步汉诺塔的状态, 并且验证正确性.
1. 什么是汉诺塔
下面的定义摘自维基百科:
有三根杆子A，B，C。A杆上有N个(N>1)穿孔圆盘，盘的尺寸由下到上依次变小。要求按下列规则将所有圆盘移至C杆：
配图:
2. 汉诺塔的本质是3个栈
维基的定义只简单提到了汉诺塔的规则, 但是并没有揭示它的本质. 下面我们来分析它的本质.
1.每次只能移动1个盘:
也就说不能两个盘一齐移动, 必须按顺序1个1个套在柱子上, 而且只能从柱子的上方套入, 也能只能从柱子的上方取出.
这明显就是1个先进后出的线性结构了, 因为出入口只有1个啊, 柱子的下方是不能放入和取出盘子的.
先进后出的线性结构就是栈了, 套入柱子和取出盘子就是对应的压栈和出栈动作. 如果读者之前没有了解过栈的话, 个人建议先去了解下栈, 然后再往下看.
2. 大盘不能套在小盘上面
代表这3个栈中, 如果不是空栈, 那么压栈的元素必须比栈顶元素小, 然后才允许压栈. 这就保证栈里面的元素是从小到大排序的.
总结: 汉诺塔的本质就是3个栈, 而且压栈的元素必须比栈顶元素(如果存在)小.
3. 汉诺塔的解题思路及递归原理
好, 现在开始讲解汉诺塔的解题思路.
假如A塔有n个盘子, 大小从大(底部) 到小(顶部)排列, B塔和C塔都是空塔.
如下图:
好了那么到底如何把这个n个盘子移动到C塔呢?
3.1 假如n=1 也就是说A塔只有1个盘子的情况下, 直接将1个盘子移动到c塔
那么我们写1个函数move()
执行move(A,C) 就是把A里唯一1个盘子移动到C
当然这里先不管这个函数具体是如何实现的.
但是可看出, 这个过程是不需要借助B塔中转的.
3.2 n>1的情况分析, hanoi_m(A,B,C,n) 函数
但是n>1呢? 上面的move函数就行不同了, 所以我们需要1个新的函数 hanoi_m()
hanoi_m(A, B, C, n) 函数意思就是把n个盘子从A借助B移动到C.
这里也先不管这个函数是如何具体如何实现, 知道它的参数意义和目地就ok了.
我上篇文章讲过, 递归的条件之一就是令数据规模不断地减少, 也就是假如1个函数f(n) 是递归函数, 则必须要找出f(n) 与f(n-1)关系, 也就是说把求f(n) 转化为求f(n-1), 然后再转化为求f(n-2), 最终f(1)就是出口.
那么这里的hanoi_m(x,x,x,1) 是什么呢? 就是上面的move()函数了, 也就说出口找到了.
但是hanoi_m(x,x,x,n) 与 hanoi_m(x,x,x, n-1) 的关系还不知道, 这就是汉诺塔递归函数的精髓了!
下面步骤就是讲解这个n 与 n-1的关系.
关键的一点: 假如要将n-1个盘子放到C塔, 如果c塔是非空的话, 那么c塔的盘子都必须比n-1大, 否则按照规则是不能放入的!
所以 最大的盘子必须比 它小的所有盘子先放入C塔.
1.但是如果要将最大的盘子从A塔移动到C塔, 那么C塔必须是空的, 不让放不下
2.而且最大的盘子必须在A塔的最上面, 也就是说A塔只有1个最大的盘子.
3.所以其他盘子都必须在B塔上,
理解好这个那么问题就不大了
下面是详细步骤
3.3 第一步, 将A上面的n-1个盘子借助C塔移动到B塔. hanoi(A,C,B,n-1)
这个过程用函数来表示就是hanoi_m(A,C,B,n-1)啊, 理解这一步也十分关键:
如图:
至于这个过程具体如何实现, 这里也不用去管, 只有1点是明确的, 只要n-1>1 那么这个过程肯定需要C塔来中转, 而且肯定可以化为求 hanoi_m(x,x,x, n-2).
假如n-1=1? 就直接move(A,B)就ok了, 这就是出口啊.
3.4 第二步, 将A上面的最后的(最大的)盘子移动到C塔 move(A,C)
因为现在A塔了只有1个最大盘子n了啊, 所以无需借助B塔, 直接move(A,C)搞定如下图:
注意现在还没完成哦
3.4 第三步, 将B上面的所有盘子(n-1)个盘子借助A塔移动到C塔 hanoi(B,A,C,n-1)
因为C塔的盘子比B塔的所有盘子都大, 所以是可以忽略掉C盘的那个最大的盘子的, 理解这个也很重要啊.
这个函数实现就是 hanoi(B,A,C,n-1)
如图:
搞掂完成了...
3.5 总结及伪算法:
经过上面的图解, 我们知道hanoi(n) 与hanoi(n-1)的关系了, 可以分成三步啊
伪算法就是:
hanoi_m(A,B,C,n){
if (n==0){
move(A,C);
}
hanoi_m(A,C,B,n-1);
move(A,C);
hanoi_m(B,A,C,n-1);
}
看看这个函数, 自己调用了自己, 而且规模不断在减少, 还有1个明确的出口, 标准的递归函数啊.
再看看本文开始那个函数, 是不是能理解了
然而 真正的代码实现没那么简单, 但是起码逻辑已经清楚了.
4. 1个静态栈(数组内核)的容器的c语言代码实现
假设我们可以用类似下面的代码来定义3个栈, 和调用压栈和出栈函数, 就很方便了.
//declare a stucks
stuck A = new stuck;
//push
A->push(1); //push element int "1" into the stuck
//pop
int i;
A->pop(&i) //pop the top element, and assign the value to variable i
咋一看不是c++的代码吗?, 的确c语言不能实现面向对象的类.
但是利用c语言里的结构体和函数指针, 也可以实现类似上面代码的功能.
用c语言写1个静态栈容器并不是很简单, 可以说远比汉诺塔的函数复杂, 具体的代码我就不讲解了. 有兴趣的可以参考我之前的文章, 有1个动态栈(链表内核)的c语言代码例子讲解.
但是静态栈的原理远比动态栈复杂.
下面我只会介绍下头文件的函数, 具体当面我会作为附件, 有兴趣的可以下载:
#include "bool_me.h"
#ifndef __ARRSTUCK1_H_
#define __ARRSTUCK1_H_
struct arrstuck1{
int * pArr; //address of array (int type)
int arrlen; //the maxlen of th array
int top; //index of the top + 1
int buttom; //index of buttom , default is 0
const char * stname; //name of stuck, haha ,used to print the log to logfile
int (* len)(struct arrstuck1 *); //get the length
int (* TopVal)(struct arrstuck1 *); //get the top value
int (* ButtomVal)(struct arrstuck1 *); //get the top value
BOOL (* is_empty)(struct arrstuck1 *);
BOOL (* is_full)(struct arrstuck1 *);
BOOL (* push)(struct arrstuck1 *, int); //push an element to the stuck
BOOL (* pop)(struct arrstuck1 *, int *); //pop the topelemnt to the stuck
void (* print)(struct arrstuck1 *); //print from buttom to top
void (* print_from_top)(struct arrstuck1 *); //print from top to buttom
void (* clean)(struct arrstuck1 *); //remove all elements
BOOL is_inited; //judge whether the arraystuck is initialed
};
typedef struct arrstuck1 INT_STUCK;
//initail
INT_STUCK * ast_int_new();
//free
BOOL ast_free(INT_STUCK *);
#endif /* __ARRSTUCK1_H_ */上面就是静态栈容器 INT_STUCK(定义别名) 的头文件, 它只可以存放int类型的元素.
我们只需要关系几个关键的成员函数.
1. push() 函数 就是压栈啦
2. pop() 函数 出栈
3. print() 打印栈里面的所有元素, 用于验证算法的正确性啦.
4. len() 栈里面元素的个数.
5. ast_int_new5. in() 初始化函数, 不初始化没法用的.
其他的可以看注释了.
具体的函数定义请下载来看:
bool_me.h : 定义BOOL 类型
basefuncs.c :输出错误和日志的基本函数
arrstuck1.c 静态栈容器
因为这篇文章的注意目地是分析汉诺塔的递归函数嘛..
5. 汉诺塔递归c语言实现
好了, 到此为止, 准备动作做完了, 下面开始分析和编写汉诺塔的函数
5.1 定义单个汉诺塔类型 及 其初始化函数
上面讲过了, 汉诺塔的本质就是栈,, 所以汉诺塔类型就是栈啦, 用typedef 函数起个别名就ok了
利用函数指针可以为函数起别名
代码如下:
typedef INT_STUCK HANOITOWER;
static HANOITOWER * (* hanoi_new)() = ast_int_new;这样就定义了1个"新"的类型 HANOITOWER, 和初始化函数 hanoi_new()
5.2 汉诺塔放盘子函数hanoi_push
实际上就是栈的压栈函数, 当然, 这里要判断入栈的值必须比栈顶小!
代码如下:
BOOL hanoi_push(HANOITOWER * pIst, int val){
if (TRUE != pIst->is_empty(pIst) && val >= pIst->TopVal(pIst)){
printf("val is greater than top!\n");
return FALSE;
}
pIst->push(pIst, val);
return TRUE;
}5.3 定义3个汉诺塔栈 A,B,C 并往A里面放4个盘子
有了上面的函数, 就可以初始化3个塔, 并往A塔放4个盘子了, 当然B,C塔必须是空塔(空栈)
当然放几个盘子自己定义, 建议不要放太多啦, 移动盘子动作增长速度很恐怖的. 反正我的渣机子算24个盘子要5分钟才出结果
代码如下:
HANOITOWER * pTa = hanoi_new();
pTa->stname = "TowerA";
HANOITOWER * pTb = hanoi_new();
pTb->stname = "TowerB";
HANOITOWER * pTc = hanoi_new();
pTc->stname = "TowerC";
int i;
for (i=4; i >= 1; i--){
hanoi_push(pTa, i);
}5.4 从非空汉诺塔取盘子函数 hanoi_pop
没错, 本质上就是出栈函数啊, 拿出栈顶元素(用于放到别的栈)
所以要接受1个 int 类型的指针参数, 用于存放和取出这个栈顶啊.
代码如下:
BOOL hanoi_pop(HANOITOWER * pIst, int * pVal){
if (TRUE == pIst->is_empty(pIst)){
printf("fail to pop as the stuck is empty!\n");
return FALSE;
}
pIst->pop(pIst, pVal);
return TRUE;
}
5.5 把1个盘子从1个塔移动到另1个塔函数 hanoi_move
没错, 实际上我们操作汉诺塔, 不会单独地取盘子和放盘子, 而是把1个塔的顶部盘子拿出来 放到另1个塔的顶部!所以 这个函数Hanoi_move 的参数有两个栈, T_from 和 T_to
实际上是分解上出栈和压栈函数
从T_from出栈 并获得出栈的元素(盘子), 然后把这个元素压栈到T_to中.
代码如下:
BOOL hanoi_move(HANOITOWER * pIst_from, INT_STUCK * pIst_to){
int val;
if (TRUE == hanoi_pop(pIst_from, &val)){
if (TRUE == hanoi_push(pIst_to, val)){
//mark log to file
sprintf(hanoi_move_str, "\nmove %d from %s to %s\n", val, pIst_from->stname, pIst_to->stname);
base_log(hanoi_move_str, HANOI_OP_FILE, "a");
base_log_intarr(pIst_from->stname, pIst_from->pArr, pIst_from->len(pIst_from), HANOI_OP_FILE, "a");
base_log_intarr(pIst_to->stname, pIst_to->pArr, pIst_to->len(pIst_to), HANOI_OP_FILE, "a");
return TRUE;
}
}
return FALSE;
}见到, 如果移动成功, 会把移动盘子的信息(从哪里移动到哪, 移动哪个元素) 记录在日志文件, 而且记录每1个移动步骤后, 两个塔里面的元素状态.
其中hanoi_move_str 是外部定义公共变量
5.6 输出单个塔里面的元素函数 hanoi_print
实际上就是输出栈里面的所有元素啦, 用于验证嘛..
..
void hanoi_print(HANOITOWER * pIst){
pIst->print(pIst);
}
5.7 解题递归函数 hanoi_m
原理和伪算法上面都讲过了啦, 不是吗? 而且有了上面的代码准备, 现在写这个递归函数就十分简单了.
代码如下:
int hanoi_m(HANOITOWER * pfrom, HANOITOWER * pmid, HANOITOWER *pto, int count){
if (count == 1){
hanoi_move(pfrom, pto);
return 0;
}
hanoi_m(pfrom,pto,pmid,count-1);
hanoi_move(pfrom, pto);
hanoi_m(pmid,pfrom,pto,count-1);
return 0;
}
6. 测试这个汉诺塔代码
好了, 所有函数都写好了, 就写1个测试程序验证啊, n先设为4嘛, 不让日志太长了..
代码如下:
int hanoi1(){
HANOITOWER * pTa = hanoi_new();
pTa->stname = "TowerA";
HANOITOWER * pTb = hanoi_new();
pTb->stname = "TowerB";
HANOITOWER * pTc = hanoi_new();
pTc->stname = "TowerC";
hanoi_move_str = (char *)malloc(sizeof(char) * 50);
int i;
for (i=4; i >= 1; i--){
hanoi_push(pTa, i);
}
printf("before move\n");
printf("tower A is below\n");
hanoi_print(pTa);
printf("tower B is below\n");
hanoi_print(pTb);
printf("\ntower C is below\n");
hanoi_print(pTc);
base_log("start to move\n", HANOI_OP_FILE, "w");
hanoi_m(pTa, pTb, pTc, pTa->len(pTa));
printf("\nafter move\n");
printf("tower A is below\n");
hanoi_print(pTa);
printf("\ntower B is below\n");
hanoi_print(pTb);
printf("\ntower C is below\n");
hanoi_print(pTc);
ast_free(pTa);
ast_free(pTb);
ast_free(pTc);
free(hanoi_move_str);
printf("hanoi_new done\n");
return 0;
}注意我先移动前先输出3个塔的元素, 移动后再输出1次, 就可以验证了嘛..
输出: 注意看栈的输出元素.
我上面是不是说了每1次移动我都会记录在日志文件中:
打开来看看就可以知道每一次移动的作用和意义了, 能加深理解哦:
gateman@TFPC c_start $ cat ~/tmp/HANIO_OP_FILE.log
start to move
move 1 from TowerA to TowerB
TowerA: 4, 3, 2
TowerB: 1
move 2 from TowerA to TowerC
TowerA: 4, 3
TowerC: 2
move 1 from TowerB to TowerC
TowerB: blank array!
TowerC: 2, 1
move 3 from TowerA to TowerB
TowerA: 4
TowerB: 3
move 1 from TowerC to TowerA
TowerC: 2
TowerA: 4, 1
move 2 from TowerC to TowerB
TowerC: blank array!
TowerB: 3, 2
move 1 from TowerA to TowerB
TowerA: 4
TowerB: 3, 2, 1
move 4 from TowerA to TowerC
TowerA: blank array!
TowerC: 4
move 1 from TowerB to TowerC
TowerB: 3, 2
TowerC: 4, 1
move 2 from TowerB to TowerA
TowerB: 3
TowerA: 2
move 1 from TowerC to TowerA
TowerC: 4
TowerA: 2, 1
move 3 from TowerB to TowerC
TowerB: blank array!
TowerC: 4, 3
move 1 from TowerA to TowerB
TowerA: 2
TowerB: 1
move 2 from TowerA to TowerC
TowerA: blank array!
TowerC: 4, 3, 2
move 1 from TowerB to TowerC
TowerB: blank array!
TowerC: 4, 3, 2, 1
看到n=4 的话 执行了 15次move动作
注意n不要设成太大啊, 不然这个日志会有成千上万行的啊!
分析一下, 从n =1 到n =5 的5个样本
move分别执行了
1 3 7 15 31 .... (2-1,4-1,8-1,16-1
也就是随着n增长, move执行次数= 2^n-1
可以看出, 随着n的增长, move的执行次数增长是几何级数的节奏啊!! 所以从时间复杂度O(2^n)来看, 这个递归函数是非常糟糕的. 但是毕竟容易理解和易于实现啊.
到底有多糟糕, 我将n设为24, 执行了8分钟才出结果,
move执行了, 1677多万次
日志文件6700多万行, 大小高达1.6 GB, 真是瞎了我的狗眼.
最后附上这个汉诺塔程序的代码:
和上面的静态栈文件1齐编译就能执行了
2646
被折叠的 条评论
为什么被折叠?
到【灌水乐园】发言
