codeforces 734 div3 E

题目

这题我们用dp，我们可以把状态设为$dp[i][j]$为前i个数字，去除j个以后能满足题目要求的个数。难点就在于吧点数删掉了，应该怎么转移。我们可以想到，我们设某个点的位置为pos，那删除了j个点，新的位置就应该为pos-j，然后就可以转移了。转移方程直接看代码就行。

#include<cstdio>
#include<algorithm>
#include<iostream>
#include<cstring>
#include<string>
#include<sstream>
#include<queue>
#include<list>
#include<bitset>
#include<stack>
#include<bitset>
#include<iomanip> 
#include<set>
#include<cmath>
#include<map>
#include<functional>
//#define int long long
#define IO ios::sync_with_stdio(false);cin.tie(0);cout.tie(0)
#define _BYTE unsigned char
#define HIBYTE(x) (*((_BYTE*)&(x)+1))
#define eps 1e-8
//#define double long double
using namespace std;
int t,n,k,a[2005],dp[2005][2005];
signed main()
{
	IO;
	cin>>t;
	while(t--)
	{
		cin>>n>>k;
		memset(dp,0,sizeof(dp));
		for(int i=1;i<=n;i++)
		{
			cin>>a[i];
		}
		for(int i=1;i<=n;i++)
		{
			for(int j=0;j<=i-1;j++)
			{
				dp[i][j]=dp[i-1][j]+(int)(i-j==a[i]);
			}
			for(int j=1;j<=n;j++)
			{
				dp[i][j]=max(dp[i][j],dp[i-1][j-1]);
			}
		}
		int ans=-1;
		for(int i=0;i<=n-1;i++)
		{
			if(dp[n][i]>=k)
			{
				ans=i;
				break;
			}
		}
		cout<<ans<<endl;
	}
}