CF1015F

玄学字符串dp...

题意：给定一个括号序列，求长度为2n的合法的括号序列的个数（要求每个被统计的合法序列中均至少有一个子串为给定的括号序列）

题解：

这题没有想的那么复杂，就是暴力的一个dp

首先我们设状态f[i][j][k][0/1]表示当前放到了第i个括号，前i个括号中左右括号个数差为j，已经放好的括号中长为k的部分能与s相匹配，0/1表示之前是否存在与s能匹配上的一整个子串

那么我们考虑转移：

首先我们可以枚举第i位放左括号还是右括号，如果放左括号，左右括号差值+1，否则差值-1，这些都好办，问题在于后两维！

那么显然我们要枚举原来与s匹配了多少，接下来在新放上一个括号之后，我们要考虑加上一个括号之后这一新的后缀能匹配s多长，那这一点可以kmp预处理或者暴力预处理，这里我选择暴力预处理。

于是我们只需要借助上面处理出的辅助数组进行转移即可

最后统计所有可行答案。

#include <cstdio>
#include <cmath>
#include <cstring>
#include <cstdlib>
#include <iostream>
#include <algorithm>
#include <queue>
#include <stack>
#define mode 1000000007
#define ll long long
using namespace std;
ll f[205][105][205][2];
ll len[205][2];
char s[205];
char p[205];
int n;
int solve(int ilen)
{
	for(int i=ilen;i>0;i--)//?????? 
	{
		bool flag=0;
		for(int j=0;j<i;j++)
		{
			if(p[ilen-i+j]!=s[j])
			{
				flag=1;
				break;
			}
		}
		if(!flag)
		{
			return i;
		}
	}
	return 0;
}
int main()
{
	scanf("%d",&n);
	scanf("%s",s);
	int l=strlen(s);
	if(s[0]=='(')
	{
		len[0][0]=1;
	}else
	{
		len[0][1]=1;
	}
	for(int i=0;i<l;i++)
	{
		p[i]=s[i];
		p[i+1]='(';
		len[i+1][0]=solve(i+2);
		p[i+1]=')';
		len[i+1][1]=solve(i+2);
	}
	f[0][0][0][0]=1;
	for(int i=1;i<=2*n;i++)//???????λ 
	{
		for(int j=0;j<=n;j++)//?????????????? 
		{
			for(int k=0;k<=l;k++)//?????????????? 
			{
				for(int t=0;t<=1;t++)
				{
					if(!f[i-1][j][k][t])
					{
						continue;
					}
					if(j+1<=n)
					{
						f[i][j+1][len[k][0]][t|(len[k][0]==l)]+=f[i-1][j][k][t];
						f[i][j+1][len[k][0]][t|(len[k][0]==l)]%=mode;
					}
					if(j>0)
					{
						f[i][j-1][len[k][1]][t|(len[k][1]==l)]+=f[i-1][j][k][t];
						f[i][j-1][len[k][1]][t|(len[k][1]==l)]%=mode;
					}
				}
			}
		}
	}
	ll ans=0;
	for(int i=0;i<=l;i++)
	{
		ans+=f[2*n][0][i][1];
		ans%=mode;
	}
	printf("%lld\n",ans);
	return 0;
}