算法导论 3.2-3 证明题

证明等式(3.19)。并证明且。

解答：

等式(3.19)：=θ()

θ(g(n))表示以下函数的集合：

θ(g(n))={ f(n): 存在正常量、和，使得对所有，有 }

要证明=θ()，则需要证明：

θ()={ : 存在正常量、和，使得对所有，有 }

证明1：

根据斯特林公式可得：，由于，可得，进一步的，可以推出

 ，当时，，可以推出，进一步推出

，当时，，由此可以进一步推得，进一步可得

，所以 ，我们对不等式两边取对数，可得 ，由于，所以

，由此可以得出，当，且当时， )时，有。

证明2：

根据斯特林公式可得：，由于，可得

当时，可得，进一步可得，我们将左边的除法改为乘法，可得，我们取，该不等式可以变换为

，将不等式左右两边各处以e，可得，推出 ，将不等式两边各乘以n，可得

，我们将不等式两边各取n次方，可得，即

由于，又由于，可得。

也就是说，当c=0.5时，有我们将不等式两边取2的对数，即可得，

由于，该不等式可以变为。

因此我们可以得出，存在正常量，使得对所有，有。

结合证明1和证明2，等式(3.19)成立

 

证明：

ω记号定义如下：

ω(g(n)) = { f(n): 对任意正常量 c > 0，存在常量，使得对所有，有 }

要证明，则可转化为证明：

 = {   : 对任意正常量 c > 0，存在常量，使得对所有，有 }

由斯特林公式可得，，又由于，且，可得

，可以推出，当n>2e时，，进一步可以推出  。

由此可得，存在c=1，使得对所有n>2e，有。得证。

 

证明

o记号定义如下：

o(g(n)) = { f(n): 对任意正常量c>0，存在常量，使得对所有，有 }

要证明，则可转化为证明：

 = {   : 对任意正常量 c > 0，存在常量，使得对所有，有 }

我们取c=1，通过数学归纳法：

初始：当n = 2时， 成立。

保持：当  成立时，推得 ，故不等式成立。

将不等式左右两边各乘以n+1，得 。

由于 ，，可得

 。

因此成立。

得证。