算法导论 3-1 麻烦的多项式渐近

最新推荐文章于 2020-12-23 20:41:13 发布

风海铜锣

最新推荐文章于 2020-12-23 20:41:13 发布

阅读量896

点赞数 1

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

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

版权

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

54 篇文章 60 订阅

订阅专栏

（多项式的渐近行为）假设 ${\color{Red} p(n)=\sum_{i=0}^{d}a_{i}n^{i}}$ 是一个关于n的d次多项式，其中 ${\color{Red} a_{d}>0}$ ，k是一个常量。使用渐近记号的定义来证明下面的性质。

a. 若 ${\color{Red} k\geq d}$ ，则 ${\color{Red} p(n)=O(n^{k})}$ 。

b. 若 ${\color{Red} k\leq d}$ ，则 ${\color{Red} p(n)=\Omega (n^{k})}$ 。

c. 若 ${\color{Red} k=d}$ ，则 ${\color{Red} p(n)=\Theta (n^{k})}$ 。

d. 若 ${\color{Red} k>d}$ ，则 ${\color{Red} p(n)=o(n^{k})}$ 。

e. 若 ${\color{Red} k<d}$ ，则 ${\color{Red} p(n)=\omega (n^{k})}$ 。

解答：

a. 根据的形式化定义，有：

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

套用到a中，则 $g(n)=n^{k}$ 且 f(n)=p(n) 。于是有

$O(n^{k})=$ { $p(n)=\sum_{i=0}^{d}a_{i}n^{i}:$ 存在正常量和 $n_{0}$ ，使得对所有 $n\geq n_{0}$ ，有 $0\leq p(n)\leq cn^{k}$ }。

我们取b等于 $a_{0},a_{1}...a_{d}$ 中的最大绝对值，当 c=bd ，且 $n\geq 0$ 时，有 $cg(n)=\sum_{i=0}^{d}bn^{k}$ ，由于 $k\geq d$ ，并且b是 $a_{0},a_{1}...a_{d}$ 中的最大绝对值，所以对于 $\sum_{i=0}^{d}bn^{k}$ 中的每一个 $bn^{k}$ 均 $\geq \sum_{i=0}^{d}a_{i}n^{i}$ 中的任何一个 $a_{i}n^{i}$ ，因此对于 p(n) ，存在正常量和 $n_{0}$ ，使得对所有 $n\geq n_{0}$ ，有 $0\leq p(n)\leq cn^{k}$ ，故a得证。

b. 根据 $\Omega$ 的形式化定义，有：

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

套用到b中，则 $g(n)=n^{k}$ 且 f(n)=p(n) 。于是有

$\Omega(n^{k})=$ { $p(n)=\sum_{i=0}^{d}a_{i}n^{i}:$ 存在正常量和 $n_{0}$ ，使得对所有 $n\geq n_{0}$ ，有 $0\leq cn^{k}\leq p(n)$ }。

取正常量令 $0<c<a_{d}$ ，计算 p(n)-cg(n) ，可得

$p(n)-cg(n)=\sum_{i=0}^{d}a_{i}n^{i}-cn^{k}$ $=\sum_{i=0}^{d-1}a_{i}n^{i}+a_{d}n^{d}-cn^{k}$

已知 $k\leq d$ ，因此可得

$p(n)-cg(n)\geq\sum_{i=0}^{d-1}a_{i}n^{i}+a_{d}n^{d}-cn^{d}$ $=\sum_{i=0}^{d-1}a_{i}n^{i}+(a_{d}-c)n^{d}$ $=n^{d-1}\cdot (\sum_{i=0}^{d-1}a_{d}\cdot n^{i-(d-1)}+(a_{d}-c)n)$

对于式子 $n^{d-1}\cdot (\sum_{i=0}^{d-1}a_{d}\cdot n^{i-(d-1)}+(a_{d}-c)n)$ 中，由于 $i-(d-1)\leq 0$ ，故 $n^{i-(d-1)}\leq 1$ ，又因为 $n^{d-1}\geq 0$ ，

当 $n\geq (\left | \sum_{i=0}^{d-1}a_{d} \right |)/(a_{d}-c)$ 时，由于 $n^{i-(d-1)}\leq 1$ ，且 $c< a_{d}$ ，于是有 $n\geq (\left | \sum_{i=0}^{d-1}a_{d}n^{i-(d-1)} \right |)/(a_{d}-c)$ ，因此可得

$n^{d-1}\cdot (\sum_{i=0}^{d-1}a_{d}\cdot n^{i-(d-1)}+(a_{d}-c)n)\geq 0$ 。

于是可以得出，取 $c< a_{d}$ ， $n\geq (\left | \sum_{i=0}^{d-1}a_{d} \right |)/(a_{d}-c)$ ，则有 $p(n)-cg(n)\geq\sum_{i=0}^{d-1}a_{i}n^{i}+a_{d}n^{d}-cn^{d}\geq 0$ ，于是有

$0\leq cn^{k}\leq p(n)$ 。b证明成立。

c. 当 k=d 时，根据a和b的证明我们有 $p(n)=O(n^{k})$ 且 $p(n)=\Omega (n^{k})$ ，于是有 $p(n)=\Theta (n^{k})$ 。

d和e证明过程和a、b相似，在此不再赘述。

风海铜锣

关注

1
点赞
踩
6

收藏

觉得还不错? 一键收藏
0
评论
算法导论 3-1 麻烦的多项式渐近

（多项式的渐近行为）假设是一个关于n的d次多项式，其中，k是一个常量。使用渐近记号的定义来证明下面的性质。a. 若，则。b. 若，则。c. 若，则。d. 若，则。e. 若，则。解答：a. 根据的形式化定义，有：{存在正常量和，使得对所有，有}。套用到问题a中，则且。我们取b等于中的最大绝对值，当时，，由于，并且b是中的最大绝对值，所以对于中的每一个均不小于中的任何一个...
复制链接

扫一扫