∑

数学知识体系

Observatory Archive of Mathematics
⌕2026/8/31
概念

线性码

生成矩阵编码、校验矩阵检测错误,汉明码用奇偶校验位纠正单比特错误,码距决定纠错能力。

所属主题:信息论与编码 ↗
阅读路径

参考可汗学院 Get ready 机制:先修概念 → 当前概念 → 进阶概念,✓ 表示已读。

当前概念

线性码信息论与编码

01定义

线性码是向量空间中的编码:生成矩阵 GG 线性编码、校验矩阵 HH 用伴随式定位错误。汉明码以奇偶校验位纠正单比特错,码的最小距离 dd 决定纠错能力——代数结构让编码与译码都有高效算法。
消息 1011(k=4) ×G 码字 1011010(n=7) 信道噪声 收到 1010010(1 位翻转) 伴随式 rHᵀ 定位并纠正 汉明 (7,4):3 个校验位纠正任意 1 比特错 最小距离 d ⇒ 检 d−1 错、纠 ⌊(d−1)/2⌋ 错 线性结构:译码 = 线性代数(伴随式查表)
线性码的收发流程:编码、受损、伴随式纠错

02核心要点

01

生成与校验

[n,k][n,k] 码:GG 为 k×nk\times n,码字 = 消息×GG;HH 满足 GHT=0GH^T=0,伴随式 rHTrH^T 只与错误图样有关——2n−k2^{n-k} 个伴随式给错误分类。

02

汉明码

校验矩阵的列取遍非零 mm 维向量:伴随式直接给出错误位置。[2m−1,2m−1−m][2^m-1,2^m-1-m] 完美码——校验球恰好填满空间,单比特纠错的最优设计。

03

距离与界

汉明界、Singleton 界(MDS 码取等)、GV 界划定码率-距离的可行区域;编码理论的核心问题即在给定距离下最大化码率。

03关键公式

c=mG,s=rHT,dmin⁡ ⇒ 纠 ⌊d−12⌋ 错c=mG,\quad s=rH^T,\quad d_{\min}\ \Rightarrow\ \text{纠}\ \bigl\lfloor\tfrac{d-1}{2}\bigr\rfloor\ \text{错}

04历史沿革

汉明 1950 年在贝尔实验室为计算机存储发明汉明码;格雷 1951 年给出相关概念;线性码的代数框架由斯莱皮恩等 1960 年代建立。

05应用与延伸

ECC 内存的单比特纠错、二维码的定位图案与纠错层、卫星链路的系统码设计、RAID 存储的奇偶恢复。

06交互演示

Hamming(7,4):三位校验的 Venn 纠错翻转任意一位,检查三个校验圆中哪些校验失败,唯一确定错误位置

07相关概念