This way

题意：

给你一个数组，一个区间视为有效的当且仅当这个区间排序之后，任意两个连续的数的差的绝对值不超过1，问你有多少个有效的区间

题解：

今天又是莫干山吗。。。
这个题意翻译一下就是：区间最大值-区间最小值+1=区间不同值的个数
那么我们用线段树维护最大值-最小值-不同值的个数。那么答案就是这个区间有多少值是-1即可，然而由于最大值-最小值+1是一定大约等于区间不同值的个数的（这个想一下就知道了），那么我们只需要维护最小值以及它的个数即可。
那么对于每一个新进来的数，我们将之前所有最大值<它的区间变为它，同样将所有最小值>它的区间变为它。这可以用两个单调栈维护。

#include<bits/stdc++.h>
using namespace std;
#define ll long long
const int N=1e5+5;
int mi[N*4],flag[N*4],num[N*4];
void push_down(int root)
{
    if(!flag[root])
        return ;
    mi[root<<1]+=flag[root];
    mi[root<<1|1]+=flag[root];
    flag[root<<1]+=flag[root];
    flag[root<<1|1]+=flag[root];
    flag[root]=0;
}
void build(int l,int r,int root)
{
    if(l==r)
    {
        num[root]=1;
        return ;
    }
    int mid=l+r>>1;
    build(l,mid,root<<1);
    build(mid+1,r,root<<1|1);
    num[root]=num[root<<1]+num[root<<1|1];
}
void update(int l,int r,int root,int ql,int qr,int val)
{
    if(l>=ql&&r<=qr)
    {
        flag[root]+=val;
        mi[root]+=val;
        return ;
    }
    push_down(root);
    int mid=l+r>>1;
    if(mid>=ql)
        update(l,mid,root<<1,ql,qr,val);
    if(mid<qr)
        update(mid+1,r,root<<1|1,ql,qr,val);
    mi[root]=min(mi[root<<1],mi[root<<1|1]);
    if(mi[root<<1]==mi[root<<1|1])
        num[root]=num[root<<1]+num[root<<1|1];
    else if(mi[root<<1]<mi[root<<1|1])
        num[root]=num[root<<1];
    else
        num[root]=num[root<<1|1];
}
int query(int l,int r,int root,int ql,int qr)
{
    if(l>=ql&&r<=qr)
    {
        if(mi[root]==-1)
            return num[root];
        return 0;
    }
    int mid=l+r>>1;
    push_down(root);
    int ans=0;
    if(mid>=ql)
        ans=query(l,mid,root<<1,ql,qr);
    if(mid<qr)
        ans+=query(mid+1,r,root<<1|1,ql,qr);
    return ans;
}

struct node
{
    int id,val;
}st_mx[N],st_mi[N];
unordered_map<int,int>vis;
int main()
{
    int t,cas=0;
    scanf("%d",&t);
    while(t--)
    {
        vis.clear();
        int p_mx=0,p_mi=0;
        int n;
        scanf("%d",&n);
        for(int i=1;i<=n*4;i++)
            mi[i]=flag[i]=num[i]=0;
        build(1,n,1);
        ll ans=0;
        for(int i=1;i<=n;i++)
        {
            int v;
            scanf("%d",&v);
            while(p_mx&&v>st_mx[p_mx].val)
            {
                update(1,n,1,st_mx[p_mx-1].id+1,st_mx[p_mx].id,v-st_mx[p_mx].val);
                p_mx--;
            }
            st_mx[++p_mx]={i,v};
            while(p_mi&&v<st_mi[p_mi].val)
            {
                update(1,n,1,st_mi[p_mi-1].id+1,st_mi[p_mi].id,st_mi[p_mi].val-v);
                p_mi--;
            }
            st_mi[++p_mi]={i,v};
            update(1,n,1,vis[v]+1,i,-1);
            vis[v]=i;
            //printf("%d\n",vis[2]);
            ans+=(ll)query(1,n,1,1,i);
        }
        printf("Case #%d: %lld\n",++cas,ans);
    }
    return 0;
}