第四章 分治策略 4.4 用递归树方法求解递归式

4.4 用递归数方法求解递归式

一.

1.

  在递归树中，每个结点表示一个单一子问题的代价，子问题对应某次递归函数调用。我们将树中每层中的代价求和，得到每层代价，然后将所有层的代价求和，得到所有层次的递归调用的总代价。
  递归树最适合用来生成好的猜测，然后即可用代入法来验证猜测是都正确。当使用递归树来生成好的猜测时，常常需要忍受一点儿“不精确”，因为稍后才会验证猜测是否正确。如果在画递归树和代价求和时非常仔细，就可以用递归树直接证明解是否正确。

2.

  以递归式 $T(n)=3T(\lfloor n/4\rfloor )+c{n}^2$ 为例，如图所示：

二.

4.4-1

  对递归式 $T(n)=3T(\lfloor n/2\rfloor )+n$ ，利用递归树确定一个好的渐近上界，用代入法进行验证。

  解：图略。递归树的层数为： $\lg n+1$ ，
    第 $i$ 层的代价符合通式：$(3/2{)}^{i-1}n$ ，
    叶子的树目为 $n^{\lg 3}$ ，
    猜测渐近上界为 $O(n^{\lg 3})$ ，下面使用代入法证明：
    当 $n=1$，$T(1)=1\le 1^{\lg 3}$ 。
    假设当 $n<m$ 时，$T(n)\le c{n}^{\lg 3}-dn$ ，那么当 $n=m$ 时， $$\begin{array}{rlr}T(m)& =3T(\lfloor \frac{m}{2}\rfloor )+m& \\ & \le 3c\lfloor \frac{m}{2}{\rfloor }^{\lg 3}-3d\lfloor \frac{m}{2}\rfloor +m& \\ & \le 3c(\frac{m}{2}{)}^{\lg 3}-\frac{3dm}{2}+m& \\ & =c{m}^{\lg 3}+(1-\frac{3d}{2})m& \\ & \le c{m}^{\lg 3}-dm& \text{取d≥2}\end{array}$$    综上，渐近上界为 $O(n^{\lg 3})$ 。

4.4-2

  对递归式 $T(n)=T(n/2)+n^2$ ，利用递归树确定一个好的渐近上界，用代入法进行验证。

  解：图略。递归树的层数为： $\lg n+1$ ，
    第 $i$ 层的代价符合通式：$(1/4{)}^{i-1}{n}^2$ ，
    叶子的树目为 $1$ ，
    猜测渐近上界为 $O(n^2)$ ，下面使用代入法证明：
    当 $n=1$，$T(1)=1\le 1^2$ 。
    假设当 $n<m$ 时，$T(n)\le c{n}^2$ ，那么当 $n=m$ 时， $$\begin{array}{rlr}T(m)& =T(\frac{m}{2})+m^2& \\ & \le c(\frac{m}{2}{)}^2+m^2& \\ & =(\frac{c}{4}+1)m^2& \\ & \le c{m}^2& \text{取c ≥ 4/3}\end{array}$$    综上，渐近上界为 $O(n^2)$ 。

4.4-3

  对递归式 $T(n)=4T(n/2+2)+n$ ，利用递归树确定一个好的渐近上界，用代入法进行验证。

  解：图略。递归树的层数为： $\lg n+1$ ，
    第 $i$ 层的代价估计后符合通式：$2^{i-1}(n+2^i)$ ，
    叶子的树目为 $n^2$ ，
    猜测渐近上界为 $O(n^2)$ ，下面使用代入法证明：
    当 $n=1$，$T(1)=1\le 1^2$ 。
    假设当 $n<m$ 时，$T(n)\le c{n}^2$ ，那么当 $n=m$ 时， $$\begin{array}{rlr}T(m)& =T(\frac{m}{2}+2)+m& \\ & \le c(\frac{m}{2}+2{)}^2+m& \\ & \le c{m}^2& \text{取c ≥ 0}\end{array}$$    综上，渐近上界为 $O(n^2)$ 。

4.4-4

  对递归式 $T(n)=T(n-1)+1$ ，利用递归树确定一个好的渐近上界，用代入法进行验证。

  解：图略。递归树的层数为： $n$ ，
    第 $i$ 层的代价估计后符合通式：$1$ ，
    叶子的树目为 $1$ ，
    猜测渐近上界为 $O(n)$ ，下面使用代入法证明：
    当 $n=1$，$T(1)=1\le 1$ 。
    假设当 $n<m$ 时，$T(n)\le cn$ ，那么当 $n=m$ 时， $$\begin{array}{rlr}T(m)& =T(m-1)+1& \\ & \le c(m-1)+1& \\ & \le cm& \text{取c ≥ 1}\end{array}$$    综上，渐近上界为 $O(n)$ 。

4.4-5

  对递归式 $T(n)=T(n-1)+T(n/2)+n$ ，利用递归树确定一个好的渐近上界，用代入法进行验证。

  解：图略。递归树不是完全树。递归树的层数为： $n$ ，
    猜测渐近上界为 $O(2^n)$ ，渐近下界为 $\Omega (n^2)$ ，下面使用代入法证明：
    当 $n=1$，$1^2\le T(1)=1\le 2^1$ 。
    假设当 $n<m$ 时，$T(n)\le c{2}^n-4n$ ，那么当 $n=m$ 时， $$\begin{array}{rlr}T(m)& =T(m-1)+T(\frac{m}{2})+m& \\ & \le c{2}^{m-1}-4(m-1)+c{2}^{\frac{m}{2}}-2m+m& \\ & \le c{2}^m-4m& \text{取m ≥ 2}\end{array}$$    故渐近上界为 $O(2^n)$ 。
    假设当 $n<m$ 时，$T(n)\ge c{n}^2$ ，那么当 $n=m$ 时， $$\begin{array}{rlr}T(m)& =T(m-1)+T(\frac{m}{2})+m& \\ & \ge c(m-1{)}^2+c\frac{m^2}{4}+m& \\ & \le c{m}^2& \text{取c ≤ 1/2}\end{array}$$    故渐近上界为 $\Omega (n^2)$ 。

