BZOJ P1212 [HNOI2004] L语言

标点符号的出现晚于文字的出现，所以以前的语言都是没有标点的。现在你要处理的就是一段没有标点的文章。 一段文章T是由若干小写字母构成。一个单词W也是由若干小写字母构成。一个字典D是若干个单词的集合。 我们称一段文章T在某个字典D下是可以被理解的，是指如果文章T可以被分成若干部分，且每一个部分都是字典D中的单词。 例如字典D中包括单词{‘is’, ‘name’, ‘what’, ‘your’}，则文章‘whatisyourname’是在字典D下可以被理解的 因为它可以分成4个单词：‘what’, ‘is’, ‘your’, ‘name’，且每个单词都属于字典D，而文章‘whatisyouname’ 在字典D下不能被理解，但可以在字典D’=D+{‘you’}下被理解。这段文章的一个前缀‘whatis’，也可以在字典D下被理解 而且是在字典D下能够被理解的最长的前缀。 给定一个字典D，你的程序需要判断若干段文章在字典D下是否能够被理解。 并给出其在字典D下能够被理解的最长前缀的位置。

--byBZOJ

http://www.lydsy.com/JudgeOnline/problem.php?id=1212

---

---

算是AC-自动机？DP？

好吧也许不算；

她就是个Trie上的暴力么。。。

对文章的每个前缀f[i](长度为i)

f[i]合法，仅当存在：f[j](j<i)合法，且j+1到i为一个单词

然后，就对于每个i，枚举j(i-j>10)：使f[j]合法，且j+1到i能被一个单词匹配

对了就是匹配，建个AC-自动机，因为连fail都不（能）用，所以也就是个trie树了，对j+1到i进行匹配就行了。

代码如下：

 #include<cstdio>
 #include<cstring>
 using namespace std;
 int m,n;
 char s[];
 char word[];
 struct ss{
     int ch[];
 }trie[];
 int tot,biggest,smallest;
 int is_end[],fail[];
 int f[];
 int que[];
 void bfs_fail();
 void compare();
 int main()
 {
     int i,j,k,len;
     scanf("%d%d",&n,&m);
     for(i=;i<=n;i++){
         getchar();
         scanf("%s",s);
         len=strlen(s)-;k=;
         if(len>biggest)biggest=len;
         if(len<smallest)smallest=len;
         for(j=;j<=len;j++){
             if(!trie[k].ch[s[j]-'a'])
                 trie[k].ch[s[j]-'a']=++tot;
             k=trie[k].ch[s[j]-'a'];
         }
         is_end[k]=;
     }
     for(i=;i<=m;i++){
         getchar();
         scanf("%s",word);
         compare();
     }
     return ;
 }
 void compare(){
     memset(f,,sizeof(f));
     int i,j,tem1=,tem2=,ans=,len=strlen(word)-;
     f[]=;
     for(i=;i<=len+;i++){
         for(j=i-smallest+;j>=&&j>=i-biggest-;j--)
             if(f[j]){
                 tem1=;tem2=j;
                 while(tem2<=i-){
                     if(trie[tem1].ch[word[tem2]-'a']){
                         tem1=trie[tem1].ch[word[tem2]-'a'];
                         tem2++;
                     }
                     else
                         break;
                 }
                 if(tem2==i&&is_end[tem1]){
                         f[i]=;
                         ans=i;
                         break;
                 }
             }
     }
     printf("%d\n",ans);
 }

祝AC哟！