AtCoder Grand Contest 002 E - Candy Piles 博弈论

题意

有n堆糖果，两个人可以轮流选择两种操作中的其中一种：

把数量最大的那堆糖果吃掉

把每堆没吃完的糖果各吃掉一颗

吃掉最后一颗糖果的人输，问先手必胜还是后手必胜。

n<=100000,ai<=10^9

分析

一开始看错题了，把第二个操作看成是把其中一堆糖果吃掉一堆，发现不会做。看对题之后，发现还是不会做。。。

我们可以把糖果按照数量从大到小排成一排，把一堆糖果看成是数量*1的点阵。

每次可以删掉第一列或第一行，不能操作者输。

设点(x,y)表示删掉了前x列和前y行的状态，1表示先手必胜。

有个结论就是(x,y)的状态和(x-1,y-1)的状态相同。

因为若(x,y)=0，则不管先手从(x-1,y-1)怎么走，后手都可以走到(x,y)。

若(x,y)=1，则(x-1,y-1)不可能为0。

考虑反证，设(x-1,y-1)=0，那么会得到下面的情况

0 ?

1 1 ?

0 1 0

因为1的后继至少要有一个0，0的后继必须全是1，那么两个问号至少要有一个是1，而又必须全部是0，故矛盾。

剩下的就可以随便搞了。

代码

#include<iostream>
#include<cstdio>
#include<cstdlib>
#include<cstring>
#include<algorithm>
using namespace std;

const int N=100005;

int n,a
;

bool cmp(int x,int y)
{
return x>y;
}

int main()
{
scanf("%d",&n);
for (int i=1;i<=n;i++) scanf("%d",&a[i]);
sort(a+1,a+n+1,cmp);
int p;
for (int i=1;i<=n;i++) if (i+1>a[i+1]) {p=i;break;}
int q=p;
while (q<n&&a[q+1]>=p) q++;
int tag=0;
if (p==q) tag=(a[p]-p)&1;
else if (a[p]==p) tag=(q-p)&1;
else tag=((a[p]-p)&1)|((q-p)&1);
if (tag) puts("First");
else puts("Second");
return 0;
}