线性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];
}