Estudio y diseño de mapeos estructurados (códigos) y algoritmos asociados que añaden redundancia controlada a los mensajes para detectar, localizar o corregir corrupciones introducidas por ruido o deterioros durante la transmisión o el almacenamiento, bajo modelos explícitos de canal o adversarios.

Principio

La redundancia, estructurada mediante diseños algebraicos o probabilísticos, permite la detección y corrección hasta límites determinados por los parámetros del código (distancia, tasa, estructura) y el modelo de canal; existe un intercambio entre tasa (throughput), redundancia (sobrecarga), complejidad de decodificación y capacidad de corrección.

Demostración

Escenario ilustrativo → Sobre un canal binario simétrico con baja probabilidad de inversión de bit, un código en bloque con distancia mínima de Hamming d puede detectar hasta d−1 errores y corregir hasta floor((d−1)/2) errores por bit con un decodificador apropiado; usar dicho código aumenta el número de símbolos transmitidos (redundancia) pero reduce la probabilidad de error residual frente a la transmisión sin codificar.

Aplicación incorrecta

Asumir que añadir cualquier redundancia mejora necesariamente el rendimiento de extremo a extremo sin considerar la reducción de tasa, la complejidad del decodificador, la latencia o la incompatibilidad con el modelo de canal. El error semántico es tratar la 'redundancia' como uniformemente beneficiosa en lugar de como un recurso a equilibrar.

Consecuencia

La elección de códigos determina la fiabilidad alcanzable, la tasa, la latencia y el coste computacional; los sistemas prácticos seleccionan códigos y algoritmos de decodificación para cumplir esos compromisos según el canal y las restricciones de implementación.

Inversión

Cuando el canal se aparta del modelo supuesto (p. ej. errores adversariales, ráfagas o pérdidas) o cuando la latencia y las restricciones de bloque finito dominan, las garantías teóricas de corrección pueden fallar y se requieren otras construcciones (entretejido, decodificación en lista, códigos rateless) o métodos resistentes a adversarios.

Límite

Dentro: control de errores diseñado para canales de comunicación o almacenamiento modelados probabilística o adversarialmente. Caso límite: la codificación de fuente solapa conceptualmente, pero se ocupa de compresión en lugar de errores de canal. Fuera: redundancia de datos general para gestión de archivos que no se diseña a partir de un modelo formal de errores.

Tensión semántica

Rendimiento (Tasa) ↔ Fiabilidad ↔ Complejidad — mejorar uno suele degradar otro, forzando compromisos específicos del sistema.

Síntesis

La Teoría del Codificado operacionaliza la introducción deliberada de redundancia estructurada como palanca de ingeniería: los códigos son mapeos elegidos para optimizar el compromiso multidimensional entre tasa, fiabilidad, latencia y coste computacional para un modelo de error dado.