レーベンシュタイン距離
非制限ダメラウ・レーベンシュタイン距離を求める正しいアルゴリズムを作るには次のことに注意する：1度交換された文字がそのあと2度と編集されないような編集操作の最適配列が存在する（交換のコストformula_64が挿入のコストformula_65と削除のコストformula_66の平均以上つまりformula_67の場合に成立する）。したがって、1つの部分文字列を2回以上編集する2つの対称な方法：