ダメラウ・レーベンシュタイン距離

ダメラウ・レーベンシュタイン距離は、2つの配列の間の編集距離を測定するために情報理論と計算機科学で使われる文字列計量である。2つの単語間のダメラウ・レーベンシュタイン距離は、一方の単語を他方の単語に変換するのに必要な最小の操作回数である。ここで1回の「操作」とは1文字の挿入、削除、置換、あるいは2つの隣り合う文字の交換である。ダメラウ・レーベンシュタイン距離はフレデリック J. ダメラウとウラジミール I. レーベンシュタインにちなんで名付けられた 。

古典的なレーベンシュタイン距離を定義する操作は3つの古典的単文字編集操作、すなわち文字の挿入、削除、および置換である。ダメラウ・レーベンシュタイン距離を定義する操作にはこれらに加えて隣接文字交換が含まれている 。

ダメラウによると、スペルミス全体の80%以上は、これら4操作のうちの1操作の誤り1つで表現できる。ダメラウの論文では、最大1回の編集操作で訂正できる綴り間違いのみが考慮されていた。当初の動機は、スペルチェッカなどのアプリケーション・ソフトウェアを改善するために人間のスペルミス間の距離を測定することであったが、ダメラウ・レーベンシュタイン距離は、生物学においてタンパク質配列の変異を測定するためにも使われている 。

1. ダメラウ・レーベンシュタイン距離と制限ダメラウ・レーベンシュタイン距離
--------------------------------------

同じ文字列を2度以上編集することを許さない条件のもとで求められる編集距離を制限編集距離と呼ぶ。制限編集距離は最適文字列整列距離と呼ばれる量に一致することが知られている。この条件を課さない場合には、単に編集距離と呼ぶ。制限レーベンシュタイン距離は常にレーベンシュタイン距離に一致する。これは、レーベンシュタイン距離の計算では編集操作は1文字ごとであり、1度編集した文字列を2度編集する必要がないからである。しかし2文字の編集操作が存在するダメラウ・レーベンシュタイン距離に関しては、制限ダメラウ・レーベンシュタイン距離とダメラウ・レーベンシュタイン距離とが一致しない場合がある。

例として、CAとABCの編集距離を求める。CAに1回の隣接文字交換および1回の文字挿入を施せば CA → AC → ABC となるから、ダメラウ・レーベンシュタイン距離はである。これに対して、制限距離を求めるための編集は1回の文字削除に続いて2回の文字挿入を施す CA → A → AB → ABC であり、制限距離は である。ダメラウ・レーベンシュタイン距離を求めるときに使った編集 CA → AC → ABC が使えないのは、B を挿入する時点で同じ文字列を2回編集しており、この編集は制限距離を求める操作では禁止されているからである。制限距離については、三角不等式が一般には成立しないことに注意する。実際、である。つまり制限距離は計量ではない。

ここでは計算が簡単な制限ダメラウ・レーベンシュタイン距離を求める。文字列 の先頭から数えて 番目の1文字を とし、の先頭から 番目までの長さ の部分文字列を とする。2つの文字列 および の間の制限ダメラウ・レーベンシュタイン距離を定義するためにまず、文字列 の部分文字列 と、の部分文字列 の間の制限距離関数 を、次のように再帰的に定義する： A:11}}

ここでは、のときになり、それ以外の場合にとなる指示関数である。これらの場合分けはそれぞれ、次に示す部分文字列末尾の編集操作に対応している：

：2つの長さの文字列を一致させるのに必要な編集回数は
：が、に1回の挿入をすることで得られたと見なして編集回数をだけ増やす
：が、に1回の挿入をすることで得られたと見なして編集回数をだけ増やす
：とが一致する場合には、との間の距離はとの間の距離に等しいので編集回数を変更しない。とが一致しない場合には、をに、あるいはをに置換したと見なして編集回数をだけ増やす
：かつのとき、との交換、あるいはとの交換をしたと見なして編集回数を回だけ増やすとの間の制限ダメラウ・レーベンシュタイン距離は、文字列全体の関数値 で与えられる。ここでおよびはそれぞれ文字列およびの長さである。

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

ここでは2つのアルゴリズムを示す。1つ目は、制限ダメラウ・レーベンシュタイン距離////を求めるアルゴリズムである。これは2つ目のアルゴリズムに比べて単純である。2つ目のアルゴリズムは、非制限ダメラウ・レーベンシュタイン距離を求めるもので、レーベンシュタイン距離に隣接交換を追加して計算する。隣接交換を追加すると非常に複雑になる。

2.1. 制限ダメラウ・レーベンシュタイン距離
-----------------------

