如何用暴力和N.D.M解决3SAT问题

Question

我一直在研究并尝试使用蛮力和N.D.M来解决3SAT，但却无法解决问题。任何人都可以详细向我解释这些并告诉我使用蛮力和N.D.M解决3SAT的基本算法？感谢

Answer 1

One Brute Force解决方案只是尝试所有可能的输入。因此，尝试解决（A | B）＆amp;（~A | C）＆amp;（~B）＆amp;（~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中一样，有不同的思考方式。一种情况是假设您必须为计算时间付费，但合同中存在漏洞，如果您尝试所有可能的输入，则只会对这些尝试的最长时间进行收费 - 所有其他都是免费的。