Codierungstheorie II: Fehlerkorrigierende Codes
Codierungstheorie II: Fehlerkorrigierende Codes
Codierungstheorie II: Fehlerkorrigierende Codes
Sie wollen auch ein ePaper? Erhöhen Sie die Reichweite Ihrer Titel.
YUMPU macht aus Druck-PDFs automatisch weboptimierte ePaper, die Google liebt.
1.17’ Beispiel zu 1.17. Sei n = 2, l=90, ϵ = 2.<br />
Dann |B ′ 2ϵ(∗)| = |B ′ 4(∗)| = 2676766 (siehe 1.11) und |V | = 2 90 . Nach 1.17 existiert<br />
ein 2-korrigierender Code C ⊆ V mit<br />
2 Lineare <strong>Codes</strong><br />
|C| ≥<br />
|V |<br />
|B ′ 2ϵ(∗)|<br />
≈ 4, 6 · 1020<br />
Um das Dekodierverfahren (MDD) zu praktizieren, muß man nach Empfang eines<br />
Wortes d alle Abstände α(c, d) für c ∈ C berechnen. Das dauert in der Praxis oft zu<br />
lange. Deshalb nimmt man algebraische Strukturen zur Hilfe.<br />
2.1 Voraussetzungen Nun sei K ein Körper mit n Elementen und C ein Unter-<br />
vektorraum ̸= {0} des Vektorraums V = K n . Dann spricht man von einem linearen<br />
Code C.<br />
Ein solcher liege jetzt vor mit dimC = k.<br />
Wir wollen ein schnelles Verfahren für (MDD) entwickeln und ’gute’ lineare <strong>Codes</strong>.<br />
Der Hamming-Abstand ist translations-invariant, α(a − c, b − c) = α(a, b) für alle<br />
a, b ∈ V . Insbesondere α(a, b) = α(a − b, 0).<br />
Wir nennen γ(a) := α(a, 0) das Gewicht von a ∈ V .<br />
Es gilt α(a, b) = γ(a − b); durch die Gewichtsfunktion γ ist also die Abstandsfunk-<br />
tion α festgelegt.<br />
Für einen Code C ist deshalb der Minimalabstand gleich min{γ(a) | a ∈ C, a ̸= 0 }.<br />
2.2 Begriffe Eine Generatormatrix ist eine k × l-Matrix (mit Einträgen aus K),<br />
deren Zeilen eine Basis von C sind.<br />
Auf V betrachte man das Standardskalarprodukt V ×V → K. Dies ist eine reguläre<br />
symmetrische Bilinearform (es können aber durchaus isotrope Vektoren ̸= 0 vor-<br />
kommen). Deshalb gilt (C ⊥ ) ⊥ = C und r := dimC ⊥ = l − k.<br />
Wenn C ⊥ bekannt ist, dann auch C (wegen (C ⊥ ) ⊥ = C).<br />
10