アルゴリズム

[Python] クヌース・モリス・ブラット法を実装する方法

2025-04-15更新日: 2025-04-15

クヌース・モリス・ブラット(KMP)法は、文字列検索アルゴリズムの一つで、部分一致の情報を利用して効率的に検索を行います。

KMP法のPython実装は、まず「部分一致テーブル(LPS: Longest Prefix which is also Suffix)」を作成し、その後、テキストとパターンを比較していきます。

LPSテーブルは、パターン内の繰り返しを利用して、無駄な比較を避けるために使われます。

目次から探す

クヌース・モリス・ブラット(KMP)法とは

クヌース・モリス・ブラット法(KMP法)は、文字列検索アルゴリズムの一つで、特定のパターンがテキスト内に存在するかどうかを効率的に調べる手法です。

このアルゴリズムは、部分一致テーブル(LPSテーブル)を利用して、検索中に無駄な比較を避けることができるため、最悪の場合でも時間計算量は $O (n + m)$ となります。

ここで、 $n$ はテキストの長さ、 $m$ はパターンの長さです。

KMP法は、特に大規模なデータセットやリアルタイムの文字列検索において、その効率性から広く利用されています。

KMP法のアルゴリズムの仕組み

部分一致テーブル(LPS)の役割

部分一致テーブル(LPSテーブル)は、KMP法の中心的な要素であり、パターン内の部分一致情報を保持します。

このテーブルは、パターンの各位置における、最長の接頭辞と接尾辞の長さを示します。

LPSテーブルを使用することで、パターンが不一致になった際に、どの位置から再度比較を開始すればよいかを効率的に決定できます。

これにより、無駄な比較を避け、検索を高速化します。

LPSテーブルの作成方法

LPSテーブルは、以下の手順で作成されます。

初期化: LPSテーブルの最初の要素は0に設定します。
比較: パターンの各文字を順に比較し、接頭辞と接尾辞の一致を確認します。
更新: 一致した場合は、LPSテーブルの値を更新し、一致しなかった場合は、前の接頭辞の長さを参照して再度比較を行います。

以下は、LPSテーブルを作成するPythonのサンプルコードです。

def createLPS(pattern):
    lps = [0] * len(pattern)  # LPSテーブルの初期化
    length = 0  # 前の接頭辞の長さ
    i = 1  # パターンの2文字目から開始
    while i < len(pattern):
        if pattern[i] == pattern[length]:
            length += 1
            lps[i] = length
            i += 1
        else:
            if length != 0:
                length = lps[length - 1]  # 前の接頭辞の長さを参照
            else:
                lps[i] = 0
                i += 1
    return lps
# サンプルパターン
pattern = "ABABAC"
lps_table = createLPS(pattern)
print(lps_table)

[0, 0, 1, 2, 3, 0]

パターンマッチングの流れ

KMP法によるパターンマッチングは、以下の流れで行われます。

LPSテーブルの作成: まず、パターンに対してLPSテーブルを作成します。
テキストの走査: テキストを左から右に走査し、パターンの最初の文字と比較します。
一致の確認: 一致した場合は次の文字を比較し、一致しなかった場合はLPSテーブルを参照して、次に比較する位置を決定します。
繰り返し: テキスト全体を走査し、パターンが見つかるまでこのプロセスを繰り返します。

KMP法の時間計算量と空間計算量

KMP法の計算量は以下の通りです。

時間計算量: $O (n + m)$
$n$ : テキストの長さ
$m$ : パターンの長さ
LPSテーブルの作成とテキストの走査がそれぞれ線形時間で行われるため、合計で線形時間となります。
空間計算量: $O (m)$
LPSテーブルを保持するために、パターンの長さに比例した空間が必要です。

PythonでのKMP法の実装

LPSテーブルの作成手順

LPSテーブルを作成する手順は以下の通りです。

初期化: LPSテーブルを0で初期化します。
文字の比較: パターンの各文字を順に比較し、接頭辞と接尾辞の一致を確認します。
一致した場合: 一致した場合は、LPSテーブルの値を更新し、次の文字に進みます。
一致しなかった場合: 一致しなかった場合は、前の接頭辞の長さを参照して再度比較を行います。

