Sprague–Grundy theorem

相关的定义

公平组合游戏 (impartial combinatorial game)

定义为满足下列条件的游戏：

1. 两个玩家轮流操作，无法操作者输。
2. 游戏会在有限的轮数内结束。
3. 对于每个状态，每一个玩家可以进行的操作是相同的。也就是说可以进行的操作只取决于当前所处的状态而不取决于操作的玩家。
4. 信息公开，且没有随机行为。即，两个玩家都能够知道关于游戏状态的所有信息以及对手的操作，且玩家的操作会转移到的后继状态是确定的（而不会受到随机因子的影响）。

状态 (position)

我们约定用如下的记号来表示游戏状态：假设某个状态$G$能够转移到的状态集合是 { G 1 , G 2 ⋯ G k } \{G_1,G_2\cdots G_k\} { G1​,G2​⋯Gk​}，我们就用 { G 1 , G 2 ⋯ G k } \{G_1,G_2\cdots G_k\} { G1​,G2​⋯Gk​}来表示$G$。没有可行的转移的状态记为 { } \{\} { }。此外，我们用$\ast n$表示有一个有$n$个石子的Nim游戏的状态，即： ∗ 0 = { } , ∗ n = ∗ ( n − 1 ) ∪ { ∗ ( n − 1 ) } = { ∗ ( n − 1 ) , ∗ ( n − 2 ) , ⋯ ∗ 0 } *0=\{\},*n = *(n-1) \cup \{*(n-1)\} = \{*(n-1),*(n-2),\cdots *0\} ∗0={ },∗n=∗(n−1)∪{ ∗(n−1)}={ ∗(n−1),∗(n−2),⋯∗0}。

公平组合游戏的状态可以根据其结果分为两类，一类是 N-positions ，表示先手必胜态；另一类是 P-positions ，表示先手必败态。一个简单的结论是，一个状态是 N-position 当且仅当它存在一个后继状态是 P-positioin ，一个状态是 P-position 当且仅当它所有的后继状态都是 N-position。

组合 (to combine)

用$A+B$表示由$A$和$B$两个游戏组合起来得到的游戏。组合的含义是： A + B = { a + B ∣ a ∈ A } ∪ { b + A ∣ b ∈ B } A+B = \{ a + B \mid a \in A\} \cup \{ b + A\mid b \in B\} A+B={ a+B∣a∈A}∪{ b+A∣b∈B}。

等价 (equivalence)

称两个状态$G,G^{\prime }$是等价的当且仅当对于任意一个状态$H$，$G$