算法设计与问题解决.pptVIP

算法设计与问题解决 王玮明 温州大学应用数学研究所 weimingwang@wzu.edu.cn 名人名言 有两种思想, 像珠宝商放在天鹅绒上的宝石一样熠熠生辉，一个是微积分，一个就是算法。微积分以及在微积分基础上建立起来的数学分析体系造就了现代科学，而算法则造就了现代世界。 ? David Berlinski, 2000 命题: 任意三角形皆为等腰三角形 科 学 研 究 的 一 般 过 程 使 用 基本问题 已知方法 新 问 题 发 现 提出 新 方 法 更复杂的问题 解 决 基 本 方 法 MAP =Model+Algorithm+Program ( B. A. Cipra, 2001) 基 本 思 想 问题 小问题 数学问题 算法 伪码 程序 计算机实现 算法 (algorithm) 算法是一系列解决问题的清晰指令，也就是说，能够对符合一定规范的输入，在有限时间内获得所要求的输出。 算法是问题的程序化解决方案 这些解决方案本身并不是答案 而是获得答案的精确指令 算法的每一个步骤都必须清晰、明确； 算法所处理的输入的值域必须定义； 同样一种算法可能有几种不同的形式描述； 可能存在几种解决问题的算法； 同一算法解法不同而使解决速度显著不同。 算法设计基础 理解问题 了解计算设备的性能 正确表述算法 证明算法的正确性 分析算法 问题一: 全指数计算 多项式 的全次数定义为 而: deg(0, xk)=-1. 算法设计 Step 1: 求单项式关于给定变量的次数 1.1 如果单项式只有1个操作数, 则其 次数即为单项式的次数; 1.2 如果单项式的操作数1, 则依次 求每个操作数的次数并相加. Step 2: 求全次数，即所有的单项式次数中的 最大者. 问题二: 符号修订表问题 给定符号表S=[s1, s2, …, sn], 其符号修订表 T =[t1, t2, …, tn] 按如下规则构造: 1) 如果 [si, si+1, …, si+j]是所给符号表中的一段: si≠0, si+1=…= si+j-1=0, si+j ≠0, 则 [si+1,…, si+j-1]→[-si, -si, si, si, -si, -si, …] 2) 除此之外, 令 tk=sk. 问题分析 首先, 找到从右往左第一个不为0的数的位置; 当遇见 0 时将其两两分组(不够2时独成一组), 视其前一位置数字的符号变号, 依次类推; 提取列表中数字的符号. 算法设计 Step 1: 确定最右边不为 0 的数字的位置; Step 2: 将列表中为 0 的数字记录, 且: 2.1 如果 0 的个数为偶数, 两两变号; 2.2 如果 0 的个数为奇数, 则变其为 偶数+1, 1个 0 取其前数字相反号; Step 3: 提取变号后的列表中的数字的符号, 分别用1, 0, -1表示. Rolle定理 Lagrange定理证明中的辅助函数: (1) Cauchy定理证明中的辅助函数: (2) 问题三: 微分中值定理自动推证 Rolle定理: 在f (a)=f (b)的条件下, 证明f (x)在(a,b)内有零点. Lagrange定理: 证 在(a,b)内有零点. 由Rolle定理只需 在[a, b]区间端点a, b处的函数值相等. 此乃积分辅助函数法之本质. 对于Cauchy定理, 将表达式化为等价形式: 再积分即可得到辅助函数(2). 问题： 按照积分辅助函数法, 应先将上式变形为: 由此积分可得辅助函数为