算法导论 — 思考题3-3 根据渐近增长率排序

最新推荐文章于 2020-12-11 00:54:04 发布

yangtzhou

最新推荐文章于 2020-12-11 00:54:04 发布

阅读量1.1w

点赞数 25

分类专栏：算法导论文章标签：算法导论思考题 3-3 根据渐近增长率排序

本文链接：https://blog.csdn.net/yangtzhou/article/details/89164355

版权

算法导论专栏收录该内容

61 篇文章 127 订阅

订阅专栏

（根据渐近增长率排序）
　　a. 根据增长的阶来排序下面的函数，即求出满足 $g_1 = Ω(g_2), g_2 = Ω(g_3), …, g_{29} = Ω(g_{30})$ 的函数的一种排序 $g_1, g_2, …, g_{30}$ 。把你的表划分成等价类，使得函数 $f (n)$ 和 $g (n)$ 在相同类中当且仅当 $f (n) = Θ (g (n))$ 。
　　在这里插入图片描述
　　b. 给出非负函数 $f (n)$ 的一个例子，使得对所有在(a)部分中的函数 $g_i(n)$ ， $f (n)$ 既不是 $O(g_i(n))$ 也不是 $Ω(g_i(n))$ 。
　　
　　解
　　a.
　　在下面的表格中，表格上层的函数比下层的函数增长要快，表格同一行中的函数互为 $Θ$ 关系。
　　在这里插入图片描述
　　一些简单的函数在这里就不做分析了，我们挑一些函数来分析。
　　
　　(1) $g_2 (n)=2^{2^n}$ 和 $g_3 (n)=(n+1)!$
　　先分析 $g_3 (n)$ ，有 $g_3 (n)=(n+1)!<(n+1)^{n+1}$ 。令 $f_3 (n)=(n+1)^{n+1}$ ，现在来比较 $g_2 (n)$ 和 $f_3 (n)$ 。直接比较二者很困难，我们分别对二者取复合对数。
　　　　 ${\rm lglg}(g_2(n))={\rm lglg}(2^{2^n})={\rm lg}(2^n)=n$
　　　　 ${\rm lglg}(f_3(n))={\rm lglg}((n+1)^{n+1})={\rm lg}[(n+1)∙{\rm lg}(n+1)]={\rm lg}(n+1)+{\rm lglg}(n+1)<2{\rm lg}(n+1)$
　　当 $n$ 足够大时，有 $2{\rm lg}(n+1)<n$ ，故 ${\rm lglg}(f_3(n))<{\rm lglg}(g_2 (n))$ 。由于复合对数函数 ${\rm lglg}(x)$ 是单调递增的，所以当 $n$ 足够大时，有 $f_3(n)<g_2(n)$ 。又由于 $g_3(n)<f_3(n)$ ，所以当 $n$ 足够大时，有 $g_3(n)<g_2(n)$ ，所以 $g_2(n)=Ω(g_3(n))$ 。
　　
　　 (2) $g_8 (n)=(\frac{3}{2})^n$ 和 $g_9 (n)=({\rm lg}n)^{{\rm lg}n}$
　　同样直接比较二者很困难，我们分别对二者分取对数。
　　　　 ${\rm lg}(g_8(n))={\rm lg}(\frac{3}{2})^n=n{\rm lg}\frac{3}{2}$
　　　　 ${\rm lg}(g_9(n))={\rm lg}(({\rm lg}n)^{{\rm lg}n})={\rm lg}n∙{\rm lglg}n≤{\rm lg}^2n$
　　利用3.2节的结论 $“$ 任意多项式函数都比任意多对数函数增长要快 $”$ ，所以 ${\rm lg}^2 n=o(n{\rm lg}\frac{3}{2})$ 。这说明，当 $n$ 足够大时，必然有 ${\rm lg}^2n<n{\rm lg}\frac{3}{2}$ ，即 ${\rm lg}(g_9 (n))<{\rm lg}(g_8 (n))$ 。由于对数函数是单调递增的，所以当 $n$ 足够大时，有 $g_9 (n)<g_8 (n)$ ，所以 $g_8 (n)=Ω(g_9 (n))$ 。
　　
　　 (3) $g_{11}(n)=({\rm lg}n)!$ 和 $g_{12}(n)=n^3$
　　利用习题3.2-4的结果“ $⌈{\rm lg}n⌉!$ 不是多项式有界”，说明 $({\rm lg}n)!$ 比多项式函数增长要快，而 $g_{12} (n)$ 刚好就是一个多项式函数。所以 $g_{11} (n)=Ω(g_{12} (n))$ 。
　　
　　 (4) $g_{19}(n)=(\sqrt{2})^{{\rm lg}n}$ 和 $g_{20}(n)=2^{\sqrt{2{\rm lg}n}}$
　　还是分别对二者取对数进行分析。
　　　　 ${\rm lg}(g_{19}(n))={\rm lg}((\sqrt{2})^{{\rm lg}n})={\rm lg}n∙lg\sqrt{2}=\frac{1}{2}{\rm lg}n$
　　　　 ${\rm lg}(g_{20}(n))={\rm lg}(2^{\sqrt{2{\rm lg}n}})=\sqrt{2{\rm lg}n}=\sqrt{2}∙({\rm lg}n)^{1/2}$
　　如果令 ${\rm lg}n$ ，上面两个等式就变为 ${\rm lg}(g_{19}(n))=\frac{1}{2}m$ 和 ${\rm lg}(g_{20}(n))=\sqrt{2}∙m^{1/2}$ 。显然，当 $m$ 足够大时，必然有 $\frac{1}{2}m>\sqrt{2}∙m^{1/2}$ ，即 ${\rm lg}(g_{19} (n))>{\rm lg}(g_{20} (n))$ ，因为 $m$ 比 $m^{1/2}$ 增长要快。由于对数函数是单调递增的，所以当 $n$ 足够大时，有 $g_{19} (n)>g_{20} (n)$ 。所以 $g_{19} (n)=Ω(g_{20} (n))$ 。
　　
　　 (5) $g_{20}(n)=2^{\sqrt{2{\rm lg}n}}$ 和 $g_{21} (n)={\rm lg}^2n$
　　依然对二者取对数进行分析。
　　　　 ${\rm lg}(g_{20} (n))={\rm lg}(2^{\sqrt{2{\rm lg}n}})=\sqrt{2{\rm lg}n}=\sqrt{2}∙({\rm lg}n)^{1/2}$
　　　　 ${\rm lg}(g_{21} (n))={\rm lg}({\rm lg}^2n)=2{\rm lglg}n$
　　令 ${\rm lg}n$ ，上面两个等式就变为 ${\rm lg}(g_{20} (n))=\sqrt{2}∙m^{1/2}$ 和 ${\rm lg}(g_{21}(n))=2{\rm lg}m$ 。利用3.2节的结论 $“$ 任意多项式函数都比任意多对数函数增长要快 $”$ ，可以得出当 $m$ 足够大时，必然有 $\sqrt{2}∙m^{1/2}>2{\rm lg}m$ ，即 ${\rm lg}(g_{20} (n))>{\rm lg}(g_{21} (n))$ 。由于对数函数是单调递增的，所以当 $n$ 足够大时，有 $g_{20} (n)>g_{21} (n)$ 。所以 $g_{20} (n)=Ω(g_{21} (n))$ 。
　　
　　 b.
　　比如下面这个函数。
　　　　在这里插入图片描述

yangtzhou

关注

25
点赞
踩
83

收藏

觉得还不错? 一键收藏
0
评论
算法导论 — 思考题3-3 根据渐近增长率排序

（根据渐近增长率排序）　　a. 根据增长的阶来排序下面的函数，即求出满足g1=Ω(g2),g2=Ω(g3),…,g29=Ω(g30)g_1 = Ω(g_2), g_2 = Ω(g_3), …, g_{29} = Ω(g_{30})g1=Ω(g2),g2=Ω(g3),…,g29=Ω(g30)的函数的一种排序g1,g2,…,g30g_1, g_2, …, g_{30}g1,g2,…,...
复制链接

扫一扫