算法导论 3.1-4 证明题

最新推荐文章于 2020-12-06 13:44:04 发布

风海铜锣

最新推荐文章于 2020-12-06 13:44:04 发布

阅读量494

点赞数

分类专栏：算法导论课后习题

版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。

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

版权

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

54 篇文章 60 订阅

订阅专栏

${\color{Red} 2^{n+1}}$ = O( ${\color{Red} 2^{n}}$ )成立吗？ ${\color{Red} 2^{2n}}$ =O( ${\color{Red} 2^{n}}$ )成立吗？

解答：

O的形式化定义如下:

O(g(n)) = { f(n): 存在正常量 $n_{0}$ 和c，使得对所有n $\geq$ $n_{0}$ ，有0 $\leq$ f(n) $\leq$ cg(n) } 。

一、 $2^{n+1}$ = O( $2^{n}$ )成立吗？

要证明 $2^{n+1}$ = O( $2^{n}$ )，我们把它们代入O的形式化定义中，即

O( $2^{n}$ ) = { $2^{n+1}$ : 存在正常量 $n_{0}$ 和c，使得对所有n $\geq$ $n_{0}$ ，有0 $\leq$ $2^{n+1}$ $\leq$ c $2^{n}$ } 。

由于 $2^{n+1}$ 等价于 $2^{n}$ *2 ，那么我们只要取c=2， $n_{0}$ =0，即可证明该等式。

二、 $2^{2n}$ =O( $2^{n}$ )成立吗？

要证明 $2^{2n}$ = O( $2^{n}$ )，我们把它们代入O的形式化定义中，即

O( $2^{n}$ ) = { $2^{2n}$ : 存在正常量 $n_{0}$ 和c，使得对所有n $\geq$ $n_{0}$ ，有0 $\leq$ $2^{2n}$ $\leq$ c $2^{n}$ } 。

$2^{2n}$ 等价于 $2^{n}$ * $2^{n}$ ，也就是说，我们必须证明

$2^{n}$ * $2^{n}$ $\leq$ c $2^{n}$ ，不等式两边除以 $2^{n}$ ，可得

$2^{n}$ $\leq$ c，该不等式可以改为

$log_{2}2^{n}\leq log_{2}c$ ，对不等式左边进行简化，可得

$n\leq log_{2}c$ 。

我们知道，当n足够大时，必然存在 $n > log_{2}c$ ，故该证明不可能成立。

关注

0
点赞
踩
0

收藏

觉得还不错? 一键收藏
0
评论
算法导论 3.1-4 证明题

= O()成立吗？=O()成立吗？解答：O的形式化定义如下:O(g(n)) = { f(n): 存在正常量和c，使得对所有n，有0f(n)cg(n)} 。一、= O()成立吗？要证明= O()，我们把它们代入O的形式化定义中，即O() = { : 存在正常量和c，使得对所有n，有0c} 。由于等价于*2 ，那么我们只要取c=2，=0，即可证明该等式。二、=O()成立吗？要证明= O()，我们把它们代入O的形式化定义中，即O() = { : 存在正常量和c...
复制链接

扫一扫

专栏目录

评论

被折叠的条评论为什么被折叠?

到【灌水乐园】发言

查看更多评论

添加红包

成就一亿技术人!

hope_wisdom

发出的红包

实付元

使用余额支付

点击重新获取

扫码支付

钱包余额 0

抵扣说明：

1.余额是钱包充值的虚拟货币，按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载，可以购买VIP、付费专栏及课程。