题目链接

---

题目大意：

就是给你一个全排列，问你是否存在一个$c=\frac{a+b}{2}$
满足$c$的位置在$a,b$之间

---

解题思路：

1. 首先我们先按顺序遍历，我们假设遍历到的数是中间那个数就是$c$,那么它要存在的答案的话就是存在一个$k$,使得$c-k在之前出现过，c+k还没出现，或者反过来$
2. 我们设$b_i$表示$i$这个数是否出现过？
3. 那么如果$c$这个数没有答案呢？就是对任意的$k$,$b_{c-k}=b_{c+k}$就是要么都同时出现在前面，要么同时出现在后面。
4. 那么就是对于这个$b$数组，以$c$为中心长度为$k$的回文串！！
5. 那么我们可以对这个$b$数组进行$hash$去判断是否回文，判断两边的$hash$是否一样
6. 要开两个线段树，因为回文两半是对称的，右半边在区间$hash$的时候要反过来维护。有点类似左右子树交换。
   $$hash[l,r]=hash[r]-hash[l-1]\ast p^{r-l+1}$$

---

AC code

#include <bits/stdc++.h>
#define mid ((l + r) >> 1)
#define Lson rt << 1, l , mid
#define Rson rt << 1|1, mid + 1, r
#define ms(a,al) memset(a,al,sizeof(a))
#define log2(a) log(a)/log(2)
#define lowbit(x) ((-x) & x)
#define IOS std::ios::sync_with_stdio(0); cin.tie(0); cout.tie(0)
#define INF 0x3f3f3f3f
#define LLF 0x3f3f3f3f3f3f3f3f
#define f first
#define s second
#define endl '\n'
using namespace std;
const int N = 2e6 + 10, mod = 1e9 + 9;
const int maxn = 500010;
const long double eps = 1e-5;
const int EPS = 500 * 500;
typedef long long ll;
typedef unsigned long long ull;
typedef pair<int,int> PII;
typedef pair<ll,ll> PLL;
typedef pair<double,double> PDD;
template<typename T> void read(T &x) {x = 0;char ch = getchar();ll f = 1;while(!isdigit(ch)){if(ch == '-')f*=-1;ch=getchar();}while(isdigit(ch)){x = x*10+ch-48;ch=getchar();}x*=f;
}
template<typename T, typename... Args> void read(T &first, Args& ... args) {read(first);read(args...);
}
int n;
int arr[maxn];
struct node {ull val;int len;
}tleft[maxn << 2],tright[maxn << 2];
ull pw[maxn];
inline node pushup(node l, node r) {node res;res.val = l.val * pw[r.len] + r.val;res.len = l.len + r.len;return res;
}inline void merge(int rt) {tleft[rt] = pushup(tleft[rt<<1],tleft[rt<<1|1]);tright[rt] = pushup(tright[rt<<1|1],tright[rt<<1]);
}void build(int rt, int l, int r) {if(l == r) {tleft[rt].val = 0;tleft[rt].len = 1;tright[rt].val = 0;tright[rt].len = 1;return;}build(Lson);build(Rson);merge(rt);
}void update(int rt, int l, int r, int pos) {if(l == r) {tleft[rt].val = 1;tleft[rt].len = 1;tright[rt].val = 1;tright[rt].len = 1;return;}if(pos <= mid) update(Lson,pos);else update(Rson,pos);merge(rt);
}node query1(int rt, int l, int r, int posl ,int posr) {if(posl <= l && posr >= r) return tleft[rt];if(posr <= mid) return query1(Lson,posl,posr);else if(posl > mid) return query1(Rson,posl,posr);else return pushup(query1(Lson,posl,posr),query1(Rson,posl,posr));
}node query2(int rt, int l, int r, int posl ,int posr) {if(posl <= l && posr >= r) return tright[rt];if(posr <= mid) return query2(Lson,posl,posr);else if(posl > mid) return query2(Rson,posl,posr);else return pushup(query2(Rson,posl,posr),query2(Lson,posl,posr));
}int main() {read(n);build(1,1,n);pw[0] = 1;for(int i = 1; i <= n; ++ i) pw[i] = pw[i-1]*233ull; for(int i = 1; i <= n; ++ i) {int x;read(x);update(1,1,n,x);int k = min(x-1,n-x);if(k < 1) continue;if(query1(1,1,n,x-k,x-1).val!=query2(1,1,n,x+1,x+k).val) {puts("YES");return 0;}}puts("NO");return 0;
}