最長共通部分列問題のソースを表示

{{Distinguish|最長共通部分文字列問題}}

'''最長共通部分列問題'''（さいちょうきょうつうぶぶんれつもんだい、{{lang-en-short|Longest-common subsequence problem, LCS}}）とは、与えられた列の集合（しばしば、2つの列からなる集合）の最長共通部分列を見つけ出す問題である。（ここで[[部分列]](subsequence)は、部分文字列(substring)とは異なることに注意する。前者は元の列の連続した項からなる必要はない。）例えば、「ABCX」と「AYBZC」との最長共通部分列は「ABC」である。この問題は[[計算機科学]]における古典的問題であり、[[diff]] などのファイル比較プログラムの基礎をなし、[[バイオインフォマティクス]]にも応用されている。

== 計算量 ==
入力列の個数が任意である一般の場合については、この問題は[[NP困難]]である。入力列の個数が一定のときには、この問題は[[動的計画法]]によって[[多項式時間]]で解く事ができる（後の項参照）。<math>N</math> 個の列があり、長さが <math>n_1, ..., n_N</math> であるとする。単純な探索では、最初の列の <math>2^{n_1}</math> 個の部分列が残りの列の部分列であるかを確かめる。それぞれの配列は、残りの配列長の線形時間で評価される。それゆえ、このアルゴリズムの計算時間は、下記の通りである。

:<math>O\left( 2^{n_1} \sum_{i>1} n_i\right).</math>

2つの配列で列の長さが n と m の場合、動的計画法の解法による時間計算量は、[[Big O notation|O]](''n'' × ''m'')である。入力配列の個数が任意の場合、動的計画法の解法は下記の計算量で解を与える。

:<math>O\left(N \prod_{i=1}^{N} n_i\right).</math>

より計算量の小さい方法が存在<ref name="BHR00">
{{cite journal | author = L. Bergroth and H. Hakonen and T. Raita | title = A Survey of Longest Common Subsequence Algorithms | journal = SPIRE | volume = 00 | year = 2000 | isbn = 0-7695-0746-8 | pages = 39&ndash;48 | doi = 10.1109/SPIRE.2000.878178 | publisher = IEEE Computer Society}}</ref>するが、それはしばしば、最長共通部分列の配列長か、アルファベット(=対象とする列に現れる要素)のサイズ、もしくはその両方に依存する。

注意：最長共通部分列は、必ずしも一意ではない。例として ”ABC” と ”ACB” の最長共通部分列は ”AB” と ”AC” の両方である。実際、最長共通部分列の定義が「長さ最大の共通部分列をすべて見つけること」であることも多い。このように問題を変更すると、計算量は増大してしまう。なぜならば、長さ最大の部分列の数は最悪の場合<ref>{{cite arXiv | author = Ronald I. Greenberg | title = Bounds on the Number of Longest Common Subsequences  | date = 2003-08-06  | eprint = cs.DM/0301030}}</ref>、指数関数的に増大する。入力配列が2つの場合でさえ同様である。

