【题解】CF1142B Lynyrd Skynyrd(倍增)

调了一个小时原来是读入读反了....

求子段是否存在一个排列的子序列的套路是把给定排列看做置换，然后让给定的序列乘上这个置换，问题就转化为最长上升序列。这是因为一个数的前驱后继是唯一的。

这一题稍微改变了一下，我们要求的是类似于\(4\quad 5\quad1\quad 2 \quad 3\)的子序列。就相当于给1添了个前驱n，给\(n\)添了个后继\(1\)，本质还是一样的，仍然是一个数的前驱后继是唯一的。

原本1,m没有额外关系时，做法是定位所有\(1\)考虑一步步倍增后继到\(m\)看位置在哪。现在1,m有关系了，就每个点都可以成为起点。现在就是维护一个数据求区间\(\min\)了，随你怎么写，可以询问离线\(O(n)\)但是我直接st表了

//@winlere
#include<iostream>
#include<cstdio>
#include<cstring>
#include<algorithm>

using namespace std;  typedef long long ll;
inline int qr(){
    register int ret=0,f=0;
    register char c=getchar();
    while(!isdigit(c))f|=c==45,c=getchar();
    while(isdigit(c)) ret=ret*10+c-48,c=getchar();
    return f?-ret:ret;
}
const int maxn=2e5+5;
int p[maxn],data[maxn];
int st[19][maxn],Pair[maxn],Min[19][maxn];
int lg[maxn];
int last[maxn];
int n,m,T;
const int inf=0x3f3f3f3f;
int main(){
    /*
#ifndef ONLINE_JUDGE
    freopen("in.in","r",stdin);
    freopen("out.out","w",stdout);
#endif
    */
    m=qr(); n=qr();  T=qr();
    for(int t=2;t<=n;++t) lg[t]=lg[t>>1]+1;
    for(int t=1;t<=m;++t) p[qr()]=t;
    for(int t=1;t<=n;++t) data[t]=p[qr()];
    //for(int t=1;t<=n;++t) cerr<<data[t]<<' ';
    //cerr<<('\n');
    for(int t=n;t;--t){
        if(last[data[t]+1]) st[0][t]=last[data[t]+1];
        if(data[t]==m&&last[1]) st[0][t]=last[1];
        last[data[t]]=t;
    }
    //for(int t=1;t<=n;++t) cerr<<st[0][t]<<' ';
    //cerr<<endl;
    for(int t=1;t<=lg[m];++t)
        for(int i=1;i<=n;++i)
            st[t][i]=st[t-1][st[t-1][i]];
    memset(Min,0x3f,sizeof Min);
    for(int t=1;t<=n;++t){
        int k=t;
        for(int i=0;i<=lg[m-1];++i)
            if(((m-1)>>i&1))
                k=st[i][k];
        if(k) Min[0][t]=k;
    }
    for(int t=1;t<=lg[n];++t)
        for(int i=1;i<=n;++i)
            Min[t][i]=min(Min[t-1][i]?Min[t-1][i]:inf,Min[t-1][i+(1<<t>>1)]?Min[t-1][i+(1<<t>>1)]:inf);
    //for(int t=1;t<=n;++t) cerr<<Min[1][t]<<' ';
    //cerr<<endl;
    while(T--){
        int l=qr(),r=qr();
        //cerr<<"min="<<Min[lg[r-l+1]][l]<<' '<<Min[lg[r-l+1]][r-(1<<lg[r-l+1])+1] <<endl;
        if(min(Min[lg[r-l+1]][l],Min[lg[r-l+1]][r-(1<<lg[r-l+1])+1])<=r) putchar(49);
        else putchar(48);
    }
    putchar(10);
    return 0;
}