Informatik III (Automatentheorie und formale Sprachen)

Prof. Dr. Jürgen Dix · Clausthal, WS 09/10 6
Um was geht es eigentlich? (2)
Damit können wir den Begriff des Algorithmus
präzise definieren: ein Algorithmus ist der
Programmcode einer Turingmaschine. Wir
zeigen, daß es für bestimmte Probleme keine
Algorithmen gibt: sie sind unentscheidbar.
Wir untersuchen die Komplexität von Problemen
und führen Komplexitätsklassen ein. Die
wichtigsten sind die Klassen P und NP.
Wir zeigen von vielen Problemen, daß sie dieselbe
Komplexität haben, ohne diese Komplexität
genau zu kennen (sie sind NP vollständig).