数据结构：串与 KMP

模式匹配的核心是 next 数组。要能手工推出任意串的 next 值。