147
правок
Изменения
→Доказательство корректности
:{|
<tex>B[i] = S_{p(i)}T[N], (</tex>, (или <tex>B[i] = S_{p(i) - 1}T[0] = T[(p(i) - 1) (mod\ N + 1)]</tex>)<tex> \ \ (2)</tex>
|}
{{'Теорема 1'
|statement=
''Для восстановления исходного текста <tex>T</tex> из преобразования <tex>B</tex> достаточно знать число <tex>I</tex>, отвечающее условию <tex>p(I) = 0</tex>, другими словами <tex>S_{p(I)}T = T)</tex>''
|}}
== Дополнительно ==
