Изменения
→Формула
</tex>,
где <tex>\rm{m}(a,b)</tex> равна нулю, если <tex>a = b</tex> и цену операции замены в противном случае; <tex>\min(a, b, c)</tex> возвращает наименьший из аргументов. , w1 — цена вставки символа b, w2 — цена удаления символа a.
=== Доказательство ===