3.1 渐进记号
3.1-1
证明:需要确定正常量、
和
,使得对所有
,有
。通过选择任何常量
,可以使左边的不等式对任何
成立。同样,通过选择任何常量
,可以使右边的不等式对任何
成立。因此, 通过选择
且
,可以证明
。
3.1-2
证明: 需要确定正常量、
和
,使得对所有
,有
。用
除上式得:
。通过选择任何常量
,可以使左边的不等式对任何
成立。同样,通过选择任何常量
,可以使右边的不等式对任何
成立。因此,通过选择
且
,可以证明
。
3.1-3
设算法的运行时间为
。
意味着对于
{
存在正常量
和
,使得对所有
,有
},有
。因为
,所以
对所有
都成立。因此“算法A的运行时间至少是
”这一表述是无意义的。
3.1-4
- 需要确定正常量
和
,使得对所有
,有
。用
除上式得:
。通过选择任何常量
,可以使不等式对任何
成立。因此,通过选择
且
,可以证明
。
- 假设存在
和
,使得对所有
,有
。然而用
除该式,得:
,因为
为常量,所以对任意大的
,该不等式不可能成立。
3.1-5
证明:
存在正常量
、
和
,使得对所有
,有
存在正常量
和
,有
,即
。 存在正常量
和
,有
,即
。
且
存在正常量
和
,有
。 存在正常量
和
,有
存在正常量
、
和
,使得对所有
,有
,即
。
3.1-6
证明:设算法的运行时间为,最坏情况运行时间为
,最好情况运行时间为
,有
。
存在正常量
、
和
,使得对所有
,有
存在正常量
和
,有
,即
。 存在正常量
和
,有
,即
。
且
存在正常量
和
,有
。 存在正常量
和
,有
存在正常量
、
和
,使得对所有
,有
,即
。
3.1-7
证明:设。则对任意正常量
,存在常量
,使得对所有
,有
。且对任意正常量
,存在常量
,使得对所有
,有
。所以
,但当
时,
不存在。因此
为空集。
3.1-8
存在正常量
、
和
,使得对所有
或
,有
存在正常量
、
、
和
,使得对所有
或
,有
3.2 标准记号与常用函数
3.2-1
证明:因为和
是单调递增的函数,所以
蕴涵
和
。
- 因为
,所以函数
和
也是单调递增的。
- 因为
和
是非负的,则对所有
,
。所以
,因此
是单调递增的。
3.2-2
证明:。
3.2-3
证明:由斯特林近似公式,即等式(3.18),。
- 需要确定正常量
,使得对所有
,有
。用
除上式得:
。因为
,所以通过选择任何正常量
,可以使不等式对任何
成立,即
成立。
- 需要确定正常量
,使得对所有
,有
。用
除上式得:
。因为
,所以通过选择任何正常量
,可以使不等式对任何
成立,即
成立。
3.2-6
证明:
- 因为
,所以黄金分割率
满足方程
。
- 因为
,黄金分割率的共轭数
满足方程
。
3.2-7
证明:
- 当
时,
成立。
- 假设
时,
成立。当
时,
成立。
所以第个斐波那契数满足等式
。
3.2-8
证明: 存在正常量
、
和
,使得对所有
,有
。令
,因为
,显然
,令
,显然
单调递增,
,所以当
时,
,当
时,
,所以
在
处取得最大值,即
。同理
在
处取得最小值,即
。所以
。
,因此,通过选择
且
,可以证明
,即
。
思考题
3-1
a.需要确定正常量和
,使得对所有
,有
,即
。因为
,通过选择任何常量
,可以使不等式对任何
成立。因此,通过选择
且
,可以证明
。
b.需要确定正常量和
,使得对所有
,有
,即
。因为
,通过选择任何常量
,可以使不等式对任何
成立。因此,通过选择
且
,可以证明
。
c.需要确定正常量、
和
,使得对所有
,有
,即
。通过选择任何常量
,可以使左边的不等式对任何
成立。同样,通过选择任何常量
,可以使右边的不等式对任何
成立。因此,通过选择
且
,可以证明
。
d.需要确定正常量,使得对所有
,有
,即
。因为
,所以通过选择任何正常量
,可以使不等式对任何
成立,即
成立。
e.需要确定正常量,使得对所有
,有
,即
。因为
,所以通过选择任何正常量
,可以使不等式对任何
成立,即
成立。
3-2
A | B | ![]() | o | ![]() | ![]() | ![]() |
![]() | ![]() | 是 | 是 | 否 | 否 | 否 |
![]() | ![]() | 是 | 是 | 否 | 否 | 否 |
![]() | ![]() | 否 | 否 | 否 | 否 | 否 |
![]() | ![]() | 否 | 否 | 是 | 是 | 否 |
![]() | ![]() | 是 | 否 | 是 | 否 | 是 |
![]() | ![]() | 是 | 否 | 是 | 否 | 是 |
3-3
a.
![]() | ![]() | ![]() | n! | ![]() | ![]() |
![]() | ![]() | ![]() | ![]() | ![]() | ![]() |
![]() | ![]() | ![]() | ![]() | ![]() | ![]() |
![]() | ![]() | ![]() | ![]() | ![]() | ![]() |
b.
3-4
a.当时猜测不成立。
b.当时猜测不成立。
c.存在正常量
和
,使得对所有
,有
。
d.当时猜测不成立。
e.当时猜测不成立。
f.存在正常量
和
,使得对所有
,有
。
g.当时猜测不成立。
h.对任意正常量
,存在常量
,使得对所有
,有
。
3-5
a.证明:对渐进非负的任意两个函数和
,当
足够大时,只能出现三种情况:
和
有无限多个交点。第一种情况即
,第三种情况即
,第二种情况即两者均成立。然而,如果使用
来代替
,第一种情况即
,第二种情况即
,但两者均成立的时
,与情况三不符。
b.优点:能分析更宽泛、更复杂的情况;缺点:边界条件不确定,分析结果不清晰。
c.,
。
d.存在正常量
和
,使得对所有
,有
;
存在正常量
和
,使得对所有
,有
。
3-6
![]() | ![]() | ![]() |
![]() | 0 | ![]() |
![]() | 1 | ![]() |
![]() | 1 | ![]() |
![]() | 2 | ![]() |
![]() | 2 | ![]() |
![]() | 1 | ![]() |
![]() | 2 | ![]() |
![]() | 2 |