蛮力模式匹配的正确性论证？

Question

我想知道模式匹配的强力算法是否会有复杂的正确性参数？

我正在考虑的事情......如果算法完全执行，这证明了它的正确性，因为模式中的每个字符都与文本字符串中的索引分别匹配。

会这么简单吗？

Answer 1

一般来说，蛮力匹配算法的正确性的论点是，在执行过程中，它会考虑字符串可以匹配模式的所有可能方式，而不是其他任何方式;因此，如果它得出结论，字符串匹配，则匹配，如果不匹配，那么就没有。