Als «np-complete» getaggte Fragen

Fragen zu den schwierigsten Problemen in NP, dh zu denen, die in polynomialer Zeit von nichtdeterministischen Turing-Maschinen gelöst werden können.

1
Komplexität des monotonen (+, 2) SAT-Problems?
Um diesen Beitrag fortzusetzen , definieren wir das monotone -SAT-Problem:(+,2−)(+,2−)(+, 2^-) Gegeben eine monotone CNF-Formel , bei der jede Variable genau einmal erscheint (als positives Literal), und eine monotone 2-CNF-Formel definiert für dieselben Variablen wie , wobei alle Variablen negiert werden. Ist erfüllbar?F+F+F^+F−2F2−F_2^-F+F+F^+F+∧F−2F+∧F2- -F^+ \land F_2^- Ist dieses Problem NP-vollständig?
1
NP vollständige Probleme, die in Polynomzeit lösbar sind, wenn die Eingabe (z. B. Anzahl der Variablen) behoben ist?
Ich habe einige Probleme gesehen, die NP-hart, aber in fester Dimension polynomiell lösbar sind. Beispiele, denke ich, sind Knapsack, das polynomial lösbar ist, wenn die Anzahl der Elemente fest ist, und Integer Linear Programming mit fester Anzahl von Variablen oder Einschränkungen durch Lenstras. Fragen: Was sind andere Beispiele für NP-harte …
2
Ist NAE-HORN-SAT in P oder NP-hart?
Ich bin daran interessiert, die Komplexität des NAE-HORN-SAT-Problems zu kennen (nicht alle gleich). Wir wissen, dass HORNSAT istP.P\mathsf{P}-vollständig, aber auf der anderen Seite ist NAE-SAT N P.NP\mathsf{NP}-Komplett. Ich möchte wissen, was wir über das NAE-HORN-SAT-Problem sagen können. Lassen Sie mich das Problem formal definieren: Gegeben: Eine Boolesche Formel ϕϕ\phiwird uns …
2
Ist SAT in P, wenn die Anzahl der Variablen exponentiell viele Klauseln enthält?
Ich definiere einen langen CNF , der mindestens enthält2n22n22^\frac{n}{2}Klauseln, wobei die Anzahl seiner Variablen ist. Es sei eine erfüllbare lange CNF-Formel .nnnLong-SAT = { ϕ : ϕLong-SAT={ϕ:ϕ\text{Long-SAT}=\{\phi: \phi}}}\} Ich würde gerne wissen , warum . Zuerst dachte ich, es sei da ich eine Polynomzeitverkürzung von auf , nein?Long-SAT ∈ P.Long-SAT∈P\text{Long-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.