Mancher算法如今已是一个常被涉及的的算法,主要适用于和回文串相关的一些题目,虽然说不常用(对于OI的其他算法而言),但却是一个很重要的算法。
Mancher算法的目标是解决回文串问题。所谓回文串,就是在一定范围内的某个子串,使得这个子串无论正着读还是反着读都是一样的。Mancher算法解决回文串问题的方法,就是求出在串中每一个下标向外延伸的最远位置,并且要求延伸到的这个子串是个回文串。简单来说,就是对于某个串
S
,某个下标
f(i)=maxj=0{j|i−j≥0,i+j<|S|,Si−j=Si+j}
那么,怎么求 f(i) 呢?如果直接暴力的话,对于像 "aaaaaa⋯" 这样的串,无疑是 O(n2) 的。
那么,Mancher又是怎样求的呢?Mancher算法基于一个观察,如果有两个下标,其中一个的延伸最长回文串范围和另一个的延伸最长回文串相交,也就是说,对于串 S ,其中有
f(k)≥min{f(i),f(j)+i−j}
。因为,
k
实际上是
j−f(j)≤i≤j≤k≤j+f(j)
由回文串的性质可知
[j−f(j),j]=[j+f(j)]
若将
[i−f(i),i+f(i)]
的每一个字符全部以
j
为中心对称,那么对称过去的区间就必然是当然,如果我们不能确定,那么我们应当继续找……
另外,对于上文所提到的用以映射的中心点
时间复杂度相当好分析,几乎全都是单调的,一路遍历过去都是 O(1) 的操作,所以是 O(1)×n=O(n) 。