Codeforces 629C - Famil Door and Brackets dp

题目：629C - Famil Door and Brackets

题意：

给出长度为m的含有（）的字符串s，要求在s的前面和后面各加上一个字符串p,q(可以是空串），构成长度为n的合法串。

分析：合法串就是对于任意位置的括号前缀和大于等于0，且最后的前缀和为0。

枚举这个字符串前面p字符串的长度，可以使得p字符串的前缀和大于等于字符串s的最小前缀和minn，那么p+s就符合前缀和大于等于0，然后q的方案数也能确定了。用dp[i][j]表示i个括号平衡度为j的方案数，那么可以先预处理出来dp的值。然后我们算出s字符串的最小前缀和minn，最后我们只要枚举p的长度i和平衡度j，那么sum+=dp[i][j]*dp[n-m-i][pre+j],pre是整个s字符串的平衡度,因为整个串的平衡度是0，所以pre+j为q的平衡度，可以理解为与p+s是（++,q是)++，所以最后可以和保证整个串合法。

#include<iostream>
#include<cstdio>
#include<cstring>
#include<algorithm>
#include<cmath>
#define mem(a,b) memset(a,b,sizeof(a))
using namespace std;
typedef long long ll;
const int N=1e5+5;
const int INF=0x3f3f3f3f;
const int mod=1e9+7;
ll f[2002][2002];
char s[N];
void init()
{
    mem(f,0);
    f[0][0]=1;
    for(int i=1;i<=n-m;i++){
        f[i][0]=f[i-1][1];
        for(int j=1;j<=i;j++){
            f[i][j]=(f[i-1][j-1]+f[i-1][j+1])%mod;
        }
    }
}
int main()
{
    int n,m;
    //freopen("f.txt","r",stdin);
    scanf("%d%d",&n,&m);
    scanf("%s",s);
    init();
    int pre=0,minn=INF;
    for(int i=0;i<m;i++){
        if(s[i]=='(')pre++;
        else pre--;
        minn=min(minn,pre);
    }
    ll sum=0;
    for(int i=0;i<=n-m;i++){
        for(int j=0;j<=i;j++){
            if(j+minn>=0&&j+pre<=n-m-i)
                sum=(sum+f[i][j]*f[n-m-i][j+pre])%mod;
        }
    }
    cout<<sum<<endl;
    return 0;
}