97. 交错字符串

给定三个字符串 s1、s2、s3，请你帮忙验证 s3 是否是由 s1 和 s2 交错 组成的。

两个字符串 s 和 t 交错 的定义与过程如下，其中每个字符串都会被分割成若干 非空 子字符串：

• s = s1 + s2 + ... + sn
• t = t1 + t2 + ... + tm
• |n - m| <= 1
• 交错 是 s1 + t1 + s2 + t2 + s3 + t3 + ... 或者 t1 + s1 + t2 + s2 + t3 + s3 + ...

注意：a + b 意味着字符串 a 和 b 连接。

示例 1：

输入：s1 = "aabcc", s2 = "dbbca", s3 = "aadbbcbcac"
输出：true

示例 2：

输入：s1 = "aabcc", s2 = "dbbca", s3 = "aadbbbaccc"
输出：false

示例 3：

输入：s1 = "", s2 = "", s3 = ""
输出：true

思路

dp[i][j] 表示字符串 s1 中 [1, i] 区间内的字符串以及 s2 中 [1, j] 区间内的字符串，能否拼接成 s3 中 [1, i + j] 区间内的字符串。

结合题目的要求，来进行「分类讨论」：

1.  当 s3[i + j] = s1[i] 的时候，说明交错后的字符串的最后一个字符和 s1 的最后一 个字符匹配了。那么整个字符串能否交错组成，变成： s1 中 [1, i - 1] 区间上的字符串以及 s2 中 [1, j] 区间上的字符串，能够交 错形成 s3 中 [1, i + j - 1] 区间上的字符串，也就是 dp[i - 1][j] ； 此时 dp[i][j] = dp[i - 1][j]
2. 当 s3[i + j] = s2[j] 的时候，说明交错后的字符串的最后一个字符和 s2 的最后 一个字符匹配了。那么整个字符串能否交错组成，变成：s1 中 [1, i] 区间上的字符串以及 s2 中 [1, j - 1] 区间上的字符串，能够交 错形成 s3 中 [1, i + j - 1] 区间上的字符串，也就是 dp[i][j - 1] ；
3. .当两者的末尾都不等于 s3 最后一个位置的字符时，说明不可能是两者的交错字符串。

解题方法

1. 创建一个二维的动态规划表 dp，其中 dp[i][j] 表示 s1 的前 i 个字符和 s2 的前 j 个字符能否组成 s3 的前 i+j 个字符。
2. 初始化 dp[0][0] 为 true，表示空字符串可以由两个空字符串组成。
3. 初始化第一行和第一列，即填充 dp[0][j] 和 dp[i][0]。遍历 s2 和 s1，如果 s2 或 s1 的前缀和 s3 的前缀相等，则对应的 dp 值设为 true，否则跳出循环。
4. 填充 dp 表格的其余部分。对于每一个 dp[i][j]，如果 s1 的第 i 个字符等于 s3 的第 i+j 个字符，并且 dp[i-1][j] 为 true，或者 s2 的第 j 个字符等于 s3 的第 i+j 个字符，并且 dp[i][j-1] 为 true，则将 dp[i][j] 设为 true。
5. 返回 dp[m][n]，表示整个 s3 是否能够由 s1 和 s2 交错组成。

复杂度

• 时间复杂度：O(m*n)，其中 m 和 n 分别为字符串 s1 和 s2 的长度，因为要填充一个 m×n 大小的 dp 表格。
• 空间复杂度：O(m*n)，因为需要一个 m×n 大小的 dp 表格来存储中间结果。

class Solution {
public:
    bool isInterleave(string s1, string s2, string s3) {

        int m = s1.size(), n = s2.size();
        if(m + n != s3.size())
            return false;
        s1 = " " + s1, s2 = " " + s2, s3 = " " + s3;
        
        vector<vector<bool>> dp(m + 1, vector<bool>(n + 1));
        dp[0][0] = true;
        
        for(int j = 1; j <= n; j++) // 初始化第一行
            if(s2[j] == s3[j])
                dp[0][j] = true;
            else
                break;
        
        for(int i = 1; i <= m; i++) // 初始化第一列
            if(s1[i] == s3[i])
                dp[i][0] = true;
            else
                break;
        
        for(int i = 1; i <= m; i++)
            for(int j = 1; j <= n; j++)
                dp[i][j] = (s1[i] == s3[i + j] && dp[i - 1][j]) ||
                 (s2[j] == s3[i + j] && dp[i][j - 1]);
        
        return dp[m][n];
    }
};


//动态规划，有三个数组

//dp[i][j]  ?
//分割成的子串|m-n|<=1
//
//dp[i][j] = dp[i-1][j-1]   if(s1[i]==s3[k]&&s1[j]==s3[k-1])||
//