给定三个字符串 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] 区间内的字符串。
结合题目的要求,来进行「分类讨论」:
- 当 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]
- 当 s3[i + j] = s2[j] 的时候,说明交错后的字符串的最后一个字符和 s2 的最后 一个字符匹配了。那么整个字符串能否交错组成,变成:s1 中 [1, i] 区间上的字符串以及 s2 中 [1, j - 1] 区间上的字符串,能够交 错形成 s3 中 [1, i + j - 1] 区间上的字符串,也就是 dp[i][j - 1] ;
- .当两者的末尾都不等于 s3 最后一个位置的字符时,说明不可能是两者的交错字符串。
解题方法
- 创建一个二维的动态规划表 dp,其中 dp[i][j] 表示 s1 的前 i 个字符和 s2 的前 j 个字符能否组成 s3 的前 i+j 个字符。
- 初始化 dp[0][0] 为 true,表示空字符串可以由两个空字符串组成。
- 初始化第一行和第一列,即填充 dp[0][j] 和 dp[i][0]。遍历 s2 和 s1,如果 s2 或 s1 的前缀和 s3 的前缀相等,则对应的 dp 值设为 true,否则跳出循环。
- 填充 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。
- 返回 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])||
//