首先对所有单词建立AC自动机,$S$是$T$的子串等价于$T$的某个前缀通过$fail$链可以走到$S$的终止节点,即$S$的终止节点是$T$某个前缀在$fail$树上的祖先。
设$f[i]$表示考虑了前$i$个单词,且第$i$个单词必选时子序列价值的最大值,
则$f[i]=\max(单词i每个前缀的贡献)+w[i]$,计算出$f[i]$后再在单词$i$终止节点在$fail$树的子树里打上$f[i]$的标记,线段树维护即可。
时间复杂度$O(L\log L)$。
#include<cstdio>
#include<cstring>
const int N=20010,M=300010;
typedef long long ll;
char s[M];
int tot,son[M][26],fail[M],q[M],G[M],NXT[M],st[M],en[M],dfn;
int Case,n,i,j,w[N],g[N],v[M],nxt[M],ed;
ll tag[1050000],dp,ans;
inline void ins(int p){
for(int l=strlen(s),x=0,i=0,w;i<l;i++){
if(!son[x][w=s[i]-'a'])son[x][w]=++tot;
v[++ed]=x=son[x][w];nxt[ed]=g[p];g[p]=ed;
}
}
void make(){
int h=1,t=0,i,j,x;fail[0]=-1;
for(i=0;i<26;i++)if(son[0][i])q[++t]=son[0][i];
while(h<=t)for(x=q[h++],i=0;i<26;i++)
if(son[x][i])fail[son[x][i]]=son[fail[x]][i],q[++t]=son[x][i];
else son[x][i]=son[fail[x]][i];
}
void dfs(int x){
st[x]=++dfn;
for(int i=G[x];i;i=NXT[i])dfs(i);
en[x]=dfn;
}
void build(int x,int a,int b){
tag[x]=0;
if(a==b)return;
int mid=(a+b)>>1;
build(x<<1,a,mid),build(x<<1|1,mid+1,b);
}
inline void up(ll&a,ll b){if(a<b)a=b;}
void change(int x,int a,int b,int c,int d){
if(c<=a&&b<=d){up(tag[x],dp);return;}
int mid=(a+b)>>1;
if(c<=mid)change(x<<1,a,mid,c,d);
if(d>mid)change(x<<1|1,mid+1,b,c,d);
}
void ask(int x,int a,int b,int c){
up(dp,tag[x]);
if(a==b)return;
int mid=(a+b)>>1;
if(c<=mid)ask(x<<1,a,mid,c);else ask(x<<1|1,mid+1,b,c);
}
int main(){
scanf("%d",&Case);
while(Case--){
scanf("%d",&n);
for(i=1;i<=n;i++)scanf("%s%d",s,&w[i]),ins(i);
make();
for(i=1;i<=tot;i++)NXT[i]=G[fail[i]],G[fail[i]]=i;
dfs(0);
build(1,1,dfn);
for(ans=0,i=1;i<=n;i++){
for(dp=0,j=g[i];j;j=nxt[j])ask(1,1,dfn,st[v[j]]);
up(ans,dp+=w[i]);
change(1,1,dfn,st[v[g[i]]],en[v[g[i]]]);
}
printf("%lld\n",ans);
for(i=dfn=0;i<=tot;i++)for(fail[i]=G[i]=j=0;j<26;j++)son[i][j]=0;
for(ed=tot=0,i=1;i<=n;i++)g[i]=0;
}
return 0;
}