SG定理

初始问题

给定$N$堆石子，每堆有$A_{i}$个石子。两个人轮流操作，每轮可以选一堆石子来取石子，可以取完，但不能不取。无法操作者输。问先手是否必胜。

SG定理

相信很多人都已经知道了这个定理。

假设现在有一个有向无环的游戏图$G(V,E)$,若$(i,j) \in E$则表示状态$i$可以转移到状态$j$.

我们还要定义必胜态与必败态的概念。
必胜态表示，从当前状态可以转移到一个必败态。
必败态表示，从当前状态无法转移到一个必败态。

我们规定整个图不存在平局态。

设$SG_{X}$

$SG_{X} = MEX(\{SG_{Y},Y|(X,Y) \in E\})$

$MEX$是一个作用于集合的函数。$MEX(S)$的值为最小的自然数$b$,满足$b \not \in S$.

最终若$SG_{X}$为0，则$X$为一个必败态。否则$X$为必胜态。

证明

我们归纳的来证明这个定理。

假设对于之前的状态这是成立的。
现在新增了一个状态$X$.
若$SG_{X} > 0$,则必然存在一个$Y:(X,Y) \in E$ 满足$SG_{Y} = 0$.因为$SG_{Y} = 0$,所以$Y$为一个必败态。因此$X$为一个必胜态。

若$SG_{X} = 0$,则$\forall_{y:(X,Y) \in E},SG_{Y} > 0$.也就是说他只能转移到必胜态。因此$X$为一个必败态。

最终由于没有出边的状态$Q$为必败态，$SG_{Q} = 0$.所以归纳成立。

回归原问题

好像有了上面的定理我们就能做了？？？其实是不能的。

因为原问题中我们的一个状态 X=(A1,A2,⋯