3.4.4 利用栈将递归转换成非递归的方法

摘要:
在函数执行期间,系统需要建立一个“递归工作堆栈”来存储第一层递归所需的信息。此工作堆栈是递归函数执行的辅助空间。因此,可以看出,系统需要提供隐式堆栈作为实现递归程序的数据结构。对于一般的递归过程,可以在递归算法执行过程中直接跟随递归工作堆栈的状态变化来编写相应的非递归算法。通过上述步骤,递归算法可以被重写为非递归算法。此外,递归算法将递归工作堆栈留给系统管理,而非递归算法将编程内存留给程序员管理。
在函数执行时系统需要设立一个“递归工作栈”存储第一层递归所需的信息,此工作栈是递归函数执行的辅助空间,所以可以看出,递归程序在执行时需要系统提供隐式栈这种数据结构来实现,对于一般的递归过程,仿照递归算法执行过程中递归工作栈的状态变化可直接写出相应的非递归算法。这种利用栈消除递归过程的步骤如下。
(1)设置一个工作栈存放递归工作记录(包括实参、返回地址及局部变量等)
(2)进入非递归调用入口(即被调用程序开始处)将调用程序传来的实在参数和返回地址入栈(递归程序不可以作为主程序,因而可认为初始是被某个调用程序调用)。
(3)进入递归调用入口:当不满足递归结束条件时,逐层递归,将实参、返回地址及局部变量入栈,这一过程可以通过循环语句来实现———模拟递归分解过程。
(4)递归结束条件满足,将到达递归出口的给定常数作为当前的函数值。
(5)返回处理:在栈不空的情况下返回退出栈顶记录,根据记录中的返回地址进行题意规定的操作,即逐层计算当前函数值,知道栈空为止————模拟递归求值过程。
通过以上步骤就可以将递归算法改写成非递归算法。
最终要的是每一层递归信息构成一个工作记录,其中包括所有的实参,所有的局部变量,以及上一层的返回地址。每进入一层递归就产生一个新的工作记录压入栈顶。没退出一层递归就从栈顶弹出一个工作记录。
改写后的算法具有如下特点:结构不清晰,可读性差,有的还需要经过一系列优化。【案例见《数据结构》严蔚敏 C语言 第二版 5.5.1节中二叉树中序遍历的非递归算法】。
递归算法的特点:结构清晰,程序易读,而且其正确性容易证明。
而且递归算法中将递归工作栈交给了系统来管理,而非递归则把编制程序的内存交给了程序员管理。
【课本讲解】

3.4.4 利用栈将递归转换成非递归的方法第1张

3.4.4 利用栈将递归转换成非递归的方法第2张

3.4.4 利用栈将递归转换成非递归的方法第3张

3.4.4 利用栈将递归转换成非递归的方法第4张

3.4.4 利用栈将递归转换成非递归的方法第5张

免责声明:文章转载自《3.4.4 利用栈将递归转换成非递归的方法》仅用于学习参考。如对内容有疑问,请及时联系本站处理。

上篇使用quartz.jar 、quartz-jobs.jar 实现定时任务 。实现 定时采集 接口数据【Java】Java8中List排序下篇

宿迁高防,2C2G15M,22元/月;香港BGP,2C5G5M,25元/月 雨云优惠码:MjYwNzM=

相关文章

MSSQLSERVER数据库 递归查询例子

SqlServer2005版本的Sql如下:比如一个表,有id和pId字段,id是主键,pid表示它的上级节点,表结构和数据:CREATE TABLE [aaa]( [id] [int] NULL, [pid] [int] NULL, [name] [nchar](10))GOINSERT INTO aaa VALUES(1,0,'a')INSERT IN...

oracle start with connect by prior 递归查询用法

start with 子句:遍历起始条件,有个小技巧,如果要查父结点,这里可以用子结点的列,反之亦然。 connect by 子句:连接条件。关键词prior,prior跟父节点列parentid放在一起,就是往父结点方向遍历;prior跟子结点列subid放在一起,则往叶子结点方向遍历,                          parentid...

马踏棋盘(递归算法)

#include <iostream.h>int board [8][8]={0};int Htry1[8]={-2,-1,1,2,2,1,-1,-2};int Htry2[8]={1,2,2,1,-1,-2,-2,-1};bool chech[8][8]={0};//标记位置是否已经被占用int n=1;//就算已走的步数void findw...

[转] c++11 可变参数模板

  [转自 https://www.cnblogs.com/qicosmos/p/4325949.html] 1概述 C++11的新特性--可变模版参数(variadic templates)是C++11新增的最强大的特性之一,它对参数进行了高度泛化,它能表示0到任意个数、任意类型的参数。相比C++98/03,类模版和函数模版中只能含固定数量的模版参数,可...

vue+elementui搭建后台管理界面(5递归生成侧栏路由)

有一个菜单树,顶层菜单下面有多个子菜单,子菜单下还有子菜单。。。 这时候就要用递归处理 1 定义多级菜单 修改 src/router/index.js 的 / 路由 { path: '/', redirect: '/dashboard', name: 'Container', component: Container,...

python利用递归去遍历多重dict

python中碰到多重dict,如下所示的双层dict,遍历里面的所有元素需要双重循环。现在为了代码美观,希望一句话就可以代替这样的双重for循环。 # 双重dict _dict = { 'A': { 'A1': [1, 2], 'A2': [3, 4] }, 'B': { 'B1':...