【題解】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;
}