注意到,所有的-1应该是一个不降的序列,否则不会更优
那就先求出来不是-1的的逆序对个数,然后设f[i][j]表示第i个-1放成j的前i个-1带来的最小逆序对数量
这个可以树状数组来求
#include<bits/stdc++.h>
#define pa pair<int,int>
#define CLR(a,x) memset(a,x,sizeof(a))
using namespace std;
typedef long long ll;
const int maxn=1e4+,maxk=; inline ll rd(){
ll x=;char c=getchar();int neg=;
while(c<''||c>''){if(c=='-') neg=-;c=getchar();}
while(c>=''&&c<='') x=x*+c-'',c=getchar();
return x*neg;
} int f[maxn][maxk],tr[maxn],a[maxn],b[maxn],N,K,M; inline int lowbit(int x){return x&(-x);}
inline void add(int x,int y){
for(;x<=K;x+=lowbit(x)) tr[x]+=y;
}
inline int query(int x){
int re=;for(;x;x-=lowbit(x)) re+=tr[x];return re;
} int main(){
//freopen("","r",stdin);
int i,j,k;
N=rd(),M=,K=rd();
int ans=;
for(i=;i<=N;i++){
a[i]=rd();
if(a[i]==-) b[++M]=i;
else{
ans+=query(K)-query(a[i]);
add(a[i],);
}
}
CLR(tr,);
for(i=,j=;i<=M;i++){
for(;j<=b[i];j++){
if(a[j]!=-) add(a[j],);
}
for(k=;k<=K;k++)
f[i][k]+=query(K)-query(k);
}
CLR(tr,);
for(i=M,j=N;i;i--){
for(;j>=b[i];j--){
if(a[j]!=-) add(a[j],);
}
for(k=;k<=K;k++)
f[i][k]+=query(k-);
}
for(i=;i<=M+;i++){
for(j=;j<=K;j++){
int mi=1e9;
for(k=;k<=j;k++){
mi=min(mi,f[i-][k]);
}
f[i][j]+=mi;
}
}
printf("%d\n",f[M+][K]+ans);
return ;
}