Existiert ein Binärcode mit Länge 6, Größe 32 und Abstand 2?

9

Das Problem besteht darin, die Existenz von , st, zu beweisen oder zu widerlegen ; ; . ( steht für Hamming Distance)C|c|=6,cC|C|=32d(ci,cj)2,1i<j32d

Ich habe versucht, einen zufriedenstellenden Code zu erstellen. Das Beste, was ich bekommen kann, ist, , eine Verkettung von , die die Größe 16 hat. 32 ist zufällig die theoretische Obergrenze der Größe, jetzt ich an Ich weiß nicht, was ich als nächstes tun soll, um das Problem zu lösen.C=C×CC={000,011,110,101}

Miangu
quelle

Antworten:

9

Ja, es gibt so einen Satz. Sie sind tatsächlich auf dem richtigen Weg, um das folgende Beispiel zu finden.

Sei . Sie können Folgendes überprüfen.C={c:|c|=6 and there are even number of 1's in c}

  • |C|=32 .
  • d(u,v)2 für alle , . (Tatsächlich ist oder 4 oder 6.)u,vCuvd(u,v)=2

Hier sind vier verwandte Übungen, die in der Reihenfolge der zunehmenden Schwierigkeit aufgeführt sind. Wie in der Frage ist nur Binärcode betroffen.

Übung 1. Geben Sie ein weiteres Beispiel für einen Satz von 32 Wörtern mit einer Länge von 6 und einem paarweisen Abstand von mindestens 2.

Übung 2. Zeigen Sie, dass es nur zwei solcher Sätze gibt, wie in der Antwort und in Übung 1 angegeben.

Übung 3. Verallgemeinern Sie das Obige auf Wörter beliebiger Länge und paarweisen Abstands von mindestens 2. (Hinweis, .)32=261

Aufgabe 4. (weitere Verallgemeinerung in Yuvals Antwort angegeben) Wenn die maximale Größe eines Codes mit der Länge und dem minimalen paarweisen Abstand , dann ist .A(n,d)ndA(d,2d)=A(n1,2d1)

John L.
quelle
1
Ich denke, kann auch 6 sein, speziell für und , da sowohl als auch weil beide eine gerade Anzahl von haben. Oder fehlt mir etwas? d(u,v)u=000000v=111111uCvC
Siegi
@siegi, danke. Aktualisiert.
John L.
7

Alle Wörter gleicher Parität aus einem linearen Code mit Codewörtern und Mindestabstand .2n12

Allgemeiner , wenn die maximale Größe eines Codes mit der Länge und dem minimalen Abstand , dann ist .A2(n,d)ndA2(n,2d)=A2(n1,2d1)

Yuval Filmus
quelle
1
Schöne Tatsache, positiv bewertet. Warum nicht einfach statt ? Oh, zwei Buchstaben. A 2 ( n , d )A(n,d)A2(n,d)
John L.
1
Der Index kennzeichnet das Feld . F2
Yuval Filmus