电路可满足性问题就是:“给定某一个由AND、OR和 NOT门构成的布尔组合电路，它是可满足电路吗?”为了给出这一问题的形式定义，必须对电路的...

《算法导论》第三十四章（续2）34.3NP完全性与可归约性从事理论研究的计算机科学家们之所以会相信P≠NP，最令人信服的理由就是存在着一类“...

《算法导论》第三十四章（续）34.2多项式时间的验证现在来看看对语言成员进行“验证”的算法。例如，假定对判定问题PATH的一个给定实例...

归约上述有关证明问题不难于也不简单于另一个问题的说法，对两个问题都是判定问题也是适用的。我们可以把这一思想应用于几乎每一个NP完全问...

NP完全性

33.4 寻找最近点对现在来考虑一下在n≥2个点的集合Q中寻找最近点对的问题。“最近"指的是通常意义下的欧几里得距离:点力=(x，y)和p=(z，yz...