概念
Cook-Levin定理
计算复杂性理论中的基础定理，证明了布尔可满足性问题（SAT）是NP完全的
核心事实
时间轴 (近 90 天)
10月26日
3-SAT是第一个被证明的NP完全问题（Cook-Levin定理的特例）。
部分验证65%
9月2日
Cook-Levin定理证明了SAT问题是NP完全的
待验证50%
计算复杂性理论中的基础定理，证明了布尔可满足性问题（SAT）是NP完全的
3-SAT是第一个被证明的NP完全问题（Cook-Levin定理的特例）。
Cook-Levin定理证明了SAT问题是NP完全的