1第一章导论.ppt

* 规则O(f(n))?O(g(n)) ? O(f(n)?g(n)) 的证明： 对于任意f1(n) ? O(f(n)) ，存在正常数c1和自然数n1，使得对所有 n? n1，有f1(n) ? c1f(n) 。 类似地，对于任意g1(n) ? O(g(n)) ，存在正常数c2和自然数n2， 使得对所有n? n2，有g1(n) ? c2g(n) 。 令c3 ? max{c1, c2}， n3 ? max{n1, n2}，h(n) ? f(n)?g(n) 。 则对所有的 n ? n3，有 O(f(n)) ? O(g(n)) ? f1(n) ? g1(n) ? c1f(n) ? c2g(n) ? c3f(n) ? c3g(n) ? c3(f(n) ? g(n)) ? c3h(n) = O(f(n) ? g(n)) . * 规则O(f(n))?O(g(n)) ? O(f(n) ? g(n)) 的证明： 对于任意f1(n) ? O(f(n)) ，存在正常数c1?1和自然数n1， 使得对所有 n? n1，有f1(n) ? c1f(n) 。 类似地，对于任意g1(n) ? O(g(n)) ，存在正常数c2 ? 1和自然数n2， 使得对所有n? n2，有g1(n) ? c2g(n) 。 令c3 ? c1 ? c2， n3 ? max{n1, n2}，h(n) ? f(n) ? g(n) 。 则对所有的 n ? n3，有 O(f(n)) ? O(g(n)) ? f1(n) ? g1(n) ? c1f(n) ? c2g(n) ? c3f(n) ? g(n) ? c3h(n) ? O(f(n) ? g(n)) . * 数学基础 （1）常用的整数求和公式 通式 * 算法渐近复杂性分析中常用函数 （2）单调函数 单调递增：m ? n ? f(m) ? f(n) ; 单调递减：m ? n ? f(m) ? f(n); 严格单调递增：m ? n ? f(m) ? f(n); 严格单调递减：m ? n ? f(m) ? f(n). （3）取整函数 ? x ? ：不大于x的最大整数； ? 2.5 ? ?2 ? 2 ? ? 2 ? x ? ：不小于x的最小整数。 ? 2.5 ? ? 3 ? 2? ? 2 * 取整函数的若干性质 x?1 ? ? x ? ? x ? ? x ? ? x ? 1； ? n/2 ? ? ? n/2 ? ? n; 对于n ? 0，a, b?0，有： ? ? n?a ??b ? ? ? n?ab ? ; ? ? n?a ??b ? ? ? n?ab ? ; ? a?b ? ? (a?(b ? 1))?b; ? a?b ? ? (a ? (b ? 1))?b; f(x) ? ? x ? , g(x) ? ? x ? 为单调递增函数。 * （4）多项式函数 p(n)? a0 ? a1n ? a2n2 ? ??adnd； ad?0; p(n) ? ?(nd); p(n) ? O(nk) ? p(n)多项式有界； p(n) ? O(1) ? p(n) ? c; * 指数函数一些性质 对于正整数m, n和实数a ? 0: a0?1; a1 ? a ; a-1 ? 1/a ; (am)n ? amn ; (am)n ? (an)m ; aman ? am+n ; a ? 1 ? an为单调递增函数; a ? 1 ? ? nb ? o(an) * ex ? 1+x; |x| ?1 ? 1?x ? ex ? 1 ? x ? x2 ; ex ? 1 ? x ? ?(x2), as x?0; * log n ? log2n; lg n ? log10n; ln n ? logen; logkn ? (log n)k; log log n ? log(log n); for a?0, b?0, c?0 （5）对数函数 * * |x| ?1 ?