完美门限方案的组合构造.pdfVIP

李明超等：完美门限方案的组合构造 定理 1．1【】存在完美 (t，W，；m)．门限方案的充分必要条件是存在 一集上的m个两两 t．相容 的W一一致超图． 门限方案的主要研究工作是，给定t，W和V，确定使得完美 (t，W，；m)一门限方案存在的最大值m， 记为M(t，W，u)．按照定理 1．1，M(t，W，)也就是V．集上的m个两两t一相容的 一一致超图的最大值仇． Stinson和Vanstone[11建立了M(t，W，u)的以下上界． 定理 1-2【 M(t，W，)≤v--t雨+1． 设 1≤t≤ ．Steiner系 s(t，W，”)是～个 V．集上的简单 W．一致超图 (x，)，使对 的 任意一个 t一子集恰包含在唯一的一个区组中．此 Steiner系称为可划分的，如果区组集 可划分为 t+1 1…．，Al(这里 f=v- 使得每个 (，t)(1≤i≤f)是一个 Steiner系s@一1，W，)．易知存在可 一 件 1， 划分Steiner系的必要条件是 H 1=。(mod一 汁 1)1 {【(一s)(—s一1)…(一t+2)三0ro(odW(一8)(叫一s一1)…W(—t+2))， () 0≤s ￡一1， 1988年，Stinson和Vanstone【】建立了下面结果． 定理 1．3I川 M (t，W，)=w出 的充分必要条件是存在Steiner系s(t，W，)可划分为Steiner系 - t+ 1 s(t一1，W，)． 已有许多文章对可划分的Steiner系进行了讨论．进而当t，W和 V满足 ()时，由定理 1．3，一些 M(t，W，)的值已经确定． 由已知的可划分S(2，W，V)的结果，我们有下面定理． 定理 1．4[。，。】 (1)如果暮3(rood6)，则M(2，3，)= ； (2)如果V兰4(rood12)，则 M(2，4，)=v下-1； (3)如果 三5(rood20)且 {45，345，465，645}，则M(2，5，)=Tv--1； (4)如果 W≥3，则存在常数 c(w)使得对任意正整数， 三W (roodw(w一1))且 c(叫)，M(2，，u)= ； (5)如果 口为质数幂，则M (2，q，q。)=q+1． 由已知的可划分 s(3，3，V)的结果，我们有下面定理． 定理 1．5。【，】如果 V三1，3(rood6)且V7，则M(3，3，)： 一2． 由已知的可划分 S(3，4，V)的结果，我们有下面定理． 定理 1．6[。，】如果正整数 m≥l，则 M(3，4，2 )=2。m_。一1，M (3，4，2．7m+2)=7m． 当t，W和u不满足 ()时，Schellenberg和Stinson。【】研究了M (t，叫，u)不能达到上述上界的情况 并确定了一些 M(3，3，)和 M(4，4，V)的值．此后有许多文章对 M(3，3，V)的值进行了深入的讨论 (参 见文献 6『-17])． 2004年，Cao和 Du[18]应用可分解填充设计研究了M(2，，)(2W)的值．本文进一步研究 M (t，W，u)(tW)的值．本文将定义一类新的设计，可划分部分平衡设计，并证明可划分部分平衡设计 的存在性蕴含着完美门限方案的存在性． 设 ，b， ，和t为正整数，t≤ ．部分平衡t．设计PBDt-(v，b，叫；入，0)是一个二元组 (，)，其 中 为V一集， 是 的b个W一子集 (称为区组)的集合，使对 的任意一个 t一子集或恰好出现在A 个区组中，或不出现在任一区组中． 626 中国科学：数学 第 43卷 第 6期 设 ，b，W，t一1和 t为正整数，t≤ ．部分平衡 t一设计PBDt-(，b，叫；1，0)(X，)称为可划分的， 记为PPBDt-(v，b，忉；扎一1，1，0)，如果它同时也是一个部分平衡 (t-1)一设计PBD(t-1)一(，b，训；t一1，0)， 并且可将区组集 划分为 1…．， 使得每个 (x， )(1≤i≤ 一1)是一个部分平衡 (t