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