2019牛客多校第四场B xor （884B)（线性基求交+线段树）

题目链接
题目大意：
给出n组数以及m组询问。每组询问包括l，r，x，如果第 l 到 r 内的数组都可以异或运算出 x，输出YES，否则输出NO。

思路：
显然关于能不能异或表达出一个数字x需要用到线性基，多组数字都需要满足能表示出x，那么就需要对这些数字的线性基求交。不过这题还有一个条件，询问的是区间内的线性基交。其实也很简单，利用线段树维护，每一个叶子节点的线性基就是一组数字的线性基，区间的合并就是线性基求交一样合并即可。
对于一个区间内的询问，试着将x加入该区间的线性基交，如果能加入，说明不能表达出x，如果不能加入，说明可以表达出x。

AC代码：

#include<bits/stdc++.h>
using namespace std;
#define lson id<<1
#define rson id<<1|1 
typedef long long ll;
const int maxn=5e4+9;
int t,n,m;
ll tre[maxn<<2][33];
ll arr[maxn][33];
const int M=33;
int add(ll *Z,ll x,int op)
{
	for(ll i=M;i>=0;i--)
	{
		if((x>>i)&&1ll)
		{
			if(Z[i]) x=x^Z[i];
			else
			{
				if(op) Z[i]=x;
				return 1;
			}
		}
	}
	return 0;
}
ll all[33],BB[33];
void merge(ll *A,ll *B,ll *W)
{
    for(int i=0;i<M;i++)
        all[i]=A[i],BB[i]=0;
    for(int i=M-1;i>=0;i--)
    {
        bool flag=false;
        ll x=B[i],prod=0;
        
        for(int j=M-1;j>=0;j--)
            if((x>>j)&1)
                if(all[j])
                {
                    x^=all[j];
                    prod^=BB[j];
                }
                else
                {
                    flag=true;
                    all[j]=x;
                    BB[j]=B[i]^prod;
                    break;
                }
        
        if(!flag && B[i])
            add(W,B[i]^prod,1);
    }
}
void build(int id,int l,int r)
{
	if(l==r)
	{
		for(int i=0;i<=32;i++)
		{
			tre[id][i]=arr[l][i];
		}
		return;
	}
	int mid=(l+r)>>1;
	build(lson,l,mid);
	build(rson,mid+1,r);
	merge(tre[lson],tre[rson],tre[id]);
}
bool query(int l,int r,int id,int lll,int rrr,ll x)
{
	if(lll<=l&&rrr>=r)
	{
		return !add(tre[id],x,0);
	}
	int mid=(l+r)>>1;
	int fin=1;
	if(lll<=mid) fin&=query(l,mid,lson,lll,rrr,x);
	if(rrr>mid) fin&=query(mid+1,r,rson,lll,rrr,x);
	return fin;
}
int main()
{
	scanf("%d%d",&n,&m);
	for(int i=1;i<=n;i++)
	{
		int siz;scanf("%d",&siz);
		for(int j=1;j<=siz;j++)
		{
			ll x;scanf("%lld",&x);
			add(arr[i],x,1);
		}
	}
	build(1,1,n);
	for(int i=1;i<=m;i++)
	{
		int a,b;ll x;
		scanf("%d%d%lld",&a,&b,&x);
		ll fin=query(1,n,1,a,b,x);
		if(fin) printf("YES\n");
		else printf("NO\n");
	}
	return 0;
}