题目描述:
给定三个字符串 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 连接。
方法一:
class Solution {
public:
bool isInterleave(string s1, string s2, string s3) {
int n1 = s1.size();
int n2 = s2.size();
int n3 = s3.size();
if (n1 + n2 != n3)
{
return false;
}
vector<vector<int>> f(n1 + 1, vector<int>(n2 + 1 , false));
f[0][0] = true;
for (int i = 0; i <= n1; i++)
{
for (int j = 0; j <= n2; j++)
{
int p = i + j - 1;
if (i > 0)
{
f[i][j] |= (f[i - 1][j] && s1[i - 1] == s3[p]);
}
if (j > 0)
{
f[i][j] |= (f[i][j - 1] && s2[j - 1] == s3[p]);
}
}
}
return f[n1][n2];
}
};
又是不会看题解的一天。
第一时间想到的是双指针法,但是双指针法在应对例如【s1 = "aabcc", s2 = "dbbca", s3 = "aadbbcbcac"】这样的样例时会出错(不过貌似也有利用双指针加回溯的题解)。
愣是想不到怎么dp,还是看了题解才仅惊为天人。设f[i][j]表示s1的前i个字符和s2的前j个字符能否交错构成s3的前i+j个字符,这时有两种情况:如果s1的第i个字符和s3的第i+j个字符相等,那么f[i][j]取决于f[i-1][j];同理,如果s2的第j个字符和s3的第i+j个字符相等,那么f[i][j]取决于f[i][j-1]。
于是有动态规划转移方程:
f[i][j] = (f[i-1][j] && f[i-1]==f[p]) || (f[i][j-1] && f[j-1]==f[p])
根据该方程来写即可。
另外要注意的是,这里f使用的类型是vector<int>而不是vector<bool>,因为vector<bool>实际上是有问题的,其当中的元素不能实现类似 |= 这样的运算,所以应该用vector<int>来代替。