第三章 函数的增长 3.1 渐进记号

3.1-1 假设f（n）与g(n)都是渐进非负函数。使用θ记号的基本定义来证明max（f(n),g(n)）=θ(f(n)+g(n))。

解：$c_1(f(n)+g(n))<max(f(n),g(n))<c_2(f(n)+g(n))$
$c_1=1/2,c_2=2$时，恒成立。

3.1-2 证明：对任意实常量a和b，其中b>0,有

$$(n+a)^b=θ(n^b)$$
解： $c_1n^b\le(n+a)^b\le c_2n^b$
$c_1\le(1+\frac an)\le c_2$
$c_1=1,c_2=2$时，恒成立。

3.1-3 解释为什么“算法A的运行时间至少是$O(n^2)$”这一表述是无意义的。

O:表示一个函数的渐进上界。
既然是上界，用“至少来形容”，就不恰当了吧。

3.1-4 $2^{n+1}=O(2^n)成立吗？2^{2n}=O(2^n)成立吗？$

O:表示一个函数的渐进上界。
1）证明，$2^{n+1}=O(2^n)$是否成立
$2^{n+1}\le c_22^n,c_2=2$时成立
所以，成立。
2）证明，$2^{2n}=O(2^n)$是否成立
$2^{2n}\le c_22^n,c_2$为正无穷
所以，不成立。

3.1-5 证明定理3.1

定理3.1：对于任意两个函数f(n)和g(n),我们有f(n)=θ(g(n)),当且仅当f(n)=O(g(n))且f(n)=Ω(g(n))

$b<f<a,当且仅当f<a,f>b$。

3.1-6 证明：一个算法的运行时间为θ（g(n)）当且仅当其最坏情况运行时间为O(g(n)),且其最好情况运行时间为Ω（g(n)）

同上

3.1-7 证明：$o(g(n))\bigcap w(g(n))$为空集

因为这两个是紧确上界和下界。

3.1-8 可以扩展我们的记号到有两个参数n和m的情形，其中的n和m可以按不同速率独立地趋于无穷。对于给定的函数g(n,m),用O（g（n,m））来表示一下函数集：

$$O(g(n,m))=\{f(n,m):存在正常量c,n_0和m_0,使得对所有n\ge n_0或 m\ge m_0,有 0\le f(n,m) \le cg(n,m) \}$$

定义如下：

$$\Omega(g(n,m))=\{ f(n,m):存在正常量c,n_0和m_0,使得对所有n\ge n_0或 m\ge m_0,有 0\le cg(n,m)\le f(n,m) \}$$