Manacher算法求字符串的最长回文子串

    在求字符串的最长回文子串时，绝大部分的算法的时间复杂度都将达到o(n^2)甚至达到o(n^3),而Manacher算法却可以达到o(n)。

    通过在每个字符的两边都插入一个特殊的符号，将所有的字符串都转化成为奇数长度。然后创建一个新的P[i]表示，以第i个字符为中心的回文字串的半径。

对应的P如下,设S为原始字符串：

通过观察上面的表，大家可以发现P[i]-1就是实际回文字串的长度。如果知道P，遍历一次就知道最长的回文子串。

     算法引入两个变量id和mx，mx表示回文字串已经覆盖的最右边界位置，id表示mx对应的回文子串的中心位置，即：mx=id+P[id]。 

      分情况讨论：

      1，如果mx > i 且j-p[j]不等于id-p[id]，那么P[i] = min(P[j], mx - i) ，分两种情况讨论：

    （1）当 mx - i > P[j] 的时候，以S[j]为中心的回文子串包含在以S[id]为中心的回文子串中，由于 i 和 j 对称，以S[i]为中心的回文子串必然包含在以S[id]为中心的回文子串中，所以必有 P[i] = P[j]，见下图。

     （2）当 P[j] > mx - i 的时候，以S[j]为中心的回文子串不一定完全包含于以S[id]为中心的回文子串中，但是基于对称性可知，下图中两个绿框所包围的部分是相同的，也就是 说以S[i]为中心的回文子串，其向右至少会扩张到mx的位置，由对称性可知，如果两个绿框两端的四个数均相等，与mx右侧第一个字符和my左侧的第一个字符不相等想矛盾，所以以S[i]为中心的回文子串，其向右最多会扩张到mx的位置。

        2，如果mx > i 且j-p[j]等于id-p[id]，那么p[i]=mx-i+以i为中心mx之后的对称部分，如果i+p[i]>mx则更新id=i,且mx=i+p[i]。

           3，如果 mx <= i，无法对 P[i]做更多的假设，只能P[i] = 1，然后再去匹配了。