论文部分内容阅读
分组测试起源于1943年.分组测试可以粗略地分为两类:组合分组测试(CGT)和随机分组测试(PGT).在n个被测对象中找出不超过d个的有缺陷对象的分组测试称为组合分组测试(CGT),在有缺陷对象的概率为p的情况下进行的分组测试称为随机分组测试(PGT).组合分组测试在很多方面有着广泛的应用,诸如血样检测、编码、多重信道通讯、艾滋病筛选等等.近一个时期来,它在分子生物学领域特别是筛选试验方面的应用有了巨大的发展.分组测试在这个领域经常被称为pooling设计.
分组测试按算法可以分为有序的和非适应性的.一个有序的分组测试算法是所要求的试验一个接着一个地进行,允许后面的试验使用前面试验的结果来设计.一个非适应性分组测试算法是所有试验同时进行,禁止用已有的试验结果来设计下面的试验.
过去,由于一个项目试验的次数比较少,人们主要关注有序算法,现在由于在生物学领域需要筛选的对象的数目巨大,每一个试验都是非常耗时的,所以人们开始大量地关注非适应性算法.
另一方面,生物学中的试验精确性无法与电子试验相比,有时会发生错误.所以能够使分组测试算法检查出错误,并且改正错误是十分必要的.
现在人们十分关注的非适应性组合测试试验设计方案的数学模型就是一个所谓的d2-析取矩阵,z代表了它的检查错误,改正错误的能力,d代表了筛选阳性对象的能力.
d2-析取矩阵是一个(0,1)矩阵,许多数学工具都能设计出有用的试验方案.设计出能够检查、改正错误的d2-析取矩阵是非适应性分组组合测试的中心任务.本文中我们利用伪辛空间F2v+δq中的(r,2(s-1)+τ,s-1,1)型子空间标定行,F2v+δq伪辛空间中的(m,2s+δ,s.1)型子空间标定列得到(0,1)矩阵地(m,2s+τ,1;τ,2(s-1)+τ,1;2v+δ),为了讨论它的d2-析取性,首先我们讨论了F2v+δq伪辛空间上的(m,2s+τ,s.1)型子空间中(m-1;2(s-1)+τ,s-1,1)型子空间的排列问题,得到了以下结论:
假设2≤d≤q2s-1/q2-q-2(s≥2),考虑F2v+δq伪辛空间上(m,2s+τ,s.1)型子空间的任意d个(m-1,2(s-1)+r,1)型子空间H1,…Hd,那么|H1∪H2…∪Hd|≤dN(r,2(s-1)+τ.1;m-1,2(s-1)+τ,1,m-[(τ+2)/2]-2s;m,2s+τ、1;2v+δ),并且当2≤d≤q+1或q+1≤d≤q2+q+1,s≥2时,这个不等式是紧的.
然后,我们依据以上讨论,给出了矩阵的析取性的结论:
(1)当(δ,τ)=(1,1),(2,0),2≤d<q+1时,Mq(m,2十τ,1;2,0+τ,1;2v+δ)是dz-析取的,在这里z=qm-r(q-d+1)[m-3r-2]q.并且不是dz+1-析取在这里r≥2,max{0,r-[(τ+2)/2]-1}≤min{m-[(τ+2)/2]-2,r-[(τ+2)/2]}.
(2)若(δ.τ)=(1,1):(2,0),2≤d≤q2s-1/q2-q-2,或(δ,τ)=(2,2),2≤d≤qq2s-1/q2-q-2时,那么Mq(m,2s+τ,1;r,2(s-1)+τ,1;2v+δ)是dz-析取矩阵.在这里Z=N(r,s-1;m,s)-dN(r,s-1;m-1,s-1;m,s),r≥3;s≥2,max{0,r-[(τ+2)/2]-2s-1}≤min{m-[(τ+2)/2]-2s,r-[(τ+2)/2]-2(s-1)}.而且,当2≤d≤q+1或q+1≤d≤q2+q+1,Mq(m,2s+τ1;r,2(s-1)+τ,1;2v+δ)不是dz+1-析取的.