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