1. 引言
1.1. 背景介绍
在编码理论中,常重码是一种有检错和纠错能力的重要编码,被广泛的应用于光导纤维中的码分多址系统、雷达和声纳的信号设计、高数据率数字通信等领域。由于其广泛的应用背景,常重码吸引了许多的学者参与研究。数学家们尝试用代数、图论以及组合等方法来研究满足一定条件的最大常重码的个数及其结构,并取得了很大的进展。但迄今为止,最大常重码的个数及其结构还未得到完整的结论。经研究发现编码理论和图论之间存在联系,可通过使用图论的方法研究常重码。
1.2. 相关工作
令
,则Z中的元素称为码字。码字x的重量由wt(x)表示,是其非零项的数量。码字的集合称为码集。w常重码是指其中所有的码字的重量都为w。令X是
上n维向量空间。X中的向量称为码字。两个代码词c和
之间的Hamming距离
被定义为它们具有不同的坐标位置的数量。
是长度为n、重量为w和最小Hamming距离为d的最大二进制代码的大小。在经典编码理论中,寻找
的值是一个非常困难的问题,迄今没有完全解决,在 [1] 中有描述。
1950年,Hamming [2] 提出了球包界,特别地,
的球包界为
。1962年,Johnson [3] 获得了
的上界,即
。1977 年,MacWilliams和Sloane [4] 提出了第一个关于
与
和
界限的系统表。直到2000年,Vardy等人 [5] 改进了
的已知上界,即
,他们还将表扩展到
和
。1989年,Cornelis等人 [6] 显著提高了
的界。在1990年,Brouwer等 [7] 通过大量针对某些参数的新显式代码构造,收集了
和
的
的著名下界。
总的来看,不少研究都致力利用半正定规划、Terwilliger代数等方法对
的上下界进行讨论,但大多都是对d取6,8,10,12时
的上下界有了一定的改进 [8] - [13],对于确切的值,迄今为止还没有统一的方法去研究。本文提出从图论的角度去研究,将
看作是n维超立方体d-1次幂图中所有重量为w的点导出子图
的最大独立集,即
。
1.3. 本文贡献
本文对最小Hamming距离为d、重量为w的最大n长二元常重码集的大小进行研究,利用
,得到了如下结果:对于
,d为偶数,如果
,
或
,则
;如果
,
,或
,
,则
;如果
,
,则
。
2. 预备知识
本节给出本文需要的基本概念和符号。
令G是一个顶点集为
且边集为
的图。设
,如果在图G中S的顶点是两两独立的,则S称为图G的独立集,G的独立数
是最大独立集的顶点数,如果图S的顶点在G中两两相邻,S称为图G的团,团数
等于最大团的顶点数,即
。
定义2.1:图
表示n维超立方体
的dth次幂图,其顶点集
。也就是说对于任意的
,有边
当且仅当
。
定义2.2:图
表示图
的重量为w的点的导出子图,其顶点集
。
定义2.3:
为简单无向图,若对任意的
,存在
满足
,
则图G为点传递图。
定义2.4 [14]:
是点传递图。
定义2.5:给出两个n长二元码字
,定义
。
定理2.6 [15]:设d,w,n是整数,
。然后,
(i)
,如果d是偶数,
(ii)
,
(iii)
,如果
,
(iv)
,如果
。
因为
是点可传递的,要研究它的独立数,我们只需要分析它的它包含顶点
,
,
的最大独立集。接下来,令
(
(或
),i是偶数)表示到
的距离为i的顶点集,在下图(见图1)我们给出了图
相对于顶点
的距离划分。在下文中,对于图中的任何
,我们使用
来表示其第i位的值。
Figure 1. The distance division of
图1.
的距离划分
3. 主要结论及其证明
引理3.1:对于
,d为偶数,设M是
的独立集,如果
,且
,则
。设
,
,
,
,
。则有
,
,
。
证明:令
,
,则
。不妨设
,则对任意
且
,有
。因此,
。
因为
,
,
,所以至少存在三个点
满足任意两点间距离都小于等于d。故
。因此,
。
因为
,所以点
。令
,
,
,
,
且
。则
,
,
,
,
且
。故
,且
。此时可得
。
点r满足
,
,故
,
,那么
,
,其中
,
。故
。设
,则
。
定理3.2:对于
,d为偶数,如果
,
或
,则
。
证明:因为
,我们只需证明在题目所给条件下
。由定理2.6(ii),我们有
。所以我们只需证明当
,
时,
。此时
,且
,满足引理3.1条件,所以可以得到
,不妨设
,
,
,
,
。此时由引理3.1可得
,
,
。
假设存在点
,设
。则
,
,且
,
。那么
,
,其中
,
。因为
,则b可以取到
,故
。这与M是
的独立集矛盾。因此,
,即
。
定理3.3:对于
,d为偶数,如果
,
,或
,
,则
。
证明:因为
,我们只需证明在题目所给条件下
。由定理2.6(ii),我们有
。所以我们只需证明当
,
时,
。此时
,且
,满足引理3.1 条件,所以可以得到
,不妨设
,
,
,
,
。此时由引理3.1可得
,
,
。
假设存在点
,则
,
,且
。那么
,其中
。因为
,则
中
,故此时
。这与M是
的独立集矛盾。因此,
,即
。
定理3.4:对于
,d为偶数,如果
,
,则
。
证明:因为
,我们只需证明在题目所给条件下
。令
,
,则
。不妨设
,则对任意
且
,有
。因此,
。
由已知条件可知,至少存在三个点
满足任意两点间距离都小于等于d。故
。因此,
。
不妨设
,因为
,所以点
。设
,我们有
,故
。令
,
,
,
,
。则
,
,
,
,
。故
,且
。
情形1. a = 1。
此时有
,
,且s和t一定满足在前w个坐标中有
个坐标为1。不妨设
点r满足
,
,故
,
。此时r在前w个坐标中至少有
个坐标为1,且只能在
的位置i上。因为
,所以在
的位置i上或者在
的位置i上都有
,不妨设在
的位置i上
。
假设存在点
,则
,
,
,且
,
。同理可得,m在前w个坐标中至少有
个坐标为1,且只能在
的位置i上。此时
,矛盾。因此,
。
情形2. a = 0。
点r满足
,
,故
,
。因为
,所以在
的位置i上有
,在
的位置i上和在
的位置i上有
。此时
或者
,故
或者0。
当
时,s和t在前w个位置分别有
个位置是1。此时r在前w个位置有
个位置是1。则
的位置只有一个。假设存在点
,则
,
,
,且
,
,
。因为
,在
的位置i上有
。此时
,矛盾。因此,
。
同理,当
时,也能得到
,矛盾。因此,
。
综上所述,
,即
。
由定理2.6,可以得到以下推论。
推论3.5:对于
,d 为奇数,如果
,
或
,则
。
推论3.6:对于
,d为奇数,如果
,
,或者
,
,则
。
4. 结论
本文将
看作是维超立方体d-1次幂图中所有重量为w的点导出子图
的最大独立集的大小,通过构造最大独立集的方法得到了:对于
,d为偶数,如果
,
或
,则
;如果
,
,或
,
,则
;如果
,
,则
。
NOTES
*通讯作者。