http://www.lydsy.com/JudgeOnline/problem.php?id=3676
过程很艰难了,第一次提交Manacher忘了更新p数组,超时,第二次是倍增的第0维直接在自动机里完成,但是忽略了增加新点时fa变动的情况,还是肉眼查错最管用。
得到的教训是既然倍增就在倍增的函数里完成,自动机就在自动机里完成,不要随便乱搞赋值。
1 #include<iostream> 2 #include<cstdio> 3 #include<algorithm> 4 #include<cstring> 5 #include<cmath> 6 #include<map> 7 using namespace std; 8 const int maxn=300010; 9 char ch[maxn]={}; 10 char ch1[maxn*2]={}; 11 int siz,siz1; 12 struct sam{ 13 int sig[26]; 14 int f,len,d[21],num; 15 }t[maxn*2]; 16 int tot=1,la=1; 17 int loc[maxn]={},cnt[maxn*2]={},b[maxn*2]={},p[maxn*2]={}; 18 long long ans=0; 19 void add(int z){ 20 int x=++tot,i=la; 21 t[x].len=t[la].len+1; 22 for(;i&&!t[i].sig[z];i=t[i].f) 23 t[i].sig[z]=x; 24 if(!i)t[x].f=1; 25 else{ 26 int p=t[i].sig[z]; 27 if(t[p].len==t[i].len+1)t[x].f=p; 28 else{ 29 int y=++tot; 30 t[y]=t[p];t[y].len=t[i].len+1; 31 t[p].f=t[x].f=y; 32 for(;i&&t[i].sig[z]==p;i=t[i].f) 33 t[i].sig[z]=y; 34 } 35 } 36 la=x; 37 } 38 void pre(){ 39 int z; 40 for(int i=1;i<=tot;i++)cnt[t[i].len]++; 41 for(int i=1;i<=siz;i++)cnt[i]+=cnt[i-1]; 42 for(int i=tot;i;i--)b[cnt[t[i].len]--]=i; 43 for(int i=1;i<=siz;i++)t[loc[i]].num=1; 44 for(int i=tot;i;i--){ 45 z=b[i];t[t[z].f].num+=t[z].num; 46 } 47 for(int i=1;i<=tot;i++){ 48 z=b[i];t[z].d[0]=t[z].f; 49 for(int j=1;j<=20;j++) 50 t[z].d[j]=t[t[z].d[j-1]].d[j-1]; 51 } 52 } 53 void getit(int l,int r){ 54 r=r/2;l=(l+1)/2; 55 if(r<l)return; 56 int z=loc[r]; 57 for(int i=20;i>-1;i--){ 58 if(t[t[z].d[i]].len>=r-l+1){ 59 z=t[z].d[i]; 60 } 61 } 62 long long sum=(long long)t[z].num*(r-l+1); 63 if(ans<sum)ans=sum; 64 } 65 void Manacher(){ 66 for(int i=1;i<=siz;i++)ch1[i*2]=ch[i],ch1[i*2-1]='#'; 67 ch1[siz*2+1]='#';ch1[siz*2+2]='