【KMP算法】
在本文中，将使用始于零的数组来表示字符串。比如，若字符串S = "ABC"，则S2表示字符'C'。这种表示方法与C语言一致。
在计算机科学中，Knuth-Morris-Pratt字符串查找算法（简称为KMP算法）可在一个字符串S内查找一个-{zh-hans:词; zh-hant:字;}-W的出现位置。一个词在不匹配时本身就包含足够的信息来确定下一个匹配可能的开始位置，此算法利用这一特性以避免重新检查先前配对的字符。
这个算法由高德纳和Vaughan Pratt在1974年构思，同年James H. Morris也独立地设计出该算法，最终三人于1977年联合发表。
== 查找过程 ==
以W="ABCDABD"，S="ABC ABCDAB ABCDABCDABDE"为例说明查找过程。查找过程同时使用两个循环变量m和i：
* m代表主文字符串S内匹配字符串W的当前查找位置，
* i代表匹配字符串W当前做比较的字符位置。
图示如下：
1         2
m: 0
S: ABCABCDAB ABCDABCDABDE
W: ABCABD
i: 012456
从W与S的开头比较起。比对到S3(=' ')时，发现W3(='D')与之不符。接著并不是从S1比较下去。已经知道S1~S3不与W0相合。因此，略过这些字元，令m = 4以及i = 0。
1         2
m: 01234
S: ABC ABCDABABCDABCDABDE
W:     ABCDAB
i:     012345
如上所示，检核了"ABCDAB"这个字串。然而，下一字符便不相合。可以注意到，"AB"在"ABCDAB"的头尾处均有出现。这意味著尾端的"AB"可以作为下次比较的起始点。因此，令m = 8, i = 2，继续比较。图示如下：
1         2
m: 012345678
S: ABC ABCDABABCDABCDABDE
W:         ABDABD
i:         013456
于m = 10的地方，又出现不相符的情况。类似地，令m = 11, i = 0继续比较：
1         2
m: 012345678901
S: ABC ABCDAB ABCDABDABDE
W:            ABCDAB
i:            012345
这时，S17(='C')不与W6相同，但是已匹配部分"ABCDAB"亦为首尾均有"AB"，采取一贯的作法，令m = 15和i = 2，继续搜寻。
1         2
m: 0123456789012345
S: ABC ABCDAB ABCDABCDABD
W:                ABCDABD
i:                0123456
找到完全匹配的字串了，其起始位置于S15的地方。
== 部分匹配表 ==
部分匹配表，又称为失配函数，作用是让算法无需多次匹配S中的任何字符。能够实现线性时间搜索的关键是在主串的一些字段中检查模式串的初始字段，可以确切地知道在当前位置之前的一个潜在匹配的位置。换句话说，在不错过任何潜在匹配的情况下，"预搜索"这个模式串本身并将其译成一个包含所有可能失配的位置对应可以绕过最多无效字符的列表。
对于W中的任何位置，都希望能够查询那个位置前（不包括那个位置）有可能的W的最长初始字段的长度，而不是重新从W0开始比较整个字段，这长度就是查找下一个匹配时回退的距离。因此Ti是W的可能的适当初始字段同时也是结束于Wi - 1的子串的最大长度。使空串长度是0。当一个失配出现在模式串的最开始，这是特殊情况（无法回退），设置T0 = -1，在下面讨论。
===创建表算法示例===
以W = "ABCDABD"为例。以下将看到，部分匹配表的生成过程与前述查找过程大同小异，且出于类似原因是高效的。
首先，设定T0 = -1。为求出T1，必须找到一个"A"的真后缀（真后缀指不等于原串的后缀）兼W的前缀。但"A"没有真后缀，所以设定T1 = 0。类似地，T2 = 0。
继续到T3，注意到检查所有后缀有一个捷径：假设存在符合条件的前后缀，两者分别为W0..1 = W1..2，则必有W0..0 = W1..1。由于W0..0亦是W的真前缀，上一步必然已经得到T2 = 1（而有T2 = 0，说明假设不成立）。一般地，遍历到每个字符时，只有上一步已经发现一个长为m的有效后缀，才需要判断有无长为m+1的后缀，而毋需考虑长为m+2、m+3等的后缀。
从而，不必考虑长为2的后缀，而唯独需要考虑的长度1亦不可行，故得到T3=0。
接下来是W4 = 'A'。基于同样的理由，需要考虑的最大长度为1，并且在'A'这个情况中有效，回退到寻找的当前字符之前的字段，因此T4 = 0。
现在考虑下一个字符W5 = 'B'，使用这样的逻辑：如果曾发现一个子模式在上一个字符W4之前出现，继续到当前字符W5，那么在它之前它本身会拥有一个结束于W4合适的初始段，与事实相反的是已经找到'A'是最早出现在结束于W4的合适字段。因此为了找到W5的终止串，不需要查看W4。因此T5 = 1。
最后到W4 = 'A'。下一个字符是'B'，并且这也确实是W5。此外，上面的相同参数说明为了查找W6的字段，不需要向前查看W4，所以得出T6 = 2。
于是得到下面的表：
另一个更复杂和有趣的例子：
===建立表算法的伪代码的解释===
上面的例子以最少的复杂步骤展示了组织这个表格的一般性方法。这么做的原理是对整体的搜索：大多数工作已经在检测到当前位置的时候做完了，剩下需要做的很少。略微复杂的一点是找到一个共同前后缀。这就需要有一些初始化的代码。
algorithm kmp_table:
input:
an array of characters, W (the word to be analyzed)
an array of integers, T (the table to be filled)
output:
nothing (but during operation, it populates the table)
define variables:
an integer, pos ← 2 (the current position we are computing in T)
an integer, cnd ← 0 (the zero-based index in W of the next character of the current candidate substring)
(the first few values are fixed but different from what the algorithm might suggest)
let T0 ← -1, T1 ← 0
while pos  0 then
let cnd ← Tcnd
(third case: we have run out of candidates.  Note cnd = 0)
else
let Tpos ← 0, pos ← pos + 1
===建立表的算法的效率===
建立表的算法的复杂度是，其中是W的长度。
除去一些初始化的工作，所有工作都在循环中完成。为说明循环执行用了的时间，考虑pos和pos - cnd的大小。
* 在第一个分支里，pos - cnd不变，而pos与cnd同时自增，自然，pos增加了。
* 在第二个分支里，cnd被更小的Tcnd所替代，从而增加了pos - cnd。
* 在第三个分支里，pos增加了，而cnd不变，所以pos和pos - cnd都增加了。
因为pos ≥ pos - cnd，即在每一个阶段要么pos增加，要么pos的一个下界增加。故既然算法在pos = n时终止，此循环必然在最多次迭代后终止。因此建立表的算法的复杂度是。
==另见==
*Boyer-Moore字符串搜索算法
== 外部连结 ==
*  An explanation of the algorithm date=20210116080759  and  sample C++ code date=20201004125500  by David Eppstein
*  Knuth-Morris-Pratt algorithm date=20210125110301  description and C code by Christian Charras and Thierry Lecroq
*  Interactive animation for Knuth-Morris-Pratt algorithm by Mike Goodrich
*  Explanation of the algorithm from scratch date=20200121185531  by FH Flensburg.
== 引用 ==