看了几篇博客,差不多都很类似,大致也有了一些理解,感觉就是知道几个数组的意思和这个算法的用途即可,推荐两个博客:链接1 链接2 两个都讲的很详细
用途:
- 求串S前缀0~i内本质不同回文串的个数(两个串长度不同或者长度相同且至少有一个字符不同便是本质不同)
- 求串S内每一个本质不同回文串出现的次数 cnt 数组
- 求串S内回文串的个数(其实就是1和2结合起来)cnt数组加和
- 求以下标i结尾的回文串的个数 递归fail cnt加和
数组描述:
- len[i]表示编号为i的节点表示的回文串的长度
- next[i][c]表示编号为i的节点表示的回文串在两边添加字符c以后变成的回文串的编号(和Trie类似)。
- fail[i]表示节点i失配以后跳转不等于自身的节点i表示的回文串的最长后缀回文串(就像KMP回溯一样)。
- cnt[i]表示节点i表示的本质不同的串的个数(建树时求出的不是完全的,最后count()函数按照拓扑序跑一遍以后才是正确的)
- num[i]表示以节点i为结尾的回文串个数
- last指向新添加一个字母后所形成的最长回文串表示的节点。
- S[i]表示第i次添加的字符(一开始设S[0] = -1(可以是任意一个在串S中不会出现的字符))。
- p表示添加的节点个数。
- n表示添加的字符个数。
- sum表示本质不同回文串的个数
- Sum表示回文串的个数
模板:
struct PT {
int nex[N][26]; // 与字典树类似,指向下一节点
int fail[N]; // 失配后跳转的节点
int cnt[N]; // 节点i表示本质不同的字符串的个数
int num[N];
int len[N]; // 节点表示回文串的长度
int S[N]; // 存放添加的字符
int last; //上一个字符所在的节点
int n; // 字符数组指针
int p; // 节点指针
int sum; // 本质不同回文串数目
long long Sum; // 回文串个数
// 新建节点
int newnode (int l) {
for (int i = 0; i < 26; i++) nex[p][i] = 0;
cnt[p] = 0;
num[p] = 0;
len[p] = l;
return p++;
}
// 初始化
void init() {
p = 0;
sum = 0;
Sum = 0;
newnode(0);
newnode(-1);
last = 0;
n = 0;
S[n] = -1;
fail[0] = 1;
}
// 失配后找一个尽可能长的
int get_fail(int x) {
while(S[n - len[x] - 1] != S[n]) x = fail[x];
return x;
}
void add(int c) {
c -= 'a';
S[++n] = c;
int cur = get_fail(last); // 通过上一个找这个匹配的位置
if(!nex[cur][c]) { // 如果没有出现过,则说明出现了个本质不同的回文串
int now = newnode(len[cur] + 2); // 新建节点
fail[now] = nex[get_fail(fail[cur])][c];
nex[cur][c] = now;
num[now] = num[fail[now]] + 1;
sum++;
}
last = nex[cur][c];
cnt[last]++;
}
void count() {
for(int i = p - 1; i >= 2; i--)
cnt[fail[i]] += cnt[i], Sum += cnt[i];
}
}a;