algorithm - 蛮力模式匹配的正确性参数？

Question

我想知道模式匹配的蛮力算法是否会有一个复杂的正确性论点？

我在想一些类似的东西......如果算法被完全执行，这证明了它的正确性，因为模式中的每个字符都单独匹配到文本字符串中的索引。

会这么简单吗？

Answer 1

一般来说，蛮力匹配算法的正确性的论据是，在其执行过程中，它考虑了字符串匹配模式的所有可能方式，仅此而已；因此，如果它断定字符串匹配，则存在匹配，如果不匹配，则不存在。