数据结构之汉诺塔思考

数据结构之汉诺塔的思考

以下内容为本次汉诺塔问题的思考点

• 自顶向下，逐渐求精
• 递归与分治（基础与归纳）
• 不要跨层分析
• 形参与实参（代码跟踪）
• 有意义、规范的标识符
• 时间复杂度
• 递归栈（代码跟踪）
• 空间复杂度

我们先看一下代码:

#define _CRT_SECURE_NO_WARNINGS 1
#include <stdio.h>

void hanoi(int paraN, char a, char b, char c) {
	if (paraN <= 0) {
		return;
	}
	else {
		hanoi(paraN - 1, a, c, b);       //先把前n-1个盘子移到c柱上
		printf("%c -> %c \r\n", a, b);   //再把最后一个大盘子移到b柱上
		hanoi(paraN - 1, c, b, a);       //最后把c柱上的移到b柱上 
	}// Of if
}// Of hanoi

void main() {
	printf("---- addToTest begins. ----\r\n");

	printf("2 plates\r\n");
	hanoi(2, 'A', 'B', 'C');

	printf("3 plates\r\n");
	hanoi(3, 'A', 'B', 'C');

	printf("---- addToTest ends. ----\r\n");
}// Of main

代码很简单，但是并不能说是简单，相反，里面却有很大的学问。

再来看看运行结果：

按照上面的分点我们逐一来思考：

自顶向下，逐渐求精

汉诺塔问题的核心就是函数调用，他是从最上一层往下逐渐深入的过程；

对于本例问题——汉诺塔来说，首先是把前n-1个盘子移过去，接下来在这一过程中，我们需要考虑如何做到这一目的，也就是再次分为三步，其中第一步是把前n-2个盘子移过去······

以此类推，我们就可以得到规律，那就是实际的操作过程其实可以看成二叉树的一个后序遍历过程；

但是这并不是一个真正的后序遍历，因为当两个子过程完成后（将n-1个盘子移到位），父节点自动完成了，但是在这里并不是很影响；

所以我们可以联想到二叉树的后序遍历的非递归实现——用栈来模拟实现，可以看出递归的本质其实可以解释为栈的应用，即每次向子过程深入的时候，会进行一次压栈，当所有子过程结束时，进行出栈。

递归与分治

汉诺塔问题中有十分经典的一个分治思想，即面向对象的一个思考过程，把整个问题看成一个对象，只需要进行对象里相同的方法即是递归。

在此问题中的具体体现就是把问题分为三步，然后逐渐递归执行；

形参与实参

我所理解的形参与实参呢，就是函数声明中的参数就是形参，函数调用里的就是实参。

标识符

在这一问题上，并不跟汉诺塔有多大关系，但是这是一种代码规范，在以后的工作与学习中都是很重要的习惯。

时间复杂度

这个问题就很重要了，对于如何衡量一个算法的优劣，最直观的方法就是看时间复杂度与空间复杂度，但遗憾的是，递归虽然代码很简单，但并不是一个性能很好的算法，因为它的时间复杂度和空间复杂度都不是很低，对于汉诺塔问题来说，时间复杂度为O（2^{n），这是一个很高的时间复杂度，一般我们认为O（n}2）都是一个时间复杂度很高的算法了，可见递归的性能并不出众。

空间复杂度

其实对于空间复杂度来说，并没有那么复杂，因为我们平时很少去通过空间复杂度去观察一个算法的性能，相比于时间复杂度来说。在这里呢，汉诺塔的底层实现是一个栈的应用，所以很明显，空间复杂度为O（n）。

递归栈

这里和第一点说的很相似，其实思路是一样的，在计算机内部，递归的实现其实就可以看成是底层栈的应用，即在往下深入的过程中，当父过程存在子过程的时候，我们可以把父过程压栈，以此类推，当最后一个子过程没有子过程的时候，我们就可以开始出栈，逐渐的执行到最上一层。