使用kotlin解决这个问题：97. 交错字符串 中等 862 相关企业 给定三个字符串 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 都由小写英文字母组成 进阶：您能否仅使用 O(s2.length) 额外的内存空间来解决它?

这是一道比较有意思的字符串题目，我们可以使用动态规划来解决。使用 Kotlin 语言来实现，具体思路如下：

定义一个二维布尔数组 `dp[i][j]`，表示 s1 的前 i 个字符和 s2 的前 j 个字符能否交错组成 s3 的前 i+j 个字符。

初始状态：当 s1 和 s2 都为空时，s3 也为空，因此 `dp[0][0] = true`。

状态转移：对于每个 `dp[i][j]`，我们有两种选择：

- 如果 `s1[i-1] == s3[i+j-1]`，则可以使用 `s1[i-1]` 来匹配 `s3[i+j-1]`，此时需要判断 `dp[i-1][j]` 是否为 true。
- 如果 `s2[j-1] == s3[i+j-1]`，则可以使用 `s2[j-1]` 来匹配 `s3[i+j-1]`，此时需要判断 `dp[i][j-1]` 是否为 true。

最终的结果为 `dp[s1.length][s2.length]`。

完整的代码如下：

fun isInterleave(s1: String, s2: String, s3: String): Boolean {
    if (s1.length + s2.length != s3.length) {
        return false
    }

    val dp = Array(s1.length + 1) { BooleanArray(s2.length + 1) }

    // 初始化状态
    dp[0][0] = true

    // 初始化第一行
    for (j in 1..s2.length) {
        dp[0][j] = dp[0][j-1] && s2[j-1] == s3[j-1]
    }

    // 初始化第一列
    for (i in 1..s1.length) {
        dp[i][0] = dp[i-1][0] && s1[i-1] == s3[i-1]
    }

    // 状态转移
    for (i in 1..s1.length) {
        for (j in 1..s2.length) {
            dp[i][j] = (dp[i-1][j] && s1[i-1] == s3[i+j-1]) ||
                    (dp[i][j-1] && s2[j-1] == s3[i+j-1])
        }
    }

    return dp[s1.length][s2.length]
}

我们可以使用以下代码测试这个函数：

fun main() {
    val s1 = "aabcc"
    val s2 = "dbbca"
    val s3 = "aadbbcbcac"
    val res = isInterleave(s1, s2, s3)
    println(res)
}

输出结果为：

true

这说明我们的代码已经正确地判断了 s3 是否是由 s1 和 s2 交错组成的。