简单博弈论神话

1.题目介绍
此三题为简单博弈论[http://t.csdn.cn/FUEI1]的扩展

题目一

现在，有一个 n级台阶的楼梯，每级台阶上都有若干个石子，其中第 i级台阶上有ai个石子(i≥1)。
两位玩家轮流操作，每次操作可以从任意一级台阶上拿若干个石子放到下一级台阶中（不能不拿）。
已经拿到地面上的石子不能再拿，最后无法进行操作的人视为失败。
问如果两人都采用最优策略，先手是否必胜。
输入格式
第一行包含整数 n。
第二行包含 n个整数，其中第 i 个整数表示第 i级台阶上的石子数 ai。
输出格式
如果先手方必胜，则输出 Yes。否则，输出 No。
数据范围1≤n≤105,1≤ai≤109
输入样例：
3
2 1 3
输出样例：
Yes
acwing 892. 台阶-Nim游戏

#include<iostream>
#include<algorithm>

using namespace std;

int main()
{
    int n;
    cin>>n;
    int res=0;
    for(int i=1;i<=n;i++)
    {
        int x;
        cin>>x;
        if(i&1) res^=x;
    }
    if(res) cout<<"Yes";
    else cout<<"No";
    
    return 0;
}

题目二

来自893. 集合-Nim游戏给定 n 堆石子以及一个由 k个不同正整数构成的数字集合 S。
现在有两位玩家轮流操作，每次操作可以从任意一堆石子中拿取石子，每次拿取石子数量必须包含于集合 S，最后无法进行操作的人视为失败。问如果两人都采用最优策略，先手是否必胜。

输入格式
第一行包含整数 k，表示数字集合 S中数字的个数。
第二行包含 k个整数，其中第 i个整数表示数字集合 S中的第 i个数 si。
第三行包含整数 n。第四行包含 n 个整数，其中第 i 个整数表示第 i 堆石子的数量hi。
输出格式
如果先手方必胜，则输出 Yes。
否则，输出 No。
数据范围
1≤n,k≤100
1≤si,hi≤10000
输入样例：
2
2 5
3
2 4 7
输出样例：
Yes

首先引入mex(x)表示表示小于x的最小自然数。
SG(x)表示有向图游戏中能到达其他后继节点y1y2y3……的mex值即SG(x)=mex(SG(y1),SG(y2),SG(y3),……)。

#include<iostream>
#include<algorithm>
#include<cstring>
#include<unordered_set>

using namespace std;

const int N=110,M=100010;
int f[M],s[N];//f[i]表示sg
int n,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]>=0) S.insert(sg(x-s[i]));
        
    for(int i=0;;i++)//mex过程
        if(!S.count(i))
            return f[x]=i;
}

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

题目三

给定 n
堆石子，两位玩家轮流操作，每次操作可以取走其中的一堆石子，然后放入两堆规模更小的石子（新堆规模可以为 0，且两个新堆的石子总数可以大于取走的那堆石子数），最后无法进行操作的人视为失败。
问如果两人都采用最优策略，先手是否必胜。
输入格式
第一行包含整数 n。
第二行包含 n个整数，其中第 i 个整数表示第 i 堆石子的数量 ai。
输出格式
如果先手方必胜，则输出 Yes。
否则，输出 No。
数据范围1≤n,ai≤100
输入样例：
2
2 3
输出样例：
Yes

此题其实与题目二类似，拆成两个局面即a1=（b1，b2）有多种拆法，数论中又有一个公式来了——sg(b1,b2)=sg(b1)^sg(b2)，感兴趣的同学可以去了解一下 。

#include<iostream>
#include<algorithm>
#include<cstring>
#include<unordered_set>

using namespace std;

const int N=110;
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));
    //mex过程    
    for(int i=0;;i++)
        if(!S.count(i))
            return f[x]=i;
}

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