CLRS 4.3用代入法求解递归式

4.3-1
猜测 $\exists c>0$ 有 $T(n)\leq cn^2$。

$T(n)=T(n-1)+n\leq c(n-1)^2+n=cn^2+(1-2c)n+c$，选 $c=1$ 有：

$$T(n)\leq n^2-n+1\leq n^2 \quad \text{ for } n \ge 1$$

4.3-2
猜测 $T(n)\leq c\lg{(n-d)}$：

$${ T(n) \leq c \lg {(\lceil \frac {n}{2} \rceil - d)} + 1 \leq c\lg {(\frac {n}{2} -d+1)}+1= c\lg {(n-2d+2)}-c+1\leq c \lg {(n-d)}}$$
其中 $c \ge 1, d \ge 2$。

4.3-3
上界证明书上有，在此省略。
下界证明：
猜测 $T(n) \ge c(n+2)\lg(n+2)$：

$$\begin{aligned} T(n) &\ge 2c(\lfloor n/2 \rfloor + 2)(\lg(\lfloor n/2 \rfloor + 2) + n \\ &\ge 2c(n/2 - 1 + 2)(\lg(n/2 - 1 + 2) + n \\ &= 2c\frac{n+2}{2}\lg\frac{n+2}{2} + n \\ &=c(n+2)\lg(n+2) - c(n+2)\lg2 + n \\ &=c(n+2)\lg(n+2) + (1 - c)n - 2c \\ &\ge c(n+2)\lg(n+2) \end{aligned}$$
其中 n≥2