算法导论 第三章 函数的增长

 第三章 函数的增长

 

算法渐进符号

Θ ：给出上界和下界 f(n) =Θ(g(n)) è c1g(n) ≤ f(n) ≤ c2g(n)

О：给出上界 f(n) =О(g(n)) è f(n) ≤ cg(n)

Ω：给出下界f(n) =Ω(g(n)) è f(n) ≥ cg(n)

ο：给出非渐进紧界的上界 f(n) =ο(g(n)) è 0 ≤ f(n) ≤ cg(h) 其中c任意

ω：给出非渐进紧界的下界f(n) =ω(g(n)) è 0 ≤ cg(h) ≤ f(n) 其中c任意

 

习题：

3.1-1:  (1/2)*(f(n)+g(n)) ≤ max(f(n),g(n)) ≤ f(n)+g(n).

3.1-2:  (n + a)^b = (n^b)*(1 + a/n)^b；当n足够大时，a/n趋向于0.所以当n足够大时，(n + a)^b ≤ 2n^b。

3.1-3: О标记给出的是上界，与描述“至少”冲突。

3.1-4: 2^(n+1) = О(2^n)成立，2^(2*n) =О(2^n)不成立。

 

多重对数：lg^（i）n，对n连续应用对数i次。

对数的幂：lgⁱn，n的对数的n次方

多重对数函数：lg^*n = min{i≥0: lg^（i）n ≤ 1};求i的值即为多重对数函数，比如lg^*2 = 1，lg^*4 = 2，lg^*16 = 3，lg^*65536 = 4，lg^*(2^65536) = 5.