codeforces 629C

//我们将题意修改一下，如果出现左括号，则对平衡值加一，如果出现右括号则把平衡值建议。
//那么我们的条件就变成时刻保持平衡值为非负，并且保证最后平衡值为零
//假设dp[i][j]表示长度为i的字符串平衡值为j的时候的情况个数，并且满足中间过程中不会出现
//平衡值小于零的情况。那么我们的解法就是先计算dp[i][j]，然后枚举左边字符串的i,j，如果满足
//if(j+minn>=0&&j+tmp<=n-m-i)的条件，那么ans+=dp[i][j]*dp[n-m-i][j+tmp]，dp[n-m-i][j+tmp]
//的意思是，长度为n-m-i的字符串，平衡值为-(j+tmp)的情况，因为-(j+tmp)其实和(j+tmp)对应的情况是
//相等的，所以代换一下
#include <cstdio>
#include <iostream>
#include <cstring>
#include <algorithm>
#include <set>
#include <queue>
#include <map>
#include <cmath>
#include <vector>
using namespace std;
#define N 500010
#define pi acos(-1.0)
#define inf 0x3f3f3f3f
#define pb(x) push_back((x))
typedef __int64 ll;
typedef unsigned long long ull;
ll mod=1e9+7;
ll dp[2010][2010];
char str[100010];
int main(){
    dp[0][0]=1;
    for(int i=1;i<=2000;i++){
        for(int j=0;j<=i;j++){
            if(j>0) dp[i][j]+=dp[i-1][j-1];   //为了防止中间J变为负使得不满足平衡值一直大于零的条件
            dp[i][j]+=dp[i-1][j+1];
            dp[i][j]%=mod;
        }
    }
    int n,m;
    while(~scanf("%d%d",&n,&m)){
        scanf("%s",str);
        int len=strlen(str);
        int minn=inf,tmp=0;
        for(int i=0;i<len;i++){
            if(str[i]=='(') tmp++;
            else tmp--;
            minn=min(minn,tmp);
        }
        ll ans=0;
        for(int i=0;i<=n-m;i++){
            for(int j=0;j<=i;j++){
                if(j+minn>=0&&j+tmp<=n-m-i) ans+=dp[i][j]*dp[n-m-i][j+tmp];
                ans%=mod;
            }
        }
        printf("%I64d\n",ans);
    }
    return 0;
}