3-SAT亚指数求解证明流传待验证

一段正在流传的证明声称3-SAT可在亚指数时间内求解，其正确性目前尚待验证。该证明若成立，由于其他NP-complete问题都可归约到3-SAT，所有NP-complete问题都将获得亚指数算法。 评论者IgorCarron称，如果该结论成立，就不会再有任何指数复杂度问题。报道强调，这仍是未经核实的声称，其成立与否将影响计算复杂性理论、密码学和AI搜索的理论边界。

AI 根据报道生成 · 1 小时前更新

还没有足够的连续观测数据，暂不绘制趋势。