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

ボイヤー-ムーア文字列検索アルゴリズム（Boyer-Moore String Search Algorithm）は、効率的な文字列検索アルゴリズムの一種。 と が 1977年に開発した。ボイヤー-ムーア法とも呼ばれる。
このアルゴリズムでは検索文字列（パターン）の前処理を行い、検索対象テキストの前処理は行わない。したがって、テキストについて何度も検索を行わない場合に適している（他のアルゴリズムではテキスト側に前処理を施し、繰り返し検索を行うことで前処理のコストを償却する）。テキスト上の全文字をチェックする必要はなく、前処理で得た情報を活用してスキップしながら処理していく。一般にパターン文字列が長いほど検索が高速化される。検索文字列とテキストの間での不一致が発生するたびに、不一致であったという情報を最大限に利用して照合しなくてもいい位置を可能な限り排除することで、効率を向上させている。
記号の定義.
テキスト に対して から までパターン を配置した様子。この場合、 の位置で一致する。
文字列 に対する操作を以下のように表す：
文字列 に含まれる文字の個数を文字列の長さと定義する。また、文字列 の先頭を含む部分文字列をプレフィックス、末尾を含む部分文字列をサフィックスと定義する。
検索文字列をパターンと呼び、 で表す。被検索文字列をテキストと呼び、 で表す。また 上での の位置を の先頭から数えた の末尾の文字の位置と定義し、 で表す。
「 が に一致する」とは と文字列として等価な部分文字列 が存在することをいう。より具体的に、 が位置 で と一致するとは、 番目から前方 文字分を取り出した部分文字列 が と文字列として等価であることをいう。
本項では特に断りない限り、 を , を の意味で使う。
アルゴリズム.
ボイヤー-ムーア法は における の出現を検索するもので、異なる位置で明示的に何度も文字を比較することで検索する。全部で ある位置について力まかせ探索するのではなく、 を前処理して得た情報を使ってなるべく位置をスキップする。
まず、 として が の先頭に配置されるようにする。そして の 番目と の 番目から文字を照合しはじめ、インデックスを順次小さくして照合していく。つまり、 の最後尾から先頭に向かって照合していく。この照合は不一致が発生するか の先頭に到達するまで行われ（その場合は一致が見つかったことになる）、その後いくつかの規則に従って位置を右にシフトできる最大値を求める。新たな位置で再び同様の照合を行い、 の最後尾に到達するまでそれを繰り返す。
シフト規則は、 の前処理で生成したテーブル群を参照することで実装されており、定数時間でシフト量が決定される。
シフト規則.
不一致文字規則.
解説.
パターン NNAAMAN での不一致文字規則の適用例
不一致文字規則は照合が失敗した位置の T 内の文字に注目する。P のその位置から左側にその文字が存在する場合、その位置までスキップさせて不一致となった文字が一致するよう提案する。P の左側にその文字が存在しない場合、不一致の発生した文字の次から P が配置されるような位置を提案する。
前処理.
不一致文字規則のためのテーブルの正確な形式によって前処理の詳細は異なるが、単純な定数時間の参照では次のようになる。まず2次元のテーブルを作る。その際、第1の添字は文字 c のアルファベット順であり、第2の添字はパターン内の文字の位置 i である。このテーブルを参照すると、P 内で c が存在する位置 j の最大値（ただし j < i）を返すか、そのような c が存在しない場合は -1 を返す。提案するシフト量は i - j または n となる。アルファベットが有限で k 個とすれば、必要な領域は O(kn)、参照時間は O(1) となる。
一致サフィックス規則.
解説.
パターン ANAMPNAM での一致サフィックス規則の適用例
一致サフィックス規則は概念上も実装上も不一致文字規則より格段に複雑である。ボイヤー-ムーア法が最後尾から照合を始めるのはこの規則のためである。形式的には次のように説明される。
T に対して P がある位置に置かれ、T の部分文字列 t が P のサフィックスと一致しているが、その左隣の文字で不一致になったとする。そこで、t の左端からの部分文字列 t' が P のサフィックス以外の部分にないかを捜す。このとき、P のサフィックスの t の左隣の文字と P 内の t' の左隣の文字が違うものでなければならない。そして、P 内の部分文字列 t' が T の部分文字列 t と一致する位置に P をシフトする。t' が存在しなければ、P の左端が T における t の左端を過ぎた位置になるようシフトし、T 内の t のサフィックスとパターンのプレフィックスが一致するように配置する。そのようなシフトが不可能な場合、P の長さ n のぶんだけシフトする。P 全体が一致した場合、P のサフィックスとプレフィックスに一致があればそれを考慮してシフト量を最小にする。そのような一致がない場合は、P の長さ n のぶんだけシフトする。
前処理.
一致サフィックス規則には2つのテーブルを必要とする。1つは通常使用し、もう1つは前者が意味のある結果を返さない場合や一致が起きた場合に使う。前者のテーブルを L、後者のテーブルを H とする。これらの定義は次の通りである。
各 i について L[i] は、文字列 P[i..n] が P[1..L[i]] のサフィックスに一致し、そのサフィックスの前の文字が P[i-1] と同じでない場合の最大の値を格納する。そのような条件を満たす位置がない場合 L[i] にはゼロを格納する。
H[i] には P のプレフィックスでもある P[i..n] の最大サフィックスの長さを格納する（もしあれば）。そのような一致が存在しない場合 H[i] をゼロとする。
どちらのテーブルも構築には O(n) の時間と O(n) の領域を必要とする。提案されるシフト量は n - L[i] または n - H[i] で、H は L[i] がゼロとなるか、P 全体が一致した場合にのみ使われる。
ガリル規則.
1979年、 はボイヤー-ムーア法に単純だが重要な改良を施した。追加されたガリル規則はシフト量を決めるものではなく、各位置での照合を高速化するものである。位置 k1 で P と T を照合して T 上の文字 c まで照合し、次にシフトした位置 k2 によりパターンの先頭の位置が c と k1 の間になったとき、P のプレフィックスは部分文字列 T[(k2 - n)..k1] と必ず一致する。したがってこの際の文字照合は T の k1 の位置まででよく、k1 より前の照合は省略できる。ガリル規則はボイヤー-ムーア法の効率を向上させるだけでなく、最悪ケースでも線型時間であることを保証するのに必須である。
性能.
オリジナルの論文では、パターンがテキスト内に存在しない場合のボイヤー-ムーア法の最悪ケースは O(n+m) だとされている。これは1977年、ドナルド・クヌース、、 が初めて証明した。さらに1980年、 と が最悪ケースの文字比較回数の上限を 5m 回以下だと証明した。1991年、Coleは最悪ケースの比較回数の上限が 3m 回以下であることを証明した。
パターンがテキスト内に出現する場合、オリジナルのアルゴリズムの最悪ケースは O(nm) となる。これはパターンもテキストも同じ文字の羅列の場合に容易に発生する。ただし、ガリル規則を加えるとあらゆるケースで線型時間となる。
実装例.
Python.
"""
Returns the index of the given character in the English alphabet, counting from 0.
def alphabet_index(c):
 return ord(c.lower()) - 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(S, idx1, idx2):
 if idx1 == idx2:
 return len(S) - idx1
 match_count = 0
 while idx1 < len(S) and idx2 < len(S) 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(n) time,
where n is the length of S.
def fundamental_preprocess(S):
 if len(S) == 0: # Handles case of empty string
 return []
 if len(S) == 1: # Handles case of single-character string
 return [1]
 z = [0 for x in S]
 z[0] = len(S)
 z[1] = match_length(S, 0, 1)
 for i in range(2, 1+z[1]): # Optimization from exercise 1-5
 z[i] = z[1]-i+1
 # Defines lower and upper limits of z-box
 l = 0
 r = 0
 for i in range(2+z[1], len(S)):
 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(b, len(S)-i)
 l = i
 r = i+z[i]-1
 else: # b ends exactly at end of existing z-box
 z[i] = b+match_length(S, a, r+1)
 l = i
 r = i+z[i]-1
 else: # i does not reside within existing z-box
 z[i] = match_length(S, 0, i)
 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 (plus the index after 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(S):
 if len(S) == 0:
 return = patlen-1 - i;
// true if the suffix of word starting from word[pos] is a prefix 
// of word
int is_prefix(uint8_t *word, int wordlen, int pos) {
 int i;
 int suffixlen = wordlen - pos;
 // could also use the strncmp() library function here
 for (i = 0; i < suffixlen; i++) {
 if (word[i] != word[pos+i]) {
 return 0;
 return 1;
// length of the longest suffix of word ending on word[pos].
// suffix_length("dddbcabc", 8, 4) = 2
int suffix_length(uint8_t *word, int wordlen, int pos) {
 int i;
 // increment suffix length i to the first mismatch or beginning
 // of the word
 for (i = 0; (word[pos-i] == word[wordlen-1-i]) && (i < pos); 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 (if there are multiple
// prefixes in the substring, pick the longest). 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 *delta2, uint8_t *pat, int32_t patlen) {
 int p;
 int last_prefix_index = patlen-1;
 // first loop
 for (p=patlen-1; p>=0; p--) {
 if (is_prefix(pat, patlen, p+1)) {
 last_prefix_index = p+1;
 delta2[p] = last_prefix_index + (patlen-1 - p);
 // second loop
 for (p=0; p < patlen-1; p++) {
 int slen = suffix_length(pat, patlen, p);
 if (pat[p - slen] != pat[patlen-1 - slen]) {
 delta2[patlen-1 - slen] = patlen-1 - p + slen;
uint8_t* boyer_moore (uint8_t *string, uint32_t stringlen, uint8_t *pat, uint32_t patlen) {
 int i;
 int delta1[ALPHABET_LEN];
 int *delta2 = malloc(patlen * sizeof(int));
 make_delta1(delta1, pat, patlen);
 make_delta2(delta2, pat, patlen);
 i = patlen-1;
 while (i < stringlen) {
 int j = patlen-1;
 while (j >= 0 && (string[i] == pat[j])) {
 --i;
 --j;
 if (j < 0) {
 free(delta2);
 return (string + i+1);
 i += max(delta1[string[i]], delta2[j]);
 free(delta2);
 return NULL;
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(char[] haystack, char[] needle) {
 if (needle.length == 0) {
 return 0;
 int charTable[] = makeCharTable(needle);
 int offsetTable[] = makeOffsetTable(needle);
 for (int i = needle.length - 1, j; i < haystack.length;) {
 for (j = needle.length - 1; needle[j] == haystack[i]; --i, --j) {
 if (j == 0) {
 return i;
 // i += needle.length - j; // For naive method
 i += Math.max(offsetTable[needle.length - 1 - j], charTable[haystack[i]]);
 return -1;
 
 * Makes the jump table based on the mismatched character information.
 private static int[] makeCharTable(char[] needle) {
 final int ALPHABET_SIZE = 256;
 int[] table = new int[ALPHABET_SIZE];
 for (int i = 0; i < table.length; ++i) {
 table[i] = needle.length;
 for (int i = 0; i < needle.length - 1; ++i) {
 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(char[] needle) {
 int[] table = new int[needle.length];
 int lastPrefixPosition = needle.length;
 for (int i = needle.length - 1; i >= 0; --i) {
 if (isPrefix(needle, i + 1)) {
 lastPrefixPosition = i + 1;
 table[needle.length - 1 - i] = lastPrefixPosition - i + needle.length - 1;
 for (int i = 0; i < needle.length - 1; ++i) {
 int slen = suffixLength(needle, i);
 table[slen] = needle.length - 1 - i + slen;
 return table;
 
 * Is needle[p:end] a prefix of needle?
 private static boolean isPrefix(char[] needle, int p) {
 for (int i = p, j = 0; i < needle.length; ++i, ++j) {
 if (needle[i] != needle[j]) {
 return false;
 return true;
 
 * Returns the maximum length of the substring ends at p and is a suffix.
 private static int suffixLength(char[] needle, int p) {
 int len = 0;
 for (int i = p, j = needle.length - 1;
 i >= 0 && needle[i] == needle[j]; --i, --j) {
 len += 1;
 return len;