[***]HZOJ 优美序列

又是一道神仙题。考试的时候居然打了一个回滚莫队，不知道我咋想的……

先说一个某OJT80，洛谷T5分的思路（差距有点大）：

可以把位置和编号映射一下，区间内最大值和最小值对应的位置,每次更新，直到找到符合条件的情况，复杂度玄学。最值的维护可以用ST表或者线段树，前者复杂度低些。

然后说正解吧：

先放出来看不懂的作者的正解：

分治法，离线处理。假设现在处理的询问都包含在[L,R] 中，设mid=(L+R)/2。然后将包含在[L,mid],[mid+1,R] 的区间分治处理。剩下的就是包含[mid,mid+1] [mid,mid+1]的询问，然后找出包含[mid,mid+1] [mid,mid+1]的所有优美区间，用这些优美区间更新询问的答案。

时间复杂度O(n(logn)^2)。

上面的我不会。

然后正解1：scc+线段树优化建图

但是我不会……

正解2：

扫描线+转化思想+线段树，虽然我不会扫描线（我还以为这玩意只能用到二维呢）……

1.好的区间的交也是好的区间

2.好的区间的并也是好的区间

好的区间的判断条件：maxn-minn=r-l,但是这样并不够，如果只是这样判断的话，就回到了80分的思路，不断拓展区间判断。

另一个判断条件是l+num=r，num为区间中形如（a，a+1）这样的点对数（将区间排序后就很显然了）。

所以我们离线将询问排序扔到set里，固定r，然后用线段树维护左边的信息及对应的l，令叶子节点的初始值为l，查询只需要找线段树中满足条件最靠右的，而每次r右移，给1～b[a[r]+-1]的区间的点对数+1，当然要判断一下，必须在它左边。

其实我开始有一个问题，如果固定r，能保证区间的右端点一定是r吗？显然是不能的，但是在处理r时，如果没有满足条件的l，这个询问就会被剩到set中，在r+1后继续更新，就保证了正确性。

 #include<algorithm>
 #include<iostream>
 #include<cstdio>
 #include<set>
 #define LL long long
 #define MAXN 1000010
 using namespace std;
 struct ques
 {
     int l,r,id;
     friend bool operator < (ques a,ques b)
     {return a.l==b.l?(a.r==b.r?a.id<b.id:a.r>b.r):a.l>b.l;}
 }q[MAXN];
 set<ques> s;
 set<ques>::iterator it;
 pair<int,int>ans[MAXN];
 int n,m,a[MAXN],b[MAXN];
 struct po
 {
     int mx,id;
     friend bool operator < (po a,po b)
     {return a.mx==b.mx?a.id<b.id:a.mx<b.mx;}
 };
 struct tree
 {
     po v;int ad,l,r;
     #define l(x) tr[x].l
     #define r(x) tr[x].r
     #define ad(x) tr[x].ad
     #define v(x) tr[x].v
     #define ls(x) (x<<1)
     #define rs(x) (ls(x)+1)
 }tr[MAXN*];
 void pushup(int x)
 {
     v(x)=max(v(ls(x)),v(rs(x)));
 }
 void down(int x)
 {
     if(!ad(x))return;
     ad(ls(x))+=ad(x);
     ad(rs(x))+=ad(x);
     v(ls(x)).mx+=ad(x);
     v(rs(x)).mx+=ad(x);
     ad(x)=;
 }
 void build(int x,int l,int r)
 {
     l(x)=l,r(x)=r;
     if(l==r)
     {v(x).id=v(x).mx=l;ad(x)=;return;}
     int mid=(l+r)>>;
     build(ls(x),l,mid);
     build(rs(x),mid+,r);
     pushup(x);
 }
 void add(int x,int l,int r,int y)
 {
     if(l(x)>=l&&r(x)<=r)
     {v(x).mx+=y;ad(x)+=y;return;}
     down(x);
     int mid=(l(x)+r(x))>>;
     if(l<=mid)add(ls(x),l,r,y);
     if(r>mid) add(rs(x),l,r,y);
     pushup(x);
 }
 po ask(int x,int l,int r)
 {
     down(x);
     if(l(x)>=l&&r(x)<=r)return v(x);
     int mid=(l(x)+r(x))>>;po ans={-,-};
     if(l<=mid)ans=max(ans,ask(ls(x),l,r));
     if(r>mid) ans=max(ans,ask(rs(x),l,r));
     return ans;
 }
 bool cmp(ques a,ques b)
 {
     return a.r<b.r;
 }
 inline int read();
 signed main()
 {
 //    freopen("in.txt","r",stdin);

     n=read();
     for(int i=;i<=n;i++)a[i]=read(),b[a[i]]=i;
     m=read();
     for(int i=;i<=m;i++)q[i].l=read(),q[i].r=read(),q[i].id=i;
     sort(q+,q+m+,cmp);
     build(,,n);
     int ptr=;
     for(int i=;i<=n;i++)
     {
         while(ptr<=m&&q[ptr].r==i)
             s.insert(q[ptr]),ptr++;
         if(a[i]>&&b[a[i]-]<i)add(,,b[a[i]-],);
         if(a[i]<n&&b[a[i]+]<i)add(,,b[a[i]+],);
         while(s.size())
         {
             ques now=*s.begin();
             po tem=ask(,,now.l);
             if(tem.mx!=i)break;
             ans[now.id].first=tem.id;
             ans[now.id].second=i;
             s.erase(now);
         }
     }
     for(int i=;i<=m;i++)
     printf("%d %d\n",ans[i].first,ans[i].second);
 }
 inline int read()
 {
     int s=;char a=getchar();
     while(a<''||a>'')a=getchar();
     while(a>=''&&a<=''){s=s*+a-'',a=getchar();}
     return s;
 }

 声讨某ex_face一干人等卡分快调块长卡掉数据