这题我们用dp,我们可以把状态设为 d p [ i ] [ j ] dp[i][j] 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;
}
}