博弈论---Nim游戏

Nim 游戏

先手必胜状态：可以走到某一个对方必败状态
先手必败状态：无论怎么走，下一个状态都是对方必胜

先给出结论：
当$a_1$^$a_2$ ^$a_3$ ^$\cdot \cdot \cdot$ ^$a_n\ne 0时，先手必胜$
当$a_1$^$a_2$ ^$a_3$ ^$\cdot \cdot \cdot$ ^$a_n=0时，先手必败$

证明：
当$a_1$^$a_2$ ^$a_3$ ^$\cdot \cdot \cdot$ ^$a_n=x\ne 0时$，一定存在一个数，拿掉这个数剩下的数异或起来为0
x的二进制位的最高位1在第k位，那么$a_1-a_n中，必有一个数a_i的第k位是1。反证法，假设第k位全是0，那么x的第k位也是0$
所以必定存在$a_i$ ^$x$ $<a_i$，所以在 $a_i$ 中拿掉 $a_i-a_i$ ^$x$，那么$a_i$变成了$a_i$ ^$x$

所以$a_1$^$a_2$ ^$a_3$ ^$\cdot \cdot \cdot$ ^$a_i$ ^ $\cdot \cdot \cdot$ ^ $a_n=x$^$x=0$变成了
$a_1$^$a_2$ ^$a_3$ ^$\cdot \cdot \cdot$ ^$a_i$ ^ x$\cdot \cdot \cdot$ ^ $a_n=x$^$x=0$
拿完之和剩余所有的数异或起来变成了 $0$

当$a_1$^$a_2$ ^$a_3$ ^$\cdot \cdot \cdot$ ^$a_i$ ^ $\cdot \cdot \cdot$ ^ $a_n=0$时，不管怎么拿，剩下的数异或起来一定不为0$
假设把 $a_i$ 拿了之后， $a_i$ 变成了 $a_i^t$
反证法：假设$a_1$^$a_2$ ^$a_3$ ^$\cdot \cdot \cdot$ ^$a_i^t$ ^ $\cdot \cdot \cdot$ ^ $a_n=0$，把这个式子与没拿之前的异或起来，
就有$a_i$ ^$a_i^t=0$，说明$a_i=a_i^t$，那么矛盾，所以拿完之和异或起来一定不为 $0$

因为石子是有限的，所以在经过有限次拿之后，最后所有石子一定会拿完，所以要保证赢必须保证拿完之后的所有数的异或值是$0$，让别人无石子可拿。

最最经典的Nim游戏

模板题链接：AcWing 891. Nim游戏
代码如下：

#include <iostream>

using namespace std;

int n,x;

int main()
{
    int res=0;
    scanf("%d",&n);
    while(n--)
    {
        scanf("%d",&x);
        res^=x;
    }
    
    if(res)
        printf("Yes");
    else
        printf("No");
        
    return 0;
}

经典Nim游戏的变形：AcWing 892. 台阶-Nim游戏
这道题也是一样的，其实只用看奇数阶的台阶的异或值就行了

SG函数与mex

mex运算

$mex(minimalexcludant)$运算，这是施加于一个集合的运算，表示最小的不属于这个集合的非负整数。例如$mex${ $0,1,2,4$}$=3$、$mex${$1,3,5$}$=0$、$mex${}$=0$

SG函数

$SG(x)=mex${$y_1,y_2,y_3,\cdot \cdot \cdot ,y_n$}，其中$y_1,y_2,y_3,\cdot \cdot \cdot ,y_n$是$x$能到达的子局面
$SG(终点)=0$
在SG图中，任何一个非零状态一定能到$0$，任何一个$0$状态一定不能到达非零状态

比如，对于一个有 $10$ 个石子的石头堆，每次只能拿 $2$ 个或 $5$ 个，那么这个 $SG$ 图如下，其中红色的为 $SG$ 的值

模板题：AcWing 893. 集合-Nim游戏
注意点：①：要用集合来存
②：$f[x]!=-1$ 的时候说明 $x$ 这个点已经存在 $sg$ 值了，记忆化，可以直接返回
③：最后一步返回 $f[x]=i$ 的时候，包含处理了$0$这种情况了

#include<bits/stdc++.h>

using namespace std;

const int N = 110, M = 1e4 + 10;
int f[M], se[N];//f用来存储每个数的sg值，se用来存储集合里面的数
int k, s, n, h;

int sg(int x)
{
    if(f[x] != -1)
        return f[x];
    set<int> S;
    for(int i = 1; i <= k; ++i)
    {
        if(x >= se[i])
            S.insert(sg(x - se[i]));
    }

    for(int i = 0; i < M; ++i)
        if(!S.count(i))
            return f[x] = i;
}

int main()
{
    memset(f, -1, sizeof(f));
    scanf("%d", &k);
    for(int i = 1; i <= k; ++i)
        scanf("%d", &se[i]);

    scanf("%d", &n);
    int res = 0;
    for(int i = 1; i <= n; ++i)
    {
        scanf("%d", &h);
        res ^= sg(h);
    }

    if(res)
        printf("Yes");
    else
        printf("No");

    return 0;
}

SG函数变形的一道题：AcWing 894. 拆分-Nim游戏
这道题就是把一个数拆成了两个数，本质上还是SG函数

核心就是：当前异或值不为0的，一定可以经过操作变成0
当前异或值为0的，经过操作后的异或值一定不是0
经过有限次操作之后，所有的数一定都可以变成0，即游戏结束