algorithm - ブルート フォース パターン マッチングの正しさの引数は?

Question

パターン マッチングのブルート フォース アルゴリズムが複雑な正しさの引数を持つかどうか疑問に思っていましたか?

私は次のようなことを考えていました...アルゴリズムが完全に実行された場合、パターンの各文字がテキスト文字列のインデックスに個別に一致するため、これはその正確性を証明します。

これほど簡単でしょうか？

Answer 1

一般に、ブルート フォース マッチング アルゴリズムの正しさの議論は、その実行の過程で、文字列がパターンに一致する可能性のあるすべての方法を考慮し、それ以外は考慮しないということです。したがって、文字列が一致すると判断された場合は一致し、そうでない場合は一致しません。