[atcoder002E] Candy Piles [博弈论]

题面：

传送门

思路：

每一堆糖排成一列，所有列横着放，形成一个阶梯型

两个决策相当于左边一列去掉和最下面一行去掉

那么这个模型可以转化为同样形状的网格图，向左上方走，走到边界的赢·

然后一波数学推导带走

Code：

#include<cstdio>
#include<cstring>
#include<algorithm>
using namespace std;
int n,ans,a[100100];
int main(){
    scanf("%d",&n);
    for(int i=1;i<=n;i++) scanf("%d",&a[i]);
    sort(a+1,a+n+1);
    reverse(a+1,a+n+1);
    for(int i=1;i<=n;i++){
        if(i+1>a[i+1]){
               for(int j=i+1;a[j]==i;j++) ans^=1;
               ans|=(a[i]-i)&1;
               puts(ans? "First":"Second");
               return 0;
           }    
    }    
}