扰乱字符串

一、题目描述

使用下面描述的算法可以扰乱字符串 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

二、题目思路

明显的记忆化深搜题目
1、递归方程
首先定义状态 dfs(i,j,k)，其判断的是s1[i:i+k]是否是s2[j:j+k]的扰乱字符串
dfs(0,0,n)就是问题的答案，n为s1和s2的长度

对于s1[i:i+k]，可以裂开为两个字符串，第一个字符串的长度为a，a>=1 && a < k
分为两种情况
1、dfs(i,j,a) && dfs(i+a,j+a,k-a)
s1[i:i+a]是s2[j:j+a]的干扰字符串&&s1[i+a:i+k] 是s2[j+a:j+k]的干扰字符串
2、dfs(i,j+k-a,a) && dfs(i+a,j,k-a)
s1[i:i+a]是s2[j+k-a:j+k]的干扰字符串&&s1[i+a:i+k]是s2[j,j+k-a]的干扰字符串

综上所述子问题分解为两种情况，每种情况有两个问题
1、dfs(i,j,a) && dfs(i+a,j+a,k-a)
2、dfs(i,j+k-a,a) && dfs(i+a,j,k-a)

2、递归终止条件
当满足下面两个条件中的一个就可以终止递归
1、当k=1的时候，判断s1[i] == s2[j]
2、s1[i:i+k] == s2[j:j+k]

三、具体代码

class Solution {
    boolean[][][] mem = null;
    boolean[][][] vis = null;
    public boolean isScramble(String s1, String s2) {
        int n = s1.length();
        mem = new boolean[n][n][n+1];
        vis = new boolean[n][n][n+1];
        return dfs(s1,s2,0,0,n);
    }

    public boolean dfs(String s1,String s2,int i,int j,int k){
        if(k == 1){
            return s1.charAt(i) == s2.charAt(j);
        }

        if(s1.substring(i,i+k).equals(s2.substring(j,j+k))){
            return true;
        }
        if(vis[i][j][k]){
            return mem[i][j][k];
        }
        vis[i][j][k] = true;
        for(int a = 1;a < k;a++){
            if(dfs(s1,s2,i,j,a) && dfs(s1,s2,i+a,j+a,k-a)){
                mem[i][j][k] = true;
                return true;
            }
            if(dfs(s1,s2,i,j+k-a,a) && dfs(s1,s2,i+a,j,k-a)){
                mem[i][j][k] = true;
                return true;
            }
        }
        mem[i][j][k] = false;
        return false;
    }
}