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