牛客网暑期ACM多校训练营（第八场）H.Playing games(FWT_xor)

题目

n(n<=5e5)堆石子，第i堆有ai个石子，UinUin和NiuNiu玩Nim游戏，

NiuNiu后手，但他可以取出其中的一些堆石子，用这些堆来玩Nim游戏，

在NiuNiu必胜的情况下，最大化石子堆数，输出堆数

如果NiuNiu必胜不了，输出0

思路来源

https://blog.csdn.net/m0_37953323/article/details/81780425

题解

nim游戏后手必胜当且仅当所取子集异或和为0，

最大化这个子集，也就是最小化补集，使得补集异或和==全集异或和sum

根据异或线性基的线性无关组最多有19位，判断出最多19次就能异或出sum

就是如果这位已经是满足条件的值的话，就去看下一位；否则异或上这一位的值

 

其实就是19位异或线性基一定能异或出a[]所有能异或出的值，所以最多19次啦

 

对于一个固定次数k，去check这个次数时候合法的FWT复杂度是O(n·logn)的

如果枚举k的话，就是O(n·logn·logn)的；二分不超过k的话，是O(n·logn·log(logn))的，

 

注意到，k个数组FWT_xor能起到“每次从a集合里挑一个之后放回，一共挑k次”的作用

如果最后在答案数组b[pos]为1，一定是每个数组贡献了一个值，这k个值xor在一起的值为pos

正好相当于在原数组中挑了k个元素，无需在意，在原k个数组中哪个位置挑的这个值

而这样做，是可能重复挑出a集合的同一元素的，只是由于k具有最小的性质，所以避免了这种情况

当重复挑出同一元素的时候，二者的异或和为0，显然可以用最多k-2个就能异或出sum

 

那么二分的时候，至多k次，就可以转化为允许有些数组里不选，也就是选0

所以，在初始数组中，对a[0]强制赋1，去判断FWT(a,1)之后的a数组的k次方作为新数组，再FWT(b,-1)即可

代码

#include<bits/stdc++.h>
using namespace std;
typedef long long ll;
const int N=1<<19;
const int MOD=1e9+7;
const int inv2=(MOD+1)/2;
void FWT_xor(ll *a,int opt)
{
    for(int i=1;i<N;i<<=1)
        for(int p=i<<1,j=0;j<N;j+=p)
            for(int k=0;k<i;++k)
            {
                int X=a[j+k],Y=a[i+j+k];
                a[j+k]=(X+Y)%MOD;a[i+j+k]=(X+MOD-Y)%MOD;
                if(opt==-1)a[j+k]=1ll*a[j+k]*inv2%MOD,a[i+j+k]=1ll*a[i+j+k]*inv2%MOD;
            }
}
ll modpow(ll x,ll n,ll mod)
{
    ll res=1;
    for(;n;n/=2,x=x*x%mod)
    if(n&1)res=res*x%mod;
    return res;
}
int n;
ll a[N],b[N],sum,v;
int l,r;
bool ok(int m)
{
    for(int i=0;i<N;++i)
    b[i]=modpow(a[i],m,MOD);
    FWT_xor(b,-1);
    return b[sum]!=0;
}
int main()
{
    scanf("%d",&n);
    for(int i=1;i<=n;++i)
    {
        scanf("%lld",&v);
        sum^=v;
        a[v]=1;
    }
    a[0]=1;//至多k个 允许不取即取0
    FWT_xor(a,1);
    l=0;r=19;
    while(l<=r)
    {
        int m=(l+r)/2;
        if(ok(m))r=m-1;
        else l=m+1;
    }
    printf("%d\n",n-l);
    return 0;
}