流传中的证明若成立,3-SAT 可亚指数时间求解
IgorCarron · x · 2026-10-27
一段正在流传的证明若被证实,意味着 3-SAT 可以在亚指数时间内求解。由于 3-SAT 是 NP-complete 问题,其他 NP-complete 问题都可归约到它,届时所有 NP-complete 问题都将获得亚指数算法。
IgorCarron 评论称『如果成立,就不会再有任何指数复杂度问题』。目前证明正确性尚待验证,若为真将是计算复杂性理论的重磅结果,也直接影响密码学与 AI 搜索的理论边界。
「研究」频道最新
- 学者自述暗中相信 P=NP:一个「丑陋 17 方格」式证明 — prof_g · 2026-10-27
- 压缩即理解:Schmidhuber 论文用压缩进度解释好奇心与美感 — blaizedsouza · 2026-10-27
- DeepMind 发布 AudioFM:12 项音频任务 10 项最佳,医学听诊超先前 SSL — iScienceLuvr · 2026-10-27
- 学者断言分子模拟进展惊人：数年内可高精度模拟大部分化学与生物 — TimothyDuignan · 2026-10-27
- 有人给可导向神经元建了个「Hugging Face」，已收录 300+ 条 — According_Air_3815 · 2026-10-27
- Yandex 团队提出表示空间 MMD，为扩散语言模型补评估方法 — LucaAmb · 2026-10-27