漸近符號的比較
讓 f(n)
和 g(n)
是在正實數集上定義的兩個函式,c, c1, c2, n0
是正實常數。
符號 | f(n) = O(g(n) ) |
f(n) =Ω(g(n) ) |
f(n) =Θ(g(n) ) |
f(n) = o(g(n) ) |
f(n) =ω(g(n) ) |
---|---|---|---|---|---|
正式定義 | ∃ c > 0, ∃ n0 > 0 : ∀ n ≥ n0, 0 ≤ f(n) ≤ c g(n) |
∃ c > 0, ∃ n0 > 0 : ∀ n ≥ n0, 0 ≤ c g(n) ≤ f(n) |
∃ c1, c2 > 0, ∃ n0 > 0 : ∀ n ≥ n0, 0 ≤ c1 g(n)≤ f(n) ≤ c2 g(n) |
∀ c > 0, ∃ n0 > 0 : ∀ n ≥ n0, 0 ≤ f(n) < c g(n) |
∀ c > 0, ∃ n0 > 0 : ∀ n ≥ n0, 0 ≤ c g(n) < f(n) |
f, g 與實數 a, b 的漸近比較之間的類比 |
a ≤ b |
a ≥ b |
a = b |
a < b |
a > b |
例 | 7n + 10 = O(n^2 + n - 9) |
n^3 - 34 = Ω(10n^2 - 7n + 1) |
1/2 n^2 - 7n = Θ(n^2) |
5n^2 = o(n^3) |
7n^2 = ω(n) |
圖解 |
漸近符號可以在維恩圖上表示如下:
連結
Thomas H. Cormen,Charles E. Leiserson,Ronald L. Rivest,Clifford Stein。演算法簡介。