本文部分内容转载至
什么是递归(recursion algorithm)
递归的定义:
递归最基本的思想就是“自己调用自己、以此类推”,在定义一个过程或函数时,出现直接或间接调用自己的成分,那我们呢就称之为递归。
哪些问题可以用递归:
1、定义是递归的:
较为经典的一个例子呢就是数学中的阶乘计算:
对于阶乘函数我们就可以使用递归算法来求解。
long Fact (long n) {
if (n==0) { //递归终止的条件
return 1;
}else {
return n*Fact(n-1); //递归调用
}
}
在函数过程体中,else语句带着参数3、2、1、0调用了n*Fact(n-1),最后一次电泳参数n=0执行了if语句,递归终止,逐步开始返回,返回时计算1*1、2*1、3*2、4*6,最后计算结果24返回给主程序。
再次过程中,程序的返回过程顺序始于调用过程顺序互逆的。
对于类似问题,分解成几个相对简单而且算法相同或者类似的子问题来求解我们称为递归求解。计算4!时,先计算3!,然后再进一步分布求解,这种求解策略叫做“分治法”。
2、数据结构时递归的
某些数据结构本身具有递归的特性,他们的操作也可以递归描述。
例如链表,其结点LNode的定义中有数据域data和指针域next组成,二指针域next是指向LNode类型的指针,LNode的定义中有用到了自身,所以链表就是一种递归的数据结构 。
遍历输出链表中各个结点的递归算法:
void TraverseList (LinkList L) {
if (p==NULL) //递归终止条件
return;
else {
cout<<p->data<<endl; //输出当前结点数据域
TraverseList(p->next); //p指向后继点继续递归调用
}
}
3、问题的解法时递归的
n阶Hanoi问题
汉诺塔:汉诺塔(又称河内塔)问题是源于印度一个古老传说的益智玩具。大梵天创造世界的时候做了三根金刚石柱子,在一根柱子上从下往上按照大小顺序摞着64片黄金圆盘。大梵天命令婆罗门把圆盘从下面开始按大小顺序重新摆放在另一根柱子上。并且规定:
- 在小圆盘上不能放大圆盘
- 在三根柱子之间一次只能移动一个圆盘
- 圆盘可以插在任一座塔上
//为了描述算法,定义move函数表示将编号为n的盘子从A移到C,同时声明一个初值为o的全局变量,对搬动进行记数。
int m = 0;
void move (char a, int n ,char c) {
cout<<++m<<","<<n<<","<<A<<","<<C<<endl;
}
void Hanoi (int n, char a ,char b, char c) {
if (n==1)
move(A,1,C); //如果n=1,直接将编号为1的盘子从A移到C,递归结束
else
{
Hanoi(n-1,A,C,B); //将A上编号为1至n-1的圆盘B,C上做辅助塔
move(A,n,C); //直接将编号为n的盘子从A移到C
Hanoi(n-1,B,A,C); //递归,将B上编号为1至n-1的圆盘移到C,A做辅助塔
}
}
递归与栈的关系
常常听到 “递归的过程就是出入栈的过程”,这句话怎么理解?我们以上述阶乘代码为例,取 n=3,则过程如下:
-
第 1~4 步,都是入栈过程,
Factorial(3)
调用了Factorial(2)
,Factorial(2)
又接着调用Factorial(1)
,直到Factorial(0)
; -
第 5 步,因 0 是递归结束条件,故不再入栈,此时栈高度为 4,即为我们平时所说的递归深度;
-
第 6~9 步,
Factorial(0)
做完,出栈,而Factorial(0)
做完意味着Factorial(1)
也做完,同样进行出栈,重复下去,直到所有的都出栈完毕,递归结束。
在汇编语言程序设计中主程序与子程序之间链接及信息交换相似,在高级语言编制的程序中,调用函数与被调用函数之间的链接及信息交换需要通过栈来进行。
通常,当在一个函数的运行期间调用另一个函数时,在运行被调用函数之前,系统需要完成3件事:
- 将所有的实参,返回地址等信息传递给被调用函数保存;
- 为被调用函数的局部变量分配内存;
- 将控制装转移到被调函数的入口;
而被调函数返回调用函数之前,系统也完成了3件事:
- 保存被调用函数的计算结果 ;
- 释放被调函数的数据区;
- 按照被调函数保存的返回地址将控制转移到调用函数;
当有多个函数构成嵌套调用时,按照“后调用先返回”的原则,上述函数之间的信息传递和控制转移必须通过“栈”来实现,即系统将整个程序运行时所需的数据空间安排在一个栈中,每当调用一个函数时,就为它在栈顶分配一个存储区,每当从-一个函数退出时,就释放它的存储区,则当前正运行的函数的数据区必在栈顶。