字符串基础算法之(ex)kmp

因为自己是个菜B所以老实点复习算法

假设两个字符串$s1,s2$.
需要找出$s2$在$s1$中出现次数(包含0次).

基本定义

$nex{t}_i$:在$s{2}_{1..i}$中最长公共前缀后缀的长度.

匹配过程

(因为我懒得贴图所以只会口胡)
(贴个不错的博客忘记了就看这个)
http://www.ruanyifeng.com/blog/2013/05/Knuth–Morris–Pratt_algorithm.html
首先逐位匹配,如果遇到不匹配的,按照平时的匹配规律,我们应该是往后移一位然后重复匹配过程.
但是$kmp$算法的优越之处就在于,它可以利用$next$数组效率更高的往后跳转.
假设当前$s{2}_{1..j}$均匹配,跳转方式为向后跳$j-next[j]$位.
原因:前文提到$next$数组的定义为最长公共前缀后缀,所以跳转$j-next[j]$位就确保了前面的$next[j]$位仍然是匹配的,这就加快了匹配效率.
个人认为还是相当好理解.

如何$O(n)$求$next$

其实跟上面的匹配过程同理.
设$k$表示$s{2}_{1..k}$和$s{2}_{i-k..i}$相等.
若$s{2}_k+1$相等$s{2}_i+1$,则$k++$.
否则利用$next$数组的性质,$k=next[k]$往前跳直至$s{2}_k+1==s{2}_i+1$.