SPOJ 24772 DWARFLOG

Description
n个数，第i个数是i，m种操作，操作分两种
1 x y：交换x和y两个数
2 A B：查询A A+1 … B-1 B这些数是不是在序列中占据连续的一段
Input
第一行两个整数n和m分别表示序列长度和操作数，之后m行每行一个操作(2<=n<=2e5,2<=m<=2e5，x!=y，A<=B)
Output
对于每次查询，如果A A+1 … B-1 B占据序列的连续的一段则输出YES，否则输出NO
Sample Input
4 5
2 2 3
2 2 4
1 1 3
2 3 4
1 4 3
Sample Output
YES
YES
NO
Solution
pos[i]表示i在序列中的位置，用线段树维护该序列的区间最值，对于1 x y的操作，进行两次单点更新操作把pos[x]位置的值变为y，把pos[y]位置的数变为x，然后交换pos[x]和pos[y]的值，对于2 A B的查询，若满足两个条件，第一个是pos[A]和pos[B]构成的区间长度要等于B-A+1，且该区间最大值为B最小值为A，则说明A~B在序列中是一段连续的区间，否则不是
Code

#include<cstdio>#include<iostream>#include<cstring>#include<algorithm>#include<cmath>#include<vector>#include<queue>#include<map>#include<set>#include<ctime>using namespace std;typedef long long ll;#define INF 0x3f3f3f3f#define maxn 222222#define ls (t<<1)#define rs ((t<<1)|1)int n,m,pos[maxn],Max[maxn<<2],Min[maxn<<2];void push_up(int t){    Min[t]=min(Min[ls],Min[rs]);    Max[t]=max(Max[ls],Max[rs]);}void build(int l,int r,int t){    Min[t]=n+1,Max[t]=0;    if(l==r)    {        Min[t]=Max[t]=l;        return ;    }    int mid=(l+r)>>1;    build(l,mid,ls),build(mid+1,r,rs);    push_up(t);}void update(int x,int l,int r,int t,int y){    if(l==r)    {        Min[t]=Max[t]=y;        return ;    }    int mid=(l+r)>>1;    if(x<=mid)update(x,l,mid,ls,y);    else update(x,mid+1,r,rs,y);    push_up(t);}int query_min(int L,int R,int l,int r,int t){    if(L<=l&&r<=R)return Min[t];    int mid=(l+r)>>1,ans=n+1;    if(L<=mid)ans=min(ans,query_min(L,R,l,mid,ls));    if(R>mid)ans=min(ans,query_min(L,R,mid+1,r,rs));    return ans;}int query_max(int L,int R,int l,int r,int t){    if(L<=l&&r<=R)return Max[t];    int mid=(l+r)>>1,ans=0;    if(L<=mid)ans=max(ans,query_max(L,R,l,mid,ls));    if(R>mid)ans=max(ans,query_max(L,R,mid+1,r,rs));    return ans;}int main(){    while(~scanf("%d%d",&n,&m))    {        build(1,n,1);        for(int i=1;i<=n;i++)pos[i]=i;        while(m--)        {            int op,x,y;            scanf("%d%d%d",&op,&x,&y);            if(op==1)            {                update(pos[x],1,n,1,y);                update(pos[y],1,n,1,x);                swap(pos[x],pos[y]);            }            else            {                int l=pos[x],r=pos[y];                if(l>r)swap(l,r);                 if(r-l==y-x)                {                    int tmax=query_max(l,r,1,n,1),tmin=query_min(l,r,1,n,1);                    //printf("tmax=%d tmin=%d\n",tmax,tmin);                    if(tmax==y&&tmin==x)printf("YES\n");                    else printf("NO\n");                }                else printf("NO\n");            }        }    }    return 0;}