Olarak teorik bilgisayar biliminin , bir NP-zor sorun ilişkin bir sorun olan bir problemdir sınıfı NP azaltılabilir bir yan polinom azalma .
Aynı zamanda NP sınıfındaysa, NP-tam bir problem olduğunu söylüyoruz .