Als «np-hardness» getaggte Fragen

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

1
Auswahl einer gleichmäßig zufälligen zufriedenen Aufgabe
Problem: Für dargestellt durch eine Boolesche Schaltung, wird ein gleichmäßig zufälliges x ∈ { 0 , 1 } n erzeugt, so dass ϕ ( x ) = 1 (oder Ausgabe)ϕ:{0,1}n→{0,1}ϕ:{0,1}n→{0,1}\phi : \{0,1\}^n \to \{0,1\}x∈{0,1}nx∈{0,1}nx \in \{0,1\}^nϕ(x)=1ϕ(x)=1\phi(x)=1 wenn dies nicht der Fall ist x existiert). ⊥⊥\perpxxx Offensichtlich ist dieses Problem NP-schwer. …
5
Genaue Algorithmen für die r-dominierende Menge in Bounded Treewidth-Diagrammen
Mit einem Graphen möchte ich eine optimale r- Dominanz für G finden . Das heißt, ich möchte eine Teilmenge S von V, so dass alle Scheitelpunkte in G höchstens r von einem Scheitelpunkt in S entfernt sindG=(V,E)G=(V,E)G = (V, E)rrrGGGSSSVVVGGGrrrSSS , während die Größe von minimiert wird .SSS Nach dem, …
4
Ist Eta-Äquivalenz für Funktionen mit Haskells seq-Operation kompatibel?
Lemma: Unter der Annahme einer Eta-Äquivalenz haben wir das (\x -> ⊥) = ⊥ :: A -> B. Beweis: ⊥ = (\x -> ⊥ x)durch Eta-Äquivalenz und (\x -> ⊥ x) = (\x -> ⊥)durch Reduktion unter dem Lambda. Der Haskell 2010-Bericht, Abschnitt 6.2, spezifiziert die seqFunktion durch zwei Gleichungen: …
1
Was ist die minimal erforderliche Reduktionstiefe für die NP-Härte von SAT?
Wie jeder weiß, ist SAT vollständig für in Polynom-Zeit-Viel-Eins-Reduktionen. Es ist immer noch vollständig, wenn viele Reduzierungen vorgenommen wurden.A C 0NPNP\mathsf{NP}A C0EINC0\mathsf{AC^0} Meine Frage ist, welche Mindesttiefe für die Reduzierungen erforderlich ist. Formeller, Was ist die am wenigsten , so dass SAT -hard WRT many-one Reduzierungen?N P A C 0 …
1
Wie kann ein Problem in NP sein, NP-hart und nicht NP-vollständig?
Die längste Zeit habe ich gedacht, dass ein Problem NP-vollständig ist, wenn es sowohl (1) NP-schwer als auch (2) NP ist. In der berühmten Veröffentlichung "Die Ellipsoidmethode und ihre Konsequenzen für die kombinatorische Optimierung" behaupten die Autoren jedoch, dass das Problem der fraktionalen chromatischen Zahl zu NP gehört und NP-hart …
1
Ganzzahlbeziehungserkennung für Teilmenge Summe oder KKW?
Gibt es eine Möglichkeit, eine Instanz von Subset Sum oder das Number Partition Problem zu codieren, sodass eine (kleine) Lösung für eine Ganzzahlbeziehung eine Antwort ergibt? Wenn nicht definitiv, dann in einem wahrscheinlichkeitstheoretischen Sinne? Ich weiß, dass LLL (und möglicherweise PSLQ) mit mäßigem Erfolg bei der Lösung von Subset-Summen-Problemen in …
1
Komplexität des Problems der Wörter mit den wenigsten Buchstaben, die von einem endlichen Automaten akzeptiert werden
Wenn ein endlicher (deterministischer oder nicht deterministischer) Automat A und ein Schwellenwert n gegeben sind , akzeptiert A ein Wort, das höchstens n verschiedene Buchstaben enthält? (Mit k verschiedenen Buchstaben meine ich, dass aabaa zwei verschiedene Buchstaben hat, a und b .) Ich habe gezeigt, dass dieses Problem NP-vollständig ist, …
4
Die dünnste Lösung für ein lineares Gleichungssystem finden
Wie schwer ist es, die dünnste Lösung für ein lineares Gleichungssystem zu finden? Betrachten Sie formal das folgende Entscheidungsproblem: Instanz: Ein lineares Gleichungssystem mit ganzzahligen Koeffizienten und einer Zahl .ccc Frage: Gibt es eine Lösung für das System, bei der mindestens Variablen mit Null belegt sind?ccc Ich versuche auch festzustellen, …
1
"Snake" -Rekonfigurationsproblem
Während ich einen kleinen Beitrag über die Komplexität der Videospiele Nibbler und Snake schreibe ; Ich fand heraus, dass beide als Rekonfigurationsprobleme auf ebenen Graphen modelliert werden können. und es ist unwahrscheinlich, dass solche Probleme im Bereich der Bewegungsplanung nicht gut untersucht wurden (stellen Sie sich zum Beispiel eine Kette …
1
Harte Erweiterbarkeitsprobleme
Beim Erweiterbarkeitsproblem erhalten wir einen Teil der Lösung und wir möchten entscheiden, ob wir es zu einer vollständigen Lösung erweitern können. Einige Erweiterbarkeitsprobleme sind effizient lösbar, während andere Erweiterbarkeitsprobleme ein einfaches Problem in ein schweres verwandeln. Zum Beispiel besagt das Konig-Hall-Theorem, dass alle kubischen zweigeteilten Graphen dreikantig färbbar sind, die …
3
Transitives Feedback Arc Set (TFAS): NP-vollständig?
Vor einiger Zeit habe ich eine Referenzanfrage für Diagrammprobleme gesendet, in der wir eine 2-Partition der Kanten finden möchten, bei der beide Mengen eine Eigenschaft erfüllen, die nicht mit ihrer Kardinalität zusammenhängt. Ich habe versucht zu beweisen, dass das folgende Problem NP-schwer ist: Gibt es bei einem Turnier einen Rückkopplungsbogensatz …
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.