原题：
题意：
给你两个整数a和b，再给你一个正小数，整数部分忽略不计，只考虑小数部分的循环节，对于所有可能的循环节，令其长度为l，在小数部分循环出现的长度为p，最后一个循环节允许不完整，但是缺少的部分不计入循环长度
问你a*p-b*l的最小值是多少
考虑的循环节必须至少在小数部分中出现一次，小数部分的前缀可以不属于循环部分
这题也是一眼很棘手，和后缀数组和后缀自动机似乎都有相似之处
但是实际做法是kmp
翻转原串是关键思路，这样保证了能把原串前缀的不是循环部分的部分忽略掉，从而方便地利用next数组的性质
把小数部分串反过来，那么这个串的前缀就一定是循环部分
因为最后循环节允许不完整，所以考虑把一个循环节分成AB两部分，其中B是最后一个循环节缺的部分
考虑next数组的性质：next[i]表示子串[1,i]最长的前后缀长度，使得此长度的前后缀相等
那么对于ACA形式的串，其中A指最长的相同前后缀，把C接到A后边就可以变成ACA(C)的循环形式，前后缀有相交情况时同理
对于循环部分[1,i]，出现长度就是i，出现长度固定，只需求出此时长度最小的循环节
由next的性质，保证[1,i-next[i]]是最小的循环节
可以反证，考虑ABABABABA，如果它被i-nxt[i]和next[i]+1划分为ABA BAB ABA，即认为[1,6]和[4,9]是相同的前后缀，且有多余的循环节被统计到了[1,i-nxt[i]]和[nxt[i]+1,i]里
那么此时可以从[1,i-nxt[i]]和[nxt[i],i]中各拿出一个循环节放到中间，易证此时仍然符合next[i]的性质，即之前求出的next[i]是错误的
所以得证，[1,i-next[i]]一定是最小的循环节
那么把小数部分倒过来，从左到右扫一遍，每次根据next[i]计算，然后统计到答案即可
代码：
1 #include<iostream> 2 #include<cstdio> 3 #include<algorithm> 4 #include<cstring> 5 #include<cmath> 6 using namespace std; 7 #define LL long long 8 LL a,b; 9 char s[11000000]; 10 int c[11000000],n=0; 11 int nxt[11000000]; 12 LL ans; 13 void gtnxt(){ 14 int tmp=0; 15 nxt[1]=0; 16 for(int i=2;i<=n;++i){ 17 while(tmp&&c[tmp+1]!=c[i]) tmp=nxt[tmp]; 18 if(c[tmp+1]==c[i]) ++tmp; 19 nxt[i]=tmp; 20 /*if(nxt[i]){ 21 if(nxt[i]>=i-nxt[i]+1) ans=max(ans,a*i-b*(i-nxt[i])); 22 if(nxt[i]==i-nxt[i]) ans=max(ans,a*i-b*nxt[i]); 23 ans=max(ans,a*i*/ 24 if(nxt[i]) ans=max(ans,a*i-b*(i-nxt[i])); 25 } 26 } 27 int main(){ 28 //freopen("ddd.in","r",stdin); 29 while(scanf("%lld%lld",&a,&b)!=EOF){ 30 ans=-1e18,n=0; 31 scanf("%s",s); 32 for(int i=strlen(s)-1;i>=0;--i){ 33 if(s[i]=='.') break; 34 c[++n]=s[i]-'0'; 35 } 36 if(a-b>0) ans=(a-b)*n; 37 else ans=a-b; 38 gtnxt(); 39 cout<<ans<<endl; 40 /*for(int i=1;i<=n;++i) cout<<c[i]<<" "; 41 cout<<endl; 42 for(int i=1;i<=n;++i) cout<<nxt[i]<<" "; 43 cout<<endl;*/ 44 } 45 return 0; 46 }