codeforce 343div2 C dp好题

自己练得还是不够啊，这种简单的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;
}