本文系统复盘KMP算法的理解历程，从暴力匹配的低效出发，揭示其冗余比较问题。核心思想是主串游标不回退，通过预处理next数组记录模式串的最长相等前后缀长度，实现失配时的智能跳转。next数组利用递推关系线性构建，避免重复比对。最终实现主串与模式串的线性时间匹配，突破暴力算法的O(nm)瓶颈，展现算法设计的巧妙逻辑。