51Nod1469 淋漓尽致子串 (后缀自动机)

51Nod-1469 淋漓尽致子串 (后缀自动机)

对于原串构造后缀自动机

我们只考虑\(|endpos|>1\)的状态

发现对于一个状态，只有其中最长的子串会产生贡献，否则会在\(p_i-1\)出产生冲突

对于最长串的\(p_i-1\)位置，如果\(link/parent\)树上的一个儿子的\(|endpos|>1\)，那么意味着存在冲突（因为儿子就是在串前面添加一些字符得到的）

对于\(p_i+len\)的情况，实际上就是\(j\in endpos,j+1\)不能产生冲突，在\(link,parent\)树上进行子树统计即可

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

#define reg register
typedef long long ll;
#define rep(i,a,b) for(int i=a,i##end=b;i<=i##end;++i)
#define drep(i,a,b) for(int i=a,i##end=b;i>=i##end;--i)

#define pb push_back
template <class T> inline void cmin(T &a,T b){ ((a>b)&&(a=b)); }
template <class T> inline void cmax(T &a,T b){ ((a<b)&&(a=b)); }

char IO;
int rd(){
	int s=0;
	int f=0;
	while(!isdigit(IO=getchar())) if(IO=='-') f=1;
	do s=(s<<1)+(s<<3)+(IO^'0');
	while(isdigit(IO=getchar()));
	return f?-s:s;
}

const int N=2e5+10,P=1e9+7;

int n;
char s[N];
int trans[N][26],link[N],len[N],lst,stcnt,End[N];
int sz[N];

struct Edge{
	int to,nxt;
}e[N];
int head[N],ecnt;
void AddEdge(int u,int v) {
	e[++ecnt]=(Edge){v,head[u]};
	head[u]=ecnt;
}

void Init(){
	link[0]=-1,len[0]=0;
	rep(i,0,stcnt) rep(j,0,25) trans[i][j]=0;
	stcnt=lst=0;
}

void Extend(int c) {
	int cur=++stcnt,p=lst;
	End[cur]=len[cur]=len[p]+1,sz[cur]=1;
	while(~p && !trans[p][c]) trans[p][c]=cur,p=link[p];
	if(p==-1) link[cur]=0;
	else {
		int q=trans[p][c];
		if(len[q]==len[p]+1) link[cur]=q;
		else {
			int clone=++stcnt;
			memcpy(trans[clone],trans[q],104);
			link[clone]=link[q],len[clone]=len[p]+1;
			while(~p && trans[p][c]==q) trans[p][c]=clone,p=link[p];
			link[cur]=link[q]=clone;
		}
	}
	lst=cur;
}

int ans;
int apr[N][26];
void dfs(int u) {
	if(End[u] && End[u]<n) apr[u][s[End[u]+1]-'a']=1;
	int fl=1;
	for(reg int i=head[u];i;i=e[i].nxt) {
		int v=e[i].to;
		dfs(v);
		if(sz[v]>1) fl=0; //统计儿子没有sz>1
		rep(j,0,25) apr[u][j]+=apr[v][j]; // 子树统计endpos+1处的冲突
		sz[u]+=sz[v];
	}
	if(u && sz[u]>1) { //sizeof endpos>1
		rep(i,0,25) if(apr[u][i]>1) fl=0; // 冲突
		ans+=fl;//只考虑最长的串
	}
}

int main(){
	scanf("%s",s+1),n=strlen(s+1);
	Init();
	rep(i,1,n) Extend(s[i]-'a');
	rep(i,1,stcnt) AddEdge(link[i],i);
	dfs(0);
	printf("%d\n",ans);
}