1 题目
在主定理的情况3)中,条件af(n/b) <= cf(n),c<1隐含着存在常数ε > 0使f(n)=Ω(nlogb a+ε )。据此请证明定理中的陈述过强了。
2 分析与解答
证明:由af(n/b) <= cf(n)得到,f(n) >= (a/c)f(n/b);
递归地连续使用此式得,f(n) >= (a/c)j f(n/bj );
假设f(1)为常数,那么当j=logb n 时,f(n/bj ) = f(1),由此可得:
f(n) >= (a/c)logb n f(1) = nlogb (a/c) f(1) = f(1) nlogb a -logb c ;
所以,当c1 = f(1),ε = -logb c 时,有 f(n) >= c1 nlogb a + ε ,即f(n)=Ω(nlogb a+ε )。