是基于傅里叶变换的模式匹配算法,非常实用的一个能转化为代码的算法