蓝桥杯 最优包含（字符串dp）

线性DP的初始化问题尤为重要，如果不确定是否正确，务必造几组数据验证推理

---

        f[i][j]表示s[0~i]包含t[0~j]最少修改的步数,考虑求的是最小值，我们需要将其初始化为正无穷，并将f[i][0]置零（对于任意串都包含空串，状态转移需要该初始状态）

#include<bits/stdc++.h>
using namespace std;
typedef long long ll;
const int N=1005;
int f[N][N];
//f[i][j] s[0~i]包含t[0~j]最少修改的步数
char s[N],t[N];
int main(){
	cin>>s+1>>t+1;
	memset(f,0x3f,sizeof f);
	int ls=strlen(s+1),lt=strlen(t+1);
	for(int i=0;i<N;i++) f[i][0]=0;
	for(int i=1;i<=ls;i++)
		for(int j=1;j<=lt;j++)
		{
			f[i][j]=f[i-1][j];
			if(s[i]==t[j]){
				f[i][j]=min(f[i][j],f[i-1][j-1]);
			}
			else{
				f[i][j]=min(f[i][j],f[i-1][j-1]+1);
			}
		}
	cout<<f[ls][lt];
}