2019牛客暑假多校训练营第一场 A 单调栈

两个数组中，第i个左边第一个比a[i]小的值的下标相等的时候，就说明这两个数组等价。

当判断向右移动一位时，我们可以发现，我们需要重新是否等价的区间新增了[1,i],[2,i]···[i-1,i];当右边第一个比a[i]小的下标为j时，区间左值小于等于j的显然最小值都是相等的（因为最小值不是a[j]就是在a[j]的左边，这一部分在i-1时已经判断相等），当区间左值大于j时，我们可以发现，最小值都为a[i]，所以最小值下标一定相等。

因此单调栈维护a[i]左边第一个比a[i]小的值得下标即可。

#include <bits/stdc++.h>
using namespace std;
struct node
{
    int val,i;
};
int a[200000],b[200000],z1[200000],z2[200000];
int main()
{
    int n;
    while(~scanf("%d",&n))
    {
     for(int i=1;i<=n;i++)
    {
        scanf("%d",&a[i]);
    }
    for(int i=1;i<=n;i++)
    {
        scanf("%d",&b[i]);
    }
    stack<node>s;
    s.push(node{a[n],n});
    for(int i=n-1;i>=1;i--)//找a[i]右边第一个比a[i]大的数
    {
        while(!s.empty()&&a[i]<s.top().val)
        {
            z1[s.top().i]=i;
            s.pop();
        }
        s.push(node{a[i],i});
    }
    while(!s.empty())
    {
        z1[s.top().i]=-1;
        s.pop();
    }
    s.push(node{b[n],n});
    for(int i=n-1;i>=1;i--)//找a[i]右边第一个比a[i]大的数
    {
        while(!s.empty()&&b[i]<s.top().val)
        {
            z2[s.top().i]=i;
            s.pop();
        }
        s.push(node{b[i],i});
    }
    while(!s.empty())
    {
        z2[s.top().i]=-1;
        s.pop();
    }
    int ans=0;
    for(int i=1;i<=n;i++)
    {
        if(z1[i]==z2[i])
            ans++;
        else
            break;
    }
        printf("%d\n",ans);
    }
   return 0;
}

关于笛卡尔树：
 

概念

笛卡尔树的树根是这一子树中键值最小（或最大）的元素；且对于某个序列的笛卡尔树，其任一子树的中序遍历恰好是对应了原序列中的一段连续区间。

性质

笛卡尔树同时满足二叉树搜索和堆的性质：

中序遍历即为原数组序列

父节点的键值均小于（或大于）其左右子节点的键值

建立（待补）：