洛谷 P4280 [AHOI2008]逆序对 题解（预处理+dp）

题目链接

题目思路

前言

这题目搞了我好久，看了好久的题解才看懂，以后状态不好还是不要写题。题目难度也比较难。但多看几遍就懂了

正文

首先，我们考虑填入的数需要满足的性质。一定是满足不严格单调上升序列

对于两个空位a和b，分别填入数x和y，且x<y。如果我们交换x和y，会有如下性质:

1.[1,a-1]和[b+1,n]中的数与x y构成的逆序对数不变。

2.[a+1,b-1]中大于x或小于y的数与x y构成的逆序对数不变。

3.[a+1,b-1]中在(x,y)范围内的数与x y构成逆序对。

4.x y构成逆序对。

也就是说我们如果交换x y，逆序对数会增加。所以填入的这些数一定是单调不减的。

用f[i][j]表示第i个空位填j所形成的最小逆序对，g[i][j]表示f[i][1]到f[i][j]的最小值，cost[i][j]表示在第i个空位填j所形成的新的逆序对。显然cost[i][j]是可以预处理的。则f[i][j]=g[i-1][j]+cost[i][j]。

注意最终答案还要加上不是空位的数形成的逆序对数。

代码

#include<cstdio>
#include<cstring>
#include<algorithm>
using namespace std;
const int inf=0x3f3f3f3f;
const int maxn=1e4+5;
int n,k,a[maxn],big[maxn][110],small[maxn][110],num[maxn],cnt;
int f[maxn][110],g[maxn][110];
//f[i][j]表示在num[i]上面填上j所形成的逆序对
//g[i][j]表示f[i][1]到f[i][j]的最小值
int main(){
    scanf("%d %d",&n,&k);
    for(int i=1;i<=n;i++){
        scanf("%d",&a[i]);
        if(a[i]==-1){//记录有多少个为-1的数
            num[++cnt]=i;
        }
    }
    //预处理
    for(int i=1;i<=n;i++){//big[i][j]表示a[1]到a[i]中大于j的个数
        for(int j=1;j<=k;j++){
            big[i][j]=big[i-1][j]+(a[i]>j);
        }
    }
    for(int i=n;i>=1;i--){//small[i][j]表示a[i]到a[n]中小于j的个数
        for(int j=1;j<=k;j++){
            small[i][j]=small[i+1][j]+(a[i]<j&&a[i]!=-1);//注意不能等于-1
        }
    }
    for(int i=1;i<=cnt;i++){
        f[i][1]=g[i-1][1]+big[num[i]][1]+small[num[i]][1];
        g[i][1]=f[i][1];
        for(int j=2;j<=k;j++){
            f[i][j]=g[i-1][j]+big[num[i]][j]+small[num[i]][j];
            g[i][j]=min(g[i][j-1],f[i][j]);
        }
    }
    int ans=g[cnt][k];
    for(int i=1;i<=n;i++){
        if(a[i]!=-1){//不是-1
            ans+=big[i][a[i]];//原本的逆序对
        }
    }
    printf("%d\n",ans);
    return 0;
}