[洛谷P3804]【模板】后缀自动机

题目大意:给一个只包含小写字母的字符串 $S$ ,请求出 $S$ 的所有出现次数不为 $1$ 的子串的出现次数乘上该子串长度的最大值。

题解:用后缀自动机求出每个字串的长度,排序后求出字串出现次数(后缀自动机是背板的。。。)

卡点:1.$rnk$数组没有开两倍

  板背错

 

C++ Code:

#include <cstdio>
#include <cstring>
#define maxn 1000010
using namespace std;
char s[maxn << 1];
int nxt[maxn << 1][26], fail[maxn << 1], R[maxn << 1];
int sz[maxn << 1];
int b[maxn], rnk[maxn << 1];
int root, np, p, cnt, t, last, len;
long long ans = -1;
inline long long max(long long a, long long b) {return a > b ? a : b;}
void insert(int ch) {
	int now = ++cnt, np;
	R[now] = R[p = last] + 1;
	sz[now] = 1; last = now;
	for (; ~p && !nxt[p][ch]; p = fail[p]) nxt[p][ch] = now;
	if (!~p) {fail[now] = root; return ;}
	if (R[t = nxt[p][ch]] == R[p] + 1) {fail[now] = t; return ;}
	R[np = ++cnt] = R[p] + 1;
	for (int i = 0; i < 26; i++) nxt[np][i] = nxt[t][i];
	for (fail[np] = fail[t], fail[t] = fail[now] = np; nxt[p][ch] == t; p = fail[p]) nxt[p][ch] = np;
}
int main() {
	scanf("%s", s);
	len = strlen(s);
	fail[root = 0] = -1; cnt = last = 1;
	for (int i = 0; i < len; i++) insert(s[i] - 'a');
	for (int i = 1; i <= cnt; i++) b[R[i]]++;
	for (int i = 1; i <= len; i++) b[i] += b[i - 1];
	for (int i = 1; i <= cnt; i++) rnk[b[R[i]]--] = i;
	for (int i = cnt; i; i--) {
		int now = rnk[i];
		sz[fail[now]] += sz[now];
		if (sz[now] > 1) ans = max(ans, 1ll * sz[now] * R[now]);
	}
	printf("%lld\n", ans);
	return 0;
} 

  

转载于:https://www.cnblogs.com/Memory-of-winter/p/9446696.html

### 关于洛谷 P3167 使用 AC 自动机的解题思路 对于洛谷 P3167 的求解,可以采用 AC 自动机来处理多模式字符串匹配问题。此算法不仅能够高效地构建 Trie 树结构用于存储所有模式串,还通过建立失败指针(fail)使得能够在遇到不匹配情况时快速跳转到可能继续匹配的位置。 #### 构建Trie树并插入单词 为了实现这一目标,在初始化阶段需先遍历每一个给定的关键字,并将其逐字符加入至已有的前缀树(Trie Tree)当中形成节点连接关系[^1]。当某个新字母未能找到对应的子节点时,则创建新的分支;而一旦完成整个关键字路径铺设之后便标记终点表示存在以此序列结尾的有效词条。 ```cpp void insert(const string &s){ int p = root; for(auto c : s){ int u = c - 'a'; if(!tr[p][u]) tr[p][u] = ++idx; p = tr[p][u]; } cnt[p]++; } ``` #### 建立fail指针 接下来要做的就是利用队列广度优先搜索(BFS)的方式为每个非根节点分配其失配后的转移位置即 fail 指向。具体做法是从根开始一层层向下扩展直到覆盖全部内部顶点为止。每当从当前考察对象出发沿某条边e到达另一端v时,若发现 v 已经被访问过则直接令 `fail[v]=get_fail(u)` 后更新其他属性如 end 数组记录经过此处能结束几个词等信息;反之应当把 v 加入等待列表以便后续操作[^2]。 ```cpp queue<int> q; for (int i = 0; i < A; i++) { int t = tr[root][i]; if(t){q.push(t);fail[t]=root;} } while (!q.empty()) { auto t=q.front();q.pop(); for(int i=0;i<A;i++){ int j=tr[t][i]; if(!j){tr[t][i]=tr[fail[t]][i];continue;} q.push(j); fail[j]=tr[fail[t]][i]; } } ``` #### 查询过程中的应用 最后进入查询环节,此时输入待检验文本流text并通过循环读取其中各个组成成分尝试在先前搭建好的框架内定位是否存在相吻合的部分。每成功推进一位都意味着找到了至少一个公共开头片段,与此同时借助之前设定好的辅助机制(比如end[])统计出实际命中次数作为输出结果的一部分呈现出来[^3]。 ```cpp int query(string str) { int res=0,p=root; for(char ch:str){ int d=ch-'a'; p=tr[p][d]; int temp=p; while(temp!=root){ res+=cnt[temp]; cnt[temp]=0;//防止重复计算 temp=fail[temp]; } } return res; } ``` 上述代码展示了如何运用AC自动机解决洛谷P3167的问题核心部分———即构造Trie图、设置失效函数以及执行查找任务的具体流程。
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值