伪辛几何中子空间排列和d-%27z--析取矩阵的构作.pdf

摘 要 分组测试起源于1943年．分组测试可以粗略地分为两类：组合分组测试(CGT) 和随机分组测试(PGT)．在礼个被测对象中找出不超过d个的有缺陷对象的分组测 试称为组合分组测试(CGT)，在有缺陷对象的概率为P的情况下进行的分组测试称 为随机分组测试(PGT)．组合分组测试在很多方面有着广泛的应用，诸如血样检测、 编码、多重信道通讯、艾滋病筛选等等．近一个时期来，它在分子生物学领域特别是 筛选试验方面的应用有了巨大的发展．分组测试在这个领域经常被称为pooling设 计． 分组测试按算法可以分为有序的和非适应性的．一个有序的分组测试算法是所 要求的试验一个接着一个地进行，允许后面的试验使用前面试验的结果来设计．一个 非适应性分组测试算法是所有试验同时进行，禁止用已有的试验结果来设计下面的 试验． 过去，由于一个项目试验的次数比较少，人们主要关注有序算法，现在由于在生 物学领域需要筛选的对象的数目巨大，每一个试验都是非常耗时的，所以人们开始大 量地关注非适应性算法． ’ 另一方面，生物学中的试验精确性无法与电子试验相比，有时会发生错误．所以 能够f吏分组测试算法检查出错误，并且改正错误是十分必要的． 现在人们十分关注的非适应性组合测试试验设计方案的数学模型就是一个所谓 的舻一析取矩阵，z代表了它的检查错误，改正错误的能力，d代表了筛选阳性对象的 能力． 舻一析取矩阵是一个(O，1)矩阵，许多数学工具都能设计出有用的试验方案．设 计出能够检查、改正错误的扩一析取矩阵是非适应性分组组合测试的中心任务．本文 辛空间中的(m，2s+67 1)+丁，l；2u+6)，为了讨论它的俨一析取性，首先我们讨论了F：舛6伪辛空间上的 (m，2s+7IS．1)型子空间中(m一1；2(s一1)+ns一1，1)型子空间的排列问题，得到 III 了以下结论： 假设2s s．1)型子空间 d冬菩羞(s芝2)，考虑F尹÷6伪辛空间上(m，2s年t S 并且当2≤d≤q+l或q+1≤d≤q2+q+1，s≥2时，这个不等式是紧的． 然后，我们依据以上讨论，给出了矩阵的析取性的结论： m一3 I．并且不是舻¨．析取．在这里 是∥一析取的，在这里z=q仇叶(g—d+1) r一2I 一[(7-+2)／2】一2，r一【(7_+2)／2】】．． Jr之2，max{o，r一【(7．+2)／2j一1≤min{m sq毒兰鑫 Sg+1或 q+1≤d≤92+g+1，蝎(m：2s+L 关键词：分组试验伪辛空间舻一析取矩阵填充排列 Ⅳ Abstract The has·beenwell since1 Call theory．ofgrouptesting developed943．Grouptesting be dividedintotWO Prob— rou曲ly categories：CombinatorialGroupTesting(CGT)and abilistic thatthe