KMP算法：字符串匹配的高效算法实现

KMP算法（Knuth-Morris-Pratt算法）是一种用于字符串匹配的高效算法。在传统的字符串匹配算法中，如朴素算法（Brute-Force）和Rabin-Karp算法，在每次匹配失败时都需要回溯到起始位置重新匹配，导致算法的时间复杂度较高。而KMP算法通过预处理模式串，利用模式串中的信息，避免了不必要的回溯，使得字符串匹配的过程更加高效。

KMP算法的核心思想是利用已经匹配过的部分信息，确定下一次匹配的起始位置，从而避免重复比较已经匹配过的字符。算法的关键在于构建一个部分匹配表（Partial Match Table），也称为next数组，用于存储模式串中每个位置的最长相同前缀后缀的长度。

下面我们将详细介绍KMP算法的实现过程，并附上相应的源代码。

def build_next(pattern):
    n = len(pattern)