Mehr lesen
Dieses Buch befasst sich mit schweren Problemen auf Graphen, für die es vermutlich keine effizienten Algorithmen gibt, und stellt verschiedene Methoden vor, wie man mit der algorithmischen Härte solcher Probleme umgehen kann. Einerseits kann man effiziente Algorithmen entwerfen, die sich eine geeignete Baumstruktur der Graphen zunutze machen; andererseits erlauben Fest-Parameter-Algorithmen eine effiziente Lösung, wenn gewisse Graphenparameter klein sind. Auch wenn diese Methoden nicht anwendbar sind, können die vorhandenen exakten Exponentialzeit-Algorithmen für solche schweren Probleme oft verbessert werden. Durch die leicht verständliche Darstellung, viele erklärende Abbildungen, Beispiele und Übungsaufgaben sowie die durchdachte Auswahl von Resultaten und Techniken ist dieses Buch besonders gut für den Einsatz in der Lehre geeignet, vor allem im Masterstudium Informatik und in den höheren Semestern des Bachelorstudiums Informatik. Gleichzeitig führt es den Leser unmittelbar an die Fronten der aktuellen Forschung in diesem neuen Teilgebiet der Algorithmik heran.
Inhaltsverzeichnis
Grundlagen.- Aufwandsabschätzung von Algorithmen.- Graphen.- Logik.- Komplexitätstheorie.- Exakte Algorithmen fur Graphen.- Fest-Parameter-Algorithmen für ausgewählte Graphenprobleme.- Exponentialzeit-Algorithmen für Färbbarkeitsprobleme.- Exponentialzeit-Algorithmen für TSP und DNP.- Algorithmen auf speziellen Graphen.- Bäume und Co-Graphen.- Baumweitebeschränkte Graphen.- Cliquenweitebeschränkte Graphen.
Über den Autor / die Autorin
Prof. Dr. Irene Rothe arbeitet als Informatikerin an der Hochschule Bonn-Rhein-Sieg in Sankt Augustin.
Prof. Dr. Jörg Rothe arbeitet an der Heinrich-Heine-Universität Düsseldorf im Gebiet Computational Social Choice.
Bericht
From the reviews:
"This textbook deals with exact algorithms for NP-complete graph problems. ... This textbook aims at students of Computer Science ... . Because of its self-contained construction, illustrations, exercises and references to original sources the book can guide private studies. More likely, a course on recent developments in graph algorithms will be based on it." (Haiko Müller, Zentralblatt MATH, Vol. 1207, 2011)