递推技术在算法设计中的应用研究计算机科学与技术专业论文.docxVIP

目 录 摘 要 I ABSTRACTII HYPERLINK \l _bookmark0 目 录 III HYPERLINK \l _bookmark1 第一章 引 言 1 HYPERLINK \l _bookmark2 1.1 研究意义 1 HYPERLINK \l _bookmark3 1.2 国内外研究现状 2 HYPERLINK \l _bookmark4 1.3 研究内容 2 HYPERLINK \l _bookmark5 1.4 本文的组织 2 HYPERLINK \l _bookmark6 第二章 传统算法设计方法 4 HYPERLINK \l _bookmark7 2.1 概述 4 HYPERLINK \l _bookmark8 2.2 传统五大类算法设计方法 4 HYPERLINK \l _bookmark9 2.2.1 分治法4 HYPERLINK \l _bookmark10 2.2.2 动态规划法5 HYPERLINK \l _bookmark11 2.2.3 贪心法7 HYPERLINK \l _bookmark12 2.2.4 回溯法8 HYPERLINK \l _bookmark13 2.2.5 分枝限界法 11 HYPERLINK \l _bookmark14 2.3 总结 12 HYPERLINK \l _bookmark15 第三章 基于递推技术的算法设计方法 14 HYPERLINK \l _bookmark16 3.1 概述 14 HYPERLINK \l _bookmark17 3.2 基础知识简介 14 HYPERLINK \l _bookmark18 3.3 基于递推技术的算法设计方法的实例 19 HYPERLINK \l _bookmark19 3.4 总结 27 HYPERLINK \l _bookmark20 第四章 基于递推技术的算法设计方法在传统算法问题中的应用29 HYPERLINK \l _bookmark21 4.1 基于递推技术的算法设计方法在分治算法问题中的应用 29 HYPERLINK \l _bookmark22 4.2 基于递推技术的算法设计方法在动态规划算法问题中的应用31 HYPERLINK \l _bookmark23 4.3 基于递推技术的算法设计方法在贪心算法问题上的应用 33 HYPERLINK \l _bookmark24 4.4 总结 35 HYPERLINK \l _bookmark25 第五章 总结与未来工作 36 HYPERLINK \l _bookmark26 5.1 总结 36 HYPERLINK \l _bookmark27 5.2 未来工作 36 HYPERLINK \l _bookmark28 参考文献 37 HYPERLINK \l _bookmark29 致 谢 39 HYPERLINK \l _bookmark30 在读期间公开发表论文（著）及科研情况 40 III 递推技术在算法设计中的应用研究 递推技术在算法设计中的应用研究 硕士学位论文 硕士学位论文 PAGE PAGE 13 PAGE PAGE 10 第一章 引 言 1.1 研究意义 算法是计算机科学的灵魂，Turing 奖获得者，算法大师——Donald E．Knuth 说过，计算机科学的研究就是算法的研究。的确，现在计算机科学的每个领域， 不管是软件、硬件还是具体的应用，都与算法密不可分。在某些领域算法上的突 破，直接关系到这些领域的突破和进展。截止到 2008 年底，在 55 名 Turing 奖 的获得者中，因为算法方面的贡献而得奖的就有 30 多个。可见算法的研究对推 动计算机科学的发展起着至关重要的作用。 自从“软件危机”发生以来，软件的可靠性和正确性的研究已经越来越受到 人们的重视。这一研究已经从学术热点问题变成了全球各国商界和政府的战略需 求，因为软件的可靠性和正确性关系着相应领域的发展前景，而算法的可靠性和 正确性直接关系到软件的可靠性和正确性。在大量学者的潜心研究下，对于算法 的可靠性和正确性的保证，目前主要是采用自动验证、软件测试和形式化开发算 法等方法。自动验证法是期望能够对给定的算法进行自动验证，但这是一个比较 复杂的过程。在实际应用时，往往是手工和自动参半的，无法真正地完全做到自 动。即便将来自动验证法能够真正的做到完全自动地检测，但是检测工作是在算 法设计完成之后进行的。如果被验证的算法经过检测后发现是错误的，这就意味 着之前做的所有工作都是白做的，这很明显地降低了算法的开发效率。软件测试 在很多时候可以发现算法和程序的错误，这主要取决于测试数