NP完全性 定义对于问题Q若满足QNP且Q是NP 困难的则称Q是NP完全的 ? 所有NP完全的问题记为NPC ? 定理设QNPCP=NP当且仅当QP ? 如果PNP则PNP与NPC或许如下图所示 ? P NP NPC 2013-1-11 计算机算法设计与分析 21 第一个NP完全的问题 ? Cook在1971年证明了第一个NP完全的问题 ? Cook定理布尔表达式的可满足性SAT是NP完 全的