В прикладной математике граница Джонсона (названная в честь Сельмера Мартина Джонсона ) представляет собой ограничение на размер кодов с исправлением ошибок , используемых в теории кодирования для передачи данных или связи.
Позволять
быть q -ичным кодом длины
, то есть подмножество
. Позволять
быть минимальным расстоянием
, то есть

где
Хэмминга расстояние между
и
.
Позволять
— множество всех q -ичных кодов длины
и минимальное расстояние
и пусть
обозначим набор кодов в
такая, что каждый элемент имеет ровно
ненулевые записи.
Обозначим через
количество элементов в
. Затем мы определяем
быть наибольшим размером кода с длиной
и минимальное расстояние
:

Аналогично определяем
быть наибольшим размером кода в
:

Теорема 1 (оценка Джонсона для
):
Если
,

Если
,

Теорема 2 (оценка Джонсона для
):
(i) Если

(ii) Если
, затем определите переменную
следующее. Если
четно, то определим
через отношение
; если
нечетно, определите
через отношение
. Позволять
. Затем,

где
это функция пола .
Примечание. Подстановка оценки теоремы 2 в оценку теоремы 1 дает числовую верхнюю оценку
.