看这篇题解
解释一下:
对于 f [ i ] f[i] f[i]来说,如果 n e x t [ i ] next[i] next[i]为 0 0 0,那么 f [ i ] = i f[i]=i f[i]=i,否则的话,答案只有可能是集合{ n e x t [ i ] , n e x t [ n e x t [ i ] ] , . . . next[i],next[next[i]],... next[i],next[next[i]],...}中的一个元素,设这个集合为 S S S
引理:如果一个模式串可以覆盖 i i i,那么这个模式串就可以覆盖 n e x t [ i ] next[i] next[i]
证:如下图
绿色的表示模式串,我们将图中第二个绿色模式串去掉,再在 i − n e x t [ i ] i-next[i] i−next[i]处加上一个绿色模式串(如下图),就可以得到一个 n e x t [ i ] next[i] next[i]的覆盖
证毕
于是可以知道,集合 S S S中小于 f [ n e x t [ i ] ] f[next[i]] f[next[i]]的元素都不可能成为答案(因为如果是答案的话,就能覆盖 i i i,当然也就能覆盖 n e x t [ i ] next[i] next[i],与 f [ n e x t [ i ] ] f[next[i]] f[next[i]]的最小性矛盾),而大于 f [ n e x t [ i ] ] f[next[i]] f[next[i]]的元素如果能覆盖 i i i的话,那么 f [ n e x t [ i ] ] f[next[i]] f[next[i]]一定也能覆盖 i i i(设这个元素为 p p p, f [ n e x t [ i ] ] f[next[i]] f[next[i]]能覆盖 i i i,就能覆盖 n e x t [ i ] next[i] next[i],就能覆盖 n e x t [ n e x t [ i ] ] next[next[i]] next[next[i]],…,就能覆盖 p p p,所以 p p p对 i i i的覆盖就能替换为 f [ n e x t [ i ] ] f[next[i]] f[next[i]]对 i i i的覆盖),所以我们只用考虑 f [ n e x t [ i ] ] f[next[i]] f[next[i]]能否覆盖 i i i就好了
充要条件见题解,证明比较简单,与上面的证明差不多