この手順を実装した関数は、前述のコードで示されています。

文字列検索の実装手順

KMP法による文字列検索の実装手順は以下の通りです。

LPSテーブルの作成: まず、パターンに対してLPSテーブルを作成します。
テキストの走査: テキストを左から右に走査し、パターンの最初の文字と比較します。
一致の確認: 一致した場合は次の文字を比較し、一致しなかった場合はLPSテーブルを参照して、次に比較する位置を決定します。
パターンの発見: パターンが見つかった場合は、その位置を記録します。

以下は、文字列検索を実装するPythonのサンプルコードです。

def KMPSearch(text, pattern):
    lps = createLPS(pattern)  # LPSテーブルの作成
    i = 0  # テキストのインデックス
    j = 0  # パターンのインデックス
    positions = []  # パターンが見つかった位置を格納するリスト
    while i < len(text):
        if pattern[j] == text[i]:
            i += 1
            j += 1
        if j == len(pattern):
            positions.append(i - j)  # パターンの開始位置を記録
            j = lps[j - 1]  # 次の比較のためにjを更新
        elif i < len(text) and pattern[j] != text[i]:
            if j != 0:
                j = lps[j - 1]  # LPSテーブルを参照
            else:
                i += 1
    return positions
# サンプルテキストとパターン
text = "ABABDABACDABABCABAB"
pattern = "ABAB"
found_positions = KMPSearch(text, pattern)
print(found_positions)

[0, 10, 15]

実装の全体コード

以下に、LPSテーブルの作成と文字列検索を含むKMP法の全体コードを示します。

def createLPS(pattern):
    lps = [0] * len(pattern)
    length = 0
    i = 1
    while i < len(pattern):
        if pattern[i] == pattern[length]:
            length += 1
            lps[i] = length
            i += 1
        else:
            if length != 0:
                length = lps[length - 1]
            else:
                lps[i] = 0
                i += 1
    return lps
def KMPSearch(text, pattern):
    lps = createLPS(pattern)
    i = 0
    j = 0
    positions = []
    while i < len(text):
        if pattern[j] == text[i]:
            i += 1
            j += 1
        if j == len(pattern):
            positions.append(i - j)
            j = lps[j - 1]
        elif i < len(text) and pattern[j] != text[i]:
            if j != 0:
                j = lps[j - 1]
            else:
                i += 1
    return positions
# サンプルテキストとパターン
text = "ABABDABACDABABCABAB"
pattern = "ABAB"
found_positions = KMPSearch(text, pattern)
print(found_positions)

[0, 10, 15]

実装のポイントと注意点

LPSテーブルの正確な作成: LPSテーブルが正しく作成されていないと、検索結果が不正確になる可能性があります。

特に、部分一致の長さを正確に計算することが重要です。

テキストとパターンの長さ: テキストやパターンが非常に長い場合、メモリ使用量や実行時間に注意が必要です。

特に、LPSテーブルのサイズはパターンの長さに依存します。

エッジケースの考慮: 空のテキストやパターン、または一致しない場合の処理を適切に行うことが重要です。

これにより、エラーを防ぎ、安定した動作を確保できます。

KMP法の動作確認

サンプルデータを使った動作確認

KMP法の動作を確認するために、以下のサンプルデータを使用します。

テキストとパターンを設定し、KMP法を用いてパターンがテキスト内に存在するかを確認します。

# サンプルテキストとパターン
text = "ABABDABACDABABCABAB"
pattern = "ABAB"
found_positions = KMPSearch(text, pattern)
print("見つかった位置:", found_positions)

見つかった位置: [0, 10, 15]

この結果から、パターン ABAB がテキスト内の位置0、10、15に存在することが確認できます。

文字列が見つかった場合の挙動

KMP法では、パターンがテキスト内に見つかった場合、見つかった位置をリストに追加します。

