Códigos Correctores de Errores
Los códigos correctores de errores añaden redundancia estructurada a los datos para que los errores introducidos durante la transmisión o el almacenamiento puedan ser detectados y corregidos.
Definition
Un código es un conjunto de palabras código, típicamente cadenas sobre un alfabeto finito, elegidas de manera que cualesquiera dos difieran en suficientes posiciones para que los errores que cambian unos pocos símbolos puedan ser detectados o corregidos decodificando a la palabra código más cercana.
Scope
Este tema cubre los parámetros básicos de los códigos de bloque —longitud, dimensión y distancia mínima—, la métrica de Hamming, los códigos lineales y sus matrices generadoras y de paridad, y familias clave como los códigos de Hamming, Reed-Solomon, BCH y Reed-Muller. Introduce límites fundamentales en los parámetros de los códigos, incluyendo los límites de Singleton, Hamming y Gilbert-Varshamov.
Core questions
- ¿Cuántos errores puede detectar y corregir un código dada su distancia mínima?
- ¿Cómo se construyen buenos códigos sobre campos finitos?
- ¿Cuáles son las compensaciones fundamentales entre longitud, tasa y distancia?
- ¿Cómo se pueden decodificar los códigos de manera eficiente?
Key concepts
- Distancia y peso de Hamming
- Distancia mínima
- Códigos lineales
- Matrices generadoras y de paridad
- Códigos de Hamming y Reed-Solomon
- Límites de Singleton y Hamming
Key theories
- Distancia mínima y corrección de errores
- Un código con una distancia de Hamming mínima d puede detectar hasta d-1 errores y corregir hasta el suelo de (d-1)/2 errores, el principio central que relaciona la separación geométrica de las palabras código con la capacidad de manejo de errores.
- Límite de Singleton y códigos MDS
- La distancia mínima de un código de longitud n y dimensión k no puede exceder n-k+1; los códigos que cumplen este límite con igualdad, como los códigos Reed-Solomon, son de máxima distancia separable y óptimamente eficientes.
Clinical relevance
Los códigos correctores de errores son indispensables en la comunicación y el almacenamiento digital: protegen los datos en discos compactos y discos duros, en códigos QR, enlaces celulares y satelitales, y transmisiones en el espacio profundo, y se conectan con diseños combinatorios y geometría finita.
History
El teorema de codificación de canal de Shannon de 1948 demostró que la comunicación fiable es posible por debajo de la capacidad, y los códigos de Hamming de 1950 proporcionaron la primera construcción práctica, lanzando la teoría de la codificación como disciplina.
Key figures
- Claude Shannon
- Richard Hamming
- Irving Reed
Related topics
Seminal works
- macwilliams1977
- vanlintcoding1999
Frequently asked questions
- ¿Cómo corrige un código un error sin saber dónde está?
- Debido a que las palabras código válidas están muy separadas, una palabra recibida con pocos errores es la más cercana a exactamente una palabra código, y la decodificación a la palabra código más cercana recupera la original.
- ¿Cuál es la diferencia entre detección y corrección?
- La detección solo indica que ocurrió un error y puede solicitar una retransmisión, mientras que la corrección recupera los datos previstos directamente; la corrección requiere una distancia mínima mayor.