第3章函数的增长

最新推荐文章于 2021-10-15 17:58:15 发布

江湖乱飘

最新推荐文章于 2021-10-15 17:58:15 发布

阅读量2.6k

点赞数 5

分类专栏：《算法导论》（原书第3版）练习和思考题答案

本文链接：https://blog.csdn.net/sinat_41619658/article/details/81147372

版权

《算法导论》（原书第3版）练习和思考题答案专栏收录该内容

14 篇文章 245 订阅

订阅专栏

3.1 渐进记号

3.1-1

证明：需要确定正常量 c_1 、 c_2 和 n_0 ，使得对所有 $n\geqslant n_0$ ，有 $c_1(f(n)+g(n))\leqslant max(f(n),g(n))\leqslant c_2(f(n)+g(n))$ 。通过选择任何常量 $c_1\leq 1/2$ ，可以使左边的不等式对任何 $n\geq 0$ 成立。同样，通过选择任何常量 $c_2\geq 1$ ，可以使右边的不等式对任何 $n\geq 0$ 成立。因此，通过选择 c_1=1/2,c2=1 且 n_0=0 ，可以证明 $max(f(n),g(n))=\Theta (f(n)+g(n))$ 。

3.1-2

证明：需要确定正常量 c_1 、 c_2 和 n_0 ，使得对所有 $n\geqslant n_0$ ，有 $c_1n^b\leq (n+a)^b\leq c_2n^b$ 。用 n^b 除上式得： $c_1\leq (1+\frac{a}{n})^b\leq c_2$ 。通过选择任何常量 $c_1\leq 0$ ，可以使左边的不等式对任何 $n\geq \left | a \right |$ 成立。同样，通过选择任何常量 $c_2\geq 2^b$ ，可以使右边的不等式对任何 $n\geq \left | a \right |$ 成立。因此，通过选择 c_1=0,c_2=2^b 且 $n_0=\left | a \right |$ ，可以证明 $(n+a)^b=\Theta (n^b)$ 。

3.1-3

设算法的运行时间为 T(n) 。 $T(n)\geq O(n^2)$ 意味着对于 $f(n)\in$ { f(n): 存在正常量和 n_0 ，使得对所有 $n\geq n_0$ ，有 $0\leq f(n)\leq cg(n)$ }，有 $T(n)\geq f(n)$ 。因为 $T(n)\geq 0$ ，所以 $T(n)\geq O(n^2)$ 对所有 T(n) 都成立。因此“算法A的运行时间至少是 O(n^2) ”这一表述是无意义的。

3.1-4

需要确定正常量和，使得对所有 $n\geqslant n_0$ ，有 $0\leq 2^{n+1}\leq c2^n$ 。用除上式得： $0\leq 2\leq c$ 。通过选择任何常量 $c\geq 2$ ，可以使不等式对任何 $n\geq 0$ 成立。因此，通过选择且，可以证明 $2^{n+1}=O(2^n)$ 。
假设存在和，使得对所有 $n\geq n_0$ ，有 $0\leq 2^{2n}\leq c2^n$ 。然而用除该式，得： $0\leq 2^n\leq c$ ，因为为常量，所以对任意大的，该不等式不可能成立。

3.1-5

证明：

$f(n)=\Theta (g(n))\Rightarrow$ 存在正常量、和，使得对所有 $n\geq n_0$ ，有 $0\leq c_1g(n)\leq f(n)\leq c_2g(n)\Rightarrow$ 存在正常量和，有 $0\leq f(n)\leq cg(n)$ ，即。存在正常量和，有 $0\leq cg(n)\leq f(n)$ ，即 $f(n)=\Omega (g(n))$ 。
且 $f(n)=\Omega (g(n))\Rightarrow$ 存在正常量和，有 $0\leq f(n)\leq cg(n)$ 。存在正常量和，有 $0\leq cg(n)\leq f(n)\Rightarrow$ 存在正常量、和，使得对所有 $n\geq n_0$ ，有 $0\leq c_1g(n)\leq f(n)\leq c_2g(n)$ ，即 $f(n)=\Theta (g(n))$ 。

3.1-6

