论文部分内容阅读
设J是一个正整数集合,一个λ重可分组圈设计是一个满足以下条件的三元组(ν,g,c):ν是Kν的有限点集;g中的元素(称为组)均是ν的子集,并且所有组构成ν的一个划分;C是长度为J的圈构成的集合,j∈J;对于任意两个属于不同组的点连成的边恰好在λ个圈中出现,而属于同一组的两个点连成的边不在任何圈中出现。如果可分组圈设计的区组集C可以划分成一些2-因子(或称为平行类),其中每个2-因子都是点集ν的一个划分,则称它为可分解的。
若一个可分组圈设计(ν,g,c)的区组集C可以划分成一些带洞的2-因子,其中每个带洞的2-因子是点集V\Gi的一个划分,Gi∈g,则称它是一个圈支架。
圈支架对Ringel提出的Oberwolfach问题的构造方法有重要作用。Stinson等人已经解决了型为gu的(3,λ)-圈支架的存在性问题。本文主要研究圈长4≤k≤6的型为gu的(k,λ)-圈支架的存在性问题。我们将证明它们存在的必要条件也是充分的,除去一个例外(λ,g,u)=(1,6,3)。