NP困難

NP困難 （ NP - hardness, non-deterministic polynomial - time hardness ） 問題是計算複雜性理論中最重要的複雜性類之一 。 如果所有NP問題都可以多項式時間歸約到某個問題 ， 則稱該問題爲NP困難 。 因爲NP困難問題未必可以在多項式時間內驗證一個解的正確性 （ 即不一定是NP問題 ） ， 因此即使NP完全問題有多項式時間的解 （ P = NP ） ， NP困難問題依然可能沒有多項式時間的解 。 因此NP困難問題 “ 至少與NP完全問題一樣難 ” 。