算法导论第三版习题4.3

4.3-1

假设对$\forall m\le n_0,\exists c\ge0,$使得：

$$\begin{align} T(m) \le cm^2 \end{align}$$
则有：
$$\begin{align} T(n-1) \le c(n-1)^2 \end{align}$$
带入迭代式可得：
$$\begin{align} T(n) & \le c(n-1)^2 + n \\ & = cn^2 - 2cn + c + n\\ \end{align}$$
现在我们令 $-2cn + c + n \le 0$，可得：
$$\begin{align} c \ge \frac{n}{2n + 1} \end{align}$$
故对于 $\forall n \gt 0$, 可令 $c = 1$，使得
$$\begin{align} T(n) & \le cn^2 - 2cn + c + n \\ & \le n^2\\ & = cn^2 \end{align}$$
故 $T(n) = O(n^2)$

4.3-2

假设对于$\forall m \lt n, \exists c \gt 0$，使得：

$$\begin{align} T(n) \le c lg (n) \end{align}$$
则可以假设，对于 $\forall m \lt n, \exists c > 0$，使得
$$\begin{align} T(\lceil n/2 \rceil) \le c lg (\lceil n/2 \rceil) \end{align}$$
带入迭代式可得：
$$\begin{align} T(n) \le c lg(\lceil n/2 \rceil) + 1 \end{align}$$
当 $n \ge 2$时， $1 \le \lceil n/2 \rceil \le \frac{2}{3}n$,故有：
$$\begin{align} T(n) & \le c lg \frac{2}{3}n + 1\\ & = c lgn + c lg \frac {2}{3} + 1\\ \end{align}$$
则当 $c \ge \frac{1}{lg\frac{2}{3}}$时， $T(n) \le c lgn.$
故
$$\begin{align} T(n) = O(lgn) \end{align}$$

4.3-3

假设对于$\forall m \lt n, \exists c \gt 0, 使得： T(m) \ge cmlgm$
则有：

$$\begin{align} T(\lfloor n/2 \rfloor) \ge c\lfloor n/2 \rfloor lg\lfloor n/2 \rfloor \end{align}$$
带入迭代式可得：
$$\begin{align} T(n) & \ge 2c\lfloor n/2 \rfloor lg\lfloor n/2 \rfloor + n \\ & \ge 2c\cdot\frac{n}{3}lg\frac{n}{3} + n\\ & = \frac{2}{3}cnlgn - \frac{2}{3}cnlg3 + n\ \end{align}$$
则对 $\forall 0 \lt c \lt \frac{3}{2lg3}$,
$$\begin{align} T(n) \ge \frac{2}{3}cnlgn \end{align}$$
故 $T(n) = \Omega(nlgn)$
故 $T(n) = \Theta(nlgn)$

4.3-4

将假设换为$T(n) \le cnlgn + d, 其中d\ge 0$即可

4.3-5

$T(n) =$

$$\begin{cases} \Theta(1), & 若n=1 \\ T(\lceil n/2\rceil)+T(\lfloor n/2 \rfloor) + \Theta(n),&若n>1 \\ \end{cases}$$
现在需证 $\forall m \lt n, \exists c_1, c_2 \gt 0$,使得：
$$\begin{align} c_2m lg m \le T(m) \le c_1m lg n \end{align}$$
带入迭代式可得：
$$\begin{align} T(n) & \le c_1\lceil n/2\rceil lg\lceil n/2\rceil + c_1\lfloor n/2\rfloor lg\lfloor n/2 \rfloor + \Theta(n)\\ & \le c_1 \cdot\frac{2}{3}n lg \frac{2}{3}n + c_1\cdot\frac{2}{3}n lg \frac{2}{3}n + \Theta(n)\\ & = c_1\cdot \frac{4}{3}n lg\frac{2}{3}n + \Theta(n)\\ & = \frac{4}{3}c_1nlgn + c_1\frac{4}{3}nlg\frac{2}{3} + \Theta(n)\\ & = \frac{4}{3}c_1nlgn \end{align}$$

