编码理论（二）

给定传输中的数字总和以某个数为模。最简单形式的校验和是在7位数字（例如，ASCII字符）上附加的奇偶校验位，使得1的总数始终是偶数（“偶校验”）或奇数（“奇校验”）。一个明显更复杂的校验和是循环冗余校验（或CRC），它基于整数上的多项式代数（mod 2）。它在检测传输错误方面基本上更可靠，并且是调制解调器中使用的一种常见的错误检查协议。

循环冗余校验

复杂的校验和（通常缩写为CRC），它基于整数上的多项式代数（mod 2）。它在检测传输错误方面基本上更可靠，并且是调制解调器中使用的一种常见的错误检查协议。CRC是散列函数的一种形式。

要使用CRC比较大数据块，首先要为每个块预先计算CRC。然后可以通过查看它们的CRC是否相等来快速比较两个块，在大多数情况下节省了大量的计算时间。该方法不是绝对可靠的，因为对于比特校验和，随机块将对不等价数据块具有相同的校验和。但是，如果很大，则可以使两个不等效块具有相同CRC的概率非常小。

纠错码

纠错码是用于表示数字序列的算法，使得可以基于剩余数量来检测和校正（在某些限制内）引入的任何错误。纠错码和相关数学的研究称为编码理论。

错误检测比错误纠正简单得多，并且一个或多个“检查”数字通常嵌入在信用卡号中以便检测错误。像Mariner这样的早期太空探测器使用了一种称为分组码的纠错码，而最近的太空探测器使用了卷积码。纠错码也用于CD播放器，高速调制解调器和蜂窝电话。调制解调器在计算校验和时使用错误检测，校验和是给定传输中的数字的总和，模数为某个数字。 用于识别书籍的ISBN还包含校验位。

对13 位数字的强大检查包括以下内容。将数字写为一串数字 。拿走并加倍。现在添加的数量数字在奇数 它们的位置到这个号码。现在添加。然后，校验码是使最后一位数字为0 所需的数字。该方案检测所有单个数字错误和 除0和9之外的相邻数字的所有 转置。

设表示具有任意两个集合在至少位置上不同的属性的（0,1） - 向量的最大数量。相应的矢量可以纠正错误。 是精确1 秒的s 数（Sloane和Plouffe 1995）。因为-vectors不可能在不同的地方有所不同，因为在所有地方都有不同的-vectors 分成不同的两个集合，

（1）

的值可以通过标记的发现- （0,1）-载体，发现所有无序对的-载体，其中彼此在至少不同 的地方，形成了一个曲线图 ，从这些无序对，然后找到团数的这个图形。不幸的是，找到给定图形的团的大小 是NP完全问题。

	OEIS
1	A000079	2,4,8,16,32,64,128 ......
2		1,2,4,8 ......
3		1,1,2,2 ......
4	A005864	1,1,1,2,4,8,16,20,40 ......
5		1,1,1,1,2 ......
6	A005865	1,1,1,1,1,2,2,2,4,6,12 ......
7		1,1,1,1,1,1,2 ......
8	A005866	1,1,1,1,1,1,1,2,2,2,2,4 ......

发电机矩阵

给定一个线性码 ，生成矩阵 的是一个矩阵，它的行产生的所有元件，即，如果，那么每一个码字 的可表示为

以独特的方式，在哪里。

生成矩阵的一个例子是Golay码，它由11行的所有可能的二进制和组成。

Golay代码

Golay代码是一个完美的 线性 纠错码。Golay代码有两个本质上不同的版本：二进制版本和三元版本。

的二进制版本是一个二进制线性代码组成的 码字长度23和最小距离7.第三元版本是一个三元线性码，由 码字长度11的s的最小距离5。

甲奇偶校验矩阵的二进制Golay码由给定的矩阵，其中是 单位矩阵 并且是矩阵

通过添加奇偶校验位到每个码字中，该扩展的格雷码，这是一种几乎完美的二进制线性码，获得。该构群的是马修组 。

第二个发生器是邻接矩阵的二十面体，具有所附，其中是单位矩阵 并且是一个单位矩阵。

第三个生成器以24位0字（000 ... 000）开始列表，并重复附加第一个24位字，该字与列表中的所有字有八个或更多差异。Conway和Sloane列出了许多其他方法。

