SAT（布尔可满足性问题）是第一个被证明为NP完全的问题。