4.5 用主方法求解递归式
一.
1.主定理
令 a ≥ 1 a≥1 a≥1 和 b > 1 b>1 b>1 是常数, f ( n ) f(n) f(n) 是一个函数, T ( n ) T(n) T(n) 是定义在非负整数上的递归式: T ( n ) = a T ( n b ) + f ( n ) T(n)=aT(\frac{n}{b})+f(n) T(n)=aT(bn)+f(n) 其中我们将 n / b n/b n/b 解释为 ⌊ n / b ⌋ \lfloor n/b\rfloor ⌊n/b⌋ 或 ⌈ n / b ⌉ \lceil n/b\rceil ⌈n/b⌉ 。那么 T ( n ) T(n) T(n) 有如下渐近线:
1. 若对某个常数 ϵ > 0 \epsilon>0 ϵ>0 有 f ( n ) = O ( n log b a − ϵ ) f(n)=O(n^{\log_{b}a-\epsilon}) f(n)=O(nlogba−ϵ) ,则 T ( n ) = Θ ( n log b a ) T(n)=\Theta(n^{\log_{b}a}) T(n)=Θ(nlogba) 。
2. 若 f ( n ) = Θ ( n log b a ) f(n)=\Theta(n^{\log_{b}a}) f(n)=Θ(nlogba) ,则 T ( n ) = Θ ( n log a b lg n ) T(n)=\Theta(n^{\log_{a}b}\lg n) T(n)=Θ(nlogablgn) 。
3. 若对某个常数 ϵ > 0 \epsilon>0 ϵ>0 有 f ( n ) = Ω ( n log b a + ϵ ) f(n)=\Omega(n^{\log_{b}a+\epsilon}) f(n)=Ω(nlogba+ϵ) ,且对某个常数 c < 1 c<1 c<1 和所有足够大的 n n n 有 a f ( n / b ) ≤ c f ( n ) af(n/b)≤cf(n) af(n/b)≤cf(n) ,则 T ( n ) = Θ ( f ( n ) ) T(n)=\Theta(f(n)) T(