Exakte Algorithmen für schwere Graphenprobleme

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.

Autorentext

Prof. Dr. Jörg Rothe, lehrt an der Heinrich-Heine-Universität Düsseldorf, Institut für Informatik, Germany

Inhalt
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.