[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;
}