算法导论 3.2-4 多项式问题

最新推荐文章于 2022-07-22 20:38:41 发布

风海铜锣

最新推荐文章于 2022-07-22 20:38:41 发布

阅读量713

点赞数

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

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

版权

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

54 篇文章 62 订阅

订阅专栏

函数 ${\color{Red} \left \lceil lgn \right \rceil!}$ 多项式有界吗？函数 ${\color{Red} \left \lceil lglgn \right \rceil!}$ 多项式有界吗？

解答：

第一个问题，函数 $\left \lceil lgn \right \rceil!$ 多项式有界吗？

我们先假设 $\left \lceil lgn \right \rceil!$ 多项式有界。那么可知 $\left \lceil lgn \right \rceil!$ =O( $n^{k}$ )，k为正常量，由此可得：

O( $n^{k}$ ) = { $\left \lceil lgn \right \rceil!$ : 存在正常量c和 $n_{0}$ ，使得对所有 $n\geq n_{0}$ ，有 $0\leq$ $\left \lceil lgn \right \rceil!$ $\leq cn^{k}$ }

我们取 $\left \lceil lgn \right \rceil=m$ ，则可知当n为2的幂次方时，有 $n=2^{m}$

那么不等式 $\left \lceil lgn \right \rceil!$ $\leq cn^{k}$ 可以变换为 $m!\leq c2^{mk}$ 。

根据斯特林公式，我们可以得出 $m!=\sqrt{2\pi m}(\frac{m}{e})^{m}(1+\Theta (\frac{1}{m}))$ ，

由于 $\sqrt{2\pi m}(1+\Theta (\frac{1}{m}))>1$ ，因此 $m!>(\frac{m}{e})^{m}$ ，因此 $(\frac{m}{e})^{m}<c2^{mk}$ ，

我们对不等式左右两边开m次方根，可得 $\frac{m}{e}<c2^k$ ，可得 $m<c2^{k}e$ 。

由于 $c2^{k}e$ 为常量，m为变量，所以 $m<c2^{k}e$ 不可能成立。

因此“函数 $\left \lceil lgn \right \rceil!$ 多项式有界”无法成立。

故可以得出结论，“函数 $\left \lceil lgn \right \rceil!$ 多项式有界”不成立。

第二个问题：函数 $\left \lceil lglgn \right \rceil!$ 多项式有界吗？

$\left \lceil lglgn \right \rceil!$ 有界的形式化定义为：

O( $n^{k}$ ) = { $\left \lceil lglgn \right \rceil!$ : 存在正常量c和 $n_{0}$ ，使得对所有 $n\geq n_{0}$ ，有 $0\leq$ $\left \lceil lglgn \right \rceil!$ $\leq cn^{k}$ } 。

取 lglgn=r ，则有 $n=2^{2^{r}}$ ，那么如果 $\left \lceil lglgn \right \rceil!$ $\leq cn^{k}$ ，当且仅当 $r!\leq c2^{2^{r}k}$ 。