专栏首页stream process递归算法的时间复杂度分析

递归算法的时间复杂度分析

转自地址 http://blog.csdn.net/metasearch/article/details/4428865

在算法分析中,当一个算法中包含递归调用时,其时间复杂度的分析会转化为一个递归方程求解。实际上,这个问题是数学上求解渐近阶的问题,而递归方程的形式多种多样,其求解方法也是不一而足,比较常用的有以下四种方法:

(1)代入法(Substitution Method) 代入法的基本步骤是先推测递归方程的显式解,然后用数学归纳法来验证该解是否合理。 (2)迭代法(Iteration Method) 迭代法的基本步骤是迭代地展开递归方程的右端,使之成为一个非递归的和式,然后通过对和式的估计来达到对方程左端即方程的解的估计。 (3)套用公式法(Master Method) 这个方法针对形如“T(n) = aT(n/b) + f(n)”的递归方程。这种递归方程是分治法的时间复杂性所满足的递归关系,即一个规模为n的问题被分成规模均为n/b的a个子问题,递归地求解这a个子 问题,然后通过对这a个子间题的解的综合,得到原问题的解。 (4)差分方程法(Difference Formula Method)

可以将某些递归方程看成差分方程,通过解差分方程的方法来解递归方程,然后对解作出渐近阶估计。 下面就以上方法给出一些例子说明。 一、代入法 大整数乘法计算时间的递归方程为:T(n) = 4T(n/2) + O(n),其中T(1) = O(1),我们猜测一个解T(n) = O(n2 ),根据符号O的定义,对n>n0,有T(n) < cn2 - eO(2n)(注意,这里减去O(2n),因其是低阶项,不会影响到n足够大时的渐近性),把这个解代入递归方程,得到: T(n) = 4T(n/2) + O(n) ≤ 4c(n/2)2 - eO(2n/2)) + O(n) = cn2 - eO(n) + O(n) ≤ cn2 其中,c为正常数,e取1,上式符合 T(n)≤cn2 的定义,则可认为O(n2 )是T(n)的一个解,再用数学归纳法加以证明。 二、迭代法 某算法的计算时间为:T(n) = 3T(n/4) + O(n),其中T(1) = O(1),迭代两次可将右端展开为: T(n) = 3T(n/4) + O(n) = O(n) + 3( O(n/4) + 3T(n/42 ) ) = O(n) + 3( O(n/4) + 3( O(n/42 ) + 3T(n/43 ) ) ) 从上式可以看出,这是一个递归方程,我们可以写出迭代i次后的方程: T(n) = O(n) + 3( O(n/4) + 3( O(n/42 ) + ... + 3( n/4i + 3T(n/4i+1 ) ) ) ) 当n/4i+1 =1时,T(n/4i+1 )=1,则 T(n) = n + (3/4) + (32 /42 )n + ... + (3i /4i )n + (3i+1 )T(1) < 4n + 3i+1 而由n/4i+1 =1可知,i<log4 n,从而 3i+1 ≤ 3log4 n+1 = 3log3 n*log4 3 +1 = 3nlog4 3 代入得: T(n) < 4n + 3nlog4 3,即T(n) = O(n)。 三、套用公式法 这个方法为估计形如:

  T(n) = aT(n/b) + f(n)

  其中,a≥1和b≥1,均为常数,f(n)是一个确定的正函数。在f(n)的三类情况下,我们有T(n)的渐近估计式: 1.若对于某常数ε>0,有f(n) = O(nlogb a-ε ),则T(n) = O(nlogb a ) 2.若f(n) = O(nlogb a ),则T(n) = O(nlogb a *logn) 3.若f(n) = O(nlogb a+ε ),且对于某常数c>1和所有充分大的正整数n,有af(n/b)≤cf(n),则T(n)=O(f(n))。 设T(n) = 4T(n/2) + n,则a = 4,b = 2,f(n) = n,计算得出nlogb a = nlog2 4 = n2 ,而f(n) = n = O(n2-ε ),此时ε= 1,根据第1种情况,我们得到T(n) = O(n2 )。 这里涉及的三类情况,都是拿f(n)与nlogb a 作比较,而递归方程解的渐近阶由这两个函数中的较大者决定。在第一类情况下,函数nlogb a 较大,则T(n)=O(nlogb a );在第三类情况下,函数f(n)较大,则T(n)=O(f (n));在第二类情况下,两个函数一样大,则T(n)=O(nlogb a *logn),即以n的对数作为因子乘上f(n)与T(n)的同阶。 但上述三类情况并没有覆盖所有可能的f(n)。在第一类情况和第二类情况之间有一个间隙:f(n)小于但不是多项式地小于nlogb a ,第二类与第三类之间也存在这种情况,此时公式法不适用

本文参与腾讯云自媒体分享计划,欢迎正在阅读的你也加入,一起分享。

我来说两句

0 条评论
登录 后参与评论

相关文章

  • kafka集群扩容以及数据迁移

    一 kafka集群扩容比较简单,机器配置一样的前提下只需要把配置文件里的brokerid改一个新的启动起来就可以。比较需要注意的是如果公司内网dns更改的不是很...

    sanmutongzi
  • luajit 安装cjson

    最近需要升级原有服务器的nginx加载逻辑,新的lua脚本需要解析一个远程返回的json格式的结果,原有的luajit并没有带cjson库,需要自己手动安装一下...

    sanmutongzi
  • java解析页面包jsoup

    http://www.open-open.com/jsoup/parsing-a-document.htm

    sanmutongzi
  • SAP Hybris和ABAP Netweaver里的DAO(Data access object)

    Hybris里所有DAO实现的super class是hybris标准的框架DAO, 定义在如下namespace里. 讨论都是一个DAO作为interface...

    Jerry Wang
  • php求斐波那契数的两种实现方式【递归与递推】

    斐波那契数,亦称之为斐波那契数列(意大利语: Successione di Fibonacci),又称黄金分割数列、费波那西数列、费波拿契数、费氏数列,指的是这...

    砸漏
  • JavaScript中的后置声明是什么?

    刚开始接触JavaScript时,大家可能都碰到过后置声明这个词。学习这个词的定义之前,让我们先看一个例子。下面我们先创建一个函数再调用:

    疯狂的技术宅
  • [译] 什么是Javascript中的提升

    JS 初学者可能会碰到“变量提升”、“函数声明提升”等术语。在深入讨论任何“提升(hoisting)”的定义之前,先举个例子 -- 定义一个函数并调用:

    江米小枣
  • 新版本RadAsm编译环境配置

    博客上关于RadAsm阅读量很高,而之前的文章适用于旧版.这里出以下新版.虽然此时是新版.但是以后会更新的.但是大体不会改变.而且这一次的设置更快,更方便.

    IBinary
  • Java|Lexer分析报告

    rules是一个数组,数组里面是单个对象,然后利用utils的some方法将rules数组里的每一项的regex放进去判断是否满足条件。

    算法与编程之美
  • 正则表达式「^」符号的正确理解方式

    「^」这个符号在正则表达式的中的应用相信是所有程序员都掌握的, 因为它是正则表达式中最基础最常用的知识点。 它在正则表达式中表示两种不同的意义 01 表示匹配一...

    用户1608022

扫码关注云+社区

领取腾讯云代金券