傳送門

有一個不會證明的貪心：從左到右考慮每一個位置，然後在每一個位置都貪心選取能讓該位置構成的逆序對最少的數。判斷逆序對的話只要記一下字首小於等於某數的總數和字尾小於等於某數的總數就行了

//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;
}