算法设计第9章计算复杂性与NP理论.ppt

第9章 计算复杂性与NP理论 9.1 多项式规约 9.2 计算模型 9.3 P和NP类问题 9.4 NP完全问题 9.1 多项式规约 规约：如果存在两个问题Q和Q′，对于Q的任何一个实例q，都能找到Q′的一个实例q′，并能够将q′的解a′转换为q的解a，则称问题Q可以被归约到问题Q′ Q Q q q a a 9.1 多项式规约 规约：如果存在两个问题Q和Q′，对于Q的任何一个实例q，都能找到Q′的一个实例q′，并能够将q′的解a′转换为q的解a，则称问题Q可以被归约到问题Q′ 多项式规约：可在多项式时间内完成的规约 Q Q q q a a 9.1 多项式规约 问题示例 ax2 + bx + c = 0 ax3 + bx2 + cx + d = 0 9.1 多项式规约 问题示例 G=V,E 最大独立集 G=V,E 最小顶点覆盖 V/C是G的最大独立集 C是G的最小顶点覆盖 9.2 计算模型 形式语言与问题编码 形式语言: 字母表 ? 是符号的有限集合，?上的语言L是由?中的符号所组成的串的任意集合 ? = {0,1} L1 = {0, 1, 10, 11, 100, 101, 110, 111, 1000, 1001} L2 = {0, 10, 100, 110, 1000, 1010, ……} 9.2 计算模型 形式语言与问题编码 形式语言: 字母表 ? 是符号的有限集合，?上的