[HNOI2004]L语言

题目描述

标点符号的出现晚于文字的出现，所以以前的语言都是没有标点的。现在你要处理的就是一段没有标点的文章。

一段文章T是由若干小写字母构成。一个单词W也是由若干小写字母构成。一个字典D是若干个单词的集合。我们称一段文章T在某个字典D下是可以被理解的，是指如果文章T可以被分成若干部分，且每一个部分都是字典D中的单词。

例如字典D中包括单词{‘is’, ‘name’, ‘what’, ‘your’}，则文章‘whatisyourname’是在字典D下可以被理解的，因为它可以分成4个单词：‘what’, ‘is’, ‘your’, ‘name’，且每个单词都属于字典D，而文章‘whatisyouname’在字典D下不能被理解，但可以在字典DL’=D+{‘you’}下被理解。这段文章的一个前缀‘whatis’，也可以在字典D下被理解，而且是在字典D下能够被理解的最长的前缀。

给定一个字典D，你的程序需要判断若干段文章在字典D下是否能够被理解。并给出其在字典D下能够被理解的最长前缀的位置。

输入输出格式

输入格式：
输入文件第一行是两个正整数n和m，表示字典D中有n个单词，且有m段文章需要被处理。之后的n行每行描述一个单词，再之后的m行每行描述一段文章。

其中1<=n, m<=20，每个单词长度不超过10，每段文章长度不超过1M。

输出格式：
对于输入的每一段文章，你需要输出这段文章在字典D可以被理解的最长前缀的位置。

输入输出样例

输入样例#1：
4 3
is
name
what
your
whatisyourname
whatisyouname
whaisyourname

输出样例#1：
14 （整段文章’whatisyourname’都能被理解）
6 （前缀’whatis’能够被理解）
0 （没有任何前缀能够被理解）

大家都知道这是AC自动机， 建好trie后把每个文本串放到上面去匹配。

那么问题来了，如何保证求出来的位置是连续的呢？~~~~~~~~

-。。。。。。。。。。。。。。。。。-
想到无限背包了吗？
在每一次匹配成功的时候，假设在文本的 i 位置， 在 trie 的 j 位置， 如果在 i - val[j] （val[]记的是在这个位置结束的匹配串的长度）位置匹配成功过，那这里就可以接着上一次的放，否则就不行， 因为会断节。

代码如下：

#include<queue>#include<cstdio>#include<cstring>#include<iostream>#define maxn 6001#define idx(c) c - 'a'#define For(a, b, c) for(a = b; a <= (int)(c); ++a)using namespace std;int n, m;char P[11], T[1000005];struct Trie{    int ch[201][26], val[maxn], sz;    inline void insert(char *s){        int i, c, now = 0, l = strlen(s);        For(i, 0, l - 1){            c = idx(s[i]);            if(!ch[now][c]) ch[now][c] = ++sz;            now = ch[now][c];        }        val[now] = l;    }}tr;struct AC_machine{    int fail[maxn], last[maxn], ans;    bool can[1000005];    inline void getfail(){        queue<int> q;        int c, u, k, r;        For(c, 0, 25){            if(tr.ch[0][c]) q.push(tr.ch[0][c]);        }        while(!q.empty()){            r = q.front();            q.pop();            For(c, 0, 25){                u = tr.ch[r][c];                if(!u){ tr.ch[r][c] = tr.ch[fail[r]][c]; continue; }                q.push(u);                k = fail[r];                while(k && !tr.ch[k][c]) k = fail[k];                fail[u] = tr.ch[k][c];                last[u] = tr.val[fail[u]] ? fail[u] : last[fail[u]];            }        }    }    inline void calc(int x, int d){        while(x && !can[d]){            can[d] |= can[d - tr.val[x]];            x = last[x];        }        if(can[d]) ans = d;    }    inline void find(char *s){        memset(can, 0, sizeof(can));        can[ans = 0] = 1;        int i, k = 0, l = strlen(s);        For(i, 1, l){            k = tr.ch[k][idx(s[i - 1])];            if(tr.val[k]) calc(k, i);            else if(last[k]) calc(last[k], i);        }    }}ac;int main(){    scanf("%d%d", &n, &m);    while(n--) scanf("%s", P), tr.insert(P);    ac.getfail();    while(m--){        scanf("%s", T);        ac.find(T);        printf("%d\n", ac.ans);    }    return 0;}