题意
有一个序列A,满足
gcd(A[1],...,A[n])=1
g
c
d
(
A
[
1
]
,
.
.
.
,
A
[
n
]
)
=
1
。
现在两个玩家轮流进行以下操作:
选择一个大于1的位置,将该位置减一。然后将每一个位置都除以整个序列的gcd。
不能操作者输。问先手必胜还是后手必胜。
n<=100000,A[i]<=10^9
分析
因为初始时整个序列的gcd等于1,所以序列中必然有至少一个奇数。
结论:若存在奇数个偶数则先手必胜。
证明:先手可以选择一个偶数将其变为奇数。那么现在至少有两个奇数。所以无论后手怎么操作,每个数的奇偶性都不会改变。若后手选择奇变偶,则先手选择偶变奇;反之则先手选择奇变偶。故先手必胜。
那存在偶数个偶数呢?
若有大于1个奇数,则无论先手怎么操作,都会走到奇数个偶数的局面,故先手必败。
若只有一个奇数,则先手必然会选择把奇数便偶数,这种情况就可以递归处理。
代码
#include<iostream>
#include<cstdio>
#include<cstdlib>
#include<cstring>
#include<algorithm>
using namespace std;
const int N=100005;
int n,a[N];
int read()
{
int x=0,f=1;char ch=getchar();
while (ch<'0'||ch>'9'){if(ch=='-')f=-1;ch=getchar();}
while (ch>='0'&&ch<='9'){x=x*10+ch-'0';ch=getchar();}
return x*f;
}
int gcd(int x,int y)
{
if (!y) return x;
else return gcd(y,x%y);
}
bool solve()
{
for (int i=1;i<=n;i++)
if (a[i]&1)
{
if (a[i]==1) return 0;
a[i]--;break;
}
int d=a[1],tot=0;
for (int i=2;i<=n;i++) d=gcd(d,a[i]);
for (int i=1;i<=n;i++) a[i]/=d,tot+=!(a[i]&1);
if (tot&1) return 0;
else if (n-tot>1) return 1;
else return solve()^1;
}
int main()
{
n=read();
int tot=0;
for (int i=1;i<=n;i++) a[i]=read(),tot+=!(a[i]&1);
if (tot&1) puts("First");
else if (n-tot>1) puts("Second");
else puts(solve()?"First":"Second");
return 0;
}