LGP8203题解

首先我们对所有的 \(s\) 建出 ACAM，然后把所有 \(s\) 的信息丢到上去。问题就变为了每个串 \(t\) 对应一个大小为 \(|t|\) 的点集，求两个点集的虚树的交的点权和。

虚树交这种东西看上去比较奇怪，考虑根号分治。

首先我们先使用 \(O(n\log n)-O(1)\) 的 LCA。

考虑三种情况：大对大，小对大，小对小。

小对大很容易啊。直接把大的专门建一颗树，然后把所有 \(s\) 的信息插上去。

对于每次查询一个小的串，直接在这颗树上面跑虚树就完了。

接下来考虑小对小。

可以建出虚树的并，然后标记每个节点是否包含第一个和第二个串，然后大力统计。

或者，也可以按照 dfn 序排序后大力归并。

大概就是说，对于一个节点 \(u\)，如果在这个点集的虚树上最深的被标记的祖先是 \(z\) 的话，相当于要在这条路径上找一个最深的节点能被另外一个点集的虚树所包含。

可以发现归并的时候随随便便求一下就完了（

大对大。。。用两种方法预处理都可以。

根号分治的长度为 \(\sqrt{\sum|S|}\)，复杂度 \(O(\sum|S|\log\sum|S|+(m+\sum|S|)\sqrt{\sum|S|})\)。

不过我们需要求的是虚树的点权和而不是虚树本身，所以连虚树都可以不用写（（（

#include
#include
#include
#include
#include
typedef unsigned ui;
const ui M=1e5+5;
ui n,m,Q,B,lg[M<<1];char S[M],T[M],*s[M],*t[M];ui lens[M],lent[M];ui sums,sumt;
ui tot(1),fail[M],trans[M][26];ui dfc,d[M],dfn[M],lca[19][M<<1];
ui cnt,h[M];std::vectorpoint[M];ui v[M];
ui LEN,id[M],ans[318][318];ui L,R,q[M];
struct Edge{
	ui v,nx;
}e[M];
inline void Add(const ui&u,const ui&v){
	e[++cnt]=(Edge){v,h[u]};h[u]=cnt;
}
inline bool cmp(const ui&u,const ui&v){
	return dfn[u]&point){
	ui u(1);for(ui i=0;id[v]?v:u;
}
inline ui merge(const ui&u,const ui&v){
	return d[u]>d[v]?u:v;
}
inline ui LCA(ui u,ui v){
	if((u=dfn[u])>(v=dfn[v]))u^=v^=u^=v;
	const ui&k=lg[v-u+1];return Merge(lca[k][u],lca[k][v-(1<>1]+1;
	for(ui i=1;(1<Merge(std::vectorS,std::vectorT){
	static std::vectorans;ui v,id(0);std::vector().swap(ans);
	for(ui i=0;iS){
		for(ui&u:S)vis[u]=true;
		for(ui i=R;i>=1;--i)vis[fail[q[i]]]|=vis[q[i]];
		for(ui i=1;i<=tot;++i)if(!vis[i])sum[i]=0;
		for(ui i=1;i<=R;++i)sum[q[i]]+=sum[fail[q[i]]];
	}
	inline ui Qry(std::vectorS){
		ui ans=sum[1],v=1;for(ui&u:S)ans+=sum[u]-sum[LCA(v,u)],v=u;return ans;
	}
}tree[317];
signed main(){
	scanf("%u%u%u",&n,&m,&Q);s[0]=S;t[0]=T;
	for(ui i=1;i<=n;++i)scanf("%s",s[i]=s[i-1]+lens[i-1]),lens[i]=strlen(s[i]),sums+=lens[i];
	for(ui i=1;i<=m;++i)scanf("%s",t[i]=t[i-1]+lent[i-1]),lent[i]=strlen(t[i]),sumt+=lent[i];
	for(ui i=1;i<=n;++i)Insert(s[i],lens[i]);Build();B=ceil(sqrt(sumt));
	for(ui i=1;i<=m;++i)if(lent[i]>=B)id[v[i]=++LEN]=i;
	for(ui i=1;i<=m;++i)Find(t[i],lent[i],point[i]);
	for(ui u=1;u<=tot;++u)point[0].push_back(u);
	for(ui i=1;i<=n;++i){
		const ui&u=Match(s[i],lens[i]);
		for(ui k=0;k<=LEN;++k)++tree[k].sum[u];
	}
	for(ui i=0;i<=LEN;++i)tree[i].init(point[id[i]]);
	for(ui i=1;i<=LEN;++i)for(ui j=i+1;j<=LEN;++j){
		if(lent[id[i]]>lent[id[j]])ans[i][j]=ans[j][i]=tree[i].Qry(point[id[j]]);
		else ans[i][j]=ans[j][i]=tree[j].Qry(point[id[i]]);
	}
	while(Q--){
		ui x,y;scanf("%u%u",&x,&y);if(lent[x]>lent[y])x^=y^=x^=y;
		if(v[x]&&v[y])printf("%u\n",ans[v[x]][v[y]]);
		else if(!v[x]&&v[y])printf("%u\n",tree[v[y]].Qry(point[x]));
		else printf("%u\n",tree[0].Qry(Merge(point[y],point[x])));
	}
}