[论文解读] A Vertex and Edge Deletion Game on Graphs

Cormac O’Sullivan|arXiv (Cornell University)|Sep 5, 2017

Artificial Intelligence in Games参考文献 12被引用 5

一句话总结

本文研究了一类在圖上進行的公平頂點與邊刪除遊戲，玩家輪流移除頂點或邊，最後移除頂點者獲勝。論文證明了 Khandhawit 和 Ye 對僅含一個奇圈之圖的 nim-值的猜想，並揭示了輪圖及其子圖在特定奇偶性與結構條件下的 nim-值存在驚人規律性。

ABSTRACT

See the abstract in the attached pdf.

研究动机与目标

• 確定僅含一個奇圈之圖的 nim-值，特別是與奇偶性及結構特徵（如可縮放頂點）的關係。
• 驗證 Khandhawit 和 Ye 的猜想：對於僅含一個奇圈且無其他圈或環的簡化圖，若多個圈上頂點的度數大於 2，則其 nim-值等於奇偶函數 φ(G)。
• 探討輪圖及其子圖的 nim-值中所呈現的結構與組合規律性。
• 研究在 φ(H) = 2 的輪圖子圖中是否存在必勝的邊移動，從而提出關於此類移動存在的新猜想。

提出的方法

• 使用 Sprague-Grundy 理論為圖分配 nim-值，並利用 nim-加法處理不相交並集。
• 應用圖中同構組件透過共同頂點連接時的「消去」概念，以簡化遊戲狀態。
• 引入「可縮放頂點」的概念，用於附著於奇圈的樹上，定義在何種結構條件下 nim-值會偏離 φ(G)。
• 使用計算機枚舉與模式識別分析扇形圖與輪圖子圖的 nim-值，識別出重複出現的值分佈。
• 運用對稱性引理與結構分解，將複雜圖簡化為更簡單的同構形式，以計算 nim-值。
• 基於廣泛的計算證據，提出並測試關於 φ(H) = 2 的輪圖子圖中邊移動結果的猜想。

实验结果

研究问题

• RQ1 在何種結構條件下，僅含一個奇圈之圖的 nim-值等於奇偶函數 φ(G)？
• RQ2 Khandhawit 和 Ye 的猜想是否成立：對於僅含一個奇圈且有多個高degree圈頂點的簡化圖，φ(G) 是否等於 nim-值 g(G)？
• RQ3 是否存在某種規律，支配扇形圖與輪圖子圖的 nim-值，特別是針對奇數與偶數 n？
• RQ4 在 φ(H) = 2 的輪圖子圖 H 中，是否總存在一個邊移動，使得移除後 nim-值為 0？此猜想是否成立？
• RQ5 圖的 nim-值是否僅能由其奇偶性與結構特徵（如可縮放頂點或圈的附著）決定？

主要发现

• Khandhawit 和 Ye 的猜想已獲證明：對於僅含一個奇圈且無其他圈或環的簡化圖，若兩個或以上圈上頂點的度數大於 2，則 g(G) = φ(G)。
• 對於僅由一個奇圈與一棵樹在單一頂點相連的簡化圖，若 G 為圈，則 g(G) = 0；若存在奇數度的可縮放頂點，則 g(G) ≥ 4；否則 g(G) = φ(G)。
• 扇形圖 F*n 的 nim-值表現出強烈規律性：當 n ≥ 6 為偶數時，所有頂點的值為 2，除了度數為 2 的頂點（值為 4）與中心點（值為 0）；所有邊的值為 3，除了靠近度數為 2 頂點的兩條輪緣邊（值為 0）。
• 當 n ≥ 7 為奇數時，F*n 中幾乎所有頂點的值為 3，度數為 2 的頂點值為 1，距離其兩步之內的兩條輪緣頂點值為 0；所有邊的值為 2，因此 g(F*n) = 4。
• 計算結果支持猜想 8.5：所有滿足 φ(H) = 2 的 Wn 子圖 H 中，至少存在一條邊，其移除後導致 g = 0，但非二分圖中存在反例。
• 該猜想暗示對所有 n ≥ 3，有 g(Wn) = 1，因為在 φ = 2 的子圖中存在必勝邊移動，確保了完整輪圖遊戲中的應對策略。