牛客：Equivalent Prefixes ( 单调栈 + 思维 )

题目链接

大致题意：
给你两个大小为 $n$ 的数组 $u、v$，求最大的前缀 $q(1<=q<=n)$ 满足其任意子区间的 $RMQ(u,l,r)==RMQ(v,l,r),(1<=l<=r<=q)$
$RMQ(w,l,r)指w_i,w_{i+1}...w_r$ 中最小值的下标。

解题报告：
既然涉及到最小值还有其下标不妨用单调栈来维护前 $i$ 个数中最小值得下标
其实就是找到每个点的左边最近的比他小的值的点相同的话就可以取，不相同的就不可以取。

对于 $i$ 点来说，如果 $i$ 的点的左边最近的比他小的值的点 $u$ 数组和 $b$ 数组相同，假设那个点为 $f$ ，那么再 $[1,f]$这个区间内的任意取法都不会改变，因为新加入的点 $u[i]、v[i]$ 不会影响 $f$ 之前的数据,那么对于 $[f,i]$ 来看首先 $[f,i]$ 是相同的等于 $f$ .因为我们找的 $f$ 点是左边最近的比他小的值的点。那么在区间 $[f+1,i]$ 点来说 $a[i],b[i]$ 就是它的最小值，也就是说在 $[f+1,i]$ 任意取区间，它的值都等于 $i$ ,因为 $a[i]$ 和 $b[i]$ 在这段区间里面就是最小的。而对于 $[f,i-1]$ 的这段任意取值里面不会改变原来的状态。

代码展示：

#include<bits/stdc++.h>
#define LL long long
#define pii pair<double,int>
#define all(x) x.begin(),x.end()
#define wp(x) write(x),putchar('\n')
#define wpl(x) write(x),putchar(' ')
#define mem(a, b) memset(a,b,sizeof(a))
using namespace std;
const int maxn = 1e5 + 5;
const int MOD = 998244353;

inline int read() {
	int s = 0, f = 1;
	char ch = getchar();
	while (ch < '0' || ch > '9') {if (ch == '-') f = -1; ch = getchar();}
	while (ch >= '0' && ch <= '9') {s = (s << 1) + (s << 3) + ch - '0'; ch = getchar();}
	return s * f;
}
inline void write(LL x) {
	if (x < 0) x = -x, putchar('-');
	if (x > 9) write(x / 10);
	putchar(x % 10 + '0');
}
int a[maxn],b[maxn],p[maxn],q[maxn];
int L[maxn],R[maxn];
int main() {
	int n;
	while(scanf("%d",&n)!=EOF){
		for(int i=1;i<=n;i++) a[i]=read();
		for(int i=1;i<=n;i++) b[i]=read();
		int head1=0,rear1=-1,head2=0,rear2=-1;
		int ans=0;
		for(int i=1;i<=n;i++){
			while(head1<=rear1&&a[q[rear1]]>a[i]) rear1--;
			if(head1<=rear1) L[i]=q[rear1];
			else L[i]=i;
			q[++rear1]=i;
			while(head2<=rear2&&b[p[rear2]]>b[i]) rear2--;
			if(head2<=rear2) R[i]=p[rear2];
			else R[i]=i;
			p[++rear2]=i;
			if(L[i]==R[i]) ans++;
			else break;
		}
		wp(ans);
	}
	return 0;
}