Diese Frage ist möglicherweise nicht technisch. Als Nicht-Muttersprachler und TA für die Algorithmusklasse habe ich mich immer gefragt, was Gadget in "Klausel-Gadget" oder "Variablen-Gadget" bedeutet. Das Wörterbuch besagt, dass ein Gadget eine Maschine oder ein Gerät ist, aber ich bin mir nicht...
Gibt es Probleme, deren durchschnittliche Fallkomplexität mit der Worst-Case-Komplexität übereinstimmt? Was sind die zugrunde liegenden Eigenschaften dieser Probleme, die es ermöglichen, den schlimmsten Fall auf den Durchschnittsfall zu
Da 2 NP-vollständige Probleme per Definition auf einander reduzierbar sind, kann eine Lösung für eines von ihnen erhalten werden, indem eine Black-Box verwendet wird, die das andere löst. Warum haben sie keine ähnlichen Approximationsverhältnisse (bezogen auf ihre Optimierungsgegenstücke)? )? Ich...
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...
Ich bin daran interessiert, Clique auf SAT zu reduzieren , ohne die Instanz viel größer zu machen.kkk Die Clique befindet sich in NP, sodass sie mithilfe des logarithmischen Raums auf SAT reduziert werden kann. Durch die einfache Reduzierung des Garey / Johnson-Lehrbuchs wird die Instanz auf...
Ich suche nach Beispielen für schwierige Probleme (in NP oder schwieriger) aus der Informatik, die auf Modelle physikalischer Prozesse reduziert werden können. Zum Beispiel kann max-2-sat in einem Ising-Modell auf Energieminimierung reduziert werden. Ich würde gerne weitere Beispiele für diese Art...
Mahaney Theorem sagt uns , dass , wenn es ein spärlicher -komplette Satz unter Polynom-Many-one- Reduzierungen, dann P = N P . (Siehe " Sparse komplette Sätze für NP: Lösung einer Vermutung von Berman und Hartmanis ")N.P.NPNPP.= N.P.P=NPP = NP Gibt es bekannte Konsequenzen für die Existenz...
Ich suche nach einem Beweis dafür, dass die Komplexität von Kolmogorov nicht berechenbar ist, indem ich ein anderes nicht berechenbares Problem reduziere. Der übliche Beweis ist eher eine Formalisierung von Berrys Paradoxon als eine Reduktion, aber es sollte einen Beweis geben, indem man von etwas...
Ich frage mich, ob es irgendwelche Ansätze gibt, die ein Fahrzeugroutenproblem mit Zeitfenstern ( VRPTW ) (als Entscheidungsproblem) als SAT / SMT-Instanz formulieren . (Alternative: TSP) Zum Beispiel: "Gibt es eine gültige Lösung, die alle Kunden innerhalb ihrer Zeitfenster mit n = 10 Fahrzeugen...
Um die NP-Härte eines Problems zu zeigen, muss man ein bekanntes NP-hartes Problem auswählen und eine Polynomreduktion vom bekannten Problem zu seinem vorliegenden Problem finden. Theoretisch kann jedes NP-harte Problem für die Reduktion verwendet werden, aber in der Praxis lassen sich einige der...
Das Problem mit dem verbundenen Subgraphen mit maximalem Gewicht ist wie folgt: Input: ein Graph und ein Gewicht (möglicherweise negativ) für jeden Scheitelpunkt .w i i ∈ V.G = ( V., E.)G=(V,E)G=(V,E)wichwiw_ii ∈ V.i∈Vi \in V Ausgabe: Eine Teilmenge mit maximaler Gewichtung von Eckpunkten, so dass...
Kurz gesagt, meine Frage lautet: Ist Karps ursprünglicher Beweis, der SAT auf 3SAT reduziert, unnötig aufwändig? Die Einzelheiten sind wie folgt. In seiner Arbeit Reducibility Among Combinatorial Problems aus dem Jahr 1972 bewies Karp, dass sich SAT auf 3SAT reduziert, indem er Folgendes...
Ist es möglich, eine Reduzierung der Zählung von #SAT auf #HornSAT zu finden? Ich habe diese Frage hier nicht gefunden und habe mich daher entschlossen zu prüfen, ob jemand eine Antwort darauf hat. Lassen Sie mich erklären, was ich mit Reduktion zähle. Angenommen, sind zwei Zählprobleme. Zum...