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 |