, . A1 <... < Am - , B1 <... < Bn - . sub (i, j) - , Ai Bj. del (i) - Ai. ins (j) - , Bj . ! sub, del ins, < ' j < j ',
sub(i, j') + sub(i', j) <= max {sub(i, j ) + sub(i', j')
,del(i) + ins(j') + sub(i', j )
,sub(i, j') + del(i') + ins(j)
}.
, , , Levenshtein - .
memoized , score(i, j), A1,..., Ai B1,..., Bj. score(m, n). , sub(i, j) .
score(i, j) | i == 0 && j == 0 = 0
| i > 0 && j == 0 = del(i) + score(i - 1, 0 )
| i == 0 && j > 0 = ins(j) + score(0 , j - 1)
| i > 0 && j > 0 = max {sub(i, j) + score(i - 1, j - 1)
,del(i) + score(i - 1, j )
,ins(j) + score(i , j - 1)
}
sub, del ins. , ; , 2. Ai = [s, t] Bj = [u, v],
sub(i, j) = -(|u - s|^2 + |v - t|^2)
del(i) = -(t - s)^2
ins(j) = -(v - u)^2.
( , , , , .)