正交可分组设计是一个四元组(X,G,A,B),其中X是一个点集,G是X的一个划分(称为组集),A和B是两个不交的三元子集簇,满足对不在同一组的任一点对{x,y}恰好出现在A的一个三元集中,也恰好出现在B的一个三元集中.进一步有(a)如果{x,y,a}∈A且{x,y,b}∈B,那么a和b不在同一组,且(b)如果{x,y,z},{u,v,z}∈A且{u,v,b},{x,y,a}∈B,那么a≠b,在这篇文章中,将证明只有一个型为44的OGDD的同构类.
正交的 可分组区组设计 同构