证明：设算法的运行时间为 T(n) ，最坏情况运行时间为 U(n) ，最好情况运行时间为 L(n) ，有 $0\leq L(n)\leq T(n)\leq U(n)$ 。

$T(n)=\Theta (g(n))\Rightarrow$ 存在正常量、和，使得对所有 $n\geq n_0$ ，有 $0\leq c_1g(n)\leq T(n)\leq c_2g(n)\Rightarrow$ 存在正常量和，有 $0\leq U(n)\leq cg(n)$ ，即。存在正常量和，有 $0\leq cg(n)\leq L(n)$ ，即 $L(n)=\Omega (g(n))$ 。
且 $L(n)=\Omega (g(n))\Rightarrow$ 存在正常量和，有 $0\leq U(n)\leq cg(n)$ 。存在正常量和，有 $0\leq cg(n)\leq L(n)\Rightarrow$ 存在正常量、和，使得对所有 $n\geq n_0$ ，有 $0\leq c_1g(n)\leq L(n)\leq T(n)\leq U(n)\leq c_2g(n)$ ，即 $T(n)=\Theta (g(n))$ 。

3.1-7

证明：设 $f(n)\in o(g(n))\cap w(g(n))$ 。则对任意正常量 c>0 ，存在常量 n_0>0 ，使得对所有 $n\geq n_0$ ，有 $0\leq f(n)< cg(n)$ 。且对任意正常量 c'>0 ，存在常量 n_0' ，使得对所有 $n\geq n_0'$ ，有 $0\leq c'g(n)<f(n)$ 。所以 $0\leq c'g(n)< f(n)< cg(n)$ ，但当 $c'\geq c$ 时， f(n) 不存在。因此 $o(g(n))\cap w(g(n))$ 为空集。

3.1-8

$\Omega (g(n,m))=\left \{ f(n,m):$ 存在正常量、和，使得对所有 $n\geq n_0$ 或 $m\geq m_0$ ，有 $0\leq cg(n,m)\leq f(n,m)\left \right \}$
$\Theta (g(n,m))=\left \{ f(n,m):$ 存在正常量、、和，使得对所有 $n\geq n_0$ 或 $m\geq m_0$ ，有 $0\leq c_1g(n,m)\leq f(n,m)\leq c_2g(n,m)\left \right \}$

3.2 标准记号与常用函数

3.2-1

证明：因为 f(n) 和 g(n) 是单调递增的函数，所以 $m\leq n$ 蕴涵 $f(m)\leq f(n)$ 和 $g(m)\leq g(n)$ 。

因为 $f(m)+g(m)\leq f(n)+g(n),f(g(m))\leq f(g(n))$ ，所以函数和也是单调递增的。
因为和是非负的，则对所有， $f(n)\geq 0,g(n)\geq 0$ 。所以 $f(m)\cdot g(m)\leq f(n)\cdot g(n)$ ，因此 $f(n)\cdot g(n)$ 是单调递增的。

3.2-2

证明： $a^{\log_b{c}}=a^{\frac{\log_a{c}}{\log_a{b}}}=(a^{\log_a{c}})^{\frac{1}{\log_a{b}}}=c^{\log_b{a}}$ 。

3.2-3

证明：由斯特林近似公式，即等式（3.18）， $\lg{(n!)}=\lg{\left [ \sqrt{2\pi n}(\frac{n}{e})^n(1+\Theta (\frac{1}{n})) \right ]}=\lg{\sqrt{2\pi n}}+\lg{(\frac{n}{e})^n}+\lg{(1+\Theta (\frac{1}{n}))}=$ $\lg{\sqrt{2\pi n}}+n\lg{(\frac{n}{e})}+\lg{(1+\Theta (\frac{1}{n}))}=\Theta (n\lg{n})$ 。

