汉诺塔递归的c语言实现(递归)

古城微笑少年丶 2022-03-06 14:20 382阅读 0赞

对于递归来讲, 汉诺塔实际是经典到不能再经典的例子了,   每个数据结构的教材对会提到.

但是到最后只给出一段类似下面的一段代码:

#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)穿孔圆盘，[盘][Link 1]的尺寸由下到上依次变小。要求按下列规则将所有圆盘移至C杆：

1.  每次只能移动一个圆盘；
2.  [大][Link 2]盘不能叠在[小][Link 3]盘上面。

配图:

![Tower_of_Hanoi.jpeg][]

## 2. 汉诺塔的本质是3个栈 ##

维基的定义只简单提到了汉诺塔的规则, 但是并没有揭示它的本质.   下面我们来分析它的本质.

1.每次只能移动1个盘:

也就说不能两个盘一齐移动, 必须按顺序1个1个套在柱子上,  而且只能从柱子的上方套入, 也能只能从柱子的上方取出.

这明显就是1个先进后出的线性结构了,  因为出入口只有1个啊, 柱子的下方是不能放入和取出盘子的.

先进后出的线性结构就是栈了,  套入柱子和取出盘子就是对应的压栈和出栈动作.   如果读者之前没有了解过栈的话, 个人建议先去了解下栈, 然后再往下看.

2. 大盘不能套在小盘上面

代表这3个栈中, 如果不是空栈, 那么压栈的元素必须比栈顶元素小, 然后才允许压栈.   这就保证栈里面的元素是从小到大排序的.

总结:  汉诺塔的本质就是3个栈,  而且压栈的元素必须比栈顶元素(如果存在)小.

## 3. 汉诺塔的解题思路及递归原理 ##

好, 现在开始讲解汉诺塔的解题思路.

假如A塔有n个盘子, 大小从大(底部) 到小(顶部)排列,  B塔和C塔都是空塔.

如下图:

![444127020130504164211052.png][]

好了那么到底如何把这个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)啊, 理解这一步也十分关键:

如图:

![444127020130504164028084.png][]

至于这个过程具体如何实现, 这里也不用去管, 只有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)搞定

如下图:

![444127020130504163700063.png][]

注意现在还没完成哦

### 3.4  第三步, 将B上面的所有盘子(n-1)个盘子借助A塔移动到C塔 hanoi(B,A,C,n-1) ###

因为C塔的盘子比B塔的所有盘子都大, 所以是可以忽略掉C盘的那个最大的盘子的, 理解这个也很重要啊.

这个函数实现就是 hanoi(B,A,C,n-1)

如图:

![444127020130504163543089.png][]

搞掂完成了...

### 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_me.h]**  :  定义BOOL 类型

**[basefuncs.h][]**

**[basefuncs.c][]  **:输出错误和日志的基本函数

**[arrstuck1.h  
][arrstuck1.h]**

[**arrstuck1.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次, 就可以验证了嘛..

输出:  注意看栈的输出元素.

![444127020130504162505073.jpg][]

我上面是不是说了每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齐编译就能执行了

**[hanoi1.c][]**

[Link 1]: http://zh.wikipedia.org/wiki/%E7%9B%A4
[Link 2]: http://zh.wikipedia.org/wiki/%E5%A4%A7
[Link 3]: http://zh.wikipedia.org/wiki/%E5%B0%8F
[Tower_of_Hanoi.jpeg]: /images/20220303/d8798ff731d24518966f9818f0632314.png
[444127020130504164211052.png]: http://image142.poco.cn/mypoco/myphoto/20130504/16/444127020130504164211052.png
[444127020130504164028084.png]: http://image142.poco.cn/mypoco/myphoto/20130504/16/444127020130504164028084.png
[444127020130504163700063.png]: http://image142.poco.cn/mypoco/myphoto/20130504/16/444127020130504163700063.png
[444127020130504163543089.png]: http://image142.poco.cn/mypoco/myphoto/20130504/16/444127020130504163543089.png
[bool_me.h]: https://www.box.com/s/8p0cf5c0jfb445kistvj
[basefuncs.h]: https://www.box.com/s/glwypr7qxov8zpbbl8rs
[basefuncs.c]: https://www.box.com/s/vb52zd4qcpv5gwl6mgcq
[arrstuck1.h]: https://www.box.com/s/rr0i6stawo4rmyi4oh2a
[arrstuck1.c]: https://www.box.com/s/6coj35co4pmctyaw6wmx
[444127020130504162505073.jpg]: http://image142.poco.cn/mypoco/myphoto/20130504/16/444127020130504162505073.jpg
[hanoi1.c]: https://www.box.com/s/4ktahbpvebso6veu2zym