递归方程解的渐近阶的求法复习进程.docxVIP

递归方程解的渐近阶的求法 递归方程解的渐近阶的求法 递归算法在最坏情况下的时间复杂性渐近阶的分析，都转化为求相应的一个递 归方程的解的渐近阶。因此，求递归方程的解的渐近阶是对递归算法进行分析 的关键步骤。 递归方程的形式多种多样，求其解的渐近阶的方法也多种多样。这里只介绍比 较实用的五种方法。 代入法这个方法的基本步骤是先推测递归方程的显式解，然后用数学归 纳法证明这一推测的正确性。那么，显式解的渐近阶即为所求。 迭代法这个方法的基本步骤是通过反复迭代，将递归方程的右端变换成 一个级数，然后求级数的和，再估计和的渐近阶；或者，不求级数的和 而直接估计级数的渐近阶，从而达到对递归方程解的渐近阶的估计。 套用公式法 这个方法针对形如：T (n)=aT (n /b)+f (n)的递归方程，给出 三种情况下方程解的渐近阶的三个相应估计公式供套用。 差分方程法有些递归方程可以看成一个差分方程，因而可以用解差分方 程(初值问题)的方法来解递归方程。然后对得到的解作渐近阶的估计。 母函数法这是一个有广泛适用性的方法。它不仅可以用来求解线性常系 数高阶齐次和非齐次的递归方程，而且可以用来求解线性变系数高阶齐 次和非齐次的递归方程，甚至可以用来求解非线性递归方程。方法的基 本思想是设定递归方程解的母函数，努力建立一个关于母函数的可解方 程，将其解出，然后返回递归方程的解。 本章将逐一地介绍上述五种方法，并分别举例加以说明。 本来，递归方程都带有初始条件，为了简明起见，我们在下面的讨论中略去这 些初始条件。 递归方程组解的渐进阶的求法一一代入法 用这个办法既可估计上界也可估计下界。如前面所指出，方法的关键步骤在于 预先对解答作出推测，然后用数学归纳法证明推测的正确性。 例如，我们要估计T(n)的上界，T(n)满足递归方程： 其中是地板(floors)函数的记号, 其中 表示不大于n的最大整数。 我们推测T(n)=0(nlog n)，即推测存在正的常数 C和自然数n°,使得当n》n 时有： T( n) Cnlog n (6.2) 事实上，取n°=22=4,并取 那么，当non2no时，(6.2)成立。今归纳假设当2k-1n°nW2kn° , k1时, (1.1.16)成立。那么，当2kn°w n2k+1 n°时，我们有： 即(6.2)仍然成立，于是对所有n》n。，(6.2)成立。可见我们的推测是正确的 因而得出结论：递归方程(6.1)的解的渐近阶为0( nlog n)。 这个方法的局限性在于它只适合容易推测出答案的递归方程或善于进行推测的 高手。推测递归方程的正确解，没有一般的方法，得靠经验的积累和洞察力。 我们在这里提三点建议： 如果一个递归方程类似于你从前见过的已知其解的方程，那么推测它有类 似的解是合理的。作为例子，考虑递归方程： 右边项的变元中加了一个数17,使得方程看起来难于推测。但是它在形式上与 (6.1)很类似。实际上，当n充分大时 相差无几。因此可以推测(6.3)与(6.1)有类似的上界T(n)=qnlog n)。进 步，数学归纳将证明此推测是正确的。 从较宽松的界开始推测，逐步逼近精确界。比如对于递归方程 (6.1)，要估 计其解的渐近下界。由于明显地有 T( n) n,我们可以从推测T(n)= Q (n)开 始，发现太松后，把推测的阶往上提，就可以得到 T(n)= Q(nlog n)的精确估 计。 作变元的替换有时会使一个末知其解的递归方程变成类似于你曾见过的已知 其解的方程，从而使得只要将变换后的方程的正确解的变元作逆变换，便可得 到所需要的解。例如考虑递归方程： 看起来很复杂，因为右端变兀中带根号。但是，如果作变兀替换 m=log n,即令 n=2m，将其代入(6.4)，则(6.4)变成： 把m限制在正偶数集上，则(6.5)又可改写为: T(2)=2T(2m2)+m 若令S(m)=T(2m)，则S(n)满足的递归方程： S(n)=2S(n/2)+ m， 与(6.1)类似，因而有： S( m= q mlog m)， 进而得到 T(n)=T(2)=S(n)=qm1ogn)=qiog nloglog n) (6.6) 上面的论证只能表明：当(充分大的)n是2的正偶次幕或换句话说是 4的正整 数次幕时(6.6)才成立。进一步的分析表明(6.6)对所有充分大的正整数n都成 立，从而，递归方程(6.4)解的渐近阶得到估计。 在使用代入法时，有三点要提醒: (1)记号0不能滥用。比如，在估计(6.1)解的上界时，有人可能会推测 T(n)=qn)，即对于充分大的n，有T(n) Cn，其中C是确定的正的常数。他 进一步运用数学归纳法，推出： 从而认为推测T(n)=qn)是正确的。实际上，这个推测是错误的，原因是他滥 用了记号0，错误地