NP-hard problems need not be in NP, i.e., they need not have solutions verifiable in polynomial time.
NP-δύσκολα προβλήματα δεν πρέπει να είναι στην NP, δηλαδή, δεν πρέπει να έχουν λύσεις που επιβεβαιώνονται σε πολυωνυμικό χρόνο.