Komplexität (fortgeschrittene Themen)
NP-Vollständigkeit, Satz von Ladner, Satz von Mahaney, Constrains Satisfaction Probleme, Platzkomplexität, Schaltkreiskomplexität, Polyzeit-Hierarchie, Alternierende Turingmaschinen, Satz von Baker, Gill, Solovay