这一道题就是求若干个候选项
一个很容易想到的办法就是倍增,但是需要卡常
可以看看洛谷的代代码(不是题解),这种方法可以 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的元素即可
上面那个性质可以记住