算法导论 3.1-5 证明定理3.1

证明定理3.1

解答：

定理3.1 对任意两个函数f(n)和g(n)，我们有f(n)=θ(g(n))，当且仅当f(n)=O(g(n))且f(n)=Ω(g(n)) 。

为了回答这道题，我们把θ、O和Ω三个函数的形式化定义列一遍。

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

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

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

为了证明该定理，必须分为两个步骤。

一、证明结论：如果f(n)=θ(g(n))，则必有f(n)=O(g(n))且f(n)=Ω(g(n)) 。

由θ函数定义可知，如果f(n)=θ(g(n))，则我们有：

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

那么在以上形式化定义下，θ同时满足O和Ω的形式化定义，故该结论成立。

二、如果f(n)=O(g(n))且f(n)=Ω(g(n))，则必有f(n)=θ(g(n)) 。

如果f(n)=O(g(n))且f(n)=Ω(g(n))，则可推导出存在正常量，和，使得对所有，有 ，且，由此可以推导出

。故该结论成立。