LeetCode题练习与总结：交错字符串--97

news2024/10/5 13:53:38

一、题目描述

给定三个字符串 s1、s2、s3，请你帮忙验证 s3 是否是由 s1 和 s2 交错组成的。

两个字符串 s 和 t 交错的定义与过程如下，其中每个字符串都会被分割成若干非空

子字符串：

示例 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 都由小写英文字母组成

二、解题思路

1. 状态定义：创建一个二维布尔数组 dp，其中 dp[i][j] 表示 s1 的前 i 个字符和 s2 的前 j 个字符是否能交错组成 s3 的前 i+j 个字符。

2. 状态转移方程：对于 dp[i][j]，它可以从两个状态转移而来：

dp[i-1][j] 且 s1[i-1] == s3[i+j-1]，这意味着 s1 的第 i-1 个字符和 s3 的第 i+j-1 个字符相同，那么如果 dp[i-1][j] 为真，dp[i][j] 也为真。
dp[i][j-1] 且 s2[j-1] == s3[i+j-1]，这意味着 s2 的第 j-1 个字符和 s3 的第 i+j-1 个字符相同，那么如果 dp[i][j-1] 为真，dp[i][j] 也为真。

3. 初始化：dp[0][0] 应该初始化为 true，因为没有字符的情况下，当然可以构成一个空字符串。对于第一行和第一列，我们需要检查 s1 和 s3 以及 s2 和 s3 的对应字符是否相等。

4. 结果：dp[s1.length()][s2.length()] 的值就是最终结果。

三、具体代码

class Solution {
    public boolean isInterleave(String s1, String s2, String s3) {
        int len1 = s1.length();
        int len2 = s2.length();
        int len3 = s3.length();
        
        // 如果 s1 和 s2 的长度之和与 s3 的长度不相等，那么 s3 不能由 s1 和 s2 交错组成
        if (len1 + len2 != len3) {
            return false;
        }
        
        // dp[i][j] 表示 s1 的前 i 个字符和 s2 的前 j 个字符是否能交错组成 s3 的前 i+j 个字符
        boolean[][] dp = new boolean[len1 + 1][len2 + 1];
        
        // 初始化 dp 数组
        dp[0][0] = true;
        for (int i = 1; i <= len1; i++) {
            dp[i][0] = dp[i - 1][0] && s1.charAt(i - 1) == s3.charAt(i - 1);
        }
        for (int j = 1; j <= len2; j++) {
            dp[0][j] = dp[0][j - 1] && s2.charAt(j - 1) == s3.charAt(j - 1);
        }
        
        // 状态转移
        for (int i = 1; i <= len1; i++) {
            for (int j = 1; j <= len2; j++) {
                dp[i][j] = (dp[i - 1][j] && s1.charAt(i - 1) == s3.charAt(i + j - 1)) ||
                           (dp[i][j - 1] && s2.charAt(j - 1) == s3.charAt(i + j - 1));
            }
        }
        
        // 返回结果
        return dp[len1][len2];
    }
}

四、时间复杂度和空间复杂度

1. 时间复杂度

初始化 dp 数组的时间复杂度为 O(1)，因为只设置了数组的两个边界。
接下来的两个循环用于填充 dp 数组的边界，每个循环的时间复杂度分别为 O(len1) 和 O(len2)。
最后的两个嵌套循环用于根据状态转移方程填充 dp 数组的其余部分，时间复杂度为 O(len1 * len2)。
综上所述，总的时间复杂度为 O(len1 + len2 + len1 * len2)，由于在实际情况中，len1 * len2 的项通常比 len1 和 len2 大得多，因此可以简化为 O(len1 * len2)。