Link with Bracket Sequence I

• f[i][j][k]表示在补全序列的前i位中，包含原序列的前j位，左括号-右括号=k（下标从0开始，天然保证了左括号数量大于等于右括号数量，也就是保证了构造出来的序列肯定是满足成为一个合法括号序列的，后面就不需要再考虑是否合法了），的方案数
• 答案就是f[m][n][0]
• 初始化所有为0，f[0][0][0]为合法=1
• 注意原序列字符串的下标也是从1开始的，因此要s = " " + s
• 如果j=0，也就是一个都不匹配；可以在第i位放左括号，则+=f[i-1][j][k-1]，因此，需要k>=1才行；可以在第i位放右括号，则+=f[i-1][j][k+1]
• 否则，如果s[j]=‘(’，也就是说前j位都匹配了，且第j位为左括号；可以是补全序列的第i位匹配s[j]，则+=f[i-1][j - 1][k - 1]，需要k大于等于1；也可是是补全序列的第[1,i-1]中的某一位匹配上了s[j]，则+=f[i-1][j][k + 1]
• 否则，也就是说前j位都匹配了，且第j位为右括号；可以是补全序列的第i位匹配s[j]，则+=f[i-1][j - 1][k + 1]；也可是是补全序列的第[1,i-1]中的某一位匹配上了s[j]，则+=f[i-1][j][k - 1]，需要k大于等于1

#include <iostream>
#define endl '\n'
#define _(a) cout << #a << ": " << (a) << "    "
using namespace std;
typedef long long ll;
const int N = 210;
const ll mod = 1e9 + 7;

int n, m;
ll f[N][N][N];

void add(ll &a, ll b) {
    a = (a + b) % mod;
}

int main() {
    ios::sync_with_stdio(false); cin.tie(0); cout.tie(0);
    int _; cin >> _;
    while (_ -- ) {
        cin >> n >> m;
        string s;
        cin >> s;
        s = " " + s;
        for (int i = 0; i <= m; ++ i) {
            for (int j = 0; j <= n; ++ j) {
                for (int k = 0; k <= i; ++ k) {
                    f[i][j][k] = 0;
                }
            }
        }
        f[0][0][0] = 1;
        for (int i = 1; i <= m; ++ i) {
            for (int j = 0; j <= min(i, n); ++ j) {
                for (int k = 0; k <= m; ++ k) {
                    if (!j) {
                        add(f[i][j][k], f[i - 1][j][k + 1]);
                        if (k >= 1) add(f[i][j][k], f[i - 1][j][k - 1]);
                    } else if (s[j] == '(') {
                        add(f[i][j][k], f[i - 1][j][k + 1]);
                        if (k >= 1) add(f[i][j][k], f[i - 1][j - 1][k - 1]);
                    } else {
                        add(f[i][j][k], f[i - 1][j - 1][k + 1]);
                        if (k >= 1) add(f[i][j][k], f[i - 1][j][k - 1]);
                    }
                }
            }
        }
        cout << f[m][n][0] << endl;
    }
}