第四章 分治策略 4.3 用代入法求解递归式

4.3 用代入法求解递归式

一.

1. 代入法

1.1

  代入法 求解递归式分为两步：
  1. 猜测解的形式。
  2. 用数学归纳法求出解中的常数，并证明解是正确的。

1.2

  数学归纳法要求我们证明解在边界条件下也成立。为证明这一点，我们通常证明对于归纳证明，边界条件适合作为基本情况。

1.3 微妙的细节

  才出了递归式解的渐近界，但在归纳证明时失败。问题常常在于归纳假设不够强，无法证出准确的界。当遇到这种障碍时，如果修改猜测，将他减去一个低阶的项，数学证明常常能顺利进行。
  当利用归纳法证明一个上界时，实际上证明一个更弱的上界可能会更困难一些。因为为了证明一个更弱的上界，我们在归纳证明中也必须使用同样更弱的界。

1.4 避免陷阱

  使用渐进符号很容易出错。需要显式地证明出与归纳假设严格一致的形式。

1.5 改变变量

  使用换元法，一个小的代数运算可以将一个未知的递归式改变成你所熟悉的形式。

二.

4.3-1

  证明：$$T(n)=T(n-1)+n$$      的解为 $O(n^2)$。

  证明：当 $n=1$ 时，$T(1)\le 1/2\ast 1^2+1/2\ast 1=1^2=1$
     假设当 $n<m$ 时，存在正常数 $c>\frac{1}{2}$，$T(n)\le c{n}^2+cn$
     当 $n=m$ 时，$$\begin{array}{rl}T(m)& =T(m-1)+m\\ & \le c(m-1{)}^2+c(m-1)+m\\ & =c{m}^2-(c-1)m\\ & \le c{m}^2+cm\end{array}$$
     综上所述，解为 $O(n^2)$。

4.3-2

  证明：$$T(n)=T(\lceil \frac{n}{2}\rceil )+1$$     的解为 $O(\lg n)$。

  证明：当 $n=2$ 时，$T(2)=2\le 2\ast \lg 2=3$
     假设当 $n<m$ 时，存在正常数 $c\ge 2$，$T(n)\le c\lg n$
     当 $n=m$ 时，$$\begin{array}{rl}T(m)& =T(\lceil \frac{m}{2}\rceil )+1\\ & \le c\lg (\lceil \frac{m}{2}\rceil )+1\\ & \le c\lg (\frac{m}{\sqrt{2}})+1\\ & \le c\lg m+1-\frac{c}{2}\\ & \le c\lg m\end{array}$$
     综上所述，解为 $O(\lg n)$。

4.3-3

  我们看到 $T(n)=2T(\lceil n/2\rceil )+n$ 的解为 $O(n\lg n)$。证明 $\Omega (n\lg n)$ 也是这个递归式的解。从而得出结论：解为 $\Theta (n\lg n)$

  证明：当 $n=2$ 时，$T(2)=3\ge 2\ast \lg 2=3$
     假设当 $n<m$ 时，存在正常数 $c\ge 1$，$T(n)\ge cn\lg n+(2-2c)n$
     当 $n=m$ 时，$$\begin{array}{rl}T(m)& =2T(\lceil \frac{m}{2}\rceil )+m\\ & \ge 2c\lceil \frac{m}{2}\rceil \lg (\lceil \frac{m}{2}\rceil )+d\lceil \frac{m}{2}\rceil +m\\ & \ge cm\lg (\frac{m}{2})+(1-c)m+m\\ & =cm\lg m+(2-2c)m\end{array}$$
     综上所述，解为 $\Omega (n\lg n)$，又由于 $O(n\lg n)$ 也是它的解，故而解为 $\Theta (n\lg n)$。

4.3-4

  证明：通过做出不同的归纳假设，我们不必调整归纳证明中的边界条件，即可克服递归式 (4.19) 中边界条件 $T(1)=1$ 带来的困难。$$T(n)=2T(\lfloor \frac{n}{2}\rfloor )+n(3.19)$$

  证明：当 $n=1$ 时，$T(1)=1\le 1\ast \lg 1+1=1$
     假设当 $n<m$ 时，存在正常数 $c>1$，$T(n)\le cn\lg n+n$
     当 $n=m$ 时，$$\begin{array}{rl}T(m)& =2T(\lfloor \frac{m}{2}\rfloor )+m\\ & \le 2c\lfloor \frac{m}{2}\rfloor \lg (\lfloor \frac{m}{2}\rfloor )+2m\\ & \le cm\lg m+(2-c)m\\ & \le cm\lg m+m\end{array}$$     综上所述，解为 $O(n\lg n)$

