HDU - 2896 病毒侵袭(AC自动机模板)

病毒侵袭

Time Limit: 2000/1000 MS (Java/Others)    Memory Limit: 32768/32768 K (Java/Others)

Total Submission(s): 33670    Accepted Submission(s): 7578

Problem Description

当太阳的光辉逐渐被月亮遮蔽，世界失去了光明，大地迎来最黑暗的时刻。。。。在这样的时刻，人们却异常兴奋——我们能在有生之年看到500年一遇的世界奇观，那是多么幸福的事儿啊~~
但网路上总有那么些网站，开始借着民众的好奇心，打着介绍日食的旗号，大肆传播病毒。小t不幸成为受害者之一。小t如此生气，他决定要把世界上所有带病毒的网站都找出来。当然，谁都知道这是不可能的。小t却执意要完成这不能的任务，他说：“子子孙孙无穷匮也！”（愚公后继有人了）。
万事开头难，小t收集了好多病毒的特征码，又收集了一批诡异网站的源码，他想知道这些网站中哪些是有病毒的，又是带了怎样的病毒呢？顺便还想知道他到底收集了多少带病毒的网站。这时候他却不知道何从下手了。所以想请大家帮帮忙。小t又是个急性子哦，所以解决问题越快越好哦~~

Input

第一行，一个整数N（1<=N<=500），表示病毒特征码的个数。
接下来N行，每行表示一个病毒特征码，特征码字符串长度在20—200之间。
每个病毒都有一个编号，依此为1—N。
不同编号的病毒特征码不会相同。
在这之后一行，有一个整数M（1<=M<=1000），表示网站数。
接下来M行，每行表示一个网站源码，源码字符串长度在7000—10000之间。
每个网站都有一个编号，依此为1—M。
以上字符串中字符都是ASCII码可见字符（不包括回车）。

Output

依次按如下格式输出按网站编号从小到大输出，带病毒的网站编号和包含病毒编号，每行一个含毒网站信息。
web 网站编号: 病毒编号 病毒编号 …
冒号后有一个空格，病毒编号按从小到大排列，两个病毒编号之间用一个空格隔开，如果一个网站包含病毒，病毒数不会超过3个。
最后一行输出统计信息，如下格式
total: 带病毒网站数
冒号后有一个空格。

Sample Input

3 aaa bbb ccc 2 aaabbbccc bbaacc

Sample Output

web 1: 1 2 3 total: 1

#include <iostream>
#include <cstring>
#include <cstdio>
#include <queue>
using namespace std;
struct Trie
{
    int next[210*500][130], fail[210*500], end[210*500];//一维下标代表节点数  end代表了节点数，除叶子节点以外全部是-1.else是字符串的ID
    //next的值代表子节点的编号
    int root ,L;//L代表节点总数
    int Newnode()
    {
        for(int i=0; i<130; i++)
            next[L][i] = -1;
        end[L++] = -1;//除了叶子节点以外全部设为-1;
        return L-1;
    }
    void Init()
    {
        L = 0;
        root = Newnode();
    }
    void Insert(char *s, int id)
    {
        int len = strlen(s);
        int now = root;
        for(int i=0; i<len; i++)
        {
            if(next[now][s[i]] == -1)
                next[now][s[i]] = Newnode();
            now = next[now][s[i]];//往下形成一条链
        }
        end[now] = id;//叶子节点设置为该字符串的编号.
    }
    void Build()
    {
        queue <int> Q;
        fail[root] = root;
        for(int i=0 ; i<130; i++)
        {
            if(next[root][i] == -1)
                next[root][i] = root;//如果根节点的子节点为空，那么直接赋值为root
                //这样也起到了一个类似失配指针的作用，如果 是NULL，也是失配的情况，为了提高搜索效率也应该转到最长后缀的节点。
            else
            {
                fail[next[root][i]] = root;//第二层的节点全部反指向根节点
                Q.push(next[root][i]);//第二层节点入队
            }
        }
        while(!Q.empty())
        {
            int now = Q.front();//深搜的基本操作了，以当前节点为中心搜索所有子节点入队
            Q.pop();
            for(int i=0; i<130; i++)
            {
                if(next[now][i] == -1)//
                    next[now][i] = next[fail[now]][i];//如果节点的子节点为空，那么直接赋值为其失配指针指向的节点的子节点
                    //这样也起到了一个类似失配指针的作用，如果 是NULL，也是失配的情况，为了提高搜索效率也应该转到最长后缀的节点。
                    //他喵的这难道不是个图了吗？？？
                else
                {
                    fail[next[now][i]] = next[fail[now]][i];//因为now节点作为父节点一定已经匹配了失配指针
                    //所以now节点的子节点的失配指针直接指向now节点的失配指针所指向的节点的子节点。
                    //now节点的父节点和 now指向的节点的父节点一定相等，而now和 now的子节点指向的节点的父节点一定相等，
                    //这样形成了一个节点所指向的节点，其两者的父节点一定相等，这样跳转提高了搜索效率。
                    Q.push(next[now][i]);
                }

            }
        }
    }
    bool used[510];
    bool Query(char *buf, int n, int id)
    {
        int len = strlen(buf);
        int now = root;
        memset(used, false, sizeof(used));
        bool flag = false;
        for(int i=0; i<len; i++)
        {
            now = next[now][buf[i]];
            int tmp = now;//now要记录当前字符的节点位置所以不能动
            while(tmp != root)//这里一直在搜索叶子节点（即以0-i为前缀（这个想法感觉比较重要）的所有可能的字串）
            {
                if(end[tmp] != -1)// !=-1说明已经到了叶子节点
                {
                    used[end[tmp]] = true;
                    flag = true;
                }
                tmp = fail[tmp];
            }
        }
        if(!flag)
            return false;
        printf("web %d:", id);
        for(int i=1; i<=n; i++)
            if(used[i])
                printf(" %d",i);
        puts("");
        return true;
    }
} AC;
char buf[10010];
int main()
{
    int n,m;
    while(~scanf("%d",&n))
    {
        AC.Init();
        for(int i=1; i<=n; i++)
        {
            scanf("%s",buf);
            AC.Insert(buf,i);
        }
        AC.Build();
        /*for (int i = 0;i < 20; i++){
			cout << AC.end[i] << ' ';
        }
        cout << '\n';*/
        int ans = 0;
        scanf("%d",&m);
        for(int i=1; i<=m; i++)
        {
            scanf("%s",buf);
            if(AC.Query(buf, n, i))
                ans++;
        }
        printf("total: %d\n", ans);
    }
    return 0;
}