[论文解读] Combinatorial Game Theory, Well-Tempered Scoring Games, and a Knot Game

Will Johnson|arXiv (Cornell University)|Jul 25, 2011

Artificial Intelligence in Games参考文献 8被引用 3

一句话总结

本文介紹並分析了「繫結還是不繫結」（TKONTK）這款組合計分遊戲，玩家輪流決定扭結偽圖中的交叉點，以判斷最終形成的扭結是否為平凡扭結。利用組合博弈論與超限數理論，作者證明對於某些扭結輪廓，遊戲值為 $ u^+ = 1 $，表示第二位玩家無論行動順序如何皆能獲勝；並猜想在 TKONTK 中所有可能的遊戲值皆會出現，挑戰了以往對布林遊戲中值範圍限制的假設。

ABSTRACT

We begin by reviewing and proving the basic facts of combinatorial game theory. We then consider scoring games (also known as Milnor games or positional games), focusing on the "fixed-length" games for which all sequences of play terminate after the same number of moves. The theory of fixed-length scoring games is shown to have properties similar to the theory of loopy combinatorial games, with operations similar to onsides and offsides. We give a complete description of the structure of fixed-length scoring games in terms of the class of short partizan games. We also consider fixed-length scoring games taking values in the two-element boolean algebra, and classify these games up to indistinguishability. We then apply these results to analyze some positions in the knotting-unknotting game of Pechenik, Townsend, Henrich, MacNaughton, and Silversmith.

研究动机与目标

• 將組合遊戲「繫結還是不繫結」（TKONTK）形式化並分析，玩家透過決定扭結偽圖中的交叉點來判斷最終扭結是否為平凡扭結。
• 應用組合博弈論（CGT）與超限數理論來評估 TKONTK 中的遊戲值，特別是 $ u^\bullet $ 值。
• 研究 TKONTK 中可能的遊戲值是否如初步電腦實驗所暗示的，僅限於 $ \{0, 1, \frac{1}{2}^*\} $。
• 透過修改的射影六邊形遊戲構造反例，顯示布林遊戲中可出現超出 $ \{0, 1, \frac{1}{2}^*\} $ 的值，從而挑戰先前的猜想。

提出的方法

• 使用組合博弈論的形式化方法，將 TKONTK 建模為一類良好調節的計分遊戲，玩家輪流決定扭結偽圖中的交叉點。
• 運用超限數系統與 $ u^\bullet $ 值（上界與下界遊戲值）的概念，評估遊戲結果並確定獲勝策略。
• 應用不可區分性商數理論與冷卻/加熱技術，將複雜的遊戲位置簡化為更易分析的形式。
• 利用扭結不變量——特別是扭結行列式——來判斷已決定的配置是否為平凡扭結，從而實現對遊戲位置的演算法評估。
• 針對特定偽圖（例如圖 13.11）進行電腦實驗，計算遊戲值並識別反覆出現的 $ u^\bullet $ 值。
• 構造一類修改的射影六邊形遊戲作為反例，以推翻「布林遊戲中僅可能出現 $ \{0, 1, \frac{1}{2}^*\} $ 值」的猜想，利用異或運算的結果反轉機制。

实验结果

研究问题

• RQ1 在給定的扭結偽圖上，「繫結還是不繫結」遊戲的結果為何？在雙方最佳策略下，哪位玩家獲勝？
• RQ2 TKONTK 中的遊戲值 $ u^\bullet $ 是否可完全描述？它們是否如初步數據所示，僅限於 $ \{0, 1, \frac{1}{2}^*\} $？
• RQ3 扭結偽圖的結構是否對可能的遊戲值施加限制？還是所有值皆可能在這種遊戲中出現？
• RQ4 能否在由函數 $ \{0,1\}^n \to \{0,1\} $ 衍生的布林遊戲中出現第二位玩家獲勝的情況，從而反駁「僅可能出現 $ \{0, 1, \frac{1}{2}^*\} $ 值」的猜想？
• RQ5 是否能將一類反例遊戲（如修改的射影六邊形遊戲）嵌入 TKONTK 框架中，從而暗示扭結遊戲中遊戲值具有完全的普遍性？

主要发现

• 對於圖 13.11 中的偽圖，遊戲值為 $ u^+ = 1 $，表示國王李爾（第二位玩家）無論誰先行動皆能獲勝。
• 對圖 13.11 中子位置的電腦分析僅發現 $ u^\bullet $ 值為 $ 0 $、$ 1 $ 和 $ \frac{1}{2}^* $，暗示此類遊戲可能存在值的限制。
• 透過構造一類修改的十二面體射影六邊形遊戲，成功建立反例：該遊戲為第二位玩家獲勝，且源自布林函數 $ \{0,1\}^7 \to \{0,1\} $，從而推翻「僅可能出現 $ \{0, 1, \frac{1}{2}^*\} $ 值」的猜想。
• 圖 13.11 中遊戲值 $ u^+ = 1 $ 經由扭結行列式分析確認：僅當行列式為 1 時，配置才為平凡扭結，且所有此類配置皆等價於平凡扭結。
• 定理 13.6.3 的證明顯示，若一遊戲為先手獲勝且 $ u^\bullet \in \{0,1,\frac{1}{2}^*\} $，則會產生矛盾，因此此類遊戲不可能為第二位玩家獲勝——由此推得：若布林遊戲中存在第二位玩家獲勝的情況，則其遊戲值必超出該集合。
• 基於相關布林遊戲中存在反例，作者猜想所有可能的遊戲值皆會出現在 TKONTK 中，暗示扭結遊戲中遊戲值具有完全的普遍性。