2.V. Сравнение, поиск, вставка

[dmitgu]

. К оглавлению . Показать весь текст .

Лемма о минимальной позиции отличия в строках:

(л.9.1) str(a, n, 1) ≠ str(b, n, 1) ⇒ ∃_1 m (str(a, m, 1) ≠ str(b, m, 1) ∧ (∀ i < m: str(a, i, 1) = str(b, i, 1)))

Пояснение: Очевидная лемма о том, что если строки не равны, то есть такой номер m позиции в этих строках, что именно на нем встречается самое первое

Comments

[lj_frank_bot]

Здравствуйте!
Система категоризации Живого Журнала посчитала, что вашу запись можно отнести к категории: Наука.
Если вы считаете, что система ошиблась - напишите об этом в ответе на этот комментарий. Ваша обратная связь поможет сделать систему точнее.
Фрэнк,
команда ЖЖ.