[bzoj 1831][AHOI2008]逆序对

题意

给定一个长度为N(N<=10000)的数列每个元素大于等于-1小于等于100，要把其中的-1换成小于等于100的正整数，求最小的逆序对数。

思路

可以发现我们最后要换的数，是单调不递减的。
证明：
设$x,y$，分别替换了$i,j$的-1，且$x>y$，则如果换过$x,y$来，对于$[i+1,j-1]$的数，就有更小的可能性对答案做贡献。
证毕。

有了这个条件就可以$dp$了。

#include<cstdio>
#include<iostream>
typedef long long ll;
int n,k,before[11000],cnt,data[11000];
ll f[11000][110],big[11000][110],g[11000][110],sma[11000][110];
int main(){
    scanf("%d%d",&n,&k);
    for(int i=1;i<=n;i++){
        scanf("%d",&data[i]);
        if(data[i]==-1) cnt++,before[cnt]=i;
    }
    for(int i=1;i<=n;i++){
        for(int j=1;j<=k;j++){
            big[i][j]=big[i-1][j];
            if(data[i]>j) big[i][j]++;
        }
    }
    for(int i=n;i>=1;i--){
        for(int j=1;j<=k;j++){
            sma[i][j]=sma[i+1][j];
            if((data[i]<j)&&(data[i]!=-1)) sma[i][j]++;
        }
    }
    for(int i=1;i<=cnt;i++){
        f[i][1]=f[i-1][1]+big[before[i]][1]+sma[before[i]][1];
        g[i][1]=f[i][1];
        for(int j=2;j<=k;j++){
            f[i][j]=g[i-1][j]+big[before[i]][j]+sma[before[i]][j];
            g[i][j]=std::min(g[i][j-1],f[i][j]);
        }
    }
    ll ans=10000000000;
    for(int i=1;i<=k;i++)
        ans=std::min(ans,f[cnt][i]);
    for(int i=1;i<=n;i++) ans+=big[i][data[i]];
    printf("%lld",ans);
    return 0;
}