bzoj 1055 [HAOI2008]玩具取名

Description
某人有一套玩具，并想法给玩具命名。首先他选择WING四个字母中的任意一个字母作为玩具的基本名字。然后
他会根据自己的喜好，将名字中任意一个字母用“WING”中任意两个字母代替，使得自己的名字能够扩充得很长。
现在，他想请你猜猜某一个很长的名字，最初可能是由哪几个字母变形过来的。

Input
第一行四个整数W、I、N、G。表示每一个字母能由几种两个字母所替代。接下来W行，每行两个字母,表示W可以用这两个字母替代。接下来I行，每行两个字母,表示I可以用这两个字母替代。接下来N行，每行两个字母,表示N可以用这两个字母替代。接下来G行，每行两个字母,表示G可以用这两个字母替代。最后一行一个长度不超过Len的字符串。表示这个玩具的名字。

Output
一行字符串，该名字可能由哪些字母变形而得到。（按照WING的顺序输出）如果给的名字不能由任何一个字母变形而得到则输出“The name is wrong!”

Sample Input
1 1 1 1
II
WW
WW
IG
IIII

Sample Output
IN

HINT
W可以变成II所以IIII可以缩成WW IN均能变成WW所以WW又可以缩成I或者N 所以最终答案应该按照“WING”的顺序输出IN

[数据范围]
100%数据满足Len<=200，W、I、N、G<=16

Solution

这题一开始是写对的，后面自以为想出了一个好样例，然后改了改程序，反而WA了。。。
W能变成II
I能变成II
名字是WW
其实这是无解的，但我当时想：
I->II
II->IIII
IIII->WW
但其实这样是不合法的，因为IIII不可能再缩成WW，名字只会由一个字母变成两个字母扩张开来。

因为一个字母只能变成两个字母，所以状态还是很好想的
$f[l][r][c]表示[l,r]能否变成字母c$
只要枚举c的每种方案，然后把区间分割开来做区间dp就可以了。

#include<cstdio>
#include<iostream>
#include<cstring>
#include<algorithm>
using namespace std;
int len;
char s[205],a[5][17][3];
int b[5],f[205][205][5];
int CH(char x)
{
    if(x=='W') return 1;
    if(x=='I') return 2;
    if(x=='N') return 3;
    if(x=='G') return 4;
}
int dp(int l,int r,char x,int y)
{
    if(l==r) return s[l]==x;
    if(f[l][r][y]!=-1) return f[l][r][y];
    int ok=0;
    for(int i=1;i<=b[y];i++) 
    {
        for(int j=l;j<r;j++) 
        if(dp(l,j,a[y][i][1],CH(a[y][i][1]))&&dp(j+1,r,a[y][i][2],CH(a[y][i][2]))) ok=1;
    }
    return f[l][r][y]=ok;
}
int main()
{
    cin>>b[1]>>b[2]>>b[3]>>b[4];
    for(int i=1;i<=b[1];i++) scanf("%s",a[1][i]+1); //W
    for(int i=1;i<=b[2];i++) scanf("%s",a[2][i]+1); //I
    for(int i=1;i<=b[3];i++) scanf("%s",a[3][i]+1); //N
    for(int i=1;i<=b[4];i++) scanf("%s",a[4][i]+1); //G
    scanf("%s",s+1);
    memset(f,-1,sizeof(f));
    len=strlen(s+1);
    int ok=0;
    if(dp(1,len,'W',1)) ok=1,printf("W");
    if(dp(1,len,'I',2)) ok=1,printf("I");
    if(dp(1,len,'N',3)) ok=1,printf("N");
    if(dp(1,len,'G',4)) ok=1,printf("G");
    if(!ok) printf("The name is wrong!");
    return 0;
}