“2022年07月” 的搜索结果,共6

《算法导论》第三十四章(续3)
《算法导论》第三十四章(续3)

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

《算法导论》第三十四章(续2)
《算法导论》第三十四章(续2)

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

《算法导论》第三十四章(续2)
《算法导论》第三十四章(续2)

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

《算法导论》第三十四章(续1)
《算法导论》第三十四章(续1)

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

《算法导论》第三十三章 续3
《算法导论》第三十三章 续3

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

16条记录首页上页1下页尾页