博弈论和sg函数

Nim游戏

题目链接：Nim游戏

先说结论：假设n堆石子，石子数分别为a1,a2,a3.....，则当a1^a2^a3^...^an=0时先手必败，否则先手必胜。

因为所表示的二进制位必定是成对出现的，根据性质 1 ^ 1 = 0 ，0 ^ 0 = 0 得出结论。（具体证明过程不再说明）

因此代码如下：

#include <bits/stdc++.h>
using namespace std;
int n;

int main(){
	ios::sync_with_stdio(0),cin.tie(0),cout.tie(0);
	cin>>n;
	int ans=0;
	for(int i=1;i<=n;i++){
		int x;cin>>x;
		ans^=x;
	}

	if(!ans)cout<<"No"<<"\n";
	else cout<<"Yes"<<"\n";

	return 0;
}

台阶-Nim游戏

题目链接：台阶-Nim游戏

首先给出结论：所有奇数阶的石子个数异或，如果异或和为0，那么先手必败，否则先手必胜。

因为从第一阶拿下来石子要取1次，第二阶拿下来要取2次。。。。。以此类推，所以可以看成第二阶有两堆石子，第三阶有三堆石子，因为两堆相同数量的石子异或和必然为0，而奇数阶的石子异或和为本身，所以只需将奇数阶的石子异或计算即可。

#include <bits/stdc++.h>
using namespace std;
int n;

int main(){
    ios::sync_with_stdio(0),cin.tie(0),cout.tie(0);
    cin>>n;
    int ans=0;
    for(int i=1;i<=n;i++){
        int x;cin>>x;
        if(i&1)ans^=x;
    }

    if(!ans)cout<<"No"<<"\n";
    else cout<<"Yes"<<"\n";

    return 0;
}

集合-Nim游戏

题目链接：集合-Nim游戏

SG函数

这道题目用到了SG函数，那么首先介绍一下什么是SG函数以及用法：

首先定义MEX集合表示集合中最小的没有出现的自然数，如MEX{1，2}=0，MEX{0，1，2}=3.

首先看左边这个图，我们把终点定义为sg(终点)=0；因为终点不能到达其他点，然后终点的前面一个点定义为sg(x)=1，因为后面有0，以此类推我们可以画出sg图。

那么SG函数具体的作用是什么呢？

首先终点的sg为0，意味着不能进行任何操作，在博弈论中意味着失败，那么当sg为0时，判负，相反，当sg不为0时，一定有一条路可以从该点走向sg（x）= 0，那么也就意味着如果先手不为0，那么一定可以让后手变为0.

接下来看题目，假设一堆有10个石子，我可以通过拿2个或5个使石子不能再拿，因此可以一个个枚举石子剩余的个数，如右图。接下来算出每个点的sg值，由图可知sg（10）=1，因此可以走到0让对手失败。

那么一堆是这样，n堆便用例题1的知识得：所有堆的sg异或和如果为0，先手必败，否则先手必胜。

#include <bits/stdc++.h>
using namespace std;
const int N =1e5+5;
int f[N],a[N];
int n,m;

int sg(int x){
    if(f[x]!=-1)return f[x];//记忆化搜索
    unordered_set<int>s;

    for(int i=1;i<=m;i++){
        if(x>=a[i]){
            s.insert(sg(x-a[i]));
        }
    }

    for(int i=0;;i++){
        if(!s.count(i))return f[x]=i;
    }

}

int main(){
    ios::sync_with_stdio(0),cin.tie(0),cout.tie(0);
    memset(f,-1,sizeof(f));
    cin>>m;
    for(int i=1;i<=m;i++){
        cin>>a[i];
    }

    int ans=0;
    cin>>n;
    for(int i=1;i<=n;i++){
        int x;cin>>x;
        ans^=sg(x);
    }

    if(!ans)cout<<"No"<<"\n";
    else cout<<"Yes"<<"\n";

    return 0;
}

拆分-Nim游戏

题目链接：拆分-Nim游戏

这道题目就是对sg函数的加深理解，sg函数有这样一个性质：

sg(b1, b2)=sg(b1)^sg(b2）

相当于一个局面拆分成了两个局面，由SG函数理论，多个独立局面的SG值，等于这些局面SG值的异或和。

可以类比上一道题目，根据sg函数的定义，每一个sg都能走到比自己小的每一个数。这和Nim游戏中的每一堆石子的性质相同，所以可以把每一个sg当成Nim游戏中的一堆石子，异或和就是总体局面的sg。

#include <bits/stdc++.h>
using namespace std;
const int N =105;
int a[N],f[N];
int 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(){
    ios::sync_with_stdio(0),cin.tie(0),cout.tie(0);
	memset(f,-1,sizeof(f));
    cin>>n;
	int ans=0;
	for(int i=1;i<=n;i++){
		int x;cin>>x;
		ans^=sg(x);
	}

	if(!ans)cout<<"No"<<"\n";
	else cout<<"Yes"<<"\n";

    return 0;
}