CF1437G Death DBMS

题面传送门。

题意简述：给出 \(n\) 个字符串 \(s_i\)，每个 \(s_i\) 初始权值为 \(0\)。\(q\) 次操作：修改 \(s_i\) 的权值；查询给出字符串 \(q\) 能匹配的所有 \(s_i\) 的最大权值。

---

看到 “字符串匹配” 就应该想到 ACAM 了吧。根据 ACAM 的性质，所有后缀能匹配 \(s_i\) 的字符串都应该在 fail 树上以 \(end_i\) 为根的子树里（\(end_i\) 是 \(s_i\) 的结束位置）。那么对于 \(s_i\)，将 \([dfn_{end_i},dfn_{end_i}+sz_{end_i}-1]\) 的所有位置都加入其权值，那么如果每个位置用 multiset 维护权值，再用线段树辅助修改（修改的时候直接跑到线段树上 \([l,r]\) 所分解成的所有区间，将原来的值从该点的 multiset 里面删除，再插入新的权值）和查询（将 \(q\) 跑到的每一个位置查询该位置上 multiset 的最大值，即在线段树上从根跑到该叶子节点所经过的所有区间的 multiset 最大值），就可以做到 \(\log^2\) 修改 \(\log\) 查询。实际上就是线段树套平衡树（set）。

时间复杂度 \(\mathcal{O}((m+n)\log^2 n)\)。

不用快读：TLE（2s+）；用了快读：700ms。

/*
	Powered by C++11.
	Author : Alex_Wei.
*/

#pragma GCC optimize(3)

#include <bits/stdc++.h>
using namespace std;

namespace IO{
	char buf[1<<21],*p1=buf,*p2=buf,obuf[1<<23],*O=obuf;
	#ifdef __WIN32
		#define gc getchar()
	#else
		#define gc (p1==p2&&(p2=(p1=buf)+fread(buf,1,1<<20,stdin),p1==p2)?EOF:*p1++)
	#endif
	#define pc(x) (*O++=x)
	#define flush() fwrite(obuf,O-obuf,1,stdout)

	inline int read(){
		int x=0,sign=0; char s=gc;
		while(!isdigit(s))sign|=s=='-',s=gc;
		while(isdigit(s))x=(x<<1)+(x<<3)+(s-'0'),s=gc;
		return sign?-x:x;
	}
	inline string reads(){
		string t; char s=gc;
		while(!isalpha(s))s=gc;
		while(isalpha(s))t+=s,s=gc;
		return t;
	}
	inline void print(int x){
		if(x<0)return pc('-'),print(-x),void();
		if(x>9)print(x/10);
		pc(x%10+'0');
	}
} using namespace IO;

const int N=3e5+5;
const int S=26;

int cnt,v[N],f[N],son[N][S],ed[N];
int dn,dfn[N],sz[N];
vector <int> e[N];
void ins(string s,int id){
	int p=0;
	for(char it:s){
		if(!son[p][it-'a'])son[p][it-'a']=++cnt;
		p=son[p][it-'a'];
	} ed[id]=p;
} void build(){
	queue <int> q;
	for(int i=0;i<26;i++)if(son[0][i])q.push(son[0][i]);
	while(!q.empty()){
		int t=q.front(); q.pop();
		for(int i=0;i<26;i++)
			if(son[t][i])f[son[t][i]]=son[f[t]][i],q.push(son[t][i]);
			else son[t][i]=son[f[t]][i];
		e[f[t]].emplace_back(t);
	}
} void dfs(int id){
	dfn[id]=++dn,sz[id]=1;
	for(int it:e[id])dfs(it),sz[id]+=sz[it];
}

multiset <int> val[N<<2];
void modify(int l,int r,int ql,int qr,int ori,int nw,int x){
	if(ql<=l&&r<=qr){
		auto it=val[x].find(ori);
		if(it!=val[x].end())val[x].erase(it);
		val[x].insert(nw);
		return;
	} int m=l+r>>1;
	if(ql<=m)modify(l,m,ql,qr,ori,nw,x<<1);
	if(m<qr)modify(m+1,r,ql,qr,ori,nw,x<<1|1);
} int query(int l,int r,int p,int x){
	int ans=val[x].size()?*--val[x].end():-1;
	if(l==r)return ans;
	int m=l+r>>1;
	if(p<=m)ans=max(ans,query(l,m,p,x<<1));
	else ans=max(ans,query(m+1,r,p,x<<1|1));
	return ans;
}

int n,q;
string s;
int main(){
	cin>>n>>q;
	for(int i=1;i<=n;i++)ins(reads(),i);
	build(),dfs(0);
	for(int i=1;i<=n;i++)modify(1,dn,dfn[ed[i]],dfn[ed[i]]+sz[ed[i]]-1,0,0,1);
	for(int i=1;i<=q;i++){
		int t=read();
		if(t==1){
			int p=read(),x=read();
			modify(1,dn,dfn[ed[p]],dfn[ed[p]]+sz[ed[p]]-1,v[p],x,1),v[p]=x;
		} else{
			int p=0,ans=-1; s=reads();
			for(char it:s){
				p=son[p][it-'a'];
				ans=max(ans,query(1,dn,dfn[p],1));
			} print(ans),pc('\n');
		}
	}
	return flush(),0;
}