我知道上述两种算法都处于迭代解决方案下，以找到针对MAXSAT问题的最佳方案，但我想知道为什么从满意的方面开始，而不是从不满意的方面寻找更好的MAXSAT解决方案？ / p>
这里可满足的一面意味着放宽所有可能的软性条款，直到我们达到UNSAT为止；而不可满足性的一面意味着从无条款开始，直到我们达到SAT为止放松数量。
答案 0 :(得分：1)
MAX-SAT问题通常与无法满足的公式有关。在一般情况下，不满意的证明比满意的证明更难写。当您从实例中删除约束时，无法满足的证据也会变得越来越难，过度约束是某些无法满足的实例很容易的主要原因。
因此，使用一种方法时，您会从简单的实例开始，这些实例会逐渐变得难于为其编写SAT / UNSAT证明，而另一种方法则开始尝试尝试编写硬性证明，并且由于不得不编写更难的实例而受益匪浅。下一次迭代。