令人惊讶的是，Golay的原始论文只有半页长，但已被证明与群论，图论，数论，组合学， 博弈论，多维几何，甚至粒子物理学有着深刻的联系。

格雷码

格雷码是数字的编码，使得相邻数字具有相差1的单个数字。术语格雷码通常用于表示“反射”代码，或者更具体地，二进制反射格雷码。

要将二进制数 转换为其对应的二进制反射格雷码，请从右侧开始使用数字 （th或最后一位）。如果是1，则替换 为; 否则，保持不变。然后继续。继续到第一个数字 ，保持相同，因为假定为0.结果数字是反射的二进制格雷码。

要将二进制反射格雷码 转换为二进制数，请从第二位开始，然后计算

如果是1，则替换为; 否则，保持不变。下次计算

等等。得到的数字 是对应于初始二进制反射格雷码的二进制数。

代码被反映，因为它可以按以下方式生成。取灰色代码0,1。向前写入，然后向后写入：0,1,1,0。然后将0添加到前半部分，将1s添加到后半部分：00,01,11,10。继续，写入00，01,11,10,10,11,01,00获得：000,001,011,010,110,111,101,100 ......（OEIS A014550）。因此，每次迭代使代码数量翻倍。

上图显示了前255（上图）和前511（下图）格雷码的二进制表示。对应于前几个非负整数的格雷码在下表中给出。

二进制反射格雷码密切相关的解决方案河内的塔和九连环，以及到哈密顿周期的超立方体图表 S（包括方向反转; 1990 Skiena，第149页）。

Hadamard矩阵

Hadamard矩阵是由西尔维斯特（Sylvester，1867）以剖析路面的名义发明的一种正方形 （-1,1）矩阵，在Hadamard（1893）认为它们之前26年。在Hadamard矩阵中，并排放置任意两列或多行，使相邻单元格的一半与相同的符号相同 ，另一半符号。当被视为路面时，具有1s的单元格被涂成黑色而具有s的单元格被涂成白色。因此，Hadamard矩阵必须具有白色方块和黑色方块（1s）。

Hadamard有序矩阵是 Hadamard最大行列式问题的解，即具有元素 的任何复矩阵（Brenner和Cummings 1972）的最大可能行列式（绝对值），即。Hadamard矩阵的等价定义由下式给出  

（1）

其中是 单位矩阵。

的顺序的Hadamard矩阵对应于阿达玛设计（，，），和Hadamard矩阵给出的曲线被称为顶点哈达玛图表

一组完整的 沃尔什函数有序给出了Hadamard矩阵（Thompson 等， 1986，第204页; Wolfram，2002，第1073页  ）。Hadamard矩阵可用于产生纠错码，特别是Reed-Muller纠错码。

如果并且已知，则 可以通过替换by 和all s中的所有1来获得。因为，具有20,28,36,44,52,60,68,76,84,92 和100的Hadamard矩阵不能由低阶Hadamard矩阵构建。

			（2）
			（3）
			（4）
			（5）

可以类似地从中生成。

Hadamard（1893）指出，Hadamard矩阵存在的必要条件是2，或4的正数倍（Brenner和Cummings 1972）。佩利定理保证总是存在哈马德矩阵时，由4整除的形式 对一些正整数，非负整数，和一个奇素数。在这种情况下，矩阵可以使用Paley结构构建，如上所述（Wolfram 2002，第1073页  ）。Paley类的数量为8，...，分别为2,3,2,3,2,3,2,4,1 ......（OEIS A074070））。的值对于其中没有佩利类（和因此不能使用佩利结构来构造）是92，116，156，172，184，188，232，236，260，268，...（OEIS A046116）。

据推测，存在于所有 可 被4 整除的人.Sawade（1985）构建。截至1993年，Hadamard矩阵因所有可被4整除而闻名（Brouwer 等， 1989，第20页; van Lint和Wilson，1993）。随后构建了A （Kharaghani和Tayfeh-Rezaie 2004），如上所示，将最小的未知顺序保留为668.然而，一般猜想的证明 仍然是编码理论中的一个重要问题。订单的不同的Hadamard矩阵的数量为，2，...是1，1，1，5,3，60，487，...（OEIS A007299 ;钨2002年，第  1073）。Djoković（2009）修正了Colbourn和Dinitz（2007）中的列表，发现了4个以前未知的可被4整除，可以构造Hadamard矩阵：764,23068,28324,32996。