算法导论 4-1

1 题目

给出下列递归式的渐近上下界。假设T(n)是个常数，n<=2。使所给出的界尽量紧确。并给出证明。

2 分析与解答

a) T(n)=2T(n/2)+n³

b) T(n)=T(9/10n)+n

c) T(n)=16T(n/4)+n²

d) T(n)=7T(n/3)+n²

e) T(n)=7T(n/2)+n²

f) T(n)=2T(n/4)+n^1/2

g) T(n)=T(n-1)+n

h) T(n)=T(n^1/2 )+1

证明：

a) n^{log_b a}=n, f(n)=n³ = Ω(n^{1+ ε} ), af(n/b)=2(n/2)³=1/4n <= cn³ , T(n)=Θ(n³)

b) n^{log_b a}=1, f(n)=n=Ω(n^{0+ ε}), af(n/b)=9/10n <= 19/20n,T(n)=Θ(n)

c) n^{log_b a}=n², f(n)=Θ(n² ), T(n)=Θ(n² lgn)

d) n^{log_b a}=n^{log₃ 7}, f(n)=n²=n^{log₃ 9}=Ω(n^{log₃ 7 + ε}), af(n/b) = 7(n/3)² =7/9n² <= 8/9 n² , T(n)=Θ(n²)

e) n^{log_b a}=n^lg7 , f(n)=n² =n^lg4 =O(n^{lg7 - ε}), T(n)=Θ(n^lg7)

f) n^{log_b a}=n^1/2, f(n)=Θ(n^1/2), T(n)=Θ(n^1/2lgn)

g) 用递归树法，T(n)=∑_i=0^n-2(n-i) + Θ(1)= Θ(n²)

h) 用替换法，n=2^m , n^1/2=2^(m/2), T(2^m)=T(2^m/2) +1 , S(m)=T(2^m),S(m/2)=T(2^m/2), S(m)=S(m/2)+1, m^{log_b a}=1, f(m)=Θ(1),S(m)=Θ(lgm), T(2^m)=Θ(lgm), T(n)=Θ(lglgn)