【LOJ #6041】【雅礼集训 2017 Day7】—事情的相似度（后缀自动机+LCT+树状数组）

传送门

暴力膜

---

小明玩着自己的$iphone\ 6s$过河，不小心手机掉水里了。

这时河神出来了，问小明：“你掉的是金$iphone$啊，还是银$iphone$啊”。

小明很诚实的说自己的是普通的$iphone\ 6s$，于是河神拿了一个$iphone\ 5s$还给了小明。

小明说：“不对啊，我的是$6s$”。

河神笑了笑，默默地推了下黑框眼镜

---

考虑说显然建出反串的后缀树，也就是原串的$fail$树
一个显然的暴力就是对于每个询问，暴力求出所有的$Lca$取最大

于是考虑按照$r$排序
每次加一个点就对到根的链染色
每次询问就是把走到根，把所有在颜色在$[l,r]$的点取深度最大值即可

于是用$Lct$的$access$来染色，用树状数组维护答案即可

#include<bits/stdc++.h>
using namespace std;
const int RLEN=1<<20|1;
inline char gc(){
    static char ibuf[RLEN],*ib,*ob;
    (ob==ib)&&(ob=(ib=ibuf)+fread(ibuf,1,RLEN,stdin));
    return (ob==ib)?EOF:*ib++;
}
#define gc getchar
inline int read(){
    char ch=gc();
    int res=0,f=1;
    while(!isdigit(ch))f^=ch=='-',ch=gc();
    while(isdigit(ch))res=(res+(res<<2)<<1)+(ch^48),ch=gc();
    return f?res:-res;
}
#define ll long long
#define re register
#define pii pair<int,int>
#define pic pair<int,char>
#define fi first
#define se second
#define pb push_back
#define cs const
#define bg begin
#define poly vector<int>
template<class T>inline void chemx(T &a,T b){a<b?a=b:0;}
template<class T>inline void chemn(T &a,T b){a>b?a=b:0;} 
cs int N=200005;
int n,m;
namespace Bit{
	int tr[N];
	#define lb(x) (x&(-x))
	inline void update(int p,int k){
		for(;p;p-=lb(p))chemx(tr[p],k);
	}
	inline int query(int p,int res=0){
		for(;p<=n;p+=lb(p))chemx(res,tr[p]);
		return res;
	}
}
namespace Lct{
	int fa[N],son[N][2],val[N],cov[N],c[N];
	#define lc(u) son[u][0]
	#define rc(u) son[u][1]
	inline void initnode(int u,int k,int f){
		val[u]=k,fa[u]=f;
	}
	inline bool isrt(int u){
		if(!fa[u])return 1;
		return lc(fa[u])!=u&&rc(fa[u])!=u;
	}
	inline bool isrc(int u){
		return rc(fa[u])==u;
	}
	inline void pushnow(int u,int k){
		c[u]=k,cov[u]=k;
	}
	inline void pushdown(int u){
		if(!cov[u])return;
		if(lc(u))pushnow(lc(u),cov[u]);
		if(rc(u))pushnow(rc(u),cov[u]);
		cov[u]=0;
	}
	inline void rotate(int v){
		int u=fa[v],z=fa[u];
		int t=isrc(v);
		if(!isrt(u))son[z][isrc(u)]=v;
		fa[v]=z;
		son[u][t]=son[v][t^1],fa[son[v][t^1]]=u;
		fa[u]=v,son[v][t^1]=u;
	}
	int stk[N],top;
	inline void splay(int u){
		stk[top=1]=u;
		for(int v=u;!isrt(v);v=fa[v])stk[++top]=fa[v];
		for(int i=top;i;i--)pushdown(stk[i]);
		while(!isrt(u)){
			if(!isrt(fa[u]))
			isrc(fa[u])==isrc(u)?rotate(fa[u]):rotate(u);
			rotate(u);
		}
	}
	inline void access(int u,int k){
		for(int v=0;u;v=u,u=fa[u]){
			splay(u),rc(u)=v;
			Bit::update(c[u],val[u]);
			pushnow(u,k);
		}
	}
}
namespace Sam{
	int fa[N],nxt[N][2],len[N],tot,last,pos[N];
	inline void init(){
		last=tot=1;
	}
	inline void insert(int c,int id){
		int cur=++tot,p=last;last=cur;
		len[cur]=len[p]+1,pos[id]=cur;
		for(;p&&!nxt[p][c];p=fa[p])nxt[p][c]=cur;
		if(!p)fa[cur]=1;
		else{
			int q=nxt[p][c];
			if(len[p]+1==len[q])fa[cur]=q;
			else{
				int clo=++tot;
				fa[clo]=fa[q],len[clo]=len[p]+1;
				memcpy(nxt[clo],nxt[q],sizeof(nxt[q]));
				for(;p&&nxt[p][c]==q;p=fa[p])nxt[p][c]=clo;
				fa[q]=fa[cur]=clo;
			}
		}
	}
	inline void build(){
		for(int i=1;i<=tot;i++)Lct::initnode(i,len[i],fa[i]);
	}
}
char s[N];
vector<pii> p[N];
int ans[N];
int main(){
	n=read(),m=read();
	scanf("%s",s+1);
	Sam::init();
	for(int i=1;i<=n;i++)Sam::insert(s[i]-'0',i);
	Sam::build();
	for(int i=1;i<=m;i++){
		int l=read(),r=read();
		p[r].pb(pii(l,i));
	}
	for(int i=1;i<=n;i++){
		Lct::access(Sam::pos[i],i);
		for(pii &x:p[i])ans[x.se]=Bit::query(x.fi);
	}
	for(int i=1;i<=m;i++)cout<<ans[i]<<'\n';
}