NeFut Logo NeFut
EN 管理员登录

[算法理论] k-团假设已被彻底推翻

发布于:2026-11-09 22:00 最后更新:2026-11-12 00:51
#algorithm #optimization #Graph

我们给出一种在任意足够大的 $k$ 和任意 $n$ 顶点图上,以 $n^{(\frac{\omega}{3}-c)k}$ 时间求解 $k$‑Clique 的算法,其中 $\omega\ge 2$ 为矩阵乘法指数,$c>0$ 为与 $\omega$、$k$ 均无关的常数。该结果直接否定了长期存在的 $k$‑Clique 猜想,无论矩阵乘法常数取何值,即使 $\omega=2$ 也成立。更进一步,算法还能计数加权的 $k$‑Clique。

核心思路是将 Clique 检测转化为若干矩阵乘积,利用快速矩阵乘法的分块技巧并在每层引入常数因子 $c$,从而在指数上削减 $\frac{\omega}{3}$ 的系数。该方法在理论上突破了此前基于 $\omega$ 的下界限制。

点评:该突破表明在假设矩阵乘法仍是瓶颈的情况下,$k$‑Clique 的下界需要重新审视。

原文链接: https://arxiv.org/abs/2611.09764

[h] 返回首页