要解决本题首先需要解决的前置知识
题目描述
Link has a bracket sequence a of length n, which is a subsequence of a valid bracket sequence b of length mm.
Link doesn’t remember b, so he wonders the number of possible sequences bb.
A bracket sequence is valid if it satisfies any of the following conditions:
Its length is 00.
It can be represented as (A), where AA is a valid bracket sequences.
It can be represented as AB, where AA and BB are both valid bracket sequence.
A sequence a is a subsequence of a sequence b if a can be obtained from b by deletion of several (possibly, zero or all) elements.
简单翻译
~~~~~ 简单来说就是给你一个可能是非法的长度是n的括号序列,它是一个长度为m的合法的括号序列的子序列,然后让你求原序列有多少种可能
题目解析
~~~~~~
首先看清出这个题目之后就会想到要用dp去做,这道首先要知道两个性质,一个是括号序列的性质,一个是由子序列扩充为原序列不重复的性质,括号序列的性质就是任一一个括号序列的前缀中左括号的数量都要大于等于右括号的数量,我们可以根据这一个性质来划分括号序列,另一个性质就是关于一个子序列扩充为原,序列的方案数的,就是说如果一个长度为m的子序列扩充为长度为n的原序列,如果首先固定子序列在原序列中的位置去枚举每一个子序列字符的位置,所有可能的位置数就是C(n,m),那么如何保证这C(n,m)种位置所扩充出来的原序列都是不相同的呢,答案就是在填充字符时是当前字符与它前面最近的子序列字符不相同即可,证明这里就不证了,那么这里也要用到这种性质来保证保证不重复。
~~~~~~
状态定义f[i][j][k]表示当前已经填充了原序列前i个括号并且子序列已经填充到第j个括号且左括号比右括号多的数量,第三维就是用到了第一个性质,那么状态转移就是枚举第j个括号是否填到第i个位置,
- 若填,则区分左括号和右括号,从f[i-1][j-1][]状态转移过来,注意左括号比右括号多的数量变换
- 若不填,则子序列第j个括号填到1~i-1位置里面,第i个位置只能填充和子序列j 个括号相反的括号,这里用到第2个性质,否则如果都填,此状态所累加的状态将会有重复,状态由f[i-1][j][]转移过来,状态之间的关系都是累加
代码
#include<iostream>
#include<cstring>
#include<cstdio>
#include<algorithm>
using namespace std;
typedef long long ll;
const int N=210;
const int mod=1e9+7;
char str[N];
ll f[N][N][N];
int n,m;
int main()
{
int T;
cin>>T;
while(T--)
{
scanf("%d%d",&n,&m);
scanf("%s",str+1);
for(int i=0;i<=m;i++)
for(int j=0;j<=n;j++)
for(int k=0;k<=m;k++)
f[i][j][k]=0;
f[0][0][0]=1;
for(int i=1;i<=m;i++)
for(int j=0;j<=i;j++)
{
if(j==0)f[i][0][j]=(f[i][0][j]+f[i-1][0][j+1])%mod;
else f[i][0][j]=(f[i][0][j]+f[i-1][0][j+1]+f[i-1][0][j-1])%mod;
}
for(int i=1;i<=m;i++)
for(int j=1;j<=min(i,n);j++)
for(int k=0;k<=i;k++)
{
if(str[j]=='(')
{
if(k!=0)
f[i][j][k]=(f[i][j][k]+f[i-1][j-1][k-1])%mod;
f[i][j][k]=(f[i][j][k]+f[i-1][j][k+1])%mod;
}
if(str[j]==')')
{
f[i][j][k]=(f[i][j][k]+f[i-1][j-1][k+1])%mod;
if(k!=0)
f[i][j][k]=(f[i][j][k]+f[i-1][j][k-1])%mod;
}
}
cout<<f[m][n][0]<<endl;
}
return 0;
}