算法导论 3.1-1 关于θ记号

最新推荐文章于 2022-05-12 12:13:14 发布

风海铜锣

最新推荐文章于 2022-05-12 12:13:14 发布

阅读量1.6k

点赞数 2

分类专栏：算法导论课后习题文章标签：算法算法导论

本文链接：https://blog.csdn.net/madaxin/article/details/109037758

版权

算法导论课后习题专栏收录该内容

54 篇文章 60 订阅

订阅专栏

假设f(n)和g(n)都是渐近非负函数。使用θ记号的基本定义来证明max(f(n), g(n)) = θ(f(n)+g(n))。

要解决这个问题，我们先来回顾一下θ函数的形式化定义：

θ(g(n)) = {f(n): 存在正常量 $c_{1}$ 、 $c_{2}$ 和 $n_{0}$ ，使得对所有n $\geq$ $n_{0}$ ，有0 $\leq$ $c_{1}g(n)$ $\leq$ f(n) $\leq$ $c_{2}$ g(n)} 。

将本题目中的函数代入到定义中，则我们要求证的定义是：

θ(f(n)+g(n)) = {max(f(n), g(n)): 存在正常量 $c_{1}$ 、 $c_{2}$ 和 $n_{0}$ ，使得对所有n $\geq$ $n_{0}$ ，有0 $\leq$ $c_{1}$ (f(n)+g(n)) $\leq$ max(f(n), g(n)) $\leq$ $c_{2}$ (f(n)+g(n))} 。

我们一步步来证明。

第一步，我们先证明 0 $\leq$ $c_{1}$ (f(n)+g(n))的部分，只要存在条件 $c_{1}$ $\geq$ 0， $n_{0}$ 的值可以不限制，由于已知f(n)和g(n)都是渐近非负函数，所以可以推出0 $\leq$ $c_{1}$ (f(n)+g(n)) ，得证。

第二步，我们在第一步的条件限制下，即存在正常量 $c_{1}$ ，且 $c_{1}$ $\geq$ 0， $n_{0}$ 的值可以不限制，进一步证明 $c_{1}$ (f(n)+g(n)) $\leq$ max(f(n), g(n))。

我们取 $c_{1}$ =0.5，则该式子变成 0.5(f(n)+g(n)) $\leq$ max(f(n), g(n)) 。要证明该不等式成立，f(n)好g(n)存在且仅存在以下三种情况：

1. f(n)=g(n)，则0.5(f(n)+g(n)) = g(n)，max(f(n), g(n)) = g(n)，可得 0.5(f(n)+g(n)) = max(f(n), g(n)) ，不等式成立。

2. f(n)<g(n)，则0.5(f(n)+g(n)) < 0.5(g(n)+g(n)) = g(n)，可得0.5(f(n)+g(n))<g(n)，而max(f(n), g(n)) = g(n)，由此可得0.5(f(n)+g(n)) < max(f(n), g(n))，不等式成立。

3. f(n)>g(n)，则0.5(f(n)+g(n)) < 0.5(f(n)+f(n)) = f(n)，可得0.5(f(n)+g(n))<f(n)，而max(f(n), g(n)) = f(n)，由此可得0.5(f(n)+g(n)) < max(f(n), g(n))，不等式成立。

第三步，验证存在正常量 $c_{2}$ ， $n_{0}$ 的值可以不限制，证明max(f(n), g(n)) $\leq$ $c_{2}$ (f(n)+g(n))。

我们取 $c_{2}$ =1，于是 $c_{2}$ (f(n)+g(n))=f(n)+g(n)，由于f(n)和g(n)都是渐近非负函数，即f(n) $\geq$ 0且g(n) $\geq$ 0，所以f(n)+g(n) $\geq$ f(n)且f(n)+g(n) $\geq$ g(n)，由此可得f(n)+g(n) $\geq$ max(f(n), g(n))，则max(f(n), g(n)) $\leq$ $c_{2}$ (f(n)+g(n))成立，故不等式得证。

综合以上情况，我们证明了θ(f(n)+g(n)) = {max(f(n), g(n)): 存在正常量 $c_{1}$ 、 $c_{2}$ 和 $n_{0}$ ，使得对所有n $\geq$ $n_{0}$ ，有0 $\leq$ $c_{1}$ (f(n)+g(n)) $\leq$ max(f(n), g(n)) $\leq$ $c_{2}$ (f(n)+g(n))} 。

题目解决。

风海铜锣

关注

2
点赞
踩
7

收藏

觉得还不错? 一键收藏
0
评论
算法导论 3.1-1 关于θ记号

假设f(n)和g(n)都是渐近非负函数。使用θ记号的基本定义来证明max(f(n), g(n)) = θ(f(n)+g(n))。要解决这个问题，我们先来回顾一下θ函数的形式化定义：θ(g(n)) = {f(n): 存在正常量、和，使得对所有n，有0f(n)g(n)}...
复制链接

扫一扫

专栏目录