图灵机-殷明浩.pptVIP

形式语言与自动机第一讲 ——从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问题，货郎担问题，背包问题，图着色问题，最长路径问题，…… 是否对于每个问题都有好的算法？