概念最大2-SAT / Max-2-SAT
Max 2-SAT
理论计算机科学中的经典优化问题，给定2-CNF公式，寻找使最多子句同时为真的赋值。
时间轴 (近 90 天)
10月30日
论文提出了一类确定性的多项式空间算法，用于精确求解Max 2-SAT问题。
待验证50%
10月30日
新算法在多个实例类上实现了严格的指数级加速，总运行时间降低到O*(2^{(1-γ)n})，其中γ>0是一个固定常数。
待验证50%
10月30日
经典DPLL算法通过分支和单元传播来求解SAT问题；对于Max 2-SAT的朴素扩展会遍历完整的二叉搜索树，最坏情况下需要检查2^n个赋值。
待验证50%
10月30日
对于半随机2-CNF公式，新算法仍然是精确的，并且以高概率在O*(2^{(1-γ)n})时间内完成。
待验证50%
10月30日
据作者所知，这是首个针对非平凡稠密Max 2-SAT实例类且具有如此运行时间的多项式空间算法。
待验证50%
10月30日
每个图上的Max-Cut实例可以自然地转化为一个Max 2-SAT实例，其中每条边对应一个子句，要求两个端点属于不同部分。
待验证50%
10月30日
剪枝约束的思想可以添加到任何Max 2-SAT的分支算法中。
待验证50%
全部知识事实 (7)
待验证
论文提出了一类确定性的多项式空间算法，用于精确求解Max 2-SAT问题。
50%待验证新算法在多个实例类上实现了严格的指数级加速，总运行时间降低到O*(2^{(1-γ)n})，其中γ>0是一个固定常数。
50%待验证经典DPLL算法通过分支和单元传播来求解SAT问题；对于Max 2-SAT的朴素扩展会遍历完整的二叉搜索树，最坏情况下需要检查2^n个赋值。
50%待验证对于半随机2-CNF公式，新算法仍然是精确的，并且以高概率在O*(2^{(1-γ)n})时间内完成。
50%待验证据作者所知，这是首个针对非平凡稠密Max 2-SAT实例类且具有如此运行时间的多项式空间算法。
50%待验证每个图上的Max-Cut实例可以自然地转化为一个Max 2-SAT实例，其中每条边对应一个子句，要求两个端点属于不同部分。
50%待验证剪枝约束的思想可以添加到任何Max 2-SAT的分支算法中。
50%