Zyklischer Code

Ein zyklischer Code ist ein in der digitalen Signalverarbeitung und der Nachrichtentechnik eingesetzter Kanalcode. Zyklische Codes sind Teil der Gruppe der linearen Codes und werden unter anderem zur Vorwärtsfehlerkorrektur auf Übertragungskanälen oder bei Datenspeichern eingesetzt.

Als solcher ist er die Basis für eine Reihe von Verfahren zur Signalübertragung, mit denen der Empfänger einer Nachricht diese auf Fehler prüfen kann, und gegebenenfalls aufgetretene Fehler ohne Rückfrage an den Sender durch die zusätzliche eingebrachte Redundanz korrigieren kann.

Definition

Ein zyklischer Code $C$ ist ein linearer Code, der zusätzlich folgende Eigenschaft hat: Ist $(a_{0},a_{1},\dots ,a_{n-1})$ ein Codewort von $C$, dann ist auch $(a_{1},a_{2},\dots ,a_{n-1},a_{0})$ ein Codewort von $C$. Daraus folgt, dass auch $(a_{2},a_{3},\dots ,a_{n-1},a_{0},a_{1}),(a_{3},a_{4},\dots ,a_{n-1},a_{0},a_{1},a_{2}),\ldots ,(a_{n-1},a_{0},a_{1},\ldots ,a_{n-2})$ Codewörter von $C$ sind.

Polynomiale Darstellung

Zyklische Codes der Länge $n$ lassen sich als Ideale des Rings $R:=\mathbb {F} _{q}[x]/(x^{n}-1)$ beschreiben. Die Zeichen eines Codewortes $a$ werden dabei als Koeffizienten eines Polynomes $a(x)$ betrachtet:

$(a_{0},a_{1},a_{2},\dots ,a_{n-1})\leftrightarrow a_{0}+a_{1}x+a_{2}x^{2}+\dots +a_{n-1}x^{n-1}$.

Elemente des Rings $R$ sind Restklassen von Polynomen bezüglich der Polynomdivision durch $x^{n}-1$. Jede Restklasse hat ein ausgezeichnetes Element vom Grad kleiner $n$, welches zur Bezeichnung der Restklasse verwendet wird: $a(x)=a_{0}+a_{1}x+\dots +a_{n-1}x^{n-1}$. Multiplikation mit $x$ und Reduktion modulo $x^{n}-1$ führen auf das Polynom

$x\,a(x)\mod x^{n}-1=a_{n-1}+a_{0}x+\dots +a_{n-2}x^{n-1}$,

das gerade die zyklisch verschobene Koeffizientenfolge besitzt. Die Eigenschaft zyklisch zu sein bedeutet also im Polynomring, dass der Code $C$ gegen Multiplikation mit $x$ und somit mit Monomen beliebigen Grades abgeschlossen ist.

Da der Code $C$ auch linear ist, also Vielfache und Summen von Codewörtern enthält, ergibt sich, dass mit einem Polynom $a(x)$ auch die Koeffizientenfolgen aller Polynome $b(x)a(x)\mod x^{n}-1$ im Code enthalten sind, der Code also einem Ideal im Ring entspricht.

Da $\mathbb {F} _{q}[x]$ ein Hauptidealring ist, wird das Ideal, das von $(x^{n}-1)$ und den Polynomen, die Codewörtern entsprechen, erzeugt wird, schon von einem darin enthaltenen Polynom $g(x)$ kleinsten Grades erzeugt (Erzeugerpolynom). Dieses ist immer ein Teiler von $(x^{n}-1)$. Kennt man also alle Teilerpolynome von $(x^{n}-1)$, so kennt man auch alle zyklischen linearen Codes in $\mathbb {F} _{q}^{n}$. Besonderes Interesse genießen die Codes, die den irreduziblen Faktoren entsprechen.

Codierung und Decodierung

Codierung

Das Erzeugerpolynom $g(x)$ habe den Grad $n-k$. Der Code hat dann die Dimension $k$. Ein Klartextwort $w\leftrightarrow w(x)=w_{0}+\dots +w_{k-1}x^{k-1}$ wird entweder durch Multiplikation oder durch Division zu einem Codewort $c(x)$ codiert:

