CF817F MEX Queries(线段树上二分）

题意

维护一个01串，一开始全部都是0

3种操作

1.把一个区间都变为1

2.把一个区间都变为0

3.把一个区间的所有数字翻转过来

每次操作完成之后询问区间最小的0的位置

l,r<=10^18

题解

区间操作想到线段树，离散化不用说，l，r太大了。

1，2，3操作非常好维护。

然后在查询中二分查询就好了。

一开始看别的博客说要加1节点和r+1节点不知道为什么。

因为我的查询想的是，查询前面全都是1的区间的长度。后来发现做不了。就乖乖照题解做了。

 #include<iostream>
 #include<cstring>
 #include<cstdio>
 #include<cmath>
 #include<algorithm>
 #include<map>
 using namespace std;
 const long long N=;
 map<long long,long long> mp;
 long long b[N*],n,m,cnt;
 struct ask{
     long long l,r;
     long long k;
 }q[N];
 struct tree{
     long long l,r,sum,sev,lazy;
 }tr[N*];
 void build(long long l,long long r,long long now){
     tr[now].l=l;
     tr[now].r=r;
     tr[now].lazy=-;
     if(l==r)return;
     long long mid=(l+r)>>;
     build(l,mid,now*);
     build(mid+,r,now*+);
 }
 void pushdown(long long now){
     long long mid=(tr[now].l+tr[now].r)>>;
     if(tr[now].lazy!=-){
         tr[now*].lazy=tr[now*+].lazy=tr[now].lazy;
         tr[now*].sum=(mid-tr[now].l+)*tr[now].lazy;
         tr[now*+].sum=(tr[now].r-mid)*tr[now].lazy;
         tr[now*].sev=tr[now*+].sev=;
         tr[now].lazy=-;
     }
     if(tr[now].sev){
         tr[now*].sev^=;
         tr[now*+].sev^=;
         tr[now*].sum=(mid-tr[now].l+)-tr[now*].sum;
         tr[now*+].sum=(tr[now].r-mid)-tr[now*+].sum;
         tr[now].sev=;
     }
 }
 void update(long long l,long long r,long long now,long long k){
 //    cout<<l<<" "<<r<<" "<<tr[now].l<<" "<<tr[now].r<<" "<<now<<endl;
     pushdown(now);
     if(tr[now].l==l&&tr[now].r==r){
         tr[now].sum=(tr[now].r-tr[now].l+)*k;
         tr[now].lazy=k;
         tr[now].sev=;
         return ;
     }
     long long mid=(tr[now].l+tr[now].r)>>;
     if(l>mid){
         update(l,r,now*+,k);
     }
     else if(r<=mid){
         update(l,r,now*,k);
     }
     else{
         update(l,mid,now*,k);
         update(mid+,r,now*+,k);
     }
     tr[now].sum=tr[now*].sum+tr[now*+].sum;
 }
 void serve(long long l,long long r,long long now){
     pushdown(now);
     if(tr[now].l==l&&tr[now].r==r){
         tr[now].sum=(tr[now].r-tr[now].l+)-tr[now].sum;
         tr[now].sev^=;
         return;
     }
     long long mid=(tr[now].l+tr[now].r)>>;
     if(l>mid)serve(l,r,now*+);
     else if(r<=mid)serve(l,r,now*);
     else{
         serve(l,mid,now*);
         serve(mid+,r,now*+);
     }
     tr[now].sum=tr[now*].sum+tr[now*+].sum;
 }
 void check(long long now){
     if(tr[now].l==tr[now].r){
         printf("%lld\n",b[tr[now].l]);
         return ;
     }
     long long mid=(tr[now].l+tr[now].r)>>;
     pushdown(now);
     if(tr[now*].sum<mid-tr[now].l+)check(now*);
     else return check(now*+);
 }
 int main(){
     scanf("%lld",&m);
     for(long long i=;i<=m;i++){
         scanf("%lld%lld%lld",&q[i].k,&q[i].l,&q[i].r);
         q[i].r++;
         b[++cnt]=q[i].l;
         b[++cnt]=q[i].r;
     }
     b[++cnt]=;
     sort(b+,b++cnt);
     n=unique(b+,b++cnt)-(b+);
     for(long long i=;i<=n;i++){
         mp[b[i]]=i;
     }
     build(,n,);
     for(long long i=;i<=m;i++){
         if(q[i].k==){
             update(mp[q[i].l],mp[q[i].r]-,,);
         }
         else if(q[i].k==){
             update(mp[q[i].l],mp[q[i].r]-,,);
         }
         else{
             serve(mp[q[i].l],mp[q[i].r]-,);
         }
         check();
     }
     return ;
 }