Ein Bereich der theoretischen Informatik, der sich mit der Klassifizierung von Berechnungsproblemen anhand der für ihre Lösung benötigten Ressourcen (v.a. Zeit und Speicherplatz) befasst. Relevant für das Verständnis der Grenzen und der Effizienz von KI-Algorithmen.