2019年计算机算法设计与分析（第4版）.pptVIP

* * * * * （3）非紧上界记号o o(g(n)) = { f(n) | 对于任何正常数c0，存在正数和n0 0使得对所有n? n0有：0 ? f(n)cg(n) } 等价于 f(n) / g(n) ?0 ，as n??。 （4）非紧下界记号? ? (g(n)) = { f(n) | 对于任何正常数c0，存在正数和n0 0使得对所有n? n0有：0 ? cg(n) f(n) } 等价于 f(n) / g(n) ?? ，as n??。 f(n) ? ? (g(n)) ? g(n) ? o (f(n)) （5）紧渐近界记号? ? (g(n)) = { f(n) | 存在正常数c1,c2和n0使得对所有n? n0有：c1g(n) ? f(n) ? c2g(n) } 定理1： ? (g(n)) = O (g(n)) ? ? (g(n)) 渐近分析记号在等式和不等式中的意义 f(n)= ?(g(n))的确切意义是：f(n) ? ?(g(n))。 一般情况下，等式和不等式中的渐近记号?(g(n))表示?(g(n))中的某个函数。 例如：2n2 + 3n + 1 = 2n2 + ?(n) 表示 2n2 +3n +1=2n2 + f(n)，其中f(n) 是?(n)中某个函数。 等式和不等式中渐近记号O,o, ?和?的意义是类似的。 渐近分析中函数比较 f(n)= O(g(n)) ? a ? b; f(n)= ?(g(n)) ? a ? b; f(n)= ?(g(n)) ? a = b; f(n)= o(g(n)) ? a b; f(n)= ?(g(n)) ? a b. 渐近分析记号的若干性质 （1）传递性： f(n)= ?(g(n))， g(n)= ?(h(n)) ? f(n)= ?(h(n))； f(n)= O(g(n))， g(n)= O (h(n)) ? f(n)= O (h(n))； f(n)= ?(g(n))， g(n)= ? (h(n)) ? f(n)= ?(h(n))； f(n)= o(g(n))， g(n)= o(h(n)) ? f(n)= o(h(n))； f(n)= ?(g(n))， g(n)= ? (h(n)) ? f(n)= ? (h(n))； （2）反身性： f(n)= ?(f(n))； f(n)= O(f(n))； f(n)= ?(f(n)). （3）对称性： f(n)= ?(g(n)) ? g(n)= ? (f(n)) . （4）互对称性： f(n)= O(g(n)) ? g(n)= ? (f(n)) ； f(n)= o(g(n)) ? g(n)= ? (f(n)) ； （5）算术运算： O(f(n))+O(g(n)) = O(max{f(n),g(n)}) ； O(f(n))+O(g(n)) = O(f(n)+g(n)) ； O(f(n))*O(g(n)) = O(f(n)*g(n)) ； O(cf(n)) = O(f(n)) ； g(n)= O(f(n)) ? O(f(n))+O(g(n)) = O(f(n)) 。 算法渐近复杂性分析中常用函数 （1）单调函数 单调递增：m ? n ? f(m) ? f(n) ; 单调递减：m ? n ? f(m) ? f(n); 严格单调递增：m n ? f(m) f(n); 严格单调递减：m n ? f(m) f(n). （2）取整函数 ? x ? ：不大于x的最大整数； ? x ? ：不小于x的最小整数。 取整函数的若干性质 x-1 ? x ? ? x ? ? x ? x+1； ? n/2 ? + ? n/2 ? = n; 对于n ? 0，a,b0，有： ? ? 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 ? 为单调递增函数。 （3）多项式函数 p(n)= a0+a1n+a2n2+…+adnd； ad0; p(n) = ?(nd); f(n) = O(nk) ? f(n)多项式有界； f(n) = O(1) ? f(n) ? c; k ? d ? p(n) = O(nk) ; k ? d ? p(n) = ?(nk) ; k d ? p(n) = o(nk) ; k d ? p(n) = ?(nk) . （4）指数函数 对于正整数m,n和实数a0: a0=1; a1=a ; a-1=1/a ; (am)n = amn ; (am)n = (an