CLRS 3.1渐进记号

3.1-1
设

$$\begin{align} \exists n_1，n_2: &f(n) \geq 0 &\text{for } n>n_1\\&g(n)\geq 0 &\text{for }n>n_2\end{align}$$
设 $n_0=max(n_1,n_2)$，则对 $n>n_0:$
$$f(n)\leq \max(f(n),g(n))\\g(n)\leq max(f(n),g(n))\\ \big(f(n)+g(n)\big)/2\leq \max(f(n),g(n))\\ \max(f(n),g(n))\leq f(n)+g(n)$$
根据 $\Theta$ 的定义以及上式我们知， $\exists c_1=\frac{1}{2},c_2=1$ $$0\leq \frac{1}{2} \big(f(n)+g(n)\big)\leq max(f(n),g(n))\leq f(n)+g(n) \quad \text{for }n>n_0$$
得证。

3.1-2
将此式二项式展开有 $(n+a)^{b}=\binom{n}{0}n^{b}+\binom{n}{1}n^{b-1}b+\dots + \binom{n}{n}n^{0}b^{n}$，舍掉低阶项即可。

3.1-3
$O$表示一个上界，“至少”又意味着一个下界。

3.1-4
第一个成立，我们选择一个大于等于 $2$ 的常数即可使得等式成立；
第二个不成立，因为 $\not \exists c:2^{n}·2^{n}\leq c·2^{n}$。

3.1-5
若 $f(n)=\Theta(g(n))$，根据定义我们有：

$$0 \leq c_1g(n)\leq f(n)\leq c_2g(n)\quad \text{for }n>n_0$$
我们选择此时的 $c_1,c_2$ 即可得到 $f(n)=O(g(n)),f(n)=\Omega (f(n))$。
反之，若 $f(n)=O(g(n)),f(n)=\Omega (f(n))$，根据定义则有：
$$0\leq c_3 g(n)\leq f(n) \quad \text{for } n > n_1 \\0 \leq f(n)\leq c_4g(n)\quad \text{for }n>n_2$$
设 $n_3=max(n_1,n_2)$，则对 $n>n_3:$ $$0\leq c_3g(n)\leq f(n)\leq c_4g(n)\quad \text{for }n>n_4$$
即得证。

3.1-6
设 $T_b,T_w$ 分别表示最好和最坏运行时间，由题得：

$$0\leq T_w\leq c_1g(n)\quad \text{for }n>n_1\\0\leq c_2g(n)\leq T_b\quad \text{for }n>n_2$$
所以得到 $$0\leq c_2g(n)\leq T_b\leq T_w\leq c_1g(n)\quad \text{for }n>n_0$$ 其中， $n_0=max(n_1,n_2)$，另外 $T_b$ 的运行时间肯定小于 $T_w$。这样就得证明。

3.1-7
对任意的正数$c>0$有：

$$0\leq f(n)<cg(n)\quad \text{for }n>n_1\\0\leq cg(n)<f(n)\quad \text{for }n>n_2$$
令 $n_0=max(n_1,n_2)$ 有： $f(n)<cg(n)<f(n)$，显然矛盾，所以交集为空。

3.1-8

$$\Omega (g(n,m))=\{f(n,m):存在正常量c,n_0和m_0，使得对所有n\geq n_0或m\geq m_0,有0\leq cg(n,m)\leq f(n,m)\}$$
$$\Theta(g(n,m)=\{f(n,m):存在正常量c_1,c_2,n_0和m_0，使得对所有n\geq n_0或m\geq m_0,有0\leq c_1g(n,m)\leq f(n,m)\leq c_2g(n,m)\})$$