disjunct矩阵和separable矩阵的构作及性子.pdf

摘要 矿’一disjunct矩阵问的一些新关系．分别给出了列数为n的d-disjunct矩阵和正 separable矩阵行数的下界．然后构作了两类有纠错功能的disjunet矩阵．第一 类构作是在给定矩阵A、B的基础上构作矩阵M，M的行用A、B的行标的 直积标定，M的列用A、B的列标的直积标定，M中元素由A、B中元素 作合取而得；第二类构作是取M的特殊子阵构作对角矩阵A，，+，并研究M+的 矩阵^Im肌，的列数的上界．最后在有限几何中，构作了新矩阵M(d，k，n，U， r)和M(L，P)，证明了它们是disjtmct矩阵，研究了它们的检错和纠错能力． 主要结果是： 定理2．1．1．令M是txn的二元矩阵．设1≤d≤老≤n—r，1≤s≤7’≤ n～d，若M是一个(k’s)．disjunct矩阵，则M也是(d，r)-disjunct矩阵． 定理2．1．2．d7-t-disjunct矩阵也是(d；2r)一separable矩阵． 删去0．列后得到的矩阵，则M(1)是(d一1)”-1-disjunct矩阵． r行就可以得到一个(d 4-1；r)-separable矩阵． M(3)足(d；r)．separable矩阵． 定理2．2．1．令t(d，n)表示含n列的d-disjunet矩阵的行数的最小值，则 f)I t(d，n)≥Flog而看箝丽]· 定理2．2．2．令以(乏札)表示含n列的d-separable矩阵M的行数的最小 值，则 以㈧孙叼芒揣箍篇‰1， 其中td=max{tDllDl=d}，tD表示里阳性的试验次数(行的个数)． (b)。。f，是(f；2一disjunet矩阵．则按定义3．1．1规定，在A、B基础上定义的矩 III 定理3．2．2．令螈。，。。．、％州。：足不含0．列的矩阵，设 M·：f‰mt，o＼． ＼0 ‰：M。／ 则有： 则M+足d”1·disjunct矩阵，其中d=min{d1．以2}，r=min{rl，T2)． 阵，则M’足(d，r)一disjunct矩阵，其中d=min{d1，d2)，r=rl+h2 ∥‘一disjunct)矩阵． 定理3．2．4．假设存在且‰闪¨的一个d列集D={Dl，D2…．，Dd)，使得 UB与^‰，黼。中所有行的交点上的元索都足1．令Ⅳ1表示』l‰㈣¨的所有 DJ，l≤i≤d。则任取C，C’∈NI＼D，都有 列作成的集合．定义D；=D八U ” J≠t D；，a7 D；)≥71，l≤i≤d． H(CIIn 定理3．2．5．令M足一个t×n的(d；r)-separable矩阵。设佯本中共含阳 性对象P个．设孔和了j分别是阳性pools集和阴性pools集，不妨设陬I= 记％Ⅵ×。，是M中n中的所有行和H中的列交点上的元素按照原来的次序 组成的矩阵，nl即M+(见定义3．2．I)中子矩阵M。，。。。的列数．若P≤d一1 则?“=，)；若P=d贝4l≤d+{∽’y叫)2l“¨／dj一”一1． 定理4．1．6．设1≤d≤角≤礼，l≤r≤^，，U足驼(k，n)(见定义1．1．12)的 n 一个子集．它满足对任意的风，鲍∈U，K1≠鲍都有dim(K1K2)≤七一r． IV 构作一个(0，1)．矩阵M(d，k，11，Zj，r)，其行由泥(d，n)中元素标定，其列由u中 元素标定。M(d，k，n’幻，r)中元素(i，j)=1当且仅当第i个d维子空间是第J个 k维子空间的子空问．令