电路可满足性问题就是:“给定某一个由AND、OR和 NOT门构成的布尔组合电路,它是可满足电路吗?”为了给出这一问题的形式定义,必须对电路的...
《算法导论》第三十四章(续2)34.3NP完全性与可归约性从事理论研究的计算机科学家们之所以会相信P≠NP,最令人信服的理由就是存在着一类“...
《算法导论》第三十四章(续)34.2多项式时间的验证现在来看看对语言成员进行“验证”的算法。例如,假定对判定问题PATH的一个给定实例...
归约上述有关证明问题不难于也不简单于另一个问题的说法,对两个问题都是判定问题也是适用的。我们可以把这一思想应用于几乎每一个NP完全问...
NP完全性
33.4 寻找最近点对现在来考虑一下在n≥2个点的集合Q中寻找最近点对的问题。“最近"指的是通常意义下的欧几里得距离:点力=(x,y)和p=(z,yz...