二元二值序列偶的定义与性质

1、二元二值序列偶的定义及性质2.2.1 二元二值序列偶的定义定义2.195:设a=(ao,aN-i)和b=(bo,bN-i)分别是周期为N长的序列，那么序 列a和b组成一个序列偶，记为(a,b)0如果ai=l, bi=l, i=0,N-1，那么称(a,b)为二元序列偶。定义2.295:二元序列偶(a,b)的周期自相关函数(亦称循环自相关函数)，用R(a,b)( ) 表示，定义为(2-1)N1R(a,b) ( )aib(i )mod Ni0式中当 0时，R(a,b)(0)称为二元序列偶(a,b)的同相周期自相关函数，也称为序列 偶(a,b)的主峰；当 0时，R,b)()称为异相周期自相关函数。定义

2、2.395:设(a,b)和(c,d )为两个N长二元序列偶，那么两序列偶间的周期互相关函数表示为N1 R(a,b)(c,d)( )R(a,d)( )aid(i )mod N(2-2)i0定义2.4:如果二兀序列偶(a,b)的周期自相关函数满足N1R(a,b) ( )aib(i )mod Ni0E,0F,0(2-3)式中E和F是两个不等的常数，分别表示序列偶(a,b)的同相和异相周期自相关函 数，那么称二元序列偶(a,b)为二元二值周期自相关序列偶，简称二元二值序列偶， 记为BSPT(lb)特别地，若F=0,二元序列偶(a,b)称为最佳序列偶，若F=-1, 元序列偶(a,b)称为伪随机序列偶。在

3、定义2.4中，当a b时，二元二值序列偶(a,b)退化为一般的二元二值序列,这说明二元二值序列偶是二元二值序列的扩展。 另外，根据失配滤波的定义 145，可将二元二值序列偶看作为一类失配序列。定义2.5149:周期为N长的二元序列a=(a,aN-i), ai=, i=0,N-1，其特征多项式定义为fa(x)，表示为N1fa(x)=aixi(2-4)i0定义2.6 :集合G是整数环Zm上的子集，G go,gi, gN 1 , N M，那么整数集G的特征多项式定义为fG (x)，表示为N 1fG(x)=x9i(2-5)i 02.2.2二元二值序列偶的变换性质由于序列偶由两个不同序列组成作为一个通信

4、地址码应用，所以讨论其变换性 质具有实际意义，尤其掌握其等价变换性质对于二元二值序列偶的搜索、构造及应 用都是十分有意义的。二元二值序列偶具有与周期序列相似的变换性质1,2,8，首先定义二元序列a的几种变换形式：(1)序列a的取补变换记为a 序列a中的每一个元素为序列a中相对应元素取 补，由于序列a中的元素为+1或-1,所以取补变换也相当于对序列a中的元素易号， 因此取补变换可以称为序列a的负元变换，记为 a，与序列a取补变换相同，即有 a a。序列a的向左循环移 m位变换记为Lm (a) Lm (a) (am,am 1,L ,aN 1,ao, q,L ,amJ， Lm为m位移位算子，0 m

5、N 1。因为序列a是以N为周期的，所 以序列a中的各元素向左循环移m位，等于向右循环移N m位，即有 Lm(a) Ln m(a)。序列a的逆序变换记为T(a) T(a) (a” 1,aN 2丄，a。)，T为逆序变换算子。(4)序列a的完全采样变换记为D q (a) D q为q的采样算子，q为与N互素的 正整数，D q (a) (aoq,a1q,L ,aN 1 q)，元素下标对周期N进行取模运算，即有i q i q mod N。由此定义可知，由于q与N互为素数，所以序列D q (a)实际是序 列a中元素的重新排列。将以上序列的基本变换形式应用于序列偶得到了二元二值序列偶的如下变换性 质：性质2.

6、1：互易变换。二元二值序列偶(a,b)经互易变换得到的序列偶(b,a)也是 二元二值序列偶。证明：由于二元序列偶(a,b)和(b,a)的周期自相关函数满足R(b,a)( ) = Ra,b)(N)(2-6)显然性质2.1得证。证毕。性质2.2：取补变换。二元二值序列偶(a,b)取补变换得到的a,b、2,b以及a,b都为二元二值序列偶证明：由于取补变换相当于负元变换，即a a，b b，故根据定义2.4得Ra,b( ) Ra,b( )(2-7)Ra,b() Ra,b( )(2-8)Ra,b ( ) Ra,b( )(2-9)性质2.2显然成立。证毕。性质2.3 :循环移位变换。二元二值序列偶(a,b)

