Atcoder arc077 F - SS

题目来源

看数据范围，显然字符串变化是有规律的。
给定字符串GG，前后对称，我们只考虑G的部分。
对于字符串G。变换一次 我们使得新加进来的字符最少，共用的部分越长越好（后缀）。
划分字符串G分为两部分，最长公共后缀（next）记为T，前面的部分记为S。
多写几组数据发现，对于一个字符串，可能变化为STTTTTTTTTTT，也有可能是一种斐波那契式的变换。新的字符串由之前两个组成。而这两种变换都可以满足斐波那契数列的性质。

例子：dqvdq dqvdq —>dqvdqdqv dq（vdqdqv）
括号中为新加的。

预处理出next数组，和字符串的字母出现次数前缀和。

查询一个区间的时候差分一下。区间长度若小于单个字符串G的长度直接查询字母，区间长度若小于GG长度，也可直接查询。
否则记录初始两个字符串的长度和字母出现次数，按照斐波那契数列增加长度和字母出现次数。递归找出答案。

补充：我们只考虑一半的字符串，每次如何变化？保留当前next，前面的部分拿到后面去。
得到的新的字符串，因为之前的next是保留的，next前后部分一样。所以next以前的部分形成新的next。。而当前的next就等于上次新增的字符串，所以就有了斐波那契那个规律（不知道能不能看懂啊..）

#include<bits/stdc++.h>
using namespace std;

#define ll long long
const int MAXN=3e5+5;

int len,anc[30][MAXN],S,T,num,nxt[MAXN];
ll l,r;
char s[MAXN];

ll calc(ll lt,int n){
    if(lt<=len)return anc[n][lt];
    if(lt<=2*len)return anc[n][len]+anc[n][lt-len];
    ll f1=anc[n][S],f2=anc[n][len],lenf1=S,lenf2=len;
    while(lt>lenf1+lenf2){
        ll tem2=f2,lentem2=lenf2;
        f2+=f1;lenf2+=lenf1;
        f1=tem2;lenf1=lentem2;
    }
    return f2+calc(lt-lenf2,n);
}

int main(){
    scanf("%s",s+1);
    scanf("%lld%lld",&l,&r);
    len=strlen(s+1)/2;
    nxt[1]=0;
    for(int j=0,i=2;i<=len;i++){
        for(;j&&s[j+1]!=s[i];)j=nxt[j];
        if(s[j+1]==s[i])j++;
        nxt[i]=j;
    }
    T=nxt[len];
    S=len-T;
    for(int i=1;i<=26;i++){
        for(int j=1;j<=len;j++){
            anc[i][j]=anc[i][j-1];
            if((int)s[j]-96==i)anc[i][j]++;
        }
    }
    for(int i=1;i<=26;i++){
        printf("%lld ",calc(r,i)-calc(l-1,i));
    }
    return 0;
}