2019牛客多校第四场B xor——线段树&&线性基的交

题意

给你 $n$ 个集合，每个集合中包含一些整数。我们说一个集合表示一个整数当且仅当存在一个子集其异或和等于这个整数。现在你需要回答 $m$ 次询问 ($l, r, x$)，是否 $l$ 到 $r$ 的每个集合都能表示 $x$.

分析

先求出每个集合的线性基，然后用线段树维护线性基的交，详见代码

#include<bits/stdc++.h>
#define reg register
using namespace std;
typedef long long ll;

const int bits = ;
const int maxn =  + ;
int n, q;
ll a[maxn][];

struct LBase {
    //const static int bits = 31;   //0~31位
    ll d[bits+], tmp[bits+];   //线性基
    bool flag = false;  //记录是否cnt < n
    LBase() {memset(d, , sizeof d);}
    void insert(ll x)
    {
        for(int i=bits;~i;i--)
            if(x&(1ll<<i))
            {
                if(!d[i]){ d[i]=x; break;}
                else  x ^= d[i];
            }
       flag = true;
    }
    bool check(ll x)  //返回true表示已经能被表示
    {
        for(int i=bits;~i;i--)
            if(x&(1ll<<i))
            {
                if(!d[i]) return false;
                else x ^= d[i];
            }
        return true;
    }
    ll qmax(ll res=)
    {
        for(int i=bits;~i;i--)
            res=max(res,res^d[i]);
        return res;
    }
    ll qmin()
    {
        if(flag) return ;
        for(int i=;i<=bits;i++)
            if(d[i]) return d[i];
    }
    ll query(ll k)  //查询第k小
    {
        ll res=; int cnt=;
        k-=flag; if(!k)return ;
        for(int i=;i<=bits;i++){
            for(int j=i-;~j;j--)
                if(d[i]&(1ll<<j)) d[i]^=d[j];
            if(d[i]) tmp[cnt++]=d[i];
        }
        if(k>=(1ll<<cnt))return -;
        for(int i=;i<cnt;i++)
            if(k&(1ll<<i)) res^=tmp[i];
        return res;
    }
    void merge(const LBase &a) {   //求并集
        for (int i = bits; i >= ; --i)
            if (a.d[i]) insert(a.d[i]);
    }
};

LBase intersection(const LBase &a,const LBase &b)  //求交集
{
    LBase ans, c=b,d=b;
    for(int i = ;i <= bits;i++)
    {
        ll x =a.d[i];
        if(!x) continue;
        int j=i;ll T=;
        for(;j>=;--j)
        if((x>>j)&)
        if(c.d[j]){x^=c.d[j];T^=d.d[j];}
        else break;
        if(!x)ans.d[i]=T;
        else {c.d[j]=x;d.d[j]=T;}
    }
    return ans;
}

struct SegTree
{
    LBase b[maxn << ];
    void build(int o, int L, int R)
    {
        int M = L + (R-L) / ;
        if(L == R)
        {
            for(int i = ;i < ;i++) b[o].insert(a[L][i]);
        }
        else
        {
            build(*o, L, M);
            build(*o+, M+, R);
            //b[o].merge(b[2*o]); b[o].merge(b[2*o+1]);
            b[o] = intersection(b[*o], b[*o+]);
        }
    }

    //查询[ql, qr]中是否都能表示出x
    bool query(int o,int L,int R, int ql, int qr, ll x)
    {
        int M = L + (R - L) / ;
        bool flag1 = true, flag2 = true;
        if(ql <= L && R <= qr)  return b[o].check(x);
        if(ql <= M)  flag1 = query(*o, L, M, ql, qr, x);
        if(qr > M)  flag2 = query(*o+, M+, R, ql, qr, x);
        return flag1 && flag2;
    }

}seg;

int main(){
    scanf("%d%d", &n, &q);
    for(int i = ;i <= n;i++)
    {
        int sz; scanf("%d", &sz);
        for(int j = ;j < sz;j++)  scanf("%lld", &a[i][j]);
        for(int j=sz; j < ;j++)  a[i][j] = ;
    }
    seg.build(, , n);
    while(q--)
    {
        int l, r; ll x;
        scanf("%d%d%lld", &l, &r, &x);
        if(seg.query(, , n, l, r, x)) printf("YES\n");
        else  printf("NO\n");
    }
    return ;
}