101
правка
Изменения
м
→Доказательство корректности алгоритма
=== Доказательство корректности алгоритма ===
Обозначим <tex>i</tex>-ый троичный вектор как <texdpi="140">G_i^0</tex>, его первый и второй циклический сдвиги как <texdpi="140" >G_i^1</tex> и <texdpi="140">G_i^2</tex> соответственно. Получаем вектора в следующем порядке: ...<br> <texdpi="120">G_i^0</tex> <br> <texdpi="120">G_i^1</tex> <br> <texdpi="120">G_i^2</tex> <br> <texdpi="120">G_{i+1}^0</tex> <br>
...
* <tex>G_i^0</tex> и <tex>G_i^1</tex>, равно как <tex>G_i^1</tex> и <tex>G_i^2</tex>, отличаются во всех битах.
