3926: [Zjoi2015]诸神眷顾的幻想乡

传送门

一个广义后缀自动机模板。

//Achen
#include<algorithm>
#include<iostream>
#include<cstring>
#include<cstdlib>
#include<vector>
#include<cstdio>
#include<queue>
#include<cmath>
const int N=;
typedef long long LL;
using namespace std;
int n,c,col[N];

template<typename T>void read(T &x)  {
    char ch=getchar(); x=; T f=;
    while(ch!='-'&&(ch<''||ch>'')) ch=getchar();
    if(ch=='-') f=-,ch=getchar();
    for(;ch>=''&&ch<='';ch=getchar()) x=x*+ch-''; x*=f;
}

int ecnt,fir[N],nxt[N],to[N],in[N];
void add(int u,int v) {
    nxt[++ecnt]=fir[u]; fir[u]=ecnt; to[ecnt]=v; in[v]++;
    nxt[++ecnt]=fir[v]; fir[v]=ecnt; to[ecnt]=u; in[u]++;
}

int tot,rt,p,np,ch[N][],fa[N],sz[N],l[N];
int insert(int c,int last) {
    p=last; np=++tot;
    l[np]=l[p]+;
    for(;p&&!ch[p][c];p=fa[p]) ch[p][c]=np;
    if(!p) fa[np]=rt;
    else {
        int q=ch[p][c];
        if(l[p]+==l[q]) fa[np]=q;
        else {
            int nq=++tot; l[nq]=l[p]+;
            memcpy(ch[nq],ch[q],sizeof(ch[q]));
            fa[nq]=fa[q]; fa[q]=fa[np]=nq;
            for(;p&&ch[p][c]==q;p=fa[p]) ch[p][c]=nq;
        }
    }
    sz[np]++; return np;
}

void dfs(int x,int fa,int pa) {
    int last=insert(col[x],pa);
    for(int i=fir[x];i;i=nxt[i]) if(to[i]!=fa) {
        dfs(to[i],x,last);
    }
}

int main() {
    read(n); read(c); rt=++tot;
    for(int i=;i<=n;i++) read(col[i]);
    for(int i=;i<n;i++) {
        int u,v;
        read(u); read(v);
        add(u,v);
    }
    for(int i=;i<=n;i++) if(in[i]==)
        dfs(i,,rt);
    LL ans=;
    for(int i=;i<=tot;i++) ans+=(LL)l[i]-l[fa[i]];
    printf("%lld\n",ans);
    return ;
}