尼姆博弈POJ2234

Nim Game

Overview

Typical Problem

给定n堆物品, 每堆物品的个数分别为$A_0,A_1,...,A_{n-1}$. 两位选手轮流取物, 从某一堆中取物,至少取一物, 至多不限. 问先后手输赢情况.

Approach

令$S=A_0\oplus A_1\oplus ...\oplus A_{n-1}$. 如果$S=0$, 则先手必败, 后手有必胜拿法. 反之, 先手有必胜拿法, 后手必败.

Theoretical Analysis

定义$S=0$的局势为奇异局势, $S\ne 0$的局势为非奇异局势.

显然, 若当前选手面临的局势为$A_i=0,n-1>i⩾0$, 其必输, 因为此时他已经输了. 因此, 只需证明, 对于任意的奇异局势, 无论当前选手怎么取物, 都会变成非奇异局势. 而对于任意非奇异局势, 当前选手总有取法使其变为奇异局势.

• 若当前为奇异局势, 即$S=0$, 显然, 无论当前选手拿去那一堆中的多少个物品, 都将导致此堆物品数量的二进制形式的至少一个位的变化, 因此, 拿去后将导致新的异或结果$S\ne 0$.
• 若当前为非奇异局势, 即$S\ne 0$, 则必存在某个$A_i$与$S$的最高非0位相同(即此位都为1). 令$A_i^{\prime }=A_i\oplus S$, 用$A_i’$取代$A_i$, 即从第$i$堆中拿去$A_i-A_i^{\prime }$个物品. 那么便有$S^{\prime }=A_i^{\prime }\oplus \text{all else}=A_i\oplus S\oplus A_i\oplus S=0$, 变为奇异局势.

Example

POJ 2234

#include <cstdio>

int main() {
    int m, t, s;
    while (scanf("%d", &m) != EOF) {
        s = 0;
        while (m--) scanf("%d", &t), s ^= t;
        if (s) printf("Yes\n");
        else printf("No\n");
    }
    return 0;
}

Conclusion

Bash, Wythoff 以及Nim博弈问题, 都属于所谓的ICG(公平组合博弈), 典型的特征总结如下:

• 两人参与, 轮流进行.
• 面对同一局势, 两人可操作集合相同.
• 局势空间有限.
• 有限步内结束.
• 无论如何操作, 奇异局势总会变成非奇异局势; 总有办法把非奇异局势变为奇异局势.

最后一点, 是这类博弈的核心思维方式: 在局势空间划分出两类局势, 并证明两类局势之间的此种关系.