自己练得还是不够啊,这种简单的dp题都不会……不过这题确实有点敲门,好题
首先是要注意到题目给出的括号匹配序列的要求:每个前缀都大于等于0,全部串等于0,就要据此来枚举结果
首先枚举左边的部分,要满足左边部分每个前缀都大于等于0,并且和右边结合之后每个前缀都大于等于0
于是要求出右边)比(最多的情况,然后枚举左边长度之后,枚举左边可能的(-)的长度情况
要枚举这么多显然比较复杂,把要枚举的量用状态来表示,通过dp算出每个状态的值
dp[i][j]表示长度为i,每个前缀都大于等于0,最后(比)多j个的种数,这样就好做了
接下来要枚举右边的部分,这里有个敲门开始没想通,要满足任何一个前缀大于0,并且总共等于0,现在前面的前缀都大于0了,只要再满足后面几个后缀都<=0并且总共=0
所以枚举右边的部分可以根据对称性,是)比(多的个数,然后乘一下就好了
dp的每个状态,就是对结果有同样贡献的一类枚举量的总体,可以通过给状态增加维度来扩大状态的意义,易于转移却需要空间,要抽象出对问题有帮助的状态
参考网上题解之后的AC代码
//没有充分利用题目给出的条件,题目抽象出了两个性质,要利用好
//在求解p部分的时候,充分考虑对成性,好题啊!
#include<stdio.h>
#include<string.h>
#include<string>
#include<iostream>
#include<algorithm>
using namespace std;
const int M = 1000000007;
int n,m;
string s;
long long dp[2001][2001];//长度为i,(-)=j,且每个前缀都大于等于0的个数
void init()
{
dp[0][0] = 1;//空串
for (int i = 1; i <= 2000; i++){
dp[i][0] = dp[i - 1][1];//只能是i-1时候是一个,然后加一个);
for(int j = 1; j <= i; j++){
dp[i][j] = (dp[i - 1][j - 1] + dp[i - 1][j + 1]) % M;
//cout << i <<' ' << j << ' ' << dp[i][j] << '\n';
}
}
return ;
}
int main()
{
//freopen("output.txt","w",stdout);
cin >> n >> m;
cin >> s;
int pre = 0;
int maxx = -5000;
long long ans = 0;
memset(dp,0,sizeof(dp));
init();
for(int i = 0; i < m; i++){
if (s[i] == ')') pre++;
else pre--;
maxx = max(pre,maxx);//最多的)比(多的个数
}
pre = -pre;//结束的平衡度
//cout << maxx << ' ' << pre;
for(int i = 0; i <= n - m; i++){//枚举左边串的长度
for(int j = 0; j <= i; j++){//每种( - )的情况
if (j >= maxx && pre + j <= n - m - i){//左边满足条件,且右边有条件满足
//cout << "dp[i][j]:" << dp[i][j] << '\n';
ans = (ans + dp[i][j] * dp[n - m - i][pre + j]) % M; //这个是)比(多的情况了,不过一样的,是从右往左放的
}
}
}
cout << ans << '\n';
return 0;
}