拓展KMP學習筆記和題目集

拓展KMP

---

模板問題

給出兩個字符串匹配串 s , 模式串 p

請輸出 s 的每一個後綴與 p 的最長公共前綴

---

核心：由已知的匹配，求出當前已知的最長匹配位置

exkmp[]：表示模式串的每個後綴與模式串最長匹配長度

extend[]：表示匹配串的後綴與模式串的最長匹配長度

---

利用kmp的思想，用已得到的信息推出下一位

EXtend[]

若已得到$extend[i](1\leq i \leq k)$

p：爲最長的已知匹配長度，即爲$max(i+extend[i]-1)(1\leq i \leq k)$

p0：取到最長匹配長度的位置

k+1：當前匹配位置

L：exkmp[b]

$k+L< p$

即該點的最長匹配長度小於已知最長匹配長度

[l1,r1]：[1,exkmp[b]]

[l2,r2]：[k-p0+2,k-p0+1+exkmp[b]]

顯然，紅線、綠線、藍線相等

那麼，$extend[k+1]=exkmp[b]$

if (i + exkmp[i + 1 - p0] < extend[p0] + p0)
// i相當於k+1，exkmp[i+1-p0] = exkmp[k+2-p0] = L
// 相當於 k + 1 + L < p0 + extend[p0] -> k + L < p0 + extend[p0] -1
	extend[i] = exkmp[i + 1 - p0];
// extend[k+1] = L

$k+L \ge p$

即該點的最長匹配長度達到已知最長匹配長度

x：(p,k+L]

s1：[k+1,p]

s2：[1,p-k]

s3：[k-p0+2,p-p0+2]

顯然，s1，s2，s3相等

從p[p-k+1]和s[p+1]開始暴力匹配

now = extend[p0] + p0 - i + 1;
// p = extend[p0]+ p0 -1 ; i = k + 1
// now = p - k + 1
now = max(now, 1);
//防止特殊情況:k + 1 > p
while (now <= max_len && i - 1 + now <= len && p[now] == s[i - 1 + now]) now++;
//從p[p-k+1]和s[p+1]開始暴力匹配
extend[i] = now - 1;
//now爲當前失配位置-1 即爲匹配長度
p0 = i;
//更新p0

Exkmp[]

形如kmp的next[]數組

即爲 自己配自己，自己的真後綴與自己最長匹配長度（第一位即本身）

exkmp[1] = max_len;	
//第一位即本身
register int now = 1;	//第二位開始暴力匹配
while (now + 1 <= max_len && p[now] == p[now + 1]) now++;
exkmp[2] = now - 1;
int p0 = 2;
for (int i = 3; i <= max_len; i++) {//重複拓展kmp即可
	if (i + exkmp[i + 1 - p0] < exkmp[p0] + p0)
		exkmp[i] = exkmp[i + 1 - p0];
	else {
		now = exkmp[p0] + p0 - i + 1;
		now = max(now, 1);
		while (i - 1 + now <= max_len && p[now] == p[i - 1 + now])
			now++;
		exkmp[i] = now - 1;
		p0 = i;
	}
}

模板題

P5410 擴展 KMP

題目集