ボイヤー-ムーア文字列検索アルゴリズム

ボイヤー-ムーア文字列検索アルゴリズムは、効率的な文字列検索アルゴリズムの一種。Robert S. Boyer と J Strother Moore が 1977年に開発した。ボイヤー-ムーア法とも呼ばれる。

このアルゴリズムでは検索文字列の前処理を行い、検索対象テキストの前処理は行わない。したがって、テキストについて何度も検索を行わない場合に適している。テキスト上の全文字をチェックする必要はなく、前処理で得た情報を活用してスキップしながら処理していく。一般にパターン文字列が長いほど検索が高速化される。検索文字列とテキストの間での不一致が発生するたびに、不一致であったという情報を最大限に利用して照合しなくてもいい位置を可能な限り排除することで、効率を向上させている。

1. 記号の定義
--------



テキスト 1=//T// = "ANPANMAN"}} に対して 1=//k// = 3}} から 1=//k// = 8}} までパターン 1=//P// = "PAN"}} を配置した様子。この場合、1=//k// = 5}} の位置で一致する。文字列 S}} に対する操作を以下のように表す：

//S//[//i//]}}： 文字列 S}} の i}} 番目の文字
//S//[//i//..//j//]}}： 文字列 S}} の i}} から j}} 番目までの部分文字列文字列 S}} に含まれる文字の個数を文字列の長さと定義する。また、文字列 S}} の先頭を含む部分文字列をプレフィックス、末尾を含む部分文字列をサフィックスと定義する。

len}}：S}} の長さ
//S//[1..//i//], 1 ≤ //i// ≤ len}}：S}} のプレフィックス
//S//[//i//..len], 1 ≤ //i// ≤ len}}：S}} のサフィックス検索文字列をパターンと呼び、P}} で表す。被検索文字列をテキストと呼び、T}} で表す。また T}} 上での P}} の位置を T}} の先頭から数えた P}} の末尾の文字の位置と定義し、k}} で表す。

T}}：テキスト
P}}：パターン
k}}：テキスト T}} 上でのパターン P}} の最後の文字の位置「P}} が T}} に一致する」とは P}} と文字列として等価な部分文字列 //T//[//i//..//j//]}} が存在することをいう。より具体的に、P}} が位置 k}} で T}} と一致するとは、k}} 番目から前方 len}} 文字分を取り出した部分文字列 //T//[ + 1)..//k//]}} が P}} と文字列として等価であることをいう。

本項では特に断りない限り、m}} を len}}, n}} を len}} の意味で使う。

2. アルゴリズム
---------

ボイヤー-ムーア法は T}} における P}} の出現を検索するもので、異なる位置で明示的に何度も文字を比較することで検索する。全部で //m// − //n// + 1}} ある位置について力まかせ探索するのではなく、P}} を前処理して得た情報を使ってなるべく位置をスキップする。

まず、1=//k// = //n//}} として P}} が T}} の先頭に配置されるようにする。そして P}} の n}} 番目と T}} の k}} 番目から文字を照合しはじめ、インデックスを順次小さくして照合していく。つまり、P}} の最後尾から先頭に向かって照合していく。この照合は不一致が発生するか P}} の先頭に到達するまで行われ、その後いくつかの規則に従って位置を右にシフトできる最大値を求める。新たな位置で再び同様の照合を行い、T}} の最後尾に到達するまでそれを繰り返す。

シフト規則は、P}} の前処理で生成したテーブル群を参照することで実装されており、定数時間でシフト量が決定される。

3. シフト規則
--------

3.1. 不一致文字規則
------------

3.1.1. 解説
---------



パターン NNAAMAN での不一致文字規則の適用例不一致文字規則は照合が失敗した位置の // 内の文字に注目する。// のその位置から左側にその文字が存在する場合、その位置までスキップさせて不一致となった文字が一致するよう提案する。// の左側にその文字が存在しない場合、不一致の発生した文字の次から // が配置されるような位置を提案する。

3.1.2. 前処理
----------

不一致文字規則のためのテーブルの正確な形式によって前処理の詳細は異なるが、単純な定数時間の参照では次のようになる。まず2次元のテーブルを作る。その際、第1の添字は文字 // のアルファベット順であり、第2の添字はパターン内の文字の位置 // である。このテーブルを参照すると、// 内で // が存在する位置 // の最大値を返すか、そのような // が存在しない場合は // を返す。提案するシフト量は // または // となる。アルファベットが有限で k 個とすれば、必要な領域は //、参照時間は // となる。

3.2. 一致サフィックス規則
---------------

3.2.1. 解説
---------



