97. 交错字符串

97. 交错字符串

原始题目链接：https://leetcode-cn.com/problems/interleaving-string/

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

解题思路：

这道题有点类似字符串分割，看s3分割的结果是否是s1和s2的组合字符串，判断s1和s2的交错组合的当前状态，需要知道前一个状态是否满足要求，按照这个思路会想到使用动态规划的方法来解题。动态规划首先定义状态：dp[i][j]表示字符串s1的前i个字符和字符串s2前j个字符能否构成s3的前i+j个字符，如果s1和s2交错组合的字符串的长度和s3的长度不等，则表示一定不能构成。定义初始状态：dp[0][0]为空字符串，则一定可以构成。状态矩阵中的首行首列表示s1或s2为空的时候，只由s2或s1构成s3。其余的状态根据s1和s2的组合构成，需要知道上一个状态和当前字符串的值。具体实现看代码及注释。下图是dp状态矩阵。

代码实现：

class Solution:
    def isInterleave(self, s1: str, s2: str, s3: str) -> bool:
        l1, l2, l3 = len(s1), len(s2), len(s3)
        
        # s1和s2交错组合后的长度和S3的长度不等，则一定是False
        if l1 + l2 != l3:
            return False

        # 定义状态：dp[i][j]表示s1的前i个字符和s2的前j个字符能否构成s3的前i+j个字符
        # 初始化dp数组，dp[0][0]表示s1和s2的空字符，则一定可以构成
        # 列的个数：False * (l2 + 1)，行数l1 + 1
        dp = [[False] * (l2 + 1) for _ in range(l1 + 1)]
        dp[0][0] = True

        # 初始化边界：dp数组的第一行
        for j in range(1, l2 + 1):
            # dp[0][j]是False或True，取决于dp[0][j - 1]的值 和 s2[j - 1]与s3[j - 1]是否相等
            dp[0][j] = dp[0][j - 1] & (s2[j - 1] == s3[j - 1])
        
        # 初始化边界：dp数组的第一列
        for i in range(1, l1 + 1):
             # dp[i][0]是False或True，取决于dp[i - 1][0]的值 和 s1[i - 1]与s3[i - 1]是否相等
            dp[i][0] = dp[i - 1][0] & (s1[i - 1] == s3[i - 1])

        # 从每一行开始，遍历每一列的dp数组
        for i in range(1, l1 + 1):
            for j in range(1, l2 + 1):
                dp[i][j] = (dp[i][j - 1] & (s2[j - 1] == s3[i + j - 1])) or (dp[i - 1][j] & (s1[i - 1] == s3[i + j - 1])) 
        
        return dp[-1][-1]

参考文献：
https://leetcode-cn.com/problems/interleaving-string/solution/dong-tai-gui-hua-zhu-xing-jie-shi-python3-by-zhu-3/