NP完全理论.pptVIP

The Future P = NP? 具有一个输出的布尔组合电路是可满足的，指的是它有一组可满足的赋值，使得组合电路的输出为1。 电路可满足性(Circuit Satisfiablity，简记Circuit SAT)问题指的是，给定一个由逻辑门AND、 OR 和NOT构成的组合电路C，它可满足吗? 从形式语言的角度，可以定义如下 CircuitSAT = {C : C is a satisfiable boolean combinational circuit} 定理11.4就是著名的Cook-Levin定理，简称Cook定理。虽然，本书是从证明CircuitSAT属于NP完全开始的，是因为CircuitSAT的证明比较容易理解，而直接证明SAT属于NP完全则要复杂些，但是证明它们的思路是一样的。事实上，SAT才是第一个被证明的NP完全问题。Cook定理揭开了计算复杂性中NP完全理论的研究。在此基础上关于NP完全问题的研究，成为过去几十年来计算机科学最活跃和重要的研究领域之一。Stephen A. Cook因为其在计算复杂性领域的开创性贡献而获得1982年的图灵奖。 * 11.4 NPC的证明 引理11.4 如果L是一个语言，对某个语言L∈NPC ，使得L ≤ P L ，则L是NP难的。而且，如果有L∈NP ，则L∈NPC。 证明：因为L是NP完全的，对任意的L∈ NP