$$\begin{align} T(n) & \ge c_2\lceil n/2\rceil lg\lceil n/2\rceil + c_2\lfloor n/2\rfloor lg\lfloor n/2 \rfloor + \Theta(n)\\ & \ge c_2 \cdot\frac{1}{3}n lg \frac{1}{3}n + c_2\cdot\frac{1}{3}n lg \frac{1}{3}n + \Theta(n)\\ & = c_2\cdot \frac{2}{3}n lg\frac{1}{3}n + \Theta(n)\\ & = \frac{2}{3}c_2nlgn - c_2\frac{2}{3}nlg3 + \Theta(n)\\ & = \frac{2}{3}c_2nlgn \end{align}$$
故 $T(n) = O(n),且T(n) = \Omega(n)$
故 $T(n) = \Theta(n)$

4.3-6

假设$\forall m \lt n, \exists c \gt 0$,使得$T(m) \le cmlgm$
则

$$\begin{align} T(\lfloor n/2\rfloor) \le c(\lfloor n/2 \rfloor + 17) lg(\lfloor n/2\rfloor + 17) \end{align}$$
则
$$\begin{align} T(n) & \le 2c(\lfloor n/2\rfloor + 17)lg(\lfloor n/2 \rfloor + 17) + n\\ & \le 2c(n/2 + 17)lg(n/2 + 17) + n\\ \end{align}$$
当 $n\ge102$时
$$\begin{align} n/2+ 17 \ge \frac{2}{3}n \end{align}$$
则
$$\begin{align} T(n) & \le 2c\cdot\frac{2}{3}nlg{2}{3}n + n\\ &=\frac{4}{3}cnlg(n) + \frac{4}{3}cnlg\frac{2}{3} + n \end{align}$$
则当 $c \ge 10$时
$$\begin{align} T(n) \le \frac{4}{3}cnlgn \end{align}$$

4.3-7

将$T(n) \le cn^{log_3 4}$代入可得：

$$\begin{align} T(n) \le 4c(\frac{n}{3})^{log_3 4} + n \end{align}$$
无法得到 $T(n) \le cn^{log_3 4}$

设$\forall m \lt n, \exists c \gt 0$,使得

$$\begin{align} T(m) \le cm^{log_3 4} - dm \end{align}$$
则 $T(n/3) \le c(\frac{n}{3})^{log_3 4}-d\cdot\frac{n}{3}$
代入迭代式可得
$$\begin{align} T(m) & \le 4c(\frac{n}{3})^{log_3 4} - \frac{4}{3}dn + n\\ & \le 4cn^{log_3 4) - \frac{3}4}dn +n\\ & = 4cn^{log_3 4} - (\frac{4}{3}d - 1)n \end{align}$$
则当 $d\gt 3$时 $T(n)\le4cn^{log_3 4} - dn$
由于 $log_3 4 \gt 1$,故 $T(n) = \Theta (n^{log_3 4})$

4.3-8

同上可证

4.3-9

令$m=logn$,则$n = 2^m$
代入原递归式中：

$$\begin{align} T(2^m)=3T(2^{m/2})+m \end{align}$$
令 $S(m) = T(2^m)$,则原式转化为
$$\begin{align} S(m)=3S(m/2)+m \tag1 \end{align}$$
现假设 $S(m)=\Theta(mlgm)$，不妨设 $\forall m \lt n,\exists c_1, c_2 \gt0$,使得
$$\begin{align} c_2mlgm\le S(m)\le c_1mlgm \end{align}$$
则 $c_2\frac{m}{2} lg\frac{m}{2} \le S(\frac{m}{2})\le c_1\frac{m}{2}lg \frac{m}{2}$
代入 $(1)$式中，有
$$\begin{align} \frac{3}{2}c_2mlgm - \frac{3}{2}c_2mlg2 +n\le \frac{3}{2}c_2mlg\frac{m}{2} + m \le S(m) \le \frac{3}{2}c_1mlg\frac{m}{2} + m\le\frac{3}{2}c_1mlgm-\frac{3}{2}c_1mlg2+m \end{align}$$
则当 $c_1\ge\frac{2}{3log2},c_2\le\frac{2}3lg2$时，
$$\begin{align} \frac{3}{2}c_2mlgm\le S(m) \le \frac{3}{2}c_1mlgm \end{align}$$
即 $S(m)=\Theta(mlgm)$
将 $m=logn,S(m)=T(2^m)$代入上式：
$$\begin{align} T(n)=T(2^m)=\Theta(logn\cdot loglogn) \end{align}$$