"NP zor sorunlar olarak en azından sert", gayrı olan sorunların bir sınıftır.
Bir sorun
H NP-zor
olmadığını ve yalnızca bir olduğunu
NP-tam olduğunu sorun L
polinom zaman Turing indirgenebilir (örneğin, L ≤ H
T
H) .
Diğer bir deyişle,
L çözülebilir
polinom zamanda bir tarafından
kehanet makine için bir kahinin ile
H .
Gayriresmi olarak, biz çözmek için bir alt yordam gibi bir kahin makinesi diyebileceğimiz bir algoritma düşünebilirsiniz
H , ve çözer
Laltprogram çağrısı hesaplamak için sadece bir adım alırsa, polinom zamanda.