《算法导论》系列课后思考题之-第四章《递归式》

 

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

证：假设存在足够大的常数c，有

                       T(n) <= clg(n-b)

       即同时有

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

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

      此时显然有c>=1,b>=2时，T(n)的解为O(lgn)。

 

4.1-2 证明T(n)=2T(floor(n/2))+n的解为O(nlgn)。证明这个递归的解也是Ω(nlgn)。得到的解为Ф(nlgn)

证：假设存在正常数c1，有

                     T(n)<=c1nlgn

        即同时有

                      T(n) <= 2c1*floor(n/2)*lg(floor(n/2)) + n

                              <= 2c1*(n/2)*lg(n/2) + n

                               = nc1lgn - nc1 + n

                               = nc1lng + (1 - c1)n

                               <= c1*nlgn

        显然c1 >= 1时，T(n)的解为O(nlgn).

       假设存在正常数c2，有

                     T(n)>=c2(n-b)lg(n-b)

        即同时有

                      T(n) >= 2c2*floor(n/2-b)*lg(floor(n/2-b)) + n

                              > 2c2*(n/2 - 1-b)*lg(n/2-b -1) + n

                               = c2(n - 2 - 2b)lg(n/2 - b - 1) + n

                               = c2(n - 2- 2b)lg(n- 2b - 2) + n - c2(n - 2 - 2b)

                               = c2(n - 2 - 2b)lg(n- 2b - 2) + n(1 - c2) + c2(2 + 2b)

                               >=c2(n-b)lg(n-b)

        显然0 <= b <= 2时，0 < c2 < 1时， T(n)的解为O(nlgn).

        此时得到的解为Θ(nlgn)。