博弈论之SG函数

下面的所有知识均属博弈论范畴。

---

$\mathrm{SG}$ 函数

$\mathrm{Nim}$ 博弈

在介绍 $\mathrm{SG}$ 函数前，我们先介绍一种经典的博弈——$\mathrm{Nim}$ 博弈，并从中获得一定的启发。

• 问题：有 $n$ 堆石子，第 $i$ 堆石子里面有 $A_i$ 枚石子，每人每次可从任意且至多一堆石子里取出任意多枚石子扔掉，可以取完，不能不取，最后无石子可取的人判负。假如甲是先手，且告诉你这 $n$ 堆石子的数量，他想知道是否存在先手必胜的策略。

• 结论：若 ${\mathrm{xor}}_{i=1}^n{A}_i\ne 0$，先手必胜，否则后手必胜。

我们发现，当甲做完最后一步操作，将所有石子取完时，甲就赢了。此时，说明每堆石子均为 $0$ 是一个必胜态。

所以，甲要进行的操作一定要使得自己最终一定要到达必胜态，并且对方永远不可能到达必胜态。

可以发现，如果甲操作后 ${\mathrm{xor}}_{i=1}^n{A}_i=0$，那么对方操作一次一定会使得 ${\mathrm{xor}}_{i=1}^n{A}_i\ne 0$。

所以，甲只要保持自己每次操作后 ${\mathrm{xor}}_{i=1}^n{A}_i=0$，就会使得对方永远到达不了必胜态，同时若干次操作后甲一定能够到达必胜态（因为石子数只会减少）。

实际上，我们可以称所有 ${\mathrm{xor}}_{i=1}^{n}A$