[論文レビュー] 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-クリークの存在に対する位相遷移を証明し、その後、次数列を変えずに含む/含まないを切り替えられる自己言及的なグラフのインスタンスを構築することで、臨界点での全探索を必要とする理由を解明する。

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-クリーク性質の位相遷移を1次と2次モーメント法で分析する。
• 乱択グラフ G(n,m) がほぼ確実に k-クリークを獲得・喪失する臨界閾値 m を計算する。
• k-クリークを計数する確率変数を定義し、E[X] および Var[X] の議論を適用して閾値を確立する。
• 次数を保存する対称なグラフ変換を導入し、解けるインスタンスを解けないインスタンスへ、あるいはその逆へ変換可能とする。
• 位相遷移領域では候補解がほぼ独立であると主張し、全探索を強制する。
• 自己言及的難易性の根拠として、対角化風の思考が自己言及難易性の基盤にあることを関連づけて説明する。

実験結果

リサーチクエスチョン

• RQ1 Erdős–Rényi ランダムグラフモデルにおける k-クリークの出現に対する正確な臨界閾値はいくつか。
• RQ2 全体統計を変えずに k-クリークの有無を切り替える自己言及的で次数保持のグラフ変換を構築できるか。
• RQ3 位相遷移点でなぜ解の存在を決定するには全探索が必要になるのか。
• RQ4 解集合の独立性は、変換下で自己言及インスタンスの頑健性をどのように説明するか。

主な発見

• k-クリーク性質の位相遷移が確立され、出現の閾値は m = (n(n−1)/2) · n^{−2/(k−1)} である。
• 遷移点にあるグラフの族は、同じ n, m, そして次数列をもつにもかかわらず、k-クリークを含む場合と含まない場合とで相違を持つことができる。
• 次数を保つ対称変換は、n が大きくなるにつれて解けるインスタンスと解けないインスタンスの間を高確率で変換可能とする。
• 自己言及的難易性は候補解の独立性に由来し、局所的な変化だけでは全体的な可決性を排除できず、全探索を必要とする。
• 本構想は Gödel/Xu–Zhou アプローチをクリーク問題へ拡張し、よく研究された組み合わせ設定における難解なインスタンス生成の機構を提供する。