
Einen nicht ganz ernst gemeinten Vorschlag zur Erweiterung der Komplexitätstheorie lesen wir in einem Beitrag von Klaus Kneuper und Thomas Leineweber für den Busy Beaver Nr. 82 (Februar 1997).
Von den Autoren werden die neuen Klassen T, NT und NTC eingeführt – das sind die Klassen der trivialen, der nichttrivialen und die der schwersten Probleme. Die Motivation für diese neuartige Theorie gründen die Autoren auf der persönlichen Erfahrung, dass angeblich triviale Beweise nicht so trivial sind, wie es die Dozenten in Vorlesungen behaupten. Daher soll eine exakte Definition der Klasse trivialer Probleme diese genauer bestimmen und von von den anderen Klassen leichter unterscheidbar machen:
Triviale Probleme und die Klasse T