[CF1496D]Let‘s Go Hiking

题目

传送门 to CF

题目描述
鸡大保和小飞在玩一个游戏。这个游戏是这样的：首先给定一个排列 $p$ 。大保会先选择一个数字 $x$，然后小飞会选择一个 $y(y\ne x)$ 。接下来二者轮流操作，操作者要将自己的数字增大一或减小一，并且需要满足：大保只能让 $p_x$ 变小，小飞只能让 $p_y$ 变大，因为它真的是飞鸡诶，且操作完之后 $x\ne y$ 。不能操作者输。

现在 $\mathrm{k}\mathrm{i}\mathrm{n}\mathrm{g}\mathrm{o}\mathrm{f}\mathrm{c}\mathrm{h}\mathrm{i}\mathrm{c}\mathrm{k}\mathrm{e}\mathrm{n}$ 要问你，有多少个 $x$ 能够让大保必胜？假设二鸡都是最优操作。

数据范围与提示
$n\le 10^5$，数据组数 $T\le 10$ 。

思路

不难发现，如果把 $p$ 画成折线图，那么二者都是在 “山坡” 上定向移动。

所以情况数很少。如果 $x,y$ 最初不在一个 “山坡” 上，那么只需要 $y$ 的山坡不短于 $x$ 的山坡，就会让 $x$ 走到谷底、无路可走。如果 $x,y$ 在一个 “山坡” 上，那么需要 $y$ 到 $x$ 的距离是奇数，二者相遇时恰好是 $x$ 操作。

又考虑到奇数距离可以是 $1$，所以 $x$ 只有一个 “山坡” 的时候，$y$ 就贴着它选。唯一的解决之道是，$x$ 在一个 “山顶”，两边都可以走。那么 $y$ 会选择距离 $x$ 为奇数的一个位置。显然 $y$ 要选择较长的一边，否则 $x$ 走另一边就可以把它耗死。

这么分析之后，发现 $x$ 其实不容易赢。赢面就是，两边 “山坡” 距离相等，并且都是偶数。当然啦，还要保证 $y$ 不能直接选一个长度较长的。

找出所有山峰，就求出了山坡。复杂度 $\mathcal{O}(Tn)$ 。

代码

#include <cstdio>
#include <iostream>
#include <cstring>
#include <algorithm>
#include <cmath>
#include <set>
using namespace std;
# define rep(i,a,b) for(int i=(a); i<=(b); ++i)
# define drep(i,a,b) for(int i=(a); i>=(b); --i)
typedef long long int_;
inline int readint(){
	int a = 0; char c = getchar(), f = 1;
	for(; c<'0'||c>'9'; c=getchar())
		if(c == '-') f = -f;
	for(; '0'<=c&&c<='9'; c=getchar())
		a = (a<<3)+(a<<1)+(c^48);
	return a*f;
}
inline void writeint(int_ x){
	if(x > 9) writeint(x/10);
	putchar((x-x/10*10)^48);
}
inline int ABS(const int &x){
	return x < 0 ? -x : x;
}

const int MaxN = 100005;
const int infty = (1<<30)-1;

int a[MaxN], b[MaxN];
int pre[MaxN], suf[MaxN];

int main(){
	int n = readint();
	rep(i,1,n) a[i] = readint();
	bool dir = (a[2] > a[1]);
	int tot = b[1] = 1;
	for(int i=2; i<=n; ++i)
		if((a[i] > a[i-1]) != dir){
			b[++ tot] = i-1;
			dir = not dir;
		}
	b[++ tot] = n; suf[tot] = 0;
	drep(i,tot-1,1) // suffix max
		suf[i] = max(suf[i+1],b[i+1]-b[i]);
	b[0] = 1; // avoid b[1] - b[0]
	int ans = 0; // real answer
	rep(i,1,tot){
		pre[i] = max(pre[i-1],b[i]-b[i-1]);
		if(i != 1 && i != tot) // a peak
		if(a[b[i]-1] < a[b[i]] && a[b[i]] > a[b[i]+1]){
			int x = max(pre[i-1],suf[i+1]);
			if(x >= max(b[i]-b[i-1],b[i+1]-b[i]))
				continue; // longer slope kills me
			x = max(b[i]-b[i-1],b[i+1]-b[i]);
			if((x&1) || min(b[i]-b[i-1],b[i+1]-b[i]) < x)
				continue; // longer slope blocks me
			++ ans; // manage to survive
		}
	}
	printf("%d\n",ans);
	return 0;
}