SPOJ 24772 DWARFLOG - Manipulate Dwarfs（线段树）

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;
}