== 配列が二つの場合の解法 ==
最長共通部分列問題は、部分構造最適性を持つ。すなわち、この問題は、簡単な部分問題に分解することができ、それらはさらに簡単な部分問題に分解でき、そして最後には自明な問題に帰着される。またこの問題は、部分構造重複性を持つ。上位の部分問題を解く際には、しばしば下位の部分問題の解を再利用することになる。これら二つの特質を伴うこの問題は、[[動的計画法]]と呼ばれる手法で解決できる。動的計画法では、部分問題の解をその都度計算するのではなく、[[メモ化]]しておく。メモ化、すなわち、ひとつのレベルの部分問題の解をテーブルに格納して、次のレベルの部分問題が利用できるようにし、計算量を節約することが、この手続きには必要不可欠である(メモを取ることによく似ている所が、名前の由来である）。この解法を次に示す。

== 接頭辞 ==
列が短くなるほど、部分問題も単純になる。短い配列は、「接頭辞(prefix)」という用語を使用して上手く説明できる。
配列の接頭辞は、配列の後ろを削除したものである。''S'' を列(AGCA)とした時、列(AG)は、''S'' の接頭辞の一つである。接頭辞は「もとの配列の名前」の後に、「接頭辞がいくつの文字を含んでいるか」の示す添え字を置くことで表わす。<ref>{{cite book
 | last = Xia | first = Xuhua
 | title = Bioinformatics and the Cell:  Modern Computational Approaches in Genomics, Proteomics and Transcriptomics
 | year = 2007
 | publisher = Springer
 | location = New York
 | page = 24
 | isbn = 0-387-71336-0
}}</ref>

接頭辞(AG)は、 ''S'' の最初の2要素を含んでいるので、''S''<sub>2</sub> と表記される。可能な ''S'' の接頭辞は、

:''S''<sub>1</sub> = (A)
:''S''<sub>2</sub> = (AG)
:''S''<sub>3</sub> = (AGC)
:''S''<sub>4</sub> = (AGCA)

である。
任意の二つの列 ''X'' と ''Y'' の最長共通部分列問題を解くことは、''X'' と ''Y'' の最長共通部分列を与える関数''LCS''(''X'', ''Y'')を構成することである。この関数は、続く二つの特性を持つ。

== 最初の特性 ==
二つの列の最後の要素は同じであるとする。これらの最長共通部分列を求めるには、それぞれの要素から最後の要素を取り除いた列の最長共通部分列を見つけ、そしてその最長共通部分列に取り除かれた要素を追加すればよい。

:例として、ここに同じ最終要素を持つ二つの列(BANANA)と(ATANA)がある。
:共通する最終要素を取り除くことを、共通ではない最終要素が見つかるまで、繰り返す。取り除かれた列は(ANA)である。
:考察すべき列は(BAN)と(AT)であり、最後の二つの配列の最長共通部分列は(A)であることが容易にわかる。
:取り出した要素(ANA)を追加し(AANA)となる。これが元の配列の最長共通部分列であることは容易に確かめられる。

接頭辞に関して、

:if ''x<sub>n</sub>''=''y<sub>m</sub>'', then ''LCS''(''X<sub>n</sub>'', ''Y<sub>m</sub>'') = (''LCS''( ''X''<sub>''n''-1</sub>, ''Y''<sub>''m''-1</sub>), ''x<sub>n</sub>'')
が成り立つ。ここで最後の括弧は、列の最後に''x<sub>n</sub>''を追加することを表す。
''X<sub>n</sub>''と''Y<sub>m</sub>''の最長共通部分列問題が、より短い列 ''X''<sub>''n''-1</sub>と ''Y''<sub>''m''-1</sub>の最長共通部分列問題に帰着されたことに注意せよ。

== 第二の特性 ==
二つの列 ''X''と''Y''の最後の要素は同じでないとする。その時、''X''と''Y''の最長共通部分列は、二つの配列LCS(''X<sub>n</sub>,Y<sub>m-1</sub>'')とLCS(''X<sub>n-1</sub>,Y<sub>m</sub>'')の長い方である。

この特質を理解するため、次の二つの配列について考える:

:列 ''X'': ABCDEFG (長さ''n'')
:列 ''Y'': BCDGK (長さ''m'')

これら二つの配列の最長共通部分列は、最後がG(列"X"の最後の要素) もしくは、そうではないもののどちらかである。

'''ケース1：最後がGの最長共通部分列'''<br />
この場合、最長共通部分列の最後はKではありえない。このとき、もしKが最長共通部分列にあれば、それは最後の文字となるので、Kは最長共通部分列にはない。したがって、''Y''からKを取り除いても問題ないので、こう書くことができる：
LCS(''X<sub>n</sub>,Y<sub>m</sub>'') = LCS(''X<sub>n</sub>, Y<sub>m-1</sub>'').
 
'''ケース2：最長共通部分列の最後が、Gではない場合'''<br />
この場合は、上記と同じ理由により、列''X''から G を取り除いても問題ないので、こう書くことができる：LCS(''X<sub>n</sub>,Y<sub>m</sub>'') = LCS(''X<sub>n-1</sub>, Y<sub>m</sub>'').

いずれにせよ、求めるべき最長共通部分列は、LCS(''X<sub>n</sub>, Y<sub>m-1</sub>'') もしくはLCS(''X<sub>n-1</sub>, Y<sub>m</sub>'')である。これら二つのLCSは、いずれも''X''と''Y''の共通部分列である。LCS(''X,Y'')は定義より最長なので、 LCS(''X<sub>n</sub>, Y<sub>m-1</sub>'') と LCS(''X<sub>n-1</sub>, Y<sub>m</sub>'') の長い方である。

== 最長共通部分列関数定義 ==
二つの配列を以下のように定義する:

　''X'' = (''x''<sub>1</sub>, ''x''<sub>2</sub>...''x''<sub>m</sub>)　…　''X'' の接頭辞は、 ''X''<sub>1, 2,...m</sub><br />
　''Y'' = (''y''<sub>1</sub>, ''y''<sub>2</sub>...''y''<sub>n</sub>)　…　''Y'' の接頭辞は、 ''Y''<sub>1, 2,...n</sub>

''LCS''(''X''<sub>''i''</sub>, ''Y''<sub>''j''</sub>) は、''X''<sub>''i''</sub> と ''Y''<sub>''j''</sub> の接頭辞の最長共通部分列セットを代表する。
この配列セットは、以下を与える。

:<math>
LCS\left(X_{i},Y_{j}\right) =
\begin{cases}
  \empty
& \mbox{ if }\ i = 0 \mbox{ or }  j = 0 \\
  \textrm{  } LCS\left(X_{i-1},Y_{j-1}\right) \frown x_{i}
& \mbox{ if } x_i = y_j \\
  \mbox{longest}\left(LCS\left(X_{i},Y_{j-1}\right),LCS\left(X_{i-1},Y_{j}\right)\right)
& \mbox{ if } x_i \ne y_j \\
\end{cases}
</math>

''X<sub>i</sub>'' と ''Y<sub>j</sub>'' に対する最長共通部分列を見つけるため、''x<sub>i</sub>'' と ''y<sub>j</sub>'' を比較する。もし、それらが同じであれば、その時は配列''LCS''(''X''<sub>''i''-1</sub>, ''Y''<sub>''j''-1</sub>) は、要素''x<sub>i</sub>''によって伸長されたものである。もしそれらが同じでなければ、その時は二つの配列の長さ''LCS''(''X''<sub>''i''</sub>, ''Y''<sub>''j''-1</sub>), と ''LCS''(''X''<sub>''i''-1</sub>, ''Y''<sub>''j''</sub>)は維持される。(もしそれらが両方とも同じ長さであり、しかし一致していない場合、その時は両方とも維持される)　注釈：添え字は、これらの公式によって1短縮される。結果は0の添え字も可能である。配列要素は、1から開始すると定義し、それは空の最長共通部分列(その時、添え字はゼロ)を追加する必要がある。

== 計算例 ==
これから C = (AGCAT)と R = (GAC)の共通の最長部分列を見つける。最長共通部分列関数は、ゼロ番目の要素を使用する。それは、ゼロ接頭辞を定義するのに便利であり、配列''C''<sub>0</sub> =  Ø; と ''R''<sub>0</sub> =  Øは空である。すべての接頭辞は、テーブル上で最初の縦列 C (これは列ヘッダとなる)と、最初の横列 R (これは行ヘッダとなる)である。

{| class="wikitable" style="text-align:center;width:100%"
|+ LCS Strings
|-
! rowspan="2" colspan="2" |  || 0 || 1 || 2 || 3 || 4 || 5
|-
! 0 || A || G || C || A || T
|-
! 0
! 0
| Ø || Ø || Ø || Ø || Ø || Ø
|-
!1
!G
| Ø
| 
| 
| 
| 
| 
|-
!2
! A
| Ø
| 
| 
| 
| 
| 
|-
!3
! C
| Ø
| 
| 
| 
| 
| 
|-
|}

このテーブルは、最長共通部分列のそれぞれの計算手順を保存するために使われ、二つ目の縦列と二つ目の横列はØで埋まっている。なぜなら、空配列は非空配列と比較されたとき、最長共通部分列はいつでも空配列である。

''LCS''(''R''<sub>1</sub>, ''C''<sub>1</sub>)は、それぞれの配列の最初の要素と比較することによって決定した。G と A は、同じ長さではない、そう、その最長共通部分列は二つの最長配列、''LCS''(''R''<sub>1</sub>, ''C''<sub>0</sub>) と ''LCS''(''R''<sub>0</sub>, ''C''<sub>1</sub>)を得る。(二つ目の特質を使用する)　続くテーブル、それら両方の空白は、''LCS''(''R''<sub>1</sub>, ''C''<sub>1</sub>)も空白である。同じように、以下のテーブルも見えてくる。矢印は、配列が上のセル、''LCS''(''R''<sub>0</sub>, ''C''<sub>1</sub>)と左のセル、''LCS''(''R''<sub>1</sub>, ''C''<sub>0</sub>)の両方のセルから来ることを示している。

''LCS''(''R''<sub>1</sub>, ''C''<sub>2</sub>) は、G と G を比較し決定された。それは一致している、そう、G　は左上の配列''LCS''(''R''<sub>0</sub>, ''C''<sub>1</sub>) に追加される。それは、(Ø)であり、(ØG)を与え、それは、(G)です。

''LCS''(''R''<sub>1</sub>, ''C''<sub>3</sub>) は、G と C を比較し、それは一致しない。上の配列は空である; 左の一つは一つの要素 G を含んでおり、選択する最長の''LCS''(''R''<sub>1</sub>, ''C''<sub>3</sub>)は(G)である。矢の指すのは左であり、二つの配列の最長となる。

''LCS''(''R''<sub>1</sub>, ''C''<sub>4</sub>)も同様に(G)

''LCS''(''R''<sub>1</sub>, ''C''<sub>5</sub>)も同様に(G)

{| class="wikitable" style="text-align:center;width:100%"
|+ "G" Row Completed
|-
! rowspan="2" colspan="2" | || 0 || 1 || 2 || 3 || 4 || 5
|-
! Ø || A || G || C || A || T
|-
!0
! Ø
| Ø || Ø || Ø || Ø || Ø || Ø
|-
!1
! G
| Ø
| <math>\overset{\ \ \uparrow}{\leftarrow}</math>Ø
| <math>\overset{\nwarrow}{\ }</math>(G)
| <math>\overset{\ }{\leftarrow}</math>(G)
| <math>\overset{\ }{\leftarrow}</math>(G)
| <math>\overset{\ }{\leftarrow}</math>(G)
|-
!2
! A
| Ø
| 
| 
| 
| 
| 
|-
!3
! C
| Ø
| 
| 
| 
| 
| 
|-
|}


''LCS''(''R''<sub>2</sub>, ''C''<sub>1</sub>)は A と A を比較する。二つの要素は一致し、A は Ø に追加され、(A)となる。

''LCS''(''R''<sub>2</sub>, ''C''<sub>2</sub>)は A と G を比較し、不一致。''LCS''(''R''<sub>1</sub>, ''C''<sub>2</sub>)は上の(G)と左である''LCS''(''R''<sub>2</sub>, ''C''<sub>1</sub>)の(A)を使用する。この場合は、どちらの要素も含んでおり、その最長共通部分列は、二つの配列(A)と(G)のどちらかとなる。

''LCS''(''R''<sub>2</sub>, ''C''<sub>3</sub>) は A と C を比較し、不一致、''LCS''(''R''<sub>2</sub>, ''C''<sub>2</sub>) は、配列 (A) と (G) を含む。LCS(''R''<sub>1</sub>, ''C''<sub>3</sub>) は(G)、それは既に ''LCS''(''R''<sub>2</sub>, ''C''<sub>2</sub>) を含んでいる。''LCS''(''R''<sub>2</sub>, ''C''<sub>3</sub>)の結果は、もちろん、配列 (A) と (G) を含んでいる。

''LCS''(''R''<sub>2</sub>, ''C''<sub>4</sub>) は A と A を比較し、一致。それは左上のセルに追加され、(GA)を与える。

''LCS''(''R''<sub>2</sub>, ''C''<sub>5</sub>) は A と T を比較し、不一致。二つの配列(GA)と(G)を比較し、最長は(GA)、''LCS''(''R''<sub>2</sub>, ''C''<sub>5</sub>) は(GA)である。

{| class="wikitable" style="text-align:center;width:100%"
|+ "G" & "A" Rows Completed
|-
! rowspan="2" colspan="2" | || 0 || 1 || 2 || 3 || 4 || 5
|-
! Ø || A || G || C || A || T
|-
!0
! Ø
| Ø || Ø || Ø || Ø || Ø || Ø
|-
!1
! G
| Ø
| <math>\overset{\ \ \uparrow}{\leftarrow}</math>Ø
| <math>\overset{\nwarrow}{\ }</math>(G)
| <math>\overset{\ }{\leftarrow}</math>(G)
| <math>\overset{\ }{\leftarrow}</math>(G)
| <math>\overset{\ }{\leftarrow}</math>(G)
|-
!2
! A
| Ø
| <math>\overset{\nwarrow}{\ }</math>(A)
| <math>\overset{\ \ \uparrow}{\leftarrow}</math>(A) & (G)
| <math>\overset{\ \ \uparrow}{\leftarrow}</math>(A) & (G)
| <math>\overset{\nwarrow}{\ }</math>(GA)
| <math>\overset{\ }{\leftarrow}</math>(GA)
|-
!3
! C
| Ø
| 
| 
| 
| 
| 
|-
|}


''LCS''(''R''<sub>3</sub>, ''C''<sub>1</sub>) は C と A を比較し、不一致。''LCS''(''R''<sub>3</sub>, ''C''<sub>1</sub>) は二つの配列の最長(A)を得る。

''LCS''(''R''<sub>3</sub>, ''C''<sub>2</sub>)は C と G を比較し、不一致。''LCS''(''R''<sub>3</sub>, ''C''<sub>1</sub>) と ''LCS''(''R''<sub>2</sub>, ''C''<sub>2</sub>) は、共通の一つの要素を持っている。結果、''LCS''(''R''<sub>3</sub>, ''C''<sub>2</sub>) は二つの配列 (A) と (G) となる。

''LCS''(''R''<sub>3</sub>, ''C''<sub>3</sub>) は C と C を比較し、一致。C は ''LCS''(''R''<sub>2</sub>, ''C''<sub>2</sub>) に追加され、それは二つの配列 (A) と (G)、そして、(AC)と (GC) を得る。

''LCS''(''R''<sub>3</sub>, ''C''<sub>4</sub>) は C と A を比較し、不一致。''LCS''(''R''<sub>3</sub>, ''C''<sub>3</sub>) を結合させ、それは (AC) と (GC)、そして''LCS''(''R''<sub>2</sub>, ''C''<sub>4</sub>)は (GA) を含んでおり、全部で (AC)、(GC)、(GA) の三つの配列を与える。

最後に''LCS''(''R''<sub>3</sub>, ''C''<sub>5</sub>)は C と T を比較し、不一致。結果は、''LCS''(''R''<sub>3</sub>, ''C''<sub>5</sub>)の通り、(AC)、(GC)、そして (GA) の三つの配列を含む。

{| class="wikitable" style="text-align:center;width:100%"
|+ Completed LCS Table
|-
! rowspan="2" colspan="2" | || 0 || 1 || 2 || 3 || 4 || 5
|-
! Ø || A || G || C || A || T
|-
!0
! Ø
| Ø || Ø || Ø || Ø || Ø || Ø
|-
!1
! G
| Ø
| <math>\overset{\ \ \uparrow}{\leftarrow}</math>Ø
| <math>\overset{\nwarrow}{\ }</math>(G)
| <math>\overset{\ }{\leftarrow}</math>(G)
| <math>\overset{\ }{\leftarrow}</math>(G)
| <math>\overset{\ }{\leftarrow}</math>(G)
|-
!2
! A
| Ø
| <math>\overset{\nwarrow}{\ }</math>(A)
| <math>\overset{\ \ \uparrow}{\leftarrow}</math>(A) & (G)
| <math>\overset{\ \ \uparrow}{\leftarrow}</math>(A) & (G)
| <math>\overset{\nwarrow}{\ }</math>(GA)
| <math>\overset{\ }{\leftarrow}</math>(GA)
|-
!3
! C
| Ø
| <math>\overset{\ \uparrow}{\ }</math>(A)
| <math>\overset{\ \ \uparrow}{\leftarrow}</math>(A) & (G)
| <math>\overset{\nwarrow}{\ }</math>(AC) & (GC)
| <math>\overset{\ \ \uparrow}{\leftarrow}</math>(AC) & (GC) & (GA)
| <math>\overset{\ \ \uparrow}{\leftarrow}</math>(AC) & (GC) & (GA)
|-
|}

結果として、最後のセルは (AGCAT) と (GAC) に共通なすべての最長部分列を含んでいる。それらは (AC) と (GC) そして (GA) である。またこのテーブルは、最長共通部分列の接頭辞すべての可能な組み合わせを見ることができる。例えば (AGC) と (GA) の最長共通部分列は (A) と (G) である。

== トレースバックアプローチ ==
最長共通部分列のテーブルにおいて、最長共通部分列の行の計算に唯一要求されるのは、現在の行と次の行である。なお、長い配列の場合、それらの配列はおびただしく長くなるので、たくさんの記憶領域が要求される。記憶領域を節約するには、実際の部分列を保存しない事である。しかし、部分列の長さと方向矢印は保存する必要がある。それは、以下のテーブルのようにである。

{| class="wikitable" style="text-align:center;width:100%"
|+ Storing length, rather than sequences
|-
! rowspan="2" colspan="2" | || 0 || 1 || 2 || 3 || 4 || 5
|-
! Ø || A || G || C || A || T
|-
!0
! Ø
| 0 || 0 || 0 || 0 || 0 || 0
|-
!1
! G
| 0
| <math>\overset{\ \ \uparrow}{\leftarrow}</math>0
| <math>\overset{\nwarrow}{\ }</math>1
| <math>\overset{\ }{\leftarrow}</math>1
| <math>\overset{\ }{\leftarrow}</math>1
| <math>\overset{\ }{\leftarrow}</math>1
|-
!2
! A
| 0
| <math>\overset{\nwarrow}{\ }</math>1
| <math>\overset{\ \ \uparrow}{\leftarrow}</math>1
| <math>\overset{\ \ \uparrow}{\leftarrow}</math>1
| <math>\overset{\nwarrow}{\ }</math>2
| <math>\overset{\ }{\leftarrow}</math>2
|-
!3
! C
| 0
| <math>\overset{\ \uparrow}{\ }</math>1
| <math>\overset{\ \ \uparrow}{\leftarrow}</math>1
| <math>\overset{\nwarrow}{\ }</math>2
| <math>\overset{\ \ \uparrow}{\leftarrow}</math>2
| <math>\overset{\ \ \uparrow}{\leftarrow}</math>2
|-
|}

実際の部分列は、”トレースバック”手順で推測する。それは続く逆向き矢印であり、テーブルの最後のセルから開始する。トレースバックでは長さは減少する。配列に必須なのは共通の要素である。いくつかの経路が可能であり、その場合、セルに二つの矢印がある。以下は、その解析のためのテーブルである。セルの色の付いた数字は減少についての長さである。太字の数字はトレースした配列 (GA) である。

{| class="wikitable" style="text-align:center;width:100%"
|+ Traceback example
|-
! rowspan="2" colspan="2" | || 0 || 1 || 2 || 3 || 4 || 5
|-
! Ø || A || G || C || A || T
|-
!0
! Ø
| 0 || style="background:silver" | '''0''' || 0 || 0 || 0 || 0
|-
!1
! G
| style="background:silver" | 0
| <math>\overset{\ \ \uparrow}{\leftarrow}</math>0
| style="background:silver;color:#FF6600" | <math>\overset{\nwarrow}{\ }</math>'''{{big|1}}'''
| style="background:silver" | <math>\overset{\ }{\leftarrow}</math>'''{{big|1}}'''
| <math>\overset{\ }{\leftarrow}</math>1
| <math>\overset{\ }{\leftarrow}</math>1
|-
!2
! A
| 0
| style="background:silver;color:#FF6600" | <math>\overset{\nwarrow}{\ }</math>1
| style="background:silver" | <math>\overset{\ \ \uparrow}{\leftarrow}</math>1
| <math>\overset{\ \ \uparrow}{\leftarrow}</math>1
| style="background:silver;color:#FF6600" | <math>\overset{\nwarrow}{\ }</math>'''{{big|2}}'''
| style="background:silver" | <math>\overset{\ }{\leftarrow}</math>'''{{big|2}}'''
|-
!3
! C
| 0
| <math>\overset{\ \uparrow}{\ }</math>1
| <math>\overset{\ \ \uparrow}{\leftarrow}</math>1
| style="background:silver;color:#FF6600" | <math>\overset{\nwarrow}{\ }</math>2
| style="background:silver" | <math>\overset{\ \ \uparrow}{\leftarrow}</math>2
| style="background:silver" | <math>\overset{\ \ \uparrow}{\leftarrow}</math>'''{{big|2}}'''
|-
|}

==脚註==
{{脚注ヘルプ}}
{{reflist}}

== 関連項目 ==
* [[レーベンシュタイン距離]]

{{デフォルトソート:さいちようきようつうふふんれつもんたい}}
[[Category:計算複雑性理論]]
[[Category:アルゴリズム]]
[[Category:数学に関する記事]]