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)]) \ \ (\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>.''
}}
