Als «2-sat» getaggte Fragen

Ist 2-SAT mit XOR-Beziehungen NP-vollständig?

Ich frage mich, ob es einen Polynomalgorithmus für "2-SAT mit XOR-Beziehungen" gibt. Sowohl 2-SAT als auch XOR-SAT sind in P, aber ist seine Kombination? Beispiel Eingabe: 2-SAT-Teil: (a or !b) and (b or c) and (b or d) XOR-Teil: (a xor b xor c xor 1) and (b xor c …

11 np-complete satisfiability xor 2-sat

Ist eine "lokale" Version von 3-SAT NP-hard?

Nachfolgend meine Vereinfachung eines Teils eines größeren Forschungsprojekts zu räumlichen Bayes'schen Netzwerken: Angenommen, eine Variable ist " -local" in einer Zeichenfolge wenn zwischen dem ersten und dem letzten Satz, in dem sie vorkommt, weniger als Klauseln stehen (wobei eine natürliche Zahl ist).kkkC∈3-CNFC∈3-CNFC \in 3\text{-CNF}kkkkkk Betrachten Sie nun die Teilmenge die …

7 np-hard satisfiability polynomial-time 3-sat 2-sat

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.