跳到正文
AGI Hunt· robleclerc·· 2 小时前AI 评分20

ETH 为假不代表所有 NP 问题都有亚指数算法:多项式归约因子构成障碍

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

AI 导读

ETH 为假并不意味着所有 NP 问题都存在亚指数算法,因为向 NP 完全的 3-SAT 归约会引入多项式因子。若某 NP 问题归约到立方规模的 3-SAT,目前已知最好的解法仍为指数时间,但这一障碍未来仍可能被突破。

来源:AGI Hunt · agihunt.info