第四章 分治策略（3）

求解递归式

代入法

步骤
1、猜测解的形式
2、用数学归纳法求出解中的常数，并证明解是正确的

验证上界和下界

递归树方法

用来产生好的猜测

主定理法

T(n) = aT(n/b)+f(n)
a>=1,b>1,f(n)是一个函数O(n^m)。
1、 log_ba>m, T(n) = Θ(n^log_ba)
2、log_ba=m, T(n) = Θ(n^log_ba*lgn)
3、log_ba<m, 对于某个常数c<1，和所有足够大的n有af(n/b)<=cf(n), 则T(n) =Θ(f(n))