Die rechnergestützte Komplexitätstheorie ist ein Zweig der Berechnungstheorie in der theoretischen Informatik und Mathematik, der sich darauf konzentriert, rechnerische Probleme nach ihren inhärenten Schwierigkeiten zu klassifizieren. Besonders häufig in der Programmierung ist die * amortisierte Analyse * für Zeit oder Raum