0903 DI 序列的排列

我们给出 S，一个源于 {‘D’, ‘I’} 的长度为 n 的字符串 。（这些字母代表 “减少” 和 “增加”。）
有效排列 是对整数 {0, 1, …, n} 的一个排列 P[0], P[1], …, P[n]，使得对所有的 i：

如果 S[i] == ‘D’，那么 P[i] > P[i+1]，以及；
如果 S[i] == ‘I’，那么 P[i] < P[i+1]。
有多少个有效排列？因为答案可能很大，所以请返回你的答案模 10^9 + 7.

思路：

分治算法+区间动态规划

区间动态规划，令 f(i,j) 表示 j−i+1 个数的排列，满足区间 S(i,j−1) 的方案数；

我们每次枚举最大数字的位置，其中可以放在区间开头，放在区间末尾，或者放在区间中某个位置；

放在区间开头时，若 S(i) == ‘D’，则我们转移 f(i,j) += f(i+1,j)；

放在区间末尾时，若 S(j - 1) == ‘I’，则我们转移 f(i,j) += f(i,j−1)；

否则，枚举位置 k in [i+1,j−1]，将区间分为两部分，若S(k - 1) == ‘I’ 并且 S(k) == ‘D’，则 根据乘法原理和组合数计算，转移 f(i,j) += C(len−1,k−i) ∗ f(i,k−1) ∗ f(k+1,j)，其中 C(len−1,k−i) 为组合数