【博弈论+记忆化搜索】拆分-Nim游戏

给定nn堆石子，两位玩家轮流操作，每次操作可以取走其中的一堆石子，然后放入两堆规模更小的石子（新堆规模可以为0，且两个新堆的石子总数可以大于取走的那堆石子数），最后无法进行操作的人视为失败。

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

输入格式

第一行包含整数nn。

第二行包含nn个整数，其中第ii个整数表示第ii堆石子的数量aiai。

输出格式

如果先手方必胜，则输出“Yes”。

否则，输出“No”。

数据范围

1≤n,ai≤1001≤n,ai≤100

输入样例：

2
2 3

输出样例：

Yes

思路：将每一堆石子看作独立的一部分，将所有石子的sg函数求异或，若结果为0则先手必败，反之则先手必胜 。

其中sg函数为一个集合中不存在的最小自然数，对最终结束的状态y来说sg（y）=0。若sg(x)!=0，则这个x状态可以到达0状态，所以它到达了0状态后对手就没有继续的余地，则这个状态就为必胜态。

 

#include<bits/stdc++.h>
#define ll long long
using namespace std;
const int maxn=105;
int n,a[maxn];
int f[maxn];

int sg(int x)
{
    //记忆化搜索
    if(f[x]!=-1)return f[x];
    //将可能出现的所有结果储存下来
    int num=0,s[10005],pos=1;
    for(int i = 0; i < x; i++)
        for(int j = 0; j <= i; j++)//为避免重复，设j<=i
            s[++num]=sg(i)^sg(j);
    sort(s+1,s+1+num);
    //寻找sg函数
    for(int i = 0;; i++)
    {
        if(s[pos]!=i)return f[x]=i;
        pos++;
        while(s[pos]==s[pos-1])pos++;
    }

}
int main()
{
    memset(f,-1,sizeof(f));
    f[0]=0;
    scanf("%d",&n);
    for(int i = 1; i <= n; i++)scanf("%d",&a[i]);
    int res=0;
    for(int i = 1; i <= n; i++)res^=sg(a[i]);
    if(res==0)printf("No\n");
    else printf("Yes\n");
}