主定理（递归式分析）

上图来自《算法导论》

其意思为：

令a≥1，b>1都是常数，f(n)是一个函数

T（n）是定义在非负整数上的递推式：

1、对某个常数，有，则

2、若，则

3、对某个常数，有

      且对某个常数c<1和所有足够大的n有，则

 

下面举一个例子：

有a=9,b=3,f(n)=n

因此

由于，其中

由主定理的情况1可直接得：