前缀后缀——cf1167E

想了很久没弄明白，对于边界的情况还是有问题

等题解出了再看看

然后枚举每个后缀r，找到比它小，并且在其左边的前缀l，那么删<=l，r-1的都可以

最后的二分很迷：要多考虑特殊情况：前缀跑到后缀后面去了，那么在后缀后面加一个x+1，保证前缀必定在后缀前面

#include <iostream>
#include <algorithm>
#include <cstring>
#include <vector>
using namespace std;
typedef long long LL;
const int N =  + ;
int n,x,a[N];
int L[N],R[N];
int pre[N],suf[N];

int main() {
    for(int i=;i<N;i++){
        L[i]=N,R[i]=;
    }
    scanf("%d%d",&n,&x);
    for(int i=;i<=n;i++){
        scanf("%d",&a[i]);
        L[a[i]]=min(L[a[i]],i);
        R[a[i]]=max(R[a[i]],i);
    }

    int prelen=,suflen=x+;
    for(int i=;i<=x;i++){
        if(R[i]==)
            pre[++prelen]=pre[prelen-];
        else {
            if(L[i]>pre[prelen])
                pre[++prelen]=R[i];
            else break;
        }
    }

    suf[suflen]=n+;
    for(int i=x;i>=;i--){
        if(R[i]==){
            suf[suflen-]=suf[suflen]; --suflen;
        } else {
            if (R[i]<suf[suflen]) {
                suf[suflen-]=L[i]; --suflen;
            } else {
                break;
            }
        }
    }

    LL ans=;
    for(int i=x+;i>=max(suflen,);i--) {
        // use [i,x]
        int lef=,rig=min(i-,prelen)+;
        while(rig-lef>){
            int mid=(lef+rig)>>;
            if(pre[mid]<suf[i]){
                lef=mid;
            } else {
                rig=mid;
            }
        }
        ans=ans+(lef+);
    }
    cout<<ans<<endl;
}