线段树离散化+区间更新——cf1179C好题

绝对是很好的题

把问题转化成当第i个询问的答案是数值x时是否可行

要判断值x是否可行，只要再将问题转化成a数组里>=x的值数量是否严格大于b数组里的>=x的值

那么线段树叶子结点维护对于值x的a数组里的合法数数量-b数组里的合法数数量，如果是正数即这个值可行

线段树维护区间最大值，然后询问最靠右的非负叶子下标

#include<bits/stdc++.h>
#include<vector>
using namespace std;
#define maxn 1000005

int Q,n,m,a[maxn],b[maxn],ans[maxn];
struct Query{int op,i,x;}q[maxn];
vector<int>v;

#define lson l,m,rt<<1
#define rson m+1,r,rt<<1|1
int lazy[maxn<<],Max[maxn<<];
void pushdown(int rt){
    if(lazy[rt]!=){
        Max[rt<<]+=lazy[rt];
        Max[rt<<|]+=lazy[rt];
        lazy[rt<<]+=lazy[rt];
        lazy[rt<<|]+=lazy[rt];
        lazy[rt]=;
    }
}
void pushup(int rt){
    Max[rt]=max(Max[rt<<],Max[rt<<|]);
}
void update(int L,int R,int val,int l,int r,int rt){
    if(L<=l && R>=r){
        lazy[rt]+=val;
        Max[rt]+=val;
        return;
    }
    pushdown(rt);
    int m=l+r>>;
    if(L<=m)update(L,R,val,lson);
    if(R>m)update(L,R,val,rson);
    pushup(rt);
}
int query(int l,int r,int rt){
    if(Max[rt]<=)return -;
    if(l==r && Max[rt]>)return l;
    pushdown(rt);
    int m=l+r>>;
    if(Max[rt<<|]>)
        return query(rson);
    else if(Max[rt<<]>)
        return query(lson);
    else return -;
}

int main(){
    cin>>n>>m;
    for(int i=;i<=n;i++)scanf("%d",&a[i]),v.push_back(a[i]);
    for(int i=;i<=m;i++)scanf("%d",&b[i]),v.push_back(b[i]);
    cin>>Q;
    for(int i=;i<=Q;i++){
        scanf("%d%d%d",&q[i].op,&q[i].i,&q[i].x);
        v.push_back(q[i].x);
    } 

    sort(v.begin(),v.end());
    v.erase(unique(v.begin(),v.end()),v.end());
    int nn=v.size();

    for(int i=;i<=n;i++){
        int pos=lower_bound(v.begin(),v.end(),a[i])-v.begin()+;
        update(,pos,,,nn,);
    }
    for(int i=;i<=m;i++){
        int pos=lower_bound(v.begin(),v.end(),b[i])-v.begin()+;
        update(,pos,-,,nn,);
    }

    for(int i=;i<=Q;i++){
        int op=q[i].op,p=q[i].i,x=q[i].x;
        if(op==){//修改a的值
            int pos=lower_bound(v.begin(),v.end(),a[p])-v.begin()+;
            update(,pos,-,,nn,);
            a[p]=x;
            pos=lower_bound(v.begin(),v.end(),a[p])-v.begin()+;
            update(,pos,,,nn,);
            ans[i]=query(,nn,);
            if(ans[i]>)
                ans[i]=v[ans[i]-];
        }
        else {
            int pos=lower_bound(v.begin(),v.end(),b[p])-v.begin()+;
            update(,pos,,,nn,);
            b[p]=x;
            pos=lower_bound(v.begin(),v.end(),b[p])-v.begin()+;
            update(,pos,-,,nn,);
            ans[i]=query(,nn,);
            if(ans[i]>)
                ans[i]=v[ans[i]-];
        }
    }
    for(int i=;i<=Q;i++)
        cout<<ans[i]<<'\n';
}