字符串_KMP&最长真前后缀长度

能走多远并不取决于顺境，而是在于逆境中能否迭代到曾经相同的自己                            ——KMP

一般的字符串匹配再碰到不匹配时会回退主串的指针，但是KMP算法可以利用历史匹配信息避免冗余计算

而且KMP可以适用于所有可切片比较的对象，不止字符串

（比如数组，只需要改一处：

fs=f+['#']+s

def KMP(f, s):
    fs = f + '#' + s
    lf = len(f)
    l = len(fs)
    p = [0] * l
    j = 0
    for i in range(1, l):
        while j > 0 and fs[i] != fs[j]:
            j = p[j-1]
        if fs[i] == fs[j]:
            j += 1
        p[i] = j
        if p[i] == lf:
            start_in_fs = i - lf + 1  # 匹配在fs中的起始位置
            if start_in_fs > len(f):  # 确保匹配发生在s部分
                return start_in_fs - lf-1  # 转换为s中的下标
    return -1