使得数学归纳法证明出问题.PPTVIP

* * 第三讲 递归式 内容提要： 代换法 迭代法 递归树法 主方法 * 主方法是求解如下形式的递归式的一个非常简便的方法。其中f(n)是一个渐近正的函数。 T(n) = aT(n/b)+f(n), (4.5) 其中a≥1，b1, f(n)是一个渐近正的函数。 主方法要求记忆三种情况，但这样很容易确定许多递归式的解，甚至可以不需要计算。 在上面的递归式中，n/b可能不是整数。有时，甚至可以用floor(n/b)和ceiling(n/b)来代替n/b。这种代替不会对递归式的渐近行为产生影响。. 实际上，在分析分治算法的运行时间时，经常略去下取整和上取整函数，以方便对递归式的分析 主方法 * 主方法的正确性依赖于如下的主定理 Theorem 4.1 （主定理） 假设a≥1 and b1 为常数，设f(n)为一函数，T(n)由递归式T(n) = aT(n/b) + f(n)对非负整数定义，其中n/b指floor(n/b)或ceiling(n/b)。那么，T(n)可能有如下的渐近界： 主方法 * Comparing the function f(n) with . Intuitively, the solution is determined by the larger of the two functions. Case 1, larger, then the solution is . Case 3, f(n) larger, then the solution is . Case 2, the two functions are the same size, we multiply by a logarithmic factor, and the solution is 主方法 * Polynomially Case 1, f(n) must be polynomially smaller than . Case 3, f(n) must be polynomially larger than . Gap There is a gap between cases 1 and 2 when f(n) is smaller than but not polynomially smaller. Similarly, there is a gap between cases 2 and 3 when f(n) is larger than but not polynomially larger. 主方法特殊情况： 主方法 * T(n)=9T(n/3)+n T(n)=T(2n/3)+1 主方法 举例： * 举例： T(n)=3T(n/4)+nlgn 主方法 * T(n)=2T(n/2)+nlgn 主方法 谢谢！ * * Q A 作业： 4.1-4 4.2-5 4.3-4 * 代换法可以用来确定一个递归式的上界或下界。 比如：对于4.4式，我们猜测其解为T(n) = O(n lg n).我们的方法是证明，对于某个常数c0，T(n)≤cn lg n 。 先假设这个界对于 “n/2 下取整”成立，对递归式做替换，得到如下结果。在最后一步中只要c ≥ 1就可以成立。 * 1）接下来应用数学归纳法进行证明的时候，就要求 解对边界条件也成立。 2）一般来说，可以通过证明边界条件符合归纳证明的基本情况来说明它的正确性。比如对于递归式4.4，必须证明能够选择足够大的常数c，使界T(n) ≤cnlgn也对边界条件成立。 3）但是这些要求有时候会导致问题， 4）比如T(1)=1是递归式唯一的边界条件，那么当n=1时，界T(n) ≤cnlgn也就是T（1）≤c1lg1=0，与T（1）=1不符。因此，归纳证明基本情况不能满足。 * 1）不幸的是，并不存在通用的方法来猜测递归式的正确解。 2）这种猜测需要经验，有时甚至是创造性的。 3）幸运的是，尽管如此，还是有一些方法可以帮助对解进行猜测（如后面即将介绍的递归树法）。 * 如果某个递归式与先前见过的类似，则可猜测该递归式有类似的解。如：下面递归式 虽然看起来很难，因为增加了一个常数项17. 但是，直觉告诉我们，该附加项不会从本质上影响递归解。 当n很大的时候，T( n/2 ) 和T( n/2 + 17) 差异并不很大，因此可以猜测其解为O(n lg n)。 * 有时候猜测是正确的，但是却会在进行数学归纳证明的时候出现一些问题，比如 我们猜测其解为O(