第九讲 NP完全问题 算法设计与分析课件.ppt

* * * * * * * * * * * * * * * * * * * * * * * * * * 可满足性∝poly团集问题 对于任意一个合取范式，按照如下方式构造相应的图G： 例如 图G的每个顶点对应于f中的每个文字，多次出现的重复表示； 若图G中两个顶点对应的文字不互补，且不出现在同一子句中，则将其连线。（a-b连线意味着a和b同时为真） Algorithms Design Techniques and Analysis 设f有n个子句，则：f可满足 ? n个子句同时为真 ?每个子句至少1个文字为真 ?G中有n个顶点之间彼此相连 ?G中有n个顶点的团 显然，上述构造图G的方法可在多项式时间内完成，故有：SAT∝poly团问题。 由以上证明可知，团问题是NP完全问题。 SAT问题∝poly团问题 同时为真，则相连 Algorithms Design Techniques and Analysis Algorithms Design Techniques and Analysis 可满足性?poly顶点覆盖 给出一个可满足性实例I，我们把它变换为顶点覆盖的一个实例 I’，设I是一个有m个子句和n个布尔变元x1,x2,..,xn的可满足性实例公式f=C1?C2 ?… ?Cm ，构造I’如下。 对于f中的每一个布尔变元xi，G包含一对顶点xi和~xi ，它们有一