[论文解读] Constructing self-referential instances for the clique problem

Jiaqi Li, Shuli Hu+2 more|arXiv (Cornell University)|Jan 27, 2026

Complexity and Algorithms in Graphs被引用 0

一句话总结

论文证明了 Erdős–Rényi 图中 k-团的相变，然后构建自指示的图实例，在不改变度序列的前提下可以在包含或不包含 k-团之间切换，解释为何在临界点需要穷举搜索。

ABSTRACT

In this paper, we propose constructing self-referential instances to reveal the inherent algorithmic hardness of the clique problem. First, we prove the existence of a phase transition phenomenon for the clique problem in the Erdős--Rényi random graph model and derive an exact location for the transition point. Subsequently, at the transition point, we construct a family of graphs. In this family, each graph shares the same number of vertices, number of edges, and degree sequence, yet both instances containing a $k$-clique and instances without any $k$-clique are included. These two states can be transformed into each other through a symmetric transformation that preserves the degree of every vertex. This property explains why exhaustive search is required in the critical region: an algorithm must search nearly the entire solution space to determine the existence of a solution; otherwise, a counterinstance can be constructed from the original instance using the symmetric transformation. Finally, this paper elaborates on the intrinsic reason for this phenomenon from the independence of the solution space.

研究动机与目标

• 通过将自指示实例构建与算法与复杂性中的基本困难问题联系起来来激发研究。
• 为 Erdős–Rényi 图中 k-团的存在建立清晰的相变，并确定其确切位置。
• 演示一种对称转换，在保持度序列不变的同时切换 k-团的存在性，从而实现自指示实例。
• 说明在临界区域内候选解近似独立，因此需要穷举搜索。

提出的方法

• 使用一阶矩和二阶矩方法分析 k-团性质的相变。
• 计算随机图 G(n,m) 在何处几乎必然获得或失去 k-团的临界阈值 m。
• 定义计数 k-团的随机变量，并应用 E[X] 与 Var[X] 的论证来确立阈值。
• 引入对称的、保持度的图变换，可以将可解实例转为不可解实例，反之亦然。
• 在相变区域，解的候选解几乎独立，强制需要穷举搜索。
• 将结果与支撑自指 hardness 结论的对角化风格推理联系起来。

实验结果

研究问题

• RQ1 在 Erdős–Rényi 随机图模型中，出现 k-团的确切临界阈值是什么？
• RQ2 是否可以构造自指示、保持度的图变换，在不改变全局图统计量的情况下切换 k-团的存在性？
• RQ3 为何在相变点需要穷举搜索以确定 k-团的存在性？
• RQ4 解空间中的独立性如何解释在变换下自指 hardness 的鲁棒性？

主要发现

• 建立了 k-团性质的相变，显式阈值 m = (n(n−1)/2) · n^{−2/(k−1)} 用于出现。
• 在相变点的一族图可以在相同的 n、m、度序列下，既有包含 k-团也无包含任意 k-团的情况。
• 保持度的对称变换在 n 趋近大时高概率地在可解与不可解实例之间转换。
• 自指 hardness 归因于解的独立性，候选解的局部变化不足以在不穷举搜索的情况下解决全局可解性。
• 该构造将 Gödel/Xu–Zhou 的思路扩展到团问题，为在这一著名组合设置中提供困难实例的机制。