Exponential Time Algorithms, Fachbücher von Serge Gaspers

Das Buch "Exponential Time Algorithms" von Serge Gaspers bietet eine umfassende Untersuchung von exponentiellen Zeitalgorithmen für NP-schwere Probleme. In diesem Fachbuch wird der Fokus auf die Entwicklung und Analyse von Algorithmen gelegt, die für kombinatorisch schwierige Probleme konzipiert sind und nachweislich schneller arbeiten als eine brute-force Aufzählung aller möglichen Lösungen. Nach einer Einführung und einer Übersicht über das Themenfeld konzentriert sich der Text auf die Gestaltung und insbesondere die Analyse von Verzweigungsalgorithmen. Die Analyse dieser Algorithmen stützt sich stark auf spezifische Masszahlen der Instanzen, die darauf abzielen, die Struktur der Probleme zu erfassen, anstatt nur deren Grösse zu berücksichtigen. Dies ermöglicht eine präzisere Quantifizierung des Fortschritts, den ein Algorithmus beim Lösen eines Problems erzielt. Darüber hinaus werden neue Techniken vorgestellt, die die Methodik zur Gestaltung exponentieller Zeitalgorithmen erweitern.