Manacher（ 马拉车 ）算法小结

关于马拉车的更多细节，别人的讲解都挺详细的，这里就不再赘述了。

之前有点明白了核心算法里的：

if(i<max_len)

len[i]=min(max_len-i,len[2*max_i-i]);

//2*max_i-i=j
但今天做题又不明白了，说明当时没学透彻，今天又去看了下别人的讲解，这才更加加深了对这个算法的理解。

如下图：（图片来源）

对于i<mx的情况：my是mx的对称点，由回文串的性质可以知道Len[j]<=Len[i]。
此时分为两种情况：

1、Len[j]<=mx-i

当Len[j] <= mx-i的时候，表示Len[i]的长度可能不会超过mx-i，所以我们就从i的Len[2*id - i]也就是Len[mx-i]的地方开始匹配

2、Len[j]>mx-i

当Len[j] > mx - i的时候，说明i位置的子串长度超过了mx，但mx以外的地方还没有遍历到，所以我们就从mx-i也就是mx的位置开始对i匹配。