分治算法——主定理使用

主定理描述

令$a\ge 1$和$b>1$是常数，$f(n)$是一个函数，$T(n)$是定义在非负整数上的递归式：$T(n)=aT(n/b)+f(n)$，其中我们将$n/b$解释为$\lceil n/b\rceil$或$\lfloor n/b\rfloor$。那么$T(n)$有如下渐近界：

1. 若对某个常数$ϵ$有$f(n)=O(n^{lo{g}_b^a-ϵ})$，则$T(n)=\Theta (n^{lo{g}_b^a})$
2. 若$f(n)=\Theta (n^{lo{g}_b^a})$，则$T(n)=\Theta (n^{lo{g}_b^a}logn)$
3. 若对某个常数$ϵ>0$有$f(n)=\Omega (n^{lo{g}_b^a+ϵ})$,且还需要满足正则条件：对某个常数$c<1$和所有足够大的$n$有$af(n/b)\le cf(n)$，则$T(n)=\Theta (f(n))$。

对主定理的直观认识

• 主定理其实是哪部分占优，取哪部分的复杂度。这里的占优指多项式时间大于另一部分，也就是比另一部分多$n^{ϵ},ϵ>0$。
• 由于$aT(n/b)$形式固定，当其多项式占优时，直接输出$n^{lo{g}_b^a}$即可。而$f(n)$多项式占优时，由于其形式隐含多变，还需要满足正则条件，才能直接用其表达式$f(n)$作为整体复杂度。