2019牛客暑期多校训练营（第一场）A-Equivalent Prefixes

题目描述
Two arrays u and v each with m distinct elements are called equivalent if and only if $RMQ(u,l,r)=RMQ(v,l,r)$
for all $1\le l\le r\le m$
where $RMQ(w,l,r)$ denotes the index of the minimum element among $w$_l,$w$_l+1,…,$w$_r
Since the array contains distinct elements, the definition of minimum is unambiguous.
Bobo has two arrays a and b each with $n$ distinct elements. Find the maximum number $p\le n$ where $a_1,a_2,\dots ,a_p$ and $b_1,b_2,\dots ,b_p$ are equivalent.
输入描述:
The input consists of several test cases and is terminated by end-of-file.

The first line of each test case contains an integer $n$.
The second line contains $n$ integers $a_1$,$a_2$,…,$a_n$

The third line contains $n$ integers $b_1$,$b_2$,…,$b_n$.

• $1\le n\le 10$⁵
• $1\le$$a_i$,$b_i\le n$
• $a_1,a_2,\dots ,a_n$ are distinct.
• $b_1,b_2,\dots ,b_n$ are distinct.
• The sum of $n$ does not exceed $5\times 10$⁵

输出描述:
For each test case, print an integer which denotes the result…
样例输入

2
1 2
2 1
3
2 1 3
3 1 2
5
3 1 5 2 4
5 2 4 3 1

样例输出

1
3
4

题意
题目包含多组输入数据，每组数据相互独立。
题目定义了$RMQ(v,l,r)$的值是对于数组v，在$[l,r]$内值最小的元素的下标。
而对于两个长度均为$m$的数组u、v，若对于任意$1\le l\le r\le m$均有$RMQ(u,l,r)=RMQ(v,l,r)$则认为这两个数组是相等的。现在给出$n$及两个长度为$n$的数组，求最大的$p$对于任意$1\le l\le r\le p$满足$RMQ(u,l,r)=RMQ(v,l,r)$，并输出这个$p$值。

思路
对于$p=1$的情况显然满足题意，故$p$的最小值为1。
考虑$p>1$的情况，假设$p-1$是满足题意的，那么我们只需要考虑对于任意$1\le l\le p$是否均满足$RMQ(u,l,p)=RMQ(v,l,p)$即可
设$minv[1]$为$v[1]$ ~ $v[p-1]$的最小值的下标，$minu[1]$为$u[1]$ ~ $u[p-1]$的最小值的下标，
$minv[i]$为$v[minv[i-1]+1]v[p-1]$的最小值的下标，$minu[i]$为$u[minu[i-1]+1]u[p-1]$的最小值的下标($2\le i\le h$)

• 若$v[p]$<$v[minv[1]]$且$u[p]$<$u[minu[1]]$
  那么显然对于任意$1\le l\le p$均满足$RMQ(u,l,p)=RMQ(v,l,p)=p$，此时可将$minu[1]$与$minv[1]$均刷新为$p$，且将$h$置为1。
• 若$v[p]$<$v[minv[1]]$且$u[p]$>$u[minu[1]]$
  或
  $v[p]$>$v[minv[1]]$且$u[p]$<$u[minu[1]]$
  则必有$RMQ(u,1,r)！=RMQ(v,1,r)$（一个值为$p$另一个不为$p$）则$p$不符合题意，答案为$p-1$
• 若$v[p]$>$v[minv[1]]$且$u[p]$>$u[minu[1]]$
  那么显然对于任意$1\le l\le minu[1]$满足$RMQ(u,l,p)=RMQ(v,l,p)=minu[1]$，我们只需要考虑$minu[1]+1\le l\le p$的情况了，也就是分别拿$v[minv[2]]$与$v[p]$比较，拿$u[minu[2]]$与$u[p]$比较
• 以此类推，若比到最后均符合，则$h++$，$minv[h]=minu[h]=p$，
  若对于$2\le j\le h$出现$v[p]$<$v[minv[j]]$且$u[p]$<$u[minu[j]]$，则将$h$置为$j$，$minv[h]=minu[h]=p$
  下面放上代码

#include<stdio.h>
#include<map>
#include<queue>
#include<iostream>
#include<algorithm>
#include<vector>
#define MOD 10000000007
using namespace std;
int a[100005],b[100005];
int a1[100005],b1[100005];
int h,n;
int main()
{
    while(scanf("%d",&n)!=EOF)
    {
        h=1;
        for(int i=1;i<=n;i++)scanf("%d",&a[i]);
        for(int i=1;i<=n;i++)scanf("%d",&b[i]);
        a1[h]=b1[h]=1;
        int p;
        for(p=2;p<=n;p++)
        {
        	int j;
        	for(j=1;j<=h;j++)
        	if(a[a1[j]]>a[p]&&b[b1[j]]>b[p])break;
        	else if((a[a1[j]]<a[p]&&b[b1[j]]>b[p])||(a[a1[j]]>a[p]&&b[b1[j]]<b[p])) break;
        	if(j<=h) if((a[a1[j]]<a[p]&&b[b1[j]]>b[p])||(a[a1[j]]>a[p]&&b[b1[j]]<b[p])) break;
        	h=j;a1[h]=b1[h]=p;
        }
        p--;
        printf("%d\n",p);
    }
    return 0;
}