了解使用LCP阵列进行模式匹配的算法

我相信有一个错误。

第一个条件很容易理解。当LCP长度==模式长度时，就完成了。当您的模式小于或等于最小模式时，唯一的选择就是最小模式。

第二个条件是错误的。我们可以通过矛盾来证明这一点。r <P || Wr <= a …表示r> = P && Wr> a …如果r> =
P，那么由于我们已经有了r个长度的公共前缀，我们怎么能使Lw = N（未找到）？