CLRS 4.5用主方法求解递归式

4.5-1
a) $a=2,b=4,f(n)=1$。 又 $n^{\log_ba}=n^{\log_42}=\sqrt n$。由于 $f(n)=O(n^{\log_42 - \varepsilon})$，其中 $\varepsilon=1/2$。应用主定理 1 得：$T(n)=\Theta(\sqrt n)$。

b) $a=2,b=4,f(n)=\sqrt n$。又 $n^{\log_ba}=n^{\log_42}=\sqrt n$。由于 $f(n)=\Theta(n^{\log_42})$。应用主定理 2 得：$T(n)=\Theta(\sqrt n \lg n)$。

c) $a=2,b=4,f(n)=n$。又 $n^{\log_ba}=n^{\log_42}=\sqrt n$。由于 $f(n)=\Omega(n^{\log_42 + \varepsilon})$，其中 $\varepsilon=1/2$。且存在 $1/2\le c\le 1,af(n/b)=2f(n/4)=\frac{n}{2}\le cn$，应用主定理 3 得：$T(n)=\Theta(n)$。

d) $a=2,b=4,f(n)=n^2$。又 $n^{\log_ba}=n^{\log_42}=\sqrt n$。由于 $f(n)=\Omega(n^{\log_42 + \varepsilon})$，其中 $\varepsilon=3/2$。且存在 $1/8\le c\le 1,af(n/b)=2f(n/4)=\frac{n^2}{8}\le cn$，应用主定理 3 得：$T(n)=\Theta(n^2)$。

4.5-2
$n^{\log_ba}=n^{\log_4a},f(n)=n^2$。
1) 若 $a<16$，应用主定理 3 有 $T(n)=\Theta(n^2)$。快于 Strassen 算法。
2)若 $a=16$，应用主定理 2 有 $T(n)=\Theta(n^2\lg n)$，快于 Strassen 算法。
3)若 $a>16$，$\log_4a<\lg 7 \Rightarrow a<\lg{7^2}=49$。此时快于 Strassen 算法。
综上，$a$ 最大为 48。

4.5-3
$a=1,b=2,f(n)=1,n^{\log_ba}=n^{log_21}=1$，应用主定理 2 得到 $T(n)=\lg n$。

4.5-4
$a=4,b=2,f(n)=n^2\lg n,n^{\log_ba}=n^{log_24}=n^2$。由于 $f(n) = n^2\lg{n} \ne O(n^{2-\epsilon}) \ne \Omega(n^{2+\epsilon})$，因此不可以应用主定理。
应用递归树有：

$$\eqalign { T(n) & = \sum_{i=0}^{\lg n-1}n^2(\lg n-i) + \Theta (n^2) \\ & = O(n^2\lg^2 n)}$$

4.5-5
设有 $a = 1 , b = 2, f(n) = n(2-\cos{n}) ,n^{\log_ba}=1$
设存在 $c<1$ 使得 $af(n/b)\le cn$即$f(n/2)=\frac{n}{2}(2-\cos{\frac n2})\le cn(2-\cos n)$，可以有：

$$\frac{n}{2}(2 - \cos\frac{n}{2}) < cn \Rightarrow \frac{1 - cos(n/2)}{2} < c \Rightarrow c \ge 1 - \frac{cos(n/2)}{2}$$
由于 $\min\cos(n/2) = -1$，也就是说 $c \ge 3/2$。又由于假设 $c < 1$，从而矛盾。

注：4.6节带有星号，题目答案省略。