为什么喇叭公式算法贪心？

Question

我理解喇叭配方，如下：

但我不明白为什么它通常在与贪婪算法有关的部分讲授， 我看不出喇叭配方的贪婪部分。有人可以帮忙吗？

Answer 1

算法是贪婪的，因为它试图通过逐步将变量翻转为真来从不满意的赋值中建立令人满意的赋值。这可以被视为“贪婪”，因为算法只做出本地决策（为了满足特定条款而做出某些事情，而不考虑后面发生的事情）而不是全局决策，并且决不会从其决策中回溯（与许多其他SAT不同）求解算法）。

希望这有帮助！