算法导论第四章4.1节代换法课后答案

第四章递归式

4.1-1 证明T(n)=T(n/2)+1的解为O(lgn).

这个递归式和书中的T(n)=T(n/2)+T(n/2)+1很像。

同时也猜测是否也差了一个常数1。

所以很多答案作者就自热而然的猜测出需要减去一个低阶项。既T(n)<=clg(n-b)

就有如下答案了。

假设T(n/2)<=clg(n/2-b)成立。 

T(n)=T(n/2)+1<=clg(n/2-b) +1

             <=clg(n/2-b+1) +1

              =clg((n-2b+2)/2)+1

              =c(lg(n-2b+2)-lg2)+1

              =clg(n-2b+2)-c+1

              =clg(n-b-b+2)+1-c  ....(1)