每日精学 204｜ReedSolomon最小距离的根数界

2026-09-25

← 技术专题 · 每日精学目录

雷达 · 通信 · 电子战　/　基础精学 204

编码映射和插值说明了信息如何保留，但纠错能力还需由不同码字间的最小符号距离确定。多项式差的根正好对应两个码字相同的求值位置。

01
模型与符号

求值点为七个互异非零 GF(8) 元素，消息多项式次数小于三；距离以三位域符号是否相等计数，不采用比特距离。

dH：Hamming符号距离（符号）

dmin：最小码距（符号）

g：消息多项式差（多项式）

t：未知错误数（符号）

e：已知擦除数（符号）

02
从模型到公式

距离转根数

两个码字来自 f1≠ f2，令

g=f_1-f_2,\quad 0\le\deg g\le k-1.

相同输出位置满足 g(aj)=0，因此

d_H(\boldsymbol c_1,\boldsymbol c_2)=n-\#\{j:g(a_j)=0\}.

下界与取等

域上非零次数 k−1 多项式至多有 k−1 个根，故

d_{\min}\ge n-k+1.

取

g(x)=\prod_{j=1}^{k-1}(x-a_j)

在选定节点恰有这些根，其余节点非零，于是

d_{\min}=n-k+1=5.

错误擦除保证

距离为五给出未知符号错误保证

t\le\lfloor(5-1)/2\rfloor=2,

已知擦除保证 e≤4，混合唯一恢复条件为

2t+e<5.

该条件说明存在唯一解，不指定完成搜索或代数译码的具体算法。

符号距离与比特距离的界

七个八元域符号各用三个比特表示。一个不同符号至少包含一个、至多包含三个不同比特，因此任意两个向量满足

d_{\mathrm{sym}}\le d_{\mathrm{bit}}\le3d_{\mathrm{sym}}.

根数界得到的最小距离五以符号为单位，而不是自动得到十五的最小比特距离。

纠错与擦除保证也应按相同单位表达：

2t+e<d_{\min}.

同一符号内的多个比特错误仍只占一个符号错误位置；分散到多个符号的相同总比特错误数可能更难处理。

仅计算比特异或总重量，会把符号码的几何距离替换为另一个指标。

03
物理含义

两个码字若在太多节点相同，其差多项式会拥有超过次数允许的根数，迫使它们实际上相同。距离保证来自这一代数刚性，而非随机仿真中未见错误。

04
固定参数算例

穷举五百一十一个非零码字的符号重量，验证最小值五；显式构造在节点一、二为零的二次式，验证恰好两个零。比较符号重量与对应比特重量，强调两种单位不同。

固定参数数值验证结果
量数值
nonzero codewords511
minimum symbol distance5
root bound2
constructed zero positions2
guaranteed symbol errors2
guaranteed erasures4
minimum bit weight6
distance5 codewords147
图 1：RS非零码字符号重量与根数取等案例图 1：RS非零码字符号重量与根数取等案例

图 1　RS非零码字符号重量与根数取等案例

表中数值和图中曲线由 MATLAB 实际运行得到，随机种子为 20261123；运行版本与完整结果另存为独立文件。

05
数字实现的边界

RTL 输入 a、b 的低二十一位表示七个三位域符号，输出不等符号的个数零至七。模块只实现符号距离计数，不实现两错纠正或擦除恢复。 模块采用同步高有效复位及 valid 握手；

有效输入在一个时钟沿登记输出，空拍不改变数据寄存器而清除输出有效标志。端口采用有符号 32 位容器，实际有效范围按子核定义约束。自检覆盖多组有效输入、空拍保持及复位；

它验证指定算术或地址子核，不代表完整通信系统或完整译码器已经完成硬件验证。

独立自检程序已在 Icarus Verilog 13.0 中实际运行并通过。该结果不包含器件综合、静态时序分析或板级测试。

06
适用范围

用于符号码测试向量设计、纠错规格审计和实现性能边界说明。系统可靠性还取决于具体译码器是否正确实现所承诺的距离保证。

07
工程上需要注意

距离单位是域符号，不是比特。

保证条件并不提供译码算法。

超过界的部分模式仍可能恢复，但无统一保证。

求值点重复会破坏根数到距离的推导。

RS 七三码的最小符号距离五由非零二次多项式至多两根严格确定。错误与擦除的保证界必须与实际实现的译码功能分开陈述。

内容依据：每日精学第 204 课《ReedSolomon最小距离的根数界》。图表沿用原课固定参数数值结果，属于数值验证，不代表设备实测。

阅读7
分享
写评论...