[论文解读] When waiting moves you in scoring combinatorial games

Urban Larsson, Richard J. Nowakowski+1 more|arXiv (Cornell University)|May 8, 2015

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

一句话总结

本文研究了在额外走动不会对玩家造成损害的评分组合博弈，建立了康威的正常玩法博弈可有序嵌入评分博弈的条件。主要贡献是一条定理，使能够比较带有分数的游戏（即数字），扩展了埃廷格对双色评分博弈的研究，并解决了在评分情境下‘走动’策略价值的问题。

ABSTRACT

Combinatorial Scoring games, with the property `extra pass moves for a player does no harm', are characterized. The characterization involves an order embedding of Conway's Normal-play games. Also, we give a theorem for comparing games with scores (numbers) which extends Ettinger's work on dicot Scoring games.

研究动机与目标

• 确定在评分组合博弈中，额外走动在何种情况下对玩家有益或有害，特别是与正常玩法博弈结构的关系。
• 刻画添加一个走动不会使玩家处于劣势的评分博弈类别，解决存在 zugzwang 时的策略悖论。
• 将埃廷格对双色评分博弈的比较框架扩展到具有数值分数的一般评分博弈。
• 开发一种方法，用于确定当一个博弈是数字时的游戏结果（例如谁获胜），而无需与所有可能的博弈进行详尽比较。
• 阐明康威的正常玩法博弈可保序嵌入评分博弈的条件，从而解决策略决策中的模糊性。

提出的方法

• 引入评分组合博弈的正式框架，通过与所有可能博弈的结果比较来定义博弈等价性和顺序关系。
• 应用“停止”概念（左停止与右停止）分析博弈值和紧迫性，以区分热博弈、温博弈和数字博弈。
• 使用区分性博弈测试顺序关系：若存在一个博弈 $ X $ 使得 $ ext{Ls}(G+X) \neq ext{Rs}(G+X) $，则 $ G \not\triangleq H $，从而实现无需完整博弈树分析的比较。
• 在反演双色博弈中使用规范形式和逆结构，建立代数性质，并在受限博弈类别下保持顺序不变。
• 应用普拉姆贝克与西格尔的限制方法，限制博弈宇宙，从而形成结构化的幺半群，并在评分博弈中实现有意义的比较。
• 利用博弈的规范形式和性质 $ LS(G) = RS(G) $ 识别何时博弈表现如数字，确保结果评估的一致性。

实验结果

研究问题

• RQ1 在评分组合博弈中，额外走动在何种条件下是有益的，特别是与正常玩法博弈相比？
• RQ2 康威的正常玩法博弈在何种条件下可保序地嵌入到评分博弈族中？
• RQ3 如何在不与所有可能博弈比较的情况下，确定一个博弈 $ G $ 在评分情境下是否大于或等于零？
• RQ4 为何将双色博弈类包含于完整评分博弈类中无法保持顺序，以及游戏比较中的差异由何引起？
• RQ5 评分博弈的何种结构性质可确保添加一个走动不会损害玩家的获胜机会？

主要发现

• 当且仅当存在一个区分性博弈 $ X $ 使得 $ \text{Ls}(G+X) \neq \text{Rs}(G+X) $ 时，博弈 $ G $ 在完整评分博弈类 $ \bbS $ 中满足 $ G \not\triangleq 0 $，这为非零等价性提供了一种检验方法。
• 双色博弈类 $ \bbDS $ 包含于 $ \bbS $ 中并非保序的：在 $ \bbDS $ 中 $ G > 0 $ 的博弈可能在 $ \bbS $ 中不满足 $ G \not\triangleq 0 $，如反例所示，取 $ X = \big\bracevert \big\bracevert \big\bracevert $。
• 对于博弈 $ G $ 和 $ H $，当且仅当存在某个博弈 $ X $ 使得 $ \text{Ls}(G+X) \neq \text{Rs}(G+X) $ 且 $ \text{Ls}(H+X) \neq \text{Rs}(H+X) $ 时，有 $ G \not\triangleq H $，从而实现无需完整博弈树遍历的比较。
• 定理 4 提供了一种方法，当 $ G $ 是一个数字时，通过检查单个区分性博弈 $ X $ 是否满足 $ \text{Ls}(G+X) \neq \text{Rs}(G+X) $ 来判断 $ G \not\triangleq 0 $，避免了全称量化。
• 在正常玩法中，关系 $ LS(G) < RS(G) $ 不可能发生，因为此类博弈总是数字，强制 $ LS(G) = RS(G) $，这与评分博弈中该不等式可能成立的情况形成对比。
• 律师的提议（单次走动）应被接受，当且仅当该博弈允许正常玩法博弈的保序嵌入，这取决于博弈的结构以及是否存在 zugzwang 或热博弈特征。