パターン ANAMPNAM での一致サフィックス規則の適用例 一致サフィックス規則は概念上も実装上も不一致文字規則より格段に複雑である。ボイヤー-ムーア法が最後尾から照合を始めるのはこの規則のためである。形式的には次のように説明される。

// に対して // がある位置に置かれ、// の部分文字列 // が // のサフィックスと一致しているが、その左隣の文字で不一致になったとする。そこで、// の左端からの部分文字列 // が // のサフィックス以外の部分にないかを捜す。このとき、// のサフィックスの // の左隣の文字と // 内の // の左隣の文字が違うものでなければならない。そして、// 内の部分文字列 // が // の部分文字列 // と一致する位置に // をシフトする。// が存在しなければ、// の左端が // における // の左端を過ぎた位置になるようシフトし、// 内の // のサフィックスとパターンのプレフィックスが一致するように配置する。そのようなシフトが不可能な場合、// の長さ // のぶんだけシフトする。// 全体が一致した場合、// のサフィックスとプレフィックスに一致があればそれを考慮してシフト量を最小にする。そのような一致がない場合は、// の長さ // のぶんだけシフトする。

3.2.2. 前処理
----------

一致サフィックス規則には2つのテーブルを必要とする。1つは通常使用し、もう1つは前者が意味のある結果を返さない場合や一致が起きた場合に使う。前者のテーブルを //、後者のテーブルを // とする。これらの定義は次の通りである。

各 // について // は、文字列 // が // のサフィックスに一致し、そのサフィックスの前の文字が // と同じでない場合の最大の値を格納する。そのような条件を満たす位置がない場合 // にはゼロを格納する。

// には // のプレフィックスでもある // の最大サフィックスの長さを格納する。そのような一致が存在しない場合 // をゼロとする。どちらのテーブルも構築には // の時間と // の領域を必要とする。提案されるシフト量は // または // で、// は // がゼロとなるか、// 全体が一致した場合にのみ使われる。

4. ガリル規則
--------

1979年、Zvi Galil はボイヤー-ムーア法に単純だが重要な改良を施した。追加されたガリル規則はシフト量を決めるものではなく、各位置での照合を高速化するものである。位置 // で // と // を照合して // 上の文字 // まで照合し、次にシフトした位置 // によりパターンの先頭の位置が // と // の間になったとき、// のプレフィックスは部分文字列 // と必ず一致する。したがってこの際の文字照合は // の // の位置まででよく、// より前の照合は省略できる。ガリル規則はボイヤー-ムーア法の効率を向上させるだけでなく、最悪ケースでも線型時間であることを保証するのに必須である。

5. 性能
-----

オリジナルの論文では、パターンがテキスト内に存在しない場合のボイヤー-ムーア法の最悪ケースは // だとされている。これは1977年、ドナルド・クヌース、James H. Morris、Vaughan Pratt が初めて証明した。さらに1980年、Leonidas J. Guibas と Andrew Odlyzko が最悪ケースの文字比較回数の上限を // 回以下だと証明した。1991年、Coleは最悪ケースの比較回数の上限が // 回以下であることを証明した。

パターンがテキスト内に出現する場合、オリジナルのアルゴリズムの最悪ケースは // となる。これはパターンもテキストも同じ文字の羅列の場合に容易に発生する。ただし、ガリル規則を加えるとあらゆるケースで線型時間となる。

6. 実装例
------

6.1. Python
-----------

""" Returns the index of the given character in the English alphabet, counting from 0. """ def alphabet_index: return ord) - 97 # 'a' is ASCII character 97

""" Returns the length of the match of the substrings of S beginning at idx1 and idx2. """ def match_length: if idx1 == idx2: return len - idx1 match_count = 0 while idx1 < len and idx2 < len and S[idx1] == S[idx2]: match_count += 1 idx1 += 1 idx2 += 1 return match_count

""" Returns Z, the Fundamental Preprocessing of S. Z[i] is the length of the substring beginning at i which is also a prefix of S. This pre-processing is done in O time, where n is the length of S. """ def fundamental_preprocess: if len == 0: # Handles case of empty string return [] if len == 1: # Handles case of single-character string return [1] z = [0 for x in S] z[0] = len z[1] = match_length for i in range: # Optimization from exercise 1-5 z[i] = z[1]-i+1

