[论文解读] 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

一句话总结

本文證明了總控制遊戲的 3/4 猜想，顯示在任何沒有孤立頂點或邊的圖中，Dominator 總能以最多 $\frac{3}{4}n$ 步完成遊戲。證明使用了一種分階段策略，其中 Dominator 最大化總控制與無法再進行的頂點的總體增長，並利用圖的結構性質與輔助著色/標記技術來限制遊戲長度。

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$ 界的漸近緊緻性，並提出關於最佳常數 $c$ 的開放問題，使得對於 $\delta(G) \geq 2$，有 $\gamma_{tg}(G) \leq cn + 1$。

提出的方法

• 引入一種使用頂點顏色（白色/黑色）與標記（耗盡/依賴）的狀態追蹤系統，以模擬遊戲進度而不改變實際遊戲規則。
• 定義「無法再進行」的頂點為尚未被移動但其最後一個鄰居已被完全控制的頂點，確保它們永遠無法再被移動。
• 設計一種多階段策略，其中每個階段根據當前遊戲狀態，優化總控制與無法再進行頂點的增長。
• 利用圖的結構分析，根據度數與鄰域條件，界定每個階段中每步新增的總控制與無法再進行頂點的數量。
• 在圖 $G$ 的開鄰域超圖 $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 使得 $\gamma_{tg}(G) \leq cn + 1$ 對所有滿足 $\delta(G) \geq 2$ 的圖都成立的下確界常數 $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$。