上記のサンプルデータでは、パターン ABAB がテキスト内の3つの位置で見つかりました。

これにより、ユーザーはパターンの出現位置を簡単に把握できます。

例えば、以下のように出力されます。

見つかった位置: [0, 10, 15]

この出力は、パターンがテキストのどの位置に存在するかを示しています。

文字列が見つからなかった場合の挙動

KMP法では、パターンがテキスト内に見つからなかった場合、空のリストが返されます。

以下の例では、存在しないパターン XYZ を使用して動作を確認します。

# サンプルテキストと存在しないパターン
text = "ABABDABACDABABCABAB"
pattern = "XYZ"
found_positions = KMPSearch(text, pattern)
print("見つかった位置:", found_positions)

見つかった位置: []

この結果から、パターン XYZ がテキスト内に存在しないことが確認できます。

実行時間の測定と最適化

KMP法の実行時間を測定するために、timeモジュールを使用して、特定のテキストとパターンに対する検索時間を計測します。

以下のコードは、実行時間を測定する例です。

import time
# 大規模なサンプルデータ
text = "A" * 100000 + "B" * 100000 + "C" * 100000 + "ABAB"
pattern = "ABAB"
start_time = time.time()
found_positions = KMPSearch(text, pattern)
end_time = time.time()
print("見つかった位置:", found_positions)
print("実行時間:", end_time - start_time, "秒")

見つかった位置: [300000]
実行時間: 0.002秒(例)

このように、KMP法は大規模なデータセットに対しても効率的に動作し、実行時間が短いことが確認できます。

最適化のポイントとしては、LPSテーブルの作成を正確に行うこと、無駄な比較を避けることが挙げられます。

また、テキストやパターンの長さに応じて、適切なデータ構造を選択することも重要です。

KMP法の応用例

大規模データセットでの文字列検索

KMP法は、大規模なデータセットに対する文字列検索に非常に適しています。

例えば、ログファイルやデータベース内のテキストデータから特定の情報を抽出する際に、KMP法を使用することで、検索時間を大幅に短縮できます。

特に、数百万行のデータを扱う場合、KMP法の効率的な検索アルゴリズムは、従来の単純な検索アルゴリズムに比べて、パフォーマンスの向上を実現します。

DNA配列のパターンマッチング

生物学の分野では、DNA配列の解析にKMP法が利用されます。

特定の遺伝子や配列をDNAデータベース内で検索する際、KMP法を用いることで、迅速に一致する配列を見つけることができます。

これにより、遺伝子の同定や変異の検出が効率的に行えるため、研究や診断において重要な役割を果たしています。

テキストエディタでの検索機能

多くのテキストエディタやIDE(統合開発環境)では、KMP法を用いてユーザーが入力した検索キーワードを文書内で探す機能が実装されています。

KMP法の効率性により、大きなファイルでも迅速に検索結果を表示できるため、ユーザーはストレスなく作業を進めることができます。

特に、プログラミングや文書作成において、頻繁に検索機能が使用されるため、KMP法は非常に有用です。

Webスクレイピングでのデータ抽出

Webスクレイピングにおいても、KMP法はデータ抽出の効率化に寄与します。

特定の情報を含むHTML要素やテキストをウェブページから抽出する際、KMP法を使用することで、必要なデータを迅速に見つけることができます。

例えば、特定のキーワードを含む記事や商品情報を収集する際に、KMP法を用いることで、スクレイピングの速度と精度を向上させることが可能です。

これにより、データ分析やマーケティングリサーチにおいて、より効果的な情報収集が実現します。

まとめ

この記事では、クヌース・モリス・ブラット法(KMP法)の基本的な概念から実装方法、動作確認、応用例までを詳しく解説しました。

KMP法は、特に大規模なデータセットやDNA配列の解析、テキストエディタの検索機能、Webスクレイピングなど、さまざまな場面で効率的に文字列検索を行うための強力なアルゴリズムです。

これを機に、KMP法を実際のプロジェクトや研究に活用し、より効率的なデータ処理を実現してみてはいかがでしょうか。