主定理描述
令 a ≥ 1 a\geq1 a≥1和 b > 1 b>1 b>1是常数, f ( n ) f(n) f(n)是一个函数, T ( n ) T(n) T(n)是定义在非负整数上的递归式: T ( n ) = a T ( n / b ) + f ( n ) T(n) = aT(n/b)+f(n) T(n)=aT(n/b)+f(n),其中我们将 n / b n/b n/b解释为 ⌈ n / b ⌉ \lceil n/b \rceil ⌈n/b⌉或 ⌊ n / b ⌋ \lfloor n/b \rfloor ⌊n/b⌋。那么 T ( n ) T(n) T(n)有如下渐近界:
- 若对某个常数 ϵ \epsilon ϵ有 f ( n ) = O ( n l o g b a − ϵ ) f(n) = O(n^{log_b^a-\epsilon}) f(n)=O(nlogba−ϵ),则 T ( n ) = Θ ( n l o g b a ) T(n) = \Theta(n^{log_b^a}) T(n)=Θ(nlogba)
- 若 f ( n ) = Θ ( n l o g b a ) f(n) = \Theta(n^{log_b^a}) f(n)=Θ(nlogba),则 T ( n ) = Θ ( n l o g b a l o g n ) T(n) = \Theta(n^{log_b^a}logn) T(n)=Θ(nlogbalogn)
- 若对某个常数 ϵ > 0 \epsilon>0 ϵ>0有 f ( n ) = Ω ( n l o g b a + ϵ ) f(n) = \Omega(n^{log_b^a+\epsilon}) f(n)=Ω(nlogba+ϵ),且还需要满足正则条件:对某个常数 c < 1 c<1 c<1和所有足够大的 n n n有 a f ( n / b ) ≤ c f ( n ) af(n/b)\leq cf(n) af(n/b)≤cf(n),则 T ( n ) = Θ ( f ( n ) ) T(n) = \Theta(f(n)) T(n)=Θ(f(n))。
对主定理的直观认识
- 主定理其实是哪部分占优,取哪部分的复杂度。这里的占优指多项式时间大于另一部分,也就是比另一部分多 n ϵ , ϵ > 0 n^{\epsilon},\epsilon>0 nϵ,ϵ>0。
- 由于 a T ( n / b ) aT(n/b) aT(n/b)形式固定,当其多项式占优时,直接输出 n l o g b a n^{log_b^a} nlogba即可。而 f ( n ) f(n) f(n)多项式占优时,由于其形式隐含多变,还需要满足正则条件,才能直接用其表达式 f ( n ) f(n) f(n)作为整体复杂度。