题意

给一个数列\(a​\),定义\(f(l,r)​\)为删除\(a​\)中所有满足\(l<=a_i<=r​\)的数后的数列,问有多少对\((l,r)​\),使\(f(l,r)​\)是一个非递减的数列

分析

若\(f(l,r)​\)合法，则\(f(l,r+1),f(l,r+2),\dots,f(l,x)​\)也都是合法的

把每个数在\(a​\)中第一次出现的位置\(S​\)和最后一次出现的位置\(T​\),若\(f(l+1,r-1)​\)合法则满足

\(max(T_{a_1},T_{a_2},\dots,T_{a_l})<min(S_{a_r},S_{a_{r+1}},\dots,S_{a_x})\)

\(max(T_{a_1},T_{a_2},\dots,T_{a_{i-1}})<S_{a_i} ~for~all~2<=i<=l\)

\(T_{a_i}<min(S_{a_{i+1}},S_{a_{i+2}},\dots,S_{a_x}) ~for~all~r<=i<=x​\)

考虑双指针来扫\((l,r)​\),先移动\(r​\)指针使\(f(1,r-1)​\)为合法，对答案的贡献为\(x-r+2​\)

每次往后推\(l​\)和\(r​\),使\(f(l+1,r-1)​\)合法

Code

#include<bits/stdc++.h>
#define fi first
#define se second
#define bug cout<<"--------------"<<endl
using namespace std;
typedef long long LL;
const double PI=acos(-1.0);
const double eps=1e-6;
const int inf=1e9;
const LL llf=1e18;
const int mod=1e9+7;
const int maxn=1e6+10;
int n,x;
int ll[maxn],rr[maxn];
int l[maxn],r[maxn];
int main(){
	ios::sync_with_stdio(false);
	//freopen("in","r",stdin);
	cin>>n>>x;
	memset(l,0x3f3f3f,sizeof(l));
	memset(ll,0x3f3f3f,sizeof(ll));
	for(int i=1,d;i<=n;i++){
		cin>>d;
		l[d]=min(i,l[d]);
		r[d]=i;
	}
	for(int i=1;i<=x;i++){
		rr[i]=max(rr[i-1],r[i]);
	}
	for(int i=x;i>=1;i--){
		ll[i]=min(l[i],ll[i+1]);
	}
	int R=x;
	LL ans=0;
	while(ll[R]>=r[R-1]&&R>=1) R--;
	for(int i=0;i<x;i++){
		if(i!=0&&l[i]<rr[i-1]) break;
		while(R<=i+1||rr[i]>ll[R]){
			R++;
		}
		ans+=x-R+2;
	}
	cout<<ans<<endl;
	return 0;
}