第6章 递归算法.pptVIP

第6章 递归算法 6.1递归的概念 一、在日常生活中，递归一词较常用于描述以自相似方法重复事物的过程。 例如，当两面镜子相互之间近似平行时，镜中嵌套的图像是以无限递归的形式出现的。  德罗斯特效应（英语：Droste effect）是递归的一种视觉形式。图中女性手持的物体中有一幅她本人手持同一物体的小图片，进而小图片中还有更小的一幅她手持同一物体的图片，依此类推。 二、在数学与计算机科学中，递归是指在函数的定义中使用函数自身的方法。 例：第5个人的年龄比第4个的年龄大2岁，有4个人的年龄比第3个的年龄大2岁，有3个人的年龄比第2个的年龄大2岁，有2个人的年龄比第1个的年龄大2岁，第1个的年龄10岁。 例：阶乘的定义。 我们以计算阶乘的递归函数为例，说明递归函数调用时运行时栈中工作记录的变化过程。 由于函数的地址是系统动态分配的，调用函数的返回地址因此也是动态变化的，不好给出具体数值，故下图中没有给出调用函数的返回地址。 NumCall(n)= NumCall(n-1)+ NumCall(n-2)+1 NumCall(0)=1, NumCall(1)=1 可以求得NumCall的通项。也可以由下面的关系得到NumCall的通项。 NumCall(n) = 2*Fib(n+1) - 1。 可以证明，计算斐波那契数列的递归函数Fib(n)的时间复杂度为O(2n)。 计算斐波那契数列Fib(n)问题，我们也可根据公式写出循环方式求解的函数如下： 下面我们再看看汉诺塔的时间复杂度。 设移动n个盘子的步数为H(n)，我们再看看示意图。 即有 H(n)=2H(n-1)+1 S(1)=1 可以解得：H(n)=2n-1 因此汉诺塔的时间复杂度为O(2n) 。 （4）循环结构算法 int Gcd2(int n, int m) { int tn, tm, temp; if (n 0 || m 0) return -1; if (m n) { tn = m; tm = n; } else { tn = n; tm = m; } While tm != 0 { temp = tn; tn = tm; tm = temp % tm;} return tn; } long Fact( int n) { int x; long y; If n == 0 return 1; else { x = n-1; y = Fact(x); return n * y; } } 栈顶 初始时 Fact y x n 栈底 0 1 2 3 运行时栈的变化过程 栈顶 调用Fact(3) Fact y x n * * * 3 栈底 0 1 2 3 栈顶 调用Fact(2) Fact y x n * * 2 3 栈底 0 * * * 2 1 2 3 栈顶 调用Fact(1) Fact y x n * * 2 3 栈底 0 * * 1 2 1 * * * 1 2 3 栈顶 调用Fact(0) Fact y x n * * 2 3 栈底 0 * * 1 2 1 0 1 2 1 * * 0 3 栈顶 返回Fact(0) Fact y x n * * 2 3 栈底 0 * * 1 2 1 1 1 0 1 2 3 栈顶 返回Fact(1) Fact y x n * * 2 3 栈底 0 2 1 1 2 1 2 3 栈顶 返回Fact(2) Fact y x n 6 2 2 3 栈底 0 1 2 3 栈顶 返回Fact(3) Fact y x n 栈底 0 1 2 3 long Fact( int n) { int x; long y; If n == 0 return 1; else { x = n-1; y = Fact(x); return n * y; } } 6.5递归算法的效率分析 我们先以斐波那契(Fibonacci)数列递归算法的执行效率为例来讨论递归算法的执行效率问题。 斐波那契数列Fib(n)的递推定义是： 如Fib(0