2021-04-16 87. 扰乱字符串 [动态规划]

87. 扰乱字符串

首先不要被这道题目是困难给吓到，实际上还是挺简单的。

我们不需要纠结特定的规则，只要关注几个不变量即可。

1. 交换不改变字符串的长度，所以如果长度不同就直接返回False
2. 如果S被分为s1和s2，T被分为t1和t2，则他们相等的必要前提是s1和t1长度相同。此外，s1的构成元素和t1的构成元素相同。

我们引入dp[i][j][l]表示s1[i,i+k-1]是否由s2[j,j+k-1]变换而来。
按照规则和我们的第二点观察，dp[i][j][l]=true一定只可能来自于下面两种情况：

• dp[i][j][k] && dp[i+k][j+k][l-k] : 两者顺序都不变，或都交换了
• dp[i][j+l-k][k] && dp[i+k][j][l-k] : 两者顺序有一个变，一个不变

class Solution {
    public boolean isScramble(String s1, String s2) {
        // 因为变化不会改变字符串长度，所以如果长度不同就直接返回false
        if (s1.length()!=s2.length()) return false;
        char[] c1 = s1.toCharArray();
        char[] c2 = s2.toCharArray();
        int n = s1.length();
        boolean[][][] dp = new boolean[n][n][n+1];  // dp[i][j][k]表示s1[i,i+k-1]是否由s2[j,j+k-1]变换而来
        // 初始化一个字符的情况
        for(int i=0;i<n;i++)
            for(int j=0;j<n;j++)
                dp[i][j][1] = (c1[i]==c2[j]);
        
        // 长度为>=2的情况
        for(int l=2;l<n+1;l++){
            for(int i=0;i<n-(l-1);i++){
                for(int j=0;j<n-(l-1);j++){
                    // 对于切点进行判断
                    for(int k=1;k<l;k++){
                        if(dp[i][j][k] && dp[i+k][j+k][l-k]){
                           dp[i][j][l]=true;
                           break;
                        }
                        if(dp[i][j+l-k][k] && dp[i+k][j][l-k]){
                            dp[i][j][l]=true;
                            break;
                        }
                    }
                }
            }
        }
        return dp[0][0][n];
    }
}