《算法导论》第三章 习题和笔记

1.渐进记号

       这是本章中最核心的部分，在《算法导论》的第25页至29页描述了5个渐进记号，定义如下：

       

2.习题

练习题

3.1-1 假设$f(n)$与$g(n)$都是渐进非负函数。使用$\Theta$记号的基本定义来证明：
$$max(f(n),g(n))=\Theta (f(n)+g(n))$$
解：
       不妨设 $max(f(n),g(n))=f(n)$，并且问题等价为：是否存在$c_1$、$c_2$和$n_0$，使得下述不等式成立：
$$0\le c_1(f(n)+g(n))\le f(n)\le c_2(f(n)+g(n))(1)$$

       已知$f(n)$和$g(n)$均为渐进非负函数，即意味着：
$$(\exists N>0(n>N\to f(n)>0))=T$$
       所以必定存在$n_0$使得(1)式可以变形为：
$$0\le c_1(1+\frac{g(n)}{f(n)})\le 1\le c_2(1+\frac{g(n)}{f(n)})(2)$$
       已知$g(n)\le f(n)$，那么$\frac{g(n)}{f(n)}\in (0,1]$，所以当$c_1\le \frac{1}{2}、c_2\ge 1$时使得(2)式成立。

综上所述，存在一个充分大的$n_0$和$c_1\le \frac{1}{2}、c_2\ge 1$使得(1)式成立，证毕。

另外，当$f(n)=min(f(n),g(n))$时，分析(2)式即可得到：$$min(f(n),g(n))\ne \Theta (f(n)+g(n))$$

3.1-2 证明：对任意实常量$a$和$b$，其中$b>0$，有：
( n + a ) b = Θ ( n b )