# 递归
递归就是方法自己调用自己,每次调用时传入不同的变量,递归有助于编程者解决复杂的问题,同时可以让代码变得简洁。
递归: 在定义自身的同时又出现了对自身的调用
直接递归函数: 在定义函数体中直接调用自己
间接递归函数: 一个函数经过一系列中间调用语句,通过其他函数调用自己,如P调用Q,Q再调用P
使用 递归算法的 前提有两个:
(1) 原问题可以层层分解为类似的子问题,且子问题比原问题的规模更小。
(2)规模更小的子问题具有直接解
设计递归算法的原则是用自身的简单情况来定义自身设计递归算法的方法是:
(1)寻找分解方法,将原问题转化为子问题求解
(2)设计递归出口,也就是说根据最小的子问题,确定递归终止的条件。
递归过程的实现
递归的过程 ,递归进程和递归退层。
递归进程,也就是说递归的过程 i 到 i+1 层,系统需要做三件工作:
(1)保留本层参数与返回地址;
(2)给下层参数赋值
(3)将程序转移到被掉函数的入口
递归退层:也就是从i+1层到i层,系统也应该完成三件工作
(1)保留被调函数的计算结果
(2)恢复上层参数,也就是释放被调函数的数据区
(3)依照被调函数保存的返回地址,将控制转移回调用函数。、
递归函数的运行,以及递归中进层退层的实现,都需要递归机制的支持。
什么是递归机制?
递归机制支持?
系统设置一个递归工作栈作为递归函数运行使用的存储区,每次递归需要所需信息构成一个工作记录,包括实参,局部变量以及上一层的返回地址。每进入一层递归,就产生一个新的工作记录压入栈顶,每退出一层递归,就从栈顶弹出一个工作记录。
我们可以通过一个简单的阶乘例子来看一下递归调用机制的过程。
1 | package com.recusion; |
当我们的程序执行的时候,首先进入的是主方法。
具体过程我们可以通过虚拟机的调用顺序来看一下详细过程
Java虚拟机主要分成三个部分:
栈空间,堆空间,另外还有一个空间是代码区包括常量
我们的程序执行到主方法的时候,会首先在栈中开辟一个空间 ,这个空间我们可以叫做main[ 栈 ],在这里面调用了 test(4),根据调用规则,会另外开辟新栈。n=4 ,会进行判断,n>2时,又执行test(3) ,当执行到这里的时候,下面的代码不会执行,仍然会开辟一个新的栈,继续进行判断,test(2),进行判断,然后继续开辟新的栈。继续判断,不符合之后会执行下面的指令。(会首先执行顶级的栈)所以首先会在控制台输出n=2,
执行完之后弹出,继续执行下面的栈。
执行过程:图解如下
递归调用规则:
- 当程序执行到一个方法时,就会开辟一个独立的空间(栈)
- 每个空间的数据(局部变量)是独立的,由上面的过程我们可以发现,在每一个栈中,我们都有一个局部变量n=4,n=3….这些局部变量之间是相互独立的。
下面我们来看一下,递归实现阶乘的例子:
1 | //阶乘问题 |
递归能解决的问题?
- 各种数学问题,如8皇后,汉诺塔,阶乘问题,迷宫问题,球和篮子的问题(Google编程大赛)
- 各种各种算法也会用到递归,比如归并排序,二分查找,分治算法等
- 将用栈解决的问题,使用递归解决比较简单
递归使用时需要遵守的重要规则
递归需要在遵守的重要规则:
- 执行一个方法时,就是创建一个新的受保护的独立空间(栈空间)
- 方法的局部变量是独立的,不会相互影响,比如上面例子中的n变量,在每一个栈空间中是独立的。
- 如果方法中使用的是引用类型变量,比如说是数组,就会共享该引用类型的数据
- 递归必须向退出递归的条件逼近,否则就是无限递归,进入死循环。
- 当一个方法执行完毕,或者是遇到return。就会返回,遵守谁调用,就将结果返回给谁,同时当方法执行完毕或者返回时,该方法也就执行完毕。
递归经典算法
迷宫问题
迷宫问题说明:
1)小球得到的路径,和程序员设置的找路策略有关,即找路的上下左右的顺序相关
2)再提到小球路径时,可以先使用(下右上左),再改成(上右下左),看看路径是不是有变
3)测试回溯现象
小球得到的路径,和程序设置的找路径策略有关:即找路的上下左右的顺序有关,在得到小球的路径时,可以先使用 下-右—上–左 ,如果不行再改用 上–右–下–左 , 看看路径是不是有变化,测试回溯现象(我们可以多增加几个墙,这样可以测试回溯现象)。
Q:如何求出最短的路径?
我们可以使用递归进行实现
1 | package com.recusion; |
递归经典算法八皇后问题:回溯算法
八皇后问题介绍;
八皇后问题,是一个古老而著名的问题,是回溯算法的典型案例。在8*8格的国家象棋上摆放八个皇后,使其不能互相攻击,即:任意两个皇后都不能处于同一行,同一列,或者是同一斜线上,问有多少中摆法?
解法:我们可以使用回溯法进行解决。
八皇后问题算法思路分析:
(1) 第一个皇后先放第一行第一列
(2) 第二个皇后放在第二行的第二列,然后判断是否OK,即是判断是否冲突,如果不OK,继续放在第二列,第三列,依次把所有的列都放完,找到一个合适的。
(3) 继续第三个皇后,还是第一列,第二列…..直到第8个皇后也能放在一个不冲突的位置,算是找到了一个正确解。
(4)当得到一个正确解时,在栈回退到上一个栈时,就会开始回溯,即将第一个皇后,放到第一列的所有正确解全部得到。
(5)然后回头继续将第一个皇后放到第二列,后面继续循环执行1,2,3的步骤
需要说明的是,理论上需要创建一个二维数组表示棋盘,但是实际上可以通过算法,用一个一维数组即可解决问题。
(也就是经过分析,我们先找出一个可能的解,在每一行中填上数组的下标,当前位置表示已经放上皇后, {0,4,7,5,2,6,1,3} 表示提前在此位置上放上八个皇后)
arr[8] = {0,4,7,5,2,6,1,3} 对应的数组下标表示的是第几行,即第几个皇后,arr[i] = val , val表示第i+1个皇后,放在第i+1行的第val+1列。
编程思路:
定义一个数组,用于保存皇后放置位置的结果,比如 arr = {0, 4 ,7,5,2,6,1,3}
编写一个方法,放置第n个皇后check(),
查看当我们放置第n个皇后,就去检测该皇后和前面已经摆放好的皇后冲突
【说明】
【n 表示第n个皇后,n从0开始,arr[i] = val val的值表示第几个皇后,例如 {0,4,7,5,2,6,1,3} 中,4表示第2个皇后在第四列。(通过在这里我们可以发现,arr数组中里面存放的是列数,然后arr[n] 代表的是这个皇后在的列数 )
我们需要进行位置 判断,首先判断两个元素是否是在同一行,然后进行是否在同一行进行判断,但是我们提前定义数组的时候,使用的是一维数组表示位置,按照这种方法定义,我们就可以使用array[i] == array[n] 进行是否值在同一行进行判断。然后还需要判断是否是在同一列进行判断,使用两个位置连线的斜率绝对值等于1进行判断 】
写一个方法,可以将皇后摆放的位置输出
代码如下:
1 |
|