Error booleano que corrige el código sobre

10

¿Hay alguna construcción conocida de un código de corrección de error lineal (con parámetros razonables), de modo que cuando se le da un vector booleano , también devuelve un vector booleano whp? (aunque se acabó ) v { 0 , 1 } n F qECC:FqnFqmv{0,1}nFq

(es decir, , donde se toma la probabilidad de elegir uniformemente v \ in \ {0,1 \ } ^ n , y \ epsilon es arbitrariamente pequeño) v { 0 , 1 } n ϵPr[ECC(v){0,1}m]>1ϵv{0,1}nϵ

Si no, ¿qué pasa si relajamos la condición a

Pr[ECCi(v){0,1}]>1ϵ
Donde ECCi devuelve la coordenada i ' de ECC , ϵ es arbitrariamente pequeño, y la probabilidad se toma sobre la elección uniforme de v{0,1}n elección uniforme de una coordenada i[m] .

fuente
3
Por curiosidad, ¿tienes alguna aplicación en mente?
Tsuyoshi Ito
Sí, en realidad tengo un par de aplicaciones para un código de corrección de errores con dicha propiedad. Sin embargo, creo que no es factible explicarlo dentro del alcance de un comentario. Puede contactarme por correo si está interesado.
Gracias por la respuesta. Si no cabe en un comentario, probablemente no tenga tiempo para entenderlo de todos modos, así que lo dejaré como está. ¡Gracias!
Tsuyoshi Ito

Respuestas:

7

Si. Por ejemplo, un código Reed-Solomon contiene un código BCH, que es un código lineal binario, como un subcódigo. Estos se llaman subcampos-subcódigos.

Mahdi Cheraghchi
fuente
¿Significa que dado un código Reed-Solomon (lineal en F_q), la probabilidad de que el código devuelva una palabra de código binario, dada una entrada binaria, es 1? ¿Puede dirigirme a algún documento / encuesta en el que pueda leer sobre esta propiedad con más detalle? Soy un poco nuevo en la teoría de la codificación. ¡Gracias!
La mejor referencia para leer sobre códigos BCH binarios son los libros de texto clásicos "La teoría de los códigos de corrección de errores" de MacWilliams y Sloane y también la "Introducción a la teoría de la codificación" de van Lint.
Mahdi Cheraghchi
1
@TomGur: No estoy seguro de que los códigos BCH cumplan con sus requisitos. Hasta cierto punto, la respuesta depende de cuánto esfuerzo computacional desea que el decodificador ponga a la tarea. Los decodificadores "listos para usar" son decodificadores de distancia acotada, y solo corrigen hasta un límite de decodificación único (<la mitad de la distancia mínima). Para los códigos BCH, una fracción no despreciable del espacio binario está fuera de rango y se producirá un error de decodificador. Solo tener un código no es suficiente a menos que especifique el algoritmo de decodificación (no todos los ECC tienen uno eficiente conocido).
Jyrki Lahtonen