从左往右扫 对于当前的某个
ai
我们只判断
ai+k
和
ai−k
是不是都出现过或都没出现过 要是只有一个出现 那么肯定另一个在后面 不合法
对于出现情况我们hash下 可以用线段树或树状数组维护
为什么我这么长
#include<cstdio>
#include<cstdlib>
#include<algorithm>
using namespace std;
typedef unsigned int uint;
inline char nc(){
static char buf[100000],*p1=buf,*p2=buf;
return p1==p2&&(p2=(p1=buf)+fread(buf,1,100000,stdin),p1==p2)?EOF:*p1++;
}
inline void read(int &x){
char c=nc(),b=1;
for (;!(c>='0' && c<='9');c=nc()) if (c=='-') b=-1;
for (x=0;c>='0' && c<='9';x=x*10+c-'0',c=nc()); x*=b;
}
const int N=300005;
int len[N<<2]; uint lh[N<<2],rh[N<<2],seed[N];
int n,a[N];
inline void Build(int x,int l,int r){
if (l==r) { len[x]=1; return; }
int mid=(l+r)>>1;
Build(x<<1,l,mid); Build(x<<1|1,mid+1,r);
len[x]=len[x<<1]+len[x<<1|1];
}
inline void upd(int x){
lh[x]=lh[x<<1]+lh[x<<1|1]*seed[len[x<<1]];
rh[x]=rh[x<<1|1]+rh[x<<1]*seed[len[x<<1|1]];
}
inline void Modify(int x,int l,int r,int t){
if (l==r){
lh[x]=rh[x]=1;
return;
}
int mid=(l+r)>>1;
if (t<=mid) Modify(x<<1,l,mid,t);
if (t>mid) Modify(x<<1|1,mid+1,r,t);
upd(x);
}
int last=0;
uint Hash;
inline void Queryl(int x,int l,int r,int ql,int qr){
if (ql<=l && r<=qr){
Hash+=lh[x]*seed[last];
last+=len[x];
return;
}
int mid=(l+r)>>1;
if (ql<=mid) Queryl(x<<1,l,mid,ql,qr);
if (qr>mid) Queryl(x<<1|1,mid+1,r,ql,qr);
}
inline void Queryr(int x,int l,int r,int ql,int qr){
if (ql<=l && r<=qr){
Hash+=rh[x]*seed[last];
last+=len[x];
return;
}
int mid=(l+r)>>1;
if (qr>mid) Queryr(x<<1|1,mid+1,r,ql,qr);
if (ql<=mid) Queryr(x<<1,l,mid,ql,qr);
}
int main(){
freopen("t.in","r",stdin);
freopen("t.out","w",stdout);
read(n);
for (int i=1;i<=n;i++) read(a[i]); Build(1,1,n);
seed[0]=1; for (int i=1;i<=n;i++) seed[i]=seed[i-1]*2333;
int flag=1;
for (int i=1;i<=n;i++){
int x=a[i];
Modify(1,1,n,x);
int l=min(x-1,n-x);
if (l){
uint h1,h2;
Hash=0; last=0;
Queryl(1,1,n,x+1,x+l);
h1=Hash;
Hash=0; last=0;
Queryr(1,1,n,x-l,x-1);
h2=Hash;
flag&=h1==h2;
}
}
flag?printf("NO\n"):printf("YES\n");
return 0;
}