参数化 k-团近似的 k^{o(1)} 下界的简单组合构造

在参数化 $k$-团问题（简称 $k$-Clique）中，给定一个图 $G$ 和一个参数 $k\ge 1$。目标是判定 $G$ 中是否存在 $k$ 个顶点可导出完全子图（即一个 $k$-团）。该问题作为首批 W[1]-完全问题之一，在参数化难解性理论中居于核心地位。已有研究表明，假设 Gap-指数时间假设（Gap-ETH）[Chalermsook 等人，FOCS'17 与 SICOMP]，即使具有任意比率的 $k$-Clique 的 FPT-近似算法也不存在。然而，该不可近似性结果能否基于 $\mathrm{W} 1\ne \mathrm{FPT}$ 的标准假设仍不明确。Bingkai Lin [STOC'21] 的近期突破以及 Karthik C.S. 和 Khot [CCC'22]、Lin、Ren、Sun、Wang [ICALP'22] 的后续工作给出了一种绕过 Gap-ETH 的技术，从而在 $\mathrm{W}[1]$-困难性（前两项）和 ETH（最后一项）下得出 $O(1)$ 和 $k^{o(1)}$ 的不可近似比率。沿此路线的所有工作均遵循 Lin 开发的框架，该框架始于 $k$-向量和问题并需要一些复杂的代数技术。本文提出了一种证明 $k$-Clique 的 $k^{o(1)}$-FPT-不可近似性的 W[1]-困难性的替代框架。利用该框架，我们得到了 $k$-Clique 的产生间隙的自归约，而无需任何中间代数问题。更确切地说，对于任意仅依赖于参数 $k$ 的函数 $q$，我们将 $(k,k-1)$-间隙团归约到 $(q^k, q^{k-1})$-间隙团，从而在 $q$ 足够大时蕴含 $k^{o(1)}$ 不可近似性结果。我们的证明相对简单且主要为组合性的。我们构造的核心源自“网络编码”理论的 $k$-元素子集的新颖编码以及图的“Sidon 集”表示。