算法导论 — 思考题4-1 递归式例子

（递归式例子）对下列每个递归式，给出$T(n)$的渐近上界和下界。假定$n\le 2$时$T(n)$是常数。给出尽量紧确的界，并验证其正确性。
　　a. $T(n)=2T(n/2)+n^4$
　　b. $T(n)=T(7n/10)+n$
　　c. $T(n)=16T(n/4)+n^2$
　　d. $T(n)=7T(n/3)+n^2$
　　e. $T(n)=7T(n/2)+n^2$
　　f. $T(n)=2T(n/4)+\sqrt{n}$
　　g. $T(n)=T(n-2)+n^2$
　　
　　解
　　a.
　　应用主定理，根据递归式有$a=2,b=2，f(n)=n^4$，所以有$n^{{\mathrm{l}\mathrm{o}\mathrm{g}}_{b}a}=n^{{\mathrm{l}\mathrm{o}\mathrm{g}}_{2}2}=n$。于是有$f(n)=n^4=\Omega (n^{1+\epsilon })=\Omega (n^{{\mathrm{l}\mathrm{o}\mathrm{g}}_{b}a+\epsilon })$，其中$\epsilon =3$。并且当$1/8\le c<1$时，有$af(n/b)=2f(n/2)=2•(n/2{)}^4=n^4/8\le cf(n)=c{n}^4$。因此，可以应用主定理情况3，于是$T(n)=\Theta (f(n))=\Theta (n^4)$。
　　
　　b.
　　应用主定理，根据递归式有$a=1,b=10/7，f(n)=n$，所以有$n^{{\mathrm{l}\mathrm{o}\mathrm{g}}_{b}a}=n^{{\mathrm{l}\mathrm{o}\mathrm{g}}_{10/7}1}=n^0=1$。于是有$f(n)=n=\Omega (n^{0+\epsilon })=\Omega (n^{{\mathrm{l}\mathrm{o}\mathrm{g}}_{b}a+\epsilon })$，其中$\epsilon =1$。并且当$7/10\le c<1$时，有$af(n/b)=f(7n/10)=7n/10\le cf(n)=cn$。因此，可以应用主定理情况3，于是$T(n)=\Theta (f(n))=\Theta (n)$。
　　
　　c.
　　应用主定理，根据递归式有$a=16,b=4，f(n)=n^2$，所以有$n^{{\mathrm{l}\mathrm{o}\mathrm{g}}_{b}a}=n^{{\mathrm{l}\mathrm{o}\mathrm{g}}_{4}16}=n^2$。于是有$f(n)=n^2=\Theta (n^2)=\Theta (n^{{\mathrm{l}\mathrm{o}\mathrm{g}}_{b}a})$。因此，可以应用主定理情况2，于是$T(n)=\Theta (n^{{\mathrm{l}\mathrm{o}\mathrm{g}}_{b}a}•\mathrm{l}\mathrm{g}n)=\Theta (n^2\mathrm{l}\mathrm{g}n)$。
　　
　　d.
　　应用主定理，根据递归式有$a=7,b=3，f(n)=n^2$，所以有$n^{{\mathrm{l}\mathrm{o}\mathrm{g}}_{b}a}=n^{{\mathrm{l}\mathrm{o}\mathrm{g}}_{3}7}$。于是有$f(n)=n^2=\Omega (n^{{\mathrm{l}\mathrm{o}\mathrm{g}}_{3}7+\epsilon })$，其中$\epsilon =0.228$。并且当$7/9\le c<1$时，有$af(n/b)=7f(n/3)=7•(n/3{)}^2=7n^2/9\le cf(n)=c{n}^2$。因此，可以应用主定理情况3，于是$T(n)=\Theta (f(n))=\Theta (n^2)$。
　　
　　e.
　　应用主定理，根据递归式有$a=7,b=2，f(n)=n^2$，所以有$n^{{\mathrm{l}\mathrm{o}\mathrm{g}}_{b}a}=n^{\mathrm{l}\mathrm{g}7}$。于是有$f(n)=n^2=\Theta (n^2)=O(n^{\mathrm{l}\mathrm{g}7-\epsilon })$，其中$\epsilon =0.807$。因此，可以应用主定理情况1，于是$T(n)=\Theta (n^{{\mathrm{l}\mathrm{o}\mathrm{g}}_{b}a})=\Theta (n^{\mathrm{l}\mathrm{g}7})$。
　　
　　f.
　　应用主定理，根据递归式有$a=2,b=4，f(n)=\sqrt{n}=n^{1/2}$，所以有$n^{{\mathrm{l}\mathrm{o}\mathrm{g}}_{b}a}=n^{{\mathrm{l}\mathrm{o}\mathrm{g}}_{4}2}=n^{1/2}$。于是有$f(n)=n^{1/2}=\Theta (n^{1/2})=\Theta (n^{{\mathrm{l}\mathrm{o}\mathrm{g}}_{b}a})$。因此，可以应用主定理情况2，于是$T(n)=\Theta (n^{{\mathrm{l}\mathrm{o}\mathrm{g}}_{b}a}•\mathrm{l}\mathrm{g}n)=\Theta (n^{1/2}\mathrm{l}\mathrm{g}n)=\Theta (\sqrt{n}\mathrm{l}\mathrm{g}n)$。
　　
　　g.
　　本题不能应用主定理，而需要采用递归树方法。考虑$n$为偶数的情况，画出递归树如下。
　　
　　递归树一共有$n/2$层，每层均只有一个结点。假设叶结点深度为$i$，那么有$n-2i=2$，于是得到$i=(n-2)/2$，即叶结点深度为$(n-2)/2$。除叶结点外，深度为$i$的结点产生的代价为$(n-2i{)}^2$。将各层代价加起来，得到
　　　　$T(n)=\sum _{i=0}^{(n-4)/2}(n-2i{)}^2+\Theta (1)=\Theta (n^3)$
　　$n$为奇数的情况是类似的，这里不再做分析。