【AGC010D】Decrementing

Solution

　　
　　日常博弈论做不出来。
　　
　　首先，数值全部为1的局面先手必败。
　　
　　在接下来的过程中，我们只关注那些大于1的数值。
　　
　　按照官方题解的思路，首先想一个简化版的问题：没有除的操作，其余相同。那么局面结果显然和所有值的和的奇偶性有关。
　　
　　回到原问题。我们发现，当局面中有2个或更多奇数，其余为偶数时，我们对任意一个元素进行一次完整操作，仅仅会将一个元素从奇变偶，或从偶变奇。原因？只要有奇数存在，所有数的GCD必定是奇数。所以当全局除以GCD时，奇数还是奇数，偶数还是偶数，因为它们的2没有被除去。不论操作的是偶数还是奇数，都必定会留下至少一个奇数存在。因此变动也就只发生在操作的数上。暂且称之为A性质。
　　
　　如果先手手上全是奇数，那么必败。全1时显然必败。根据A，先手对任意数进行操作，将会出现一个偶数，那么后手可以把这个偶数变回奇数。如此反复，必定先手败。
　　
　　根据题目给的性质：初始时GCD为1。这意味着初始局面必定有1个或以上的奇数。
　　
　　接下来，对局面按偶数的个数分类：
　　
　　（1）有奇数个偶数：必胜。证明：先手先操作一个偶数，那么此时局面中有2+个奇数，以及偶数个偶数，符合A，则变化只发生在操作数上。如果后手操作一个偶数变奇数，那么先手再操作一个奇数变偶数；如果后手操作一个奇数变成偶数，那么先手可以再操作这个数变成奇数（既然后手能操作，那么操作前数肯定(ge 3)）。如此进行，某个时刻后手操作前将会有没有偶数，即全为奇数。我们已经证明此时先手必败。
　　
　　（2）有偶数个偶数：如果没有奇数，先手任意操作时，-1后出现一个奇数，大概理解为满足A，则都会使得后手有（1）的局面，即先手必败。如果有2+个奇数，此时满足A，先手任做一次操作，都会使后手有（1），先手必败。如果恰好有1个奇数，这时候我们无法推理什么，但是此时我们发现，如果先手操作某一个偶数，那么就直接输了，所以先手只有1种选择：操作那个奇数。于是问题就变成模拟了。我们递归处理，直到遇到上述情况位置。由于每次GCD至少是2，于是层数就是(mathcal O(log))的。
　　
　　
　　
　　在这稍微总结一下：博弈论题一般是要发现一些逼迫方法，并从这些角度来考虑必胜策略。
　　
　　
　　

Code

#include <cstdio>
#include <iostream>
using namespace std;
namespace IO{/*{{{*/
    const int S=10000000;
    char buf[S];
    int pos;
    void load(){
        fread(buf,1,S,stdin);
        pos=0;
    }
    char getChar(){
        return buf[pos++];
    }
    int getInt(){
        int x=0,f=1;
        char c=getChar();
        while(c<'0'||c>'9'){if(c=='-')f=-1;c=getChar();}
        while('0'<=c&&c<='9'){x=x*10+c-'0';c=getChar();}
        return x*f;
    }
}/*}}}*/
using IO::getInt;
const int N=100005;
int n;
int a[N];
void readData(){
    n=getInt();
    for(int i=1;i<=n;i++)
        a[i]=getInt();
}
int gcd(int x,int y){
    if(x<y) swap(x,y);
    for(int z=x%y;z;x=y,y=z,z=x%y);
    return y;
}
void simulate(int who){
    static int sum[2],oddpos;
    bool all1flag=true;
    sum[0]=sum[1]=0;
    for(int i=1;i<=n;i++)
        if(a[i]!=1){
            all1flag=false;
            sum[a[i]&1]++;
            if(a[i]&1)
                oddpos=i;
        }
    if(all1flag)
        throw who^1;
    if(sum[0]&1)
        throw who;
    if(sum[1]>1)
        throw who^1;
    if(sum[1]==0)
        throw who^1;
    a[oddpos]--;
    int g=-1;
    for(int i=1;i<=n;i++)
        if(a[i]!=1){
            if(g==-1)
                g=a[i];
            else
                g=gcd(g,a[i]);
        }
    for(int i=1;i<=n;i++)
        if(a[i]!=1)
            a[i]/=g;
    simulate(who^1);
}
int main(){
    IO::load();
    readData();
    try{
        simulate(1);
    }
    catch(int e){
        puts(e?"First":"Second");
    }
    return 0;
}