渐近记号

渐近记号：用来表示算法的渐近运行时间的记号，用定义域为自然数集N={0,1,2,...}的函数来定义。

渐进确界Θ：给出一个函数的上界和下界

　　Θ(g(n))={f(n)：存在正常数c₁,c₂和n₀，使对所有的n>=n₀，有0<=c₁g(n)<=f(n)<=c₂g(n) }   (在集合表示法中，“：”应读作“满足......的特性”)

      Θ(g(n))是一个集合，所以f(n)=Θ(g(n))就表示f(n)是Θ(g(n))的元素。对所有的n>=n₀,f(n)在一个常因子范围内与g(n)相等，我们说g(n)是f(n)的一个渐近确界。

渐进上界O：只给出渐近上界

　　O(g(n))={f(n)：存在正常数c和n₀，使对所有n>=n₀，有0<=f(n)<=cg(n) }

      为表示一个函数f(n)是集合O(g(n))的一个元素，记f(n)=O(g(n))。注意，f(n)=Θ(g(n))隐含着f(n)=O(g(n))，Θ记号强于O记号。

渐进下界Ω：只给出渐近下界

　　Ω(g(n))={f(n)：存在正常数c和n₀，使对所有n>=n₀，有0<=cg(n)<=f(n) }

a）Θ记号限制一个函数在常数因子内。如果存在正常数n₀，c₁和c₂使得在n₀右边f(n)的值永远在c₁g(n)与c₂g(n)之间，那么可以写成f(n)=Θ(g(n))。

b）O记号给出一个函数在常数因子内的上限。如果存在正常数n₀和c使得在n₀右边f(n)的值永远等于或小于cg(n)，那么可以写成f(n)=O(g(n))。

c）Ω记号给出一个函数在常数因子内的下限。如果存在正常数n₀和c使得在n₀右边f(n)的值永远等于或大于cg(n)，那么可以写成f(n)=Ω(g(n) 。

非渐近紧确的上界o

     其中，O记号所提供的渐进上界可能是也可能不是渐进紧确的。我们使用o记号表示非渐近紧确的上界：

　　o(g(n))={f(n)：对任意正常数c，存在常数n₀>0，使对所有的n>=n₀，有0<=f(n)<=cg(n) }

非渐近紧确的下界ω

     ω记号与Ω记号的关系就好像o记号与O记号的关系一样。我们用ω记号来表示非渐近紧确的下界：

　　ω(g(n))={f(n)：对任意正常数c，存在常数n₀>0，使对所有的n>=n₀，有0<=cg(n)<f(n) }

     或者另一种定义为

　　f(n)∈ω(g(n))当且仅当g(n)∈o(f(n))