bzoj 4566 找相同字符

Posted on | Views:

$SAM$ .

对一个串建 $SAM$ ,把第二个串放到 $SAM$ 上去匹配.

到达一个状态 $x$ 时, $x$ 和它的所有祖先的匹配次数都会 $+1$ ,最后从下到上去更新就可以了.

匹配成功时,对每个祖先贡献为 $cnt\cdot |Right|\cdot (maxlen-minlen)​$ .

但需要注意对自己的贡献,串长不一定能取到 $maxlen$ ,需要记录当前的串长.

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
//%std
#include<bits/stdc++.h>
using namespace std;
typedef long long ll;
inline int read()
{
	int out=0,fh=1;
	char jp=getchar();
	while ((jp>'9'||jp<'0')&&jp!='-')
		jp=getchar();
	if (jp=='-')
		fh=-1,jp=getchar();
	while (jp>='0'&&jp<='9')
		out=out*10+jp-'0',jp=getchar();
	return out*fh;
}
const int MAXN=4e5+10,S=26;
int idx=1,lst=1,ch[MAXN][S],fa[MAXN],len[MAXN],siz[MAXN];
int cnt[MAXN],f[MAXN];
void Extend(int c)
{
	int p=lst,np=++idx;
	lst=np;
	siz[np]=1;
	len[np]=len[p]+1;
	while(p && ch[p][c]==0)
		ch[p][c]=np,p=fa[p];
	if(p==0)
		fa[np]=1;
	else
	{
		int q=ch[p][c];
		if(len[q]==len[p]+1)
			fa[np]=q;
		else
		{
			int nq=++idx;
			len[nq]=len[p]+1;
			fa[nq]=fa[q];
			fa[q]=fa[np]=nq;
			memcpy(ch[nq],ch[q],sizeof ch[q]);
			while(p && ch[p][c]==q)
				ch[p][c]=nq,p=fa[p];
		}
	}
}
int t[MAXN],A[MAXN];
void topsort()
{
	for(int i=1;i<=idx;++i)
		++t[len[i]];
	for(int i=1;i<=idx;++i)
		t[i]+=t[i-1];
	for(int i=1;i<=idx;++i)
		A[t[len[i]]--]=i;
	for(int i=idx;i>=1;--i)
		siz[fa[A[i]]]+=siz[A[i]];
}
char buf[MAXN];
int n;
int main()
{
	scanf("%s",buf+1);
	n=strlen(buf+1);
	for(int i=1;i<=n;++i)
		Extend(buf[i]-'a');
	topsort();
	scanf("%s",buf+1);
	n=strlen(buf+1);
	int u=1,tmp=0;
	ll ans=0;
	for(int i=1;i<=n;++i)
	{
		int c=buf[i]-'a';
		if(ch[u][c])
			++tmp,u=ch[u][c];
		else
		{
			while(u && !ch[u][c])
				u=fa[u];
			if(!u)
				u=1,tmp=0;
			else
				tmp=len[u]+1,u=ch[u][c];	
		}
		++cnt[u];
		ans+=1LL*siz[u]*(tmp-len[fa[u]]);
	}
	for(int i=idx;i>=1;--i)
	{
		int x=A[i];
		f[fa[x]]+=f[x]+cnt[x];
		ans+=1LL*siz[x]*f[x]*(len[x]-len[fa[x]]);
	}
	cout<<ans<<endl;	
	return 0;
}