BZOJ 4184 shallot

好神的一道题目

某只萌萌哒神犇给我安利了一发

首先如果没有删除，我们会做，因为这是裸的线性基

那么对于任意的时间，我们只需要知道有多少个数且这些数是什么就可以维护线性基了

我们考虑对时间搞出一颗线段树

对于任意的数，其存在的时间是一段区间，那么我们就可以在线段树上做区间覆盖

可以证明，在打标记的情况下，最多被分解为log(n)个区间

那么我们只需要O(nlog(n))的空间就可以记录每个时间上面的数是什么了

最后对线段树做一遍DFS，在过程中动态维护线性基就可以知道答案了

#include<cstdio>
#include<cstring>
#include<cstdlib>
#include<iostream>
#include<algorithm>
#include<set>
#include<vector>
using namespace std;

const int maxn=2000010;
int n,x;
set<pair<int,int> >S;
vector<int>V[maxn];
int L[maxn],R[maxn],mid[maxn];
struct Ans{
int Num[32];
Ans(){memset(Num,0,sizeof(Num));}
void push(int v){
for(int i=30;i>=0;--i){
if(v>>i&1){
if(!Num[i]){Num[i]=v;break;}
else{v^=Num[i];}
}
}return;
}
int ask(){
int ans=0;
for(int i=30;i>=0;--i){
if((ans^Num[i])>ans)ans^=Num[i];
}return ans;
}
};

void build(int o,int l,int r){
L[o]=l;R[o]=r;
if(l==r)return;
mid[o]=(l+r)>>1;
build(o<<1,L[o],mid[o]);
build(o<<1|1,mid[o]+1,R[o]);
}
void Get_modify(int o,int x,int y,int v){
if(L[o]>=x&&R[o]<=y){V[o].push_back(v);return;}
if(y<=mid[o])Get_modify(o<<1,x,y,v);
else if(x>mid[o])Get_modify(o<<1|1,x,y,v);
else {Get_modify(o<<1,x,y,v);Get_modify(o<<1|1,x,y,v);}
}
void Get_ans(int o,Ans now){
int sz=V[o].size();
for(int i=0;i<sz;++i)now.push(V[o][i]);
if(L[o]==R[o]){printf("%d\n",now.ask());return;}
Get_ans(o<<1,now);Get_ans(o<<1|1,now);
}

int main(){
scanf("%d",&n);build(1,1,n);
for(int i=1;i<=n;++i){
scanf("%d",&x);
if(x==0)continue;
if(x>0)S.insert(make_pair(x,i));
else{
pair<int,int> p=*S.lower_bound(make_pair(-x,-1));
S.erase(p);Get_modify(1,p.second,i-1,-x);
}
}
set<pair<int,int> >::iterator it;
for(it=S.begin();it!=S.end();it++)Get_modify(1,(*it).second,n,(*it).first);
Get_ans(1,Ans());
return 0;
}

shallot