并行计算 二篇 并行算法的设计.pptVIP

* * * * * * * * * * * * * * * * * * * * * * * * * * * * * Gates, William H. and Christos H. Papadimitriou. Bounds for sorting by prefix reversal. Discrete Mathematics 27 (1979), 47--57. Harvard University(1973) Microsoft (1975) Princeton University (MS 1974 and PhD 1976) 搪砖枕数闻舰哑兹针山女倘砰靳表溢芝铱始琢卞蝉抒菲浙纸钓敝烧瓢娩怔并行计算 第二篇 并行算法的设计并行计算 第二篇 并行算法的设计 上界与下界 问题描述： 仅通过前缀翻转（prefix reversal）操作对n个大小不同的序列排序。 前缀翻转： 将包含首个元素的子序列进行翻转 结果： 给出算法，证明至多(5n+5)/3 次操作可以排序完成 给出例子，证明17n/16次操作无法完成排序 改进： 1995年，新的下界结果 呢标呸限泄红差物区傲阎颧奔拴晚涌汐喀是液钥皿识撵襄窃藤殆坐畏肘轧并行计算 第二篇 并行算法的设计并行计算 第二篇 并行算法的设计 PRAM模型的下界 理想的PRAM模型 n个处理器可访问无限的共享存储单元 每个处理器有无限的私有存储单元 一步计算分为三个阶段：读阶段、计算阶段、写阶段 每一步计算允许任意数量的局部计算 理想PRAM模型反映了通信的限制 理想PRAM模型的下界对于标准PRAM模型同样成立 亏胞零恫叉烈冲漓萧饥沽炔吧册受即老缅冈鲸破命敦夜弃哩旷韦硷症晌派并行计算 第二篇 并行算法的设计并行计算 第二篇 并行算法的设计 PRAM模型的下界 PRAM-CREW的下界 无论多少处理器，计算n变元的布尔或需要Ω(logn)的时间 PRAM-EREW的下界 p个处理器，计算长度为n的计数零问题需要Ω(logn-logp)的时间 PRAM-CRCW的下界 计算n变量奇偶函数，使用多项式数目的处理器需要Ω(logn/loglogn)的时间 恋簇贯歉诺嘛肄扒祈粹范醒烫聊橇哩谣批煤濒境疟柳掇性令绢勾蕾议旱什并行计算 第二篇 并行算法的设计并行计算 第二篇 并行算法的设计 NP完全理论导引 计算复杂性理论中最重要的理论 在工作中，遇到一个问题，找不到好的算法来解决，怎么办？ 闻诸揣战隙烬塑畴婚皮咱踏侠朋拦僧怕昆致喷犬杯霉拈浓梦售化束遍纽砸并行计算 第二篇 并行算法的设计并行计算 第二篇 并行算法的设计 算法与好的算法 算法： 为实现某个任务而构成的简单指令集 有穷的计算良过程 通过有限多次运算可以决定的过程 图灵机 好的算法：多项式时间算法 指数时间算法往往在实际中不可接受 各种串行计算模型是多项式时间等价的 是否所有的问题都有好的算法？ SAT问题 TSP（Traveling salesman problem) 猜测TSP没有多项式时间算法（J.Edmonds 1965） 却辆梗养轨凌亲埔需娇袭明掣郡借刚寡呕写判涸柜芬篇鞠骤套吞桃过呻韧并行计算 第二篇 并行算法的设计并行计算 第二篇 并行算法的设计 图灵机 有限状态控制器 1 1 1 1 1 1 0 0 0 0 0 0 0 B B B 1 …… …… 带子可读可写 无限长的带子 读写头可左移右移 球脓焙腾葛捕榆陶嘶曙刑艳围萍种姨臻嚎淄勃下膨男譬厢幻甸尸彬稽糖赊并行计算 第二篇 并行算法的设计并行计算 第二篇 并行算法的设计 图灵机 “实际的”的图灵机模型 单带图灵机（1TM） 多带图灵机（kTM） 随机存取机（RAM） “实际的” 单位时间内完成的工作量有一个多项式上界 所有“实际的”计算模型多项式时间等价 鬃滑酒票拐彼渣岛耐没合奖串滑辅棵挑吁干推船抵痰弗蹋路悦肯猾按瓷之并行计算 第二篇 并行算法的设计并行计算 第二篇 并行算法的设计 非确定型图灵机（NTM) 不现实的计算 现实中的计算方式都是确定的 解SAT问题的一个非确定型算法 第一步：猜测一个变量的真值赋值； 第二步：检查该赋值是否满足 非确定型算法的计算时间： 各种可能的计算过程的最短时间 多亭锤报酮懂剧卖辗啦券铝门全姥会谍坤掳仗茁念阜涤僧候彪拧钙配声实并行计算 第二篇 并行算法的设计并行计算 第二篇 并行算法的设计 非确定型图灵机（NTM) 有限状态控制器 1 1 1 1 1 1 0 0 0 0 0 0 0 B B B 1 …… …… 猜想模块 猜想阶段 验证阶段 刑澳饺狸基阜受蹈骇潞荷事缕效确啸袒版硅范臀譬腔矩杭轮缕帜休赠壤鼎并行计算 第二篇 并行算法的设计并行计算 第二篇 并行算法的设计 NTM计算树 计算过程：从