 Wat kan niet worden opgelost door mechanische toepassing van wiskundige stappen?
Computationele complexiteitstheorie is een tak van de rekentheorie in de theoretische informatica die zich richt op het classificeren van rekenproblemen op basis van hun inherente moeilijkheid, en het in verband brengen van die klassen met elkaar. Onder een rekenprobleem wordt verstaan een taak die in principe kan worden opgelost door een computer, wat gelijk staat aan de bewering dat het probleem kan worden opgelost door mechanische toepassing van wiskundige stappen, zoals een algoritme.