主定理用于求解满足以下固定形式的递归通项,在采用分治策略中分析时间复杂度时,我们常可以得到这类形式递归关系。
令a>=1, b>1 ,a,b均为常量,f(n)为一个函数,T(n)在非负整数集上的递归关系定义:
T(n) = a T(n/b) + f(n), (其中n/b 我们解释为floor or ceiling)
1、如果,则
2、如果,则
,特别的,
时,即
则有
3、如果且,对于
足够大的
和某个的
,都有
,则
。
上面第3项中有一个错误。
以上图片转自http://heaps.cn/?p=99