本书以前期研究形成的支持程序开发全过程的形式化方法PAR为基础，选取排序类和查找类算法作为研究的突破口，开展了形式化方法制导下的算法程序自动化的研究。PAR为算法程序自动化提供了有力支持，它由自定义泛型算法设计语言Radl及相关规约转换规则库、泛型抽象程序设计语言Apla、系统的算法和程序设计方法学及新型顺序软件开发平台组成。

📙 相关书籍

  1. 《算法设计与分析 第2版》高清PDF 本书主要包括：基础知识，分治策略，动态规划，贪心法，回溯与分支限界，线性规划，网络流算法，算法分析与问题的计算复杂度等内容。...
  2. 《算法设计》高清PDF 本书包括算法概述、基本数据结构、蛮力法、递归和分治法、动态规划法、贪心法、分支限界和回溯、变治法、NP完全理论、近似算法和参数化算法、现代优化算法。...
  3. 《计算机算法设计与分析 第4版》高清PDF 本书是普通高等教育“十一五”国家级规划教材和国家精品课程教材。全书以算法设计策略为知识单元，系统介绍计算机算法的设计方法与分析技巧。主要内容包括：算法概述、递归与分治策略、动态规划、贪心算法、回溯法、分支限界法、随机化算法、线性规划与网络流等。书中既涉及经典与实用算法及实例分析，又包括算法热点领域追......
  4. 《计算机算法设计与分析习题解答 第2版》高清PDF 本书是与普通高等教育“十一五”国家级规划教材《计算机算法设计与分析(第4版)》配套的教辅教材和国家精品课程教材。分别对主教材中的算法分析题和算法实现题给出了解答或解题思路提示。作者还结合国家精品课程建设，进行了教材的立体化开发，包括主教材、习题解答、电子课件……...
  5. 《算法设计与分析 C++语言描述 第2版》高清PDF 本书内容分为3部分：算法和算法分析、算法设计策略及求解困难问题。第1部分介绍问题求解方法、算法复杂度和分析、递归算法和递推关系；第2部分讨论常用的算法设计策略：基本搜索和遍历方法、分治法、贪心法、动态规划法、回溯法和分枝限界法；第3部分介绍NP完全问题、随机算法、近似算法和密码算法。书中还介绍了两种......
  6. 《算法设计与分析》高清PDF 本书内容共分四部分，第一部分算法概述，给出了算法的基本概念及算法分析的相关基础；第二部分六大经典算法的设计与分析技术，包括递归与分治策略、动态规划、贪心算法、回溯法、分支限界法、随机算法，从算法设计和算法分析的理论入手，根据各类算法的基本技术原理，给出算法的分析方法和证明过程，并将经典算法与应用问题......
  7. 《计算机算法设计、分析与实现》高清PDF 全书共分14章，第1章介绍算法的基本概念和算法分析相关的数学问题；第2-13章分别介绍递归的应用，迭代算法、常见排序算法等；第14章介绍查找。...
  8. 《算法设计编程实验》高清PDF 本书每章为一个主题，实验内容安排紧扣大学算法和数学的教学，用程序设计竞赛中的算法和数学试题作为实验试题，将算法和数学的教学和程序设计竞赛的解题训练结合在了一起；其次，本书中二百道试题均能通过在线提交的方式进行裁判，使得实验和练习能方便地进行；再次，本书提供了官方的原版试题、测试数据和解答程序作为参考......
  9. 《算法设计与问题求解 编程实践》高清PDF 本书是北京市精品教材立项项目，是大学生创新实践课程“算法设计与实践”课程教材。本书以问题求解为目标，以高级程序设计语言C/C++为工具，讨论怎样综合运用算法(包括数据结构)知识去分析问题和解决问题。问题驱动，高级语言程序设计、数据结构以及算法设计与分析知识交叉融合是本书的特点。配套理论教学的电子课件......
  10. 《算法设计与分析习题解答与学习指导》高清PDF 本书主要包含分治策略、动态规划、贪心法、回溯与分支限界等算法设计技术和分析方法以及问题计算复杂度的界定。在此基础上简要介绍了NP完全理论的基础知识以及近似算法、随机算法等。本书可作为《算法设计与分析》的教学辅导用书。...

提示：百度云已更名为百度网盘（百度盘），天翼云盘、微盘下载地址……暂未提供。