需要确定正常量，使得对所有 $c>0,n\geq n_0$ ，有 $0\leq c2^n<n!$ 。用除上式得： $0\leq 2c\cdot \frac{2^{n-1}}{(n-1)!}<n$ 。因为 $\frac{2^{n-1}}{(n-1)!}\leq 2\Rightarrow 2c\cdot \frac{2^{n-1}}{(n-1)!}\leq 4c\Rightarrow n>4c$ ，所以通过选择任何正常量 $n_0=\left \lceil 4c \right \rceil$ ，可以使不等式对任何成立，即 $n!=\omega (2^n)$ 成立。
需要确定正常量，使得对所有 $c>0,n\geq n_0$ ，有 $0\leq n!<cn^n$ 。用 $cn^{n-1}$ 除上式得： $0\leq \frac{n!}{cn^{n-1}}<n$ 。因为 $\frac{n!}{n^{n-1}}\leq 1\Rightarrow \frac{n!}{cn^{n-1}}\leq \frac{1}{c}\Rightarrow n>\frac{1}{c}$ ，所以通过选择任何正常量 $n_0=\left \lceil \frac{1}{c} \right \rceil$ ，可以使不等式对任何成立，即成立。

3.2-6

证明：

因为 $\phi ^2=(\frac{1+\sqrt{5}}{2})^2=\frac{6+2\sqrt{5}}{4}=\frac{3+\sqrt{5}}{2}=\frac{1+\sqrt{5}}{2}+1=\phi +1$ ，所以黄金分割率 $\phi$ 满足方程。
因为 $\hat{\phi} ^2=(\frac{1-\sqrt{5}}{2})^2=\frac{6-2\sqrt{5}}{4}=\frac{3-\sqrt{5}}{2}=\frac{1-\sqrt{5}}{2}+1=\hat{\phi} +1$ ，黄金分割率的共轭数 $\hat{\phi}$ 满足方程。

3.2-7

证明：

当时， $F_0=\frac{\phi ^0-\hat{\phi}^0}{\sqrt{5}}=\frac{1-1}{\sqrt{5}}=0$ 成立。
假设时， $F_k=\frac{\phi ^k-\hat{\phi}^k}{\sqrt{5}}$ 成立。当时， $F_{k+1}=F_k+F_{k-1}=\frac{\phi ^k-\hat{\phi }^k}{\sqrt{5}}+\frac{\phi ^{k-1}-\hat{\phi }^{k-1}}{\sqrt{5}}=\frac{\phi ^{k-1}(\phi +1)-\hat{\phi }^{k-1}(\hat{\phi }+1)}{\sqrt{5}}=$ $\frac{\phi ^{k-1}\phi ^2-\hat{\phi }^{k-1}(\hat{\phi }^2)}{\sqrt{5}}=\frac{\phi ^{k+1}-\hat{\phi }^{k+1}}{\sqrt{5}}$ 成立。

所以第个斐波那契数满足等式 $F_i=\frac{\phi ^i-\hat{\phi}^i}{\sqrt{5}}$ 。

3.2-8

