算法导论 4.1-3

问题

证明：通过作不同的递归假设，对递归式（4.4）我们可以克服在证明边界条件T(1)=1时的困难，同时无需调整归纳证明中的边界情况。

分析

可以利用传递性，如果假设T(n)=O(f(n))，f(n)=O(nlgn)，那么T(n)=O(nlgn)
观察书中的证明，如果T(n)=O(nlgn+n)的话，当n=1时，T(1)=1<=c，只要在c>=1的情况下就 能成立

证明：	假设T(n)=O(lgn+n)，则 可以计算出T(n)<=c(nlg+n)+(1-c)n 所以当c>=1时,T(n)<=c(nlg+n)，即T(n)=O(nlgn+n) 此时将n=1代入，得T(1)<=c，因为T(1)=1,又c>=1，所以得证。