6算法复杂性渐阶的分析.docVIP

算法复杂性渐近阶的分析 前两段讲的是算法复杂性渐近阶的概念和对它进行分析的重要性。本段要讲如何具体地分析一个算法的复杂性的渐近阶，给出一套可操作的规则。算法最终要落实到用某种程序设计语言（如Pascal）编写成的程序。因此算法复杂性渐近阶的分析可代之以对表达该算法的程序的复杂性渐近阶的分析。如前所提出，对于算法的复杂性，我们只考虑最坏、最好和平均三种情况，而通常又着重于最坏情况。为了明确起见，本段限于针对最坏情况。 仍然以时间复杂性为例。这里给出分析时间复杂性渐近阶的八条规则。这八条规则已覆盖了用Pascal语言程序所能表达的各种算法在最坏情况下的时间复杂性渐近阶的分析。 在逐条地列出并解释这入条规则之前，应该指出，当我们分析程序的某一局部(如一个语句，一个分程序，一个程序段，一个过程或函数)时，可以用具体程序的输入的规模N作为复杂性函数的自变量，也可以用局部的规模参数作为自变量。但是，作为最终结果的整体程序的复杂性函数只能以整体程序的输入规模为自变量。 对于串行的算法，相应的Pascal程序是一个串行的Pascal语句序列，因此，很明显，该算法的时间复杂性(即所需要的时间)等于相应的Pascal程序的每一个语句的时间复杂性(即所需要的时间)之和。所以，如果执行Pascal语句中的每一种语句所需要的时间都有计量的规则，那么，执行一个程序，即执行一个算法所需要的时间的计量便只是一个代数问题。接着，应用本节第三段所提供的Ο、Ω和θ等运算规则就可以分析出算法时间复杂性的渐近阶。 因此，我们的时间计量规则只需要针对Pascal有限的几种基本运算和几种基本语句。下面是这些规则的罗列和必要的说明。 规则(1) 赋值、比较、算术运算、逻辑运算、读写单个常量或单个变量等，只需要1个单位时间。 规则(2) 条件语句if C then S1 else S2只需要Tc+max(Ts1，Ts2)的时间，其中Tc是计算条件表达式C需要的时间，而Ts1和Ts2分别是执行语句S1和S2需要的时间。 规则(3) 选择语句Case? A? of? a1:S1; a2:S2; … ;am:Sm;? end，需要max(Ts1, Ts2，…，Tsm)的时间，其中Tsii是执行语句Si所需要的时间，i=l,2,…,m。 规则(4) 访问一个数组的单个分量或一个记录的单个域，只需要1个单位时间。 规则(5) 执行一个for循环语句需要的时间等于执行该循环体所需要的时间乘上循环的次数。 规则(6) 执行一个while循环语句while C do S或一个repeat循环语句 repeat S until C，需要的时间等于计算条件表达式C需要的时间与执行循环S体需要的时间之和乘以循环的次数。与规则5不同，这里的循环次数是隐含的。 例如，b_search函数中的while循环语句。按规则(1)-(4)，计算条件表达式 (not found)and(U≥=L)与执行循环体 I:=(U+L)div 2; if c=A[I] then found:=true else if cA[I] then L:=I+1 else U:=I-1; 只需要θ(1)时间，而循环次数为logm，所以，执行此while语句只需要θ(logm)时间。 在许多情况下，运用规则(5)和(6)常常须要借助具体算法的内涵来确定循环的次数，才不致使时间的估计过于保守。这里举一个例子。 考察程序段： 　 　 Size:=m; 1 i:=1; 1 while in do ? ??? begin ? ????? i:=i+1; ? ????? S1; θ(n) ????? if? Size0? then 1 ???????? begin ? ???????? 在1到Size的范围内任选一个数赋值给t; θ(1) ???????????? Size:=Size-t; 2 ???????????? for j:=l? to? t? do ? ???????????????? S2 θ(n) ???????? end; ? ??? end; ? 　 　 程序在各行右端顶格处标注着执行相应各行所需要的时间。如果不对算法的内涵作较深入的考察，只看到1≤t≤Size≤m，就草率地估计while的内循环for的循环次数为Ο(m)，那么，程序在最坏情况下的时间复杂性将被估计为Ο(n 2+m·n 2)。反之，如果对算法的内涵认真地分析，结果将两样。事实上，在while的循环体内t是动态的,size也是动态的，它们都取决while的循环参数i，即t=t(i)记为ti；size=size(i)记为sizei ，i=l