NP-hard problems need not be in NP, i.e., they need not have solutions verifiable in polynomial time.
Problemele NP-grele nu sunt neapărat în NP, adică nu este nevoie ca ele să aibă soluții verificabile în timp polinomial.