A Survey of Lower Bounds for Satisfiability and Related Problems
NP-Vollständigkeit ist wohl das am weitesten verbreitete Konzept in der Informatik, da es die rechnerische Komplexität von Tausenden wichtiger Probleme aus allen Bereichen der Wissenschaft und Technik erfasst.
Bei der Frage P versus NP geht es darum, ob diese Probleme in polynomieller Zeit gelöst werden können. Eine negative Antwort wird seit langem vermutet, aber bis vor kurzem waren keine konkreten unteren Schranken für allgemeine Berechnungsmodelle bekannt.
Die Erfüllbarkeit ist das Problem der Entscheidung, ob eine gegebene boolesche Formel mindestens eine zufriedenstellende Zuordnung hat. Es ist das erste Problem, für das gezeigt wurde, dass es NP-komplett ist, und es ist wahrscheinlich das am häufigsten untersuchte NP-komplette Problem, sowohl wegen seiner theoretischen Eigenschaften als auch wegen seiner Anwendungen in der Praxis. A Survey of Lower Bounds for Satisfiability and Related Problems gibt einen Überblick über die kürzlich entdeckten unteren Schranken für die Zeit- und Raumkomplexität von Satisfiability und eng verwandten Problemen.
Es gibt einen Überblick über die neuesten Ergebnisse zu allgemeinen deterministischen, randomisierten und Quantenmodellen der Berechnung und stellt die zugrunde liegenden Argumente in einem einheitlichen Rahmen vor. A Survey of Lower Bounds for Satisfiability and Related Problems ist ein unschätzbares Nachschlagewerk für Professoren und Studenten, die in der Komplexitätstheorie forschen oder dies planen.
| ISBN: | 9781601980847 |
| Autor: | |
| Verlag: | |
| Sprache: | Englisch |
| Einband: | Taschenbuch |
Derzeit verfügbar, auf Lager.
