174
правки
Изменения
→Двоичный код антигрея
}}
Заметим, что для <tex>n > 2</tex> невозможно такое упорядочивание двоичных векторов, что соседние отличаются во всех битах. Это объясняется однозначностью "соседа" Объясняется это тем, что для каждого двоичного векторасуществует ровно один вектор, отличающийся во всех битах. Так как количество "соседей" может А в последовательности их должно быть равно <tex>2</tex> и все вектора различны, то мы приходим к противоречию.
=== Пример ===
