力扣 87. 扰乱字符串 记忆化搜索 思维

https://leetcode-cn.com/problems/scramble-string/

思路：先定义一种字符串之间的相似运算：如果字符串a、b长度相等且含有的字符都相同，我们认为a和b相似。显然如果s、t互为扰乱字符串，则它们一定相似。从扰乱字符串的规则可以发现，如果断点是i，那么至少满足以下两种情况的某一种：

• $s[0\dots i]、t[0\dots i]$相似且$s[i+1\dots n)、t[i+1\dots n)$相似。
• $s[0\dots i]、t[i+1\dots n)$相似且$s[i+1\dots n)、t[0\dots i]$相似。

那么我们可以从相似性质入手，写一个函数进行递归判断。但是这样复杂度太高了，所以需要记忆化搜索。我们用$dp[i][j][k]$表示从从$s[i]$开始长为$k$的子串 和 从$t[j]$开始长为$k$的子串是否是扰乱字符串，在搜索的过程中记录解即可。

class Solution {
private:
    // dp[i][j][k] 表示从s[i]开始长为k的子串 和 从t[j]开始长为k的子串 是否有解
    // 1有解 0无解 -1初始化(未计算)
    int dp[30][30][31];
    int sums[31][26],sumt[31][26];
    string s,t;

    bool check(int idxs,int idxt,int len)
    {
        bool flag=1;
        for(int i=0;i<26&&flag;i++)
            flag=(sums[idxs+len][i]-sums[idxs][i])==(sumt[idxt+len][i]-sumt[idxt][i]);
        return flag;
    }

    bool dfs(int idxs,int idxt,int len)
    {
        if(len==1)
            dp[idxs][idxt][len]=(s[idxs]==t[idxt]);
        if(dp[idxs][idxt][len]>=0)
            return dp[idxs][idxt][len];
        for(int i=1;i<len;i++)
        {
            if(check(idxs,idxt,i)&&check(idxs+i,idxt+i,len-i))
                dp[idxs][idxt][len]=(dfs(idxs,idxt,i)&&dfs(idxs+i,idxt+i,len-i));
            if(dp[idxs][idxt][len]>0)
                return 1;
            if(check(idxs,idxt+len-i,i)&&check(idxs+i,idxt,len-i))
                dp[idxs][idxt][len]=(dfs(idxs,idxt+len-i,i)&&dfs(idxs+i,idxt,len-i));
            if(dp[idxs][idxt][len]>0)
                return 1;
        }
        return 0;
    }
public:
    bool isScramble(string s1, string s2) {
        memset(dp,-1,sizeof(dp));
        s=move(s1),t=move(s2);
        sums[1][s[0]-'a']=1;
        for(int i=1;i<s.size();i++)
        {
            for(int j=0;j<26;j++)
                sums[i+1][j]=sums[i][j];
            ++sums[i+1][s[i]-'a'];
        }
        sumt[1][t[0]-'a']=1;
        for(int i=1;i<t.size();i++)
        {
            for(int j=0;j<26;j++)
                sumt[i+1][j]=sumt[i][j];
            ++sumt[i+1][t[i]-'a'];
        }
        return dfs(0,0,s.size());
    }
};