2010第五讲-归纳法37.pptVIP

归纳法 柳银萍 * ECNU Yinping Liu ECNU Yinping Liu 归纳法 考虑一个带有参数n的问题，在问题的实例中n通常表示事物的数目。当我们寻找这类问题的解时，有时候从求解一个带有小一点参数的相同问题开始，例如参数是n-1，n/2等，然后再把解推广到包含所有的n个物体。这样，问题的解决会比较容易些。这种方法基于众所周知的数学归纳法证明技术。从本质上说，给出一个带有参数n的问题，用归纳法设计一个算法是基于这样一个事实，如果我们知道如何求解带有参数小于n的同样问题(它被称为归纳假设)，那么我们的任务就化为如何把解法扩展到带有参数n的实例。 ECNU Yinping Liu 这种方法可一般化为包括所有递归算法设计技术，如分治算法和动态规划等。然而，由于这两种算法具有明显的标志特点，我们在这一讲中将注意力集中在那些与数学归纳法十分相似的方法上，而在第六至第九讲中研究分治算法和动态规划法。我们在本讲中论及的算法一般只调用一次递归，通常称它为尾递归，这样在大多数情况下可以很方便地把它们转化为迭代算法。 这种设计技术的一个优点是(一般地，对于所有的递归算法来说都是如此)，它所设计出的算法的正确性证明已自然地嵌入在算法的描述中了。如果需要的话，一个简单的归纳证明可以很容易地给出。 ECNU Yinping Liu 1. 多项式求值(Horner 规则) 假设有n+2个实数a0, a1, … , an 和 x 的序列，要对多项式 Pn(x)=anxn + an-1xn-1 + … + a1x +a0 求值。直接的方法是对每一项分别求值, 这种方法是十分低效的, 因为它需要n+n-1…+1=n(n+1)/2次乘法。 ECNU Yinping Liu 通过如下的归纳法，可以导出一种快得多的方法，首先观察 Pn(x)=anxn + an-1xn-1 + … + a1x +a0 =((…((((anx+an-1)x+an-2)x+an-3)…)x+a1)x+a0 这种求值的安排称为Horner-规则。用这种安排可导出以下更有效的方法。假设已经知道如何对 Pn-1(x)=an-1xn-1 + an-2xn-2 + … + a1x +a0 求值，那么再用一次乘法和一次加法，则有 ? Pn(x) = xPn-1(x) +a0 这样就得到算法HORNER。 ECNU Yinping Liu 算法3 HORNER． 输入：n+2个实数 a0, a1, …，an 和 x 的序列。 输出：Pn(x)=anxn + an-1xn-1 + … + a1x +a。 1．P ? an 2．for j ? 1 to n 3． P ? xP+an-j 4．end for 5．return P 很容易看到，算法HORNER的代价是n次乘法和n次加法，这是利用归纳假设的优点产生出的令人瞩目的成就。 ECNU Yinping Liu 2. 整数幂 因为计算整数的次幂在素性检验及几种密码方法中经常要用到。在这一节中，将对求实数x的n次幂设计有效的算法。一种直接的方法是对x用迭代方法自乘 n 次，这种方法是十分低效的，因为它需要O(n)乘法。一个高效的方法可以用如下方法推出，令m=?n/2? ，假设已经知道如何计算xm。那么有两种情况：如果n是偶数，那么xn=(xm)2；否则xn=x(xm)2。这个想法可立即产生如下算法。 ECNU Yinping Liu 算法1：EXPREC 输入：实数 x 和非负整数n。 输出：xn。 1.power( x, n ) 过程 power(x，m){计算xm} ? 1．if m=0 then y ? 1 2．else 3． y ? power(x，?m/2?) 4． y ? y2 5． if m为奇数 then y ?xy 6．end if 7．return y ECNU Yinping Liu 借助于多项式求值的 Horner’s 法则，我们可设计出计算an 的两种迭代算法， 这两种方法都要用到 n 的二进制表示，其中一个过程被称为自左向右方法，另一种被称为自右向左方法。 假设 n 的二进制表示为：bmbm-1…bi…b1b0 ，即 n=bm2m+…+bi2i+…+b121+b0 令 P(x)=bmxm+…+bixi+…+b1x+b0 , 则 n=P(2), 故 ECNU Yinping Liu 二进制多项式P(2)的 Hor