Als «np-hardness» getaggte Fragen

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

5
Instanz von FPT-Reduktionen, die keine Polynomzeitreduktion ist
In parametrisierter Komplexität verwenden Menschen die FPT-Reduktion (Fixed-Parameter-Tractable), um die W [t] -Härte zu beweisen. Theoretisch ist eine FPT-Reduktion keine Polynomzeitreduktion, da sie im Parameter k exponentiell ablaufen kann. In der Praxis sind alle FPT-Reduktionen, die ich gesehen habe, p-Zeit-Reduktionen, was bedeutet, dass W [t] -Härtebeweise fast immer NP-Vollständigkeitsnachweise implizieren. …
1
Berechnung der maximalen H-freien Mengen
In einem Diagramm ist eine unabhängige Menge eine Scheitelpunktuntermenge, die keine Kante als induzierten Untergraphen enthält. Das Problem, die größten unabhängigen Mengen in einem Graphen zu finden, ist eine grundlegende algorithmische Frage, und zwar eine schwierige. Betrachten wir die allgemeinere Frage des Findens (der Größe) einer größten H-freien Menge in …
2
Gibt es einen schnellen Algorithmus für ein Problem mit minimalen Kostenrückkopplungen?
In einem gerichteten Graphen ist , , wenn eine DAG (gerichteter azyklischer Graph) ist, wird als Rückkopplungsbogenmenge bezeichnet. F ⊂ E G ∖ F F.G = ( V., E.)G=(V,E)G=(V,E)F.⊂ E.F⊂EF\subset EG ∖ F.G∖FG\setminus FF.FF Wenn jede Kante einem Gewicht , besteht das Problem des Rückkopplungsbogens für minimale Kosten darin, ein …
2
Ist das N Queens Problem NP-schwer?
Das N-Queen-Problem ist folgendes: Eingabe: N. Ausgabe: Eine Platzierung von N "Königinnen" auf einem NXN-Schachbrett, so dass keine zwei Königinnen in derselben Zeile, Spalte oder Diagonale liegen. Bei einer Google-Suche stellte ich fest, dass viele Folien von vielen Professoren behaupten, dies sei ein NP-schweres Problem (z. B. web.mst.edu/~ercal/387/slides/NP-Hard.ppt). Ich konnte …
2
Minimum True Monotone 3SAT
Ich interessiere mich für eine SAT-Variante, bei der die CNF-Formel monoton ist (keine Variablen werden negiert). Eine solche Formel ist offensichtlich erfüllbar. Angenommen, die Anzahl der wahren Variablen ist ein Maß dafür, wie gut unsere Lösung ist. Wir haben also folgendes Problem: MINIMUM TRUE MONOTONE 3SAT INSTANZ: Setze U von …
6
Führen Sie Mehrfachreduktionen und Turing-Reduktionen durch, um denselben Klassen-NPC zu definieren
Ich frage mich, ob NPC-Klassen, die durch Ein-Eins-Reduktionen und Turing-Reduktionen definiert sind, gleich sind. Bearbeiten: Eine andere Frage, sind Turing-Reduktionen nur kollabierende C- und Co-C-Klassen für einige C oder gibt es eine Klasse wie es ein Problem gibt, das nicht in unter Karp-Reduktion und das in C unter Turing-Reduktion ist …
1
Wie schwer ist es, die Existenz von Rot-Blau zu bestimmen?
Das zweifarbige Problem der perfekten Übereinstimmung besteht darin, zu entscheiden, ob ein Graph zwei Farben färbt, sodass jeder Knoten genau einen Nachbarn hat, der dieselbe Farbe wie er selbst hat. Das Problem wurde von Schaefer als NP-vollständig erwiesen . Es bleibt auch für planare kubische Graphen NP-vollständig. Ich interessiere mich …
2
Gemeinsame Einblicke in die hypothetische Komplexität von Graphproblemen
Ich bin auf zwei Beispiele für die hypothetische Härte einiger Graphprobleme gestoßen. Hypothetische Härte bedeutet, dass das Widerlegen einer Vermutung die NP-Vollständigkeit des jeweiligen Graphproblems implizieren würde. Zum Beispiel besagt Barnets Vermutung , dass jeder 3-verbundene kubische planare zweigliedrige Graph Hamiltonian ist. Feder und Subi haben bewiesen, dass das Widerlegen …
2
Ist Fast-2-SAT NP-hart?
Ist ein CNF-SAT-Problem NP schwierig, wenn die Gesamtzahl (aber nicht die Breite) der 3-oder-mehr-Term-Klauseln oben durch eine Konstante begrenzt ist? Was ist konkret, wenn es nur eine solche Klausel gibt?
2
Härte eines Untergehäuses von Set Cover
Wie schwer ist das Set Cover-Problem, wenn die Anzahl der Elemente durch eine Funktion (z. B. ) begrenzt ist, wobei die Größe der Probleminstanz ist. Formal,lognlog⁡n\log nnnn Sei und wobei und . Wie schwer ist es, das folgende Problem zu entscheiden?U={e1,⋯,em}U={e1,⋯,em}\mathcal{U}=\{e_1, \cdots, e_m\}F={S1,⋯,Sn}F={S1,⋯,Sn}\mathcal{F} = \{S_1, \cdots, S_n\}Si⊆USi⊆US_i \subseteq \mathcal{U}m=O(logn)m=O(log⁡n)m = …
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.