漸進記號總結:
漸近記號包括:
(1)Θ(theta):緊確界。 相當於"="
(2)O (大歐):上界。 相當於"<="
(3)o(小歐):非緊的上界。 相當於"<"
(4)Ω(大omega):下界。 相當於">="
(5)ω(小omega):非緊的下界。 相當於">"
給出這些記號的定義:
O和o,Ω和ω是很相似的
譬如O和o,對於O是,存在c和n0,而o是任意c>0,存在n0>0
s.t. f(n)<=cg(n) s.t. f(n)<cg(n)
然後就是說說算法導論書上的類似bug的一些知識點:
(1)f(n) = n^3 + O(n^2) 的含義是 存在h(n)屬於O(n^2) s.t. f(n) = n^3 + h(n)
(2)n^2 = O(n) = O(n^2) 含義是 任意f(n)屬於O(n) 存在h(n)屬於O(n^2) s.t. n^2 + f(n^2) = h(n)
(3)書上所有的lgn都指的是log2n!!
至於傳遞性,自反性,對稱性什麼的都比較簡單,可以看書上,自行理解