[論文レビュー] The number of cliques in graphs of given order and size

Vladimir Nikiforov|ArXiv.org|Oct 11, 2007

Advanced Graph Theory Research参考文献 2被引用数 5

ひとこと要約

本稿は、n 個の頂点と m 条の辺を持つグラフにおける r = 3 および r = 4 の場合の r-クリーク（サイズ r の完全部分グラフ）の最小数について、タイトな下界を確立する。多変数形式の制約付き最小化を対称行列およびベクトル上で行い、最小数が $ n^r / (n^2 - 2m) $ 未満の誤差で閉形式の式で近似できることを証明し、r > 3 の場合に長年の問題であるRazborovの問題を解決する。

ABSTRACT

Let k_r(n,m) denote the minimum number of r-cliques in graphs with n vertices and m edges. For r=3,4 we give a lower bound on k_r(n,m) that approximates k_r(n,m) with an error smaller than n^r/(n^2-2m). The solution is based on a constraint minimization of certain multilinear forms. In our proof, a combinatorial strategy is coupled with extensive analytical arguments.

研究の動機と目的

• n 個の頂点と m 条の辺を持つグラフにおける r = 3 および r = 4 の場合の r-クリークの最小数を特定する長年の未解決問題を解明すること。
• r = 3 の場合にRazborovが達成した画期的な結果を r = 4 およびそれ以上の値へ拡張し、従来の手法の制限を克服すること。
• 組合せ最適化とテイラー展開、ラグランジュ乗数法などの解析的手法を統合する一般化されたフレームワークを構築すること。
• r-クリークの数に対する下界を確立し、真の最小値との誤差を多項式より小さい範囲に制御すること。

提案手法

• 対称 0-1 行列 A および非負ベクトル $ \mathbf{x} $ 上で、$ L_r(A, \mathbf{x}) $ という多変数形式の最小化問題を、要素の和および辺に類似した和に関する制約のもとで定式化する。
• 問題の正規化のため、$ \mathcal{S}_n(c) $ という集合上での制約付き最適化問題を導入し、$ L_1(A, \mathbf{x}) = 1 $ および $ L_2(A, \mathbf{x}) = c $ を満たす。
• 極値的構成をモデル化するため、ツーランのグラフ構造と、すべての非対角成分が 1 である対称行列 $ A_s $ を導入する。
• 多変数形式の最小化に際し、テイラー展開、ラグランジュ乗数法、連続性の議論といった解析的手法を適用する。
• $ \varphi_r(c) $、すなわち $ L_r(A, \mathbf{x}) $ の最小値を、$ \xi(c) = \lceil 1/(1 - 2c) \rceil $ という上限関数を用いて明示的な式で導出する。
• 解の区分的拡張と凹性を用いて、$ k_r(n,m) $ の上界を表す関数 $ f(m) $ を得る。このとき、真の最小値との誤差は $ n^r / (n^2 - 2m) $ 未満であることを証明する。

実験結果

リサーチクエスチョン

• RQ1 n 個の頂点と m 条の辺を持つグラフにおける 3-クリーク（三角形）の最小数は何か、そしてそれがどのようにタイトに境界づけられるか？
• RQ2 r = 3 の場合に用いられた手法を r = 4 に拡張し、r-クリークの数に対する同様のタイトな下界を提供できるか？
• RQ3 極値的グラフ理論における対称的かつ有界な制約下で多変数形式を最小化するために必要な、解析的および組合せ的ツールは何か？
• RQ4 ツーランのグラフ構造は、r = 3 および r = 4 の場合における r-クリークの最小数にどのように影響を与えるか？
• RQ5 下界と真の最小値との誤差を制御し、明示的に定量化できるか？

主な発見

• r = 3 および r = 4 の場合、n 個の頂点と m 条の辺を持つグラフにおける r-クリークの最小数は、$ \varphi_r(c) $ で下から抑えられ、ここで $ c = m / \binom{n}{2} $ であり、$ \varphi_r(c) $ は $ s = \lceil 1/(1 - 2c) \rceil $ を用いた閉形式の式で与えられる。
• $ n \geq \xi(c) $ のとき、$ \varphi_r(c) $ は n に依存せず、1 つの例外的な頂点を持つツーラングラフに類似したグラフで最小値が達成される。
• 真の最小値 $ k_r(n,m) $ と下界 $ f(m) $ の間の誤差は、$ n^r / (n^2 - 2m) $ 未満であり、これは n に関して多項式より小さい。
• $ k_r(n,m) $ を上から抑える関数 $ f(m) $ は凹関数であり、区分的定義されており、その微分係数は $ \binom{s-2}{r-2} (n/(s-1))^{r-2} $ で有界である。
• 解は、組合せ最適化とテイラー展開、ラグランジュ乗数法などの解析的手法の組み合わせにより構築され、タイトさと連続性が保証される。
• この手法は r = 4 を超えて一般化可能であり、すべての r ≥ 3 に対して問題を解く道筋を提供するものと期待される。