KMP 字符串匹配

时间复杂度：O(n + m)，n为主串长度，m为模式串长度

空间复杂度：O(m)

核心思想：预处理模式串构建 Next 前缀函数数组，记录模式串每个位置的最长相同前后缀长度。匹配失败时利用 Next 数组跳转，避免主串指针回退，实现线性时间匹配。