Die Komplexitätstheorie ist inzwischen eine ausgefeilte Theorie. Viele wichtige und nützliche Ergebnisse sind schwer vermittelbar, da der Weg zu Ergebnissen für konkrete Probleme lang und beschwerlich ist. Während die NP-Vollständigkeitstheorie die gesamte Informatik beeinflußt hat, werden die neueren Ergebnisse in der Ausbildung an den Rand gedrängt. Dieses Lehrbuch trifft eine Auswahl unter den Ergebnissen, so dass die Bedeutung der Komplexitätstheorie für eine moderne Informatik in den Mittelpunkt rückt. TOCAus dem InhaltEinführung.- Welche Algorithmen sind effizient?- Was kann die Komplexitätstheorie idealerweise leisten?- Komplexitätstheoretische Ähnlichkeiten.- Die NP-Vollständigkeitstheorie.- Techniken zum Entwurf von Reduktionen.- Die Komplexitätsanalyse von Problemen.- Pseudopolynomielle Algorithmen und starke NP-Vollständigkeit.- Die polynomielle Hierarchie.- Interaktive Beweise, Zero-Knowledge Beweise und das PCP-Theorem.- Die Komplexität von Approximationsproblemen.- Ein Einblick in weitere Themen der Komplexitätstheorie.- Komplexitätstheoretische Unterschiede zwischen Software und Hardware.- Die Komplexität boolescher Funktionen.- Kommunikationskomplexität.- Anhang.- Literatur.- Index. Quelle:
|