计算机算法设计与分析--第2章 递归与分治策略.ppt

计算机算法设计与分析 Design and Analysis of Computer Algorithms 第二章 递归与分治策略 理解递归的概念。 掌握设计有效算法的分治策略。 通过下面的范例学习分治策略设计技巧。 （1）二分搜索技术； （2）大整数乘法； （3）Strassen矩阵乘法； （4）棋盘覆盖； （5）合并排序和快速排序； （6）线性时间选择； （7）最接近点对问题； （8）循环赛日程表。 算法总体思想 将要求解的较大规模的问题分割成k个更小规模的子问题。 提纲 一、递归的概念 二、分治法的基本思想 三、分治法的应用 提纲 一、递归的概念 二、分治法的基本思想 三、分治法的应用 递归的概念 直接或间接地调用自身的算法称为递归算法。用函数自身给出定义的函数称为递归函数。 由分治法产生的子问题往往是原问题的较小模式，这就为使用递归技术提供了方便。在这种情况下，反复应用分治手段，可以使子问题与原问题类型一致而其规模却不断缩小，最终使子问题缩小到很容易直接求出其解。这自然导致递归过程的产生。 分治与递归像一对孪生兄弟，经常同时应用在算法设计之中，并由此产生许多高效算法。 一、递归的概念 例1 阶乘函数 一、递归的概念 例2 Fibonacci数列 无穷数列1，1，2，3，5，8，13，21，34，55，……，称为Fibonacci数列。递归定义为： int fibonacci(int n) { if (n = 1) return 1; return fibonacci(n-1)+fibonacci(n-2); } 一、递归的概念 例3 Ackerman函数 当一个函数及它的一个变量是由函数自身定义时，称这个函数是双递归函数。 Ackerman函数A(n，m)定义如下： 一、递归的概念 例4 排列问题 设计一个递归算法生成n个元素{r1,r2,…,rn}的全排列。 template class T void perm(T list[], int k, int m) {//产生list[k:m]的所有排列 if (k==m) {//单元素排列 for (int i=0; i=m; i++) cout list[i]; cout endl; } else {//多元素序列，递归产生排列 for (int i=k; i=m; i++) { swap(list[k],list[i]); perm(list,k+1,m); swap(list[k],list[i]); } } 一、递归的概念 例5 整数划分问题 将正整数n表示成一系列正整数之和：n=n1+n2+…+nk， 其中n1≥n2≥…≥nk≥1，k≥1。 正整数n的这种表示称为正整数n的划分。求正整数n的不 同划分个数。 一、递归的概念 例5 整数划分问题 将最大加数n1不大于m的划分个数记作q(n,m)。 一、递归的概念 例5 整数划分问题 正整数n的划分数p(n)=q(n,n)。 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?(q (n,?m?-?1)?+?1);??????return?(q (n,?m-1)+?q( (n- m),?m));???} 一、递归的概念 例6 Hanoi塔问题 设a,b,c是3个塔座。开始时，在塔座a上有一叠共n个圆盘，这些圆盘自下而上，由大到小地叠在一起。各圆盘从小到大编号为1,2,…,n,现要求将塔座a上的这一叠圆盘移到塔座c上，并仍按同样顺序叠置。在移动圆盘时应遵守以下移动规则： 规则1：每次只能移动1个圆盘； 规则2：任何时刻都不允许将较大的圆盘压在较小的圆盘之上； 规则3：在满足规则1和2的前提下，可将圆盘移至a,b,c中任一塔座上。 汉诺塔问题可以通过以下三个步骤实现： （1）将塔A上的n-1个碟子借助塔C先移到塔B上。 （2）把塔A上剩下的一个碟子移到塔C上。 （3）将n-1个碟子从塔B借助塔A移到塔C上。 显然，这是一个递归求解的过程 Hanoi塔算法： 思考题： 如果塔的个数变为a,b,c,d四个，现要将n个圆盘从a全部移动到d，移动规则不变，求移动步数最小的方案。 一、递归的概念 递归小结： 优点：结构清晰，可读性强，而且容易