算法设计与分析(一)-算法基础.pptVIP

定义1.5 ω记号 形式1：对任意正常数c，存在常数n0＞0，使对所有的n≥n0，有c|g(n)|≤|f(n)| ，则记作： f(n) = ω(g(n))。 形式2：若 则记f(n) = o(g(n))。 例：n2/2 = ω(n)，但n2/2≠ ω(n2) Ω和ω的区别 Ω ： ω ： 在ω表示中，当n趋于无穷时，f(n)相对于g(n)来说变得任意大了。 1.3 分析结论的证明 当我们有了分析的结论，怎么证明结论是正确的？ 有三种常用的方法： 数学归纳法 反证法 反例法 1）数学归纳法 数学归纳法是用来证明某些与自然数有关的数学命题的一种推理方法，有广泛的应用。 已知最早的使用数学归纳法的证明出现于 Francesco Maurolico 的 Arithmeticorum libri duo (1575年)。Maurolico 证明了前 n 个奇数的总和是 n2。 数学归纳法采用递推策略进行命题证明，分为标准的二部分完成： 第一步： 基准情形（递归基础、初始情形、平凡情形） 该部分证明定理对于某个（某些）小的值是正确的，一般证明命题在n=1（n0）时命题成立。这是递推的基础。 第二步：归纳假设和推论的证明 该部分首先假设定理对于直到某个有限数k（或k以内）的所有情况都成立，然后使用这个假设证明定理对于下一个值（通常就是k+1）也成立。如果证明了k+1正确，则完成整个证明。 完成了上述两步，就可下结论：对任何自然数n（或n≥n0）结论都正确，证毕。 以上两步密切相关，缺一不可。而且证明的关键是n=k+1时命题成立的推证，这是无限递推下去的理论依据，它将判定命题的正确性由特殊推广到一般，使命题的正确性突破了有限而达到无限。 实例：证斐波那契数Fi(5/3)i 这里：F0 = 1，F1 = 1； Fi = Fi-1 + Fi-2，i≥2 证明： 1. 初始情形 容易验证F1 = 1 5/3、F2=2(5/3)2， 所以，初始情形成立。 2. 归纳假设 设定理对于i = 1,2,......k都成立，现证明定理对于i=k+1时也成立，即Fk+1(5/3)k+1。 根据定义有， Fk+1 = Fk + Fk-1 将归纳假设用于等号右边，有 Fk+1 (5/3)k + (5/3)k-1 (3/5)(5/3)k+1 + (3/5)2(5/3)k+1 (3/5+9/25)(5/3)k+1 (24/25)(5/3)k+1 (5/3)k+1 ∴n=k+1时结论成立。 由（1）、（2）知，定理得证。 2）反证法 反证法就是通过假设定理不成立，然后证明该假设将导致某个已知的性质不成立，从而证明假设是错误的而原始命题是正确的。 实例：证明存在无穷多个素数 反证法：假设定理不成立。则将存在最大的素数Pk。 令P1,P2,......Pk是依次排列的所有素数， 令 ：N= P1P2......Pk+1 显然N是比Pk大的数。 思考：N是素数吗？ 因为每个整数，或者是素数，或者是素数的乘积，而N均不能被P1,P2,......Pk整除，因为用P1,P2,......Pk中的任何一个除N总有余数1，所以N是素数。 而NPk，故，与Pk是最大的素数的假设相矛盾。 ∴ 假设不成立，原定理得证。 3）反例法 反例法就是举一组具体的数据，带入定理给出的表达式，证明该数据计算出来的结果与预想结果不符，从而证明定理的结论有错。 特别的应用：证明定理不成立最好的方法就是举出一个反例。 例：斐波那契数Fk≤k2是否成立？ 举反例：令k=11 则：F11 = 144 112，所以原命题不成立。 * 大O符号（Big O notation）是用于描述函数渐进行为的数学符号。更确切地说，它是用另一个（通常更简单的）函数来描述一个函数数量级的渐近上界。在数学中，它一般用来刻画被截断的无穷级数尤其是渐近级数的剩余项；在计算机科学中，它在分析算法复杂度的方面非常有用。 大O符号是由德国数论学家保罗·巴赫曼（Paul Bachmann）在其1892年的著作《解析数论》（Analytische Zahlentheorie）首先引入的。而这个记号则是在另一位德国数论学家艾德蒙·朗道（Edmund Landau）的著作中才推广的，因此它有时又称为朗道符号（Landau symbol）。代表“order of ...”（……阶）的大O，最初是一个大