Reed-Solomon-Code

Reed-Solomon-Codes (kurz RS-Codes) sind eine Klasse zyklischer Blockcodes. Sie werden im Rahmen der Kanalkodierung zum Erkennen und Korrigieren von Übertragungs- oder Speicherfehlern als Teil einer Vorwärtsfehlerkorrektur eingesetzt. Sie bilden eine Unterklasse der allgemeinen Klasse der BCH-Codes. RS-Codes sind MDS-Codes, womit sie im Rahmen der Kodierungstheorie als optimale Codes gelten.

Reed-Solomon-Codes wurden um 1960 von Irving S. Reed und Gustave Solomon am Lincoln Laboratory, einer Forschungseinrichtung des Verteidigungsministeriums der Vereinigten Staaten entwickelt.^[1] Zu dieser Zeit war die praktische Verwendbarkeit dieser Codes allerdings eingeschränkt, da keine effiziente Methode zur Decodierung bekannt war. Einen effizienten Decodieralgorithmus stellten 1969 Elwyn Berlekamp und James Massey in Form des auch für BCH-Codes verwendbaren Berlekamp-Massey-Algorithmus vor.

Erstmals angewandt wurden Reed-Solomon-Codes im Voyager-Programm der NASA im Jahr 1977. Erste kommerzielle Anwendung fanden sie 1982 bei der Fehlerkorrektur von Compact Disks. Heutige Anwendungen erstrecken sich über einen großen Bereich wie den DVB-Standard zur Aussendung digitaler Fernsehsignale, verschiedene Mobilfunkstandards, Digital Audio Broadcasting (DAB), RAID-6-Systeme und Dateiformate wie PAR2 zur Datenspeicherung. Weitere Anwendungsbeispiele sind zweidimensionale Barcodes; so setzen z. B. der QR-Code, DataMatrix, Aztec-Code und der PDF417 Reed-Solomon zur Fehlerkorrektur von Lesefehlern ein. In neueren Anwendungsbereichen werden RS-Codes zunehmend durch leistungsfähigere Codes wie die Low-Density-Parity-Check-Codes (LDPC) oder Turbo-Codes (TPC) abgelöst. Dies ist beispielsweise im Fernsehstandard DVB-S2 der Fall, der LDPC zur Vorwärtsfehlerkorrektur einsetzt.

Motivation

Jede Nachricht, zum Beispiel ein Textfragment, kann als Folge aus ${\displaystyle k}$ Zahlen kodiert und übertragen werden. Ein typisches Beispiel für die Kodierung von Texten ist der ASCII-Standard. Wird eine kodierte Nachricht von einem Sender zu einem Empfänger übertragen, besteht die Gefahr, dass es zu Übertragungsfehlern kommt. Das bedeutet, dass einige Zahlen der Nachricht ausgelöscht oder verfälscht werden. Der Empfänger der Nachricht hat keine Möglichkeit, den Übertragungsfehler zu bemerken, da man einer Zahl per se nicht ansehen kann, ob sie richtig oder falsch ist. Einem Übertragungsfehler kann aber auf Sender-Seite entgegengewirkt werden, indem zusätzlich zur Nachricht redundante Informationen übertragen werden. Der Empfänger kann dann durch den Vergleich der erhaltenen Nachricht mit den redundant übertragenen Informationen nicht nur die Integrität der übertragenen Nachricht verifizieren, sondern zusätzlich erkannte Fehler in der Nachricht korrigieren.

Um Redundanz zur Nachricht hinzuzufügen, werden die Zahlen der Nachricht als Werte eines Polynoms an ${\displaystyle k}$ fest vereinbarten Stützstellen interpretiert. Ein Polynom des Grades ${\displaystyle k-1}$ oder kleiner kann als Summe von ${\displaystyle k}$ Monomen dargestellt werden. Die Koeffizienten dieser Monome ergeben sich als Lösung eines linearen Gleichungssystems. Aufgrund der speziellen Form dieses Systems gibt es eine Lösungsformel, die Lagrange-Interpolation. Das so erhaltene Polynom wird auf weitere Stützstellen extrapoliert, sodass die kodierte Nachricht insgesamt aus ${\displaystyle n>k}$ Zahlen besteht.

