[論文レビュー] A proof of the 3/4 conjecture for the total domination game

Julien Portier, Leo Versteegen|arXiv (Cornell University)|Nov 29, 2022

Advanced Graph Theory Research被引用数 4

ひとこと要約

この論文は、孤立頂点や孤立辺のない任意のグラフにおいて、ドミネーターが常に $\frac{3}{4}n$ 手以内にゲームを終えることができるという 3/4 予想を証明している。証明では、ドミネーターが完全に支配された頂点とプレイ不能な頂点の合計成長を最大化する段階的戦略を用い、グラフの構造的性質と補助的な色分け・マーク技術を活用してゲーム長を制限している。

ABSTRACT

In this paper we describe a strategy for Dominator that finishes the total domination game in at most $3/4n$ moves for every graph $G$ on $n$ vertices without any isolated vertices or edges, confirming the 3/4-conjecture for the total domination game made by Henning, Klav{ž}ar, and Rall.

研究の動機と目的

• 3/4 予想を解決すること。すなわち、孤立頂点や孤立辺のないすべてのグラフ $G$ に対して、ゲーム全支配数 $\gamma_{tg}(G)$ が $\frac{3}{4}n$ 以下であると仮定すること。
• 最小次数が 2 以上のグラフにおける $\gamma_{tg}(G)$ の既知の上界を改善すること。具体的には、$\gamma_{tg}(G) \leq \frac{5}{7}n + \frac{5}{7}$ を証明すること。
• 補助的な頂点状態（色分けとマーク）を用いた一般枠組みを確立し、全支配ゲームの分析に用いることで、進行状況の追跡と戦略的制約の強制を可能にすること。
• $P_4$ や $P_8$ の非連結和のような極値例を通じて、$\frac{3}{4}n$ の境界のタイトさを示すこと。
• 境界 $\frac{5}{7}n$ の漸近的タイトさを検討し、$\delta(G) \geq 2$ を満たすすべてのグラフに対して $\gamma_{tg}(G) \leq cn + 1$ が成り立つような最適定数 $c$ に関する未解決の問題を提示すること。

提案手法

• ゲームの進行を模倣するための頂点色（白／黒）とマーク（枯渇／依存）を用いた状態追跡システムを導入し、実際のゲームルールを変更せずに運用する。
• 「プレイ不能」な頂点を、まだプレイされていないが、その最後の隣接頂点が完全に支配された状態にある頂点として定義し、これ以上プレイされないことを保証する。
• ゲームの現在状態に応じて、完全に支配された頂点とプレイ不能な頂点の成長を最適化する段階的戦略を設計する。
• 次数および近傍条件に基づき、各段階における新規に完全に支配された頂点およびプレイ不能な頂点の数を、グラフの構造的解析によって上限付ける。
• オープン近傍ハイパーグラフ $H_G$ におけるトランスバーサルゲームの枠組みを適用し、全支配ゲームとハイパーグラフゲームにおける既知の結果を関連付ける。
• 線形計画法の洞察と補助的補題（例：補題 4.2）を活用して境界を精緻化し、すべてのグラフ構成に対して戦略の堅牢性を保証する。

実験結果

リサーチクエスチョン

• RQ1 全支配ゲームにおける 3/4 予想は、孤立頂点や孤立辺のないすべてのグラフに対して証明可能か？
• RQ2 最小次数が 2 以上のグラフにおける $\gamma_{tg}(G)$ の最良の可能な上界は何か？
• RQ3 境界 $\frac{3}{4}n$ は漸近的にタイトか？ また、等号を達成する連結グラフは存在するか？
• RQ4 一般ケースに用いられた戦略を精緻化することで、$\delta(G) \geq 2$ の場合に $\frac{5}{7}n + \frac{5}{7}$ よりも良い境界が得られるか？
• RQ5 $\delta(G) \geq 2$ を満たすすべてのグラフに対して $\gamma_{tg}(G) \leq cn + 1$ が成り立つような、下界としての定数 $c$ の最小値は何か？

主な発見

• 3/4 予想は証明された：孤立頂点や孤立辺のない任意のグラフ $G$ に対して、$\gamma_{tg}(G) \leq \frac{3}{4}n$ が成り立つ。
• 最小次数が 2 以上のグラフに対しては、境界が $\gamma_{tg}(G) \leq \frac{5}{7}n + \frac{5}{7}$ に改善され、以前の $\frac{8}{11}n$ の境界よりもタイトである。
• 境界 $\frac{3}{4}n$ はタイトである。$P_4$ または $P_8$ の非連結和によって等号が達成されることで示された。
• 証明で用いられた戦略は、$\frac{5}{7}n$ よりも良い境界を生み出せないことが、$k$ 個の $C_7$ の非連結コピーの例によって示された。この場合、ゲームは正確に $5k$ 手で終了する。
• $C_7$ の例から、$\gamma_{tg}(C_7) = 5$ であるが、$k$ 個の非連結コピーでは $\gamma_{tg}(H_k) = 4k + 1$ となる。これは、境界における $+1$ の誤差項が必要であることを示している。
• 論文は、$\delta(G) \geq 2$ を満たすすべてのグラフに対して $\gamma_{tg}(G) \leq cn + 1$ が成り立つ最適定数 $c$ はおそらく $\frac{2}{3}$ であると示唆している。これは、非連結な三角形の例から、$\gamma_{tg}(G) = \frac{2}{3}n$ となることから導かれる。