題目：https://www.luogu.org/problemnew/show/P2148

SG函數+找規律。

普通地用SG函數做。

每兩堆是一個獨立問題。因為雖然有可能一個人在同一組裏連續操作2次，但操作一次一定會把一個必敗狀態改為必勝狀態，不會需要連續操作兩次。

關鍵是怎麽快速求SG函數。

打表找規律：

#include<iostream>
#include<cstdio>
#include<cstring>
using namespace std;
int sg[25][25];
void dfs(int x,int y)
{
    if(sg[x][y]!=-1
 
)return;
    int sum=0;
    for(int i=1;i<x;i++)
    {
        dfs(i,x-i);
        sum|=(1<<sg[i][x-i]);
    }
    for(int i=1;i<y;i++)
    {
        dfs(i,y-i);
        sum|=(1<<sg[i][y-i]);
    }
    for(int i=0;i<=20;i++)
        if((sum&(1<<i))==0)
        {
            sg[x][y]
 
=i;sg[y][x]=i;
            return;
        }
}
int main()
{
    memset(sg,-1,sizeof sg);
    sg[1][1]=0;
    for(int i=1;i<=20;i++)
    {
        for(int j=1;j<=20;j++)
        {
            dfs(i,j);
            printf("%3d",sg[i][j]);
        }
        printf("\n");
    }
    return 0;
}

然後發現 i 和 j 的規律：

　　SG=1：i % 2 ==1 && j % 2 ==1；

　　SG=2：i % 4 == 1,2 && j % 4 == 1,2；

　　SG=3：i % 8 == 1,2,3,4 && j % 8 == 1,2,3,4；

　　……

所以有了那個log的算法。

仔細一看，那個就是求 i 和 j 的第一個公共0在第幾位，所以又有了O(1)的式子。

但是那個O(1)的式子有一個點過不去，是把NO輸出成YES，不知何故。

#include<iostream>
#include<cstdio>
#include<cstring>
#define ll long long
using namespace std;
const ll N=2e4+5;
ll T,n,a[2],sum;
ll sg(ll a,ll b)
{
    for(ll i=0,tmp=2;;i++,tmp<<=1)
        if((a-1)%tmp<(tmp>>1)&&(b-1)%tmp<(tmp>>1))
            return i;
//    ll k=((a-1)|(b-1));
//    k=((k+1)&(-k-1));
//    return k-1;
}
int main()
{
    scanf("%lld",&T);
    while(T--)
    {
        scanf("%lld",&n);sum=0;
        for(ll i=1;i<=n;i++)
        {
            scanf("%lld",&a[i&1]);
            if(!(i&1))sum^=sg(a[0],a[1]);
        }
        if(sum)printf("YES\n");
        else printf("NO\n");
    }
    return 0;
}

洛谷2148(SDOI2009) E&D