Werden bei der Übertragung nun einige wenige Zahlen ausgelöscht, sodass immer noch mehr als ${\displaystyle k}$ der Zahlen erhalten bleiben, kann das Polynom wiederum durch Interpolation aus den korrekt übertragenen Zahlen rekonstruiert werden, und damit auch die ursprüngliche Nachricht durch Auswerten in den ersten ${\displaystyle k}$ Stützstellen. Bei einer fehlerbehafteten Übertragung mit Fehlern an nur wenigen Stellen kann mit einem etwas komplizierteren Ansatz immer noch die ursprüngliche Nachricht sicher rekonstruiert werden. Je mehr Redundanz gewählt wurde, desto mehr Fehler können korrigiert werden. Es können doppelt so viele Auslöschungen (nämlich ${\displaystyle n-k}$) korrigiert werden wie Verfälschungen ${\displaystyle (n-k)/2}$, daher führen Lesesysteme, die Auslöschungen beim Empfang der Nachricht erkennen und mit den Nutzdaten ausgeben, in der Regel zu einer verbesserten Korrekturfähigkeit.

Die in der Interpolation auftretenden Ausdrücke enthalten Divisionen, müssen also über einem Körper durchgeführt werden. Werden die Zahlen – oder Symbole – der Nachricht aus den ganzen Zahlen gewählt, so finden die Rechnungen also in den rationalen Zahlen statt. Außerdem können die extrapolierten Werte sehr groß werden, was eventuell im vorliegenden Übertragungskanal nicht übermittelt werden kann. Um diese Nachteile zu beheben, führt man die Rechnungen in einem endlichen Körper durch. Dieser hat eine endliche Anzahl von Elementen, die durchnummeriert werden können, um sie mit den Symbolen der Nachricht zu verknüpfen. Die Division – außer durch Null – ist uneingeschränkt durchführbar, und somit auch die Interpolation.

Reed-Solomon-Codes sind zur Korrektur von Burstfehlern bei der Datenübertragung geeignet. Bei Burstfehlern erscheinen fehlerhafte („gekippte“) Bits häufig als eine zusammenhängende Kette von Fehlern im Datenstrom. Beispielsweise werden durch einen Kratzer auf einer CD mit jeder Umdrehung viele aufeinanderfolgende Bits nicht richtig gelesen. Bei der CD werden die Daten allerdings noch verschränkt, damit die Korrekturfähigkeit auch bei Burstfehlern möglichst hoch bleibt.

Definition

Sei ${\displaystyle \mathbb {F} _{p}}$ ein endlicher Körper mit ${\displaystyle p}$ Elementen (${\displaystyle p=q^{m}}$ ist dann notwendigerweise eine Primzahlpotenz, ${\displaystyle q}$ prim). Es werden nun ${\displaystyle n}$ paarweise verschiedene Elemente ${\displaystyle u_{1},\dots ,u_{n}\in \mathbb {F} _{p}}$ ausgewählt und fixiert.

Die Menge der Kodewörter eines Reed-Solomon-Codes ${\displaystyle {\text{RS}}(p,k,n)}$ der Länge ${\displaystyle n}$ für Nachrichten der Länge ${\displaystyle k}$ über ${\displaystyle \mathbb {F} _{p}}$ ergibt sich nun durch die Wertetupel aller Polynome aus ${\displaystyle \mathbb {F} _{p}[x]}$ mit Grad kleiner ${\displaystyle k}$ an den gewählten Stützstellen:

${\displaystyle C=\left\{a=(a_{1},\dots ,a_{n})\in \mathbb {F} _{p}{}^{n}\;{\Big |}\;a_{j}=f(u_{j}),\;j=1,\dots ,n\right\}}$

wobei ${\displaystyle f\in \mathbb {F} _{p}[x]}$ mit ${\displaystyle \deg(f)<k}$.

Stützstellenmengen

RS-Codes zu verschiedenen zulässigen Stützstellenmengen sind linear isomorph. Die bijektive lineare Abbildung, die die Isomorphie vermittelt, ergibt sich durch Lagrange-Interpolation bezüglich der ersten Stützstellenmenge und Auswertung in der zweiten Stützstellenmenge. Dabei werden im ersten Schritt Kodewörter in Polynome kleiner ${\displaystyle k}$-ten Grades umgewandelt, so dass der zweite Schritt wieder ein Kodewort ergibt.

Ist ${\displaystyle \alpha \in \mathbb {F} _{p}}$ ein Element der Ordnung ${\displaystyle n}$ oder größer, so kann zum Beispiel

${\displaystyle u_{1}=1,\,u_{2}=\alpha ,\,\dots ,u_{j}=\alpha ^{j-1},\dots ,u_{n}=\alpha ^{n-1}}$

gewählt werden. Jeder endliche Körper enthält ein erzeugendes oder primitives Element der multiplikativen Gruppe ${\displaystyle \mathbb {F} _{p}{}^{*}=\mathbb {F} _{p}\setminus \{0\}}$, das heißt ein Element der Ordnung ${\displaystyle p-1}$. Daher ist diese spezielle Wahl für ${\displaystyle n=p-1}$ immer möglich.

Sind die Stützstellen genau die Potenzen ${\displaystyle u_{1}=1,\;u_{j}=\alpha ^{j-1}\neq 1,\;j=2,\dots ,n,}$ eines Elementes ${\displaystyle \alpha \in \mathbb {F} _{p}}$ der Ordnung ${\displaystyle n}$, ${\displaystyle \alpha ^{n}=1}$, so ist der RS-Kode ein zyklischer Code. Denn das Kodewort zum Polynom ${\displaystyle f_{j}(x)=f(\alpha ^{j}x)}$ ergibt sich durch Rotation des Kodewortes zu ${\displaystyle f(x)}$ um ${\displaystyle j}$ Stellen nach links. Wegen der einfacheren Implementierbarkeit zyklischer Codes wird diese Variante im Allgemeinen bevorzugt.

Kodieren von Nachrichten

Man kann eine Nachricht ${\displaystyle (a_{1},a_{2},\dots ,a_{k})\in \mathbb {F} _{p}{}^{k}}$ mit ${\displaystyle k}$ Symbolen direkt in ein Kodewort verwandeln, indem man die Komponenten als Koeffizienten eines Polynoms

${\displaystyle f(x)=a_{1}+a_{2}\,x+a_{3}\,x^{2}+\dots +a_{k}\,x^{k-1}=\sum _{i=1}^{k}a_{i}\,x^{i-1}\in \mathbb {F} _{p}[x]}$

einsetzt und dieses an den Stützstellen ${\displaystyle u_{1},u_{2},\dots ,u_{n}\in \{0,1,...,p-1\}}$ auswertet. Es ergibt sich damit ein Kodewort

${\displaystyle c=(c_{1},c_{2},\dots ,c_{n})={\Big (}f(u_{1}),f(u_{2}),\dots ,f(u_{n}){\Big )}\in \mathbb {F} _{p}{}^{n}}$

der Länge ${\displaystyle n}$.

Für die Anzahl ${\displaystyle k}$ der Symbole der Nachricht und die geforderte Minimaldistanz ${\displaystyle d}$ gilt ${\displaystyle k\leq n-d+1}$. Weil ein beliebiges Polynom ${\displaystyle f(x)}$ vom Grad kleiner oder gleich ${\displaystyle k}$ maximal ${\displaystyle k}$ Nullstellen haben kann, ist gewährleistet, dass jedes gültige Kodewort mindestens ${\displaystyle d}$ Symbole enthält, die ungleich 0 sind. Daher hat der gebildete Code die Minimaldistanz ${\displaystyle d}$ und ist in der Lage, maximal ${\displaystyle t={\frac {d-1}{2}}}$ Fehler zu korrigieren.^[2]

Statt die Nachricht ${\displaystyle (a_{1},\dots ,a_{k})}$ als Polynomkoeffizienten zu kodieren, kann man sie alternativ auch in die ersten ${\displaystyle k}$ Stützstellen des Polynoms kodieren. Dadurch erhält man eine systematische Kodierung. Das zum Kodewort führende Polynom ${\displaystyle f(x)}$ ergibt sich dabei als Lagrange-Polynom

${\displaystyle f(x)=\sum _{i=1}^{k}\left(a_{i}\cdot \prod _{j\neq i}^{k}{\frac {x-u_{j}}{u_{i}-u_{j}}}\right)}$

der Paare ${\displaystyle {\Big (}(u_{1},a_{1}),\,(u_{2},a_{2}),\,\ldots ,\,(u_{k},a_{k}){\Big )}}$. Wegen ${\displaystyle f(u_{i})=a_{i}}$ für ${\displaystyle i=1,\dots ,k}$ ergibt sich aus ${\displaystyle f(x)}$ das Kodewort

${\displaystyle c=(c_{1},c_{2},\dots ,c_{n})={\Big (}a_{1},a_{2},\ldots ,a_{k},f(u_{k+1}),\dots ,f(u_{n}){\Big )}}$

mit der Nachricht in den ersten ${\displaystyle k}$ Stellen des Kodeworts im „Klartext“.

Beide Varianten benutzen dieselbe Menge von Kodewörtern und haben damit dieselben Fehlerkorrektureigenschaften.

Aus den Koeffizienten des Polynoms ${\displaystyle f(x)=a_{1}+a_{2}\,x+a_{3}\,x^{2}+\dots +a_{k}\,x^{k-1}}$ erhält man die Erzeugendenmatrix für den Reed-Solomon-Code:^[3]

${\displaystyle G={\begin{pmatrix}a_{1}&a_{2}&\ldots &a_{k}&1&0&\ldots &0\\0&a_{1}&a_{2}&\ldots &a_{k}&1&\ddots &\vdots \\\vdots &\ddots &\ddots &\ddots &\ddots &\ddots &\ddots &0\\0&\ldots &0&a_{1}&a_{2}&\ldots &a_{k}&1\\\end{pmatrix}}\in M(k\times n,\mathbb {F} _{p})}$

Eigenschaften

Durch die Definition ergeben sich sofort folgende Eigenschaften:

• Codewortlänge: ${\displaystyle n}$
• Dimension des Codes: ${\displaystyle |C|=|f|=q^{k}}$
• Coderate: ${\displaystyle R_{c}=k/n}$

Die Mindestdistanz beträgt ${\displaystyle d_{\text{min}}=n-k+1}$ und erfüllt damit die Singleton-Schranke. Codes mit dieser Eigenschaft werden auch MDS-Codes genannt.

Erklärung

Da ${\displaystyle f}$ maximal ${\displaystyle k-1}$ Nullstellen besitzen kann (durch den Grad des Polynoms beschränkt), tauchen im korrespondierenden Codewort maximal ${\displaystyle k-1}$ Stellen auf, die zu 0 werden. Damit ist das Hamming-Gewicht ${\displaystyle wt(C)\geqq n-k+1}$ und somit wegen der Linearität auch die Minimaldistanz.

Zusammen mit der Singleton-Schranke ${\displaystyle d_{\text{min}}\leqq n-k+1}$ ergibt sich die Gleichheit.

Beispiel

Gegeben ist die Nachricht ${\displaystyle (a_{1},a_{2},a_{3},a_{4},a_{5},a_{6})=(2,6,8,12,15,13,1)}$ über ${\displaystyle \mathbb {F} _{2^{4}}}$. Daraus erhält man das Polynom ${\displaystyle f(x)=2+6\cdot x+8\cdot x^{2}+12\cdot x^{3}+15\cdot x^{4}+13\cdot x^{5}+x^{6}}$. Die Elemente von ${\displaystyle \mathbb {F} _{2^{4}}}$werden als Potenzen des primitiven Elements ${\displaystyle \alpha }$ berechnet:

Exponentendarstellung	Komponentendarstellung	binäre Darstellung	dezimale Darstellung
${\displaystyle \alpha ^{0}}$	${\displaystyle \quad \quad \quad \quad \quad \quad \alpha ^{0}}$	${\displaystyle [0001]_{2}}$	1
${\displaystyle \alpha ^{1}}$	${\displaystyle \quad \quad \quad \quad \alpha ^{1}\quad \quad }$	${\displaystyle [0010]_{2}}$	2
${\displaystyle \alpha ^{2}}$	${\displaystyle \quad \quad \alpha ^{2}\quad \quad \quad \quad }$	${\displaystyle [0100]_{2}}$	4
${\displaystyle \alpha ^{3}}$	${\displaystyle \alpha ^{3}\quad \quad \quad \quad \quad \quad }$	${\displaystyle [1000]_{2}}$	8
${\displaystyle \alpha ^{4}}$	${\displaystyle \alpha ^{3}\quad \quad \quad \quad +\alpha ^{0}}$	${\displaystyle [1001]_{2}}$	9
${\displaystyle \alpha ^{5}}$	${\displaystyle \alpha ^{3}\quad \quad +\alpha ^{1}+\alpha ^{0}}$	${\displaystyle [1011]_{2}}$	11
${\displaystyle \alpha ^{6}}$	${\displaystyle \alpha ^{3}+\alpha ^{2}+\alpha ^{1}+\alpha ^{0}}$	${\displaystyle [1111]_{2}}$	15
${\displaystyle \alpha ^{7}}$	${\displaystyle \quad \quad \alpha ^{2}+\alpha ^{1}+\alpha ^{0}}$	${\displaystyle [0111]_{2}}$	7
${\displaystyle \alpha ^{8}}$	${\displaystyle \alpha ^{3}+\alpha ^{2}+\alpha ^{1}\quad \quad }$	${\displaystyle [1110]_{2}}$	14
${\displaystyle \alpha ^{9}}$	${\displaystyle \quad \quad \alpha ^{2}\quad \quad +\alpha ^{0}}$	${\displaystyle [0101]_{2}}$	5
${\displaystyle \alpha ^{10}}$	${\displaystyle \alpha ^{3}\quad \quad +\alpha ^{1}\quad \quad }$	${\displaystyle [1010]_{2}}$	10
${\displaystyle \alpha ^{11}}$	${\displaystyle \alpha ^{3}+\alpha ^{2}\quad \quad +\alpha ^{0}}$	${\displaystyle [1101]_{2}}$	13
${\displaystyle \alpha ^{12}}$	${\displaystyle \quad \quad \quad \quad \alpha ^{1}+\alpha ^{0}}$	${\displaystyle [0011]_{2}}$	3
${\displaystyle \alpha ^{13}}$	${\displaystyle \quad \quad \alpha ^{2}+\alpha ^{1}\quad \quad }$	${\displaystyle [0110]_{2}}$	6
${\displaystyle \alpha ^{14}}$	${\displaystyle \alpha ^{3}+\alpha ^{2}\quad \quad \quad \quad }$	${\displaystyle [1100]_{2}}$	12

Daraus ergeben sich die Werte über ${\displaystyle \mathbb {F} _{2^{4}}}$ für die Symbole

${\displaystyle {\begin{aligned}c_{1}=f(\alpha ^{0})&=2\cdot \alpha ^{0}+6\cdot \alpha ^{0}+8\cdot \alpha ^{0}+12\cdot \alpha ^{0}+15\cdot \alpha ^{0}+13\cdot \alpha ^{0}+\alpha ^{0}\\&=2+6+8+12+15+13+1\\&=[0010]_{2}+[0110]_{2}+[1000]_{2}+[1100]_{2}+[1111]_{2}+[1101]_{2}+[0001]_{2}\\&=[0011]_{2}=3\\c_{2}=f(\alpha ^{1})&=2\cdot \alpha ^{0}+6\cdot \alpha ^{1}+8\cdot \alpha ^{2}+12\cdot \alpha ^{3}+15\cdot \alpha ^{4}+13\cdot \alpha ^{5}+\alpha ^{6}\\&=\alpha ^{1}\cdot \alpha ^{0}+\alpha ^{13}\cdot \alpha ^{1}+\alpha ^{3}\cdot \alpha ^{2}+\alpha ^{14}\cdot \alpha ^{3}+\alpha ^{6}\cdot \alpha ^{4}+\alpha ^{11}\cdot \alpha ^{5}+\alpha ^{0}\cdot \alpha ^{6}\\&=\alpha ^{1}+\alpha ^{14}+\alpha ^{5}+\alpha ^{2}+\alpha ^{10}+\alpha ^{1}\cdot \alpha ^{6}\\&=2+12+11+4+10+2+15\\&=[0010]_{2}+[1100]_{2}+[1011]_{2}+[0100]_{2}+[1010]_{2}+[0010]_{2}+[1111]_{2}\\&=[0110]_{2}=6\\&\cdots \\c_{15}=f(\alpha ^{14})&=2\cdot \alpha ^{0}+6\cdot \alpha ^{14}+8\cdot \alpha ^{28}+12\cdot \alpha ^{42}+15\cdot \alpha ^{56}+13\cdot \alpha ^{70}+\alpha ^{84}\\&=\alpha ^{1}\cdot \alpha ^{0}+\alpha ^{13}\cdot \alpha ^{14}+\alpha ^{3}\cdot \alpha ^{13}+\alpha ^{14}\cdot \alpha ^{12}+\alpha ^{6}\cdot \alpha ^{11}+\alpha ^{11}\cdot \alpha ^{10}+\alpha ^{0}\cdot \alpha ^{9}\\&=\alpha ^{1}+\alpha ^{12}+\alpha ^{1}+\alpha ^{11}+\alpha ^{2}+\alpha ^{6}\cdot \alpha ^{9}\\&=2+3+2+13+4+15+5\\&=[0010]_{2}+[0011]_{2}+[0010]_{2}+[1101]_{2}+[0100]_{2}+[1111]_{2}+[0101]_{2}\\&=[0000]_{2}=0\end{aligned}}}$

und das Kodewort ${\displaystyle c=(c_{1},c_{2},\ldots ,c_{15})={\Big (}f(\alpha ^{0}),f(\alpha ^{1}),\ldots ,f(\alpha ^{14}){\Big )}=(3,6,15,6,6,3,13,14,3,12,15,2,11,1,0)}$.^[2]

Literatur

• Stephen B. Wicker, Vijay K. Bhargava: Reed Solomon Codes Applications. Wiley, 1999, ISBN 0-7803-5391-9 (ieeexplore.ieee.org).

Weblinks

• Kodier- und Dekodieralgorithmen für Reed-Solomon- und andere Kodes in C (Robert Morelos-Zaragoza) (en)
• James S. Plank: A Tutorial on Reed-Solomon Coding for Fault-Tolerance in RAID-like Systems, Software – Practice & Experience, 27(9), September, 1997, S. 995–1012

Einzelnachweise

1. Irving S. Reed, Gustave Solomon: Polynomial codes over certain finite fields. In: Journal of the Society for Industrial and Applied Mathematics, SIAM J. Band 8, 1960, ISSN 0036-1399, S. 300–304.
2. Eduard Jorswieck, Anne Wolf, Technische Universität Dresden: Reed-Solomon-Coder und -Decoder
3. Benjamin Klopsch: Audio CDs und Reed-Solomon Codes