如何用不关心的模式匹配解决二维匹配问题？

Question

我想我理解 Fischer & Paterson 算法，用于与此处显示的“不关心”进行模式匹配： http://u.cs.biu.ac.il/~amir/AlgII/fp-set1.html

但是，据我了解，可以使用“不关心”一维匹配来解决 O((n^2)(logm)) 时间内的二维匹配。为此，应该在每个字符串或类似内容的末尾附加一个“不关心”符号，并将其转换为一维问题。那是我不太明白的部分。我做了一些尝试，但看不出有什么帮助。

那么，带有“don't cares”的一维匹配如何帮助解决二维匹配？

谢谢。

编辑：我想我明白了。文本需要线性化（其行的串联）。模式也是如此，但在每一行之后，应添加 n-m 无关符号（模式的最后一行除外）。然而，我认为这需要 O((n^2)(log(m^2))) 时间，我认为前面提到的时间是不可能的。评论？

Answer 1

注意 log m² = 2 log m，所以你的时间限制实际上相当于 O(n² log m)。