第01章算法概述.pptVIP

算法设计与分析 山东师范大学计算机系 授课：徐连诚，软件工程研究所(3432) 2005年9月5日—2006年1月20日 主页：/ 邮箱：lchxu@163.com 镜像：/(迅腾) /(网易) 关于本课程 课程目的：计算机算法设计与分析导引 不是一门试验或程序设计课程 也不是一门数学课程 教材：计算机算法设计与分析-王晓东 授课：徐连诚，lchxu@163.com，87601 前导课：数据结构+程序设计 授课形式：每周3~4课时+作业+期中/末考试 参考资料： Web资源 图书资源 第1章 算法概述 本章主要知识点： 1.1 算法与程序 1.2 算法与数据结构 1.3 表达算法的抽象机制 1.4 描述算法与算法设计 1.5 算法分析的基本原则 1.6 算法复杂性分析 计划授课时间：3～4课时 1.1 算法与程序 算法：是满足下述性质的指令序列。 输入：有零个或多个外部量作为算法的输入。 输出：算法产生至少一个量作为输出。 确定性：组成算法的每条指令清晰、无歧义。 有限性：算法中每条指令的执行次数有限，执行每条指令的时间也有限。 程序： 程序是算法用某种程序设计语言的具体实现。 程序可以不满足算法的性质(4)即有限性。 例如操作系统，是一个在无限循环中执行的程序，因而不是一个算法。操作系统的各种任务可看成是单独的问题，每一个问题由操作系统中的一个子程序通过特定的算法来实现。该子程序得到输出结果后便终止。 1.2 算法与数据结构 描述算法可以有多种方式 自然语言方式、表格方式、图示形式等 本书将采用C++与自然语言相结合的方式 算法与数据结构的关系 不了解施加于数据上的算法就无法决定如何构造数据，可以说算法是数据结构的灵魂； 反之算法的结构和选择又常常在很大程度上依赖于数据结构，数据结构则是算法的基础。 算法＋数据结构＝程序 1.3 表达算法的抽象机制 从机器语言到高级语言的抽象 高级程序设计语言的主要好处是： 高级语言更接近算法语言，易学、易掌握，一般工程技术人员只需 要几周时间的培训就可以胜任程序员的工作； 高级语言为程序员提供了结构化程序设计的环境和工具，使得设计出来的程序可读性好，可维护性强，可靠性高； 高级语言不依赖于机器语言，与具体的计算机硬件关系不大，因而所写出来的程序可植性好、重用率高； 把繁杂琐碎的事务交给编译程序，所以自动化程度高，开发周期短，程序员可以集中时间和精力从事更重要的创造性劳动，提高程序质量。 1.3 表达算法的抽象机制 抽象数据类型 抽象数据类型是算法的一个数据模型连同定义在该模型上并作为算法构件的一组运算。 抽象数据类型带给算法设计的好处有： 算法顶层设计与底层实现分离； 算法设计与数据结构设计隔开，允许数据结构自由选择； 数据模型和该模型上的运算统一在ADT中，便于空间和时间耗费的折衷； 用抽象数据类型表述的算法具有很好的可维护性； 算法自然呈现模块化； 为自顶向下逐步求精和模块化提供有效途径和工具； 算法结构清晰，层次分明，便于算法正确性的证明和复杂性的分析。 1.4 描述算法与算法设计 描述算法可以有多种方式，如自然语言方式、图形表格方式等。在这里，我们将采用C++语言来描述算法。 C++语言的优点是类型丰富、语句精炼，具有面向对象和面向过程的双重优点。 用C++来描述算法可使整个算法结构紧凑、可读性强。 在课程中，有时为了更好地阐明算法的思路，我们还采用C++与自然语言相结合的方式来描述算法。 算法设计方法主要有：分治策略、动态规划、贪心算法、回溯法、分支限界、概率算法等，我们将在后面的章节中陆续介绍。 1.4 描述算法与算法设计 问题求解(Problem Solving) 1.5 算法分析的基本原则 正确性 定义：在给定有效输入后，算法经过有限时间的计算并产生正确的答案，就称算法是正确的。 正确性证明的内容： 方法的正确性证明——算法思路的正确性。证明一系列与算法的工作对象有关的引理、定理以及公式。 程序的正确性证明——证明所给出的一系列指令确实做了所要求的工作。 程序正确性证明的方法： 大型程序的正确性证明——可以将它分解为小的相互独立的互不相交的模块，分别验证。 小模块程序可以使用以下方法验证：数学归纳法、软件形式方法等。 1.5 算法分析的基本原则 工作量——时间复杂性分析 计量工作量的标准: 对于给定问题，该算法所执行的基本运算的次数。 基本运算的选择：根据问题选择适当的基本运算。 1.5 算法分析的基本原则 占用空间——空间复杂性分析 两种占用： 存储程序和输入数据的空间 存储中间结果或操作单元所占用空间——额外空间 影响空间的主要因素： 存储程序的空间一般是常数(和输入规模无关) 输入数据空间为输入规模O(n) 空间复杂性考虑的是额外空间的大小 如果额外空