数据结构与算法分析 L3

大“O“操作符

算法的上界

定义：$g(n)\in O(f(n))$，当且仅当存在c, $n_0$，使得任意$n\geq n_0$，有$g(n)\leq cf(n)$。

极限定理

缩放定理

k是正常数，有$O(kf(n)) = O(f(n))$。

最大定理

$O(f(n)+g(n)) = O(max\{f(n), g(n)\})$

参与运算的函数个数必须是有限的！

传递性

如果$f(n)\in O(g(n))$, 且$g(n)\in O(h(n))$，那么有$f(n)\in O(h(n))$

反射性

$f(n)\in O(f(n))$

特例：存在函数使得$f(n)\notin O(g(n))$且$g(n)\notin O(f(n))$。比如不连续的函数或者周期函数。

Ω操作符

算法的下界

Θ操作符

$\Theta(f(n)) = O(f(n)) \bigcap\Omega(f(n)$

算法渐进排序

如果$\Theta(t_A(n))\in \Theta((t_B(n))$，那么算法A和算法B是渐进相等的。