2011算法2_递归与分治策略.pptVIP

* 递归与分治策略 * Hanoi塔问题 例1：Hanoi塔问题：有A、B、C三根柱子。A上有n个圆盘，自下而上由大到小地叠在一起。 A B C 现要将A上的全部圆盘移到B上，并要求：(1)每次只能移动一个圆盘；(2)任何时刻都不允许将较大的圆盘压在较小的圆盘上；(3)圆盘只能在A、B、C三个柱子间移动。 Hanoi塔的解可以很自然地看成这样一个过程： (1)先将A上面n–1个盘移至C。 (2)再将A上剩下的1个盘移至B。 (3)最后将C上的n–1个盘移至B。 于是可得到如下的程序： void Hanoi(int n, int Fr, int To, int As) { if (n 0) { Hanoi(n–1, Fro, Ass, To); Move(Fro, To); Hanoi(n–1, Ass, To, Fro)} } * 递归的概念 简单地说，递归就是用自己来定义自己。递归算法是一个直接或间接地调用自己的算法。 一般地说，一个递归过程P可以表示为基语句S(不含P)和P自身的组合β： P ? β(S, P) 这样的表示包含了过程不终止的可能，因此递归算法应更准确地表述为 P ? if B then Q else β(S, P) 其中Q也不包含P，B为递归终止条件。 * 递归元 递归算法的思想是将对较大规模的对象的操作归结为对较小规模的对象实施同样的操作。 这种规模的变化就体现在递归算法的变元中的一类(一个或几个)变元上，这类变元被称之为递归元。 递归元的变化是在递归定义中确定的，它的变化应能导致递归算法的终止。 在递归算法的设计中递归元是非常重要的。 * 常见的递归形式 多变元递归； 多步递归； 嵌套递归； 联立递归 除基本的递归形式外，其它常见的递归形式有四种，它们是： * 多变元递归 多变元递归就是递归元多于一个的递归。 例2：整数划分问题：将一个正整数n表示为一系列正整数之和， n = n1 + n2 +…+nk 其中n1≥n2≥…≥nk≥1, k≥1。 正整数n的一个这种表示称为正整数n的一个划分。正整数n的不同的划分的个数成为正整数n的划分数，记作ρ(n)。 例如ρ(6) = 11 ，即整数6的划分数为11种： 6, 5+1, 4+2, 4+1+1, 3+3, 3+2+1, 3+1+1+1 2+2+2, 2+2+1+1, 2+1+1+1+1， 1+1+1+1+1+1 * 正整数的划分 有时候，问题本身具有比较明显的递归关系，因而容易用递归函数直接求解。 在本例中，如果设p(n)为正整数n的划分数，则难以直接找到递归关系。 * 正整数的划分 因此考虑增加一个自变量：在正整数的所有不同划分中，将最大加数n1不大于m的划分个数记为q(n, m)，可以建立如下的递归关系： 最简单情形：(1) q(n, 1)=1，q(1, m) =1 n, m≥1; 递归关系： (2) q(n, n) = 1 + q(n, n–1)，n＞1; 产生的新情况： (3) q(n, m) = q(n, m–1) + q(n–m, m), n＞m＞1 (4) q(n, m) = q(n, n), n＜m。 1 n = 1 或 m = 1 q(n, m) = 1 + q(n, n–1) n ≤ m q(n, m–1)+q(n–m, m) n＞m＞1 数记为q(n, m)，可以建立如下的二元递归函数： int q(int n, int m) { if (n 1) || (m 1) return 0; if (n == 1) || (m == 1) return 1; if(n m) return q(n, n); if (n == m) return 1 + q(n, n–1); return q(n, m–1) + q(n–m, m); } * 多步递归 若递归函数f(x, y)，其中y是递归元，不仅与f(x, y–1)有关，而且与f(x, y–2)，……，乃至f(x, 0)有关，则称为多步递归。 例如Fibonacci函数：