87. 扰乱字符串（动态规划）

题目

给定一个字符串 s1，我们可以把它递归地分割成两个非空子字符串，从而将其表示为二叉树。

下图是字符串 s1 = "great" 的一种可能的表示形式。

 great
   /    \
  gr    eat
 / \    /  \
g   r  e   at
           / \
          a   t

在扰乱这个字符串的过程中，我们可以挑选任何一个非叶节点，然后交换它的两个子节点。

例如，如果我们挑选非叶节点 "gr" ，交换它的两个子节点，将会产生扰乱字符串 "rgeat" 。

 rgeat
   /    \
  rg    eat
 / \    /  \
r   g  e   at
           / \
          a   t

我们将 "rgeat” 称作 "great" 的一个扰乱字符串。

同样地，如果我们继续交换节点 "eat" 和 "at" 的子节点，将会产生另一个新的扰乱字符串 "rgtae" 。

   rgtae
   /    \
  rg    tae
 / \    /  \
r   g  ta  e
       / \
      t   a

我们将 "rgtae” 称作 "great" 的一个扰乱字符串。

给出两个长度相等的字符串 s1 和 s2，判断 s2 是否是 s1 的扰乱字符串。

示例 1:

输入: s1 = "great", s2 = "rgeat"
输出: true

示例 2:

输入: s1 = "abcde", s2 = "caebd"
输出: false

思路

动态规划：
我们可以定义一个三维数组 dp[i][j][len]，表示 $S_1$ 中以 i 为起点、$S_2$ 中以 j 为起点，长度为 len 的子串 $s_1$、$s_2$，$s_2$ 能否由 $s_1$ 转换得到，
给定两个字符串 TT 和 SS，假设 TT 是由 SS 变换而来

给定两个字符串 T 和 S，假设 T 是由 S 变换而来

• 如果 T 和 S 长度不一样，必定不能变来
• 如果长度一样，顶层字符串 SS 能够划分为 S 1 S_1