Multiplikation

Die Multiplikation mit $g(x)$ ist die offensichtliche Methode: $c(x)=w(x)\cdot g(x)$.

Division

Der Ring $R$ ist ein Euklidischer Ring bezüglich der Polynomdivision. Daher sind in der Gleichung $w(x)\cdot x^{n-k}=q(x)\cdot g(x)+r(x)$ die Polynome $q(x)$ und $r(x)$ mit ${\text{Grad}}(r(x))<{\text{Grad}}(g(x))$ eindeutig bestimmt ($r(x)$ wird mittels Polynomdivision berechnet). Das Wort $w(x)$ wird dann nach $c(x)=w(x)\cdot x^{n-k}-r(x)$ codiert.

Vorteil dieses Verfahrens ist einerseits, dass die Informationssymbole/Informationsbits direkt als Klartext im Codewort stehen. Weiterhin ist die schaltungstechnische Realisierung dieses Verfahren für Binärcodes sehr einfach (siehe unten).

Decodierung

Ein empfangenes Wort $b(x)$ wird durch $g(x)$ dividiert. Ist der Rest gleich Null, war $b(x)$ bereits aus dem Code. Ist der Rest ungleich Null, dann trat bei der Übertragung ein Fehler auf. Der Rest entspricht dabei dem Syndrom, das Wort kann dann mit Hilfe einer Syndromtabelle decodiert werden.

Schaltungstechnisch bedeutet dies, dass für die Codierung mittels Division und die Decodierung – im Großen und Ganzen – die gleichen Schaltungen verwendet werden können.

Realisierungen

Zyklischer Codegenerator in Form eines LFSR

Der Vorteil von zyklischen Codes in praktischen Anwendungen, wie digitalen Schaltungen, besteht in der Möglichkeit, diese Codes mit linear rückgekoppelten Schieberegistern (LFSR) erzeugen zu können.

In nebenstehender Abbildung ist zur Veranschaulichung ein zyklischer (15,11)-Hamming Encoder mit dem Generatorpolynom z⁴ + z + 1 dargestellt. Im Encoder werden die Nutzdatenbits d als serieller Datenstrom in der Mitte oben eingelesen und rechts das Codewort c seriell ausgegeben. Die Schalter befinden sich zunächst in Stellung A: Damit werden im Codewort zunächst die Datenbits direkt ausgegeben und gleichzeitig in das LFSR geschoben. Sind alle Datenbits eines Datenwortes eingelesen, wechseln die beiden Schalter in Stellung B: Es wird nun bitweise der Inhalt des LFSR ausgegeben, der den Prüfstellen p entspricht. Sind alle Prüfstellen ausgegeben, wiederholt sich der Vorgang. Zur Vereinfachung sind die nötigen Taktleitungen und Synchronisationschaltungen in der Schaltskizze nicht dargestellt.

Die Decodierung von zyklischen Code auf Empfängerseite kann mittels LFSR erfolgen, wobei meist eine Syndromdecodierung zur Anwendung kommt.

Beispiele

Neben den erwähnten zyklischen Hamming-Codes gibt es spezielle zyklischen Varianten der Reed-Solomon-Codes, die unter anderem im Datenformat der CD-ROM Anwendung finden. Wiederum ein Spezialfall der letztgenannten sind die Codes, die bei der zyklischen Redundanzprüfung (CRC) zur Fehlererkennung verwendet werden.

Literaturquellen

• Martin Bossert: Kanalcodierung. 2. vollständig neubearbeitete und erweiterte Auflage. Teubner, Stuttgart 1998, ISBN 3-519-16143-5 (Informationstechnik). 
• Todd K. Moon: Error Correction Coding. Mathematical Methods and Algorithms. Wiley-Interscience, Hoboken NJ 2005, ISBN 0-471-64800-0. 
• Harm Pralle: Codierungstheorie, Vorlesungsskript. Technische Universität Braunschweig, 2005.