len%(len-next[len-1]) == 0 则是幂等的串（应该是叫幂等吧？哈哈。自创） KMP的精髓就是next数组是求pattern的某个后缀是其前缀。求法是递推。 我想的证明是分情况， 1.前缀后缀有重叠，那么画个图 abcdefg比如a-e==c-g就是说next[g] = c 那么a=c, b=d,c=e,d=f,e=g 如果len%(len-next[len-1])