Я пытаюсь доказать самое короткое расстояние редактирования между строкой s и пустой строкой: | s |, где | s |длина s в двух направлениях: расстояние редактирования не менее | s |и самое большее | s |.
Я доказал, что расстояние редактирования не менее | s |. Но как доказать, что это самое большее | s |? Кажется, что расстояние редактирования не может быть меньше, чем | s |.