Defines lower and upper limits of z-boxl = 0 r = 0 for i in range): if i <= r: # i falls within existing z-box k = i-l b = z[k] a = r-i+1 if b < a: # b ends within existing z-box z[i] = b elif b > a: # Optimization from exercise 1-6 z[i] = min-i) l = i r = i+z[i]-1 else: # b ends exactly at end of existing z-box z[i] = b+match_length l = i r = i+z[i]-1 else: # i does not reside within existing z-box z[i] = match_length if z[i] > 0: l = i r = i+z[i]-1 return z

""" Generates R for S, which is an array indexed by the position of some character c in the English alphabet. At that index in R is an array of length |S|+1, specifying for each index i in S  the next location of character c encountered when traversing S from right to left starting at i. This is used for a constant-time lookup for the bad character rule in the Boyer-Moore string search algorithm, although it has a much larger size than non-constant-time solutions. """ def bad_character_table: if len == 0: return [[] for a in range] R = [[-1] for a in range] alpha = [-1 for a in range] for i, c in enumerate: alpha[alphabet_index] = i for j, a in enumerate: R[j].append return R

""" Generates L for S, an array used in the implementation of the strong good suffix rule. L[i] = k, the largest position in S such that S[i:]  matches a suffix of S[:k] . Used in Boyer-Moore, L gives an amount to shift P relative to T such that no instances of P in T are skipped and a suffix of P matches the substring of T matched by a suffix of P in the previous match attempt. Specifically, if the mismatch took place at position i-1 in P, the shift magnitude is given by the equation len - L[i]. In the case that L[i] = -1, the full shift table is used. Since only proper suffixes matter, L[0] = -1. """ def good_suffix_table: L = [-1 for c in S] N = fundamental_preprocess # S[::-1] reverses S N.reverse for j in range-1): i = len - N[j] if i != len: L[i] = j return L

""" Generates F for S, an array used in a special case of the good suffix rule in the Boyer-Moore string search algorithm. F[i] is the length of the longest suffix of S[i:] that is also a prefix of S. In the cases it is used, the shift magnitude of the pattern P relative to the text T is len - F[i] for a mismatch occurring at i-1. """ def full_shift_table: F = [0 for c in S] Z = fundamental_preprocess longest = 0 for i, zv in enumerate): longest = max if zv == i+1 else longest F[-i-1] = longest return F

""" Implementation of the Boyer-Moore string search algorithm. This finds all occurrences of P in T, and incorporates numerous ways of pre-processing the pattern to determine the optimal amount to shift the string and skip comparisons. In practice it runs in O  time, where m is the length of T. This implementation performs a case-insensitive search on ASCII alphabetic characters, spaces not included. """ def string_search: if len == 0 or len == 0 or len < len: return []

matches = []

PreprocessingR = bad_character_table L = good_suffix_table F = full_shift_table

k = len - 1 # Represents alignment of end of P relative to T previous_k = -1 # Represents alignment in previous phase  while k < len: i = len - 1 # Character to compare in P h = k # Character to compare in T while i >= 0 and h > previous_k and P[i] == T[h]: # Matches starting from end of P i -= 1 h -= 1 if i == -1 or h == previous_k: # Match has been found  matches.append + 1) k += len-F[1] if len > 1 else 1 else: # No match, shift by max of bad character and good suffix rules char_shift = i - R[alphabet_index][i] if i+1 == len: # Mismatch happened on first attempt suffix_shift = 1 elif L[i+1] == -1: # Matched suffix does not appear anywhere in P suffix_shift = len - F[i+1] else: # Matched suffix appears in P suffix_shift = len - L[i+1] shift = max previous_k = k if shift >= i+1 else previous_k # Galil's rule k += shift return matches<WtXmlEndTag />

6.2. C言語
--------

include
include
define ALPHABET_LEN 255
define NOT_FOUND patlen
define max  ? b : a)// delta1 table: delta1[c] contains the distance between the last // character of pat and the rightmost occurence of c in pat. // If c does not occur in pat, then delta1[c] = patlen. // If c is at string[i] and c != pat[patlen-1], we can // safely shift i over by delta1[c], which is the minimum distance // needed to shift pat forward to get string[i] lined up // with some character in pat. // this algorithm runs in alphabet_len+patlen time. void make_delta1 { int i; for  { delta1[i] = NOT_FOUND; } for  { delta1[pat[i]] = patlen-1 - i; } }

// true if the suffix of word starting from word[pos] is a prefix // of word int is_prefix { int i; int suffixlen = wordlen - pos; // could also use the strncmp library function here for  { if  { return 0; } } return 1; }

// length of the longest suffix of word ending on word[pos]. // suffix_length = 2 int suffix_length { int i; // increment suffix length i to the first mismatch or beginning // of the word for  && ; i++); return i; }

