这一道题就是求若干个候选项
一个很容易想到的办法就是倍增，但是需要卡常
可以看看洛谷的代代码（不是题解），这种方法可以 O ( 1 ) O(1) O(1)实现转移，很巧合的一个东西
那个 f f f就是形成的KMP树的节点的深度（相当于还能跳多少次next），原理就是利用上一个位置跳到的地方已经是小于等于 l 2 \frac{l}{2} 2l了，只要排除最特殊的情况就好了
严格证明一下：
这个做法利用了next数组一个很重要的性质，集合{ n e x t [ i ] − 1 , n e x t [ n e x t [ i ] ] − 1 , . . . next[i]-1,next[next[i]]-1,... next[i]−1,next[next[i]]−1,...}是集合{ n e x t [ i − 1 ] , n e x t [ n e x t [ i − 1 ] ] , . . . next[i-1],next[next[i-1]],... next[i−1],next[next[i−1]],...}的子集
对当前下标 i i i，如果 i i i是偶数，那么我们需要考察集合{ n e x t [ i ] − 1 , n e x t [ n e x t [ i ] ] − 1 , . . . next[i]-1,next[next[i]]-1,... next[i]−1,next[next[i]]−1,...}中长度小于等于 i 2 \frac{i}{2} 2i的元素，也就是集合{ n e x t [ i − 1 ] , n e x t [ n e x t [ i − 1 ] ] , . . . next[i-1],next[next[i-1]],... next[i−1],next[next[i−1]],...}中长度小于等于 i 2 − 1 \frac{i}{2}-1 2i−1的元素，我们前面已经考虑了集合{ n e x t [ i − 1 ] , n e x t [ n e x t [ i − 1 ] ] , . . . next[i-1],next[next[i-1]],... next[i−1],next[next[i−1]],...}长度小于等于 i − 2 2 \frac{i-2}{2} 2i−2的元素，易知两者一样，所以可以直接重复KMP的过程；如果 i i i是奇数，那么我们需要考察集中{ n e x t [ i ] − 1 , n e x t [ n e x t [ i ] ] − 1 , . . . next[i]-1,next[next[i]]-1,... next[i]−1,next[next[i]]−1,...}中长度小于等于 i − 1 2 \frac{i-1}{2} 2i−1的元素，也就是集合{ n e x t [ i − 1 ] , n e x t [ n e x t [ i − 1 ] ] , . . . next[i-1],next[next[i-1]],... next[i−1],next[next[i−1]],...}中长度小于等于 i − 1 2 − 1 \frac{i-1}{2}-1 2i−1−1的元素，我们前面已经考虑了集合{ n e x t [ i − 1 ] , n e x t [ n e x t [ i − 1 ] ] , . . . next[i-1],next[next[i-1]],... next[i−1],next[next[i−1]],...}长度小于等于 i − 1 2 \frac{i-1}{2} 2i−1的元素，只需要排除长度为 i − 1 2 \frac{i-1}{2} 2i−1的元素即可
上面那个性质可以记住
1537
被折叠的 条评论
为什么被折叠?
到【灌水乐园】发言
