Computers and Intractability: A Guide to the Theory of NP-completeness

"Computers and Intractability: A Guide to the Theory of NP-completeness" von David S. Johnson und Michael R. Garey ist ein einflussreiches Werk, das sich mit der Komplexitätstheorie in der Informatik befasst. Das Buch bietet eine umfassende Einführung in die Theorie der NP-Vollständigkeit, einem zentralen Konzept zur Klassifizierung von algorithmischen Problemen basierend auf ihrer Lösbarkeit und Effizienz. Das Buch beginnt mit grundlegenden Definitionen und Konzepten der Komplexitätstheorie, einschließlich P-, NP- und NP-vollständigen Problemen. Es erläutert die Bedeutung dieser Klassen für die theoretische Informatik und die praktische Problemlösung. Ein Schwerpunkt liegt auf dem Beweis der NP-Vollständigkeit durch Reduktionen, wobei zahlreiche Beispiele aus verschiedenen Bereichen vorgestellt werden. Die Autoren bieten zudem einen umfangreichen Katalog von NP-vollständigen Problemen und diskutieren Techniken zur Analyse ihrer Schwierigkeit sowie mögliche Lösungsansätze wie Heuristiken oder approximative Algorithmen. Das Werk ist bekannt für seine Klarheit und systematische Herangehensweise an ein komplexes Thema, was es zu einer unverzichtbaren Ressource für Studierende und Fachleute in der Informatik macht.