[论文解读] Absolute Combinatorial Game Theory

Urban Larsson, Richard J. Nowakowski+1 more|arXiv (Cornell University)|Jun 6, 2016

Artificial Intelligence in Games参考文献 27被引用 10

一句话总结

本文提出绝对组合博弈论，一种统一框架，通过识别‘绝对’博弈宇宙，将正常玩、错误玩和计分玩规则统一起来，使博弈比较简化为一种局部的、构造性的标准。其主要贡献在于证明：在具有父性与饱和性的此类宇宙中，博弈比较可简化为验证一个前提条件和不等式保持，从而无需显式构造区分博弈。

ABSTRACT

We propose a unifying additive theory for standard conventions in Combinatorial Game Theory, including normal-, misère- and scoring-play, studied by Berlekamp, Conway, Dorbec, Ettinger, Guy, Larsson, Milley, Neto, Nowakowski, Renault, Santos, Siegel, Sopena, Stewart (1976-2019), and others. A game {\em universe} is a set of games that satisfies some standard closure properties. Here, we reveal when the fundamental game comparison problem, ``Is $G\su H$?'', simplifies to a constructive `local' solution, which generalizes Conway's foundational result in ONAG (1976) for normal-play games. This happens in a broad and general fashion whenever a given game universe is {\em absolute}. Games in an absolute universe satisfy two properties, dubbed {\em parentality} and {\em saturation}, and we prove that the latter is implied by the former. Parentality means that any pair of non-empty finite sets of games is admissible as options, and saturation means that, given any game, the first player can be favored in a disjunctive sum. Game comparison is at the core of combinatorial game theory, and for example efficiency of potential reduction theorems rely on a local comparison. We distinguish between three levels of game comparison; superordinate (global), basic (semi-constructive) and subordinate (local) comparison. In proofs, a sometimes tedious challenge faces a researcher in CGT: in order to disprove an inequality, an explicit distinguishing game might be required. Here, we explain how this job becomes obsolete whenever a universe is absolute. Namely, it suffices to see if a pair of games satisfies a certain Proviso together with a Maintenance of an inequality.

研究动机与目标

• 在单一理论框架下统一标准组合博弈论的惯例——正常玩、错误玩和计分玩。
• 解决组合博弈论中的根本挑战：证明博弈不等式，这通常需要显式构造区分博弈。
• 确立博弈比较可简化为局部且可构造性标准的条件，从而简化证明技术。
• 刻画此类简化发生的博弈宇宙，识别出父性和饱和性等结构性质。
• 为未来在广义博弈设定下研究约化定理、规范形式和平均值定理奠定基础。

提出的方法

• 将博弈宇宙定义为在标准运算下封闭的集合，博弈以递归形式表示为 $ G = \{G^\mathcal{L} \mid G^\mathcal{R}\} $。
• 引入‘父性’——即任意非空有限博弈集合均可作为左、右选项——确保博弈的广泛生成。
• 将‘饱和性’定义为：对任意博弈 $ G $，先手玩家在析取和中可被偏袒，通过计分玩中的伴随构造和经典玩中的共轭形式化。
• 证明饱和性可由父性推出，从而建立结构性条件的层级关系。
• 使用‘前提条件’和‘不等式保持’的概念，以局部递归标准替代全局博弈比较。
• 将该框架应用于经典玩和计分玩设定，表明当宇宙为绝对时，所有惯例下均存在相同的逻辑结构。

实验结果

研究问题

• RQ1 在何种条件下，博弈比较问题 $ G \succcurlyeq H $ 可简化为局部且可构造的标准？
• RQ2 是否存在一个单一理论框架，可统一组合博弈论中的正常玩、错误玩和计分玩惯例？
• RQ3 博弈宇宙的何种结构性质可确保博弈比较在无需显式区分博弈的情况下成为可判定的？
• RQ4 绝对宇宙中的博弈是否存在规范形式？其与正常玩中现有概念的关系如何？
• RQ5 平均值定理能否推广至将‘得分’与‘步数’统一于计分玩的统一框架中？

主要发现

• 在绝对宇宙中，博弈比较简化为检查前提条件和不等式保持，从而使得显式构造区分博弈变得过时。
• 父性蕴含饱和性，因此两者并非独立；父性是绝对性的基础条件。
• 计分玩中的伴随构造确保 $ G + G^\circ $ 在错误玩中为 P-位，从而推广了经典玩中基于共轭的饱和性。
• 对于任意计分宇宙中的博弈 $ G $ 和任意实数 $ x $，存在博弈 $ H $ 使得 $ o(G + H) = x $，证明了结果的饱和性。
• 该框架支持博弈比较的递归求解，统一了经典玩与计分玩设定，适用于约化定理和规范形式的研究。
• 该理论可推广至环状（循环）博弈，尽管此方向仍为未来研究的开放课题。