渐进记号总结:
渐近记号包括:
(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!!
至于传递性,自反性,对称性什么的都比较简单,可以看书上,自行理解