Questions tagged «max2sat»

2
Max-Sat的多项式时间可解实例
问题Max-Sat要求您找到一个CNF公式的赋值,该赋值满足尽可能多的子句。 对于较简单的问题SAT,有许多已知的特殊情况可以在多项式时间内求解,例如,我们可以在多项式时间内求解2-SAT。 对于Max-Sat,情况有所不同,因为即使对于2-CNF公式,Max-Sat也是NP难点(每个子句仅包含2个变量)。 Max-Sat是多项式的任何有趣的特殊输入吗? 特别是当操作图限制树宽时,我将对解决Max-Sat的标准参考感兴趣。
18 sat  treewidth  max2sat 
By using our site, you acknowledge that you have read and understand our Cookie Policy and Privacy Policy.
Licensed under cc by-sa 3.0 with attribution required.