[BZOJ3214][ZJOI2013]丽洁体(Hash+DP)

3214: [Zjoi2013]丽洁体

Time Limit: 10 Sec  Memory Limit: 512 MB
Submit: 906  Solved: 335
[Submit][Status][Discuss]

Description

平时的练习和考试中，我们经常会碰上这样的题：命题人给出一个例句，要我们类比着写句子。这种往往被称为仿

写的题，不单单出现在小学生的考试中，也有时会出现在中考中。许多同学都喜欢做这种题，因为较其它题显得有

趣。仿写的句子往往具有“A__B__C”的形式，其中A，B，C是给定的由一个或多个单词组成的短句，空的部分需要

学生填写。当然，考试的时候空在那里也是可以的。例如，“其实天不暗阴云终要散，其实 ，其实 ，其实路不远

一切会如愿，艰难困苦的日子里我为你祈祷，请你保重每一天”。再比如，“见了大海的汹涌，没见过大山的巍峨

，真是遗憾；见了大山的巍峨，没见过 ，还是遗憾。出发吧，永远出发。 ，人有不老的心情。”由于现在是网络

时代，我们不再只能仿写命题人命的题，我们可以仿写网上各种句子和段落。2011年3月26日，某人在博客上发布

了的消息就惹来了很多人的仿写。 

很难过吧。。。考得完爆了。。。 

。。。。。。其实也没什么可以说的。。。都是蒟蒻的借口罢了。。。 

。。。自己果然还只是半吊子水平呢。。。。 

。。。祝大家都能进省队。。。其实只要不要有遗憾就好了呢。。。 

虽然我很遗憾或许不能走下去了。。。。。 

886 

在网络上广泛流传的仿写，因为在某些地方有独到之处，大都被命名为“某某体”。打开人人，刷新微博，你也能

发现这样和那样的体，比如，对不起体，**说明他爱你体等等。金先生注意到了这一现象，他敏锐地认为这是一个

很有价值的研究课题，于是就其展开研究，打算发一篇paper。由于在网上发消息，人们有了更大的灵活度，人们

有时因为表达的需要，还往原本固定的A, B, C中添加一些修饰的词语。这就给辨别一个句子或段落是否是另一个

句子或段落的仿写增加了困难。金先生现在研究一种形如“A*B*C”的体作品，其中A, B, C分别是某个由若干单词

组成的短句，*代表0个或多个单词。他在网上找了大量的体作品，不过很多体作品不太合乎原作者的格式，也就是

相当于在正规的体作品中插入了0个或多个单词。由于数据量太大，金先生无法一个一个看过去，于是想请你帮忙

，去掉尽量少的单词，使它成为指定的体。

Input

包含4行。 

第一行是某个也许不规范的体作品T， 

接下来三行分别代表A, B, C。

1≤|T|, |A|, |B|, |C|≤50000；所有单词长度不超过5，出现次数不超过500；数据保证答案总存在

Output

仅一行，包含一个数，即最少的去除单词数。

Sample Input

xiang yao yi zhi ai zhe mou wu de hua yi yao guai zhi si lai shuo tai chang le xiang yao shi xian yi qie meng xiang de hua yi ren lei zhi sheng lai shuo tai duan le
yao
tai chang le yao
tai duan le

Sample Output

2
【样例说明】
在上述样例中，不规范的体作品为：“想要一直爱着某物的话，以妖怪之死来说太长了；想要实现一切梦想的话，以人类之生来说太短了”。
规范的体形如：“要*太长了要*太短了”。
修改后的规范的体为：“要一直爱着某物的话，以妖怪之死来说太长了；要实现一切梦想的话，以人类之生来说太短了”。

HINT

Source

[Submit][Status][Discuss]

单词长度不超过5显然就是给我们哈希的，这样就成了字符匹配问题了。

“A和C贪心即可，B在中间枚举搞一搞就好了”

然而发现并不会搞一搞。

f[i]表示到当前为止最靠右的b[i]在哪里，g[i]表示到此为止最少要删多少个单词，每次转移更新一次答案，正确性不难证。

感觉就是先想出一个感觉很不靠谱的做法，然后证明它是靠谱的。

拉链哈希很不熟啊。

#include<cstdio>
#include<algorithm>
#include<cstring>
#define rep(i,l,r) for (int i=l; i<=r; i++)
using namespace std;

const int N=100100,inf=0x3f3f3f3f,P=2010527;
int n,la,lb,lc,i,j,k,l,r,nd,sum,ans=inf,s[N],a[N],b[N],c[N];
int v[N],nxt[N],Nxt[N],h[N],H[P],f[N],g[N];

int Hash(int x){
    int y=H[x%P];
    while (v[y]!=x && y) y=Nxt[y];
    if (v[y]==x) return y;
    v[++nd]=x; Nxt[nd]=H[x%P]; H[x%P]=nd;
    return nd;
}

int find(int x){
    int y=H[x%P];
    while (v[y]!=x && y) y=Nxt[y];
    return y;
}

void getstr(int s[],int &n){
    int x=0; char ch=getchar();
    for (; ch!='\n'; ch=getchar())
        if (ch>='a' && ch<='z') x=x*26+ch-'a';
        else s[++n]=x,x=0;
    if (x) s[++n]=x;
}

int main(){
    freopen("bzoj3214.in","r",stdin);
    freopen("bzoj3214.out","w",stdout);
    getstr(s,n); getstr(a,la); getstr(b,lb); getstr(c,lc);
    for (i=1; i<=lb; i++) k=Hash(b[i]),nxt[i]=h[k],h[k]=i;
    for (l=i=1; i<=la; l++) if (s[l]==a[i]) i++; else sum++;
    for (r=n,i=lc; i; r--) if (s[r]==c[i]) i--; else sum++;
    memset(g,0x3f,sizeof(g));
    for (i=l; i<=r; i++){
        for (j=h[find(s[i])]; j; j=nxt[j])
            if (j==1) f[1]=i,g[1]=0;
                else if (f[j-1]) f[j]=i,g[j]=g[j-1]+i-f[j-1]-1;
        ans=min(ans,g[lb]);
    }
    printf("%d\n",ans+sum);
    return 0;
}