In der Codierungstheorie ist der Dualcode eines linearen Codes

ist der lineare Code, der definiert ist durch

Wo

ist ein Skalarprodukt. In linearer Algebra ausgedrückt ist der duale Code der Annihilator von C bezüglich der Bilinearform . Die Dimension von C und seines Duals addieren sich stets zur Länge n .

Die Generatormatrix des dualen Codes ist die Paritätsprüfmatrix des ursprünglichen Codes und umgekehrt. Der Dualcode ist stets der ursprüngliche Code.

Selbstduale Codes

Ein selbstdualer Code ist ein Code, der sein eigenes Dual ist. Dies impliziert, dass n gerade ist und dim C = n /2. Wenn ein selbstdualer Code so beschaffen ist, dass das Gewicht jedes Codeworts ein Vielfaches einer Konstanten ist , dann gehört er zu einem der folgenden vier Typen: [ 1 ]

  • Typ-I -Codes sind binäre selbstduale Codes, die nicht doppelt gerade sind . Typ-I-Codes sind immer gerade (jedes Codewort hat ein gerades Hamming-Gewicht ).
  • Typ-II -Codes sind binäre selbstduale Codes, die doppelt gerade sind.
  • Typ-III -Codes sind ternäre selbstduale Codes. Jedes Codewort in einem Typ-III-Code hat ein durch 3 teilbares Hamming-Gewicht.
  • Typ-IV -Codes sind selbstduplikante Codes über F 4. Diese sind wiederum gerade.

Codes vom Typ I, II, III oder IV existieren nur dann, wenn die Länge n ein Vielfaches von 2, 8, 4 bzw. 2 ist.

Wenn ein selbstdualer Code eine Generatormatrix der Form hat , dann hat der duale Code die Generatormatrix , wobei die Einheitsmatrix und ist .

Referenzen

  1. ^ Conway, JH ; Sloane, NJA (1988). Kugelpackungen, Gitter und Gruppen . Grundlehren der mathematischen Wissenschaften. Bd. 290. Springer-Verlag . P.  77 . ISBN 0-387-96617-XDie