[bzoj 2121]字符串游戏

BX正在进行一个字符串游戏，他手上有一个字符串L，以及其他一些字符串的集合S，然后他可以进行以下操作：对于一个在集合S中的字符串p,如果p在L中出现，BX就可以选择是否将其删除，如果删除，则将删除后L分裂成的左右两部分合并。举个例子，L=‘abcdefg’ ,S={‘de’}，如果BX选择将’de’从L中删去，则删后的L=‘abcfg’。现在BX可以进行任意多次操作（删的次数，顺序都随意），他想知道最后L串的最短长度是多少。

这道题dp挺妙地，可以发现瓶颈是如何判断两个区间拼起来可以被删除，那我们可以记录从l到r是否可以被集合里的某个子串的前几个字符所表示（因为只有这些信息是有用的）。
那我们就可以根据这个定义f数组，之后就可以dp，再记录个g数组记录最短长度就可以辅助dp方程了。之后就可以自己做了。

#include<cstdio>
#include<cstring>
#include<cmath>
#include<algorithm>
#include<cstdlib>
#define P 13331
using namespace std;
inline int read()
{
    int x=0,f=1;char ch=getchar();
    while(ch<'0' || ch>'9'){if(ch=='-')f=-1;ch=getchar();}
    while(ch>='0' && ch<='9')x=x*10+ch-'0',ch=getchar();
    return x*f;
}
inline void write(int x)
{
    if(x<0)putchar('-'),x=-x;
    if(x>9)write(x/10);
    putchar(x%10+'0');
}
inline void pr1(int x){write(x),putchar(' ');}
inline void pr2(int x){write(x),puts("");}
char ss[155],s[35][25];
int a[35],g[155][155];
bool f[155][155][35][25];
unsigned long long sum[155],tot[35][25],bin[155];
int main()
{
    //freopen("2121.in","r",stdin);
    //freopen("2121.out","w",stdout);
    bin[0]=1;for(int i=1;i<=150;i++)bin[i]=bin[i-1]*P;
    scanf("%s",ss+1);int len=strlen(ss+1);
    for(int i=1;i<=len;i++)sum[i]=sum[i-1]*P+ss[i]-'a'+1;
    int n=read();
    for(int i=1;i<=n;i++)
    {
        scanf("%s",s[i]+1),a[i]=strlen(s[i]+1);
        for(int j=1;j<=a[i];j++)tot[i][j]=tot[i][j-1]*P+s[i][j]-'a'+1;
    }
    for(int d=1;d<=len;d++)
    {
        for(int l=1;l+d-1<=len;l++)
        {
            int r=l+d-1;
            g[l][r]=d;
            for(int i=1;i<=n;i++)
            {
                if(a[i]<d)continue;
                if(sum[r]-sum[l-1]*bin[d]==tot[i][d]){f[l][r][i][d]=true;if(d==a[i])g[l][r]=0;}
            }
            for(int p=l;p<r;p++)
            {
                g[l][r]=min(g[l][r],g[l][p]+g[p+1][r]);
                for(int i=1;i<=n;i++)
                {
                    for(int j=1;j<=a[i];j++)
                    {
                        if(!f[l][p][i][j])continue;
                        if(!g[p+1][r])f[l][r][i][j]=true;
                        if(r-p>a[i]-j)continue;
                        if(sum[r]-sum[p]*bin[r-p]==tot[i][j+r-p]-tot[i][j]*bin[r-p]){f[l][r][i][j+r-p]=true,g[l][r]=min(g[l][r],j+r-p);if(r-p==a[i]-j)g[l][r]=0;}
                    }
                }
            }
        }
    }pr2(g[1][len]);
    return 0;
}