算法导论:关于时间复杂T(n)的表达式处置

算法导论:关于时间复杂T(n)的表达式处理

MIT算法导论提供了三种方法,不废话了,直接介绍:

( 公式显示不了,所有就截图了,请包涵~ 呵呵)


算法导论:关于时间复杂T(n)的表达式处置

1.      代换法:猜测-> 验证

         例如:T(n) = 4*T(n/2) + n (  其中T(1) =O(1)  )

         假设是时间复杂度是n^3

         那么证明:那么设T(k) <= c*k^3;

         那么带入有:T(n) = 4*(n/2)^3 + n

                                         = 1/2*n^3 + n ~ O( n^3 )


2.      递归树法:

         例如:T(n) = T(n/4) + T(n/2) + n^2 

         那么这种方法有一个特殊的表示方法:   

         T(n) 用下面的一颗树的表示!( 奇怪的表示形式 )

          算法导论:关于时间复杂T(n)的表达式处置

         

          那么我们可以看到,将每一行相加有:n^2                        第一行

                                                                             5/16*n^2               第二行

                                                                             25/256*n^2 …      第三行( if展开 )

            每一行都会有一个n^2,那么显然有复杂度为O(n^2 )

 

3.      Master Method:针对于T(n) = aT(n/b) + f(n)

         主要有三种情况需要记住:

         第一种:当f(n) = O( n^(logba -e) );     ( e > 0的一个数)

         注意:logba代表以b为底的a的对数( 不好表示 )

         即当f(n)与n^(logba)是低阶的时候,


         算法导论:关于时间复杂T(n)的表达式处置


          算法导论:关于时间复杂T(n)的表达式处置 

          例如:1.T(n) = 4*T(n/2) + n 则是第一种情况logba = 2,而n = n^1,所以1 < 2,所以为O( n^2 )

                      2. T(n) = 4*T(n/2) + n^2 则是第二种情况,注意此处的k=0的,又logba = 2,所以2 = 2,所以为O( n^2 * lgn )

                      3. T(n) = 4*T(n/2)+ n^3,则是第三情况,3 >2,所有结果是:O( f(n)) = O( n^3 )