Hamming Code - 从集合的角度理解海明码（轻松理解海明码的设计思想）

Hamming Code - 从集合的角度理解海明码（轻松理解海明码的设计思想）

一、 我们先来回顾一下海明码的计算过程：

$①、确定校验码位数r$
$$2^r\ge k+r+1$$
$其中，r为冗余位长度，k为信息位长度。$

$②、确定校验码和数据的位置$

$校验码P_1,P_i,...,P_r放在2的幂次的位置，举例：$

$③、求出校验码的值$

首先，写出数据位的位数的二进制表示。如 $P_1$ 是数据的第一位，1 的位表示为 $0001$。

然后，根据每一位校验位 “1” 所在的位置（因为校验位都放在 2 的幂次的位置，所以校验位位置的二进制表示中都只有 1 个 “1”），确定它们校验的数据是哪几位。如 $P_2$ 在第 2 位，其二进制表示（0010）中，“1” 处在倒数第二位，所以，所有二进制表示中，倒数第二位为 “1” 的位置的数据都是它校验的数据，即：第 3（00 1 1）位 $D_1$、第 6（01 1 0）位 $D_3$、第 7（01 1 1）位$D_4$、第 10（10 1 0）位$D_6$。

最后，计算方程：
$$\begin{gathered} P_2\oplus D_1\oplus D_3\oplus D_4\oplus D_6=0 \\ ⟺P_2\oplus 1\oplus 1\oplus 1\oplus 1=0 \end{gathered}$$
得到 $P_2=0$

同理可得 $P_1=0、P_3=0、P_4=1$，海明码为 00 1 0 011 1 01。

$④、检错并纠错$

假设接收到的数据为 00 1 0 111 1 01

用所有校验码进行检测：
$$\begin{gathered} P_4\oplus D_5\oplus D_6=1\oplus 0\oplus 1=0 \\ {P}_3\oplus D_2\oplus D_3\oplus D_4=0\oplus 1\oplus 1\oplus 1=1 \\ {P}_2\oplus D_1\oplus D_3\oplus D_4\oplus D_6=0\oplus 1\oplus 1\oplus 1\oplus 1=0 \\ {P}_1\oplus D_1\oplus D_2\oplus D_4\oplus D_5=0\oplus 1\oplus 1\oplus 1\oplus 0=1 \end{gathered}$$
得到的结果序列为：$(0101{)}_2=5$，表明出错位是第 5 位 $D_2$。

---

二、 下面，我们来思考为什么海明码最后可以恰巧表示出错的位置

考虑下面三个问题：

• 如何理解公式 $2^r\ge k+r+1$ ？
  我们可以把 $r$ 位校验码看成是一种状态压缩的表示形式。它表示了 $2^r$ 不同的状态，包括：$k+r$ 位的错误位置信息、全 0 时表示无差错的状态（最后那个 + 1）。

• 为什么要在 2 的幂次的位置放置校验位？
  因为 $2^0、2^1、...、2^{r-1}$，这些数进行任意的组合，可以表达出 $r$ 位二进制数的任意值，也就能够校验一个长度不超过 $2^r$ 的二进制数的任意比特。因此，$r$ 位校验位就能够校验海明码的每一比特的值。

• 为什么要令校验码和其对应校验的数据位的校验和为零？（第3 步）
  我们反过来思考：最后校验时，结果为 1，有什么含义？
  因为我们计算校验码时，令异或和结果为 0；最后校验时，结果为 1，说明出现了错误（因为发送之前我们的异或和为 0 呀）。而错误的位置，就是校验码 $P_i(00...1\underset{i-1}{\underbrace{...00}})$ 对应的那几位数据位（位置的二进制表示中，倒数第 $i$ 位为 “1” 的数据位）其中的一个。然后几个校验位的组合，就确定了错误的位置。
  拿上面的例子举例：

  • $P_4\oplus D_5\oplus D_6=1\oplus 0\oplus 1=0$，说明 $P_4$ 对应的数据位 E 4 = { D 5 、 D 6 } E_4=\{D_5、D_6\} E4​={D5​、D6​} 没有出错

  • $P_3\oplus D_2\oplus D_3\oplus D_4=0\oplus 1\oplus 1\oplus 1=1$，说明错误位置在 $P_3$ 对应的数据位 E 3 = { D 2 , D 3 , D 4 } E_3=\{D_2,D_3,D_4\} E3​={D2​,D3​,D4​} 中。

  • $P_2\oplus D_1\oplus D_3\oplus D_4\oplus D_6=0\oplus 1\oplus 1\oplus 1\oplus 1=0$，说明 E 2 = { D 1 、 D 3 、 D 4 、 D 6 } E_2=\{D_1、D_3、D_4、D_6\} E2​={D1​、D3​、D4​、D6​} 中的位置没有出错。

  • $P_1\oplus D_1\oplus D_2\oplus D_4\oplus D_5=0\oplus 1\oplus 1\oplus 1\oplus 0=1$，说明错误位置在 E 1 = { D 1 , D 2 , D 4 , D 5 } E_1=\{D_1,D_2,D_4,D_5\} E1​={D1​,D2​,D4​,D5​} 中。

  然后我们计算：
  ( E 3 ⋂ E 1 ) − ( E 4 ⋃ E 2 ) = { D 2 , D 4 } − { D 1 , D 3 , D 4 , D 5 , D 6 } = { D 2 } (E_3\bigcap E_1)-(E_4\bigcup E_2)=\{D_2,D_4\}-\{D_1,D_3,D_4,D_5,D_6\}=\{D_2\} (E3​⋂E1​)−(E4​⋃E2​)={D2​,D4​}−{D1​,D3​,D4​,D5​,D6​}={D2​}
  得到，出错的数据位是 $D_2$。

到这里，海明码的设计思路就很清晰了。