证明： $k\ln{k}=\Theta (n)\Rightarrow$ 存在正常量 c_1 、 c_2 和 n_0 ，使得对所有 $n\geq n_0$ ，有 $c_1n\leq k\ln{k}\leq c_2n\Rightarrow\ln{c_1}+\ln{n}\leq \ln{k}+\ln{\ln{k}}\leq \ln{c_2}+\ln{n}\Rightarrow$ $\frac{\ln{c_1}}{\ln{k}}+\frac{\ln{n}}{\ln{k}}\leq 1+\frac{\ln{\ln{k}}}{\ln{k}}\leq \frac{\ln{c_2}}{\ln{k}}+\frac{\ln{n}}{\ln{k}}\Rightarrow$ $1+\frac{\ln{\ln{k}}}{\ln{k}}-\frac{\ln{c_2}}{\ln{k}}\leq \frac{\ln{n}}{\ln{k}}\leq 1+\frac{\ln{\ln{k}}}{\ln{k}}-\frac{\ln{c_1}}{\ln{k}}\Rightarrow$ $1+\frac{\ln{\frac{\ln{k}}{c_2}}}{\ln{k}}\leq \frac{\ln{n}}{\ln{k}}\leq 1+\frac{\ln{\frac{\ln{k}}{c_1}}}{\ln{k}}$ 。令 $f_1(k)=1+\frac{\ln{\frac{\ln{k}}{c_1}}}{\ln{k}},f_2(k)=1+\frac{\ln{\frac{\ln{k}}{c_2}}}{\ln{k}}$ ，因为 ${f_1}'(k)=\frac{({\ln{\frac{\ln{k}}{c_1}}})'\ln{k}+\ln{\frac{\ln{k}}{c_1}}{(\ln{k})}'}{(\ln{k})^2}=\frac{\frac{c_1}{\ln{k}}\frac{1}{c_1k}\ln{k}+(\ln{\frac{\ln{k}}{c_1}})\frac{1}{k}}{(\ln{k})^2}=\frac{1+\ln{\frac{\ln{k}}{c_1}}}{k(\ln{k})^2}$ ，显然 $k(\ln{k})^2>0$ ，令 $g_1(k)=1+\ln{\frac{\ln{k}}{c_1}}$ ，显然 g_1(x) 单调递增， $g_1(x)=0\Rightarrow \ln{\frac{\ln{k}}{c_1}}=-1\Rightarrow k=e^{(\frac{c_1}{e})}$ ，所以当 $0<k<e^{(\frac{c_1}{e})}$ 时， ${f_1}'(k)<0$ ，当 $k>e^{(\frac{c_1}{e})}$ 时， ${f_1}'(k)>0$ ，所以 f_1(k) 在 $k=+\infty$ 处取得最大值，即 $max(f_1(k))=\lim_{k\rightarrow +\infty }{f_1(k)}=\lim_{k\rightarrow +\infty }{1+\frac{\ln{\frac{\ln{k}}{c_1}}}{\ln{k}}}=1$ 。同理 f_2(k) 在 $k=e^{(\frac{c_2}{e})}$ 处取得最小值，即 $min(f_2(k))=f_2(e^{(\frac{c_2}{e})})=1-\frac{e}{c_2}$ 。所以 $1-\frac{e}{c_2}\leq \frac{\ln{n}}{\ln{k}}\leq 1$ 。 $c_1n\leq k\ln{k}\leq c_2n\Rightarrow \frac{c_1n}{\ln{k}}\leq k\leq \frac{c_2n}{\ln{k}}\Rightarrow \frac{\ln{n}}{\ln{k}}\frac{c_1n}{\ln{n}}\leq k\leq \frac{\ln{n}}{\ln{k}}\frac{c_2n}{\ln{n}}\Rightarrow$ $c_1(1-\frac{e}{c_2})\frac{n}{\ln{n}}\leq k\leq \frac{c_2n}{\ln{n}}$ ，因此，通过选择 $c'_1=c_1(1-\frac{e}{c_2}),c'_2=c_2$ 且 n'_0=n_0 ，可以证明 $\frac{c'_1n}{\ln{n}}\leq k\leq \frac{c'_2n}{\ln{n}}$ ，即 $k=\Theta (n/ln{n})$ 。

思考题

3-1

a.需要确定正常量和 n_0 ，使得对所有 $n\geqslant n_0$ ，有 $0\leq p(n)\leq cn^k$ ，即 $0\leq \sum _{i=0}^{d}{a_in^i}\leq cn^k$ 。因为 $k\geq d$ ，通过选择任何常量 $c\geq \sum _{i=0}^{d}{\left | a_i \right |}$ ，可以使不等式对任何 $n\geq 0$ 成立。因此，通过选择 $c= \sum _{i=0}^{d}{\left | a_i \right |}$ 且 n_0=0 ，可以证明 p(n)=O(n^k) 。

b.需要确定正常量和 n_0 ，使得对所有 $n\geqslant n_0$ ，有 $0\leq cn^k\leq p(n)$ ，即 $0\leq cn^k\leq \sum _{i=0}^{d}{a_in^i}$ 。因为 $k\leq d$ ，通过选择任何常量 $c\leq a_d$ ，可以使不等式对任何 $n\geq 0$ 成立。因此，通过选择 c=a_d 且 n_0=0 ，可以证明 $p(n)=\Omega (n^k)$ 。

