设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)).