第1章 本科精品课件.ppt

SAT是第一个已知的NP完全问题，1971年多伦多大学的StephenCook和1973年国家科学院的LeonidLevin独立证明了这一问题。作业：·教材P7：算法分析题1-1；P7：算法实现题1-4。算法分析方法例：顺序搜索算法templateclassTypeintseqSearch(Type*a,intn,Typek){for(inti=0;in;i++) if(a[i]==k)returni;return-1;}（1）Tmax(n)=max{T(I)|size(I)=n}=O(n)（2）Tmin(n)=min{T(I)|size(I)=n}=O(1)（3）在平均情况下，假设：(a)搜索成功的概率为p(0?p?1)；(b)在数组的每个位置i(0?in)搜索成功的概率相同，均为p/n。算法渐近复杂性T(n)??,asn??;(T(n)-t(n))/T(n)?0，asn??;t(n)是T(n)的渐近性态，为算法的渐近复杂性。在数学上，t(n)是T(n)的渐近表达式，是T(n)略去低阶项留下的主项。它比T(n)简单。算法分析的基本法则（1）for/while循环循环体内计算时间*循环次数；（2）嵌套循环循环体内计算时间*所有循环次数；（3）顺序语句各语句计算时间相加；（4）if-else语句if语句计算时间和else语句计算时间的较大者。templateclassTypevoidinsertion_sort(Type*a,intn){Typekey;//costtimesfor(inti=1;in;i++){//c1nkey=a[i];//c2n-1intj=i-1;//c3n-1while(j=0a[j]key){//c4sumofti a[j+1]=a[j];//c5sumof(ti-1) j--;//c6sumog(ti-1) }a[j+1]=key;//c7n-1}}在最好情况下，ti=1,for1?in;在最坏情况下，ti?i+1,for1?in;渐近分析的记号在下面的讨论中，对所有n，f(n)?0，g(n)?0。（1）渐近上界记号OO(g(n))={f(n)|存在正常数c和n0使得对所有n?n0有：0?f(n)?cg(n)}（2）渐近下界记号??(g(n))={f(n)|存在正常数c和n0使得对所有n?n0有：0?cg(n)?f(n)}（3）非紧上界记号oo(g(n))={f(n)|对于任何正常数c0，存在正数和n00使得对所有n?n0有：0?f(n)cg(n)}等价于f(n)/g(n)?0，asn??。（4）非紧下界记号??(g(n))={f(n)|对于任何正常数c0，存在正数和n00使得对所有n?n0有：0?cg(n)f(n)}等价于f(n)/g(n)??，asn??。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)}算术运算：O(f(n))+O(g(n))=O(max{f(n),g(n)})；O(