【2019 CCPC 秦皇岛】J - MUV LUV EXTRA

原题：

题意：

给你两个整数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]计算，然后统计到答案即可

代码：

 #include<iostream>
 #include<cstdio>
 #include<algorithm>
 #include<cstring>
 #include<cmath>
 using namespace std;
 #define LL long long
 LL a,b;
 char s[];
 int c[],n=;
 int nxt[];
 LL ans;
 void gtnxt(){
     int tmp=;
     nxt[]=;
     for(int i=;i<=n;++i){
         while(tmp&&c[tmp+]!=c[i])  tmp=nxt[tmp];
         if(c[tmp+]==c[i])  ++tmp;
         nxt[i]=tmp;
         /*if(nxt[i]){
             if(nxt[i]>=i-nxt[i]+1)  ans=max(ans,a*i-b*(i-nxt[i]));
             if(nxt[i]==i-nxt[i])  ans=max(ans,a*i-b*nxt[i]);
             ans=max(ans,a*i*/
         if(nxt[i])  ans=max(ans,a*i-b*(i-nxt[i]));
     }
 }
 int main(){
     //freopen("ddd.in","r",stdin);
     while(scanf("%lld%lld",&a,&b)!=EOF){
         ans=-1e18,n=;
         scanf("%s",s);
         for(int i=strlen(s)-;i>=;--i){
             if(s[i]=='.')  break;
             c[++n]=s[i]-'';
         }
         if(a-b>)  ans=(a-b)*n;
         else  ans=a-b;
         gtnxt();
         cout<<ans<<endl;
         /*for(int i=1;i<=n;++i)  cout<<c[i]<<" ";
         cout<<endl;
         for(int i=1;i<=n;++i)  cout<<nxt[i]<<" ";
         cout<<endl;*/
     }
     return ;
 }