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

• 法一：动态规划

class Solution {
public:
    bool isScramble(string s1, string s2) {
    	//两个字符串互为扰乱字符串，他们的长度一定相等
        if(s1.size()!=s2.size()) return false;
        int n=s1.size();
        bool f[n][n][n+1];//动态规划
        fill_n(&f[0][0][0],(n+1)*n*n,false);//初始化为false
		//边界情况，初始化单个字符的情况
        for(int i=0;i<n;i++)
        {
            for(int j=0;j<n;j++)
                f[i][j][1]= s1[i]==s2[j];
        }
		
		//枚举区间长度2~n
        for(int len=2;len<=n;len++)
        {//枚举s中的起点位置
            for(int i=0;i+len<=n;i++)
            {//枚举T中的起点位置
                for(int j=0;j+len<=n;j++)
                {//枚举划分的位置
                    for(int k=1;k<=len-1;k++)
                    {
                    	//s分为s1和s2，t分为t1和t2
                    	//当前字符串互为扰乱字符串有两种情况，s1和t1以及s2和t2互为扰乱字符串，或者，s1和t2以及s2和t1互为扰乱字符串
                    	//如果满足任意一种情况，则当前下标以及长度下，是扰乱字符串，标记为true，跳出当前循环
                        if(f[i][j][k]&&f[i+k][j+k][len-k]||f[i][j+len-k][k]&&f[i+k][j][len-k])
                        {
                            f[i][j][len]=true;
                            break;
                        }
                    }
                }
            }
        }
        return f[0][0][n];//返回S中从0开始，T中从0开始，长度为n的两个字符串是否互为扰乱字符串
    }
};

• 时间复杂度O(n^4)
• 空间复杂度O(n^3)
• 思路
  • 给定两个字符串T和S，假设T是由S变化而来
    • 如果T和S长度不一样，必定不能变来
    • 如果长度一样，S划分为S1和S2，T划分为T1和T2。分两种情况，没交换则S1->T1,S2->T2；交换则，S1->T2,S2->T1
    • 子问题就是分别讨论两种情况，T1是否由S1变来，T2是否由S2变来等
  • 动态规划dp[i][j][k][h]表示T[k,h]是否由s[i,j]变化而来，由于他们长度相等，可以用len优化到三维数组，即dp[i][j][len]表示S中从i开始长len的字符串是否能变化为T中j开始长度为len的字符串
    • 转移方程：f[i][j][len=f[i][j][k]&&f[i+k][j+k][len-k] || f[i][j+len-k][k]&&f[i+k][j][len-k])
    • 或左边的表达式表示情况一：S中i开始长k的字符串和T中j开始长len-k的字符串互为扰乱字符串；S中i+k开始的长为len-k的字符串和T中j+k开始的长为len-k的字符串互为扰乱字符串
    • 或右边的表达式表示情况而：S中i开始的长为k的字符串和T中j+len-k开始的长为k的字符串互为干扰字符串；S中i+k开始的长为len-k的字符串和T中j开始的长为len-k的字符串