[论文解读] Algorithms for lattice games

Alan Guo, Ezra Miller|arXiv (Cornell University)|May 26, 2011

Advanced Combinatorial Mathematics参考文献 5被引用 4

一句话总结

本文提出了一类基于有理策略与仿射分层的多项式时间算法，用于求解公平格子游戏，利用简短有理生成函数。该方法可高效判定必胜位置及位置间的恶序同余关系，为固定维数下复杂度有界的组合游戏提供计算框架。

ABSTRACT

This paper provides effective methods for the polyhedral formulation of impartial finite combinatorial games as lattice games. Given a rational strategy for a lattice game, a polynomial time algorithm is presented to decide (i) whether a given position is a winning position, and to find a move to a winning position, if not; and (ii) to decide whether two given positions are congruent, in the sense of misère quotient theory. The methods are based on the theory of short rational generating functions.

研究动机与目标

• 开发针对以格子游戏形式表述的公平有限组合游戏的有效计算方法。
• 通过有理策略实现在多项式时间内判定给定位置是否为必胜或必败位置。
• 提供一种高效算法，用于测试格子游戏中两位置之间的恶序同余关系。
• 证明仿射分层可在多项式时间内计算，从而降低策略计算的复杂度。
• 支持如下猜想：无平方格子游戏具有仿射分层结构，推动对达逊棋等游戏中恶序玩法的研究。

提出的方法

• 利用简短有理生成函数将必胜位置编码为有理策略，实现高效计算。
• 通过生成函数的哈达玛积来在多项式时间内确定必胜位置的可达性。
• 应用巴尔维诺克与伍兹关于简短有理生成函数的理论，计算仿射半群及其并集的生成函数。
• 使用变换 $ f(S_{\textbf{p}}; \mathbf{t}) = \mathbf{t}^{-\textbf{p}} f((\textbf{p}+C)\cap\mathcal{P}; \mathbf{t}) $ 计算平移集合，用于恶序同余关系的测试。
• 应用推论 5.3，将仿射分层的不相交有理生成函数合并为单个有理函数。
• 采用嵌入技术将仿射半群映射至 $ \mathbb{N}^d $ 以实现算法可处理性，随后进行逆变换。

实验结果

研究问题

• RQ1 能否利用有理策略在多项式时间内判定格子游戏中给定位置是否为必胜或必败？
• RQ2 是否存在一种高效算法，基于局部游戏结构测试两个位置是否为恶序同余？
• RQ3 在规则集复杂度固定的前提下，能否在多项式时间内计算格子游戏的仿射分层？
• RQ4 无平方格子游戏（如达逊棋）是否具有仿射分层结构，从而实现恶序玩法中的高效策略计算？
• RQ5 当P-位置集合具有非周期性时，恶序商与有理策略的有效性在多大程度上仍成立？

主要发现

• 给定一个有理策略，存在一个多项式时间算法，可判定某位置是否为必胜或必败，并在需要时计算出通往必胜位置的移动。
• 通过比较集合 $ S_{\mathbf{p}} = (\mathbf{p}+C)\cap\mathcal{P} - \mathbf{p} $ 与 $ S_{\mathbf{q}} $ 的有理生成函数，可在多项式时间内测试两个位置 $ \mathbf{p} $ 与 $ \mathbf{q} $ 的恶序同余关系，相等即表示同余。
• 在规则集复杂度固定的前提下，格子游戏的仿射分层可被转化为有理策略，且时间复杂度为多项式。
• 具有仿射分层的集合的补集也具有仿射分层，此结果具有独立兴趣（定理 4.2）。
• 在固定维度且规则集复杂度有界的情况下，计算有理策略的时间复杂度在输入规模上为多项式。
• 本文证明：给定复杂度 $ \iota $，仿射半群的生成函数可在 $ O(\iota^c) $ 时间内计算，其中 $ c $ 为某常数，从而实现高效的算法操作。