算法设计和的分析(一).ppt

O和o的区别 O： o： 在o表示中，当n趋于无穷时，f(n)相对于g(n)来说已经不重要了。 定义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）时命题成立。这是递推的基础。 第二步：