polinomio enumerador

En teoría de la codificación , el polinomio enumerador de pesos de un código lineal binario especifica el número de palabras de cada peso de Hamming posible .

Dejar${\displaystyle C\subset \mathbb {F} _{2}^{n}}$sea ​​un código lineal binario de longitud${\displaystyle n}$La distribución del peso es la secuencia de números

${\displaystyle A_{t}=\#\{c\in C\mid w(c)=t\}}$

dar el número de palabras clave c en C que tienen peso t como t varía de 0 a n . El enumerador de peso es el polinomio bivariado

${\displaystyle W(C;x,y)=\sum _ {w=0}^{n}A_{w}x^{w}y^{nw}.}$

1. ${\displaystyle W(C;0,1)=A_{0}=1}$
2. ${\displaystyle W(C;1,1)=\sum _ {w=0}^{n}A_{w}=|C|}$
3. ${\displaystyle W(C;1,0)=A_{n}=1{\mbox{ si }}(1,\ldots ,1)\in C\ {\mbox{ y }}0{\mbox{ en caso contrario}}}$
4. ${\displaystyle W(C;1,-1)=\sum _{w=0}^{n}A_{w}(-1)^{nw}=A_{n}+(-1)^{1}A_{n-1}+\ldots +(-1)^{n-1}A_{1}+(-1)^{n}A_{0}}$

Denotemos el código dual de${\displaystyle C\subset \mathbb {F} _{2}^{n}}$por

${\displaystyle C^{\perp }=\{x\in \mathbb {F} _{2}^{n}\,\mid \,\langle x,c\rangle =0{\mbox{ }}\forall c\in C\}}$

(dónde${\displaystyle \langle \ ,\ \rangle }$denota el producto escalar vectorial y que se toma sobre${\displaystyle \mathbb {F} _{2}}$).

La identidad de MacWilliams afirma que

${\displaystyle W(C^{\perp };x,y)={\frac {1}{\mid C\mid }}W(C;yx,y+x).}$

La identidad recibe su nombre en honor a Jessie MacWilliams .

La distribución de distancia o distribución interna de un código C de tamaño M y longitud n es la secuencia de números

${\displaystyle A_{i}={\frac {1}{M}}\#\left\lbrace (c_{1},c_{2})\in C\times C\mid d(c_{1},c_{2})=i\right\rbrace }$

donde i varía de 0 a n . El polinomio enumerador de distancias es

${\displaystyle A(C;x,y)=\sum _{i=0}^{n}A_{i}x^{i}y^{ni}}$

y cuando C es lineal, esto es igual al enumerador de peso.

La distribución externa de C es la matriz B de 2 ⁿ × n + 1 con filas indexadas por elementos de GF(2) ⁿ y columnas indexadas por enteros 0... n , y entradas

${\displaystyle B_{x,i}=\#\left\lbrace c\in C\mid d(c,x)=i\right\rbrace .}$

La suma de las filas de B es M veces el vector de distribución interna ( A ₀ ,..., A _n ).

Un código C es regular si las filas de B que corresponden a las palabras clave de C son todas iguales.

• Hill, Raymond (1986). Un primer curso de teoría de la codificación . Serie de Matemáticas Aplicadas y Ciencias de la Computación de Oxford. Oxford University Press . págs. 165–173 . ISBN  0-19-853803-0.
• Pless, Vera (1982). Introducción a la teoría de los códigos correctores de errores . Serie Wiley-Interscience en Matemáticas Discretas. John Wiley & Sons . págs. 103–119 . ISBN  0-471-08684-3.
• JH van Lint (1992). Introducción a la teoría de la codificación . GTM . Vol.  86 (2.ª  ed.). Springer-Verlag . ISBN 3-540-54894-7.Capítulos 3.5 y 4.3.