概念3SAT

3-SAT

布尔可满足性问题的标准形式，每个子句恰好包含三个文字。是第一个被证明的NP完全问题的特例，常被用作衡量NP难问题复杂性的基准问题。

核心事实

3-SAT是第一个被证明的NP完全问题（Cook-Levin定理的特例）。

10月27日

ETH断言对于像3-SAT这样的NP完全问题，不存在能在亚指数时间（即O(2^{o(n)})）内运行的算法。

待验证50%

10月26日

ETH的核心断言是：3-SAT问题不存在在亚指数时间内求解的算法，具体形式为2^Ω(n)。

待验证50%

10月26日

3-SAT是第一个被证明的NP完全问题（Cook-Levin定理的特例）。

部分验证65%

10月26日

ETH的基本形式断言：对于3-SAT问题，任何算法在最坏情况下的时间复杂度至少为2^{δn}，其中n为变量数，δ为某个正常数。

待验证50%

3-SAT是第一个被证明的NP完全问题（Cook-Levin定理的特例）。

ETH断言对于像3-SAT这样的NP完全问题，不存在能在亚指数时间（即O(2^{o(n)})）内运行的算法。

ETH的核心断言是：3-SAT问题不存在在亚指数时间内求解的算法，具体形式为2^Ω(n)。

ETH的基本形式断言：对于3-SAT问题，任何算法在最坏情况下的时间复杂度至少为2^{δn}，其中n为变量数，δ为某个正常数。