算法导论 3.1-7

来源:互联网 发布:简述网络教育的定义 编辑:程序博客网 时间:2024/05/31 04:03

问题

证明是空集。

分析

证明:用反证法
设f(n)=o(g(n)),h(n)=w(g(n))
根据定义存在正常数n0,对任意正常数c,使得当n>=n0时,有0 <= f(n) <= cg(n)
并且存在正常数n1,对任意正常数c,使得当n>=n1时,有0 <= cg(n) <= h(n)
假设不是空集,则f(n)与h(n)存在交集i(n),那么i(n)满足
cg(n) <= i(n) <= cg(n),只有i(n)=cg(n)才能满足等式
但是渐近紧确上界o运算不满足自反律,即
与题设矛盾,所以是空集
得证