问题:
给定两个字符串s1和s2,要求判定s2是否能够被s1做循环移位得到的字符串包含。
解法:
我们在对s1进行循环移位时,保留前面移走的数据,会发现只要将s1复制一份接在后面就能够包含匹配的所有情况。然后只要在s1中查找s2的位置就可以了,我们使用KMP算法在时间O(m+n)内就能够找出这个位置。
KMP算法还是一个比较难理解的算法之一,它的改进在于每当一趟匹配过程中出现字符比较不等时,不需回溯i指针,而是利用已经得到的“部分匹配”的结果将模式串向右“滑动”尽可能远的一段距离后,继续进行比较。
模式串T开头的串被称为前缀子串(下图字符串1...f(k-1)-1表示一个前缀子串),在T中第k个字符左边的子串被称为位置k的左子串(下图字符串k-f(k-1)...k-2表示与该前缀子串相匹配的位置k-1的左子串)。这里我们用动态规划的思路实现这个算法,在形式上与书上的实现方式相差比较大,但效率是一样,并且会更好理解和记忆