HDU 5164Matching on Array(AC自动机)

这是BC上的一道题，当时比赛没有做，回头看看题解，说是AC自动机，想着没有写过AC自动机，于是便试着抄抄白书的模板，硬是搞了我数个小时2000ms时限1800过了= = ！

这里就直接贴上BC的结题报告（#27）：http://bestcoder.hdu.edu.cn/solutions.php

1003 Matching on Array

首先我们考虑m=1的情况。给定两个数组A={a1,a2,…,an}和B={b1,b2,…,bk}，问B在A中出现了几次。令ci=ai+1ai,1≤i<n，同样令di=bi+1bi,1≤i<k，那么上述问题可以转化为ci和di的模式匹配问题，这个正确性显然，也没有什么好证明的。于是对于m=1的情况只有用个kmp即可搞定。

现在考虑m>1的情况，我们考虑用ac自动机来做。考虑到字符集并不是普通的数字，而是一个分数，我们不放搞个分数类，然后用map存转移边。用m个模式串（Bob的序列）建好自动机之后，把文本串（Alice的序列）在自动机上跑一遍即可统计出答案。

 

然后是我的代码：

#include <map>
#include <set>
#include <stack>
#include <queue>
#include <cmath>
#include <ctime>
#include <vector>
#include <cstdio>
#include <cctype>
#include <cstring>
#include <cstdlib>
#include <iostream>
#include <algorithm>
using namespace std;
#define INF 1e9
#define inf (-((LL)1<<40))
#define lson k<<1, L, mid
#define rson k<<1|1, mid+1, R
#define mem0(a) memset(a,0,sizeof(a))
#define mem1(a) memset(a,-1,sizeof(a))
#define mem(a, b) memset(a, b, sizeof(a))
#define FOPENIN(IN) freopen(IN, "r", stdin)
#define FOPENOUT(OUT) freopen(OUT, "w", stdout)
#define rep(i, a, b) for(int i = a; i <= b; i ++)
template<class T> T CMP_MIN(T a, T b) { return a < b; }
template<class T> T CMP_MAX(T a, T b) { return a > b; }
template<class T> T MAX(T a, T b) { return a > b ? a : b; }
template<class T> T MIN(T a, T b) { return a < b ? a : b; }
template<class T> T GCD(T a, T b) { return b ? GCD(b, a%b) : a; }
template<class T> T LCM(T a, T b) { return a / GCD(a,b) * b;    }

typedef __int64 LL;
//typedef long long LL;
const int MAXN = 110000;
const int MAXM = 1000006;
const double eps = 1e-10;
const LL MOD = 1000000007;

int T, n, m, s, k, x, y;
//val[p]用来存放以节点p结尾的字典树中共有多少个模式串(包含在失配链中的模式串)
//f是失配函数， last用于记录失配链上的上一个结点(不是节点， 具体见白书, 这里last数组可以删除)
int val[MAXM], f[MAXM], last[MAXM];
LL ans;

struct Node {//自定义分数类型， 并重载几个必要的运算符
    int up, down;//分子及分母
    Node(){}
    Node(int _up, int _down) {
        int g = GCD(_up, _down);
        up = _up / g;
        down = _down / g;
    }
    bool operator == (const Node& A) const {
        return up == A.up && down == A.down;
    }
    bool operator != (const Node& A) const {
        return up != A.up || down != A.down;
    }
    bool operator <  (const Node& A) const {
        if(up != A.up) return up < A.up;
        return down < A.down;
    }
};

map<int, map<Node, int> >ch;//字典树链
vector<Node>e[MAXM];//邻接表存边
Node fa[MAXN], chi[MAXN];//记录查找串(father)以及模式串(child)

void init()//初始化
{
    s = 1;  ans = 0; //s是字典树的大小
    ch.clear(); e[0].clear();
    mem0(val); mem0(f); mem0(last);
}

void input(int n, Node* a)//输入
{
    scanf("%d", &x);
    for(int i = 1; i < n; i ++) {
        scanf("%d", &y);
        a[i - 1] = Node(x, y);
        x = y;
    }
}

void addEdge()//想字典树上插入一条链，目前val[p]存放的是到达结点p的相同的链的条数
{
    int p = 0;
    for(int i = 0; i < k - 1; i ++) {
        Node u = chi[i];
        if(ch[p][u] == 0) {//第二维是Node类型
            e[p].push_back(u);//记录边
            val[s] = 0;
            e[s].clear();//扩展出一条新边之前，把边清空
            ch[p][u] = s++;
        }
        p = ch[p][u];
    }
    val[p] ++;//说明之前有这样一条链,条数++
}

void getFail()//拿到字典树上的失配函数，与白书几乎一致，只是改成了邻接链表存边
{
    queue<int>q;
    for(int i = 0; i < e[0].size(); i ++) {
        int u = ch[0][e[0][i]];
        f[u] = last[u] = 0;
        q.push(u);
    }
    while(!q.empty()) {
        int r = q.front(); q.pop();
        for(int i = 0; i < e[r].size(); i ++) {
            Node c = e[r][i];
            int u = ch[r][c];
            if(!u) {
                ch[r][c] = ch[f[r]][c];
                continue;
            }
            q.push(u);
            int v = f[r];
            while(v && !ch[v][c]) v = f[v];
            f[u] = ch[v][c];
            last[u] = val[f[u]] ? f[u] : last[f[u]];
            val[u] += val[last[u]];//加上了一句，表示以u结尾的链的条数
        }
    }
}

void getNext()
{
    f[0] = f[1] = 0;
    for(int i = 1; i < k - 1; i ++) {
        int j = f[i];
        while(j && chi[i] != chi[j]) j = f[j];
        f[i + 1] = chi[i] == chi[j] ? j + 1 : 0;
    }
}

LL KMP()
{
    if(k == 1) return ans;
    getNext();
    int j = 0;
    for(int i = 0; i < n - 1; i ++) {
        while(j && chi[j]!=fa[i]) j = f[j];
        if(chi[j] == fa[i]) j ++;
        if(j == k - 1) ans ++;
    }
    return ans;
}

//void calc(int j)
//{
//    if(j) {
//        ans += val[j];
//        calc(last[j]);
//    }
//}

LL ACT()//AC自动机查找过程
{
    getFail();
    int j = 0;
    for(int i = 0; i < n - 1; i ++) {
        Node c = fa[i];
        while(j && !ch[j][c]) j = f[j];//失配链往回匹配
        j = ch[j][c];
        ans += val[j];//加上条数
        //if(last[j]) calc(last[j]);
    }
    return ans;
}

int main()
{
    //FOPENIN("in.txt");
    //FOPENOUT("out.txt");
    while(~scanf("%d", &T)) while(T--) {
        scanf("%d %d", &n, &m);
        init();
        input(n, fa);//输入查找串
        for(int i = 1; i <= m; i ++) {
            scanf("%d", &k);
            input(k, chi);
            if(k > 1) addEdge();
            else ans += n;//由于k=1时只有一个数直接加上n即可
        }
        cout<< (m == 1 ? KMP() : ACT()) << endl;//输出答案
    }
    return 0;
}