Als «np-hard» getaggte Fragen

Entscheidungsprobleme, die mindestens so schwer sind wie NP-vollständige Probleme

2
Sind Regex-Kreuzworträtsel NP-hart?
Ich habe neulich auf dieser Website herumgespielt : http://regexcrossword.com/, und ich habe mich gefragt, wie ich es am besten lösen kann. Können Sie das folgende Problem in Polynomzeit lösen oder ist es NP-schwer? Suchen Sie bei einem NxM-Raster mit N regulären Ausdrücken für die Spalten und M für die Zeilen …
2
MIN-2-XOR-SAT und MAX-2-XOR-SAT: Sind sie NP-hart?
Was ist die Komplexität von MIN-2-XOR-SATMIN-2-XOR-SAT\text{MIN-2-XOR-SAT} und MAX-2-XOR-SATMAX-2-XOR-SAT\text{MAX-2-XOR-SAT} ? Sind sie in P? Sind sie NP-hart? Um dies genauer zu formalisieren, lassen Sie Φ ( x ) = ∧nichC.ich,Φ(x)=∧inCi,\Phi\left(\mathbf x\right)={\huge\wedge}_{i}^{n}C_i, wobei x =( x1, … , X.m)x=(x1,…,xm)\mathbf{x} = (x_1,\dots,x_m) und jede Klausel C.ichCiC_i von der Form ( xich⊕ xj)(xi⊕xj)(x_i \oplus …
2
Bedeutet coNP-Vollständigkeit NP-Härte?
Bedeutet coNP-Vollständigkeit NP-Härte? Insbesondere habe ich ein Problem, von dem ich gezeigt habe, dass es coNP-vollständig ist. Kann ich behaupten, dass es NP-schwer ist? Mir ist klar, dass ich CoNP-Härte beanspruchen kann, aber ich bin nicht sicher, ob diese Terminologie Standard ist. Ich bin mit der Behauptung einverstanden, dass NP …
1
Ein kontinuierliches Optimierungsproblem, das sich auf TSP reduziert
Angenommen, ich bekomme eine endliche Menge von Punkten p1,p2,..pnp1,p2,..pnp_1,p_2,..p_n in der Ebene und gebeten, eine doppelt differenzierbare Kurve C(P)C(P)C(P) durch die zu zeichnen pipip_i, so dass ihr Umfang so klein wie möglich ist. Angenommen, und , kann ich dieses Problem wie folgt formalisieren:pi=(xi,yi)pi=(xi,yi)p_i=(x_i,y_i)xi&lt;xi+1xi&lt;xi+1x_i<x_{i+1} Aufgabe 1 (bearbeitet als Antwort auf Sureshs …
1
Werden NP-vollständige Sätze nur dann aus zwei anderen Sätzen gebildet, wenn mindestens einer NP-hart ist?
Diese Frage ist eine Art Umkehrung zu einer früheren Frage zu Mengen, die aus Mengenoperationen für NP-vollständige Mengen gebildet wurden: Wenn die Menge, die sich aus der Vereinigung, dem Schnittpunkt oder dem kartesischen Produkt zweier entscheidbarer Mengen und ergibt, NP-vollständig ist, ist mindestens eine von notwendigerweise NP-hart? Ich weiß, dass …
4
Kann es schwierig sein, einen Zeugen zu finden, selbst wenn wir bereits wissen, dass es einen gibt?
Die häufigsten Beispiele für NP-harte Probleme (Clique, 3-SAT, Scheitelpunktabdeckung usw.) sind solche, bei denen wir vorher nicht wissen, ob die Antwort "Ja" oder "Nein" lautet. Angenommen, wir haben ein Problem, bei dem wir wissen, dass die Antwort Ja lautet. Außerdem können wir einen Zeugen in Polynomzeit verifizieren. Können wir dann …
3
Ist
Angenommen, ist ein entscheidbares Entscheidungsproblem.ΠΠ\Pi Does implizieren ist -Hard?Π∉NPΠ∉N.P.\Pi\not \in NPΠΠ\PiNPN.P.NP Bearbeiten: Wenn wir annehmen, dass , sind wir fertig. Können wir die Behauptung ohne unbekannte Annahmen widerlegen?Π∈coNP∖NPΠ∈coNP∖NP\Pi\in coNP\setminus NP
1
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 …
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.