算法导论 — 思考题3-4 渐近记号的性质_min{f(n), g(n)} ∈ θ(f(n) + g(n))-CSDN博客

本文链接：https://blog.csdn.net/yangtzhou/article/details/89165785

（渐近记号的性质）假设 $f (n)$ 和 $g (n)$ 为渐近正函数。证明或反驳下面的每个猜测。
　　a. $f (n) = O (g (n))$ 蕴含 $g (n) = O (f (n))$ 。
　　b. $Θ({\rm min}(f(n), g(n)))$ 。
　　c. $f (n) = O (g (n))$ 蕴含 ${\rm lg}(f(n)) = O({\rm lg}(g(n)))$ ，其中对所有足够大的 $n$ ，有 ${\rm lg}(g(n)) ≥ 1$ 且 $f (n) \geq 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) = Ω (f (n))$ 。
　　g. $f (n) = Θ (f (n / 2))$ 。
　　h. $f (n) + o (f (n)) = Θ (f (n))$ 。
　　
　　解
　　a. 错误
　　例如， $n = O(n^2)$ ，然而 $n^2 ≠ O(n)$ 。
　　
　　b. 错误
　　例如， $n + n^2 ≠ Θ(n)$ 。
　　
　　c. 正确
　　 $f (n) = O (g (n))$ ，意味着存在正常量 $c$ 和 $n_0$ ，使得对所有 $n ≥ n_0$ ，有 $f (n) \leq c g (n)$ 。对这个不等式两边取对数，得到 ${\rm lg}(f(n)) ≤ {\rm lg}c + {\rm lg}(g(n))$ 。由于 ${\rm lg}c$ 是常数，可以取足够大的正常量 $c^{'}$ ，使得对所有 $n ≥ n_0$ ，有 ${\rm lg}c + {\rm lg}(g(n)) ≤ c'{\rm lg}(g(n))$ ，即 ${\rm lg}(f(n)) ≤ c'{\rm lg}(g(n))$ 。所以 ${\rm lg}(f(n)) = O({\rm lg}(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$ 。显然有
　　　　 $lim_{n→∞}⁡\frac{(f(n))^2}{f(n)}=lim_{n→∞}f(n)=lim_{n→∞}\frac{1}{n}=0$
　　这说明 $f(n))^2=o(f(n))$ ，因此 $f(n)≠O((f(n))^2)$ 。
　　
　　f. 正确
　　3.1节已给出了这一结论。
　　
　　g. 错误
　　例如， $2^n ≠ Θ(2^{n/2})$ 。
　　
　　h. 正确
　　对任意一个函数 $g (n) = o (f (n))$ ，当 $n$ 足够大时，必有 $0 \leq g (n) < f (n)$ 。于是当 $n$ 足够大时，有 $f (n) \leq f (n) + g (n) < 2 f (n)$ ，这说明 $f (n) + g (n) = Θ (f (n))$ ，即 $f (n) + o (f (n)) = Θ (f (n))$ 。