Handout - Institut für Theoretische Informatik - Technische ...

6. Komplexität von Algorithmen 6.0 Übersicht
6.0 Übersicht
Die Klasse der algorithmisch lösbaren (= entscheidbaren) Probleme soll
jetzt detaillierter untersucht werden. Das wesentliche Unterscheidungsmerkmal
wird sein, ob ein Problem “effizient lösbar” ist in dem Sinne, daß
die Laufzeit einer dTM, die das Problem löst, durch ein Polynom in der
Größe der Eingabe beschränkt ist. Die zugehörige Klasse heißt P .
Beispiel
Eingabe: ungerichteter Graph G = 〈V , E〉
Aufgabe: entscheiden, ob G 2-färbbar ist, d.h., ob die Knoten so mit
zwei Farben gefärbt werden können, daß jede Kante verschiedenfarbige
Endpunkte hat.
Beispiel
Eingabe: natürliche Zahl n > 0
Aufgabe: entscheiden, ob n eine Primzahl ist.
Jürgen Koslowski (TU-BS) Theoretische Informatik 2 SS 2012 102 / 215