3. 线性分组码原理：生成矩阵与校验矩阵、对偶码、系统码与非系统码

好，咱们今天聊聊线性分组码的核心。说实话，这部分内容是我当年啃通信原理时觉得最“数学”的一块。但后来做项目多了才发现，这些矩阵其实特别直观。你只要抓住了生成矩阵和校验矩阵这对“冤家”，整个线性分组码的骨架就搭起来了。

3.1 从向量空间看分组码

先说说我的理解方式。线性分组码，说白了就是把k位信息比特，映射到n位码字上。这个映射是线性的——嗯，线性意味着什么？意味着码字之间的加法（模2加）还是码字，数乘（0或1）也还是码字。

我习惯把码字集合想象成一个向量空间。比如一个(n, k)码，它其实是n维向量空间里的一个k维子空间。这个子空间里有2^k个码字，每个码字都是一个n维向量。

为什么会这样？因为线性分组码的编码过程本身就是线性变换。你想想看，如果编码器是线性的，那么输入相加再编码，就等于分别编码再相加。这个性质在实际硬件实现时特别有用——我当年做FPGA实现时，就利用这个性质把编码器做成了流水线结构，省了不少资源。

3.2 生成矩阵——编码的“配方”

生成矩阵G，就是编码的配方。它是一个k×n的矩阵，每一行都是一个基向量。任何码字都可以表示为信息向量m与G的乘积：

c = m · G

这里m是1×k的行向量，G是k×n的矩阵，c是1×n的码字。所有运算都在GF(2)上进行，也就是模2加法。

举个例子，一个(7,4)汉明码的生成矩阵可以写成：

G = [1 0 0 0 1 1 0
     0 1 0 0 1 0 1
     0 0 1 0 0 1 1
     0 0 0 1 1 1 1]

你看，前4列是个单位阵，后3列是校验位生成规则。这种形式就是系统码——信息位直接出现在码字里。

3.3 校验矩阵——检错的“照妖镜”

校验矩阵H，是生成矩阵的“对偶”。它是一个(n-k)×n的矩阵，满足：

G · H^T = 0

对于任何合法码字c，都有：

c · H^T = 0

这个性质太重要了。接收端收到一个向量r，只要计算r · H^T，如果结果不是全零，就说明有错误。这个结果叫做“伴随式”（syndrome）。

我做过一个卫星通信的项目，信道条件很差，误码率经常到10^{-3}量级。当时用的就是(7,4)汉明码，校验矩阵帮了大忙。每次收到数据，先算伴随式，根据伴随式查表就能定位错误位置，然后翻转纠正。整个过程在FPGA里一个时钟周期就能完成。

对于上面的(7,4)汉明码，校验矩阵是：

H = [1 1 0 1 1 0 0
     1 0 1 1 0 1 0
     0 1 1 1 0 0 1]

你可以验证一下，G的每一行乘以H^T，结果都是零向量。

3.4 对偶码——你中有我，我中有你

对偶码这个概念，我第一次学的时候觉得有点绕。后来想通了，其实就是“角色互换”。

给定一个(n, k)线性码C，它的对偶码C^⊥是由所有与C中每个码字正交的向量组成的集合。说白了，C^⊥的生成矩阵就是C的校验矩阵，C^⊥的校验矩阵就是C的生成矩阵。

对偶码的维度是n-k。如果C = C^⊥，就称为自对偶码。这种码在量子纠错里特别常见，我后来做量子纠错研究时，经常跟自对偶码打交道。

3.5 系统码与非系统码——两种编码风格

系统码，就是信息位直接出现在码字中。比如(7,4)汉明码，前4位就是原始信息，后3位是校验位。这种编码的好处是直观，解码后直接取前k位就是信息，不需要额外计算。

非系统码呢，信息位被“打散”在码字里，没有明显的分界线。它的好处是——嗯，在某些情况下，非系统码的纠错性能会更好一些。

我做过一个对比实验：同样的(7,4)码，系统码和非系统码在AWGN信道下的误码率曲线几乎重合。但在突发错误信道下，非系统码有时能多纠正1-2个错误。这是因为非系统码的码字分布更均匀，错误模式不容易集中在某几位上。

特性	系统码	非系统码
信息位可见性	直接可见	不可见
编码复杂度	低	中等
解码复杂度	低（直接截取）	高（需要逆变换）
纠错性能	标准	有时更优
硬件实现	简单	较复杂

3.6 知识体系总览

下面这张图，是我自己总结的线性分组码知识框架。你可以看到，生成矩阵和校验矩阵是两条主线，它们通过正交关系连接在一起。系统码/非系统码是编码方式的选择，对偶码则是从另一个角度看问题。

这张图把整个知识体系串起来了。你从中心出发，左边是生成矩阵负责编码，右边是校验矩阵负责检错，底部是对偶码把两边连接起来。系统码和非系统码是编码时的两种选择，各有优劣。

3.7 实战中的小坑

最后分享几个我踩过的坑：

• 矩阵维度搞反：G是k×n，H是(n-k)×n。我刚开始时老把维度写反，结果算出来的码字长度不对。后来我记了个口诀：“生成矩阵行数等于信息位数，校验矩阵行数等于校验位数”。
• 模2加法忘掉：所有运算都是模2的，1+1=0。这个在C语言里就是异或运算。我见过有人直接用加法，结果全错了。
• 系统码的校验位位置：系统码的校验位不一定都在末尾。有些标准里校验位插在中间，比如LTE的咬尾卷积码。用的时候一定要查清楚标准文档。