【BZOJ1786】[Ahoi2008]Pair 配對

Description

Input

Output

Sample Input

Sample Output

題解：結論！！！為了使逆序對最少，我們在-1位置填入的數一定是單調不減的。（可以用反證法證明，很簡單。）

所以DP，我們用f[i][j]表示枚舉到第i個數，上一個在-1位置填入的數是j個最少逆序對個數。然後轉移也很簡單~

#include <cstdio>
#include <cstring>
#include <iostream>
using namespace std;
const int maxn=10010;
int n,k,tot,ans,sum;
int f[110][maxn],s[110],sv[110],cnt,sm,v[maxn];
int main()
{
	memset(f,0x3f,sizeof(f));
	int i,j;
	scanf("%d%d",&n,&k);
	for(i=1;i<=n;i++)
	{
		scanf("%d",&v[i]);
		if(v[i]!=-1)
		{
			sum+=tot-sv[v[i]],tot++;
			for(j=v[i];j<=k;j++)	sv[j]++;
		}
	}
	for(i=1;i<=k;i++)	f[i][0]=0;
	for(i=1;i<=n;i++)
	{
		if(v[i]!=-1)
		{
			cnt++;
			for(j=1;j<=k;j++)	f[j][i]=f[j][i-1];
			for(j=v[i];j<=k;j++)	s[j]++;
			continue;
		}
		for(sm=1<<30,j=1;j<=k;j++)
		{
			sm=min(sm,f[j][i-1]);
			f[j][i]=sm+cnt-s[j]+(sv[j-1]-s[j-1]);
		}
	}
	ans=1<<30;
	for(i=1;i<=k;i++)	ans=min(ans,f[i][n]);
	printf("%d",ans+sum);
	return 0;
}

【BZOJ1786】[Ahoi2008]Pair 配對 DP