第1章 算法概述.ppt

（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))；*第29页，共65页，星期日，2025年，2月5日（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))。*第30页，共65页，星期日，2025年，2月5日规则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))?c32max{f(n),g(n)}=2c3h(n)=O(max{f(n),g(n)}).*第31页，共65页，星期日，2025年，2月5日算法渐近复杂性分析中常用函数（1）单调函数单调递增：m?n?f(m)?f(n);单调递减：m?n?f(m)?f(n);严格单调递增：mn?f(m)f(n);严格单调递减：mn?f(m)f(n).（2）取整函数?x?：不大于x的最大整数；?x?：不小于x的最小整数。*第32页，共65页，星期日，2025年，2月5日取整函数的若干性质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?为单调递增函数。*第33页，共65页，星期日，2025年，2月5日（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);kd?p(n)=o(nk);kd?p(n)=?(nk).*第34页，共65页，星期日，2025年，2月5日（4）指数函数对于正整数m,n和实数a0:a0=1;a1=a;a-1=1/a;(am)n=amn;(am)n=(an)m;aman=am+n;a1?an为单调递增函数;a1??nb=o(an)*第35页，共65页，星期日，2025年，2月5日ex?1+x;|x|?1?1+x?ex?1+x+x2;ex=1+x+?(x2),asx?0;*第36页，共65页，星期日，2025年，2月5日（5）对数函数logn=log2n;lgn=log10n;lnn=logen;logkn=(logn)kl;loglogn=log(logn);fora0,b0,c0*第37页，共65页，星期日，2025年，2月5日*第38页，共65页，星期日，2025年，2月5日|x|?1?forx-1,foranya0,