第四章 分治策略 4.5 用主方法求解递归式

4.5 用主方法求解递归式

一.

1.主定理

  令 $a\ge 1$ 和 $b>1$ 是常数， $f(n)$ 是一个函数， $T(n)$ 是定义在非负整数上的递归式： $$T(n)=aT(\frac{n}{b})+f(n)$$  其中我们将 $n/b$ 解释为 $\lfloor n/b\rfloor$ 或 $\lceil n/b\rceil$ 。那么 $T(n)$ 有如下渐近线：
  1. 若对某个常数 $ϵ>0$ 有 $f(n)=O(n^{{\log }_{b}a-ϵ})$ ，则 $T(n)=\Theta (n^{{\log }_{b}a})$ 。
  2. 若 $f(n)=\Theta (n^{{\log }_{b}a})$ ，则 $T(n)=\Theta (n^{{\log }_{a}b}\lg n)$ 。
  3. 若对某个常数 $ϵ>0$ 有 $f(n)=\Omega (n^{{\log }_{b}a+ϵ})$ ，且对某个常数 $c<1$ 和所有足够大的 $n$ 有 $af(n/b)\le cf(n)$ ，则 $T(n)=\Theta (f(n))$ 。

二.

4.5-1

  对下列递归式，使用主方法求出渐近紧确界。
  a. $T(n)=2T(n/4)+1$
  b. $T(n)=2T(n/4)+\sqrt{n}$
  c. $T(n)=2T(n/4)+n$
  d. $T(n)=2T(n/4)+n^2$

  解：四个式子都需要与 $n^{{\log }_{4}1/2}=\sqrt{n}$ 做出比较。
    a. 由于 $1=O(n^{1/2-ϵ})$ ，其中 $0<ϵ\le 1/2$ ，故而 $T(n)=\Theta (\sqrt{n})$ 。
    b. 由于 $1=\Theta (n^{1/2})$ ，故而 $T(n)=\Theta (\sqrt{n}\lg n)$ 。
    c. 由于 $1=\Omega (n^{1/2+ϵ})$ ，其中 $0<ϵ\le 1/2$ ，故而 $T(n)=\Theta (n)$ 。
    d. 由于 $1=O(n^{1/2-ϵ})$ ，其中 $0<ϵ\le 2$ ，故而 $T(n)=\Theta (n^2)$ 。

4.5-2

   Caesar 教授想设计一个渐近快于 Strassen 算法的矩阵相乘算法。他的算法使用分治方法，将每个矩阵分解为 $n/4\times n/4$ 的子矩阵，分解和合并步骤共花费 $\Theta (n^2)$ 时间。他需要确定，他的算法需要创建多少个字问题，才能击败 Strassen 算法。如果他的算法创建 $a$ 个子问题，则描述运行时间 $T(n)$ 的递归式为 $T(n)=aT(n/4)+\Theta (n^2)$ 。Caesar 教授的算法如果要渐近快于 Strassen 算法， $a$ 的最大整数值应是多少？

  解：关键在于讨论 $n^{{\log }_{4}a}$ 与 $\Theta (n^{\lg 7})$ 的关系，其中 Strassen 算法时间复杂度为 $\Theta (n^{\lg 7})$ 。若 $a=49$ ，则 $n^{\lg 7}=\Theta (n^{\lg 7})$ ，而若 $a<49,n^{{\log }_{4}a}=O(n^{\lg 7-ϵ})$ ，其中 $0<ϵ<\lg 7$ ，从而 $T(n)=\Theta (n^{\lg 7})$ 。从而 $a$ 的最大整数值为 $48$ 。

4.5-3

  使用主方法证明：二分查找递归式 $T(n)=T(n/2)+\Theta (1)$ 的解是 $T(n)=\Theta (\lg n)$ 。（二分查找的描述见联系 $2.3-5$ ）

  证明：由于 ${\log }_{2}1=\Theta (1)$ ，于是 $T(n)=\Theta (\lg n)$ 。

4.5-4

  主方法能应用于递归式 $T(n)=4T(n/2)+n^2\lg n$ 吗？请说明为什么可以或者为什么不可以。给出这个递归式的一个渐近上界。

  解：不可以。由于 $n^2\lg n=O(n^{{\log }_{2}4})=O(n^2)$ 并不是多项式的渐近上界，于是不符合主方法的三个条件。
    由递归树猜想结果为 $\Theta (n^2{\lg }^{2}n)$ 。假设当 $n<m$ 时 $T(n)\le c{n}^2{\lg }^{2}n$ ，那么当 $n=m$ 时， $$\begin{array}{rlr}T(m)& =4T(m/2)+m^2\lg m& \\ & \le 4c(\frac{m}{2}{)}^2{\lg }^2\frac{m}{2}+m^2\lg m& \\ & \le c{m}^2{\lg }^{2}m-(2c-1)m^2\lg m+c{m}^2& \\ & \le c{m}^2\lg m& \text{取c≥1/lg 2}\end{array}$$

4.5-5

  考虑主定理情况 $3$ 的一部分：对某个常数 $c<1$ ，正则条件 $af(n/b)\le cf(n)$ 是否成立。给出一个例子，其中常数 $a\ge 1,b>1$ 且函数 $f(n)$ 满足主定理情况 $3$ 中除正则条件外的所有条件。

  解：确定 $a=1,b=2$ 且 $f(n)=n(2-\cos n)$ ，此时$$\frac{n}{2}(2-\cos \frac{n}{2})\le cn$$$$\frac{1-cos(n/2)}{2}\le c$$$$1-\frac{cos(n/2)}{2}\le c$$    因而 $c\ge 1$ ，然而 $c<1$ 。