AtCoder Grand Contest 010 D - Decrementing 博弈论

题意

有一个序列A，满足$gcd(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;
}