Das Problem Max-Sat fordert Sie auf, eine Zuordnung einer CNF-Formel zu finden, die möglichst viele Klauseln erfüllt.
Für das einfachere Problem SAT gibt es viele bekannte Spezialfälle, die in Polynomzeit gelöst werden können, zB können wir 2-SAT in Polynomzeit lösen.
Für Max-Sat ist die Situation anders, da Max-Sat auch für 2-CNF-Formeln NP-hart ist (jede Klausel enthält nur 2 Variablen).
Gibt es interessante spezielle Eingänge, für die Max-Sat polynomisch ist?
Insbesondere würde mich eine Standardreferenz zum Lösen von Max-Sat interessieren, wenn der Inzidenzgraph die Baumbreite begrenzt hat.