2. Почти эквидистантные бинарные коды
Согласно оценке (VI.7.7)-(VI.7.8) при
может существовать код значности
(IX.1.1)
с кодовым расстоянием
(IX.1.2)
Теорема IX.3. Объединение линейных форм, зависящих от нечетного числа независимых переменных, т. е. подмножеств
, представляет код с параметрами (IX.2.1)-(IX.2.2), причем почти все его комбинации (
комбинаций) имеют вес
и лишь одна —вес
.
Доказательство этой теоремы проводится так же, как и теоремы IX.1 [57]. В ее справедливости можно убедиться, проанализировав табл. (VIII.4). Описанный класс кодов совпадает по своим параметрам с кодами Рида— Мюллера [147, 130].