基于递推技术的算法程序设计方法的研究与应用-计算机科学与技术专业论文.docxVIP

＼＼k{ ＼＼k{ 算法是对问题求解过程的精确描述，它不仅是计算机科学的一个分 算法是对问题求解过程的精确描述，它不仅是计算机科学的一个分 支，更是计算机科学的核心，可以毫不夸张地说，它同大多数科学、商业 和技术都是密切相关的。算法设计是一项创造性的劳动，它需要人类的智 慧和灵感，是整个程序设计过程的关键和难点所在。算法设计的好坏直接 影响程序的可靠性和执行效率，进而影响计算机在现代社会各个领域的应 用前景。 本文在对传统算法设计方法进行深入研究的基础上，重点研究了基 于递推技术的算法设计方法。基于递推技术的算法设计方法能有效地提高 算法程序的执行效率，因为它直接利用了子问题的解，避免了重复计算； 同时，由于递推关系可以由问题的程序规约经数学公式的等价变换而得 到，从而提高了以此递推关系为基础所开发算法程序的可靠性；循环不变 式是理解、证明和推导循环程序的基础，但传统循环不变式的开发策略存 在较大局限性，基于递推技术的算法设计方法在求解问题算法的同时，为 辛 循环不变式的开发奠定了基础。 琳 本文利用基于递推技术的算法设计方法开发了若干问题的算法程 々 ◆ 序，探索提高算法程序执行效率和可靠性以及开发循环不变式的有效途 径。 关键词：算法；递推技术；程序规约；循环不变式 薹 _ 也哈 1吨 ， 树 树 咱， 套 套 Abstract ’r Algorithm is a precise description of the problem solving process that not only is a branch of computer science，is the core of computer science，not 觚exaggeration to say that,、析m most of the scientific，business and technology are closely related．Algorithm design is a creative work,it requires human intelligence and inspiration，is the key and difficult points are located throughout the programming process．Algorithms have a direct impact on the design of reliability and performance of the program,thereby affecting prospects for computer applications in various fields of modem society． In this article Oil the traditional design methods on the basis of an in—depth study,focuses On the design of algorithm based on recursive method． Based on delivery push technology of algorithm design method call effective to improve algorithm program of implementation efficiency，because it directly using has child problem of solutions，avoid has repeat calculation； while，because delivery push relationship can by problem of program Statute by mathematics formula of equivalent transform and are，to improve has to n this delivery push relationship for Foundation by development algorithm ～ program of reliability；cycle does not variable type is understanding，and proved and derivation cycle program of Foundation，but traditional cycle does not variable type of development policy exists larger limitations，based Oil delivery pu