4.4-6

  对递归式 $T(n)=T(n/3)+T(2n/3)+cn$ ，利用递归树论证其解为 $\Omega (n\lg n)$ ，其中 $c$ 为常数。

  解：图略。由递归树可知道路径长 ${\log }_{3}n+1$ 。因此算法的成本 $$cn({\log }_{3}n+1)\ge cn{\log }_{3}n\ge cn\lg n$$ 。因此其解为 $\Omega (n\lg n)$ 。

4.4-7

  对递归式 $T(n)=4T(\lfloor n/2\rfloor )+cn$ （ $c$ 为常数），画出递归树，并给出其解的一个渐近紧确界。

  解：图略。递归树的层数为： $\lg n+1$ ，
    第 $i$ 层的代价符合通式：$2^{i-1}cn$ ，
    叶子的树目为 $n^2$ ，
    猜测渐近紧确界为 $\Theta (n^2)$ ，下面使用代入法证明：
    当 $n=1$，$1^2\le T(1)=1\le 1^2$ 。
    假设当 $n<m$ 时，$T(n)\le d{n}^2-cn$ ，那么当 $n=m$ 时， $$\begin{array}{rl}T(m)& =4T(\lfloor \frac{m}{2}\rfloor )+cm\\ & \le d{m}^2-cm\end{array}$$    故渐近上界为 $O(n^2)$ 。
    假设当 $n<m$ 时，$T(n)\ge d{n}^2-cn$ ，那么当 $n=m$ 时， $$\begin{array}{rl}T(m)& =4T(\lfloor \frac{m}{2}\rfloor )+cm\\ & \ge d{m}^2-cm\end{array}$$    故渐近下界为 $\Omega (n^2)$ 。
    故渐近紧确界为 $\Theta (n^2)$ 。

4.4-8

  对递归式 $T(n)=T(n-a)+T(a)+cn$ ，利用递归树给出一个渐近紧确解，其中 $a\ge 1$ 和 $c>0$ 是常数。

  解：图略。递归树的层数为： $n/a$ ，
    第 $i$ 层的代价符合通式：$cn$ ，
    叶子的树目为 $n/a$ ，
    猜测渐近紧确界为 $\Theta (n^2)$ ，下面使用代入法证明：
    当 $n=1$，$1^2\le T(1)=1\le 1^2$ 。
    假设当 $n<m$ 时，$T(n)\le d{n}^2$ ，那么当 $n=m$ 时， $$\begin{array}{rlr}T(m)& =T(m-a)+T(a)+cm& \\ & \le d(m-a{)}^2+d{a}^2+cm& \\ & \le d{m}^2& \text{取a>1/2,n>2a}\end{array}$$    故渐近上界为 $O(n^2)$ 。
    假设当 $n<m$ 时，$T(n)\ge d{n}^2$ ，那么当 $n=m$ 时， $$\begin{array}{rlr}T(m)& =T(m-a)+T(a)+cm& \\ & \ge d(m-a{)}^2+d{a}^2+cm& \\ & \ge d{m}^2& \text{取a<1/2,n>2a}\end{array}$$    故渐近下界为 $\Omega (n^2)$ 。
    故渐近紧确界为 $\Theta (n^2)$ 。

4.4-9

  对递归式 $T(n)=T(\alpha n)+T((1-\alpha )n)+cn$ ，利用递归树给出一个渐近紧确解，其中 $0<\alpha <1$ 和 $c>0$ 是常数。

  解：图略。由对称性可假设 $\alpha \in (0,1/2)$ ，递归树的层数为： ${\log }_{1/a}n$ ，
    第 $i$ 层的代价符合通式：$cn$ ，
    猜测渐近紧确界为 $\Theta (n\lg n)$ ，下面使用代入法证明：
    假设当 $n<m$ 时，$T(n)\le dn\lg n$ ，那么当 $n=m$ 时， $$\begin{array}{rlr}T(m)& =T(\alpha m)+T((1-\alpha )m)+cm& \\ & \le d\alpha m\lg (\alpha m)+d(1-\alpha )m\lg ((1-\alpha )m)+cm& \\ & =dm\lg m+dm(\alpha \lg \alpha +(1-\alpha )\lg (1-\alpha ))+cm& \\ & \le dm\lg m& \text{取d>-c/(αlgα+(1-α)lg(1-α))}\end{array}$$    故渐近上界为 $O(n\lg n)$ 。
    假设当 $n<m$ 时，$T(n)\ge dn\lg n$ ，那么当 $n=m$ 时， $$\begin{array}{rlr}T(m)& =T(\alpha m)+T((1-\alpha )m)+cm& \\ & \ge d\alpha m\lg (\alpha m)+d(1-\alpha )m\lg ((1-\alpha )m)+cm& \\ & =dm\lg m+dm(\alpha \lg \alpha +(1-\alpha )\lg (1-\alpha ))+cm& \\ & \ge dm\lg m& \text{取0<d<-c/(αlgα+(1-α)lg(1-α))}\end{array}$$    故渐近下界为 $\Omega (n\lg n)$ 。
    故渐近紧确界为 $\Theta (n\lg n)$ 。