孙成敏《计算机算法设计与分析》第1章.pptVIP

规则O(f(n))+O(g(n)) = O(max{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)= max{f(n),g(n)} 。 则对所有的 n ? n3，有 f1(n) +g1(n) ? c1f(n) + c2g(n) ? c3f(n) + c3g(n)= c3(f(n) + g(n)) ? 2c3 max{f(n),g(n)} = 2c3h(n) = O(max{f(n),g(n)}) . 规则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)) ，存在正常数c11和自然数n1， 使得对所有 n? n1，有f1(n) ? c1f(n) 。 类似地，对于任意g1(n) = O(g(n)) ，存在正常数c21和自然数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, 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 ? 为单调递增函数。 （4）多项式函数 p(n)= a0+a1n+a2n2+…+adnd； ad0; p(n) = ?(nd); p(n) = O(nk) ? p(n)多项式有界； p(n) = O(1) ? p(n) ? c; （5）指数函数一些性质 对于正整数m, n和实数a0: a0=1; a1=a ; a-1=1/a ; (am)n