[論文レビュー] Cutwidth and degeneracy of graphs

Benoît Kloeckner|arXiv (Cornell University)|Jul 29, 2009

Graph theory and applications参考文献 4被引用数 3

ひとこと要約

本稿は、非有界性、カット幅、一様スパarsityに関する新しい不等式を用いて、グラフのカット幅に対する2次下界を確立する。すべてのグラフに対して、カット幅は $\frac{1}{4}\delta(G)^2 + \frac{1}{2}\delta(G)$ 以上であり、三角形を含まないグラフに対してはより鋭い $\frac{1}{2}\delta(G)^2$ の下界が得られ、グラフの構造的スパarsityとレイアウトの複雑さとの間の強い定量的関係を示す。

ABSTRACT

We prove an inequality involving the degeneracy, the cutwidth and the sparsity of graphs. It implies a quadratic lower bound on the cutwidth in terms of the degeneracy for all graphs and an improvement of it for clique-free graphs.

研究の動機と目的

• 非有界性および一様スパarsityを用いたカット幅の一般下界を確立すること。
• スパarsityやクリークの欠如といった構造的性質がカット幅の複雑さに与える影響を調査すること。
• グラフ論的不変量を用いて、グロモフの位相的問題（レベル集合の複雑さ）に対する定量的解答を提示すること。
• 特に三角形を含まないグラフや $K_{k+1}$-free グラフを含む特定のグラフクラスに対して、既存のカット幅の下界を改善すること。

提案手法

• 部分グラフの密度とカット幅を結びつけるために、$(\rho,\lambda)$-一様スパarsityの概念を導入する。
• 一般下界として、$\mathop{\mathrm{cw}}(G) \geq \lceil\rho n\rceil\left(\delta(G) - \frac{\lceil\rho n\rceil - 1}{\lambda}\right)$ を導出する。
• 一般グラフに対しては $\rho = 0$, $\lambda = 1$ と設定し、$\mathop{\mathrm{cw}}(G) > \frac{(\delta(G)+1)^2}{4} - 1$ を得る。
• トゥーランの定理を用いて $K_{k+1}$-free グラフにおける $(\rho,\lambda)$-一様スパarsity を確立し、より鋭い下界を得る。
• $\rho = \delta(G)/n$ を選ぶことで、三角形を含まないグラフに対する2次下界を最適化する。
• トゥーラングラフに対する明示的順序付けの構成により、下界がオーダー的に一致することを検証する。

実験結果

リサーチクエスチョン

• RQ1 一般グラフに対して、非有界性を用いたカット幅の最も強い下界は何か？
• RQ2 三角形やより大きなクリークの欠如は、非有界性とカット幅の関係にどのように影響するか？
• RQ3 一様スパarsity条​​件を用いて、特定のグラフ族に対してより鋭い2次下界をカット幅に導出できるか？
• RQ4 グラフの非有界性が、特にスパースまたは極値的グラフクラスにおいて、そのカット幅をどの程度制御できるか？
• RQ5 理論的下界は、トゥーラングラフの例としての明示的構成と比べてどの程度一致するか？

主な発見

• すべての単純グラフに対して、カット幅は $\mathop{\mathrm{cw}}(G) \geq \frac{1}{4}\delta(G)^2 + \frac{1}{2}\delta(G)$ を満たし、完全グラフではこれが鋭い。
• 三角形を含まないグラフに対しては、カット幅は $\frac{1}{2}\delta(G)^2$ 以上であり、一般下界に比べて顕著な改善が得られる。
• $K_{k+1}$-free グラフに対しては、下界が $\mathop{\mathrm{cw}}(G) \geq \frac{k}{k-1}\frac{\delta(G)^2}{4} - \frac{k-1}{k}$ に改善され、トゥーランの定理によるスパarsityが反映される。
• トゥーラングラフ $\mathrm{Tur}(n,k)$ に対して、下界は漸近的に鋭く、明示的順序付けにより下界から $O(n)$ のオーダーで一致するカット幅が達成される。
• 導出された不等式は、スパarsityの増加が非有界性からカット幅への比を低下させることを示し、スパースグラフではカット幅が非有界性よりも遅く成長することの説明となる。
• 結果は、位相的複雑さ（レベル集合の多重度を介して）と組合せ的非有界性との間の定量的関係を確認し、グロモフの研究に触発された問いに答えている。