概念三元可满足性问题
3SAT
经典的NP完全问题，给定一组三元布尔子句，判断是否存在变量赋值使所有子句为真。是研究计算复杂性下界的标准问题。
时间轴 (近 90 天)
10月30日
ETH由Russell Impagliazzo与Ramamohan Paturi提出，猜想3SAT问题无法在次指数时间内求解。
待验证50%
经典的NP完全问题，给定一组三元布尔子句，判断是否存在变量赋值使所有子句为真。是研究计算复杂性下界的标准问题。
ETH由Russell Impagliazzo与Ramamohan Paturi提出，猜想3SAT问题无法在次指数时间内求解。