CLRS 4.4用递归树方法求解递归式

4.4-1
递归树如下：

假设 $n$ 是 2 的幂，子问题的规模每一步减少 $1/2$，最终达到边界条件，深度为 $i$ 的结点对应规模为 $\frac{n}{2^i}$，当 $\frac{n}{2^i}=1$ 时即 $i=\lg n$ 时子问题规模为 1，因此树的层数为 $\lg{n}+1$。对于每一层的代价，每层都是上一层的 3 倍，因此深度为 $i$ 的结点数 $3^i$。此层每个结点的代价 $\frac{n}{2^i}$，因此第 $i$ 层结点总代价 $n·(\frac{3}{2})^i$，树的最底层有 $3^{\lg n}=n^{\lg 3}$，每个结点代价 $T(1)$，所以有：

$$\begin{align} T(n) &= \sum_{i=0}^{\lg{n}-1}\Big(\frac{3}{2}\Big)^i n + \Theta(n^{\lg3}) \\ &= n\frac{(3/2)^{\lg{n}} - 1}{(3/2) - 1} + \Theta(n^{\lg3}) \\ &= n\Theta(n^{\lg3 - 1}) + \Theta(n^{\lg3}) \\ &= \Theta(n^{\lg3}) \end{align}$$
下面用代入法验证：猜测 $T(n) \le cn^{\lg 3}-dn$：
$$\eqalign {T(n) &\le 3c (\frac n2)^{\lg 3} -\frac32dn +n \\ & = cn^{\lg3} -dn - (\frac12d- 1)n \\ &\le cn^{\lg 3}-dn & (c\ge 0, d\ge \frac 12)}$$

4.4-2
以下几个题目和 4.4-1 类似分析，在此不画出递归树。
假设 $n$ 是 2 的幂，子问题的规模每一步减少 $1/2$，最终达到边界条件，深度为 $i$ 的结点对应规模为 $\frac{n}{2^i}$，当 n2i