Weitere Komplexitätsklassen und Beziehungen zwischen den Komplexitätsklassen

Zusammenfassung

Grundlegende Überlegungen

In Kapitel 3 haben wir die grundlegenden Komplexitätsklassen vorgestellt und untersucht. Die Beziehungen zwischen ihnen wurden in Theorem 3.5.3 zusammengefasst. Reduktionen dienen dazu, Beziehungen zwischen einzelnen Problemen herzustellen. Wenn ein Problem mit einer Komplexitätsklasse C verglichen wird, kann es sich als C-einfach, C-schwierig, C-vollständig oder C-äquivalent erweisen. So lernen wir etwas über die Komplexität von Problemen in Relation zur Komplexität von anderen Problemen und in Relation zu Komplexitätsklassen. Die NPVollständigkeitstheorie hat sich als heutzutage bestes Mittel erwiesen, um unter der NP¡ÙP-Hypothese viele wichtige Probleme als schwierig zu klassifizieren.