算法导论课后题和思考题第3章

最新推荐文章于 2023-07-22 12:11:12 发布

VIP文章 lanmingling

最新推荐文章于 2023-07-22 12:11:12 发布

阅读量4.5k

点赞数 4

分类专栏：学习笔记

本文链接：https://blog.csdn.net/lanmingling/article/details/106605729

版权

一、课后习题

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

不妨假设 $max(f(n),g(n))=g(n)$ , 要证明 $max(f(n),g(n))=\Theta(f(n)+g(n))$ ，即证明存在正常量 $c_1$ 和 $c_2$ 使得 $c_1(f(n)+g(n))\leqslant g(n)\leqslant c_2(f(n)+g(n))$ ，因此当 $c_1$ =1/2, $c_2$ =1 时，上式成立，得证。

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

要证明 $(n+a)^b=\Theta(n^b)$ ，即证明存在正常量 $c_1$ 和 $c_2$ 使得 $c_1n^b\leqslant (n+a)^b\leqslant c_2n^b$ ，取 $c_1$ =1和 $c_2=(1+a)^b$ 即成立，得证。

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

因为 $O(n^2)$ 的含义是函数的紧确上界为 $O(n^2)$ ，说算法A的运行时间至少是 $O(n^2)$ 指出的是下界，因此这一表述是无意义的。

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

$2^{(n+1)} = O(2^n)$ 成立

$2^{2n}=O(2^n)$ 不成立，因为不存在 $c_2$ 使得 $(2^n)^2\leqslant c_2*2^n$

3.1-5 证明定理对任意两个函数 $f(n)$ 和 $g(n)$ ，我们有 $f(n)=\Theta(g(n))$ ，当且仅当 $f(n)=O(g(n))$ 且 $f(n)=\Omega(g(n))$

首先证明 $f(n) = \Theta(g(n))$ 可以推出 $f(n)=O(g(n))$ 和 $f(n)=\Omega(g(n))$ ，由于 $f(n) = \Theta(g(n))$ 表示存在正常量 $c_1$ 和 $c_2$ 使得 $0\leqslant c_1g(n)\leqslant f(n)\leqslant c_2g(n)$ ，即 $0\leqslant f(n)\leqslant c_2g(n)$ 和 $0\leqslant c_1g(n)\leqslant f(n)$ 成立，因此 $f(n)=O(g(n))$ 和 $f(n)=\Omega(g(n))$ 成立

其次证明当 $f(n)=O(g(n))$ 和 $f(n)=\Omega(g(n))$ 时， $f(n)=\Theta(g(n))$ ，由于 $f(n)=O(g(n))$ 表示 $0\leqslant f(n)\leqslant c_2g(n)$ ， $f(n)=\Omega(g(n))$ 表示 $0\leqslant c_1g(n)\leqslant f(n)$ ，因此 $0\leqslant c_1g(n)\leqslant f(n)\leqslant c_2g(n)$ ，即 $f(n) = \Theta(g(n))$ ，得证。

3.1-6 证明：一个算法的运行时间为 $\Theta(g(n))$ 当且仅当其最坏情况运行时间为 $O(g(n))$ ，且其最好情况运行时间为 $\Omega(g(n))$

一个算法的运行时间为 $\Theta(g(n))$ ，即表示这个算法的运行时间 $f(n) = \Theta(g(n))$ , 由3.1-5提到的定理可得， $f(n)=O(g(n))$ 并且 $f(n)=\Omega(g(n))$ ，因此该算法的下界（最好情况运行时间）为 $\Omega(g(n))$ ，上界（最坏情况运行时间）为 $O(g(n))$

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

根据定义， $o(g(n))$ 代表的集合是 $o(g(n)) = \left \{ f(n):$ 对任意正常量 $c>0$ ，存在常量 $n_0>0$ ，使得对所有 $n\geqslant n_0$ ，有 $0\leqslant f(n)< cg(n) \left. \right \}$

$\omega(g(n))$ 代表的集合是 $\omega(g(n)) = \left \{ f(n):$ 对任意正常量 $c>0$ ，存在常量 $n_0>0$ ，使得对所有 $n\geqslant n_0$ ，有 $0\leqslant cg(n) < f(n)\left. \right \}$

用反证法，假设存在一个函数f(n) 同时满足上述两个条件，即 $0\leqslant f(n)<cg(n)$ 并且 $0\leqslant cg(n)< f(n)$ 同时成立，由于和均为正常量，定义要求对任意正常量c 均满足不等式，因此上述两式引发出矛盾， $cg(n)<f(n)<cg(n)$ ，因此假设不成立，得证。

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

$O(g(n,m)) = \left \{ f(n,m):$ 存在正常量 $c,n_0$ 和 $m_0$ ，使得对于所有 $n\geqslant n_0$ 或 $m\geqslant m_0$ ，有 $0\leqslant f(n,m)\leqslant cg(n,m) \left. \right \}$

对 $\Omega(g(n,m))$ 和 $\Theta(g(n,m))$ 给出相应的定义

$\Omega(g(n,m)) = \left \{ f(n,m):$ 存在正常量 $c,n_0$ 和 $m_0$ ，使得对于所有 $n\geqslant n_0$ 或 $m\geqslant m_0$ ，有 $0\leqslant cg(n,m)\leqslant f(n,m) \left. \right \}$

$\Theta(g(n,m)) = \left \{ f(n,m):$ 存在正常量 $c_1,c_2,n_0$ 和 $m_0$ ，使得对于

最低0.47元/天解锁文章

lanmingling

关注

4
点赞
踩
15

收藏

觉得还不错? 一键收藏
1
评论
算法导论课后题和思考题第3章

一、课后习题3.1-1 假设与都是渐近非负函数。使用记号的基本定义来证明不妨假设, 要证明，即证明存在正常量和使得，因此当=1/2,=1 时，上式成立，得证。3.1-2 证明：对任意实常量a和b，其中b>0，有要证明，即证明存在正常量和使得，取=1和即成立，得证。3.1-3 解释为什么“算法A的运行时间至少是”这一表述是无意义的。因为的含义是函数的紧确上界为，说算法A的运行时间至少是指出的是下界，因此这一表述是无意义的。3.1-4 成立吗？成立吗？...
复制链接

扫一扫