并行计算第二篇并行算法的设计.ppt

APRAM-CRCW模拟PPRAM-CRCW定理4p-处理器PPRAM-CRCW上的一条并发写指令，可在p-处理器APRAM-CRCW模型上用O(loglogp)时间实现。证明思路：方根划分技术，递归求解时间：模拟的意义？第29页，共53页，星期日，2025年，2月5日算法研究的两个方向优化寻找更好的算法设计技巧一个新的算法（上界）可能性说明难以得到更好的算法证明技巧对模型、问题的更好认识（下界）第30页，共53页，星期日，2025年，2月5日Gates,WilliamH.andChristosH.Papadimitriou.Boundsforsortingbyprefixreversal.DiscreteMathematics27(1979),47--57.HarvardUniversity(1973)Microsoft(1975)PrincetonUniversity(MS1974andPhD1976)第31页，共53页，星期日，2025年，2月5日上界与下界问题描述：仅通过前缀翻转（prefixreversal）操作对n个大小不同的序列排序。前缀翻转：将包含首个元素的子序列进行翻转结果：给出算法，证明至多(5n+5)/3次操作可以排序完成给出例子，证明17n/16次操作无法完成排序改进：1995年，新的下界结果第32页，共53页，星期日，2025年，2月5日PRAM模型的下界理想的PRAM模型n个处理器可访问无限的共享存储单元每个处理器有无限的私有存储单元一步计算分为三个阶段：读阶段、计算阶段、写阶段每一步计算允许任意数量的局部计算理想PRAM模型反映了通信的限制理想PRAM模型的下界对于标准PRAM模型同样成立第33页，共53页，星期日，2025年，2月5日PRAM模型的下界PRAM-CREW的下界无论多少处理器，计算n变元的布尔或需要Ω(logn)的时间PRAM-EREW的下界p个处理器，计算长度为n的计数零问题需要Ω(logn-logp)的时间PRAM-CRCW的下界计算n变量奇偶函数，使用多项式数目的处理器需要Ω(logn/loglogn)的时间第34页，共53页，星期日，2025年，2月5日NP完全理论导引计算复杂性理论中最重要的理论在工作中，遇到一个问题，找不到好的算法来解决，怎么办？第35页，共53页，星期日，2025年，2月5日算法与好的算法算法：为实现某个任务而构成的简单指令集有穷的计算良过程通过有限多次运算可以决定的过程图灵机好的算法：多项式时间算法指数时间算法往往在实际中不可接受各种串行计算模型是多项式时间等价的是否所有的问题都有好的算法？SAT问题TSP（Travelingsalesmanproblem)猜测TSP没有多项式时间算法（J.Edmonds1965）第36页，共53页，星期日，2025年，2月5日图灵机有限状态控制器1111110000000BBB1…………带子可读可写无限长的带子读写头可左移右移第37页，共53页，星期日，2025年，2月5日图灵机“实际的”的图灵机模型单带图灵机（1TM）多带图灵机（kTM）随机存取机（RAM）“实际的”单位时间内完成的工作量有一个多项式上界所有“实际的”计算模型多项式时间等价第38页，共53页，星期日，2025年，2月5日第1页，共53页，星期日，2025年，2月5日第二篇并行算法的设计第四章并行算法的设计基础第五章并行算法的一般设计策略第六章并行算法的基本设计技术第七章并行算法的一般设计过程第2页，共53页，星期日，2025年，2月5日第四章并行算法的设计基础4.1并行算法的基础知识4.2并行计算模型

第3页，共53页，星期日，2025年，2月5日4.1并行算法的基础知识4.1.1并行算法的定义和分类4.1.2并行算法的表达4.1.3并行算法的复杂性度量4.1.4并行算法中的同步和通信第4页，共53页，星期日，2025年，2月5日并行算法的定义和分类并行算法的定义算法并行算法：一些可同时执行的诸进程的集合，这些进程互相作用和协调动作从而达到给定问题的求解。并行算法的分类数值计算和非数值计算同步算法和异步算法分布算法确定算法和随机算法第5页，共53页，星期日，2025年，2月5日并行算法的表达描述语言可以使用类Al