设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^(logb(a)-e)),则T(n)=Q(n^logba);

2)若f(n)=Q(n^logba),则T(n)=Q(n^logablgn);

3)若f(n)=b(n^(logba-e)),则T(n)=Q(f(n)).

主方法