[论文解读] Scoring Play Combinatorial Games

Fraser Stewart|arXiv (Cornell University)|Feb 17, 2012

Artificial Intelligence in Games参考文献 1被引用 13

一句话总结

本文發展出一套全面的得分玩法組合博弈理論，將 Sprague-Grundy 理論擴展至非偏倚得分遊戲，並引入一個可計算函數以解決廣泛的八進位遊戲。研究顯示，與傳統的正常玩法理論相比，得分玩法理論能為如圍棋之類的遊戲提供更深入的洞察，特別是在分析零值局面與被支配選項方面，揭示出一些過去被視為無關緊要的著法，實際上在得分規則下具有戰略重要性。

ABSTRACT

This thesis will be discussing scoring play combinatorial games and looking at the general structure of these games under different operators. I will also be looking at the Sprague-Grundy values for scoring play impartial games, and demonstrating that there is an easily computable function that will solve a large range of octal games easily. I will also be demonstrating that my theory can readily be applied to the scoring play game of Go and can lead to a much greater understanding of the game.

研究动机与目标

• 建立在各種遊戲運算元（如不相交、相交、選擇性及序列和）下，得分玩法組合博弈的正式結構。
• 將 Sprague-Grundy 理論擴展至非偏倚得分遊戲，提供一個可計算函數，以解決廣泛的八進位遊戲。
• 透過重新評估在正常玩法理論中曾被視為無關緊要的局面，分析在日式規則下圍棋的得分玩法戰略含義。
• 研究為何某些著法——在正常玩法中曾被捨棄為被支配選項——實際上在得分玩法中具有相關性，從而精煉戰略評估。
• 比較得分玩法結果與傳統正常玩法及惡搞玩法結果，特別是在圍棋及其他抽象遊戲的脈絡下。

提出的方法

• 本文引入得分遊戲的規範形式，並根據得分規則下的玩家優勢定義結果類別。
• 形式化得分遊戲的不相交和運算，並證明如大於與相等關係等性質。
• 方法上的關鍵創新在於發展出一個得分 Sprague-Grundy 函數，為非偏倚得分遊戲賦值，從而有效解決八進位遊戲。
• 本文將理論應用於實際遊戲，特別是日本計分規則下的圍棋，使用變換技術分析遊戲局面。
• 利用遊戲樹與遞迴定義來建模遊戲選項，並在不同玩法條件下評估結果。
• 透過範例驗證理論結果，包括對相同遊戲局面在正常玩法與得分玩法下結果的比較。

实验结果

研究问题

• RQ1 如何將 Sprague-Grundy 理論適應於非偏倚得分組合博弈？
• RQ2 零值局面在得分玩法中的角色為何？與其在正常玩法中的對應局面有何差異？
• RQ3 為何某些選項在正常玩法中被視為被支配，但在得分玩法中卻不然？這對戰略有何影響？
• RQ4 得分玩法理論能否提供比傳統正常玩法或數學圍棋方法更準確或更具洞察力的圍棋分析？
• RQ5 不同遊戲運算元——不相交、相交、選擇性及序列和——如何影響得分遊戲的結果與結構？

主要发现

• 本文建立了一個可計算的得分 Sprague-Grundy 函數，能有效解決一大類八進位遊戲，直接延續了經典 Sprague-Grundy 理論至得分玩法。
• 過去在正常玩法中被視為等同於零的局面，在得分玩法中顯示為非零，表明其可能影響遊戲結果，因此不應被忽略。
• 在正常玩法理論中被視為被支配的著法，在得分規則下並非被支配；例如，價值為 {0|0|0} 的局面並未被 {0|1|·} 所涵蓋，顯示其具有戰略相關性。
• 在日本計分規則下的圍棋中，理論揭示出某些在正常玩法下無物質或領地收益的局面，實際上仍會影響遊戲結果，挑戰了先前的假設。
• 得分玩法中的不相交和運算保留了結構性質，並允許對複雜遊戲局面進行遞迴評估，從而實現系統性分析。
• 本文證明，得分玩法理論能解決遊戲評估中的模糊性，特別是在殘局位置中，透過提供比正常玩法理論更清晰的結果預測。