第八章节 NP完全问题.pptVIP

第三章 NP－完全问题 归约与完全的概念在各种应用问题的复杂性分类中起着重要的作用。 3.1 NP 3.2 Cook 定理 3.3 NP-完全问题的例子 3.4 多项式时间图灵归约 3.1 NP 定理3.1 语言A属于NP，当切仅当在语言B P使得 证明思路 如果语言A有性质（3.1），那么对于任何输入x,一个NTM M可以通过以下方法决定是否x A：首先猜测一个长为 的符号行y，然后在多项式时间内验证是否x,y B，对每个x A，那个使x,y B的长为P(|x|)的符号行y称为x的佐证或者证据。 满意问题(Sat)：给出一个布尔公式 ，决定是否有某个变量的赋值使 为真。(亦即，Sat是可满意的公式组成之集合。)注意，对每个长为n的布尔公式 和它的一个变量赋值 ，只需 时间就可以验证是否 能让 满意。因此Sat属于NP。事实上，我们可以首先猜测 然后验证 能让 满意。 哈密顿圈问题（HC）：给出一个图G，决定G是否有哈密顿圈，亦即是否有一个包含所有顶点的简单圈，假定输入G有n个顶点。我们可以猜测一个符号行 ，其中 是个1和n之间的整数。然后验证(i)y是否是个排列，以及(ii)对每个i， ， ，并且 ，注意，y的长度是 ，并且验证(i)和(ii)只需时间 ，因此哈密顿圈问题属于NP。 整数规划问题(IP) 给出(A,b),其中A是个 整数矩阵并且b是个n维整数向量，决定是否存在m维整数向量x使得 。 3.2 Cook 定理 A reduction is a way of converting one problem into another problem in such a way that a solution to the second problem can be used to solve the first problem. It’s the primary method for proving that problems are computationally unsolvable. Cook 定理 The notion of reducing one problem to another may be defined formally in one of several ways. The choice of which one to use depend on the application. Today our choice is a simple type of reducibility called mapping-reducibility （many-one reducibility). Cook 定理 Roughly speaking, being able to reduce problem A to problem B by using a mapping reducibility means that a computable function exists that converts instances of problem A to instances of problem B. if we have such conversion function, called a reduction, we can solve A with a solver for B. The reason is that any instance of A can be solved by first using the reduction to convert it to an instance of B and then applying the solver for B. Cook 定理 设 和 是两个语言。如果存在可计算函数 ，使得对任何 ， 当且仅当 ，那么称A可以多对一归约到B，记为 。如果进一步f是多项式时间可计算的，那么称A可以多项式时间多对一归约到B，记为 。容易看出： Cook 定理 命题3.8 所有语言A,B和C，都满足如