若 ETH 为假 NP 仍是指数时间:归约的多项式因子挡住了

robleclerc · x · 2026-10-28

LDanilek 复盘一个复杂度直觉的修正:起初以为 ETH(指数时间假设)为假意味着所有 NP 问题都有亚指数算法——把任意 NP 问题归约到 NP 完全的 3-SAT 再亚指数求解即可。但此路不通:归约会引入多项式因子,若某 NP 问题归约到立方规模的 3-SAT,已知最好解法仍是指数时间。作者称暂时松了口气,但怀疑在这个「屏障被突破」之后还会有新的进展。

原文链接 →

「研究」频道最新

更多「研究」频道 AI 资讯 →