拆分-Nim游戏

拆分-Nim游戏

题目描述

---

核心思路

题目大意就是拿走一堆放回两堆但是两堆（任意一堆）的数量是不能大于拿走的那一堆的，即每一堆可以变成不大于原来那堆的任意大小的两堆。

即$a[i]$可以拆分为$(b[i],b[j])$,为了避免重复，我们规定$b[i]\ge b[j]$，即有$a[i]\ge b[i]\ge b[j]$，相当于一个局面拆分成了两个局面,由SG函数理论,多个独立局面的SG值,等于这些局面SG值的异或和。

---

代码

#include<iostream>
#include<cstring>
#include<unordered_set>
using namespace std;
const int N=110;
int f[N];
int n;
int SG(int x)
{
    //记忆化搜索,如果已经求出了f[x],当再次需要求f[x]时,只需要返回即可
    if(f[x]!=-1)
        return f[x];
    unordered_set<int>S;    //哈希表用来存储所有能到的局面
    //要分成两堆，第一堆的个数取值范围是0到x-1   i用来枚举第一堆
    for(int i=0;i<x;i++)
    {
        //为了避免重复，我们约定第二堆的个数小于等于第一堆的个数 因此j<=i
        //j用来枚举第二堆
        for(int j=0;j<=i;j++)
        {
            //相当于一个局面拆分成了两个局面，由SG函数理论，多个独立局面的SG值，等于这些局面SG值的异或和
            S.insert(SG(i)^SG(j));
        }
    }
    //上面已经求出了当前节点x它所有后继节点的SG函数值,得到了Mex集合
    //那么我们就只要取遍历这个Mex集合然后找出最小的没有出现在这个集合中的非负整数即可
    //那么这个非负整数就是当前节点x的SG函数值
    for(int i=0; ;i++)
    {
        if(!S.count(i))//没有出现在Mex集合中
        {
            return f[x]=i;  //当前节点x的SG函数值就是这个非负整数i
        }
    }
}
int main()
{
    //记忆化搜索需要把初始状态置为-1 表示所有数都还没有被计算出来
    memset(f,-1,sizeof f);
    scanf("%d",&n);
    int res=0;  //答案
    while(n--)
    {
        int x;
        scanf("%d",&x);
        res^=SG(x);     //异或值
    }
    //如果最终异或结果不为0,则说明先手胜利
    if(res)
        puts("Yes");
    //如果最终异或结果为0,则说明先手输
    else
        puts("No");
    return 0;
}

---