博弈论与sg函数

nim游戏

nim游戏

给定 n 堆石子，两位玩家轮流操作，每次操作可以从任意一堆石子中拿走任意数量的石子（可以拿完，但不能不拿），最后无法进行操作的人视为失败。
问如果两人都采用最优策略，先手是否必胜。

结论：所有石子进行异或运算，结果为0则为必败态，不为0则为必胜态

证明：

假设n堆石子分别有$a_1,a_2,...,a_n$个，他们进行异或运算之后结果$x=a_1\oplus a_2\oplus ...\oplus a_n$

由于异或运算的性质，必然有一堆石子个数的二进制表示的最高位与$x$二进制的最高位相同，$a_i\oplus x$的结果一定小于等于$a_i$，所以我们可以从第$i$堆石子拿走$a_i-a_i\oplus x$个石子当前局面从$a_1\oplus a_2\oplus ...\oplus a_n$变为$a_1\oplus a_2\oplus ...\oplus (a_i\oplus x)...\oplus a_n=0$

所以任意一个非0的局面都可以变为0，任意一个为0的局面都只能变成非0
即所有石子进行异或运算，结果为0则为必败态，不为0则为必胜态

代码

#include<cstdio>

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

台阶-nim游戏

台阶-nim游戏

现在，有一个 n 级台阶的楼梯，每级台阶上都有若干个石子，其中第 i 级台阶上有 ai 个石子(i≥1)。

两位玩家轮流操作，每次操作可以从任意一级台阶上拿若干个石子放到下一级台阶中（不能不拿）。

已经拿到地面上的石子不能再拿，最后无法进行操作的人视为失败。

问如果两人都采用最优策略，先手是否必胜。

结论：所有奇数级的台阶上的石子异或起来，不为0位必胜态，为0为必败态

为什么是奇数不是偶数？

因为所有偶数级台阶上的石子可以转换到奇数级台阶，但所有奇数级台阶并不能转移到偶数级台阶，比如1转换不到任何偶数级台阶，只能到地面

其余证明过程和nim游戏证明过程一样

代码

#include<bits/stdc++.h>

using namespace std;

int main()
{
    int res = 0, n, cnt = 1;
    cin >> n;
    
    while(n --)
    {
        int x;
        cin >> x;
        if(cnt % 2) res ^= x;
        cnt ++;
    }
    
    if(res) puts("Yes");
    else puts("No");
    
    return 0;
}

集合-Nim游戏

集合-nim游戏

给定 n 堆石子以及一个由 k 个不同正整数构成的数字集合 S。

现在有两位玩家轮流操作，每次操作可以从任意一堆石子中拿取石子，每次拿取的石子数量必须包含于集合 S，最后无法进行操作的人视为失败。

问如果两人都采用最优策略，先手是否必胜。

集合nim游戏的状态比较多，还好我们有sg函数

$mex$运算，集合内不存在的最小自然数

例如下边这个例子

蓝色代表值，红色代表sg函数，所有sg函数异或起来，不为0必胜，为0必败，因为所有非0状态都可以转移到0的状态，而0不能转移到非0

记忆化搜索即可

代码

#include<bits/stdc++.h>

using namespace std;

const int N = 110, M = 10010;

int n, m;
int s[N], f[M];

int sg(int x)
{
    if(f[x] != -1) return f[x];
    
    unordered_set<int> S;
    for(int i = 0; i < m; ++ i)
    {
        if(x >= s[i]) S.insert(sg(x - s[i]));
    }
    
    for(int i = 0; ; ++ i)
        if(!S.count(i))
            return f[x] = i;
}

int main()
{
    cin >> m;
    for(int i = 0; i < m; ++ i) cin >> s[i];
    
    cin >> n;
    memset(f, -1, sizeof f);
    int res = 0;
    
    for(int i = 0; i < n; ++ i)
    {
        int x;
        cin >> x;
        res ^= sg(x);
    }
    
    if(res) puts("Yes");
    else puts("No");
    
    return 0;
}

拆分nim游戏

拆分-nim游戏

与集合nim基本相同，唯一不同就是需要把$a_i$拆分成$b_i$和$b_j$，相当于把一个局面拆分成两个局面，由SG函数理论，多个独立局面的SG值，等于这些局面SG值的异或和。

因此需要存储的状态就是$sg(b_i\oplus b_j)$，别的和集合nim游戏完全相同

代码

#include<bits/stdc++.h>

using namespace std;

const int N = 110;

int n;
int f[N];

int sg(int x)
{
    if(f[x] != -1) return f[x];
    
    unordered_set<int> S;
    for(int i = 0; i < x; ++ i)
        for(int j = 0; j <= i; ++ j)
            S.insert(sg(i) ^ sg(j));
            
    for(int i = 0; ; ++ i)
        if(!S.count(i))
            return f[x] = i;
}

int main()
{
    cin >> n;
    
    memset(f, -1, sizeof f);
    int res = 0;
    for(int i = 0; i < n; ++ i)
    {
        int x;
        cin >> x;
        res ^= sg(x);
    }
    
    if(res) puts("Yes");
    else puts("No");
    
    return 0;
}