[论文解读] Efficient erasure decoding of Reed-Solomon codes

Frédéric Didier|ArXiv.org|Jan 14, 2009

Coding theory and cryptography参考文献 3被引用 36

一句话总结

本文提出了一种在二元扩张域 $\mathbf{F}_{2^m}$ 上对 Reed-Solomon 码进行实用且快速的删除解码算法，使用 Walsh 变换替代复杂的多项式算术，实现 $O(q\log_2^2 q)$ 的时间复杂度。该方法在常数因子较小的情况下实现高效编码与解码，优于渐近意义下快速但不切实际的替代方案，尤其适用于 $q \geq 2^{10}$ 的域。算法利用拉格朗日插值与向量化 Walsh 变换，高效地在所有域点上评估多项式。

ABSTRACT

We present a practical algorithm to decode erasures of Reed-Solomon codes over the q elements binary field in O(q \log_2^2 q) time where the constant implied by the O-notation is very small. Asymptotically fast algorithms based on fast polynomial arithmetic were already known, but even if their complexity is similar, they are mostly impractical. By comparison our algorithm uses only a few Walsh transforms and has been easily implemented.

研究动机与目标

• 开发一种在 $\mathbf{F}_{2^m}$ 上对 Reed-Solomon 码进行删除解码的实用且高效算法，因为现有渐近快速方法对实际应用而言过于复杂。
• 将删除解码的计算复杂度降低至低于 $O(k^3)$ 的高斯消去法界限，同时保持较小的常数因子以实现实际性能。
• 通过利用 $\mathbf{F}_{2^m}$ 的结构与拉格朗日插值，实现长 Reed-Solomon 码的高效编码与解码。
• 证明 Walsh 变换可替代多项式评估任务中的离散傅里叶变换，从而实现更快更简单的实现。

提出的方法

• 通过递归分解域 $\mathbf{F}_{2^m}$，在 $O(q\log_2 q)$ 时间内计算 $k$ 个接收点的拉格朗日系数 $\mathbf{c}_\mathbf{u}$。
• 利用域的二进制表示上的向量化 Walsh 变换，在所有 $q$ 个域点上高效评估拉格朗日插值公式，避免显式计算多项式系数。
• 将域元素分解为其 $\mathbf{F}_2$-向量分量，对由此生成的布尔函数应用快速 Walsh 变换，以高效计算多项式值。
• 通过利用 Walsh 变换的线性性与奇偶性，算法在 $O(q\log_2^2 q)$ 时间内完成最终多项式值的计算，使用 $O(q\log_2 q)$ 内存；若使用 $O(q)$ 内存，则时间复杂度为 $O(q\log_2^3 q)$。
• 对于少量缺失的系统符号，算法可在 $O(q\log_2 q)$ 次操作基础上，每符号额外 $O(k)$ 次操作完成解码，适用于部分删除情况。
• 实现采用系统编码策略：设置前 $k$ 个符号，再使用解码算法计算校验符号，从而实现高效的编码。

实验结果

研究问题

• RQ1 能否设计一种实用的 Reed-Solomon 删除解码算法，实现接近最优的渐近时间复杂度，且常数因子极小？
• RQ2 是否可能在 Reed-Solomon 码的多项式评估中用 Walsh 变换替代离散傅里叶变换，以简化实现并提升性能？
• RQ3 在实际环境中，基于 Walsh 的算法与经典 $O(k^2)$ 方法及渐近快速 $O(n\log^2 n)$ 方法相比，性能如何？
• RQ4 域大小 $q = 2^m$ 对删除解码算法的实际可用性与效率有何影响？

主要发现

• 该算法在 $\mathbf{F}_{2^m}$ 上实现完整删除解码的时间复杂度为 $O(q\log_2^2 q)$，常数因子极小，适用于大域。
• 在 1.86GHz Intel Core 2 处理器上，该算法可在一秒内解码 $\mathbf{F}_{2^{16}}$ 上的 Reed-Solomon 码，数秒内解码 $\mathbf{F}_{2^{20}}$ 上的码。
• 该方法仅需少量 Walsh 变换，且 C 语言实现代码少于 500 行，远比以往渐近快速算法更简单。
• 对于少量缺失的系统符号，解码可在 $O(q\log_2 q)$ 时间内完成，每符号额外 $O(k)$ 次操作，实现高效的局部恢复。
• 该算法既适用于编码也适用于解码：通过设置前 $k$ 个符号并利用删除解码计算其余符号，实现系统编码。
• 该方法可推广至任意域，但将 Walsh 变换技术扩展至二元域以外的域具有非平凡性，且不太可能产生实用的算法。