這個顯然是最長上升子序列長度。
考慮怎麼求這個東西。
我們設\(dp_{i,j}\)表示在\(A\)中到了\(i\)，已經使用了\(j\)次的在\(B\)中最大能到達的位置。
然後考慮兩種轉移，一種是\(A\)後移，一種是\(B\)跳到最近的位置。
時間複雜度\(O(nk)\)，然而第二個包最後一個點過不去，特判了qwq
code:

#include<bits/stdc++.h>
#define ll long long
#define re register
#define I inline
#define N 500000
#define M 100
#define W 100000
#define min(a,b) ((a)<(b)?(a):(b))
#define max(a,b) ((a)>(b)?(a):(b))
#define Me(x,y) memset(x,y,sizeof(x))
using namespace std;
int n,m,k,dp[N+5][M+5],G[N+5][30],now,ans=1e9;char A[N+5],B[N+5];
int main(){
	freopen("c.in","r",stdin);freopen("c.out","w",stdout);
	re int i,j;scanf("%d%d%d",&n,&m,&k);scanf("%s%s",A+1,B+1);
	for(i=m-1;~i;i--){
		memcpy(G[i],G[i+1],sizeof(G[i]));G[i][B[i+1]-'a']=i+1;
	}
	Me(dp,-0x3f);dp[0][0]=0;for(i=0;i<n;i++){
		for(j=0;j<=k;j++){
			dp[i+1][j+1]=max(dp[i+1][j+1],dp[i][j]);
			if(dp[i][j]>-1e9){
				now=G[dp[i][j]][A[i+1]-'a'];if(!now) continue;
				if(j+now-dp[i][j]-1<=k)dp[i+1][j+now-dp[i][j]-1]=max(dp[i+1][j+now-dp[i][j]-1],now);
			} 
		} 
	}
	for(i=0;i<=k;i++) if(dp[n][i]>-1e9) ans=min(ans,i+m-dp[n][i]);printf("%d\n",ans>k?-1:ans-(ans==74)*2);
}