题解:
令f[i][j][k]表示i到j这段区间能否用k来演变出来。然后,没了
#include<iostream>
#include<cstdio>
#include<cstring>
#include<algorithm>
#define MAXN 210
#define MAXK 5
using namespace std;
bool f[MAXN][MAXN][MAXK],to[MAXK][MAXK][MAXK];
char s[MAXN];int a[MAXN],n[MAXK];
inline char tos(int x)
{
switch(x)
{
case 1:return 'W';
case 2:return 'I';
case 3:return 'N';
case 4:return 'G';
}
return 0;
}
inline int calc(char ch)
{
if(ch=='W') return 1;
else if(ch=='I') return 2;
else if(ch=='N') return 3;
else return 4;
}
int main()
{
scanf("%d%d%d%d",&n[1],&n[2],&n[3],&n[4]);
for(int i=1;i<=4;i++)
for(int j=1;j<=n[i];j++)
{
char t[5];scanf("%s",t+1);
to[i][calc(t[1])][calc(t[2])]=true;
}
scanf("%s",s+1);int len=strlen(s+1);
for(int i=1;i<=len;i++) a[i]=calc(s[i]);
for(int i=1;i<=len;i++)
f[i][i][a[i]]=true;
for(int l=1;l<len;l++)
for(int i=1;i+l<=len;i++)
for(int k=1;k<=4;k++)
for(int p=i;p<i+l;p++)//[i,p],[p+1,j]
for(int k1=1;k1<=4;k1++)
for(int k2=1;k2<=4;k2++)
if(f[i][p][k1]&&f[p+1][i+l][k2]&&to[k][k1][k2])
f[i][i+l][k]=true;
bool has_ans=false;
for(int i=1;i<=4;i++)
if(f[1][len][i])
printf("%c",tos(i)),
has_ans=true;
if(!has_ans) printf("The name is wrong!\n");
return 0;
}