【URAL】1960. Palindromes and Super Abilities
http://acm.timus.ru/problem.aspx?space=1&num=1960
题意:给一个串s,要求输出所有的s[0]~s[i],i<|s|的回文串数目。(|s|<=10^5)
#include <bits/stdc++.h> using namespace std; struct PT { static const int nS=26, nL=100015, N=nL; int f[N], l[N], c[N][nS], id[N], s[nL], cnt[N], num[N], tot, n, all, dif, last; int newnode(int _l=0) { l[tot]=_l; return tot++; } PT() { newnode(); newnode(-1); f[0]=1; n=0; all=0; dif=0; last=0; s[0]=-1; } inline int getf(int x) { while(s[n]!=s[n-l[x]-1]) x=f[x]; return x; } void add(int x) { s[++n]=x; int q=getf(last); if(!c[q][x]) { int now=c[q][x]; now=newnode(l[q]+2); f[now]=c[getf(f[q])][x]; c[q][x]=now; num[now]=num[f[now]]+1; } last=id[n]=c[q][x]; x=c[q][x]; if(!cnt[x]) ++dif; ++cnt[x]; } int getdif() { return dif; } }t; char s[100015]; int main() { scanf("%s", s); for(int i=0, n=strlen(s); i<n; ++i) t.add(s[i]-'a'), printf("%d ", t.getdif()); return 0; }
回文树(回文自动机)系列= =跪跪跪orz
教程请移步:http://blog.csdn.net/u013368721/article/details/42100363
大概来说说?
(回文后缀:从回文串的中点开始的到串末的字符串,奇数串的回文后缀包括中间点
(回文串的后缀:回文串的后缀
定义节点$A$,转移的状态是$T(A, c)$(从$A$转移到字符为$c$的节点),$A$的失配节点为$F(A)$表示最长的$A$的的后缀的节点,$A$节点代表的回文串长度为$L(A)$,维护的字符串的长度为$Len$,$last$表示当前串的最后一个字符所在的最长的回文后缀的节点(即每次添加字符后的节点)
节点$A$表示的是:从根到$A$所经过的所有$T(B, x)$的$X=\{x\}$,即为原串的回文后缀
考虑在添加一个字符$c$使得原串变为$S+c$。
1、如果$S(Len-L(last)) = c$,那么$last$能转移到$last$所表示的回文串两端加上$c$的回文串。如果不存在转移$T(last, c)$则新建一个节点$B$,$L(B)=L(last)+2$,$F(A)=T(find(F(last)), c)$(这里的$find(a)$表示从$a$一直沿着失配指针走使得能得到一个以$c$结尾的回文串(此刻一定是最长的后缀)。如果没有这个转移,那么这个转移返回$Null$)
2、如果$S(Len-L(last)) \neq c$,则沿着$last$的失配指针走直到满足上述情况(否则从根新建转移$T(root, c)$。
可是该如何定义根$root$?如何定义失配指针为$Null$?如何区分奇偶回文串?
答案是两个根,表示指向奇数回文串的根和指向偶数回文串的根。令奇数根表示为$odd$,偶数根表示为$even$,令$F(even) = odd$,$L(even) = 0$,$L(odd) = -1$。(为啥这样做呢?请看下边...
首先来搞情况2的找失配指针的操作,使得如果没有一个失配节点满足存在一个长度大于$1$的回文串的后缀,则长度应该为$1$并由$odd$转移得到。
由于找失配节点时长度节点的长度严格递减,因此我们只需满足失配指针最后走到时$odd$便停止即可。发现$S(Len-L(x)-1)$可以在$x = odd$的情况下满足!那么问题解决= =(即我们在加入一个字符时先$Len = Len+1$
然后来搞情况1的$find$操作。同上面的分析,由于走到$odd$就会停下来,那么在此之前一定要访问过了$even$(因为长度为$2$的回文串比长度为$1$的回文串长= =即因为$S(Len-L(even)-1)=S(Len-1)$,那么这是偶数的回文串应该由$even$转移到),故$null = even$。
(其实好像还要证明当同一个回文串一定转移到同一个节点= =...但是感觉太麻烦?(其实是不会证= =
好像就完了?
有了回文树以后,能支持:
1、询问本质不同的回文串数目
2、询问每种回文串的数目
3、询问所有回文串的数目
4、等等等= =
由定义很容易做出操作1和2和3= =
//由于点的顺序是刚好是拓扑序的,所以我们从后往前就可以更新cnt了。。。(而不用像我这样更新= =是会tle的。。。
放出所有操作的代码:
#include <bits/stdc++.h> using namespace std; struct PT { static const int nS=26, nL=100015, N=nL; int f[N], l[N], c[N][nS], id[N], s[nL], cnt[N], num[N], tot, n, all, dif, last; int newnode(int _l=0) { l[tot]=_l; return tot++; } PT() { #define C(a) memset(a, 0, sizeof a) C(f); C(l); C(c); C(id); C(s); C(cnt); C(num); tot=0; newnode(); newnode(-1); f[0]=1; n=0; all=0; dif=0; last=0; s[0]=-1; } int getf(int x) { while(s[n]!=s[n-l[x]-1]) x=f[x]; return x; } void add(int x) { s[++n]=x; int q=getf(last); if(!c[q][x]) { int now=c[q][x]; now=newnode(l[q]+2); f[now]=c[getf(f[q])][x]; c[q][x]=now; num[now]=num[f[now]]+1; } last=id[n]=c[q][x]; x=c[q][x]; if(!cnt[x]) ++dif; for(; x; x=f[x]) ++cnt[x], ++all; } void addstr(char *s) { for(; *s; ++s) add(*s-'a'); } int getall() { return all; } int getdif() { return dif; } int getnum(int x) { return num[id[x]]; } int getcnt(int x) { return cnt[id[x]]; } void D() { for(int i=0; i<tot; ++i) printf("%d\t: f=%d\tcnt=%d\tnum=%d\tlen:%d\n", i, f[i], cnt[i], num[i], l[i]); } }; int main() { return 0; }