后缀自动机模板（初步）

　　看了几天居然连后缀自动机的构造原理和性质都没完全搞懂。。。更不用说应用了。

　　在这里膜一下先辈CLJ大神（的PPt），大神的世界就是不懂。另外还要膜一下国家集训队的几篇论文作者，表示还没看懂orz

　　先贴一个讲得通俗易懂的后缀自动机学习网站（蒟蒻的我居然仍然没看懂），讲得也够详细。学习网站

 

　　苦逼的我·一个下午就死记硬背了这篇代码。感觉：看代码比看论文里的长篇大论简单多了（我是蒟蒻）。

 

　　代码贴上（终于背下来了）：

#define N 10000

struct suffix_automaton
{
    struct node
    {
        long son[26],pre,len;
    }t[N];
    long tot,root,last;
    
    inline long Newnode(long len)
    {
        t[++tot].len=len;
        memset(t[tot].son,-1,sizeof(t[tot].son));
        return tot;
    }
    
    inline void update(long pla)
    {
        long p,np,q,nq;
        p=last,np=Newnode(t[last].len+1);
        while (p>-1&&t[p].son[pla]==-1){
            t[p].son[pla]=np;
            p=t[p].pre;
        }
        if (p==-1)t[np].pre=root;
            else {
                q=t[p].son[pla];
                if (t[q].len==t[p].len+1)t[np].pre=q;
                    else {
                        nq=Newnode(t[p].len+1);
                        memcpy(t[nq].son,t[q].son,sizeof(t[q].son));
                        t[nq].pre=t[q].pre,t[q].pre=t[np].pre=nq;
                        while (p>-1&&t[p].son[pla]==q){
                            t[p].son[pla]=nq;
                            p=t[p].pre;
                        }
                    }
            }
        last=np;
    }
    
    void Build(char s[])
    {
        long i,len;
        tot=-1;
        root=last=Newnode(0);
        t[root].pre=-1;
        for (i=0,len=strlen(s);i<len;i++)update(s[i]-'a');
    }
};

 

　　下面是CLJ的PPT

 

　　8.10终于搞懂构造方法了。。其实很简单orz。只是要了解性质的话还需动动脑子。