传送门

有一个不会证明的贪心：从左到右考虑每一个位置，然后在每一个位置都贪心选取能让该位置构成的逆序对最少的数。判断逆序对的话只要记一下前缀小于等于某数的总数和后缀小于等于某数的总数就行了

//minamoto
#include<bits/stdc++.h>
#define rint register int
#define inf 0x3f3f3f3f
#define ll long long
using namespace std;
#define getc() (p1==p2&&(p2=(p1=buf)+fread(buf,1,1<<21,stdin),p1==p2)?EOF:*p1++)
char buf[1<<21],*p1=buf,*p2=buf;
int read(){
    int res,f=1;char ch;
    while((ch=getc())>'9'||ch<'0')(ch=='-')&&(f=-1);
    for(res=ch-'0';(ch=getc())>='0'&&ch<='9';res=res*10+ch-'0');
    return res*f;
}
const int N=1e4+5,M=105;
int sum[M],suf[M],a[N],n,m;ll ans=0;
int main(){
//    freopen("testdata.in","r",stdin);
    n=read(),m=read();
    for(rint i=1;i<=n;++i)if((a[i]=read())!=-1)++suf[a[i]];
    for(rint i=1;i<=m;++i)suf[i]+=suf[i-1];
    int mx,id;
    for(rint i=1;i<=n;++i){
        if(a[i]!=-1)for(rint j=a[i];j<=m;++j)--suf[j];
        else{
            mx=inf,id=0;
            for(rint j=1;j<=m;++j)
            if(sum[j+1]+suf[j-1]<mx)mx=sum[j+1]+suf[j-1],id=j;
            a[i]=id;
        }
        ans+=sum[a[i]+1];
        for(rint j=1;j<=a[i];++j)++sum[j];
    }printf("%lld\n",ans);return 0;
}