データ構造とプログラミング技法

（第 10回）

ー文字列照合（ KMP法、 BM法）ー

文字列照合text中の patの位置（複数可）を求める。

単純照合法 ｊは text中の照合位置iは pat中の照合位置nは textの長さ、mは patの長さ

単純照合法の無駄

単純照合法の無駄：常に大きくスキップできる訳では

ない

KMP法text中の k番目の文字で、 patの i番目の文字との比較に失敗した時、textの k`番目と、 patの next[i]番目の文字との比較から再開する。

next[i]

next[i]の例ABABBA0 1 0 1 3 0

０：共通文字列は存在しない→空であると想定しても，その直後の文字が同じなので矛盾する

１：共通文字列は存在しない→空であると想定すると，その直後の文字と先頭文字が異なるため矛盾しない

３：共通文字列は AB→直後の文字も Aと Bで不一致

next[i]の例（続き）ABCDABD0 1 1 1 0 1 3

０：共通文字列は存在しない→空であると想定しても，その直後の文字が同じなので矛盾する

１：共通文字列は存在しない→空であると想定すると，その直後の文字と先頭文字が異なるため矛盾しない

３：共通文字列は AB→直後の文字も Aと Bで不一致

KMP法 :アルゴリズム

BM法 :アイデア１パターンの末尾から照合し ,照合に失敗したテキストの側の文字種が、パターン中の照合に失敗した位置よりも左にあるかどうかを探す。

BM法 :アイデア１の実現法

BM法 :アイデア２

k+m-i

BM法 :shift(j)

BM法 :アルゴリズム