每个问题用简单的一句话概括: 1. P问题:可以用多项式时间的确定性算法判定和求解的问题。 2. NP类问题:可以用多项式时间的确定性算法来检查和验证解 3. NPC问题 1. 令λ∈NP 2. 对于所有的NP问题,都可以在多项式时间内转化为λ 3. 称λ是NPC问题 4. 第一个NPC问题:布尔表达式的可满足性问题SAT