NP完备问题。因此NP完备问题应该是最不可能被化简为P（多项式时间可决定）的决定性问题的集合。若任何NPC问题得到多项式时间的解法，那此解法就可应用在所有NP问题上。
正式定义.一个决定性问题"C"若是为NPC，则代表它对NP是完备的，这表示：可归约在此意指对每个问题"L"，总有一个多项式时间多对一变换，即一个决定性的演算法可以将实例"l" ∈ "L"转化成实例"c" ∈ "C"，并让"c"回答Yeszh-hans:当且仅当; zh-hant:若且唯若;此答案对"l"也