Katika kupunguza, matatizo yote mawili lazima kuwa sawa? Kwa sababu ya swali lililotangulia, andika muktadha unaotoa jibu. Inaweza kuwa sentensi 1 - 20. Muktadha:
Madarasa mengi ya utata hufafanuliwa kwa kutumia dhana ya kupunguza. Kupunguza ni mabadiliko ya tatizo moja katika tatizo jingine. Inachukua wazo lisilo rasmi la tatizo kuwa angalau ngumu kama tatizo lingine. Kwa mfano, kama tatizo X inaweza kutatuliwa kwa kutumia algorithm kwa Y, X si vigumu zaidi kuliko Y, na tunasema kwamba X hupunguza Y. Kuna aina nyingi tofauti za kupunguza, kulingana na njia ya kupunguza, kama vile kupunguza Cook, Karp kupunguza na Levin kupunguza, na kikomo juu ya utata wa kupunguza, kama vile kupunguza polynomial-wakati au kupunguza log-nafasi.