3SAT新算法逼近亚指数但未解决ETH
热点事件持续更新
3SAT新算法逼近亚指数但未解决ETH
2 篇报道1 个报道来源2 小时前更新
先了解这件事
AI 综述
Ryan Williams 给出了求解 n 个变量 3SAT 的新算法，其运行时间约为 exp(n/(log n)^{1/2+o(1)})，渐近快于所有 2^(cn) 形式算法，但仍不是多项式时间。 Williams 明确表示，这一结果并不意味着所有 NP 问题都能以亚指数时间求解，因此不能直接解读为 ETH 已被推翻；该结论只适用于这项 3SAT 算法及其相关边界。
AI 根据报道生成 · 2 小时前更新
最新进展10月27日 08:44
Ryan Williams 界定新 3SAT 算法边界：亚指数但非多项式报道时间线
沿着报道，了解事件的不同侧面。
10月27日
- AGI HuntMIT学者解读3SAT亚指数算法及对P=NP的影响
MIT学者Ryan Williams解读3SAT亚指数算法及其对P=NP的影响。他指出，该算法在n个变量上的时间约为exp(n/(log n)^k)，虽优于2^n暴力搜索，但仍非多项式；若结果属实，P=NP的可能性应上调。
- AGI HuntRyan Williams 界定新 3SAT 算法边界：亚指数但非多项式
Ryan Williams 界定了一种新的 3SAT 算法边界，其在 n 个变量上的运行时间为 exp(n/(log n)^{1/2+o(1)})，低于所有 2^(cn) 形式算法但仍非多项式时间。AIFlowML 引述其表述指出，这一结果并不意味着所有 NP 问题都能亚指数求解，为“ETH 被推翻”的说法划定了实际范围。
本事件热度走势
还没有足够的连续观测数据，暂不绘制趋势。