第二章 计算学科中的科学身问题 凌贺飞 博士 副教授lhefei@gmail.com华中科技大学计算机学院.pptVIP

* * 分形学：模拟、刻画流动的物体，如白云、火焰、浪花、烟火等，用算法提出新的模型，以上三种基本模型不能刻画 计算机模拟雪花 三角形演化：图形示例（板书） 以上被称为自相似，无穷递归 维数计算公式：N指每一次分的份数，所以N=4，s指每一份的长度比例，得出维数是1.2619维，结合传统2、3维的概念，可知平面上用分形法，模型的维数1D2 如果空间上采用分形法，则维数2D3 分形法还能刻画脸部表情、皱纹、树叶、树枝等，是可编程的，因此图形也是可编辑的 信息管理： 应用领域广、从业人员众多，包括： 电子政务 电子商务 MIS: Management Information System ERP: Enterprise Resource Planning * * 软件工程：结合就业 软件学院：培养软件工程师 软件工程中还存在急需解决而远未解决的问题，包括：test，debug→做得不好，会带来灾难性的影响 未披露的航天领域：欧盟卫星发射，升空器发生爆炸，编程出了毛病； 上海浦东停电12.6小时，电力调度程序（软件）出了问题 程序问题的实例： 2003年10月15日9时整，我国自行研制的“神舟”五号载人飞船在中国酒泉卫星发射中心发射升空 ，乘坐“神舟”五号载人飞船执行任务的航天员是38岁的杨利伟。 2005年10月12日9时整，“神舟”六号飞船顺利升空，实现了2名宇航员多天飞行，他们分别是：聂海胜、费俊龙。“ 神舟七号载人飞船于2008年9月25日21点10分04秒988毫秒从中国酒泉卫星发射中心载人航天发射场用长征二号F火箭发射升空。飞船于2008年9月28日17点37分成功着陆于中国内蒙古四子王旗主着陆场。神舟七号飞船共计飞行2天20小时27分钟。 * 著名的问题可以促进计算机软件、算法的进步 * 七桥问题：不重复走过这7座桥，回到原点（更高要求） 带来了离散数学中图论的重大发展，集合、数理逻辑、图论都是离散数学的重要组成部分 三条规则（核心：奇点数） 此岛是一飞地，出海口，被彼得大帝攻占 地图抽象，其中结点是岛和陆地，板书图 事实上，在拓扑学中，这是一种变换：保持元素之间的关系不改变，但形状发生了改变，可通过变换将实际问题抽象成图 从一点出发经过每边一次且仅一次，举例 ：三角行，平行四边行等 判定规则： 2个奇点数：欧拉解不存在 奇点数=0：多解 =2个奇点数：有解，且从奇点出发 通过抽象理论，提出三条规则，事实上是充要条件 回到原点，是强约束，这里不提 哈密尔顿回路：通过每个点一次且仅一次 欧拉回路：为图论的形成奠定了基础 * 是一个难解问题 抽象：找一个好理论→递归，解决问题 * * * 64→63→62….→1 64=63+简单步骤，解释h（n）=2h（n-1），重点：2次（n-1）圆盘 随着n增大，以2n增大 能行问题，时间复杂度：o（ 2n ） 事实上是无效的。有效：在有生之年能实现 是否能将复杂度从2n降到n2（多项式算法），即使n很大，才可能有解 到目前为止，对Hanoi塔问题，只有递归解法 * 17位数：可分解为两个数的乘积 找真因子，1不是真因子 一个合数分解成为两个质数之积 86400一天的秒数 最小的真因子不会超过9位，若超过，则该数为18位 串行与并行，时间与空间，折衷 算法2采用了并行算法，大并行机的模拟 * 旅行商（货郎担）问题 比哈密尔顿回路更强约束的问题 经且只经过每个城市一次，回到出发点，路程（费用）最短（少）？ 应用领域（电路板钻孔、物流、邮递员送信等），优化组合问题 存在组合爆炸，复杂度为o((n-1)!) 回忆关于算法的例子：n→ n2 → 2n→10n/2→ (n-1)! 可分为两类：1、能在多项式时间复杂度求解的问题 2、只能找到在非多项式时间复杂度求解的问题 * * 当将一个问题分解到多个处理器上解决时，由于算法中不可避免地存在必须串行执行的操作，从而大大地限制了并行计算机系统的加速能力。下面，用阿姆达尔（G.Amdahl）定律来说明这个问题。 * 设f=1%，p→?，则Sp=100。 串行执行操作仅占全部操作1%，解题速度最多也只能提高100倍。 对难解性问题而言，提高计算机系统的速度是远远不够 的，而降低算法复杂度的数量级才是最关键的问题。 * P: Polynomial problem 配袜子o(n) NP: Non-deterministic Polynomial Problem 画图板书 DNA、公主求婚：证比求易， 10n/2 验证：常数级（多项式时间内） P ? NP 即能求解一定能验证 P﹦？NP 趋向于NP ? P 不成立 但是到目前为止P ? NP无法证明