149D - Coloring Brackets(区间DP 记忆化搜索)

题意：

要求你对一个合法的括号序列进行染色，并且需要满足以下条件

1、要么不染色，要么染红色或者蓝色

2、对于任何一对括号，他们当中有且仅有一个被染色

3、相邻的括号不能染相同的颜色

//区间DP 记忆化搜索
//虽然没做过记忆化搜索的题  也不知道什么是记忆化搜索
//但见网上大神们都这样说 我也是看他们的思路那就这样叫吧
//记忆化搜索 应该就是每搜到一种状态就把这种状态存起来 以后再用的时候就不用再去搜了




//dp[i][j][c1][c2]表示i到j区间第i个括号染色为c1，第j个括号染色为c2的所有符合要求的情况数


#include<stdio.h>
#include<stack>
#include<string.h>


using namespace std;


#define N 710
#define mod 1000000007


__int64 dp[N][N][3][3];
int mach[N];//mach[i]=j 第i个括号也第几个括号匹配
char str[N];
int len;


int chick(int a,int b)//相邻的两个括号判断是否合法
{
return a==0||b==0||a!=b;
}
void build()//找到括号的匹配关系
{
int i;
stack<int>q;
for(i=1;i<=len;i++)
{
if(str[i]=='(')
q.push(i);
else
{
mach[q.top()]=i;
mach[i]=q.top();
q.pop();
}
}
memset(dp,-1,sizeof(dp));
}
__int64 dfs(int l,int r,int c1,int c2)
{
int i,j;
__int64 ret=0;

if(dp[l][r][c1][c2]>=0)//如果当前的状态已经被记录过就直接返回所存的数据
return dp[l][r][c1][c2];
if(mach[l]==r)//区间两端的括号匹配
{
if((c1==0)^(c2==0))//因为两端的括号匹配  检验它们的染色是否合法
{
if(l+1==r)
{
dp[l][r][0][1]=1;
dp[l][r][0][2]=1;
dp[l][r][1][0]=1;
dp[l][r][2][0]=1;
return 1;
}
else
{

for(i=0;i<3;i++)
for(j=0;j<3;j++)
{
if(chick(i,c1)&&chick(j,c2))
{
ret=(ret+dfs(l+1,r-1,i,j))%mod;
}
}
}
}
else
{
return dp[l][r][c1][c2]=0;
}
}
else
{
for(i=0;i<3;i++)
for(j=0;j<3;j++)
{
if(chick(i,j))
{
ret=(ret+dfs(l,mach[l],c1,i)*dfs(mach[l]+1,r,j,c2))%mod;
}
}
}
return dp[l][r][c1][c2]=ret%mod;//一定记着返回之前记录当前这种状态
}
int main()
{
int i,j;
while(gets(str+1))
{
len=strlen(str+1);
build();

__int64 ans=0;
for(i=0;i<3;i++)
for(j=0;j<3;j++)
{
ans=(ans+dfs(1,len,i,j))%mod;
}
printf("%I64d\n",ans);
}
return 0;
}