我對主席樹的理解再次昇華了
不難看出對於每次2操作,答案最大是n+1(因爲每次更新是+10000000, 永遠不會佔用n+1,而且k是保證<=n的). 如果某個數字被進行過1操作, 那麼就代表這個數字可以用於2類操作的查詢,把這個數字加到set裏.對於找2類詢問的答案,第一種是從a[r+1,n]裏找>=k的最小值(主席樹實現),第二種是從這個set裏找>=k的最小值(對set進行二分查找),取兩者間最小值即可.
更新:
舉個例子 :n=6,a={6 2 4 3 5 1}
操作依次爲 (1,3) (2,4,4) (1,5) (1,1,5)以上值均是異或lastans後的值
對於(1,3), 把4放到了set,這意味着無論以後2類操作的r是多少,4都有可能成爲答案. 然後對於(2,4,4), 我們去查(5,6)中的大於等於4的最小值,查出來是5,再查set裏的大於等於4的最小值,查出來是4,所以答案是4.
對於(1,5),把5放到set裏,對於(1,1,5),我們查詢{2,4,3,5,1}中大於等於5的最小值,和set{4,5}中的大於等於5的最小值,這就是爲什麼我們不需要把5加上10000000,因爲5一定存到set裏了,如果答案是5,主席樹的查詢和set的查詢肯定都會是5, 如果答案不是5,那5更不會有什麼影響了
#include <algorithm>
#include <iostream>
#include <cstdlib>
#include <cstring>
#include <cstdio>
#include <string>
#include <queue>
#include <cmath>
#include <map>
#include <set>
#define mem(a,x) memset(a,x,sizeof(a))
#define gi(x) scanf("%d",&x)
#define gi2(x,y) scanf("%d%d",&x,&y)
#define gi3(x,y,z) scanf("%d%d%d",&x,&y,&z)
#define gll(x) scanf("%lld",&x)
#define gll2(x,y) scanf("%lld%lld",&x,&y)
using namespace std;
const double eps=1e-8;
typedef long long ll;
const int MAXN=100005;
const ll mod=1e7+9;
const int inf=0x3f3f3f3f;
struct Node{
int L,R;
int sum;
}node[MAXN*20];
int a[MAXN];
int root[MAXN];
int n,m,cnt;
int book[MAXN];
set<int>s;
int read() //輸入外掛
{
int res=0,ch,flag=0;
if((ch=getchar())=='-')
flag=1;
else if(ch>='0'&&ch<='9')
res=ch-'0';
while((ch=getchar())>='0'&&ch<='9')
res=res*10+ch-'0';
return flag?-res:res;
}
void Out(int a) //輸出外掛
{
if(a>9)
Out(a/10);
putchar(a%10+'0');
}
void init(){
for(int i=1;i<=n;i++){
book[i]=0;
}
s.clear();
root[0]=0;
cnt=1;
node[0].L=node[0].R=node[0].sum=0;
for(int i=0;i<MAXN*20;i++){
node[i].L=node[i].R=node[i].sum=0;
}
}
void update(int p,int &rt,int l,int r){
node[cnt++]=node[rt];
rt=cnt-1;
node[rt].sum++;
if(l==r)return;
int mid=(l+r)>>1;
if(p<=mid)update(p, node[rt].L, l, mid);
else update(p, node[rt].R, mid+1, r);
}
int query(int rt,int l,int r,int L,int R){
if(R<L)return -1;
if(!rt)return -1;
if(node[rt].sum==0)return -1;
if(l>=L&&r<=R){
if(l==r)return l;
else{
int mid=(l+r)>>1;
int res=-1;
if(L<=mid)res=query(node[rt].L, l, mid, L, R);
if(R>=mid+1&&res==-1)res=query(node[rt].R, mid+1, r, L, R);
return res;
}
}
int mid=(l+r)>>1;
int res=-1;
if(L<=mid)res=query(node[rt].L, l, mid, L, R);
if(R>=mid+1&&res==-1)res=query(node[rt].R, mid+1, r, L, R);
return res;
}
int main(){
int T;T=read();
while(T--){
n=read(),m=read();
init();
for(int i=1;i<=n;i++)a[i]=read();
root[n+1]=0;
for(int i=n;i>=1;i--){
root[i]=root[i+1];
update(a[i], root[i], 1, n);
}
int lastans=0;
for(int i=1;i<=m;i++){
int id;
gi(id);
if(id==1){
int t;t=read();
int pos=t^lastans;
if(book[pos])continue;
book[pos]=1;
s.insert(a[pos]);
}
else{
int t1,t2;
t1=read(),t2=read();
int R=(t1^lastans)+1;
int k=t2^lastans;
int ans=n+1;
set<int>::iterator it =s.lower_bound(k);
if(it!=s.end())ans=*it;
if(R<=n){
t1=query(root[R], 1, n, k, n);
if(t1!=-1){
ans=min(ans,t1);
}
}
Out(ans);
putchar('\n');
lastans=ans;
}
}
}
return 0;
}