Als «max2sat» getaggte Fragen

2
Polynomiell zeitlösbare Instanzen von Max-Sat
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 …
18 sat  treewidth  max2sat 
2
MAX 1 in 2 SAT-Algorithmus
Das Problem der maximalen Erfüllbarkeit (Max-Sat) ist das Problem, die maximale Anzahl von Klauseln zu finden, die in einer Booleschen Erfüllbarkeitsinstanz erfüllt werden können. Das genau 1: 2-Sat-Problem fragt, ob es bei einer Reihe von Klauseln mit jeweils zwei Literalen eine Reihe von Literalen gibt, sodass jede Klausel genau ein …
Durch die Nutzung unserer Website bestätigen Sie, dass Sie unsere Cookie-Richtlinie und Datenschutzrichtlinie gelesen und verstanden haben.
Licensed under cc by-sa 3.0 with attribution required.