Sprague-Grundy 定理

Sprague-Grundy 定理用于分析公平组合游戏：每个局面都可以等价为一个 Nim 堆，其 Grundy 数由后继局面的 mex 值决定。多个独立子游戏的 Grundy 数按异或合并；异或值为 0 的局面通常是必败态，否则为必胜态。