可分解设计RGD(4,3;v)的存在性

所谓一个可分组设计GD(k,m;v)是指这样一个有序三元组(V,G,B),其中V是一个v元集,G是V的一些m子集(称作组)的集合,B是V的一些k子集的集合,使得(ⅰ)G构成V的一个划分;(ⅱ)V中任意一对取自G中不同组的元素恰好在唯一的一个区组中相遇。给定一个GD(k,m;v),若B中的若干个区组构成V的一个划分,则称为一个平行