大 O 记号

定义：$f(n) = O(g(n))$ 表示存在常数 $c, n_0$ 使 $n > n_0$ 时 $f(n) \le c \cdot g(n)$。

出处：渐近复杂度与主定理。