16-计算模型解剖.ppt

解放军理工大学指挥自动化学院 第17讲 计算模型 杨 明 指挥信息系统学院软件工程教研中心 yangming@lgdx.mtn 内容 确定性图灵机模型 随机存取机模型 易解问题和难解问题 欧拉回路和哈密顿回路 2-CNF-SAT与3-CNF-SAT 最短路径和最长路径 易解问题和难解问题 多项式时间 问题难度划分的重要依据 易解性 快捷性：求解问题的规模可以很大 易于改进：即便对某个问题来说，当前最佳算法的运行时间为O(n100)，很有可能在很短的时间内，就能找到一个运行时间要好得多的算法。 计算模型的相关性 对很多合理的计算模型来说，在一个模型上用多项式时间可解的问题，在另一个模型上也可以在多项式时间内获得解决。 多项式时间可解问题类具有很好的封闭性． 加法、乘法和组合运算下，多项式是封闭的。 可计算函数 可计算函数 是一个直观的概念，它的内涵无法在数学的范畴内严格定义，人们只能说某函数直觉上是可计算的。 如果严谨些，也许可以说 用人的某些约定俗成的计算规则可计算； 用某种计算模型可计算； 用某个计算程序可计算； 丘奇-图灵论题 研究成果表明，从这三个角度看可计算函数的集合，它们都是同一个集合，即递归函数集。 可计算函数集等同于递归函数集。 计算模型 计算模型 为确定计算问题的分类，需要一个通用的计算装置 定义计算结构和所用的基本指令或操作 目的是使问题计算复杂性分析