把 (a[i]) 从大到小排个序可以发现,我们每次操作相当于把最左边一排去掉或者把最下面一排去掉(分别对应操作 (1) 和操作 (2))。也就相当于在下图中向右走一步或者向上走一步,先走出去的人输。
我们设 (1) 为必胜状态, (0) 为必败状态。显然如果一个点的上方和右边都没有点了,那么这个点一定是 (0)。假设一个点 ((x,y)) 为 (0),由于只能向右和向上走,那么 ((x-1, y-1)) 也一定是 (0)(如果存在的话)。那么可以发现同一个对角线上的数的状态相同。所以求 ((1,1)) 相当于求 ((k,k)) 使得 ((k+1, k +1)) 不存在。然后我们把 ((k,k)) 向右向上延伸到边界,只要有一个距离为奇数则 ((1,1)=1),否则 ((1,1)=0)。
代码:
#include<cstdio>
#include<iostream>
#include<algorithm>
#include<cstring>
using namespace std;
const int N = 100009;
int n, a[N], f[290][298];
bool cmp(int a, int b)
{
return a > b;
}
void init()
{
scanf("%d", &n);
for (int i = 1; i <= n; i++)
scanf("%d", &a[i]);
sort(a + 1, a + 1 + n, cmp);
}
int dfs(int x, int y)
{
if (f[x][y] != -1) return f[x][y];
int tmp = 0;
if (x < n && a[x + 1] >= y) tmp |= !dfs(x + 1, y);
if (y < a[x]) tmp |= !dfs(x, y + 1);
return f[x][y] = tmp;
}
void work()
{
// memset(f, -1, sizeof(f));
// for (int j = 1; j <= 7; j++, puts(""))
// for (int i = 1; i <= n; i++)
// if (a[i] >= j)
// printf("%d ", dfs(i, j));
// puts(dfs(1, 1) == 1 ? "First" : "Second");
for (int i = 1; i <= n; i++)
if (a[i + 1] < i + 1)
{
int tmp = a[i] - i & 1;
int j;
for (j = i + 1; j <= n && a[j] == i; j++);
tmp |= (j - i - 1 & 1);
puts(tmp == 1 ? "First" : "Second");
break;
}
}
int main()
{
init();
work();
return 0;
}