这两道题是一样的。
可以发现，-1变成的数是单调不降。
记录下原有的逆序对个数。
预处理出每个点取每个值所产生的逆序对个数，然后dp转移。
#include<cstring>
#include<iostream>
#include<cstdio>
#include<map>
#include<cmath>
#include<algorithm>
#define rep(i,l,r) for (int i=l;i<=r;i++)
#define down(i,l,r) for (int i=l;i>=r;i--)
#define clr(x,y) memset(x,y,sizeof(x))
#define low(x) (x&(-x))
#define maxn 10050
#define inf 2000000000
#define mm 1000000007
using namespace std;
int f[maxn][],a[maxn],t[maxn],pos[maxn],c[maxn][];
int now,n,k,cnt,ans;
int read(){
int x=,f=; char ch=getchar();
while (!isdigit(ch)) {if (ch=='-') f=-; ch=getchar();}
while (isdigit(ch)) {x=x*+ch-''; ch=getchar();}
return x*f;
}
void add(int x,int y){
while (x<=k){
t[x]=t[x]+y;
x+=low(x);
}
}
int ask(int x){
int ans=;
while (x){
ans+=t[x];
x-=low(x);
}
return ans;
}
int main(){
n=read(); k=read();
rep(i,,n){
a[i]=read();
if (a[i]!=-){
ans+=ask(k)-ask(a[i]); add(a[i],);
}
else {
pos[++cnt]=i;
rep(j,,k) c[i][j]+=ask(k)-ask(j);
}
}
clr(t,);
down(i,n,){
if (a[i]!=-) add(a[i],);
else {
rep(j,,k) c[i][j]+=ask(j-);
}
}
rep(i,,cnt) rep(j,,k) f[i][j]=inf;
rep(i,,cnt){
int now=pos[i];
rep(j,,k) f[i][j]=min(f[i][j-],f[i-][j]+c[now][j]);
}
printf("%d\n",f[cnt][k]+ans);
return ;
}