0301渐进记号课后练习-函数的增长-算法导论第三版

最新推荐文章于 2024-08-22 17:27:46 发布

gaog2zh

最新推荐文章于 2024-08-22 17:27:46 发布

阅读量611

点赞数 26

分类专栏：数据结构和算法文章标签：算法函数增长渐进记号课后练习

本文链接：https://blog.csdn.net/gaogzhen/article/details/138245077

版权

数据结构和算法专栏收录该内容

58 篇文章 3 订阅

订阅专栏

文章目录

- 结语

3.1-1 证明两函数与两函数之和的渐进关系

假设 $f (n) 与 g (n)$ 都是渐进非负函数。使用 $\Theta$ 记号的基本定义来证明 $max[f(n),g(n)]=\Theta[f(n)+g(n)]。$
$证明：\\ f(n)与g(n)都是渐进非负函数\\ \exist n_1,n_2,当n\gt n_1时，有f(n)\gt 0;n\gt n_2时，有g(n)\gt 0\\ 取n_0=\max(n_1,n_2)，当n\gt n_0时，有\\ 0\le\frac{f(n)+g(n)}{2}\le max[f(n)+g(n)]\le f(n)+g(n)\\ 此时取c_1=\frac{1}{2},c_2=1,当n\gt n_0时，有\\ \max[f(n)+g(n)]=\Theta[f(n)+g(n)]$

3.1-2 证明指数函数的渐进关系

证明：对任意实常量 $a, b$ 其中， $b\gt 0$ ,有 $(n+a)^b=\Theta(n^b)$
$证明：\\ 二项式展开(n+a)^b:\\ (n+a)^b=\sum_{k=0}^bC_k^bn^{b-k}a^k=C_0^bn^ba^0+C_1^bn^{b-1}a^1+\cdots+C_b^bn^0a^b\\ 当n\ge 1时，有\\ C_0^bn^ba^0\le \sum_{k=0}^bC_k^bn^{b-k}a^k\le (C_0^ba^0+C_1^ba^1+\cdots+C_b^ba^b)n^b\\ 令c_1=1,c_2=(C_0^ba^0+C_1^ba^1+\cdots+C_b^ba^b)\\ \therefore (n+a)^b=\Theta(n^b)$

3.1-3 解释为什么“算法A的试运行时间至少是 $\Omicron(n^2)$ "这一表述没有意思？

$解释:\\ T(n)为算法的运行时间，我们讨论T(n)的上界和下界：\\ 表述：T(n)\ge \Omicron(n^2)\\ 上界：明显没有\\ 下界：\\ 假设f(n)=\Omicron(n^2)，此时f(n)可以是任何小于n^2的函数,比如常数,n等等\\ \therefore 表述：算法A的运行时间至少是\Omicron(n^2)没有意义$

同理：“算法A的运行时间至多是 $\Omega(n^2)$ ”也是没有意义的

3.1-4 $\Omicron 示例$

$2^{n+1}=\Omicron(2^n)$ 成立吗？ $2^{2n}=\Omicron(2^n)$ 成立吗？
$2^{n+1}=\Omicron(2^n)成立；2^{2n}=\Omicron(2^n)不成立；\\ 证明：2^{n+1}=\Omicron(2^n)成立\\ 取c\ge 2,no=0,当n\ge n_0时有0\le 2^{n+1}\le c2^n\\ 证明：2^{2n}=\Omicron(2^n)不成立\\ 假设存在常量c,n_0 当n\ge n_0 有0\le 2^{2n}=4^n\le c2^n成立 c\ge 2^n,这样的c不存在,因此等式不成立$

3.1-5 证明定理3.1

定理3.1 对人员两个函数 $f (n) 和 g (n)$ ，我没有 $f(n)=\Theta[g(n)]$ ,当且仅当 $f(n)=\Omicron[g(n)]且f(n)=\Omega[g(n)]$

$证明：\\ 必要性：\\ f(n)=\Theta[g(n)]，存在常数c_1,c_2,n_0，当n\ge n_0时，有\\ 0\le c_1f(n)\le g(n)\le c_2f(n)\\ 所以f(n)=\Omicron[g(n)]且f(n)=\Omega[g(n)]\\ 充分性:\\ f(n)=\Omicron[g(n)]，存在常数c_1,n_1，当n\ge n_1时，有\\ 0\le c_1f(n)\le g(n)\\ f(n)=\Omega[g(n)]，存在常数c_2,n_2，当n\ge n_2时，有\\ 0\le g(n)\le c_2f(n)\\ 令n_0=\max(n_1,n_2)，对上述c_1,c_2，有\\ 0\le c_1f(n)\le g(n)\le c_2f(n)\\ \therefore f(n)=\Theta[g(n)]$

3.1-6 证明：一个算法的运行时间为 $\Theta[g(n)]$ 当前仅当其最坏情况运行时间 $\Omicron[g(n)]$ 且其最好情况运行时间为 $\Omega[g(n)]$ 。

$证明：\\ 必要性不在证明\\ 充分性\\ 设T_w(n)为算法最坏情况运行时间，T_b(n)为算法最好情况运行时间,T(n)运行时间\\ 存在常数c_1,n_1,当n\ge n_1时，有\\ 0\le T_w(n) \le c_1g(n)\\ 存在常数c_2,n_2,当n\ge n_2时，有\\ 0\le c_2g(n)\le T_b(n)\\ 取n_0=\max(n_1,n_2)，对上述c_1,c_2有\\ 0\le c_2g(n)\le T_b(n)\le T(n)\le T_w(n)\le c_1g(n)\\ 证明完毕.$

3.1-7 证明： $o[g(n)]\cap \omega[g(n)]=\varnothing$

$证明：\\ 令f(n)=o[g(n)]\cap \omega[g(n)]=\varnothing\\ 对于\forall c_1\gt 0,c_2\gt 0，\\ \exist n_1\gt 0,当n\gt n_1时，有0\le c_1g(n)\lt f(n) \\ \exist n_2\gt 0,当n\gt n_2时，有0\le f(n)\lt c_2g(n)\\ 取n_0=\max(n_1,n_2),c=c_1=c_2,有0\le cg(n)\lt f(n)\lt cg(n)\\ 显然等式不成立\\ \therefore f(n)=o[g(n)]\cap \omega[g(n)]=\varnothing$

3.1-8 扩展多元渐进函数的定义

可以扩展我们的记号到两个参数n和m的情形，其中n和m可以按照不同速率独立地趋于无穷。对应给定的函数 $g (n, m)$ ，用 $\Omicron[g(n,m)]$ 来表示一下函数集

$\Omicron[g(n,m)]=\{f(n,m):\exist c、n_0和m_0,当n\ge n_0或m\ge m_0时，有0\le f(n,m)\le cg(n,m)\}$

$\Omega[g(n,m)]=\{f(n,m):\exist c、n_0和m_0,当n\ge n_0或m\ge m_0时，有0\le cg(n,m)\le f(n))\}$

$\Theta[g(n,m)]=\{f(n,m):\exist c_1、c_2、n_0和m_0,当n\ge n_0或m\ge m_0时，有0\le c_1g(n,m)\le f(n))\le c_2g(n,m)\}$