В прикладной математике граница Джонсона (названная в честь Сельмера Мартина Джонсона ) представляет собой ограничение на размер кодов с исправлением ошибок , используемых в теории кодирования для передачи данных или связи.
Позволять быть q -ичным кодом длины , то есть подмножество . Позволять быть минимальным расстоянием , то есть
где Хэмминга расстояние между и .
Позволять — множество всех q -ичных кодов длины и минимальное расстояние и пусть обозначим набор кодов в такая, что каждый элемент имеет ровно ненулевые записи.
Обозначим через количество элементов в . Затем мы определяем быть наибольшим размером кода с длиной и минимальное расстояние :
Аналогично определяем быть наибольшим размером кода в :
Теорема 1 (оценка Джонсона для ):
Если ,
Если ,
Теорема 2 (оценка Джонсона для ):
(i) Если
(ii) Если , затем определите переменную следующее. Если четно, то определим через отношение ; если нечетно, определите через отношение . Позволять . Затем,
где это функция пола .
Примечание. Подстановка оценки теоремы 2 в оценку теоремы 1 дает числовую верхнюю оценку .