Chap00-计算方法引论解析.pptVIP

引论 本章介绍主要内容： 算法重在设计 化大为小的缩减技术 化难为易的校正技术 化粗为精的松弛技术 * 信息科学与技术学院 本课程的研究对象 计算方法是一门应用数值计算方法（近似计算）来求解数学问题的算法体系。 教学目标 介绍微分、积分、线性方程组、常微分方程组和非线性方程等问题数值解法的设计原理及实现方法。 教学计划 本课程共32学时，上课时间1~12周，12周考试。 课程简介 教材 计算方法简明教程，王能超编著，高等教育出版社，2004年。 参考书 计算方法（第2版），邓建中、刘之行编著，西安交通大学出版社，2001年 联系方式 E-mail：chengyong@mail.buct.edu.cn 1-1 科学计算离不开算法设计 所谓算法，就是计算机上使用的计算方法。 科学计算离不开计算机，更离不开算法设计。人类计算能力是计算机的研制能力与算法设计能力两者的总和。人们往往片面地强调高性能计算机是高性能计算的物质基础，其实，高效算法的设计才是高性能计算的灵魂。 1 算法重在设计 1-2 数学思维的化归策略 有人这样概括数学家的思维特征：他们往往不是对问题进行正面的“攻击”，而是不断地将问题加工变形，直到把它转化归纳为能够解决的问题，这就是所谓化归策略。 关于化归策略，笛卡尔曾提出过被后世尊为万能法则的一般模式： （1）将实际问题化归为数学问题； （2）将数学问题化归为代数问题； （3）将代数问题化归为解方程。 化归策略同样是数值算法设计的基本策略。后文将基于化归策略提供三种基本的算法设计技术： （1）化大为小的缩减技术； （2）化难为易的校正技术； （3）化粗为精的松弛技术。 2 化大为小的缩减技术 2-1 Zeno悖论的启示 古希腊哲学家Zeno在两千多年前提出过一个骇人听闻的命题：一个人不管跑得多快，也追不上爬在他前面的一只乌龟。这就是著名的Zeno悖论。 咱们两个比赛吧，看谁跑的快！嘻嘻 好吧， 我还怕你。 Zeno在论证这个命题时采取了如下形式的逻辑推理： 设人与龟同时同向起跑，如果龟不动，那么人经过某个时刻便能追上它。但实际上在这段时间内龟又爬了一段路程，从而人又得重新追赶，这样每追赶一次所归结的是同样类型的追赶问题，因而这种追赶过程“永远”不会终结。 Zeno的论证过程可描述如下： t0 v V S0 t1 v V S1 …… Sk-1 tk-1 v V tk Sk V v 人龟追赶过程 …… 尽管Zeno悖论的论断极其荒谬，但从算法设计思想的角度来看它却是极为精辟的。 Zeno悖论将人龟追赶问题表达为一连串追赶的逐步逼近过程。 设人与龟的速度分别为V与v，记Sk表示逼近过程的第k步人与龟的间距，另以tk表示相应的时间，相邻两步的时间差： △ tk = tk - tk-1 Zeno悖论将人龟追赶问题分解为一追一赶两个过程： 追的过程：先令龟不动，计算人追上龟所费的时间 △ tk =Sk-1 / V 赶的过程：在令人不动，计算龟在这段时间内爬行的路程 Sk =v △ tk 经过这两步加工得出的虽然仍是追赶问题，但新问题的“规模” Sk却被压缩了v / V倍，由于压缩系数v / V很小，按上述过程进行几步，追赶问题的“规模” Sk便可忽略不计，从而可得出人追上龟所花费的时间tk 。 称这一算法 S0=S Sk = Sk –1v/V ，k=1,2,3,······ 为Zeno算法，它是Zeno悖论的算法描述。 可见，Zeno算法的设计思想是将人龟追赶计算化归为简单行程计算的重复，它的设计方法是逐步压缩计算模型的规模，这种“化大为小”的设计策略称为规模缩减技术，简称缩减技术。 缩减技术是算法设计的一种基本技术。下面将举例说明这种设计技术的具体运用。 2-2 数列求和的累加算法 数列求和问题： S=a0+ a1+ ··· + an (1) 是最简单的计算模型。若记bk表示前k+1项的和a0+ a1+ ··· + a