Als «np-hardness» getaggte Fragen

Fragen zur NP-Härte und NP-Vollständigkeit.

2
Natural CLIQUE zur k-Farbreduktion
Es gibt eindeutig eine Reduzierung von CLIQUE auf k-Color, da beide NP-Complete sind. Tatsächlich kann ich einen erstellen, indem ich eine Reduktion von CLIQUE auf 3-SAT mit einer Reduktion von 3-SAT auf k-Color zusammensetze. Ich frage mich, ob es eine vernünftige direkte Reduzierung zwischen diesen Problemen gibt. Sagen wir, eine …
1
Ich möchte ein einfaches Gadget, um zu beweisen, dass der planare Hamilton-Zyklus NP-vollständig ist (aus dem Hamilton-Zyklus)
Es ist bekannt, dass der Hamilton-Zyklus (kurz Schinken) NP-vollständig und der planare Schinken-Zyklus NP-vollständig ist. Der Beweis für den Planaren Schinkenzyklus stammt nicht aus dem Schinkenzyklus. Gibt es ein nettes Gadget, das bei einem gegebenen Graphen G alle Kreuzungen durch ein planares Gadget ersetzt, so dass Sie einen planaren Graphen …
5
Rechtecke in konvexe Polygone packen, aber ohne Rotationen
Ich interessiere mich für das Problem, identische Kopien von (zweidimensionalen) Rechtecken in ein konvexes (zweidimensionales) Polygon ohne Überlappungen zu packen. In meinem Problem dürfen Sie die Rechtecke nicht drehen und können davon ausgehen, dass sie parallel zu den Achsen ausgerichtet sind. Sie erhalten nur die Abmessungen eines Rechtecks ​​und die …
2
Testen Sie, ob Buchstaben so geplant werden können, dass ein Wort in einer normalen Sprache gefunden wird
Ich fixiere eine reguläre Sprache LLL auf einem Alphabet ΣΣ\Sigma und betrachte das folgende Problem, das ich als Briefplanung für LLL . Informell gibt die Eingabe mir nnn Buchstaben und ein Intervall für jeden Buchstaben (dh eine minimale und maximale Position), und mein Ziel ist es, jeden Buchstaben in seinem …
2
Gibt es schwierige Fälle von 3-SAT, in denen in den Klauseln nur Literale verwendet werden können, die sich "in der Nähe" befinden?
Sei die Variable x1,x2,x3...xnx1,x2,x3...xnx_1 , x_2 , x_3 ... x_n . Der Abstand zwischen zwei Variablen ist definiert als d(xa,xb)=|a−b|d(xa,xb)=|a−b|d(x_a , x_b) = |a-b|. Der Abstand zwischen zwei Literalen ist der Abstand zwischen den entsprechenden beiden Variablen. Angenommen , ich habe eine 3-SAT - Instanz , so dass für jede …
22 np-hardness  sat 
1
Tardos-Funktion Gegenbeispiel zu Blums
In diesem Thread wird Norbet Blums versuchter P≠NPP≠NPP \neq NP Beweis kurz widerlegt, indem festgestellt wird, dass die Tardos-Funktion ein Gegenbeispiel zu Satz 6 ist. Satz 6 : Sei f∈Bnf∈Bnf \in \mathcal{B}_n eine monotone Boolesche Funktion. Angenommen, es gibt einen CNF-DNF-Approximator AA\mathcal{A} dem eine Untergrenze für Cm(f)Cm(f)C_m(f) . Dann kann …
10
Probleme, die bei ungewichteten Diagrammen einfach sind, bei gewichteten Diagrammen jedoch schwer
Viele algorithmische Graphenprobleme können sowohl in ungewichteten als auch in gewichteten Graphen in Polynomzeit gelöst werden. Einige Beispiele sind der kürzeste Pfad, der minimale Spannbaum, der längste Pfad (in gerichteten azyklischen Graphen), der maximale Fluss, der minimale Schnitt, der maximale Abgleich, die optimale Arboreszenz, bestimmte dichteste Subgraphenprobleme, maximale disjunkte gerichtete …
1
Gibt es ein Problem, das für kubische Grafiken einfach, für Grafiken mit maximalem Grad 3 jedoch schwierig ist?
Kubische Graphen sind Graphen, bei denen jeder Scheitelpunkt Grad 3 hat. Sie wurden eingehend untersucht, und ich bin mir bewusst, dass einige NP-harte Probleme auch auf Unterklassen von kubischen Graphen beschränkt bleiben, andere jedoch einfacher werden. Eine Superklasse von kubischen Graphen ist die Klasse von Graphen mit maximalem Grad .Δ≤3Δ≤3\Delta …
2
Zusammenhang zwischen der Erkennungshärte einer Graphklasse und der verbotenen Untergraphcharakterisierung
Ich überlege mir Diagrammklassen, die durch verbotene Untergraphen gekennzeichnet werden können. Wenn eine Graphenklasse eine endliche Menge verbotener Untergraphen enthält, gibt es einen Algorithmus zur Erkennung trivialer Polynomzeiten (man kann einfach rohe Gewalt anwenden). Eine unendliche Familie verbotener Untergraphen impliziert jedoch keine Härte: Es gibt einige Klassen mit einer unendlichen …
1
Bedeutet NP-Härte P-Härte?
Wenn ein Problem NP-hart ist (unter Verwendung von Polynomzeitreduzierungen), impliziert dies, dass es P-hart ist (unter Verwendung von Protokollraum- oder NC-Reduzierungen)? Es scheint intuitiv zu sein, dass, wenn es so schwierig ist wie ein Problem in NP, es genauso schwierig sein sollte wie ein Problem in P, aber ich verstehe …
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.