大“O“操作符
算法的上界
定义: g(n)∈O(f(n)) ,当且仅当存在c, n0 ,使得任意 n≥n0 ,有 g(n)≤cf(n) 。
极限定理
缩放定理
k是正常数,有 O(kf(n))=O(f(n)) 。
最大定理
O(f(n)+g(n))=O(max{f(n),g(n)})
参与运算的函数个数必须是有限的!
传递性
如果 f(n)∈O(g(n)) , 且 g(n)∈O(h(n)) ,那么有 f(n)∈O(h(n))
反射性
f(n)∈O(f(n))
特例:存在函数使得 f(n)∉O(g(n)) 且 g(n)∉O(f(n)) 。比如不连续的函数或者周期函数。
Ω操作符
算法的下界
Θ操作符
Θ(f(n))=O(f(n))⋂Ω(f(n)
算法渐进排序
如果 Θ(tA(n))∈Θ((tB(n)) ,那么算法A和算法B是渐进相等的。