算法导论 — 思考题3-4 渐近记号的性质

（渐近记号的性质）假设$f(n)$和$g(n)$为渐近正函数。证明或反驳下面的每个猜测。
　　a. $f(n)=O(g(n))$蕴含$g(n)=O(f(n))$。
　　b. $f(n)+g(n)=\Theta (\mathrm{m}\mathrm{i}\mathrm{n}(f(n),g(n)))$。
　　c. $f(n)=O(g(n))$蕴含$\mathrm{l}\mathrm{g}(f(n))=O(\mathrm{l}\mathrm{g}(g(n)))$，其中对所有足够大的$n$，有$\mathrm{l}\mathrm{g}(g(n))\ge 1$且$f(n)\ge 1$。
　　d. $f(n)=O(g(n))$蕴含$2^{f(n)}=O(2^{g(n)})$。
　　e. $f(n)=O((f(n){)}^2)$。
　　f. $f(n)=O(g(n))$蕴含$g(n)=\Omega (f(n))$。
　　g. $f(n)=\Theta (f(n/2))$。
　　h. $f(n)+o(f(n))=\Theta (f(n))$。
　　
　　解
　　a. 错误
　　例如，$n=O(n^2)$，然而$n^2̸=O(n)$。
　　
　　b. 错误
　　例如，$n+n^2̸=\Theta (n)$。
　　
　　c. 正确
　　$f(n)=O(g(n))$，意味着存在正常量$c$和$n_0$，使得对所有$n\ge n_0$，有$f(n)\le cg(n)$。对这个不等式两边取对数，得到$\mathrm{l}\mathrm{g}(f(n))\le \mathrm{l}\mathrm{g}c+\mathrm{l}\mathrm{g}(g(n))$。由于$\mathrm{l}\mathrm{g}c$是常数，可以取足够大的正常量$c^{\prime }$，使得对所有$n\ge n_0$，有$\mathrm{l}\mathrm{g}c+\mathrm{l}\mathrm{g}(g(n))\le c^{\prime }\mathrm{l}\mathrm{g}(g(n))$，即$\mathrm{l}\mathrm{g}(f(n))\le c^{\prime }\mathrm{l}\mathrm{g}(g(n))$。所以$\mathrm{l}\mathrm{g}(f(n))=O(\mathrm{l}\mathrm{g}(g(n)))$成立。
　　
　　d. 错误
　　例如，$n=O(n/2)$，然而，$2^n̸=O(2^{n/2})$。
　　
　　e. 错误
　　我们可以构造一个函数，该函数是渐近小于$1$的，例如，$f(n)=1/n$，$(f(n){)}^2=1/n^2$。显然有
　　　　$li{m}_{n\to \infty }\frac{(f(n){)}^2}{f(n)}=li{m}_{n\to \infty }f(n)=li{m}_{n\to \infty }\frac{1}{n}=0$
　　这说明$(f(n){)}^2=o(f(n))$，因此$f(n)̸=O((f(n){)}^2)$。
　　
　　f. 正确
　　3.1节已给出了这一结论。
　　
　　g. 错误
　　例如，$2^n̸=\Theta (2^{n/2})$。
　　
　　h. 正确
　　对任意一个函数$g(n)=o(f(n))$，当$n$足够大时，必有$0\le g(n)<f(n)$。于是当$n$足够大时，有$f(n)\le f(n)+g(n)<2f(n)$，这说明$f(n)+g(n)=\Theta (f(n))$，即$f(n)+o(f(n))=\Theta (f(n))$。