28. Códigos lineales y corrección de errores

Matriz de comprobación de paridad

Nivel: avanzado

En

Una matriz de comprobación

H

satisface, para toda palabra código

c

H c^{T} = 0 .

Forma equivalente

H \in F_{q}^{(n - k) \times n} .

Además, con convenciones compatibles para

G

y

H

G H^{T} = 0.

Detalle

Define restricciones lineales que toda palabra código válida debe satisfacer.

Vas a ver cómo cada fila de H define una comprobación de paridad. Una palabra código es válida cuando todas dan cero.

Pruébalo — Cambia los bits de la palabra y observa qué comprobaciones se cumplen, cuáles fallan y cómo cambia el síndrome.

F₂H: 1×3

Palabra · r

123

101

Resultado

✓ Pertenece al código · Hrᵀ = 0

s = [0]ᵀ

Comprobación 1

posiciones 1, 2, 3 → 1 ⊕ 0 ⊕ 1 = 0

✓ Satisfecha

Esta H exige paridad par: c₁ ⊕ c₂ ⊕ c₃ = 0, es decir c₁ = c₂ = c₃.

s=[0] · válida