Codeforces Round 966 (Div. 3)H（线段树上二分）

Ksyusha and the Loaded Set

题目大意：给一个可增减的序列，若干询问，询问有三种操作，＋元素，-元素，？则表示输出对应的最小正整数，使得区间[x,x+k-1]中的任意一个正整数不在此序列中

思路：线段树上二分（动态开点，静态的没试过，群u可以试试）

观察到：每次修改一个元素，只会影响，这个元素在原序列当中，左右俩边的空余区间（即左右俩边没有元素的区间长度）。

 实现：线段树上的叶子节点我们就用来表示空余区间的左端点，然后节点上的值我们就可以存一下每个空余区间对应的长度。 对于每个？询问，我们可以维护当前区间的最大长度，先判断左儿子是否符合，符合就进入左子树继续递归，否则进入右子树，遇到叶子节点返回。

trick：（我们可以先在序列的俩端插入0和一个无穷值，这样做方便后面查找我们删除和修改的元素）用一个set动态维护这个序列，保持他的单调性（方便查找这个元素在序列的哪个位置） 

 代码：

#include<bits/stdc++.h>

using namespace std;
const int N=2e6+20;
struct xdss{
    int l,r,mxlen=0;
}xds[N*4];
int root,idx;
void motify(int &rt,int l,int r,int pos,int val){
    if(!rt) rt=++idx;
    if(l==r){
        xds[rt].mxlen=val;
        return;
    }
    int mid=l+r>>1;
    if(pos<=mid) motify(xds[rt].l,l,mid,pos,val);
    else motify(xds[rt].r,mid+1,r,pos,val);
    int lson=xds[rt].l,rson=xds[rt].r;
    xds[rt].mxlen=max(xds[lson].mxlen,xds[rson].mxlen);
    return;
}
int query(int rt,int l,int r,int klen){
    if(l==r) return l;
    int mid=l+r>>1;
    int lson=xds[rt].l;
    if(lson&&xds[lson].mxlen>=klen) return query(xds[rt].l,l,mid,klen);
    return query(xds[rt].r,mid+1,r,klen);
}
void solve()
{
    int n,m;
    cin>>n;
    set<int>ys;
    for(int i=1;i<=idx;i++) xds[i].l=xds[i].r=xds[i].mxlen=0;
    root=idx=0;
    vector<int>a(n+2);
    for(int i=1;i<=n;i++) cin>>a[i];
    a[n+1]=(int)4e6+10;
    ys.insert(0);
    int pre=0;
    for(int i=1;i<=n+1;i++){
        int l=pre+1,r=a[i]-1;
        pre=a[i];
        ys.insert(a[i]);
        if(l>r) continue;
        int len=r-l+1;
        motify(root,1,N-10,l,len);
    }
    cin>>m;
    for(int i=1;i<=m;i++)
    {
        char op;
        cin>>op;
        if(op=='+')
        {
            int x;
            cin>>x;
            auto u=ys.lower_bound(x);//大于等于x的第一个元素
            auto pr=prev(u);
            int ll=*pr+1,rr=*u-1;
            if(ll<=rr) motify(root,1,N-10,ll,0);
            rr=x-1;;
           if(ll<=rr) motify(root,1,N-10,ll,rr-ll+1);
            ll=x+1,rr=*u-1;
            if(ll<=rr) motify(root,1,N-10,ll,rr-ll+1);
            ys.insert(x);
        }
        else if(op=='-')
        {
            int x;
            cin>>x;
            auto u=ys.lower_bound(x);
            auto pr=prev(u);
            auto at=next(u);
            int ll=*pr+1,rr=x-1;
            if(ll<=rr) motify(root,1,N-10,ll,0);
            ll=x+1,rr=*at-1;
            if(ll<=rr) motify(root,1,N-10,ll,0);
            ll=*pr+1,rr=*at-1;
            if(ll<=rr) motify(root,1,N-10,ll,rr-ll+1);
            ys.erase(x);
        }
        else{

            int k;
            cin>>k;
           cout<<query(root,1,N-10,k)<<' ';
        }
    }
    cout<<'\n';
}

signed main() {
    ios::sync_with_stdio(false);
    cin.tie(nullptr), cout.tie(nullptr);
#ifndef ONLINE_JUDGE
    freopen("in.txt", "r", stdin);
#endif
    int T = 1;
    cin>>T;
    while (T--) { solve(); }
    return 0;
}