主定理

对于递推关系式：

\[T(n)=aT\left(\left\lceil\dfrac{n}{b}\right\rceil\right)+\Theta\left(n^d\right),a\ge 1,b\ge 2,d>0, \]

则：

\[T(n)=\begin{cases} \Theta(n^d), & d>\log_b a.\\ \Theta(n^d\log n), & d=\log_b a.\\ \Theta(n^{\log_b a}), & d<\log_b a.\\ \end{cases} \]