97 交错字符串（动态规划）

1. 问题描述：

给定三个字符串 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

提示：

0 <= s1.length, s2.length <= 100
0 <= s3.length <= 200
s1、s2、和 s3 都由小写英文字母组成
来源：力扣（LeetCode）
链接：https://leetcode-cn.com/problems/interleaving-string

2. 思路分析：

① 最近想刷一下动态规划的题目，一开始的时候没有什么思路，于是看了一下力扣的题解，因为比较熟悉python语言，于是找了一个关于python的精选题解，发现题解写得好棒，通俗易懂，对于动态规划的理解是很有帮助的，下面是我自己对于解题思路的一些理解，大佬题解。

② 因为题目规定了str1，str2划分的子串数目的差值是不能够超过1的，也就是两个字符串划分之后必须是交错进行拼接的，而题解中的二维表格恰恰是解决了这个问题，通过二维表格的顺序来反应两格字符串的交错拼接顺序，这里借用一下题解中的图会更好理解一点（核心是理解表格中的拼接情况）：

第一个位置应该是空串，第一行为第二个字符串str2中的字符，第一列为第一个字符串str1中的字符，仔细观察这个二维表格就可以发现其实二维表示中的某一个位置恰恰是表示了两个字符串的拼接情况，并且可以发现二维表格的(x, y)位置恰恰是对应两种拼接情况，比如第二行第二列的位置（下标从0开始数），这个时候字符串str1有两个字符"aa"，字符串str2有两个字符"db"，可能的交错拼接情况有两种，第一种是"a" + "db" + "a"，第二种情况是"aa" + "d" + "b", 对于每一个二维表格中的位置都是存在两种交错拼接的情况，想到这里我们就可以使用一个二维列表进行dp数组的推导了，dp[i][j]对应着二维表格中前i + j个字符串交错拼接的情况，dp[i][j]表示字符串str1中提供前i个字符，字符串str2提供前j个字符，而当前的任务是通过上面存在的两种可能的字符串交错情况得出str1与str2的字符串交错拼接的时候是否可以得到字符串str3的前i + j 个字符。其实也就是当前的(x，y)位置与左边的(x, y - 1)与上边的(x - 1，y)位置是存在关系的，这两个位置分别对应两种交错拼接情况，并且注意到一点表格是连续的，所以恰好是对应着每一个字符串划分的子串

③ 所以对于动态规划的一些题目需要先尝试画一下二维表格，看是否可以找到其中的规律，看一下怎么样通过二维表格进行递推得到新的状态

3. 代码如下：

class Solution:
    def isInterleave(self, s1: str, s2: str, s3: str) -> bool:
        if len(s1) + len(s2) != len(s3): return False
        # 声明一个长度为(len(s1 + 1) * len(s2 + 1))的二维矩阵
        dp = [[False] * (len(s2) + 1) for i in range(len(s1) + 1)]
        # dp中的第一个值表示空串
        dp[0][0] = True
        for i in range(1, len(s1) + 1):
            # 第一列的初始化情况, 根据具体的例子会更好确定下标
            dp[i][0] = dp[i - 1][0] and s1[i - 1] == s3[i - 1]
        for i in range(1, len(s2) + 1):
            # 第一行的初始化情况, 根据具体的例子会更好确定下标
            dp[0][i] = dp[0][i - 1] and s2[i - 1] == s3[i - 1]
        # 从第二行第二列开始递推
        for i in range(1, len(s1) + 1):
            for j in range(1, len(s2) + 1):
                # 当前的字符交错存在两种情况
                dp[i][j] = (dp[i - 1][j] and s1[i - 1] == s3[i + j - 1]) or (
                            dp[i][j - 1] and s2[j - 1] == s3[i + j - 1])
        # -1表示最后一个元素
        return dp[-1][-1]