Als «sat-solvers» getaggte Fragen

Fragen zu Solver-Programmen für das Problem der booleschen Erfüllbarkeit.

1
Wie kann man mit einem alten SAT-Solver einen neuen entdecken, wie in The Golden Ticket beschrieben?
In Lance Fortnows Buch The Golden Ticket erwähnt er, dass Sie einen Polynom-Zeit-Algorithmus für ein NP-vollständiges Problem verwenden können, um einen schnelleren Algorithmus zu finden. Können Sie mir sagen, wie das gemacht wird? Und wenn dies erledigt ist, können Sie den neuen Algorithmus verwenden, um eine noch schnellere ad infinitum …
2
Übliche Methode zur Lösung von Erfüllbarkeitsproblemen, die in P liegen
Ich weiß aus dem Schäfer-Dichotomie-Theorem, dass nur wenige Arten von Erfüllbarkeitsproblemen in P vorliegen und jedes andere Problem NP-vollständig ist. Alle Algorithmen, die ich für sie kenne, verwenden jedoch spezifische Techniken, die für diese Art von Problem einzigartig sind, z. B. die Ausbreitung von Einheiten für Hornsat, lineare algebraische Techniken …
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.