算法导论第三版习题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$
则有：