计算的复杂性 第七篇 NP完全问题.pptVIP

顾 小 丰 Email：guxf@uestc.edu.cn * 第7章 NP完全问题 序 7.1 判定问题、语言和编码 我们讨论的几种计算模型，都可以认为是语言的接受器或函数的计算器。 为讨论问题简明，本章只讨论语言的识别问题。这是因为象图论、数论、逻辑和规划中的种种问题常常可以表示为语言的识别问题。其它的计算问题往往都有对应的判定问题。这种问题只有两个可能的解，或者回答“是”，或者回答“否”。 判定问题 货郎担问题 语言 编码 编码的条件 编码的标准 7.2 多项式变换与可满足性问题 多项式变换 引理7-1 可满足性问题 命题逻辑的可满足性问题 图的m-可着色问题 哈密顿回路问题（HC） 引理7-2 7.3 非确定型图灵机 图灵机的格局 非确定型图灵机的作用 非确定型图灵机NDTM接受语言L 例7-3 等分划问题 表7-1 例7-3中非确定型图灵机M的下移函数 NDTM的时空复杂性 定义7-9 称一台NDTM机M的时间复杂性是T(n)，假若对于任何长为n的可接受的输入w，都存在着一条导向接受指令的计算路，该计算路至多有T(n)步。称M的空间复杂性是S(n)，假若对于上述输入w，有一条导向接受指令的计算路，于其中在每一条带上至多有S(n)个相异的磁带方格被扫描过。 例7-3的复杂性 用DTM模拟NDTM 定理7-1 如果取