7、的左移n位变换为 (L(n)(a), L(n)(b)，亦是二元二值序列偶。证明：由序列偶的周期自相关函数的定义2.1有N 1R n n ( )ai nbi nLn (a),Ln (b)ni 0(2-10)令 k (i n)mod N，则由式(2-10)得N 1R Ln (a),Ln (b) ()akbkk 0由定义2.4可知，(L(n)(a), L(n)(b)为二元二值序列偶。证毕。性质2.4:逆序变换。二元二值序列偶(a,b)经过逆序变换得到的 仃(a),T(b)仍 为二元二值序列偶证明：由定义2.1有N 1RT(a),T(b) ( )T(a)iT(b)ii 0N 1aN 1 i bN 1

8、ii 0证毕由定义2.4可知，仃(a),T(b)为二元二值序列偶性质2.5:完全采样变换。二元二值序列偶(a,b)经过完全采样变换得到的(D(q)(a),D(q)(b) 为二元二值序列偶可得D aaiO证明：由定义 2.1 有N1qqRDq a,Dq b ( )Dq(a)iDq(b)ii0N1ai qb(i )qi0(2-11)由于q与N互素，则q i (q i)mod N可以取从0到N-1的N个取值，因此式(2-11)由定义 2.4可知， (D(q)(a),D(q)(b) 为二元二值序列偶。证毕。2.2.3 二元二值序列偶的特征多项式性质定义 2.5给出了序列的特征多项式定义， 那么可以得到

9、二元二值序列偶中两个组 成序列的特征多项式，由此下面给出二元二值序列偶的特征多项式性质，它是判断 二元二值序列偶的充分必要条件，同时也是判断二元二值序列偶通信唯一性的重要 工具。定理2.1：设fa(x)和fb(x)分别是二元序列a和b的特征多项式，其中 a (a0,L ,aN 1) ， b (b0,L ,bN 1)，且 ai 1， bi 1， i 0,L ,N 1。若二元序列 偶(a,b)为二元二值序列偶，当且仅当1fa(x)fb(x 1) E F F T(x)N 1 i式中T(x) i 0 x，E和F分别表示(a,b)的同相和异相周期自相关函数。证明：由于N 1 N 1fa(x) fb(x

10、1)aixi bj x ji 0 j 0N 1 N 1aibjxi ji0j0N 1 N 1aibi r x rahi 0aibi rXr 1 i 0根据定义2.4,若(a,b)为二元二值序列偶，当且仅当N 1N 1 N 1N 1aibii 0+aibi r x r Er 1 i 0F:i 1ixN 1E F(xii 01)E F(T(x)1)即 fa(x)fb(x h = E F FT(x)，式中 T(x)N 1i 0 xi。证毕将定理2.1的二元二值序列偶的特征多项式性质进一步扩展得到下面结论。 定理2.2 :序列a (a,L咼1)N 1 1i 0 -i 0,L ,N 1，设 ga(x)a

11、iix2和 b (b0,L ,bN 1)，且 ai1， bin 11 b j和 gb(x) j 0xj，若二元序列偶(a,b)为二元二值序列偶，当且仅当1ga(x)gb(x )F 2na 2nb N4T(x)式中na和nb分别表示序列a和b中的个数。证明：由于1 N 11 aga(x)gb(x) i0N 1 N 1 iaii 0 j 021 N 1 N 1- (1 4 u 0 i 0 N 1 N 1 才 x4 u 0 i 0N 1 1bjjxj 021 bj i jx2a) (1 bi u)xN 1 N 1uua)xu 0 i 0N 1NuX寸NT(x)1 N 1a bi0 i 0N 1 Nu

12、Xu(N 2n a)T(x)(N 2n b)T(x)1aibiu 0 i 0u 1 uX 根据定义2.4,若(a,b)为二元二值序列偶，当且仅当E F F T(x)因此，若(a,b)为二元二值序列偶，当且仅当i E Fga(X)gb(X)hF 2na 2nb N4T(x)N 1式中T(x) j 0 x且na和nb分别表示序列a和b中“ 1 ”的个数，阳，nb N。证毕。 事实上，如果用Ga go，gl， gna 1和Gb go, gi, gnb 1分别表示序列a和b 中“ 1 ”的位置，那么Ga和Gb为整数环N上子集，而依据定义2.6,定理2.2中的ga(x) 和gb(x)则分别是对Ga和Gb

13、的特征多项式表示，因此定理2.2是在定理2.1的二元二值序列偶的特征多项式基础上描述了二元二值序列偶中“ 1 ”位置整数集的特征多项式性质。定理2.1和定理2.2给出的特征多项式性质为研究二元二值序列偶提供了有效的 数学工具，为二元二值序列偶的构造提出了一种方便的数学方法。2.2.4二元二值序列偶的二值谱特性任意周期长为N的序列a (a0,a1丄a” J的离散付立叶变换会生成周期为N的离散谱Fa(k)：N 1j乙Fa(k)anWnk,0k N 1,W e N(2-12)n 0反之，利用离散付立叶逆变换可以从频谱序列获得周期序列：N 1j2_a(n) Fa(k)W nk,0 k N 1,W e

14、N(2-13)k 0定义2.2用式(2-1)给出了序列偶(a,b)的周期自相关函数R(a,b)()表示，那么R(a,b)()的付立叶变换表示为：FR(a,b) (k) Fa(k)F*b(k)Fa(k)Fb( k)(2-14)定理2.3： 若(a,b)是周期为N长二元二值序列偶，E和F分别表示同相和异相 周期自相关函数，那么二元二值序列偶(a,b)的周期自相关函数R(a,b)()的付立叶变换 谱亦满足二值特性，即*E(N1)F k0FJk)Fa(k)Fb(k) EJ k0(2-15).2J_N证明：由式(2-12)得序列偶(a,b)中组成序列a和b的付立叶变换N 1N 1Fa(k)anWnk ,

15、 Fb(k)bnWnk,0k N 1,Wn 0n 0那么由式(2-14)有FR(a,b)(k)Fa (k)F*b(k)Fa(k)Fb(k)N 1N 1N 1Wk)mod NWanbna.nb(nn 01 n 0EF(Wk W2kKW(N1)k)E(N1)F,k0证毕EF,k0定理2.3表明若二元序列偶(a,b)的周期自相关函数具有二值性，那么其离散付立 叶变换后的谱序列F% (FR(a,b)(0), FR(a,b)(1),L , FR(a,b)(N 1)亦是一个二值实序列。特 别地，若二元二值序列偶的异相周期自相关F=0时即为最佳二元序列偶时，其周期自相关函数的谱序列具有相同幅度由定理2.3可

16、以得出下面推论：推论2.1： 二元二值序列偶(a,b)中序列a和b的付立叶变换谱Fa (k)和Fb (k)满足Fb (k)(2-16)E (N 1)FFa (k)E FFUk)，式中Fb (k)表示Fb (k)的共轭函数。证明：由式(2-15)可直接得出。从以上讨论中可知，如果二元序列偶(a,b)应用于通信系统中，其二值特性已知， 发送方以序列a作为扩频地址码，那么接收方可根据式(2-16)获得扩频码序列b的付立 叶变换谱，再经(2-13)的逆变换计算得到。下面举例说明。例2.1：若(a,b)为二元二值序列偶，同相自相关函数E=5，异相自相关函数F=1, 周期长N=11，由定理2.3可得假设序

17、列a=(-+-+-+-+ )和a =(-+-+ )都满足上述条件,其中“-”和“ +” 分别表示“ -T和“ +1”，那么借助计算机可以计算出序列a和a付立叶变换谱的幅 值，分别为 |Fa(k)|2=9.00, 7.82, 4.74, 1.19, 0.56, 41.70, 41.70, 0.56, 1.19, 4.74, 7.82和2|Fa (k)| =9.00, 4.32, 18.73, 6.7611, 15.32, 10.86, 10.86, 15.32, 6.76, 18.73, 4.32那么 由推论2.1可计算出序列b和b的共轭谱Fb(k)和F,k)，经式(2-13)对其进行付立叶逆

18、变换得到 b=(-+-+-+)和 b =(-0.1 -0.1 0.4 0.4 -0.2 0.7 0.3 0.9 0.6 1 0.9)，显然 (a, b)是二兀二值序列偶，而(a , b )不是。由例2.1看出，定理2.3和推论2.1只能为获得或判断二元二值序列偶提供必要 条件，它可能带来不确定的结果，从而加大了计算量。为了更准确更简便的研究二 元二值序列偶，下面引入差集偶的概念127，这是近来引入的组合数学的新概念，它与二兀二值序列偶间存在着密切的关系。2.3差集偶与二元二值序列偶目前具有较好的相关性的序列偶是通过盲搜索和统计搜索方法例如遗传算法等获得的，还没有找到直接构造的数学方法，为了进一

19、步研究序列偶，引入了差集 偶，它是组合数学中一个新的概念，事实证明，差集偶与序列偶间有着密切的关系。2.3.1差集偶的定义和性质定义2.71,8:设G是整数环 v上的子集，集合D di |1 i k G，D dj|1 j k G，参数e D D。若对于任意0mod v，有入对(di,dj)满足di dj mod v那么(D,D )称为差集偶，记为(v,k, k ,e,莎-DSP。例 2.2:设 D 0,1，D =0,1,3,5,2n-1 , n 为大于 1 的整数，那么(D,D)是 (2n +1,2, n+1,2,1)-DSP。特别地，当D D时，差集偶(D,D )即为普通的差集定义，因此可认

20、为差集是组成差集偶的两个组成集合相等时的特例，同时也可将差集偶看作差集的推广。2.3.2差集偶与二元二值序列偶的等价关系定理2.6127:集合D和D为整数环Wn上的两个子集，序列a(a,L ,aN 1)和b (b,L bi)分别等价对应于D和D，即ai1,1,0,1,bj1, j1, jDD0,1,(D,D )为(N,k,k ,e-DSP的充分必要条件是序列偶(a,b)为二元二值序列偶，且其周 期自相关函数满足RN2(kk)4e,0R(a,b)() N2(kk)4 ,0定理2.6表明了二元二值序列偶与差集偶间存在的等价关系，也就是说二元二 值序列偶的构造问题可以转化为在整数环三N上对差集偶的构

21、造。目前还没有找到构造差集偶的直接方法，不过特征多项式法是实现差集偶构造的一个有效方法，定 理2.5给出了关于差集偶构造的充分必要条件，即差集偶构造的一种手段。由二元 二值序列偶与差集偶间存在的这种等价关系可以确定定理2.5与定理2.2的结论是统一的，这样更进一步说明差集偶的构造等同于序列偶构造。下面由定理2.6引申出相关结论。定理2.7:若(a,b)是周期为N的二元二值序列偶，那么其异相周期自相关函数 值F满足0mod 2, N 0mod 21mod 2,N 1mod 2也就是说序列偶的周期长N为偶数，那么F为偶数，反之，N为奇数，则F为奇数证明：由定理2.6直接得出F N 2(k k) 4

22、0mod 2, N 0mod 21mod 2, N 1mod 2证毕定理2.8：周期长为N的二元二值序列偶(a,b)，其同相和异相周期自相关函数分 别为E和F，那么有(1) N | F | 2m ；E- F=4n式中m与n都为为大于零的整数。证明：由定理2.6&a,b)()N 2(k k) 4e,N 2(k k) 4E F N 2(k k ) 4e N 2(k k )4 4(e),因此，E F 0mod4。0 mod 2,N0 mod 21mod 2,N1mod 2，证毕由定理2.6F| N 2(p q) 4因此，N |F| 0mod2。2.5二元二值序列偶的唯一性二元二值序列偶引入工程实践应

23、用的一个至关重要的前提是保证其通信的唯一性150，也就是说发送方的地址码可以被接收方唯一接收，即只有唯一的接收方地址码满足相关性要求。下面给出二元二值序列偶的唯一性证明。定理2.16:若二元序列偶（a,b）和（a,b）为二值自相关序列偶，其同相和异相周 期自相关函数值分别为E和F，那么b bo证明：设 fa（X）、fb（x）和fb（x）分别为序列a、b和 b的特征多项式，如果(a,b)和(a,b)都为二1元二值序列偶，那么根据定理2.1有1fa(x) fb(x )E FF T(x)(2-17)fa(x) fb (x 1)E FF T(x)(2-18)式(2-17)减式(2-18)得1 1fa(

24、x)(fb(x ) fb(x )0(2-19)式(2-19)两边同乘fb(x )得fa(x)fb(x 1)( fb(x 1) fb(x 1) 0(2-20)由于 fa(x)fb(x = E F F T(x)0,那么fb(x 1) fb(x 1)0(2-21)fb(x1)fb(x1)(2-22)由定义2.5确定序列的特征多项式的唯一性，因此b b证毕。定理2.17:若存在最佳二值序列偶(a,b)和(a,b)，即二者的异相周期自相关函数相同为F = 0,同相自相关不同分别为E和E，且E E，则E E，且b b。证明：设fa(x)、fb(x)和fb(x)分别为序列a、b和b的特征多项式，二元二值 序

25、列偶(a,b)和(a,b)的同相周期自相关函数分别为 E和E，异相周期自相关函数为 F。序列a、b、b的特征多项式分别为Fa(x)、H(x)、Fb (x)，那么由定理2.11fa(x) fb(x 1) E F F T(x)(2-23)fa(x) fb(x 1)E F F T(x)(2-24)式 (2-23)减式 (2-24)得1fa(x)( fb(x 11)fb (x 1)EE(2-25)式(2-25)两边同乘 fb(x 1)，得11fa(x)fb(x 1)(fb(x 1)1fb (x 1)(EE ) fb (x1)(2-26)式(2-25)两边同乘 fb (x 1)，得fa(x)fb (x

26、1)(fb(x 1)fb (x 1)(EE ) fb (x1)(2-27)由式(2-26)和式(2-27)得(E F F T(x)(E E)fb(x1) (E FFT(x)(EE) fb (x 1)(2-28)因为E E，F = 0,所以有E fb (x1) E fb (x1)且 fb(x 1)和 fb(x 1)中各项系数为 1，因此 |E | |E|，显然EE 那么 fb(x 1)fb(x 1)，则b b证毕。5.3 伪随机序列偶的构造5.3.1 伪随机序列偶的存在条件定理5.1 :伪随机序列偶存在的充要条件。设fa(x)和fb(x)分别是二元序列a和b的特征多项式，其中 a(a0,L,aN

27、1) , b(b0,L,bN1),且 ai=l,bi=l,i 0丄，N 1。若二元序列偶(a,b)是伪随机二元序列偶，当且仅当fa(x)fb(x 1)二 E 1 T(X)N 1式中T(x) i 0 xi。E表示(a,b)的同相周期自相关函数。证明：由于伪随机序列偶是一类二元二值序列偶，因此根据定理2.1的二元二值序列偶的特征多项式性质有fa(x) fb(x 1) = E F F T(x)(5-1)令F 1代入式(5-1)即得fa(x) fb(x 1) = E 1 T(x)(5-2)式中T(x)iN01xi。定理5.2得证。证毕。目前伪随机序列偶的构造还没有找到有效的数学方法，但是定理5.1提示

28、出对伪随机二元序列偶进行递归构造依据的充要条件，从而实现长周期伪随机序列偶的 构造，而这是采用穷搜索方法无法实现的。根据伪随机序列偶的定义可知，伪随机序列偶是周期异相自相关函数为-1的二元二值序列偶，由定理2.6知二元二值序列偶与组合数学概念差集偶之间存在着等 价对应关系，因此伪随机序列偶的构造也可以转化为特殊条件(F=-1)下差集偶的构造问题，定理5.2给出的充要条件等价于定理2.6在特定条件下即 N 2( k k) 41的结果。下面给出差集偶的特征序列偶满足伪随机序列偶定义的差集偶的存在条件，也即伪随机序列偶存在的必要条件。定理5.2:伪随机二元序列偶存在的必要条件。D和D是整数环v上的子

29、集，D和D分别含有k和k个元素，(D,D )构成差集偶(v,k,k ,e, )-DSP,(a,b)为(D,D ) 等价对应的二元序列偶，即(D, D )的特征序列偶，d为序列a和序列b的汉明距离， 则序列偶(a,b)具有E ，F 1的二值自相关特性的必要条件为参数(v,k,k,e,) 满足(4( e ) 2d 1 ,e d/2. (2 e d/2)2 (2 e) (2 e d/2)2 (2 e)+ e d/2 ,e,)。证明：由于(D,D )为(v,k,k,e, )-DSP，故满足54kk (v 1) e(5-3)k k d 2e(5-4)由定理2.6得:(5-5)E N 2(kk) 4e以及

30、由定理2.8得：(5-6)(5-7)(5-8)E F 4(e)此时可令F1 , v N，并由式(5-3)和(5-4)导出v 4(e)(2d1)再由式(5-3)、式(5-4)和式(5-6)得:k2 (2e d)k 4 2 4e 2d 2e整理得：k (e d)2 2 (e 勺2 (2e)2 2k,k e 夕、(2 e ：)2 (2 e)2 2因此，根据式(5-7)和式(5-8)可以得出(D,D)为(v,k,k,e, )-DSP的必要条件。证毕。 特别地，考虑两种情况：其一，当 e 2时，(D,D )为(v,k,k,e, )-DSP的必 要条件为参数(v,k,k,e,)满足(4 2d 1,2 ,2

31、d,2 , )；其，当 e1时,参数(v,k,k,e,)满足(2d+3,1d/2(22 d)24(1)/2,1 d/2 +.(22飞2一4厂1)/2, +1,)。下面依据定理5.3对于上述两种情况下参数分别为1及d 34，即对应于(3+2d,2,2+d,2,1)型和(65,21,31,1,)型差集偶给出构造证明，此时差集偶所对应的伪随机序列偶的同相及异相周期自相关函数值分别为E 3，F 1。以下各类差集偶所等价对应的伪随机序列偶之间相互不具有移位、取补、完全采样 的等价变换性质。5.3.2 (3+2d, 2, 2+d, 2, 1)型 差集偶对于(3 2d,2,2 d,2,1)型差集偶给出d n

32、 1,2n 1,2n 2,2n几种情况的构造。 当d n 1时，可得到定理5.3和定理5.4。定理5.3:集合D和D是整数环2n 1上的两个子集，D 0,n，D =0,1,2,n，n 为大于 1 的整数，(D,D )是(2n 1,2, n 1,2,1)-DSP。证明：设fD(x)和fD(x)分别是集合D和D的特征多项式，那么由定义2.6有n1fD(X)f(X )(1 Xn) Xi 0n1 2iXn2 2iXn1 x X2in 12i 1、(1 X )i 12n1 Xi mod(x2n 1)i 01 T(x)(mod x2n 1)，式中 T(x)x。根据定理 5.1, (D,D)是(2n 1,2

33、, n 1,2,1)-DSP。证毕定理5.4:集合D和D是整数环二2n 1上的两个子集，D 0,1,D =0,1,3,5,2n 1，n 为大于 1 的整数，(D,D ) 是 (2n 1,2,n 1,2,1)-DSP证明：设fD(x)和fD (x)分别是集合D和D的特征多项式，那么n 2i 1fD(X)1 X， fD (x)1 Xi 1n11 2ifD(x)fD(x )(1 x)(1 X )11 2iXn2 2iXnn 12i2i 1、1 X X (1 X )i 1i 12n1 ximod(x2n 1)i 0即 fD(x)fD(x)1 T(x)(mod x2n 1)，式中 T(x)2ni 0xi

34、。根据定理5.1知(D,D )是(2n 1,2, n 1,2,1)-DSP。证毕。当d 2n 2时，可以得到定理5.5。定理5.5:集合D和D是整数环4n 1上的两个子集，D 0,n，D =0, n, n+1,n+2,n (n 1) ,3 n,3 n 1 ,，3n (n 2) ，n 为大于 1 的整数，(D,D)是(4n-1,2,2n,2,1)-DSP0证明：设fD(x)和fD (x)分别是集合D和D的特征多项式，那么n 1fD(X)1 Xn， fD (x)1 Xn in 23n iXfD(x)fD(x) (1 xn)(1xin x3ni)i 0i 0nn 2n 1n 213n1 in 1in

35、4n 1 i2n 1XXXXXi 0i 0i 0i 03n 1n 14n 12n 11i Xi XnXiXiXi 2ni 0i 3ni n4n 21xi mod(x4n 1)i 0即 fD(x) fD (x 1) 1 T(x)(mod x4n 1),式中 T(x)。根据定理 5.1 得证(D, D )是(4n 1,2,2 n,2,1)-DSP。证毕。当d 2n 1时，可以得到定理5.6。定理5.6:集合D和D是整数环4n+1上的两个子集，D 0,2 , D =0,1,2,5,6,，4n 7,4 n 6,4 n 3,4n 2，n 为大于 0 的整数，(D, D )是(4n1,2,2n 1,2,1)-DSPo证明：设fD(X)和fD (x)分别是集合D和D的特征多项式，那么fD(X)1X2， fD (x 1)11fD(X)f(X )(1)(1n3 4iXi 1n4i 3