型为4~4的ogdd的同构分类(英文)

正交可分组设计是一个四元组(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的同构类.