// delta2 table: given a mismatch at pat[pos], we want to align // with the next possible full match could be based on what we // know about pat[pos+1] to pat[patlen-1]. // // In case 1: // pat[pos+1] to pat[patlen-1] does not occur elsewhere in pat, // the next plausible match starts at or after the mismatch. // If, within the substring pat[pos+1 .. patlen-1], lies a prefix // of pat, the next plausible match is here . Otherwise, the // next plausible match starts past the character aligned with // pat[patlen-1]. // // In case 2: // pat[pos+1] to pat[patlen-1] does occur elsewhere in pat. The // mismatch tells us that we are not looking at the end of a match. // We may, however, be looking at the middle of a match. // // The first loop, which takes care of case 1, is analogous to // the KMP table, adapted for a 'backwards' scan order with the // additional restriction that the substrings it considers as //
potential prefixes are all suffixes. In the worst case scenario // pat consists of the same letter repeated, so every suffix is // a prefix. This loop alone is not sufficient, however: // Suppose that pat is "ABYXCDEYX", and text is ".....ABYXCDEYX". // We will match X, Y, and find B != E. There is no prefix of pat // in the suffix "YX", so the first loop tells us to skip forward // by 9 characters. // Although superficially similar to the KMP table, the KMP table // relies on information about the beginning of the partial match // that the BM algorithm does not have. // // The second loop addresses case 2. Since suffix_length may not be // unique, we want to take the minimum value, which will tell us // how far away the closest potential match is. void make_delta2 { int p; int last_prefix_index = patlen-1;

// first loop for  { if ) { last_prefix_index = p+1; } delta2[p] = last_prefix_index + ; }

// second loop for  { int slen = suffix_length; if  { delta2[patlen-1 - slen] = patlen-1 - p + slen; } } }

uint8_t* boyer_moore  { int i; int delta1[ALPHABET_LEN]; int *delta2 = malloc); make_delta1; make_delta2;

i = patlen-1; while  { int j = patlen-1; while ) { --i; --j; } if  { free; return ; }

i += max; } free; return NULL; }<WtXmlEndTag />

6.3. Java
---------

/

Returns the index within this string of the first occurrence of the
specified substring. If it is not a substring, return -1.
@param haystack The string to be scanned
@param needle The target string to search
@return The start index of the substring
/public static int indexOf { if  { return 0; } int charTable[] = makeCharTable; int offsetTable[] = makeOffsetTable; for  { for  { if  { return i; } } // i += needle.length - j; // For naive method i += Math.max; } return -1; }

/

Makes the jump table based on the mismatched character information.
/private static int[] makeCharTable { final int ALPHABET_SIZE = 256; int[] table = new int[ALPHABET_SIZE]; for  { table[i] = needle.length; } for  { table[needle[i]] = needle.length - 1 - i; } return table; }

/

Makes the jump table based on the scan offset which mismatch occurs.
/private static int[] makeOffsetTable { int[] table = new int[needle.length]; int lastPrefixPosition = needle.length; for  { if ) { lastPrefixPosition = i + 1; } table[needle.length - 1 - i] = lastPrefixPosition - i + needle.length - 1; } for  { int slen = suffixLength; table[slen] = needle.length - 1 - i + slen; } return table; }

/

Is needle[p:end] a prefix of needle?
/private static boolean isPrefix { for  { if  { return false; } } return true; }

/

Returns the maximum length of the substring ends at p and is a suffix.
/private static int suffixLength { int len = 0; for  { len += 1; } return len; }<WtXmlEndTag />

7. 派生
-----

ボイヤー-ムーア-ホースプール法は、ボイヤームーア法を単純化したもので、不一致文字規則しか使用しない。
Apostolico-Giancarlo algorithm は、与えられた位置での照合に際して、一致することが分かっている文字の照合をスキップすることで高速化したものである。これは、パターンの前処理でえられた情報と各位置での一致したサフィックス長についての情報を利用する。ただし、これには検索対象のテキストと同じサイズの追加のテーブルを必要とする。
"On Improving the Average Case of the Boyer-Moore String Matching Algorithm"による手法は連続した2つの文字列を用いてマッチングを行う。スキップテーブルを生成する前処理の段階では遅くなるものの生成そのものは高速であり、アルファベットやパターンが小規模であるときに高速に処理できる。

8. 関連項目
-------

クヌース-モリス-プラット法
エイホ-コラシック法
ラビン-カープ文字列検索アルゴリズム
接尾辞木

9. 脚注
-----

10. 外部リンク
---------

[1]
[2]
[3] このアルゴリズムの考案者の1人J Strother Mooreのホームページ
[4]