数据结构之汉诺塔的思考
以下内容为本次汉诺塔问题的思考点
- 自顶向下,逐渐求精
- 递归与分治(基础与归纳)
- 不要跨层分析
- 形参与实参(代码跟踪)
- 有意义、规范的标识符
- 时间复杂度
- 递归栈(代码跟踪)
- 空间复杂度
我们先看一下代码:
#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(2n),这是一个很高的时间复杂度,一般我们认为O(n2)都是一个时间复杂度很高的算法了,可见递归的性能并不出众。
空间复杂度
其实对于空间复杂度来说,并没有那么复杂,因为我们平时很少去通过空间复杂度去观察一个算法的性能,相比于时间复杂度来说。在这里呢,汉诺塔的底层实现是一个栈的应用,所以很明显,空间复杂度为O(n)。
递归栈
这里和第一点说的很相似,其实思路是一样的,在计算机内部,递归的实现其实就可以看成是底层栈的应用,即在往下深入的过程中,当父过程存在子过程的时候,我们可以把父过程压栈,以此类推,当最后一个子过程没有子过程的时候,我们就可以开始出栈,逐渐的执行到最上一层。