AGC 002E.Candy Piles(博弈论)

题目链接

---

\(Description\)

给定\(n\)堆糖，数量分别为\(a_i\)。Alice和Bob轮流操作。每次可以吃掉最多的一堆，也可以每堆各吃掉一个。无法操作的人输，求谁能赢。
\(n\leq10^5,\ a_i\leq10^9\)。

\(Solution\)

画这图累死了= = 虽然确实有点丑
假设有\(5\)堆糖，把它画成这样。我们发现每次操作就是拿掉最左边一列或最下边的一行。那么可以看成，初始在\((1,1)\)，每次向右或向上走一步。
考虑求\(SG\)。边界位置的\(SG\)值显然为\(0\)，且\(SG\)只有\(01\)两种取值表示胜负。其余位置的\(SG\)都可以求出，但是复杂度会炸。
打表可以发现，除去最边上一层，同一条副对角线上的位置的\(SG\)值是相同的，即\(sg(x,y)=sg(x+1,y+1)\)。
考虑若\(sg(x+1,y+1)=1\)，\((x,y)\)的后继的后继会有\((x+1,y+1)\)这一必胜态，所以\(sg(x,y)=1\)；若\(sg(x+1,y+1)=0\)，则\((x,y)\)的后继存在必败态的后继，所以\(sg(x,y)=0\)。
然后我们就可以找第一个满足\(i+1>A_{i+1}\)的位置\((i,i)\)，求\((i,i)\)的\(SG\)值，即右边上边各有多少个位置有糖即可。

这个结论是很常用的结论：同一条对角线上的\(SG\)值相同。

---

//8ms	896KB
#include <cstdio>
#include <cctype>
#include <algorithm>
#include <functional>
#define gc() getchar()
#define MAXIN 300000
//#define gc() (SS==TT&&(TT=(SS=IN)+fread(IN,1,MAXIN,stdin),SS==TT)?EOF:*SS++)
typedef long long LL;
const int N=1e5+5;

int A[N];
char IN[MAXIN],*SS=IN,*TT=IN;

inline int read()
{
	int now=0;register char c=gc();
	for(;!isdigit(c);c=gc());
	for(;isdigit(c);now=now*10+c-48,c=gc());
	return now;
}

int main()
{
	const int n=read();
	for(int i=1; i<=n; ++i) A[i]=read();
	std::sort(A+1,A+1+n,std::greater<int>());
	for(int i=1; i<=n; ++i)
		if(i+1>A[i+1])
		{
			int ans=0;
			for(int j=i+1; A[j]==i; ++j) ans^=1;
			ans|=A[i]-i&1;
			puts(ans?"First":"Second");
			return 0;
		}

	return 0;
}