147
правок
Изменения
→Доказательство корректности
{|
<tex> S_{k}T = T[(j + k) (mod\ n + 1)] </tex>
|}
Существует перестановка <tex>p</tex> чисел <tex>[0..N]</tex>, которая удовлетворяет условию:
{|
<tex> S_{p(i)}T \preceq S_{p(i + 1)}T, i\ =\ 0..N\ - \ 1</tex>
|}
