A New Stone Game

一、题目

点此看题

二、解法

这种$sg$函数做不出来的题只能靠理论了，我们从小数据开始推。

只有一堆，先手必胜；有两堆相同的，先手必败（因为后手可以模仿先手）；有三堆，先手必胜（可以一步变成两堆相同）；有四堆可以划分成两部分相同的，先手必败…

我们就有一个猜想：当$n$为偶数并且石堆能划分成两部分相同的，先手必败。仔细想想还是比较好证明的，因为无论先手怎么取，后手都是可以维护石堆能划分成两部分相同的这一性质，最后一定是后手取完最后一个石头。

那是否其他的状态都是必胜态呢？我们只需要说明它们都能转移到必败态就行了，如果$n$为奇数，选最大的一堆去分摊就能转移到必败态；如果$n$是偶数，类似的方法也可以转移到必败态。故其他的状态都是必胜态。

#include <algorithm>
using namespace std;
int read()
{
    int x=0,flag=1;char c;
    while((c=getchar())<'0' || c>'9') if(c=='-') flag=-1;
    while(c>='0' && c<='9') x=(x<<3)+(x<<1)+(c^48),c=getchar();
    return x*flag;
}
int n,a[15];
int main()
{
    while(~scanf("%d\n",&n) && n)
    {
        int flag=n%2;
        for(int i=1;i<=n;i++)
            a[i]=read();
        sort(a+1,a+1+n);
        for(int i=1;i<=n;i+=2)
            if(a[i]^a[i+1])
            {
                flag=1;
                break;
            }
        printf("%d\n",flag);
    }
}