如何使用蛮力和N.D.M解决3SAT问题
如何使用蛮力和N.D.M解决3SAT问题
提问于 2015-11-28 20:06:35
我一直在研究并尝试使用暴力破解和N.D.M来解决3SAT问题，但我做不到。有没有人能给我详细解释一下，告诉我用暴力破解3SAT和N.D.M的基本算法？谢谢
回答 1
Stack Overflow用户
发布于 2015-11-28 21:17:35
一种暴力解决方案是简单地尝试所有可能的输入。因此，要尝试求解(A|B)&(~A|C)&(~B)&(~C)，尝试000,001,010,011,100,101,110,111，其中xyz是A=x，B=y，C=z。
如果NDM指的是https://en.wikipedia.org/wiki/Non-deterministic_Turing_machine中的非确定性机器，那么对此有不同的思考方式。一种是假设你必须为计算时间付费，但合同中有一个漏洞，如果你尝试所有可能的输入，你只会收取这些尝试中最长的一次-所有其他的都是免费的。
页面原文内容由Stack Overflow提供。腾讯云小微IT领域专用引擎提供翻译支持
原文链接：
https://stackoverflow.com/questions/33971153
复制相关文章
相似问题
腾讯云开发者
