关于单纯B[4,2;v]和B[m,3;v]的存在性

一个B[k,λ;v]中,若不包含重复区组,则称为单纯的.本文证明了单纯B[4,2;v]和B[4,3;v]存在的充要条件分别是v≡1(mod3),v≠4和v≡0,1(mod 4),v≠4.