5917. 同源字符串检测 暴力 dp 字符串匹配

link
题意：
给定目标字符串s1,s2问是否存在一个字符串能满足生成s1并且生成s2,s1和s2中会有一些数字，数字可以任意分割成某些字符。$len<=40任意连续数字不出现超过3个$
思路：
$dp[i][j][k]$代表匹配到s1的i处，匹配到s2的j次，当前s1比s2的通配符多k个，最后check(dp[n][m][0])就可以了。如何转移呢，分类讨论即可，delta==0 && s1[i]==s2[j]可以转移，分别枚举s1和s2的数字可以转移，delta>0 && s2[j]是字母并且和通配符可以匹配，delta<0 && s1[j]是字母并且和通配符可以匹配。
代码：

int dp[41][41][2010];
class Solution {
public:
    bool possiblyEquals(string s1, string s2) {
        int n=s1.size();
        int m=s2.size();
        int eps=1000;
        s1=" "+s1;
        s2=" "+s2;
        for(int i=0;i<=n;i++)
            for(int j=0;j<=m;j++)
                for(int k=0;k<=2000;k++)
                    dp[i][j][k]=0;
        // vector<vector<vector<bool>>>dp(n+1,vector<vector<bool>>(m+1,vector<bool>(2001,0)));
        dp[0][0][eps]=1;
        for(int i=0;i<=n;i++){      
            for(int j=0;j<=m;j++)
                for(int k=0;k<=2000;k++){
                    if(!dp[i][j][k])   continue;
                    if(k>eps && j+1<=m && s2[j+1]>='a'&&s2[j+1]<='z')  {
                        dp[i][j+1][k-1]=1;
                    }
                    if(k<eps && i+1<=n && s1[i+1]>='a'&&s1[i+1]<='z')
                    {
                        dp[i+1][j][k+1]=1;
                    }
                    if(i+1<=n && s1[i+1]>='a' && s1[i+1]<='z' && j+1<=m && s2[j+1]>='a' && s2[j+1]<='z' &&s2[j+1]==s1[i+1] && k==eps)
                    {
                        dp[i+1][j+1][k]=1;
                    }
                    if(i+1<=n && isdigit(s1[i+1]))
                    {
                        int kk=i+1;
                        int tmp=0;
                        while(kk<s1.size() && isdigit(s1[kk]))
                        {
                            tmp=tmp*10+s1[kk]-'0';
                            if(tmp+k<=2000)
                            dp[kk][j][tmp+k]=1;
                            kk++;
                        }
                    }
                    if(j+1<=m && isdigit(s2[j+1]))
                    {
                        int kk=j+1;
                        int tmp=0;
                        while(kk<s2.size() && isdigit(s2[kk])){
                            tmp=tmp*10+s2[kk]-'0';
                            if(k-tmp>=0)
                            dp[i][kk][k-tmp]=1;
                            kk++;
                        }
                    }
                }
        }
        
        
        return dp[n][m][eps];
            
    }
};