87. 扰乱字符串

87. 扰乱字符串

题目介绍

使用下面描述的算法可以扰乱字符串 s 得到字符串 t ：
如果字符串的长度为 1 ，算法停止
如果字符串的长度 > 1 ，执行下述步骤：
在一个随机下标处将字符串分割成两个非空的子字符串。即，如果已知字符串 s ，则可以将其分成两个子字符串 x 和 y ，且满足 s = x + y 。
随机 决定是要「交换两个子字符串」还是要「保持这两个子字符串的顺序不变」。即，在执行这一步骤之后，s 可能是 s = x + y 或者 s = y + x 。
在 x 和 y 这两个子字符串上继续从步骤 1 开始递归执行此算法。
给你两个 长度相等 的字符串 s1 和 s2，判断 s2 是否是 s1 的扰乱字符串。如果是，返回 true ；否则，返回 false 。

示例 1：

输入：s1 = “great”, s2 = “rgeat”
输出：true
解释：s1 上可能发生的一种情形是：
“great” --> “gr/eat” // 在一个随机下标处分割得到两个子字符串
“gr/eat” --> “gr/eat” // 随机决定：「保持这两个子字符串的顺序不变」
“gr/eat” --> “g/r / e/at” // 在子字符串上递归执行此算法。两个子字符串分别在随机下标处进行一轮分割
“g/r / e/at” --> “r/g / e/at” // 随机决定：第一组「交换两个子字符串」，第二组「保持这两个子字符串的顺序不变」
“r/g / e/at” --> “r/g / e/ a/t” // 继续递归执行此算法，将 “at” 分割得到 “a/t”
“r/g / e/ a/t” --> “r/g / e/ a/t” // 随机决定：「保持这两个子字符串的顺序不变」
算法终止，结果字符串和 s2 相同，都是 “rgeat”
这是一种能够扰乱 s1 得到 s2 的情形，可以认为 s2 是 s1 的扰乱字符串，返回 true
示例 2：

输入：s1 = “abcde”, s2 = “caebd”
输出：false
示例 3：

输入：s1 = “a”, s2 = “a”
输出：true

提示：

s1.length == s2.length
1 <= s1.length <= 30
s1 和 s2 由小写英文字母组成

来源：力扣（LeetCode）
链接：https://leetcode.cn/problems/scramble-string
著作权归领扣网络所有。商业转载请联系官方授权，非商业转载请注明出处。

动态规划

由短及长，可以设置一个 $dp[a,b,c,d]$ 来记录 $s1[a...b]$与$s2[c...d]$是否匹配。

但是如果需要匹配则一定要相同长度，因此可以缩小一个维度，设置 $dp[i,j,len]$ 来记录 $s1[i...i+len]$与$s2[j...j+len]$是否匹配。

遍历更新时应是$len$从小及大，当$len=1$时，
$$dp[i,j,1]=(s1[i]==s2[j])$$
当len>1时，如果 $dp[i][j][k]$ && $dp[i+k][j+k][len-k]$，其中 $0<k<len$，则表示两个子串保持顺序不变拼接而成；如果$dp[i][j+len-k][k]$ && $dp[i+k][j][len-k]$，则表示两个子串交换顺序；否则的话，$dp[i,j,len]=false$。

class Solution {
public:
    bool isScramble(string s1, string s2) {
        int n = s1.size();
        bool dp[n][n][n+1]; //dp[i][j][len]表示s1从i开始，s2从j开始，长度为len的字符串是否互相可扰乱
        int i, j, k, len;
        // len=1
        for(i=0; i<n; i++)
        {
            for(j=0; j<n; j++)
            {
                dp[i][j][1] = (s1[i]==s2[j]);
            }
        }
        for(len=2; len<=n; len++)
        {
            for(i=0; i<=n-len; i++)
            {
                for(j=0; j<=n-len; j++)
                {
                    for(k=1; k<len; k++)
                    {
                        if(dp[i][j][k] && dp[i+k][j+k][len-k])
                        {
                            dp[i][j][len] = true;
                            break;
                        }
                        else if(dp[i][j+len-k][k] && dp[i+k][j][len-k])
                        {
                            dp[i][j][len] = true;
                            break;
                        }
                        else dp[i][j][len] = false;
                    }
                }
            }
        }
        return dp[0][0][n];
    }
};

时间复杂度为$O(n^4)$，空间复杂度为$O(n^3)$。