题目大意:给一个可增减的序列,若干询问,询问有三种操作,+元素,-元素,?则表示输出对应的最小正整数,使得区间[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;
}