概念Boolean Satisfiability Problem / SAT
SAT问题
判定给定布尔公式是否存在可满足赋值的经典计算问题，是第一个被证明为NP完全的问题。
时间轴 (近 90 天)
11月3日
SAT问题是NP完全问题，给定一个布尔公式，判断是否存在一组变量赋值使公式为真。
待验证50%
11月2日
我们不知道SAT问题的任何超线性下界。
待验证50%
9月2日
Cook-Levin定理证明了SAT问题是NP完全的
待验证50%
判定给定布尔公式是否存在可满足赋值的经典计算问题，是第一个被证明为NP完全的问题。
SAT问题是NP完全问题，给定一个布尔公式，判断是否存在一组变量赋值使公式为真。
我们不知道SAT问题的任何超线性下界。
Cook-Levin定理证明了SAT问题是NP完全的