[論文レビュー] Size of the Largest Induced Forest in Subcubic Graphs of Girth at least Four and Five

Tom Kelly, Chun‐Hung Liu|arXiv (Cornell University)|Mar 12, 2016

Interconnection Networks and Systems参考文献 8被引用数 3

ひとこと要約

本稿は、サイクル長が4以上または5以上の2連結な部分立方グラフにおける最大の誘導森のサイズに対するタイトな下界を確立している。それぞれのグラフは、有限個の例外的グラフを除き、誘導森を少なくとも $ n - \frac{2}{9}m $ または $ n - \frac{1}{5}m $ のサイズで含むことが示され、結果はタイトであり、LiuとZhaoの先行研究を拡張している。本研究の結果は、フィードバック頂点集合や構造的グラフ理論に応用される。

ABSTRACT

In this paper, we address the maximum number of vertices of induced forests in subcubic graphs with girth at least four or five. We provide a unified approach to prove that every 2-connected subcubic graph on $n$ vertices and $m$ edges with girth at least four or five, respectively, has an induced forest on at least $n-\frac{2}{9}m$ or $n-\frac{1}{5}m$ vertices, respectively, except for finitely many exceptional graphs. Our results improve a result of Liu and Zhao and are tight in the sense that the bounds are attained by infinitely many 2-connected graphs. Equivalently, we prove that such graphs admit feedback vertex sets with size at most $\frac{2}{9}m$ or $\frac{1}{5}m$, respectively. Those exceptional graphs will be explicitly constructed, and our result can be easily modified to drop the 2-connectivity requirement.

研究の動機と目的

• サイクル長が4以上または5以上の2連結部分立方グラフにおける最大誘導森のサイズに対するタイトな下界を特定すること。
• LiuとZhaoによる部分立方グラフにおける誘導森に関する先行結果を統合・改善すること。
• 境界に達する極値グラフを同定し、有限個の例外的ケースを明示すること。
• このようなグラフにおける最小フィードバック頂点集合のサイズに対する同等の境界を確立すること。
• 2連結でない一般の部分立方グラフへと結果を拡張することを示すこと。

提案手法

• サイクル長 ≥4 または ≥5 の部分立方グラフの構造的分析。頂点数・辺数・サイクル構造に注目する。
• グラフの変形における不変量を導出するためのエッジカットおよび頂点カットの議論。
• 誘導部分グラフ（例：$ K_{2,3} $）に関する補題を用いて、近傍構成を制限する。
• パスの再帰的付加と、$ K_4^+ $ や $ L $ などの既知の基本グラフを用いた例外的グラフの構成。
• 小サイクルの排除とサイクル長制約の強制のため、背理法による辺収縮とサイクル検出の応用。
• 境界のタイトさのテストに、既知の極値グラフ（例：ドデカヘドロン）を基準点として用いる。

実験結果

リサーチクエスチョン

• RQ1 2連結な部分立方グラフでサイクル長が4以上のものにおいて、最大誘導森のサイズは最小でどれほどか？
• RQ2 サイクル長が5に増加すると、最大誘導森の境界はどのように変化するか？
• RQ3 どのグラフが最もタイトな境界に達するか？ そして、それらは明示的にどのように特徴付けられるか？
• RQ4 誘導森に関する境界を2連結でない部分立方グラフへと拡張できるか？
• RQ5 これらの境界は、このようなグラフにおける最小フィードバック頂点集合のサイズとどのように関係するか？

主な発見

• 2連結な部分立方グラフでサイクル長が4以上のものについては、誘導森が少なくとも $ n - \frac{2}{9}m $ のサイズを持つことが保証され、これは無限個のグラフで等号が成立する。
• 2連結な部分立方グラフでサイクル長が5以上のものについては、最大誘導森のサイズが少なくとも $ n - \frac{1}{5}m $ であることが保証され、この境界は無限個のグラフでタイトに達成される。
• これらの境界は、それぞれ $ \frac{2}{9}m $ および $ \frac{1}{5}m $ 以下のフィードバック頂点集合サイズに等価である。
• 境界を満たさない例外的グラフは有限個であり、それらは明示的に構成されている。
• LiuとZhaoの先行研究の境界は、サイクル長5ではタイトでないが、本研究の結果はそれを改善している。
• 既知の極値グラフであるドデカヘドロンは、最終段階の背理法により例外として除外される。