论文部分内容阅读
有限集X上的一个循环三元组是由三个有序对(x,y),(y,z)与(z,x)组成的集合,记为(x,y,z)(或(y,z,x),或(z,x,y)).X上的一个可迁三元组是由三个有序对(x,y),(y,z)与(x,z)组成的集合,记为(x,y,z),这里x,y,x为X的不同元.一个υ阶Hybrid三元系HTS(υ)=(X,B),指的是由υ元集X上一些循环和可迁三元组(简称区组)构成的集合B,使得X中每个由不同元构成的有序对都恰好出现在它的一个区组中.如果一个HTS(υ)的区组集B可以分拆为若干平行类(几乎平行类)的并,则称其为可分解的(几乎可分解的),记为RHTS(υ)(或ARHTS(υ)).
一个Hybrid三元系大集,记为LHTS(υ),是指一个集合{(X,Bi):1≤i≤4(υ-2)},其中每个(X,Bi)都构成一个HTS(υ),并且所有的Bi构成X中全部循环和可迁三元组的分拆.一个LRHTS(υ)(或LARHTS(υ)),是指一个LHTS(υ),其中每个HTS(υ)都是可分解的(或几乎可分解的).
一个Hybrid三元系的超大集OLHTS(υ),是指一个族{(Y\{y),Ajy):y∈Y,j=0,1,2,3},其中Y为υ+1元集,对于每个y∈Y,j=0,1,2,3,(Y\{y},Ajy)是一个HTS(υ),并且所有Ajy构成Y中全部循环和可迁三元组的分拆.一个OLRHTS(υ)(或OLARHTS(υ)),是指一个OLHTS(υ),其中每个HTS(υ)都是可分解的(或几乎可分解的).
本文中,我们应用直接构造和递归构造方法,讨论了LRHTS(υ),LARHTS(υ),OLRHTS(υ),OLARHTS(υ)的存在性问题,得到了一些新的结果.