[论文解读] Nim on the Complete Graph

Lindsay Erickson|arXiv (Cornell University)|Oct 7, 2010

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

一句话总结

本文通过引入SSB（对称二部策略）策略，解决了单位边权完全图上的Nim游戏问题，证明当存在两个相互邻接的顶点且游戏从其中之一开始时，先手玩家必胜。关键贡献在于确立了在所有边权为1的完全图$K_n$中，由于存在$k$-相互邻接顶点，且SSB策略在该类结构上有效，因此先手玩家始终拥有必胜策略。

ABSTRACT

The game of Nim as played on graphs was introduced in Nim on Graphs I and extended in Nim on Graphs II by Masahiko Fukuyama. His papers detail the calculation of Grundy numbers for graphs under specific circumstances. We extend these results and introduce the strategy for even cycles. This paper examines a more general class of graphs by restricting the edge weight to one. We provide structural conditions for which there exist a winning strategy. This yields the solution for the complete graph.

研究动机与目标

• 将现有图上Nim游戏的研究成果扩展至单位边权完全图上的Nim游戏求解。
• 识别图上Nim游戏中先手玩家具有必胜策略的结构条件。
• 形式化并证明SSB（对称二部策略）在对称图子结构上强制获胜的有效性。
• 将Fukuyama早期关于Grundy数与边权Nim图的研究推广至更广泛的图类，包括完全图。

提出的方法

• 引入$k$-相互邻接顶点的概念：两个相邻顶点拥有$k$个共同邻居，构成$K_{2,k}$子图。
• 定义SSB（对称二部策略）：先手玩家在两个相互邻接的顶点间交替移动，迫使后手进入不利位置。
• 使用对$k$-相互邻接性的归纳法，证明只要图中至少存在两对$k$-相互邻接顶点且$\Delta$位于其中之一，则先手玩家必胜。
• 将SSB策略应用于所有边权为1的完全图$K_n$，表明$K_n$中任意两顶点均为$(n-2)$-相互邻接。
• 利用$p$-位置的性质：玩家总可移动至$0$-位置，从而掌控游戏进程。
• 通过图同构与选项等价性分析对称游戏状态，将复杂图简化为可管理的子结构。

实验结果

研究问题

• RQ1 在单位边权图中，何种结构条件可使先手玩家在Nim游戏中具有必胜策略？
• RQ2 SSB策略能否推广至证明单位边权完全图上的先手必胜？
• RQ3 顶点的$k$-相互邻接性如何影响图上Nim游戏的结果？
• RQ4 对称子图（如$K_{2,k}$）在确定Grundy数与游戏结果中起何作用？
• RQ5 SSB策略在任意边权分配下是否仍有效，还是仅限于单位权重？

主要发现

• 若图中至少存在两对$k$-相互邻接顶点且游戏从其中之一开始，则先手玩家具有必胜策略。
• SSB策略确保先手玩家可通过在两个相互邻接顶点间交替移动，始终迫使后手进入对称且不利的位置。
• 在所有边权为1的完全图$K_n$中，每对顶点均为$(n-2)$-相互邻接，因此对所有$n > 1$，先手玩家必胜。
• 本结果通过结构化而非计算化方法，扩展了Fukuyama关于Grundy数的研究，适用于一大类图。
• SSB策略对任意边权分配无效，但在单位权重完全图中依然有效且充分。
• 对于$n \leq 7$，即使边权任意，先手玩家仍可在$K_n$中获胜，尽管此时SSB策略不适用。