Levenshtein distance
レーベンシュタイン距離を計算するためには、一般的に動的計画法によるアルゴリズムが用いられている。長さ formula_1 と長さ formula_2 の文字列間の距離を求めるには formula_3 の二次元行列が使われ、計算時間は formula_4 と非常に効率がよい。