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