形式語言与自动机第一讲.pptVIP

形式语言与自动机第一讲;课程介绍;Outline for this course;Outline today：;什么是可以计算的? 什么是不可以 计算的?;例1：可满足性（Satisfiability）问题;例2：货郎担问题（Traveling salesman problem);指数灾难：计算量的指数增长;指数灾难能否避免？;算法的定义;算法的定义;图灵机（Turing Machine);;图灵机（Turing Machine);其他图灵机模型;好的算法——多项式时间算法;什么是算法？ 什么是好的算法？ 是否对于每个问题都有好的算法？;P类 （Polynomial) ;非确定型算法;非确定型图灵机（NTM);NTM计算树;;NP类(Nondeterministic Polynomial );计算难度比较的标准;NP完全与NP-hard;NP完全问题;现在的估计;如何处理NP完全问题;并行计算;算法的研究;算法的研究;算法的研究;TSP问题实验结果（实验环境：PII450双CPU，256M内存, Turbo Linux 4.0 ）;新的计算模型;DNA计算;DNA计算的困难;量子计算;量子计算的困难;行之有效的方法???算法研究;推荐阅读;谢谢大家！