Komplexität

Zusammenfassung

Unter der Überschrift Komplexität werden theoretische Grundlagen vorgestellt, mit denen es möglich ist, die Schwierigkeit von Algorithmen und Problemen geeignet zu erfassen. Dazu wird als Modellrechner die sogenannte Turing-Maschine herangezogen. Durch den Begriff „polynomial“ können effektiv arbeitende Algorithmen und effektiv lösbare Probleme gut beschrieben und auch quantitativ gut unterschieden werden. Mit Hilfe der Eigenschaft „nichtdeterministisch polynomial“ gelingt es, Klassen komplizierterer Algorithmen und Probleme abzugrenzen. Schließlich werden einige Aussagen bewiesen, die für den Nachweis der Polynomialität der linearen Optimierung im Kapitel 8 benötigt werden. Das Buch Computers and Intractability von Garey/Johnson [GJ79] ist ein wichtiger Meilenstein in der Entwicklung der Komplexitätstheorie.