section_heading: P<nowiki> = </nowiki>NP pitanje
paragraph_text: Pitanja poput ovih motiviraju koncepte težine i potpunosti. Skup problema X je težak za skup problema Y ako svaki problem u Y može "lako" biti transformiran u neki problem u X koji producira rješenje. Definicija "lakog" je različita u različitim kontekstima. Važan teški skup u teoriji složenosti jest NP-težak - skup problema koji nisu nužno sami u NP, ali na koje bilo koji NP problem može biti sveden u polinomnom vremenu.