一刷296-dp-剑指 Offer II 096. 字符串交织（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 连接。
---------------------

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

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

输入：s1 = "", s2 = "", s3 = ""
输出：true
 
提示：
0 <= s1.length, s2.length <= 100
0 <= s3.length <= 200
s1、s2、和 s3 都由小写英文字母组成
---------------
思路：
动态规划
记 |s1| = n  |s2| = m
双指针法错在哪里？ 也许有同学看到这道题目的第一反应是使用双指针法解决这个问题，
指针p1一开始指向s1的头部，指针p2一开始指向s2的头部，指针p3指向s3的头部，
次观察p1和p2指向的元素哪一个和 p3指向的元素相等，相等则匹配并后移指针。
样例就是一个很好的反例，
用这种方法判断s1=aabcc，s2=dbbca，s3=aadbbcbcac 时，得到的结果是False，实际应该是True。
------------------------
解决这个问题的正确方法是动态规划。 首先如果∣s1∣+∣s2∣ !=∣s3∣，
那 s3必然不可能由s1和s2交织组成。

在∣s1∣+∣s2∣=∣s3∣时，我们可以用动态规划来求解。
-------------
我们定义 f(i, j)表示s1的前 i 个元素和s2的前 j 个元素是否能交织组成s3的前 i + j个元素。
如果s1的第 i 个元素和 s3的第 i + j 个元素相等，
那么s1的前 i 个元素和s2的前 j 个元素是否能交织组成 s3的前 i + j个元素
取决于 s1的前 i - 1个元素和 s2的前 j 个元素是否能交织组成s3的前 i + j - 1个元素，
即此时 f(i, j)取决于 f(i - 1, j)，
在此情况下如果 f(i - 1, j) 为真，则 f(i, j) 也为真。
同样的，
如果 s 2的第 j 个元素和s3的第 i + j 个元素相等并且 f(i, j - 1)为真，则 f(i, j)也为真。
于是我们可以推导出这样的动态规划转移方程：

其中 p = i + j - 1。边界条件为 f(0, 0) = True。
至此，我们很容易可以给出这样一个实现：
-------------------
使用滚动数组优化空间复杂度。 因为这里数组 f 的第 i 行只和第 i - 1 行相关，
所以我们可以用滚动数组优化这个动态规划，这样空间复杂度可以变成 O(m)
----------------
复杂度分析
时间复杂度：O(nm)，两重循环的时间代价为 O(nm)。
空间复杂度：O(m)，即s 2的长度。
----------------------
class Solution {
    public boolean isInterleave(String s1, String s2, String s3) {
        int len1 = s1.length();//获取三个字符串的长度
        int len2 = s2.length();
        int len3 = s3.length();
        if (len1 + len2 != len3) return false;//特判
        boolean[] res = new boolean[len2 + 1];//结果集 !! + 1
        res[0] = true;//初始化结果集
        for (int i = 0; i <= len1; i++) {//! =
            for (int j = 0; j <= len2; j++) {// ! =
                int k = i + j - 1;
                if (i > 0) {
                    res[j] = res[j] && s1.charAt(i - 1) == s3.charAt(k);
                }
                if (j > 0) {
                    res[j] = res[j] || (res[j - 1] && s2.charAt(j - 1) == s3.charAt(k));
                }
            }
        }
        return res[len2];// len2
    }
}
/**
 f(i, j)表示s1的前 i 个元素和s2的前 j 个元素是否能交织组成s3的前 i + j个元素。
 ------------
        boolean[][] f = new boolean[n + 1][m + 1];
        f[0][0] = true;
        for (int i = 0; i <= n; ++i) {
            for (int j = 0; j <= m; ++j) {
                int p = i + j - 1;
                if (i > 0) {
                    f[i][j] = f[i][j] || (f[i - 1][j] && s1.charAt(i - 1) == s3.charAt(p));
                }
                if (j > 0) {
                    f[i][j] = f[i][j] || (f[i][j - 1] && s2.charAt(j - 1) == s3.charAt(p));
                }
            }
        }
        return f[n][m];
滚动数组优化空间复杂度  因为这里数组 f 的第 i 行只和第 i - 1 行相关
 */

LC