字符串：KMP

失配时利用已匹配的前缀信息跳过重复比较，线性时间完成匹配。