真的学不会dp啊啊啊啊嗷嗷嗷嗷嗷彻底疯狂彻底疯狂，只能祈祷量变引起质变 哭

1. cf E. Fixed Points

主要是不会设状态嘛

第一维枚举i个数，第二维枚举删了几个数(删到最后还剩几个数)

dp[i][j] : 代表i个数删到仅剩j个数后的最大匹配个数。然后考虑第i位是否删除，可设出转移方程

#include <bits/stdc++.h>
#define ll long long
using namespace std;
const int N = 2005;
int a[N], dp[N][N];
int main() {int T; scanf("%d", &T);while(T--){int n, k, num; scanf("%d%d", &n, &k);for(int i=1; i<=n; i++) {scanf("%d", &a[i]);}		int ans = 2e9;for(int i=1; i<=n; i++){for(int j=1; j<=i; j++){dp[i][j] = max(dp[i-1][j-1] + (a[i]==j), dp[i-1][j]); //dp[i][j]代表i个数删到仅剩j个数后的最大匹配个数 //保留该位,                  删除该位 if(dp[i][j]>=k) ans = min(ans, i - j);}}	if(ans==2e9) ans = -1;cout<<ans<<endl;	}return 0;
}

┭┮﹏┭┮好像没有会的题啦