放缩法 —— 渐进记号的相关证明

1. $\max (f(n), g(n))$

$$max(f(n), g(n)) = \Theta(f(n)+g(n))$$

证明如下，只需找到常数 $c_1,c_2,n_0>0$，满足：

$$c_1(f(n)+ g(n))\leq \max(f(n), g(n))\leq c_2(f(n)+g(n))$$
不妨设 $f(n)\geq g(n)$，则： $c_1=\frac12,c_2=1$

2. $(n+a)^b$

对任意实常量 $a$ 和 $b$，其中 $b>0$，有：

$$(n+a)^b=\Theta(n^b)$$
目标是找到 $c_1,c_2,n_0$，对所有的 $n\geq n_0$：
$$c_1\cdot n^b\leq (n+a)^b \leq c_2\cdot n^b$$

注意到：

$$n+a\leq n+|a|\leq 2n, \quad |a|\leq n\\ n+a\geq n-|a|\geq \frac12n,\quad |a|\leq \frac12n$$

当 $n\geq 2|a|$时，

$$\left(\frac12n\right)^b\leq (n+a)^b\leq (2n)^b$$

$n_0=2|a|, c_1=\frac1{2^b}, c_2=2^b$。

3. $\log n$

试证明，对于任何 $\epsilon>0$，都有：$\log n=O(n^\epsilon)$

证：我们知道 $\ln n$ 的增长很慢，因此总存在 $M>0$，使得 $n > M$ 时，$\ln n < \epsilon n$。

不妨令，这里的 $N=e^M$，因此当 $n > N$（$\ln n\gt M$），所以有：

$$\ln \ln n\lt \epsilon \ln n⇒ n^{\ln \ln n}\lt n^{\epsilon \ln n}⇒ \ln n\lt n^\epsilon$$

4. $\sum_n n^3$

$$T(n) = 1^3+2^3+\cdots+n^3\leq n^3+n^3+\cdots+n^3=n^4=O(n^4)$$

5. $\sum_n \log n$

$$\log 1+\log 2+\cdots+\log n \leq n\log n$$