区组长为4和6的3-设计

t-(v,K,λ)设计是一个关联结构(V,B),满足条件:(1)V是v元点集;(2)B是V的子集族(B中的元素称为设计的区组),且每一个区组b∈B有|b|∈K;(3)V中的任意一个t-元子集恰好出现在λ个区组中。Hanani给出了λ=1时3-(v,{4,6},1)存在的充分必要条件。文章证明3-(v,{4,6},λ)存在的充分必要条件是λv≡0(mod 2),λv(v-1)(v-2)≡0(mod 8)且v≥4。