计算的复杂性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 如果取上述非确定型图灵机类为计算模型，则这个计算模型同已知的种种计算模型等价。 对于任一台NDTM时间囿界为T(n)且T(n)为时间可构造的机器M，都可以找到常数c＞1和DTM机M使L(M)=L(M)且M的时间下限为O(cT(n))。 定理7-2 若NDTM机M的空间复杂性为S(n)，且S(n)使空间可构造的，则存在一台DTM机M，它的空间复杂性是O(S3(n))且L(M)=L(M)。 所谓一个函数S(n)是空间可构造的，如果存在一台DTM机M，当给它一个长度为n的输入，M机将在它的一条带的第S(n)个方格上放置一个特殊的标记符号并且对任何带不会使用多于S(n)个方格。绝大多数函数，例如多项式、2n、n!、?n1og(n+1)?都是空间可构造的。 定理7-3 设语言L可以为时间复杂性为T(n)的k-带NDTM机所接受，则L也可以被一台时间复杂性为0(T2(n))的单带NDTM机所接受。 这个定理使我们在讨论与非确定型图灵机有关问题时，可以只对单带机而言，于是便简单一些。 7.4 NP类 有了非确定型图灵机这一计算模型，这里将讨论一个新的语言类NP类问题。 定义7-10 NP?{L?{0,1}*|L为非确定图灵机在多项式时间内所接受｝。 因为确定型图灵机是非确定型图灵机的特殊情况，于是有： P?NP 目前人们尚未证明P=NP，或P是NP的真子集。 例7-5 无向图的团集问题属于NP类。 团集问题定义如下： 实例：图G=(V,E)和正整数J≤|v|。 问：G是否包含大小不小于J的团，即是否有子集V?V，使得|V|≥J并且V中每两个节点都由E中的一条边连接着。 例7-6 命题逻辑的可满足问题是一个NP问题。 定理7-4 节点覆盖问题（VC） 回路边集问题 集合覆盖问题 7.5 NP完全问题与Cook定理 NP完全的定义 定理7-5 若L0是狭义NP完全的，则L0是广义NP完全的。 定理7-6 Cook定理 Cook定理的重要意义 7.6 强NP完全问题 在实际中，绝大多数判定问题的描述都或多或少地包含有一些数字型参 数和分量。进而，对这类判定问题中的大部分而言，其求解的难易程度、相 应求解算法的时间复杂性等，常常都受到判定问题任一具体实例中所含数字 参数的值的大小的严重影响。特别是其中出现的最大的整数的具体值，该值 的大小往往会使判定问题相应实例求解的难易性，或所用求解算法的时间复 杂性函数发生某种质的变化。对于这样的判定问题?，仅仅使用表示其某个 实例I的输入长度的函数Lengh[I]就无法全面客观地衡量实例I的大小己求解 的困难程度。为此，人们就引入了另外一个函数Max：D?→Z+，并通常 Max[I]的值为I中所出现的最大整数的具体值。利用函数Length和Max，我 们就可以给出另一类比NP完全问题还要难于求解的问题的定义，即所谓的 强NP完全问题。 伪多项式时间算法 定义7.6-1 如果解问题?的算法的时间复杂性函数不超过两 个变量Length[I]和Max[I]的多项式函数,则称这个算法是关于? 的伪多项式时间算法。 整数背包问题 实例：给定整数c1,c2,…,cn以及整数b。 问：是否存在整数x1,x2,…,xn≥0，使