【BZOJ4199】品酒大会（后缀自动机）

题面

BZOJ

题解

发现了一个很有趣的东西
后缀排序之后对$height$排序，用并查集维护
和在后缀树上$dp$是一样的
所以这题用后缀树来$dp$
将串反着插入$SAM$
构建后缀树
对于每个点维护最大值，最小值，和子树大小
每次只会更新$u.longest$位置的值
然后前缀和一下就是答案

#include<iostream>
#include<cstdio>
#include<cstdlib>
#include<cstring>
#include<cmath>
#include<algorithm>
#include<set>
#include<map>
#include<vector>
#include<queue>
using namespace std;
#define ll long long
#define RG register
#define MAX 320000
#define INF 1e18
inline int read()
{
    RG int x=0,t=1;RG char ch=getchar();
    while((ch<'0'||ch>'9')&&ch!='-')ch=getchar();
    if(ch=='-')t=-1,ch=getchar();
    while(ch<='9'&&ch>='0')x=x*10+ch-48,ch=getchar();
    return x*t;
}
struct Node
{
    int son[26];
    int ff,len;
}t[MAX<<1];
int last=1,tot=1;
ll mx[MAX<<1],mn[MAX<<1];
int size[MAX<<1],n;
ll ans1[MAX],ans2[MAX];
char ch[MAX];
int r[MAX];
void extend(int c,int w)
{
    int p=last,np=++tot;
    size[np]++;
    t[np].len=t[p].len+1;
    mx[np]=mn[np]=w;
    while(p&&!t[p].son[c])t[p].son[c]=np,p=t[p].ff;
    if(!p)t[np].ff=1;
    else
    {
        int q=t[p].son[c];
        if(t[q].len==t[p].len+1)t[np].ff=q;
        else
        {
            int nq=++tot;
            t[nq]=t[q];
            t[nq].len=t[p].len+1;
            t[q].ff=t[np].ff=nq;
            while(p&&t[p].son[c]==q)t[p].son[c]=nq,p=t[p].ff;
        }
    }
    last=np;
}
struct Line{int v,next;}e[MAX<<1];
int h[MAX<<1],cnt=1;
inline void Add(int u,int v){e[cnt]=(Line){v,h[u]};h[u]=cnt++;}
bool check(int u){return mx[u]!=-INF&&mn[u]!=INF;}
void dfs(int u)
{
    if(!mx[u]&&!mn[u])mx[u]=-INF,mn[u]=INF;
    for(int i=h[u];i;i=e[i].next)
    {
        int v=e[i].v;
        dfs(v);
        if(check(u)&&check(v))
            ans2[t[u].len]=max(ans2[t[u].len],max(1ll*mx[u]*mx[v],1ll*mn[u]*mn[v]));
        ans1[t[u].len]+=1ll*size[u]*size[v];
        size[u]+=size[v];
        mx[u]=max(mx[u],mx[v]);
        mn[u]=min(mn[u],mn[v]);
    }
}
int main()
{
    n=read();
    scanf("%s",ch+1);
    for(int i=0;i<=n;++i)ans2[i]=-INF;
    for(int i=1;i<=n;++i)r[i]=read();
    for(int i=n;i;--i)extend(ch[i]-97,r[i]);
    for(int i=2;i<=tot;++i)Add(t[i].ff,i);
    dfs(1);
    for(int i=n-1;i>=0;--i)ans2[i]=max(ans2[i],ans2[i+1]),ans1[i]+=ans1[i+1];
    for(int i=0;i<n;++i)
        if(ans1[i])printf("%lld %lld\n",ans1[i],ans2[i]);
        else puts("0 0");
    return 0;
}