Als «reductions» getaggte Fragen

Eine Reduktion ist die Umwandlung eines Problems in ein anderes Problem. Ein Beispiel für die Verwendung einer Reduktion wäre zu zeigen, ob ein Problem P unentscheidbar ist. Dies würde erreicht werden, indem ein Entscheidungsproblem transformiert oder reduziert wirdP.in ein unentscheidbares Problem. Wenn dies erreicht werden kann, haben wir gezeigt, dass dieses Problem P unentscheidbar ist.

1
Irgendwelche SAT / SMT-Formulierungen des VRP / VRPTW (TSP, Job-Shop-Scheduling)?
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 besucht?" Dieses Entscheidungsproblem könnte für einen …
1
Überprüfung einer Subtilität von Karps ursprünglichem Beweis, dass SAT eine Polynomzeitreduktion auf 3SAT aufweist
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 feststellte: Ersetzen einer Klausel , wobei die …
1
NP-Härtebeweis: Suche nach guten, eingeschränkten np-harten Problemen
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 Probleme leichter reduzieren als andere. Zum Beispiel …
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.