研究者提出精确求解Max 2-SAT的多项式空间算法
热点事件持续更新
研究者提出精确求解Max 2-SAT的多项式空间算法
1 篇报道1 个报道来源12 小时前更新
先了解这件事
AI 综述
Konstantin Kutzkov 提出确定性多项式空间算法，可在 O*(2^(1-γ)n) 时间内精确求解多类子句密度随变量数 n 增长的 Max 2-SAT 实例，γ 为固定正数。 该方法扩展经典 DPLL 分支算法，沿分支累积剪枝约束，据其描述可剪掉除指数级小比例外的所有赋值。这一结果针对的是上述特定实例类，并非对所有 Max 2-SAT 实例都达到该时间界。
AI 根据报道生成 · 2 小时前更新
最新进展10月31日 12:00
累积剪枝约束：求解 Max 2-SAT 的精确多项式空间新算法报道时间线
沿着报道，了解事件的不同侧面。
10月31日
- arXiv cs.AI累积剪枝约束：求解 Max 2-SAT 的精确多项式空间新算法
研究者提出确定性多项式空间算法，可在 O*(2^(1-γ)n) 时间内精确求解多类子句密度随 n 增长的 Max 2-SAT 实例。该方法扩展经典 DPLL 分支算法，沿分支累积剪枝约束，可剪掉除指数级小比例外的所有赋值。
本事件热度走势
- 可比范围当前
- 7
- 可比范围峰值
- 810月31日 22:00
- 近 24 小时变化
- –
02468
22:0023:0011月1日
趋势仅比较持续完整观测到的相同主体，范围可能小于当前热度统计。移动指针或点击图表查看每小时热度；键盘可用左右方向键切换。