KMP算法（详细解释了next[]数组的构造原理）