c.需要确定正常量 c_1 、 c_2 和 n_0 ，使得对所有 $n\geqslant n_0$ ，有 $c_1n^k\leqslant p(n)\leqslant c_2n^k$ ，即 $c_1n^k\leqslant\sum _{i=0}^{d}{a_in^i}\leqslant c_2n^k$ 。通过选择任何常量 $c_1\leq a_d$ ，可以使左边的不等式对任何 $n\geq 0$ 成立。同样，通过选择任何常量 $c_2\geq \sum _{i=0}^{d}{\left | a_i \right |}$ ，可以使右边的不等式对任何 $n\geq 0$ 成立。因此，通过选择 $c_1=a_d,c2=\sum _{i=0}^{d}{\left | a_i \right |}$ 且 n_0=0 ，可以证明 $p(n)=\Theta (n^k)$ 。

d.需要确定正常量 n_0 ，使得对所有 $c>0,n\geq n_0$ ，有 $0\leq p(n)<cn^k$ ，即 $0\leq \sum _{i=0}^{d}{a_in^i}<cn^k$ 。因为 $\sum _{i=0}^{d}{a_in^i}\leq (\sum_{i=0}^{d}{\left | a_i \right |})n^d<(\sum_{i=0}^{d}{\left | a_i \right |})n^k$ ，所以通过选择任何正常量 $n_0=\left \lceil \frac{\sum_{i=0}^{d}{\left | a_i \right |}}{c} \right \rceil$ ，可以使不等式对任何 c>0 成立，即 p(n)=o(n^k) 成立。

e.需要确定正常量 n_0 ，使得对所有 $c>0,n\geq n_0$ ，有 $0\leq cn^k<p(n)$ ，即 $0\leq cn^k<\sum _{i=0}^{d}{a_in^i}$ 。因为 $\sum _{i=0}^{d}{a_in^i}\geq (a_d-\sum_{i=0}^{d-1}{\left | a_i \right |})n^d>(a_d-\sum_{i=0}^{d-1}{\left | a_i \right |})n^k$ ，所以通过选择任何正常量 $n_0=\left \lceil a_d-\sum_{i=0}^{d-1}{\left | a_i \right |} \right \rceil$ ，可以使不等式对任何 c>0 成立，即 $p(n)=\omega (n^k)$ 成立。

3-2

A	B		o	$\Omega$	$\omega$	$\Theta$
$\lg^k{n}$	$n^{\varepsilon }$	是	是	否	否	否
		是	是	否	否	否
$\sqrt{n}$	$n^{\sin{n}}$	否	否	否	否	否
	$2^{n/2}$	否	否	是	是	否
$n^{\lg{c}}$	$c^{\lg{n}}$	是	否	是	否	是
$\lg{(n!)}$	$\lg{(n^n)}$	是	否	是	否	是

3-3

$2^{2^{n+1}}$	$2^{2^n}$		n!		$n\cdot 2^n$
	$\left ( \frac{3}{2} \right )^n$	$n^{\lg{\lg{n}}},(\lg{n})^{\lg{n}}$	$(\lg{n})!$		$n^2,4^{\lg{n}}$
$n\lg{n},\lg{(n!)}$	$n,2^{\lg{n}}$	$(\sqrt{2})^{\lg{n}}$	$2^{\sqrt{2\lg{n}}}$	$\lg^2{n}$	$\ln{n}$
$\sqrt{\lg{n}}$	$\ln{\ln{n}}$	$2^{\lg^{\ast }{n}}$	$\lg^{\ast }{n},\lg^{\ast }{(\lg{n})}$	$\lg{(\lg^{\ast }{n})}$	$n^{1/\lg{n}},1$

b. $f(n)=n^{\sin{n}}$

3-4

a.当 f(n)=n,g(n)=n^2 时猜测不成立。

b.当 f(n)=1,g(n)=n 时猜测不成立。

c. $f(n)=O(g(n))\Rightarrow \left \{ f(n):$ 存在正常量和 n_0 ，使得对所有 $n\geqslant n_0$ ，有 $0\leqslant f(n)\leqslant cg(n)\left \right \}\Rightarrow \lg{(f(n))}\leqslant \lg{c}+\lg{(g(n))}\Rightarrow$ $\lg{(f(n))}=O(\lg{(g(n))})$ 。

