Algorithm 为什么horn公式算法是贪婪的？
我理解horn公式，它如下所示： 但我不明白为什么它通常在贪婪算法的相关部分教授，Algorithm 为什么horn公式算法是贪婪的？,algorithm,greedy,Algorithm,Greedy,我理解horn公式，它如下所示： 但我不明白为什么它通常在贪婪算法的相关部分教授， 我看不出霍恩公式中贪婪的部分。有人能帮忙吗？该算法是贪婪的，因为它试图通过递增地将变量翻转为true，从一个不满意的赋值建立一个满意的赋值。这可以被视为“贪婪”，因为该算法只做出局部决策（为了满足某个特定的子句，而不考虑以后会发生什么），而不是全局决策，并且从不从其决策中回溯（与许多其他SAT求解算法不同） 希望这有帮助 该算法是贪婪的，因为它试图通过递增地将变量翻转为true，从一个不满意的赋值建立一个满意的
我看不出霍恩公式中贪婪的部分。有人能帮忙吗？该算法是贪婪的，因为它试图通过递增地将变量翻转为true，从一个不满意的赋值建立一个满意的赋值。这可以被视为“贪婪”，因为该算法只做出局部决策（为了满足某个特定的子句，而不考虑以后会发生什么），而不是全局决策，并且从不从其决策中回溯（与许多其他SAT求解算法不同）
希望这有帮助 该算法是贪婪的，因为它试图通过递增地将变量翻转为true，从一个不满意的赋值建立一个满意的赋值。这可以被视为“贪婪”，因为该算法只做出局部决策（为了满足某个特定的子句，而不考虑以后会发生什么），而不是全局决策，并且从不从其决策中回溯（与许多其他SAT求解算法不同） 希望这有帮助