算法导论主定理——算法复杂度分析的利器

设a>=1,b>1为常数，设f(n)为一函数，T(n)的递归式：

T(n)=aT(n/b)+f(n)

其中n/b指n/b的上取整或者是下取整。

那么T（n）可能有如下的渐进界：

1)e>0，有f(n)=O(n^(log_b(a)-e)),则T(n)=O(n^log_b(a))

2)若f(n)=O(n^log_b(a)),则T(n)=O(n^log_b(a)*log(n))

3)e>0,有f(n)=O(n^(log_b(a)+e))，且对于c>1,有足够大的n满足af(n/b)<=cf(n)，则T(n)=O(f(n)).