In 'n vermindering, moet beide probleme gelyk wees? Skryf 'n konteks wat die antwoord bevat, gegewe die vorige vraag. Dit kan 1 - 20 sinne wees. Konteks:
Baie kompleksiteitsklasse word gedefinieer met behulp van die konsep van 'n vermindering. 'n Reduksie is 'n transformasie van een probleem in 'n ander probleem. Dit vang die informele idee van 'n probleem wat ten minste so moeilik soos 'n ander probleem. Byvoorbeeld, as 'n probleem X opgelos kan word met behulp van 'n algoritme vir Y, is X nie moeiliker as Y nie, en ons sê dat X tot Y verminder. Daar is baie verskillende soorte reduksies, gebaseer op die metode van vermindering, soos Cook-reduksies, Karp-reduksies en Levin-reduksies, en die beperking op die kompleksiteit van reduksies, soos polinoom-tydreduksies of logruimte-reduksies.