算法导论 3-5

最新推荐文章于 2022-03-29 08:21:35 发布

newdye

最新推荐文章于 2022-03-29 08:21:35 发布

阅读量1.4k

点赞数

分类专栏：算法文章标签：算法导论第三章

本文链接：https://blog.csdn.net/newdye/article/details/9269555

版权

算法专栏收录该内容

75 篇文章 4 订阅

订阅专栏

问题

某些作者定义 $\Omega$ 的方式和我们的略有不同，可以用 $\begin{array}{c} \infty \\ \Omega \end{array}$ 来表示这种定义。若存在正常数c使f(n)>=cg(n)>=0对无穷多的整数n成立，则说 $f(n)=\begin{array}{c} \infty \\ \Omega \end{array}(g(n))$ 。
a)说明渐近非负的两个函数f(n)和g(n)，要么f(n)=O(g(n)),要么f(n)= $\begin{array}{c} \infty \\ \Omega \end{array}$ (g(n)),要么二者都成立，然而用 $\Omega$ 代替 $\begin{array}{c} \infty \\ \Omega \end{array}$ 时并不成立。
b)请描述用 $\begin{array}{c} \infty \\ \Omega \end{array}$ 代替 $\Omega$ 以刻画程序运行时间的潜在有点和缺点。
某些作者定义的O也略有不同，设为O'。称f(n)=O'(g(n))当且仅当|f(n)|=O(g(n))。
c)如果我们用O'代替O而仍然使用 $\Omega$ ，定理3.1的“当且仅当”的两个方向各有什么变化。
有些作者定义 $\tilde{O}$ 表示略去了对数因子的O。
$\tilde{O}(g(n))$ ={f(n):存在正常数c，k，n0使得0<=f(n)<=cg(n) $\lg^k(n)$ )，对所有n>=n0成立}。
d)请类似地定义 $\tilde{\Omega}$ 和 $\tilde{\Theta}$ ，并证明与定理3.1的关系

分析

a)如算法导论3.1节所述，O, $\Omega$ 和 $\Theta$ 不满足三分性，所以对于任意两个非负渐近函数不能满足题目所说的关系。原因就是对于只有局部单调递增函数，上述关系不能满足。例如3-1中问题b)中所给出的函数。而 $\begin{array}{c} \infty \\ \Omega \end{array}$ 克服了这个限制。例如对书中给出的f(n)=n和 $g(n)=n^{1+\sin n}$ 就有f(n)= $\begin{array}{c} \infty \\ \Omega \end{array}$ g(n)。同时，因为满足 $\Omega$ 必然满足 $\begin{array}{c} \infty \\ \Omega \end{array}$ ，所以满足 $\Theta$ 必然满足 $\begin{array}{c} \infty \\ \Omega \end{array}$ 。所以以 $\begin{array}{c} \infty \\ \Omega \end{array}$ 代替了 $\Omega$ 后，两个渐近非负函数必然满足三种关系的一种。
b)优点：可以刻画任意两个渐近非负函数之间的关系。

缺点：程序运行的渐近下界变得比较模糊，不这么精确了。因为如果f(n) $\begin{array}{c} \infty \\ \Omega \end{array}$ (g(n))也有可能存在f(n) < g(n)的情况。

c)定理3.1只能是充分条件不是必要条件了，因为f(n)>=cg(n)可以推出|f(n)|>=cg(n)但是 |f(n)|>=cg(n)不能推出f(n)>=cg(n)

d) $\tilde{\Omega}(g(n))$ ={f(n):存在正常数c，k，n0使得0<=cg(n) $\lg^k(n)$ <=f(n)，对所有n>=n0成立}。
$\tilde{\Theta}(g(n))$ ={f(n):存在正常数c1，c2，k，n0使得c1g(n) $\lg^k(n)$ <=f(n)<=c2g(n) $\lg^k(n)$ ，对所有n>=n0成立}。
类似与定理3.1，可以推出充分条件，不能推出必要条件