d.当 f(n)=2n,g(n)=n 时猜测不成立。

e.当 f(n)=1/n 时猜测不成立。

f. $f(n)=O(g(n))\Rightarrow \left \{ f(n):$ 存在正常量和 n_0 ，使得对所有 $n\geqslant n_0$ ，有 $0\leqslant f(n)\leqslant cg(n)\left \right \}\Rightarrow 0\leqslant f(n)/c\leqslant g(n)\Rightarrow g(n)=\Omega (f(n))$ 。

g.当 f(n)=2^n 时猜测不成立。

h. $o(f(n))=\left \{$ 对任意正常量 c>0 ，存在常量 n_0>0 ，使得对所有 $n\geqslant n_0$ ，有 $0\leqslant o(f(n))\leqslant cf(n)\left \right \}\Rightarrow f(n)\leqslant f(n)+o(f(n))\leqslant (c+1)f(n)\Rightarrow$ $f(n)+o(f(n))=\Theta (f(n))$ 。

3-5

a.证明：对渐进非负的任意两个函数 f(n) 和 g(n) ，当足够大时，只能出现三种情况： $1.\,0\leqslant f(n)\leqslant cg(n);\quad2.\,0\leqslant cg(n)\leqslant f(n);\quad 3.\,f(n)$ 和 g(n) 有无限多个交点。第一种情况即 f(n)=O(g(n)) ，第三种情况即 $f(n)=\overset{\infty}{\Omega }(g(n))$ ，第二种情况即两者均成立。然而，如果使用 $\Omega$ 来代替 $\overset{\infty}{\Omega }$ ，第一种情况即，第二种情况即 $f(n)=\Omega (g(n))$ ，但两者均成立的时 f(n)=cg(n) ，与情况三不符。

b.优点：能分析更宽泛、更复杂的情况；缺点：边界条件不确定，分析结果不清晰。

c. $f(n)=\Theta (g(n))\nRightarrow f(n)=O'(g(n))\,and\,f(n)=\Omega (g(n))$ ， $\quad f(n)=\Theta (g(n))\Leftarrow f(n)=O'(g(n))\,and\,f(n)=\Omega (g(n))$ 。

d. $\tilde{\Omega }(g(n))=\left \{ f(n):$ 存在正常量 c,k 和 n_0 ，使得对所有 $n\geqslant n_0$ ，有 $0\leqslant cg(n)\lg^k{(n)}\leqslant f(n)\left \right \}$ ； $\tilde{\Theta }(g(n))=\left \{ f(n):$ 存在正常量 c_1,c_2,k 和 n_0 ，使得对所有 $n\geqslant n_0$ ，有 $0\leqslant c_1g(n)\lg^k{(n)}\leqslant f(n)\leqslant c_2g(n)\lg^k{(n)}\left \right \}$ 。

$f(n)=\tilde{\Theta }(g(n))\Leftrightarrow f(n)=\tilde{O}(g(n))\,and\,f(n)=\tilde{\Omega }(g(n))$

3-6

		$f_c^{\ast }(n)$
	0	$\Theta (n)$
$\lg{n}$	1	$\Theta (\lg^{\ast }{(n)})$
	1	$\Theta (\lg{n})$
	2	$\Theta (\lg{n})$
$\sqrt{n}$	2	$\Theta (\lg{\lg{(n)}})$
$\sqrt{n}$	1	$+\infty$
$n^{1/3}$	2	$\Theta (\lg{\lg{(n)}})$
$n/\lg{n}$	2

江湖乱飘

关注

5
点赞
踩
24

收藏

觉得还不错? 一键收藏
1
评论
第3章函数的增长

3.1 渐进记号3.1-1证明：需要确定正常量、和，使得对所有，有。通过选择任何常量，可以使左边的不等式对任何成立。同样，通过选择任何常量，可以使右边的不等式对任何成立。因此，通过选择且，可以证明。3.1-2证明：需要确定正常量、和，使得对所有，有。用除上式得：。通过选择任何常量，可以使左边的不等式对任何成立。同样，通过选择任何常量，可以使右边的不等式对任何成立。因此，通过选择...
复制链接

扫一扫