图灵机-殷明浩.ppt

形式语言与自动机第一讲 ——从DFA到TM,从正则语言到自然语言 课程介绍 授课类型 Seminar Lecture 授课时间 (本学期) Per Weds 15:30-18:00? 考核方式 笔试+平时成绩 授课语言 基本中文 Outline for this course Outline today： 计算的意义? “算法”与“好的算法” NP完全性 如何处理NP 完全问题 新的计算模型与希望 什么是可以计算的? 什么是不可以 计算的? 例1：可满足性（Satisfiability）问题 布尔变量集合 布尔变量 和 称为文字 子句集合 子句 是一些文字的析取（逻辑或） 真值赋值 给定U和C，是否存在满足C的真值赋值？ 可满足：C中所有的子句在 t 下为真 计算复杂度： 例2：货郎担问题（Traveling salesman problem) 给定n个城市，任意两个城市间有路相连，一个货郎从一个城市出发，不重复的遍历所有的城市并回到起点，求一条路程最短的路径。 加权完全图　　　　， ， 　　　 ，求Hamilton圈　，使得 计算复杂度：　　　　 指数灾难：计算量的指数增长 指数灾难能否避免？ SAT问题，货郎担问题，背包问题，图着色问题，最长路径问题，…… 是否对于每个问题都有好的算法？ 什么是好的算法？ 什么是算法？ 算法的定义 为实现某个任务而构成的简单指令集 有穷的计算良过程 通过有限多次运算可以决定的过程 算法的定义 希尔伯特第十问题（1900） 设计一个算法来判断多项式是否有整数根 算法：通过有限多次运算可以决定的过程 Alan Turing Alonzo Church（1936） 图灵机程序 算法：图灵机程序 形式化的，精确的 图灵机（Turing Machine) 带子可读可写 无限长的带子 读写头可左移右移 图灵机（Turing Machine) TM运行由 确定:当前状态为q，所读字符为s ，读写头不变， ， ，读写头左移一格，s不变， ，读写头右移一格，s不变， 无定义，则停机 Church-Turing论题：凡是可计算的过程都可用图灵机实现； 其他图灵机模型 “实际的”的图灵机模型 单带图灵机（1TM） 多带图灵机（kTM） 随机存取机（RAM） “实际的” 单位时间内完成的工作量有一个多项式上界 所有“实际的”计算模型多项式时间等价 好的算法——多项式时间算法 算法的时间复杂度 指数时间 多项式时间 为什么是多项式而不是其他函数？ 常见的组合算法大致可分以上两类 与计算模型无关性 什么是算法？ 什么是好的算法？ 是否对于每个问题都有好的算法？ P类 （Polynomial) 判定问题：只有肯定和否定两种答案 优化问题可以化作判定问题处理 P类 具有多项式时间算法的判定问题形成的计算复杂性类 猜测TSP（Traveling salesman problem)不属于P（J.Edmonds 1965） 非确定型算法 不现实的计算 现实中的计算方式都是确定的 解SAT问题的一个非确定型算法 第一步：猜测一个变量的真值赋值； 第二步：检查该赋值是否满足 非确定型算法的计算时间： 各种可能的计算过程的最短时间 非确定型图灵机（NTM) 猜想阶段 验证阶段 NTM计算树 NP类(Nondeterministic Polynomial ) NP问题： 在非确定型图灵机上多项式时间可解的问题 在确定型图灵机上多项式时间可验证的问题 P类包含于NP类中 NP类问题在确定图灵机上指数时间可解 非确定型图灵机和确定型图灵机的计算能力相当 计算难度比较的标准 难易是比较而言的 多项式时间归约（Karp归约 1972) 定义 问题A多项式时间内转化为问题B的特殊情况，则称A可多项式归约于B，记为 转化时间为多项式 对于A的输入I 的回答与其对应的B的输入 f(I) 一致 NP完全与NP-hard NP完全问题： NP-hard问题： NP完全问题 第一个NP完全问题（Cook定理 1971） 可满足性问题是NP完全问题 六个NP完全问题（Karp 1972) 3SAT，3DM，VC，团，HC，划分 更多的NP完全问题 1979年：300多个 1998年：2000多个 现在的估计 如何处理NP完全问题 实际的问题不会消失 并行计算 以硬件设备换取时间 存在着很多种并行计算模型