4.3-5

  证明：归并排序的“严格”递归式 (4.3) 的解为 $\Theta (n\lg n)$。$$T(n)=\{\begin{array}{ll}\Theta (1),& \text{若n=1}\\ T(\lceil \frac{n}{2}\rceil )+T(\lfloor \frac{n}{2}\rfloor )+\Theta (n)& \text{若n>1}\end{array}$$

  证明：当 $n=1$ 时，$T(1)\le 1\lg 1+1=1$且 $T(1)\ge 1\lg 1-1$
     由于存在正常数 $c_3,c_4$，$c_{3}n\le \Theta (n)\le c_{4}n$
     那么假设当 $n<m$ 时，存在正常数 $c_1>c_3,c_2>c_4$，对于$n>\max (2c_2,2c_1)$，$c_1(n+2)\lg (n+2)\le T(n)\le c_2(n-2)\lg (n-2)$，于是
     当 $n=m$ 时，$$\begin{array}{rl}T(m)& =T(\lceil \frac{m}{2}\rceil )+T(\lfloor \frac{m}{2}\rfloor )+\Theta (m)\\ & \le c_2(\lceil \frac{m}{2}\rceil -2)\lg (\lceil \frac{m}{2}\rceil -2)+c_2(\frac{m}{2}-2)\lg (\frac{m}{2}-2)+c_{4}m\\ & \le c_2(\frac{m}{2}+1-2)\lg (\frac{m}{2}+1-2)+c_2(\frac{m}{2}-2)\lg (\frac{m}{2}-2)+c_{4}m\\ & =c_2(\frac{m}{2}-1)\lg (\frac{m}{2}-1)+c_2(\frac{m}{2}-2)\lg (\frac{m}{2}-2)+c_{4}m\\ & \le 2c_2\frac{m-2}{2}\lg \frac{m-2}{2}+c_{4}m\\ & \le c_2(m-2)\lg \frac{m-2}{2}+c_{4}m-c_2(m-2)\\ & \le c_2(m-2)\lg (m-2)\end{array}$$$$\begin{array}{rl}T(m)& =T(\lceil \frac{m}{2}\rceil )+T(\lfloor \frac{m}{2}\rfloor )+\Theta (m)\\ & \ge c_1(\lceil \frac{m}{2}\rceil +2)\lg (\lceil \frac{m}{2}\rceil +2)+c_1(\lfloor \frac{m}{2}\rfloor +2)\lg (\lfloor \frac{m}{2}\rfloor +2)+c_{3}m\\ & \ge c_1(\frac{m}{2}+2)\lg (\frac{m}{2}+2)+c_1(\frac{m}{2}-1+2)\lg (\frac{m}{2}-1+2)+c_{3}m\\ & =c_1(\frac{m}{2}+2)\lg (\frac{m}{2}+2)+c_1(\frac{m}{2}+1)\lg (\frac{m}{2}+1)+c_{3}m\\ & \ge 2c_1\frac{m+2}{2}\lg \frac{m+2}{2}+c_{3}m\\ & \ge c_1(m+2)\lg (m+2)+c_{3}m-c_1(m+2)\\ & \ge c_1(m+2)\lg (m+2)\end{array}$$     综上所述，解为 $\Theta (n\lg n)$

4.3-6

  证明： $$T(n)=2T(\lfloor \frac{n}{2}\rfloor +17)+n$$     的解为 $O(n\lg n)$

  证明：当 $n=34$ 时，$T(34)$ 符合条件 。对取定的 $c>1$，假定 $T(n)\le c(n-34)\lg (n-34)$ 对 $n<m$ 成立，则 $T(m)=T(\lfloor m/2\rfloor +17)+m\le 2c(\lfloor m/2\rfloor -17)\lg (\lfloor m/2\rfloor -17)+m\le c(m-34)\lg (m-34)$，从而解为 $O(n\lg n)$

4.3-7

  使用 4.5 节中的主方法，可以证明 $T(n)=4T(n/3)+n$ 的解为 $T(n)=\Theta (n^{{\log }_{3}4})$。说明基于假设 $T(n)\le c{n}^{{\log }_{3}4}$ 的代入法不能证明这一结论。然后说明如何通过减去一个低阶项完成代入法证明。

  解：(1).对取定的 $c>0$，假定 $T(n)\le c{n}^{{\log }_{3}4}$ 对 $n<m$ 成立，则 $T(m)=4T(n/3)+n\le 4c(n/3{)}^{{\log }_{3}4}+n=c{n}^{{\log }_{3}4}+n$，这意味着可能不是所有的 $T(n)\le c{n}^{{\log }_{3}4}$
    (2).对取定的 $c>4$，$T(1)=1<c-3$。假定 $T(n)\le c{n}^{{\log }_{3}4}-3n$ 对 $n<m$ 成立，则 $T(m)=4T(n/3)+n\le c{n}^{{\log }_{3}4}-4n+n\le c{n}^2-3n$，从而解为 $O(n^{{\log }_{3}4})$

4.3-8

  使用 4.5 节中的主方法，可以证明 $T(n)=4T(n/2)+n$ 的解为 $T(n)=\Theta (n^2)$ 。说明基于假设 $T(n)\le c{n}^2$ 的代入法不能证明这一结论。然后说明如何通过减去一个低阶项完成代入法证明。

  解：(1).对取定的 $c>0$，假定 $T(n)\le c{n}^2$ 对 $n<m$ 成立，则 $T(m)=4T(n/2)+n\le (c+1)n^2$，这意味着可能不是所有的 $T(n)\le c{n}^2$
    (2).对取定的 $c>1$，$T(1)=1<c-1$。 假定 $T(n)\le c{n}^2-n$ 对 $n<m$ 成立，则 $T(m)=4T(n/2)+n\le c{n}^2-2n+n\le c{n}^2-n$，从而解为 $O(n^2)$

4.3-9

  利用改变变量的方法求解递归式 $$T(n)=3T(\sqrt{n})+\log n$$  你的解应该是渐近紧确的。不必担心数值是否是整数。

  解：令 $m=\log n$，则原式转换为 $T(2^m)=3T(2^{m-1})+m$，令 $S(m)=T(2^m)$，则 $S(m)=3S(m/2)+m$ ，此式说明复杂度为 $\Theta (m^{\lg 3})$，从而解为 $\Theta ({\lg }^{\lg 3}n)$