POJ 1704 Nim游戏的思考与证明

证明
$$\begin{gathered} 看了白书的证明，感觉有些地方讲得可能不清楚。现在写博客来 \\ 记录一下，方便以后查阅。 \end{gathered}$$
$$\begin{gathered} 证明：该游戏的胜负状态和所构成的Nim的胜负状态一致 \\ 首先，假设先手是赢家，那么就按照正常的取石子方法， \\ (1)如果后手也是按照正常的取石子方法 \\ （也就是说不断左移右端点） \\ 很显然，后手会面临无法继续左移右端点，因此要左移， \\ 只要先手保证左移右端点的格子数与后手一样，那么Nim状态就不变。 \\ (2)如果后手在中途使用左移左端点，保证 \\ 左移右端的格子数与后手一样，那么Nim状态就不变。 \end{gathered}$$
$$\begin{gathered} 因此，先手是赢家的话，只要按照上述策略，那么先手依旧是 \\ 赢家 \end{gathered}$$
$$\begin{gathered} 其次，先手是输家，如果也是按照正常的取石子方法，那么 \\ 必输无疑，因此肯定左移左端点，但是后手保证右端点左移 \\ 的格子数与先手一样，那么Nim状态就不变。 \end{gathered}$$
$$\begin{gathered} 因此，先手是输家的话，不管采取何种策略，那么先手依旧是 \\ 输家 \end{gathered}$$

$$\begin{gathered} 综上得知:上述操作的建立都可以保证可以用Nim取石子来解释 \\ ，而且操作的结果与Nim取石子的结果一致。 \\ 即该游戏的胜负状态和所构成的Nim的胜负状态一致 \end{gathered}$$