¿Existe un código binario con longitud 6, tamaño 32 y distancia 2?

9

El problema es probar o refutar la existencia de , st, ; ; d (c_i, c_j) \ geq2,1 \ leq i <j \ leq32 . ( d significa distancia de hamming)C|c|=6,cC|C|=32d(ci,cj)2,1i<j32d

Traté de construir un código satisfactorio. Lo mejor que puedo obtener es dejar que C=C×C , una concatenación de C={000,011,110,101} , que es del tamaño 16. 32 pasa a ser el límite superior teórico del tamaño, ahora no No sé qué hacer a continuación para resolver el problema.

Miangu
fuente

Respuestas:

9

Sí, existe tal conjunto. De hecho, estás en el camino correcto para encontrar el siguiente ejemplo.

Deje . Puedes verificar lo siguiente.C={c:|c|=6 and there are even number of 1's in c}

  • |C|=32 .
  • d(u,v)2 para todos , . (De hecho, o 4 o 6.)u,vCuvd(u,v)=2

Aquí hay cuatro ejercicios relacionados, enumerados en el orden de dificultad creciente. Como en la pregunta, solo se trata del código binario.

Ejercicio 1. Dé otro ejemplo de un conjunto de 32 palabras de longitud 6 y distancia por pares al menos 2.

Ejercicio 2. Demuestre que solo hay dos conjuntos de este tipo, como se indica en la respuesta y en el ejercicio 1.

Ejercicio 3. Generalice lo anterior a palabras de cualquier longitud y distancia en pares al menos 2. (Sugerencia, .)32=261

Ejercicio 4. (una mayor generalización indicada en la respuesta de Yuval) Si es el tamaño máximo de un código de longitud y la distancia mínima en pares , entonces .A(n,d)nortereA(d,2d)=A(n1,2d1)

John L.
fuente
1
Creo que también puede ser 6, específicamente para y , ya que tanto como porque ambos tienen un número par de 1. ¿O me estoy perdiendo algo? u = 000000 v = 111111 u C v Cre(tu,v)tu=000000v=111111tuCvC
siegi
@siegi, gracias. Actualizado.
John L.
@Miangu, ¿es útil mi respuesta? ¿Has considerado aceptarlo?
John L.
7

Todas las palabras de paridad par de un código lineal con palabras de código y distancia mínima .2norte-12

Más generalmente, si es el tamaño máximo de un código de longitud y distancia mínima , entonces .A2(n,d)ndA2(n,2d)=A2(n1,2d1)

Yuval Filmus
fuente
1
Buen hecho, votado. Por cierto, ¿por qué no solo lugar de ? Oh dos letras. A(n,d)A2(n,d)
John L.
1
El subíndice significa el campo . F2
Yuval Filmus