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