算法导论习题解答 4.1-6

4.1-6通过改变变量求解递归式T(n)=2T(√n)+1。得到的解应当是渐进紧确的。不必担心值是否为整数。
解：设m=lgn，则：n=2^m,T(2^m)=2T(2^（m/2）)+1。再设S(m)= T(2^m)，可得：S(m)=2S(m/2)+1,由主方法，a=2,b=2,f(m)=1，n^(log_b^a )=n^(log_2^2 )=n。f(n)=n^0=O(n^(1-1))满足第一种情况，S(m)=O(m)。T(n)=S(m)=O(m)=O(lgn)。