CF1551E. Fixed Points

比较naive的dp~
设dp[i][j] 为前i个删除j个的时满足条件的数字个数
当数字个数大于k时 选出对应的j的最小值

//cyc
#pragma GCC optimize("Ofast")
#pragma GCC target("avx,avx2,fma")
#pragma GCC optimization ("unroll-loops")
#include<bits/stdc++.h>
#define rep(i,a,n) for(int i=a;i<=n;i++)
#define per(i,a,n) for(int i=n;i>=a;i--)
#define pb push_back
#define mp make_pair
#define fi first
#define se second
#define mst(a) memset(a,0,sizeof a)
using namespace std;
typedef pair<int,int> pii;
/*
  もう一回、もう一回！
*/
const int maxn=2e3+5;
const int maxp=1e6+5;
int a[maxn];
int dp[maxn][maxn];
int main()
{
    ios::sync_with_stdio(0);cin.tie(0);cout.tie(0);
    int _;
    cin>>_;
    while(_--){
        int n,k;
        cin>>n>>k;
        for(int i=0;i<=n;i++){
            if(i)cin>>a[i];
            for(int j=0;j<=n;j++)dp[i][j]=0;
        }
        int ans=maxn;
        for(int i=1;i<=n;i++){
            for(int j=0;j<=i;j++){
                if(j)dp[i][j]=dp[i-1][j-1];
                dp[i][j]=max(dp[i][j],dp[i-1][j]+(a[i]==(i-j)));
                if(dp[i][j]>=k){
                    ans=min(ans,j);
                }
            }
        }
        if(ans==maxn)ans=-1;
        cout<<ans<<endl;

    }
}