【蓝桥杯】括号序列

题目描述
给定一个括号序列，要求尽可能少地添加若干括号使得括号序列变得合法，当添加完成后，会产生不同的添加结果，请问有多少种本质不同的添加结果。

两个结果是本质不同的是指存在某个位置一个结果是左括号，而另一个是右括号。

例如，对于括号序列 ((()((()，只需要添加两个括号就能让其合法，有以下几种不同的添加结果：()()()()()()、()(())()(())、(())()(())()、(()())(()()) 和 ((()))((()))​。

输入描述
输入一行包含一个字符串 s，表示给定的括号序列，序列中只有左括号和右括号。

输出描述
输出一个整数表示答案，答案可能很大，请输出答案除以 1000000007 (即 $10^9+7$) 的余数。
样例输入

((()

样例输出

5

评测用例规模与约定
$对于\%40的评测用例，|s|\le 200。$

$对于所有评测用例，1\le |s|\le 5000。$

运行限制
最大运行时间：5s
最大运行内存: 512M

看到$100\%$的数据范围很明显搜索不行，考虑动态规划。
先分析题目，对于此类括号匹配的问题，只有左括号多于右括号才有可能成为合法序列，所以构造状态$dp[i][j]$表示到字符串的第$i$位左括号比右括号多$j$个的方案。添加右括号的方案只需要把原序列反置计算一边就可以了。
计算左括号添加方案时，因为要求我们添加的括号最少，所以我们添加的左括号只能去结合原序列中的右括号，而不能和我们添加的右括号进行结合，所以我们添加左括号的方案和添加右括号的方案是互不干扰的，结果把它们相乘就可以了。
考虑添加左括号，以右括号为分界，则每两个右括号之间添加左括号只有个数区别，没有顺序区别。
所以状态转移方程
若当前为左括号，则$dp[i][j]=dp[i-1][j-1]$
若当前为右括号，则$dp[i][j]=dp[i-1][0]+dp[i-1][1]+\cdots +dp[i-1][j+1]$
\qquad\qquad\qquad\quad 即$dp[i][j]=dp[i][j-1]+dp[i-1][j+1]$

附上代码

#include<iostream>
#include<cstdio>
#include<cstring>
#define LL long long

using namespace std;

const int MAXN = 5005;
const int MOD = 1e9 + 7;
char s[5005];
LL dp1[MAXN][MAXN],dp2[MAXN][MAXN];
int n;

void DP(LL f[][MAXN]){
	memset(f,0,sizeof(f));
	f[0][0] = 1;
	for(int i = 1; i <= n; i ++)
		if(s[i - 1] == '(')
			for(int j = 1; j <= n; j ++)
				f[i][j] = f[i - 1][j - 1];
		else {
			f[i][0] = (f[i - 1][1] + f[i - 1][0]) % MOD;
			for(int j = 1; j <= n; j ++)
				f[i][j] = (f[i - 1][j + 1] + f[i][j - 1]) % MOD;
		}
}

int main(){
	scanf("%s",s);
	n = strlen(s);
	DP(dp1);
	for(int i = 0; i < n / 2; i ++)
		swap(s[i],s[n - i - 1]);
	for(int i = 0; i < n; i ++)
		if(s[i] == '(') s[i] = ')';
		else s[i] = '(';
	DP(dp2);
	LL ans1 = 0,ans2 = 0;
	for(int i = 0; i <= n; i ++)
		if(dp1[n][i]) {
			ans1 = dp1[n][i];
			break;
		}
	for(int i = 0; i <= n; i ++)
		if(dp2[n][i]) {
			ans2 = dp2[n][i];
			break;
		}
	printf("%d",ans1 * ans2 % MOD);
	return 0;
}