《算法导论》第四章-第3节_练习（参考答案）

算法导论（第三版）参考答案：练习4.3-1，练习4.3-2，练习4.3-3，练习4.3-4，练习4.3-5，练习4.3-6，练习4.3-7，练习4.3-8，练习4.3-9

Exercise 4.3-1

Show that the solution of $T(n)=T(n−1)+n$ is $O(n^2)$

（证明对某个恰当的常数 $c$ ，$T(n) \le cn^2$ 成立）

$$T(n) \le c(n-1)^2 + n = cn^2 - 2cn + c + n$$
令 $c=1$ ，有
$$n^2 - 2n + 1 + n = n^2 - n + 1 \le n^2 \text{ for } n \ge 1$$

Exercise 4.3-2

Show that the solution of $T(n)=T(⌈n/2⌉)+1$ is $O(\lg{n})$

证明：$T(n) \le c \lg{(n-2)} \le c \lg{n}$

假设有 $T(⌈n/2⌉) \le c\lg{(⌈n/2⌉-2) }$ ，则

$$\begin{align} T(n) &\le c\lg(\lceil n/2 \rceil - 2) + 1 \\ &\le c\lg(n/2 + 1 - 2) + 1 \\ &\le c\lg((n - 2)/2) + 1 \\ &\le c\lg(n - 2) - c\lg2 + 1 \\ &\le c\lg(n - 2) \end{align}$$
只要 $c \ge 1$ ，此式成立。

## Exercise 4.3-3

We saw that the solution of $T(n)=2T(⌊n/2⌋)+n$ is $O(n\lg{n})$. Show that the solution of this recurrence is also $Ω(n\lg{n})$. Conclude that the solution is $Θ(n\lg{n})$.

证明 $T(n) \ge c(n+2)\lg(n+2) \ge cn\lg{n}$ ，则

T(n)≥2c(⌊n/2⌋+2)(lg(⌊n/2⌋+2)+n≥2c(n/2−1+2)(lg(n/2−1+2)+n≥2cn+22lgn+22+n≥c(n+2)lg(n+2)−c(n+2)lg2+n≥c(n+2)lg(n+2)+(1−c)n−2cfor n≥2c