Algorithm 如何使用蛮力和N.D.M求解3SAT

我一直在研究并试图使用蛮力和N.D.M解决3SAT问题，但未能做到这一点。有人能给我详细解释一下，告诉我用蛮力和N.D.M求解3SAT的基本算法吗？谢谢

一个暴力解决方案就是尝试所有可能的输入。因此，要尝试求解（A | B）&（~A | C）&（~B）&（~C），请尝试00000 1010011100101110111，其中xyz是A=x，B=y，C=z

---

如果NDM指的是非确定性机器，那么有不同的思考方式。一种是假设你必须为计算时间付费，但合同中有一个漏洞，如果你尝试所有可能的输入，你只会在这些尝试的最长时间内收到费用，其他所有的都是免费的。

你指的是哪一个N.D.M？