ETH 失效与 NP 亚指数算法的障碍

AGI Hunt 称，即使 ETH 为假，也不能据此断定所有 NP 问题都有亚指数算法。原因是将一般 NP 问题归约到 NP 完全的 3-SAT 时，往往会产生多项式规模的膨胀因子；例如归约到立方规模的 3-SAT，现阶段已知最好的解法仍是指数时间，无法直接获得亚指数算法。 这一归约障碍意味着 ETH 的否定至多说明相关困难问题可能存在某种亚指数解法，并不能自动惠及所有 NP 问题；不过该障碍未来仍可能被新算法突破。

AI 根据报道生成 · 55 分钟前更新

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