Код Боуза — Чоудхури — Хоквингема: различия между версиями

Пусть <math>~\alpha</math> — [[Примитивный элемент конечного поля|примитивный элемент]] [[Конечное поле|поля]] <math>~GF(q^m)</math> (то есть <math>\alpha^{q^m-1}=1,\;\alpha^i \neq 1,\;i< q^m-1</math>), пусть <math>~\beta=\alpha^s </math>, — элемент поля <math>~GF(q^m)</math> порядка <math>~n, \quad s = (q^m-1) / n </math>. Тогда нормированный [[Многочлен над конечным полем|полином]] <math>g(x)</math> минимальной степени над полем <math>GF(q)</math>, [[Корень многочлена|корнями]] которого являются <math>~d-1</math> подряд идущих степеней <math>~\beta^{l_0},\; \beta^{l_0+1},\;\ldots,\;\beta^{l_0+d-2}</math> элемента <math>~\beta</math> для некоторого целого <math>~l_0</math> (в том числе 0 и 1), является порождающим полиномом БЧХ-кода над полем <math>~GF(q)</math> с длиной <math>n</math> и минимальный расстоянием <math>~d_0 \geqslant d</math>. Поясним почему у получившегося кода будут именно такие характеристики (длина кода <math>~n</math>, минимальное расстояние <math>~d_0</math>). Действительно, как показано ву Сагаловича{{sfn|Сагалович|2007|с=175—176}}, длина БЧХ кода равна [[Словарь терминов теории групп#П|порядку]] элемента <math>~\beta</math>, если <math>~d>2</math> и равна порядку элемента <math>~\beta^{l_0}</math>, если <math>~d=2</math>, тогда, так как случай <math>~d=2</math> нам не интересен (такой код не может исправлять ошибки, только обнаруживать), то длина кода будет равна порядку элемента <math>~\beta</math> ,то есть равна <math>~n</math>. Минимальное расстояние <math>~d_0</math> может быть больше <math>~d</math>, когда корнями минимальных функций{{sfn|Сагалович|2007|с=176}} от элементов <math>~\beta^{l_0},\;\beta^{l_0+1},\;\ldots,\;\beta^{l_0+d-2}</math> будут элементы расширяющие последовательность, то есть элементы <math>~\beta^{l_0+d-1},\;\beta^{l_0+d},\;\ldots,\;\beta^{l_0+d_0 - 2}</math>.

3) вычислить порождающий полином <math>g(x)=f_1(x)f_2(x)\ldots f_h(x)</math>, где <math>f_i(x)</math> — полином, соответствующий <math>i</math>-ому циклотомическому классу; или вычислить <math>g(x)</math>, как [[Наименьшее общее кратное|НОК]] минимальных функций от элементов <math>\beta^{l_0},\; \beta^{l_0+1},\;\ldots,\;\beta^{l_0+d-2}</math> (стр. 168<ref name{{sfn|Сагалович|2007|с="saga" />)168}}.

корни которого равны обратным величинам локаторов ошибок. Тогда справедливо следующее соотношение между коэффициентами многочлена локаторов ошибок и синдромами (см. например<ref name{{sfn|Сагалович|2007|с="saga" />, стр. 200)}}: