Reed-Solomon 编码的解码算法

Reed-Solomon 编码的解码算法

Reed-Solomon 编码 $RS(D,k)$ 定义为，对于消息 $m_0,\cdots ,m_{k-1}$，构造由这些消息作为系数构成的度小于 $k$ 的多项式
$$F(X)=\sum _{i=0}^{k-1}{m}_i\cdot X^i$$
对每个 $a_0,\cdots ,a_{n-1}\in D$，计算 $c_i=F(a_i)$。$m_0,\cdots ,m_{k-1}$ 的 Reed-Solomon 码字为 $c_0,\cdots ,c_{n-1}$。

定义 $RS[\mathbb{F},D,k]$ 为所有可能的 $RS(D,k)$ 码字的集合。

解码算法已知 $D$，并收到可能存在错误的 $b_0,\cdots ,b_{n-1}$。希望解码出正确的度小于 $k$ 的多项式 $F(X)\in RS[\mathbb{F},D,k]$。

Berlekamp-Welch 算法 Unique decoding

该算法可以对存在至多 $e=\lfloor \frac{n-k}{2}\rfloor$ 个位置有错的 Reed-Solomon 编码纠错。

定义度小于等于 $e$ 的多项式 $E(X)$ 满足，对任意 $i$，若 $b_i\ne F(a_i)$，则 $E(a_i)=0$。额外定义 $E(X)$ 的最高次项系数为 1。

由 $E(X)$ 的定义，显然有
$$b_{i}E(a_i)=E(a_i)F(a_i)$$

定义 $Q(X)=E(X)\cdot F(X)$ 为度小于 $k+e$ 的多项式，则有
$$b_{i}E(a_i)=Q(a_i)$$

显然，如果 $b_0,\cdots ,b_{n-1}$ 中的错误位置不超过 $e$ 个，则存在满足上述等式的度小于 $e$ 的多项式 $E(X)$ 和度小于 $k+e$ 的多项式 $Q(X)$，$Q(X)/E(X)$ 即为目标的 $F(X)$。

可以证明，对任何度小于 $e$ 的非零多项式 $E_1(X),E_2(X)$ 和度小于 $k+e$ 的多项式 $Q_1(X),Q_2(X)$，若有
$$b_i{E}_1(a_i)=Q_1$$