算法导论 3.1-7 证明题

证明： 为空集。

解题：

根据o和w函数的形式化定义：

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

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

我们取o(g(n))和w(g(n))的交集，那么该交集可以定义如下：

 = { f(n)：对任意正常量和，存在常量，使得对所有，有 }

由于和是任意正常量，那么我们取=1，且=1，那么该集合为

{ f(n)：对所有，有 }

由于f(n)不可能既大于g(n)又小于g(n)，故该集合是不存在的，也就是说，该集合是个空集合。

故  为空集 得证 。