[論文レビュー] $1/2$-conjectures on the domination game and claw-free graphs

Csilla Bujtás, Vesna Iršič+1 more|arXiv (Cornell University)|Oct 27, 2020

Advanced Graph Theory Research被引用数 3

ひとこと要約

本稿は、最小次数が2以上のグラフに対して、Rallの1/2予想を強化したバージョンを提案する。クラフトフリーおよび3正則グラフにおけるポテンシャル関数法と構造的解析を用いて、δ(G) ≥ 2 であるクラフトフリーなグラフについて、γg(G) ≤ ⌊11/20 n(G)⌋ を証明し、クラフトフリーな3正則グラフおよび線グラフについて両予想を検証した。結果は計算実験と鋭さの例によって裏付けられている。

ABSTRACT

Let $\gamma_g(G)$ be the game domination number of a graph $G$. Rall conjectured that if $G$ is a traceable graph, then $\gamma_g(G) \le \left\lceil \frac{1}{2}n(G) ight ceil$. Our main result verifies the conjecture over the class of line graphs. Moreover, in this paper we put forward the conjecture that if $\delta(G) \geq 2$, then $\gamma_g(G) \leq \left\lceil \frac{1}{2}n(G) ight ceil$. We show that both conjectures hold true for claw-free cubic graphs. We further prove the upper bound $\gamma_g(G) \le \left\lceil \frac{11}{20} \, n(G) ight ceil$ over the class of claw-free graphs of minimum degree at least $2$. Computer experiments supporting the new conjecture and sharpness examples are also presented.

研究の動機と目的

• トレーサブルなグラフ、特に線グラフのクラスにおいて、Rallの1/2予想（γg(G) ≤ ⌊1/2 n(G)⌋）を検証すること。
• より強い予想を提示・検証すること：すべてのδ(G) ≥ 2 であるグラフについて、γg(G) ≤ ⌊1/2 n(G)⌋ が成り立つこと。
• 最小次数が2以上のクラフトフリーなグラフについて、上界 γg(G) ≤ ⌊11/20 n(G)⌋ を確立すること。
• 予想の鋭さと妥当性を支持する計算的および構造的証拠を提供すること。
• 反例が見つかった場合の弱化版の予想を検討すること、特に普遍定数および漸近的境界を含む。

提案手法

• 残余グラフ GD における頂点の色分け（白、青、赤）に基づくポテンシャル関数 f(GD) を導入し、ドミネーションゲームの進行を追跡する。
• 白頂点に22、青頂点に9、赤頂点に0 の重みを割り当てた重み付きポテンシャル関数を用い、総ゲーム長の上限を導出する。
• GD[W] における白頂点成分の構造（パス、サイクル）に基づくケース解析を実施し、1手ごとのポテンシャル減少量を制限する。
• 継続性の原理と類似の分配法的議論を用い、ドミネーターが先に手を打った後、スタラーが手を打つペアごとにポテンシャルが少なくとも80単位減少することを保証する。
• B = ∅ で、GD[W] がサイクルまたはパスからなる残余グラフにおけるゲームダイナミクスを解析し、異なる手順の下での境界を導出する。
• 小規模なグラフ（≤10頂点）についてコンピュータ支援による検証を実施し、極値例を構築して予想の鋭さをテストする。

実験結果

リサーチクエスチョン

• RQ1 Rallの1/2予想は、クラフトフリーなグラフの部分クラスたる線グラフについて成り立つか？
• RQ2 強化された予想 γg(G) ≤ ⌊1/2 n(G)⌋ は、すべてのδ(G) ≥ 2 であるグラフについて真か？
• RQ3 クラフトフリーでδ(G) ≥ 2 であるグラフについて、より鋭い上界を確立できるか？また、最良の定数は何か？
• RQ4 1/2予想における等号が成立する極値グラフは存在するか？それらはどのような構造的性質を持つのか？
• RQ5 予想が成り立たない場合、どのような弱化版が依然として成立する可能性があるか？

主な発見

• 線グラフについて、1/2予想が検証された。すなわち、すべての線グラフについて γg(G) ≤ ⌊1/2 n(G)⌋ が成り立つ。
• クラフトフリーな3正則グラフについて、1/2予想および強化されたδ ≥ 2予想の両方が証明された。
• 最小次数が2以上のすべてのクラフトフリーなグラフについて、γg(G) ≤ ⌊11/20 n(G)⌋ が確立された。これは3/5の境界を改善する。
• γg(G) ≤ ⌊11/20 n(G)⌋ は鋭い境界であり、γg(G) = 5 である9頂点のグラフを含む極値例によって示された。
• コンピュータ実験により、すべての頂点数≤10の連結グラフについて強化された予想が確認され、より大きなグラフに対しても妥当性が支持された。
• 奇数のn ≥ 9 かつ直径≥3 を満たす場合、等号が成立する例が存在する。24および30頂点の2つの特異例が、γg(G) = n(G)/2 を満たす。