8.动态规划算法之区间dp

区间dp

CSP-S2021弱化版

就是被小w一眼秒掉的模板题

题目描述：一个长度为 n 且符合规范的括号序列，其有些位置已经确定了，有些位置尚未确定，求这样的括号序列一共有多少个。

尚未确定的位置用*表示，答案对1e9+7取模

解法：

定义f[i][j] 区间[i,j]中指定*之后合法的方案数,其中str[i]、str[j]不一定匹配的

容易想到状态转移方程f[i][j]=f[i-1][j-1]+sum(f[i][k]*f[k+1][j])

其中f[i-1][j-1]表示(A)的情况sum(f[i][k]*f[k+1][j])表示AB的情况，其中AB和合法的括号串

但是这样出锅了，锅出在如果出现对称的情况，由于f数组定义为i不一定匹配上j所以中间有一段可能在靠近j处算了一次，靠近i处算了一次，（实际上是每个断点都会计算）这种重复计算是不允许的。

考虑对匹配情况进行不重不漏的分类，考虑所有情况可以分成枚举k和i必须匹配的多种情况

因此状态转移方程可以写成这样

f[i][j]=f[i-1][j-1]+sum(f[i+1][k-1]*f[k+1][j])其中i必须与k匹配

为了更好的理解，我们可以定义g[i,j]，区间[i,j]中指定*之后合法的方案数,其中str[i]、str[j]一定匹配的 转移方程变为

g[i][j]=f[i-1][j-1] ( str[i]!=')' && str[j]!&#