Hacker News· LarsDu88·· 3 小时前AI 评分22
Galactus the Devourer 与指数时间假说：复杂度理论如何遗忘了效率的初衷
Galactus the Devourer and the exponential time hypotheses
AI 导读
OpenAI 本周宣称在理论计算机科学取得突破，给出了可满足性问题的"次指数时间"算法，其运行时间上界形如 2^(d·n^f(n)) 形式，其中 d、C 为未指明的常数。
来源：Hacker News · argmin.net