递归简介

章节主题

讨论了如下主要章节：

• 递归简介

• 运用递归解决问题

• 递归方法的例子

递归简介

• 我们已经从一个方法中调用过其他方法

• 一个方法调用它自己也是可能的

• 一个调用它自己的方法被称为递归调用

• 例子：EndlessRecursion.java

• 这个方法的显示这样一条消息"This is a recursive method.”（这是一条回调消息），然后调用它自己。

• 每一次它调用它自己，这个循环就无止尽的重复下去。

• 就像一个循环，一个递归方法必须有一些方法使其能够控制其循环的次数。

• 例子：Recursive.java

用递归来解决问题

• 对于重复性的问题，递归是一个强大的工具。

• 对于解决一个问题来说，递归永远不是必须的。

• 任何可以用递归解决的问题都可以通过循环用迭代来解决。

• 在很多情况下，比起迭代算法，递归算法的效率更低。

• 递归解决方案反复的：

  • 为参数和本地变量分配内存

  • 储存在方法终止后控制返回的地址

• 这些随每次调用而发生的动作被称作“overhead”

• 这些“overhead”在循环时不会发生

• 比起迭代，一些重复性问题可以更容易通过递归算法解决。

  • 迭代算法可能会执行的更快；然而，

  • 递归算法可能设计的更快。

• 关于递归方案的事实

  • 一个递归算法会调用它自己

  • 每一个递归调用解决一个相同却更小的问题

  • 对基本情况的解决使递归调用停止

    • 基本情况：一个在递归定义中的已知情况。

  • 最终，一个较小的问题必须是基本情况

• 构造递归方案的四个问题

  • 你如何根据同一类型的较小问题来定义问题？

  • 每个递归调用如何减少问题的大小？

  • 问题的哪个实例可以作为基本情况？

  • 随着问题规模的缩小，你会达到这个基本情况吗？

递归方法的例子

 

一种有价值的递归方法：n的因子

• 问题

  • 计算整数n的阶乘

• 一种阶乘（n）的迭代定义

                阶乘（n）=  n*（n-1）*（n-2）*……*1

                                对于任何整数n > 0

                阶乘（0）=  1

• 一种阶乘（n）的递归定义

                阶乘（n）=  1                        如果n = 0

                阶乘（n）=  n*阶乘（n-1）   如果n > 0

• 一种循环关系

  • 一种从之前序列的terms生成terms的数学公式

  • 例子

                    阶乘（n）=  n*[(n-1)*(n-2)*……*1] = n*阶乘（n）

• 例子：Factorial.java

 

直接和间接递归

• 当递归方法直接调用它自己的时候，它被称作是直接递归。

• 间接递归是指当方法A调用了方法B，而其又反过来调用了方法A的时候。

• 甚至可以有多个方法在递归中被涉及。

• 举个例子，方法A可以调用方法B，而其可以调用方法C，其又可以调用方法A

• 必须注意间接递归以确保这一点以确保处理正确的基本情况和返回值。

一系列数组元素的求和

• 递归可以用于求和一系列数组元素

            public static int rangeSum(int[] array, int start, int end){...}

• 例子：RangeSum.java

 

斐波那契数列

• 一些数学问题被设计成通过递归来解决

• 其中一个著名的例子是计算斐波那契数列：

  • 0, 1, 1, 2, 3, 5, 8, 13, 21, 34, 55, 89, 144, 233,…

• 在第二个数字后，系列中的每个数字是前两个数字的总和。

• 斐波那契数列可以被定义为：

  • F0 = 0

  • F1 = 1

  • FN = FN–1 + FN–2 for N ≥ 2.

• 例子：FibNumbers.java

最大公约数（GCD）

• 最大公约数的定义（a，b）

• 设a = bq + r，其中a，b，q和r是整数。 然后gcd（a，b）= gcd（b，r）。

• 例子：GCDdemo.java

河内的塔

• 它由三根杆和许多不同尺寸的圆盘组成，可以滑到任何杆上。 谜题开始于整齐堆叠中的圆盘，在一根杆上按照大小的升序排列，顶部最小，从而形成圆锥形状。

• 这个难题的目的是将整个堆移动到另一个杆，遵循以下简单规则：

  • 一次只能移动一个圆盘。

  • 每次移动都包括从其中一个中获取上部圆盘，并将其放在另一个堆的顶部

  • 没有圆盘可以放在更小的圆盘上

a) The initial state; b) move n - 1 disks from A to C

 

 

c) move one disk from A to B; d) move n - 1 disks from C to B

• 问题的整体解决方案是使用挂钉2作为临时挂钉将n个圆盘从挂钉1移动到挂钉3。

• 该算法解决了游戏问题。

• If n > 0 Then

  Move n – 1 discs from peg A to peg B,

  using peg C as a temporary peg.

  Move the remaining disc from the peg A to peg C. Move n – 1 discs from peg B to peg C,

  using peg A as a temporary peg.

  End If

   

• 当没有更多光盘要移动时，就达到了算法的基本情况

• 例子Hanoi.java, HanoiDemo.java

递归和效率

• 一些递归解决方案效率过于低下以至于不应使用它们

• 导致某些递归解决方案效率低下的因素

  • 与方法调用关联的开销

  • 一些递归算法的固有效率低下

总结

• 递归通过解决相同类型的较小问题来解决问题

• 构造递归方案的四个问题

  • 你如何根据同一类型的较小问题来定义问题？

  • 每个递归调用如何减少问题的大小？

  • 问题的哪个实例可以作为基本情况？

  • 随着问题规模的缩小，你会达到这个基本情况吗？

• 一些递归解决方案的效率远低于相应的迭代解决方案，因为它们固有的低效算法和方法调用的开销

• 如果你可以通过使用迭代轻松，清晰且有效地解决问题，则应该这样做