BZOJ 4184 shallot 线性基+分治

Description

小苗去市场上买了一捆小葱苗，她突然一时兴起，于是她在每颗小葱苗上写上一个数字，然后把小葱叫过来玩游戏。

每个时刻她会给小葱一颗小葱苗或者是从小葱手里拿走一颗小葱苗，并且让小葱从自己手中的小葱苗里选出一些小葱苗使得选出的小葱苗上的数字的异或和最大。这种小问题对于小葱来说当然不在话下，但是他的身边没有电脑，于是他打电话给同为Oi选手的你，你能帮帮他吗？

你只需要输出最大的异或和即可，若小葱手中没有小葱苗则输出0。

Input

第一行一个正整数n表示总时间；第二行n个整数a1,a2...an，若ai大于0代表给了小葱一颗数字为ai的小葱苗，否则代表从小葱手中拿走一颗数字为-ai的小葱苗。

Output

输出共n行，每行一个整数代表第i个时刻的最大异或和。

Sample Input

6
1 2 3 4 -2 -3

Sample Output

1
3
3
7
7
5

HINT

 N<=500000,Ai<=2^31-1

 

 

—————————————————————————————————————————————————————

 

 

题意概述：

维护一个可重集合，进行N次操作，每次向集合中插入一个数字或者从集合中删除一个数字，并回答当前集合中的数字能够形成的最大亦或和。

 

分析：

线性基只能插入不能删除，所以我们只能把删除的影响处理掉，即不删除来搞事情。

可以发现一个数字在一个时间区间内出现，把每个数字的出现和消失当成一个事件。对于一个时间区间，区间右端点的答案只会被在这个区间中开始但是还没有结束的事件或者开始和结束横跨这个区间的操作所影响。

于是可以采用分治的方法，对于当前区间，横跨整个区间的操作显然对这个区间的子区间也会有影响，直接修改。否则：事件在左半边的时候丢给左半边递归处理，事件在右半边的时候丢给右半边递归处理，事件跨越分界线的时候分成两个事件分别丢给左右区间。

因为是模拟线段树的分法，所以一个区间至多被分成logn个区间，空间显然也是可以承受的。

%%%PoPoQQQ大爷ORZ

时间复杂度O(NlogNloga)。

 

 

#include<iostream>
#include<cstdio>
#include<cstring>
#include<cstdlib>
#include<algorithm>
#include<cmath>
#include<queue>
#include<set>
#include<map>
#include<vector>
#include<cctype>
using namespace std;
const int maxn=500005;

int N,ans[maxn];
struct data{ int l,r,v; };
map<int,int>C,lp;
map<int,int>::iterator it;
struct Linear_Base{
    static const int up=31;
    int b[up];
    Linear_Base(){ memset(b,0,sizeof(b)); }
    void ins(int x){
        for(int i=up-1;i>=0;i--) if((1<<i)&x){
            if(!b[i]) { b[i]=x; break; }
            else x^=b[i];
        }
    }
    int query(){
        int re=0;
        for(int i=up-1;i>=0;i--)
            re=max(re,re^b[i]);
        return re;
    }
}Lb;

void solve(int L,int R,vector<data>a,Linear_Base bl)
{
    int m=L+R>>1,n=a.size();
    vector<data>l,r;
    for(int i=0;i<n;i++){
        if(a[i].l==L&&a[i].r==R) bl.ins(a[i].v);
        else if(a[i].r<=m) l.push_back(a[i]);
        else if(a[i].l>m) r.push_back(a[i]);
        else{
            l.push_back((data){a[i].l,m,a[i].v});
            r.push_back((data){m+1,a[i].r,a[i].v});
        }
    }
    if(L==R){ ans[L]=bl.query(); return; }
    solve(L,m,l,bl);
    solve(m+1,R,r,bl);
}
void work()
{
    scanf("%d",&N);
    vector<data>a;
    int x;
    for(int i=1;i<=N;i++){
        scanf("%d",&x);
        if(x<0&&--C[-x]==0) a.push_back((data){lp[-x],i-1,-x}),C.erase(-x),lp.erase(-x);
        else if(x>0&&++C[x]==1) lp[x]=i;
    }
    for(it=C.begin();it!=C.end();it++)
        a.push_back((data){lp[it->first],N,it->first});
    C.clear(); lp.clear();
    solve(1,N,a,Lb);
    for(int i=1;i<=N;i++) printf("%d\n",ans[i]);
}
int main()
{
    work();
    return 0;
}