题目连接

题目链接

参考链接

参考链接

参考链接

题解

思路应该是计算出要加的左括号数目，然后再镜像字符串计算出需要添加右括号的数目，相乘即可。因为让他变成一个合法的字符串需要左括号的数目大于等于右括号的字符串，我们第一次可以计算出使得右括号一定有的匹配的方法数再乘另一种情况即可。

f[i][j]的状态表示

(1)集合：只考虑前 i 部分，左括号比右括号多 j 个的所有方案的集合(即不同数量的左括号的方案数)

(2)属性：数量

状态计算：

(1) 若str[i] == '('，易推算出转移方程为f[i][j] = f[i - 1][j - 1]

(2) 若str[i] == ')'，则在只考虑前 i - 1部分时，此时左括号数量最多比右括号多 j + 1个，才可能在第 i 部分通过添加或者不加左括号，达到左括号的数量比右括号多 j 个，故状态转移方程为f[i][j] = f[i - 1][j + 1] + f[i - 1][j] + ...... + f[i - 1][0]，通过完全背包的思维优化这一段转移方程，使得该部分总复杂度由 O(n^3) 降为O(n^2)，优化的状态转移方程为f[i][j] = f[i - 1][j + 1] + f[i][j - 1] (为了防止越界，f[i][0]需要特判)。

#include <algorithm>
#include <bitset>
#include <cmath>
#include <cstdio>
#include <cstdlib>
#include <cstring>
#include <fstream>
#include <iostream>
#include <queue>
#include <set>
#include <stack>
#include <unordered_map>
#include <vector>

using namespace std;
#define x first
#define y second
#define endl '\n'
#define IOS
ios_base::sync_with_stdio(0);
cin.tie(0);
cout.tie(0);
typedef long long ll;
typedef pair<int, int> PII;
typedef unsigned long long ull;
const int INF = 0x3f3f3f3f, mod = 1000000007;
const int N = 2e5 + 10;

int f[5010][5010];

int op(string s)
{
    memset(f, 0, sizeof(f));
    f[0][0] = 1;
    int n = s.size();
    s = ' ' + s;
    for (int i = 1; i <= n; i++) {
        if (s[i] == '(') {
            for (int j = 1; j <= n; j++) {
                f[i][j] = f[i - 1][j - 1];
            }
        } else {
            f[i][0] = (f[i - 1][1] + f[i - 1][0]) % mod;
            for (int j = 1; j <= n; j++) {
                f[i][j] = (f[i - 1][j + 1] + f[i][j - 1]) % mod;
            }
        }
    }
    for (int i = 0; i <= n; i++) {
        if (f[n][i])
            return f[n][i];
    }
    return 0;
}

void solve()
{
    string s;
    cin >> s;
    int l = op(s);
    reverse(s.begin(), s.end());
    for (auto& x : s) {
        if (x == ')')
            x = '(';
        else
            x = ')';
    }
    int r = op(s);
    cout << (1ll * l * r) % mod << endl;
}
int main()
{
    // IOS;
    int t = 1;
    // cin >> t;
    while (t--) {
        solve();
    }
    return 0;
}