
Auch wenn ein Problem berechenbar oder entscheidbar ist und ein korrekter Lösungsalgorithmus gefunden wurde, könnte dieser Algorithmus viel zu kostspielig in seinem Umgang mit den Ressourcen und daher unbrauchbar sein. Falls "unbrauchbar" nicht hart genug klingt: Wir werden Probleme besprechen, deren Lösungen derart gewaltige Anforderungen an Laufzeit oder Speicherplatz stellen, daß sie in der Praxis ebenso unlösbar sind wie die prinzipiell unlösbaren Probleme aus dem vorigen Kapitel.