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

APRAM-CRCW模拟PPRAM-CRCW 定理4 p-处理器PPRAM-CRCW上的一条并发写指令，可在p-处理器APRAM-CRCW模型上用O(log logp)时间实现。 证明思路：方根划分技术，递归求解 时间： 模拟的意义？ 第二十九页，共五十三页，2022年，8月28日 算法研究的两个方向 优化 寻找更好的算法 设计技巧 一个新的算法（上界） 可能性 说明难以得到更好的算法 证明技巧 对模型、问题的更好认识（下界） 第三十页，共五十三页，2022年，8月28日 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) 第三十一页，共五十三页，2022年，8月28日 上界与下界 问题描述： 仅通过前缀翻转（prefix reversal）操作对n个大小不同的序列排序。 前缀翻转： 将包含首个元素的子序列进行翻转 结果： 给出算法，证明至多(5n+5)/3 次操作可以排序完成 给出例子，证明17n/16次操作无法完成排序 改进： 1995年，新的下界结果 第三十二页，共五十三页，2022年，8月28日 PRAM模型的下界 理想的PRAM模型 n个处理器可访问无限的共享存储单元 每个处理器有无限的私有存储单元 一步计算分为三个阶段：读阶段、计算阶段、写阶段 每一步计算允许任意数量的局部计算 理想PRAM模型反映了通信的限制 理想PRAM模型的下界对于标准PRAM模型同样成立 第三十三页，共五十三页，2022年，8月28日 PRAM模型的下界 PRAM-CREW的下界 无论多少处理器，计算n变元的布尔或需要Ω(logn)的时间 PRAM-EREW的下界 p个处理器，计算长度为n的计数零问题需要Ω(logn-logp)的时间 PRAM-CRCW的下界 计算n变量奇偶函数，使用多项式数目的处理器需要Ω(logn/loglogn)的时间 第三十四页，共五十三页，2022年，8月28日 NP完全理论导引 计算复杂性理论中最重要的理论 在工作中，遇到一个问题，找不到好的算法来解决，怎么办？ 第三十五页，共五十三页，2022年，8月28日 算法与好的算法 算法： 为实现某个任务而构成的简单指令集 有穷的计算良过程 通过有限多次运算可以决定的过程 图灵机 好的算法：多项式时间算法 指数时间算法往往在实际中不可接受 各种串行计算模型是多项式时间等价的 是否所有的问题都有好的算法？ SAT问题 TSP（Traveling salesman problem) 猜测TSP没有多项式时间算法（J.Edmonds 1965） 第三十六页，共五十三页，2022年，8月28日 图灵机 有限状态控制器 1 1 1 1 1 1 0 0 0 0 0 0 0 B B B 1 …… …… 带子可读可写 无限长的带子 读写头可左移右移 第三十七页，共五十三页，2022年，8月28日 图灵机 “实际的”的图灵机模型 单带图灵机（1TM） 多带图灵机（kTM） 随机存取机（RAM） “实际的” 单位时间内完成的工作量有一个多项式上界 所有“实际的”计算模型多项式时间等价 第三十八页，共五十三页，2022年，8月28日 第一页，共五十三页，2022年，8月28日 第二篇 并行算法的设计 第四章 并行算法的设计基础 第五章 并行算法的一般设计策略 第六章 并行算法的基本设计技术 第七章 并行算法的一般设计过程 第二页，共五十三页，2022年，8月28日 第四章 并行算法的设计基础 4.1 并行算法的基础知识 4.2 并行计算模型 第三页，共五十三页，2022年，8月28日 4.1 并行算法的基础知识 4.1.1 并行算法的定义和分类 4.1.2 并行算法的表达 4.1.3 并行算法的复杂性度量 4.1.4 并行算法中的同步和通信 第四页，共五十三页，2022年，8月28日 并行算法的定义和分类 并行算法的定义 算法 并行算法：一些可同时执行的诸进程的集合，这些进程互相作用和协调动作从而达到给定问题的求解。 并行算法的分类 数值计算和非数值计算 同步算法和异步算法 分布算法 确定算法和随机算法 第五页，共五十三页，2022年，8月28日 并行算法的表达 描述语言 可以使用类Algol、类Pascal等； 在描述语言中引