[論文レビュー] Large induced forests in planar graphs with girth 4 or 5

François Dross, Mickaël Montassier+1 more|arXiv (Cornell University)|Sep 4, 2014

Advanced Graph Theory Research参考文献 9被引用数 8

ひとこと要約

この論文は、サイクル長が4または5の平面グラフにおける最大の誘導森のサイズの下界を改善する。構造的グラフ解析と放電法を用いて、三角形を含まない平面グラフ（頂点数 $ n $）が、サイズ $ \frac{6n+7}{11} $ 以上の誘導森を有することを証明している。また、サイクル長が5以上の平面グラフに対しても、サイズ $ \frac{44n+50}{69} $ 以上の誘導森が存在することを示しており、両者とも従来の結果を改善している。

ABSTRACT

We give here some new lower bounds on the order of a largest induced forest in planar graphs with girth $4$ and $5$. In particular we prove that a triangle-free planar graph of order $n$ admits an induced forest of order at least $\frac{6n+7}{11}$ , improving the lower bound of Salavatipour [M. R. Salavatipour, Large induced forests in triangle-free planar graphs, Graphs and Combinatorics, 22:113-126, 2006]. We also prove that a planar graph of order $n$ and girth at least $5$ admits an induced forest of order at least $\frac{44n+50}{69}$.

研究の動機と目的

• サイクル長4または5の平面グラフにおける最大誘導森のサイズの既知の下界を改善すること。
• 三角形を含まないおよびサイクル長制限付きの平面グラフに対して、アーベルストン＝バーマン予想をより強い定量的証拠で支持すること。
• コワリクらが提唱した境界の欠陥を、反例の構成と分析の精緻化によって是正すること。
• 高サイクル長の平面グラフの構造的分解と放電技法を用いて、誘導森のより緊密な境界を確立すること。
• スパarsなグラフクラスにおけるフィードバック頂点集合と森数の一般的な理解に貢献すること。

提案手法

• Eulerの公式とサイクル長制約を活用して、頂点および面に電荷を再分配する放電法を採用する。
• 構造的補題を適用し、特に5面に属する3-および4-頂点の次数と近傍構成を分析する。
• 放電規則を用いて、特定の構成の存在を矛盾させる不等式を導出し、それらの構成の不在を証明する。
• 特定の部分グラフを削除し、誘導森の性質を保ちながら帰納法を適用する還元プロセスを構築する。
• パラメータ $ (\alpha, \beta, \gamma) $ を用いた観察35を適用し、誘導森のサイズと削除された頂点・辺の数の関係を定式化する。
• サイクル長 $ \geq 4 $ の平面グラフにおけるアサイクロニック彩色および辺数制約の既知の境界を用いて、初期の不等式を導出する。

実験結果

リサーチクエスチョン

• RQ1 三角形を含まない平面グラフにおける最大誘導森のサイズの最良の下界は何か？
• RQ2 頂点数 $ n $ のすべての三角形を含まない平面グラフにおいて、$ \frac{6n+7}{11} $ の境界が達成可能であり、それがタイトであるか？
• RQ3 サイクル長を5に引き上げると、平面グラフにおける誘導森サイズの下界にどのような影響を与えるか？
• RQ4 サラバティポアールおよびコワリクらが提唱した境界は有効か？無効である場合、反例は何か？
• RQ5 放電法と構造的分解技法を用いて、スパースな平面グラフにおける誘導森の改善されたタイトな境界を導出可能か？

主な発見

• 本論文は、すべての三角形を含まない頂点数 $ n $ の平面グラフが、サイズ $ \frac{6n+7}{11} $ 以上の誘導森を有することを証明しており、サラバティポアールの境界 $ \frac{17n+24}{32} $ を改善している。
• サイクル長が5以上の平面グラフに対して、誘導森サイズの下界 $ \frac{44n+50}{69} $ が確立されており、これは従来の結果よりもタイトである。
• 著者らは、コワリクらが提唱した境界 $ \frac{119n - 24m - 24}{128} $ の反例を無限個の族として特定・構成し、その無効性を示している。
• 証明は、Eulerの公式とサイクル長制約を用いた、特定の3-および4-頂点の配置の排除を目的とした放電法に依拠している。
• 分析により、5面の境界上に2つ未満の4-頂点が存在することは不可能であることが確認され、これは放電プロセスにおいて重要である。
• 放電法における最終的な矛盾は、不等式 $ 4n_4 \geq 2k_5 $ から生じ、$ 2n_4 - k_5 \geq 0 $ を導くが、これと矛盾する $ -12 \geq 2n_4 - k_5 $ が導出されるため、問題の構成が存在しないことが証明される。