ETH 被驳倒后 3-SAT 获亚指数算法

Marc Lelarge 及合作者发布组合优化领域新结果：在指数时间假设（ETH）被驳倒的背景下，3-SAT 问题获得亚指数级算法。不过更难的图对齐问题（Graph Alignment Problem）依然没有高效解法。团队提出用一条 GNN 链来攻坚这一与图同构相关的难题，为该方向提供了新的研究思路。

2026-11-07 ~ 2026-11-07 · 2 条相关