论文部分内容阅读
设v,κ,λ为正整数,v≥κ≥2.V为一个v元集(其元素称为“点”),B为V的κ元子集(称为“区组”)构成的集族.若V中的任意两个不同点构成的无序对都至多包含在B的λ个区组中,则称有序对(V,B)是一个(v,κ,λ)填充设计,记作P(κ,λ;v).若其区组集中没有重复区组,则称其为简单的.我们称存在一个自同构恰包含一个v长圈的P(κ,λ;v)是循环的.进一步,称不含有短轨的循环的P(κ,λ;v)是严格循环的.特别地,若一个P(κ,λ;v)的点集中的任意两个不同点构成的无序对都恰好包含在λ个区组中,则称其为BIBD设计,记作B(κ,λ;v).将简单严格循环B(3,λ;v)记作SSCTS(v,λ).
本文主要研究了SSCTS(v,λ)存在性问题,利用“差方法”进行直接构作给出了如下结论:
设p为素数,则
(1)当p≡1(mod6),p≥13且n≥3时,SSCTS(2pn,λ)存在的充要条件是
λ≡0(mod12),λ≤2pn-2;
(2)当p≡5(mod6),p≥11且n≥3时,SSCTS(2pn,λ)存在,这里
λ≡0(mod12),4p2-4≤λ≤2pn-4p2+2;
(3)当p≡1(mod6),p≥13且n≥3时,SSCTS(4pn,λ)存在的充要条件是
λ≡0(mod2),λ≤4pn-2.