Let v be a positive integer and let K be a set of positive integers. A （v, K, 1）-Mendelsohn design, which we denote briefly by （v, K, 1）-MD, is a pair （X, B） where X is a v-set （of points） and B is a collectio...Let v be a positive integer and let K be a set of positive integers. A （v, K, 1）-Mendelsohn design, which we denote briefly by （v, K, 1）-MD, is a pair （X, B） where X is a v-set （of points） and B is a collection of cyclically ordered subsets of X （called blocks） with sizes in the set K such that every ordered pair of points of X are consecutive in exactly one block of B. If for all t =1, 2,..., r, every ordered pair of points of X are t-apart in exactly one block of B, then the （v, K, 1）-MD is called an r-fold perfect design and denoted briefly by an r-fold perfect （v, K, 1）-MD. If K = {k） and r = k - 1, then an r-fold perfect （v, （k）, 1）-MD is essentially the more familiar （v, k, 1）-perfect Mendelsohn design, which is briefly denoted by （v, k, 1）-PMD. In this paper, we investigate the existence of 4-fold perfect （v, （5, 8}, 1）-Mendelsohn designs.展开更多
A Mendelsohn triple system of order v,MTS(v)for short,is a pair(X,B)where X is a v-set(of points)and B is a collection of cyclic triples on X such that every ordered pair of distinct points from X appears in exactly o...A Mendelsohn triple system of order v,MTS(v)for short,is a pair(X,B)where X is a v-set(of points)and B is a collection of cyclic triples on X such that every ordered pair of distinct points from X appears in exactly one cyclic triple of B.The cyclic triple(a,b,c)contains the ordered pairs(a,b),(b,c)and(c,a).An MTS(v)corresponds to an idempotent semisymmetric Latin square (quasigroup)of order v.An MTS(v)is called frame self-orthogonal,FSOMTS for short,if its associated semisymmetric Latin square is frame self-orthogonal.It is known that an FSOMTS(1~n)exists for all n≡1(mod 3)except n=10 and for all n≥15,n≡0(mod 3)with possible exception that n=18.In this paper,it is shown that(i)an FSOMTS(2~n)exists if and only if n≡0,1(mod 3)and n>5 with possible exceptions n ∈{9,27,33,39};(ii)an FSOMTS(3~n)exists if and only if n≥4,with possible exceptions that n ∈{6,14,18,19}.展开更多
基金supported by National Natural Science Foundation of China (Grant No.60873267)Zhejiang Provincial Natural Science Foundation of China (Grant No. Y607026)+1 种基金 sponsored by K. C. Wong Magna Fund in Ningbo Universitythe third author is supported by NSERC Grant OGP 0005320
文摘Let v be a positive integer and let K be a set of positive integers. A （v, K, 1）-Mendelsohn design, which we denote briefly by （v, K, 1）-MD, is a pair （X, B） where X is a v-set （of points） and B is a collection of cyclically ordered subsets of X （called blocks） with sizes in the set K such that every ordered pair of points of X are consecutive in exactly one block of B. If for all t =1, 2,..., r, every ordered pair of points of X are t-apart in exactly one block of B, then the （v, K, 1）-MD is called an r-fold perfect design and denoted briefly by an r-fold perfect （v, K, 1）-MD. If K = {k） and r = k - 1, then an r-fold perfect （v, （k）, 1）-MD is essentially the more familiar （v, k, 1）-perfect Mendelsohn design, which is briefly denoted by （v, k, 1）-PMD. In this paper, we investigate the existence of 4-fold perfect （v, （5, 8}, 1）-Mendelsohn designs.
基金Research supported by NSFC 10371002Partially supported by National Science Foundation under Grant CCR-0098093
文摘A Mendelsohn triple system of order v,MTS(v)for short,is a pair(X,B)where X is a v-set(of points)and B is a collection of cyclic triples on X such that every ordered pair of distinct points from X appears in exactly one cyclic triple of B.The cyclic triple(a,b,c)contains the ordered pairs(a,b),(b,c)and(c,a).An MTS(v)corresponds to an idempotent semisymmetric Latin square (quasigroup)of order v.An MTS(v)is called frame self-orthogonal,FSOMTS for short,if its associated semisymmetric Latin square is frame self-orthogonal.It is known that an FSOMTS(1~n)exists for all n≡1(mod 3)except n=10 and for all n≥15,n≡0(mod 3)with possible exception that n=18.In this paper,it is shown that(i)an FSOMTS(2~n)exists if and only if n≡0,1(mod 3)and n>5 with possible exceptions n ∈{9,27,33,39};(ii)an FSOMTS(3~n)exists if and only if n≥4,with possible exceptions that n ∈{6,14,18,19}.