制限ダメラウ・レーベンシュタイン距離は、レーベンシュタイン距離を計算するワグナー・フィッシャー動的計画法アルゴリズムを単純に拡張することで計算できる。その擬似コードは：

algorithm OSA-distance is input: strings a[1..length], b[1..length] output: distance, integer

let d[0..length, 0..length] // d は整数二次元配列で次元は length+1, length+1 // ここでは d は添字が 0 から始まる配列であり、a と b は添字が 1 から始まる配列であることに注意する

for i := 0 to length inclusive do d[i, 0] := i for j := 0 to length inclusive do d[0, j] := j

for i := 1 to length inclusive do for j := 1 to length inclusive do if a[i] = b[j] then cost := 0 else cost := 1 d[i, j] := minimum // 置換 if i > 1 and j > 1 and a[i] = b[j-1] and a[i-1] = b[j] then // 隣接文字交換：ここから d[i, j] := minimum // 隣接文字交換：ここまで return d[length, length]<WtXmlEndTag />

レーベンシュタイン距離を求めるアルゴリズムとの違いは、隣接文字交換にあたる計算が含まれる点である。

2.2. ダメラウ・レーベンシュタイン距離
---------------------

次は、真のダメラウ・レーベンシュタイン距離を求めるアルゴリズムである。このアルゴリズムでは、アルファベットに含まれる全文字 Σ}} の個数が必要になる。成分が [0, !}}Σ!}})}} に含まれる配列を使うからであるA:93}}。擬似コードは：

algorithm DL-distance is input: strings a[1..length], b[1..length] output: distance, integer

da := |Σ|個の整数からなる配列 for i := 1 to |Σ| inclusive do da[i] := 0

let d[−1..length, −1..length] // d は次元が length+2, length+2 の二次元整数配列 // d の添字は -1 から始まり、a, b, および da の添字は 1 から始まることに注意 maxdist := length + length d[−1, −1] := maxdist for i := 0 to length inclusive do d[i, −1] := maxdist d[i, 0] := i for j := 0 to length inclusive do d[−1, j] := maxdist d[0, j] := j

for i := 1 to length inclusive do db := 0 for j := 1 to length inclusive do k := da[b[j]] ℓ := db if a[i] = b[j] then cost := 0 db := j else cost := 1 d[i, j] := minimum + 1 + ) //交換 da[a[i]] := i return d[length, length]<WtXmlEndTag />

非制限ダメラウ・レーベンシュタイン距離を求める正しいアルゴリズムを作るには次のことに注意する：1度交換された文字がそのあと2度と編集されないような編集操作の最適配列が存在する。したがって、1つの部分文字列を2回以上編集する2つの対称な方法：

隣接文字を交換して任意の個数の文字をその間に挿入する
文字列を削除し、その削除によって新たに隣り合うことになった隣接文字を交換するのいずれかだけを考えればよい。このアイディアを素直に実行するアルゴリズムは、文字列の長さおよびに対しての計算複雑性を持つ。ローランスとワグナーのアイディアを使ったアルゴリズムでは、最悪の場合でもに改善される。

Bitapアルゴリズムを、隣接交換を処理するように変更できる。この例については参考文献itman}}の情報収集の節を見よ。

3. 応用
-----

ダメラウ・レーベンシュタイン距離は、自然言語処理において重要である。自然言語では文字列が短く、誤りの個数が2を超えることは少ない。このような場合、制限編集距離と非制限編集距離の値が異なることは稀である。オーメンとロークは、一般化交換を導入して制限編集距離を拡張した。しかし、制限編集距離は一般には三角不等式を満足せず計量ではないので、メトリックツリーに使えないことに注意すべきである。

3.1. DNA
--------

DNAでは挿入、削除、置換、および交換が頻繁に生じ、しかもどれも同程度の時間スケールで起こるので、ダメラウ・レーベンシュタイン距離は2つのDNA鎖の間の変化を計る計量として使うことができる。DNA、タンパク質、および他のバイオインフォマティクスなど、要素の整列に関連する課題では、ダメラウ・レーベンシュタイン距離に深く関係するニードルマン・ブンシュ・アルゴリズムやスミス・ウォーターマン・アルゴリズムなどを使うのが一般的である。

3.2. 輸出規制
---------

アメリカ合衆国政府は統合スクリーニング・リストAPIで、あいまい語検索のためにダメラウ・レーベンシュタイン距離を利用している。

4. その他
------

Ispell はダメラウ・レーベンシュタイン距離が1の単語を訂正候補として提示する

5. 脚注
-----

6. さらに学ぶために
-----------