LD和LD~*设计的存在性

设X为n元集,称n^2行s列的表A=(αij)为约束数是s的n阶正交表(记为OA(n,s)),若对任意j,k,1≤j<k≤s,有{(αij,αik);1≤i≤n^2}=X×X。 陆家羲在[1]中引进了一类名为LD设计(及LD设计)的构形。所谓n阶LD设计是n元集X上的一个集族(n>1)