O、Ω和Θ

本文假定这里讨论的所有函数取非负的值

1、O表示渐近上界
　　令T(n)为函数——比如某算法在规模为n的输入上的最坏情况运行时间。给定另一个函数f(n)，如果对充分大的n，函数T(n)不超过f(n)的常数倍，就说T(n)是O(f(n))(读作“T(n)是f(n)阶的”)，记作T(n)=O(f(n))。
　　如果存在常数c>0和n₀$\geq 0$，使得对所有的n$\geq n$₀有T(n)$\leq$c $\cdot$ f(n), 这种情况下称f是T的渐近上界。
2、Ω表示渐近下界
　　如果存在常数 $\epsilon$>0和n₀$\geq 0$，使得对所有的n$\geq n$₀有T(n)$\geq$$\epsilon$ $\cdot$ f(n), 这种情况下称f是T(n)的渐近下界。
3、Θ渐近的紧的界
　　如果可以证明运行时间T(n)既是O(f(n))且也是$\Omega$(f(n))，那么本质上，就找到了“紧的”界：T(n)的增长恰好像f(n)一样，仅差一个常数因子。例如，从T(n)=pn²+qn+r既是O(n²)也是$\Omega$(n²)的事实可以得出这个结论。
　　如果T(n)既是O(f(n))且也是$\Omega$(f(n))，就说T(n)是Θ(f(n))，这种情况下，f(n)是关于T(n)的一个渐近的紧的界

公式编辑

markdown公式编辑