第四章 分治策略 4.5 用主方法求解递归式

4.5 用主方法求解递归式

一.

1.主定理

  令 $a\ge 1$ 和 $b>1$ 是常数， $f(n)$ 是一个函数， $T(n)$ 是定义在非负整数上的递归式： $$T(n)=aT(\frac{n}{b})+f(n)$$  其中我们将 $n/b$ 解释为 $\lfloor n/b\rfloor$ 或 $\lceil n/b\rceil$ 。那么 $T(n)$ 有如下渐近线：
  1. 若对某个常数 $ϵ>0$ 有 $f(n)=O(n^{{\log }_{b}a-ϵ})$ ，则 $T(n)=\Theta (n^{{\log }_{b}a})$ 。
  2. 若 $f(n)=\Theta (n^{{\log }_{b}a})$ ，则 $T(n)=\Theta (n^{{\log }_{a}b}\lg n)$ 。
  3. 若对某个常数 $ϵ>0$ 有 $f(n)=\Omega (n^{{\log }_{b}a+ϵ})$ ，且对某个常数 $c<1$ 和所有足够大的 $n$ 有 $af(n/b)\le cf(n)$ ，则 $T($