2
Max-Sat的多项式时间可解实例
问题Max-Sat要求您找到一个CNF公式的赋值，该赋值满足尽可能多的子句。 对于较简单的问题SAT，有许多已知的特殊情况可以在多项式时间内求解，例如，我们可以在多项式时间内求解2-SAT。 对于Max-Sat，情况有所不同，因为即使对于2-CNF公式，Max-Sat也是NP难点（每个子句仅包含2个变量）。 Max-Sat是多项式的任何有趣的特殊输入吗？ 特别是当操作图限制树宽时，我将对解决Max-Sat的标准参考感兴趣。