定性问题"C"若是为NPC，则代表它对NP是完备的，这表示：可归约在此意指对每个问题"L"，总有一个多项式时间多对一变换，即一个决定性的演算法可以将实例"l" ∈ "L"转化成实例"c" ∈ "C"，并让"c"回答Yeszh-hans:当且仅当; zh-hant:若且唯若;此答案对"l"也是Yes。为了证明某个NP问题"A"实际上是NPC问题，证明者必须找出一个已知的NPC问题可以变换成"A"。本定义得到一个结论，就是若上述的"C"有一个多项式时间可解的演算法，则我们可以将所有的NP问题降到