[BZOJ3940][Usaco2015 Feb]Censoring-AC自动机-从树到图

AC自动机已经足够棒了。

但是，好像有时还是要TLE的。

一般的AC自动还是比较好，如果在某些情况下还是会被卡掉，像是这个水题

---

考试的感觉

我看到这个题后，我清清楚楚的知道，这是个AC自动机+栈。

经过一番努力，把AC自动机打了出来，然后略加修饰，把栈补在里面。

我一复制，一粘贴，更高兴(？)了，过样例了，噫，我要A了。

但是我又随便写了一坨字符进去，然后就，不对了～～～～～～

最后也没调出来，后来我想想，好像是没恢复搜索栈顶元素。

我太菜了。

---以上都是废话---

---

更改的过程

我T60之后，想了一会，去查了Trie图，但是比较难受。

后来是有大神告诉我，可以用简单的办法构建部分Tire图，优化后就可以AC惹

但是我囿于万恶的板子，一直TLE。

唔啊啊啊啊！

我改了一会，建好图，信心满满，然后又……T了？

后来我又想，又问了几个大佬「没有得到满意的答复」

最后我充满疑惑的看到了我的while，好像不是那么回事

void ffind(){
    int j=0;
    ACauto *p=root;
    sta[t++]=root;
    while(st[j]){
        int k=st[j]-'a';
        while(p!=root && p->s[k]==NULL) p=p->next;
        p=p->s[k];
        sta[t++]=p;
        if(p==NULL) p=root;
        ACauto *l=p;
        while(l!=root){//这个while
            if(l->len!=0){
                t-=l->len;
                p=sta[t-1];
                break;
            }
            l=l->next;
        }
        j++;
    }
}

我为什么要反复去找一个字符呢？

于是删掉while，改成if，AC。

额，一个while卡我6000ms。

分析一下，

我写的板子来自上面的两道题，有重复字符，互为子串的也有

而本题明确说明：N个字符串中无互相包含的

所以这句话就是没有意义的，它反复去找出现这个字符的地方，浪费了众多时间

而我们只需要找上一个字符出现之后的这一个字符就可以

所以，改成if更加正确。

void ffind(){
    int j=0;
    ACauto *p=root;
    sta[t++]=root;
    while(st[j]){
        int k=st[j]-'a';
        while(p!=root && p->s[k]==NULL) p=p->next;
        p=p->s[k];
        sta[t++]=p;
        if(p==NULL) p=root;
        ACauto *l=p;
        if(l->len!=0){
            t-=l->len;
            p=sta[t-1];
        }
        j++;
    }
}

全代码：

#include<iostream>
#include<cstdio>
#include<cstring>
#define N 101010
using namespace std;
struct ACauto{
    ACauto *next,*s[26];
    int len;
    char ch;
}s[100*N];int tot=0;
ACauto *newACauto(){
    tot++;
    return &s[tot-1];
}
ACauto *root=newACauto();
char st[N],ch[N];
ACauto *q[10000000];int f=0,e=0;
bool empty(){
    if(f==e)return true;
    return false;
}
void push(ACauto *x){
    e++;
    q[e]=x;
}
ACauto* front(){
    f++;
    return q[f];
}
void add(const char *c){
    int j=0;
    ACauto *i=root;
    while(c[j]){
        int k=c[j]-'a';
        if(i->s[k]==NULL) i->s[k]=newACauto();
        i=i->s[k];
        i->ch=c[j];
        j++;
    }
    i->len=j;
}
void build(){
    root->next=NULL;
    push(root);
    while(!empty()){
        ACauto *n=front();
        for(int i=0;i<26;i++){
            if(n->s[i]!=NULL){
                if(n==root) n->s[i]->next=root;
                else{
                    ACauto *p=n->next;
                    while(p!=NULL){
                        if(p->s[i]!=NULL){
                            n->s[i]->next=p->s[i];
//                            n->s[i]=p;
                            break;
                        }
                        p=p->next;
                    }
                    if(p==NULL) n->s[i]->next=root;
                }
                push(n->s[i]);
            }
            else{
                if(n==root)
                    n->s[i]=root;
                else
                    n->s[i]=n->next->s[i];
            }
        }
    }
}
ACauto *sta[N];
int t=0;
void pour(){
    for(int i=0;i<t;i++){
        putchar(sta[i]->ch);
    }
    puts("");
}
void ffind(){
    int j=0;
    ACauto *p=root;
    sta[t++]=root;
    while(st[j]){
        int k=st[j]-'a';
        while(p!=root && p->s[k]==NULL) p=p->next;
        p=p->s[k];
        sta[t++]=p;
        if(p==NULL) p=root;
        ACauto *l=p;
        if(l->len!=0){
            //pour();//cout<<t<<" "<<l->len<<endl;
            t-=l->len;
            p=sta[t-1];
        }
        j++;
    }
}
int _n=0;
void prerun(){
    for(int i=0;i<26;i++){
        root->s[i]=new ACauto();
        root->s[i]->ch='a'+i;
    }
}
int main(){
    prerun();
    scanf("%s",st);
    scanf("%d",&_n);
    for(int i=1;i<=_n;i++){
        scanf("%s",ch);
        add(ch);
    }
    build();
    ffind();
    for(int i=1;i<t;i++)putchar(sta[i]->ch);
    puts("");
    return 0;
}