Spectrum of resolvable directed quadruple systems

A t-(v, k, 1) directed design (or simply a t-(v, k, 1)DD) is a pair (S, ℐ), where S is a v-set and ℐ is a collection of k-tuples (called blocks) of S, such that every t-tuple of S belongs to a unique block. The t-(v, k, 1)DD is called resolvable if ℐ can be partitioned into some parallel classes, so that each parallel class is a partition of S. It is proved that a resolvable 3-(v, 4, 1)DD exists if and only if v = 0 (mod 4).     

Existence results for near resolvable designs

A near resolvable design, NRB(v, k), is a balanced incomplete block design whose block set can be partitioned into v classes such that each class contains every point of the design but one, and each point is missing from exactly one class. The necessary conditions for the existence of near resolvable designs are v ≡ 1 mod k and λ = k ? 1. These necessary conditions have been shown to be sufficient for k ? {2,3,4} and almost always sufficient for k ? {5,6}. We are able to show that there exists an integer n₀(k) so that NRB(v,k) exist for all v > n₀(k) and v ≡ 1 mod k. Using some new direct constructions we show that there are many k for which it is easy to compute an explicit bound on n₀(k). These direct constructions also allow us to build previously unknown NRB(v,5) and NRB(v,6). © 1995 John Wiley & Sons, Inc.     

The existence of resolvable Steiner quadruple systems

A Steiner quadruple system of order v is a set X of cardinality v, and a set Q, of 4-subsets of X, called blocks, with the property that every 3-subset of X is contained in a unique block. A Steiner quadruple system is resolvable if Q can be partitioned into parallel classes (partitions of X). A necessary condition for the existence of a resolvable Steiner quadruple system is that v≡4 or 8 (mod 12). In this paper we show that this condition is also sufficient for all values of v, with 24 possible exceptions.     

Large sets of resolvable idempotent Latin squares

An idempotent Latin square of order v is called resolvable and denoted by RILS(v) if the v(v−1) off-diagonal cells can be resolved into v−1 disjoint transversals. A large set of resolvable idempotent Latin squares of order v, briefly LRILS(v), is a collection of v−2 RILS(v)s pairwise agreeing on only the main diagonal. In this paper we display some recursive and direct constructions for LRILSs.     

The generalized almost resolvable cycle system problem

Let (X, C) be a k-cycle system of order n, with vertex set X (of cardinality n) and collection of k-cycles C. Suppose n=kq+r where r<k. An almost parallel class of C is a collection of q=(n−r)/k pairwise vertex-disjoint k-cycles of C. Each almost parallel class thus will miss r of the n vertices in X. The k-cycle system (X,C) is said to be almost resolvable if C can be partitioned into almost parallel classes such that the remaining k-cycles are vertex disjoint. (These remaining k-cycles are referred to as a short parallel class.)     

Maximal resolvable packings and minimal resolvable coverings of triples by quadruples

Determination of maximal resolvable packing number and minimal resolvable covering number is a fundamental problem in designs theory. In this article, we investigate the existence of maximal resolvable packings of triples by quadruples of order v (MRPQS(v)) and minimal resolvable coverings of triples by quadruples of order v (MRCQS(v)). We show that an MRPQS(v) (MRCQS(v)) with the number of blocks meeting the upper (lower) bound exists if and only if v≡0 (mod 4). As a byproduct, we also show that a uniformly resolvable Steiner system URS(3, {4, 6}, {r₄, r₆}, v) with r₆≤1 exists if and only if v≡0 (mod 4). All of these results are obtained by the approach of establishing a new existence result on RH(6²ⁿ) for all n≥2. © 2009 Wiley Periodicals, Inc. J Combin Designs 18: 209–223, 2010     

Large sets of resolvable MTS and DTS of orders pn + 2

An LRMTS(v) [resp., LRDTS(v)] is a large set consisting of v − 2 [resp., 3(v − 2)] disjoint resolvable Mendelsohn (resp., directed) triple systems of order v. In this article, we give a method to construct LRMTS(pⁿ + 2) and LRDTS(pⁿ + 2), where pⁿ is a prime power and pⁿ ≡ 1 (mod 6). Using the method and a recursive construction v → 3v, some unknown LRMTS(v) and LRDTS(v) are obtained such as for v = 69, 123, 141, 159, and 3^km, where k ≥ 1, m ϵ {7, 13, 37, 55, 57, 61, 65, 67}. © 1996 John Wiley & Sons, Inc.     

A characterization of almost resolvable spaces

A space is said to be resolvable if it has two disjoint dense subsets. It is shown thatX is a Baire space with no resolvable open subsets iff every real function defined onX has a dense set of points of continuity. Thus almost resolvable spaces, as defined by Bolstein, are shown to be characterized as the union of a first category set and a closed resolvable set.     

The existence of doubly near resolvable (v,3,2)-BIBDs

The existence of doubly near resolvable (v,2,1)-BIBDs was established by Mullin and Wallis in 1975. In this article, we determine the spectrum of a second class of doubly near resolvable balanced incomplete block designs. We prove the existence of DNR(v,3,2)-BIBDs for v ≡ 1 (mod 3), v ≥ 10 and v ? {34,70,85,88,115,124,133,142}. The main construction is a frame construction, and similar constructions can be used to prove the existence of doubly resolvable (v,3,2)-BIBDs and a class of Kirkman squares with block size 3, KS₃(v,2,4). © 1994 John Wiley & Sons, Inc.     

On resolvable tree-decompositions of complete graphs

A partition of the edge set of a graph H into subsets inducing graphs H₁,…,H_s isomorphic to a graph G is said to be a G-decomposition of H. A G-decomposition of H is resolvable if the set {H₁,…,H_s} can be partitioned into subsets, called resolution classes, such that each vertex of H occurs precisely once in each resolution class. We prove that for every graceful tree T of odd order the obvious necessary conditions for the existence of a resolvable T-decomposition of a complete graph are asymptotically sufficient. This generalizes the results of Horton and Huang concerning paths and stars.     

Uniformly resolvable designs with index one and block sizes three and four — with three or five parallel classes of block size four

Each parallel class of a uniformly resolvable design (URD) contains blocks of only one block size. A URD with v points and with block sizes three and four means that at least one parallel class has block size three and at least one has block size four. Danziger [P. Danziger, Uniform restricted resolvable designs with r=3, ARS Combin. 46 (1997) 161-176] proved that for all there exist URDs with index one, some parallel classes of block size three, and exactly three parallel classes with block size four, except when v=12 and except possibly when . We extend Danziger’s work by showing that there exists a URD with index one, some parallel classes with block size three, and exactly three parallel classes with block size four if, and only if, , v≠12. We also prove that there exists a URD with index one, some parallel classes of block size three, and exactly five parallel classes with block size four if, and only if, , v≠12. New labeled URDs, which give new URDs as ingredient designs for recursive constructions, are the key in the proofs. Some ingredient URDs are also constructed with difference families.     

Existence of non‐resolvable Steiner triple systems

We consider two well‐known constructions for Steiner triple systems. The first construction is recursive and uses an STS(v) to produce a non‐resolvable STS(2v + 1), for v ≡ 1 (mod 6). The other construction is the Wilson construction that we specify to give a non‐resolvable STS(v), for v ≡ 3 (mod 6), v > 9. © 2004 Wiley Periodicals, Inc. J Combin Designs 13: 16–24, 2005.     

有向Kirkman填充设计的谱

§ 1　IntroductionLet X be a set of v points.A packing(directed packing) of X is a collection of subsets(ordered subsets) of X(called blocks) such that any pair(ordered pair) of distinct pointsfrom X occur together in atmostone block in the collection.A packing(directed packing)is called resolvable ifitsblock setadmitsa partition into parallel classes,each parallel classbeing a partition of the pointset X.A Kirkman triple system KTS(v) is a collection Tof3 -subsets of X(triples) suchthat …     

Modified frames with block size 3

A modified (k, λ)‐frame of type g^u is a modified (k, λ)‐GDD whose blocks can be partitioned into holey parallel classes, each of which is with respect to some group. Modified frames can be used to construct some other resolvable designs such as resolvable group divisible designs and semiframes. In this article, we shall investigate the existence of modified frames with block size 3. © 2007 Wiley Periodicals, Inc. J Combin Designs 16: 351–363, 2008     

Embeddings of resolvable mendelsohn triple systems

In this article it is shown that any resolvable Mendelsohn triple system of order u can be embedded in a resolvable Mendelsohn triple system of order v iff v≥ 3u, except possibly for 71 values of (u,v). © 1993 John Wiley & Sons, Inc.     

Large sets of pure directed triple systems with index λ

A directed triple system of order v with index λ, briefly by DTS（v,λ）, is a pair （X, B） where X is a v-set and B is a collection of transitive triples （blocks） on X such that every ordered pair of X belongs to λ blocks of B. A simple DTS（v, λ） is a DTS（v, λ） without repeated blocks. A simple DTS（v, ）,） is called pure and denoted by PDTS（v, λ） if （x, y, z） ∈ B implies （z, y, x）, （z, x, y）, （y, x, z）, （y, z, x）, （x, z, y） B. A large set of disjoint PDTS（v, λ）, denoted by LPDTS（v, λ）, is a collection of 3（v - 2）/λ disjoint pure directed triple systems on X. In this paper, some results about the existence for LPDTS（v, λ） are presented. Especially, we determine the spectrum of LPDTS（v, 2）.     

More large sets of resolvable MTS and DTS with even orders

In this paper, we first introduce a special structure that allows us to construct a large set of resolvable Mendelsohn triple systems of orders 2q ＋ 2, or LRMTS（2q ＋ 2）, where q = 6t ＋ 5 is a prime power. Using a computer, we find examples of such structure for t C T = {0, 1, 2, 3, 4, 6, 7, 8, 9, 14, 16, 18, 20, 22, 24}. Furthermore, by a method we introduced in [13], large set of resolvable directed triple systems with the same orders are obtained too. Finally, by the tripling construction and product construction for LRMTS and LRDTS introduced in [2, 20, 21], and by the new results for LR-design in [8], we obtain the existence for LRMTS（v）and LRDTS（v）, where v = 12（t ＋ 1） mi≥0（2.7mi＋1）mi≥0（2.13ni＋1）and t∈T,which provides more infinite family for LRMTS and LRDTS of even orders.     

Doubly resolvable Steiner quadruple systems and related designs

Two resolutions of the same \(\hbox {SQS}(v)\) are said to be orthogonal, when each parallel class of one resolution has at most one block in common with each parallel class of the other resolution. If an \(\hbox {SQS}(v)\) has two orthogonal resolutions, the \(\hbox {SQS}(v)\) is called a doubly resolvable \(\hbox {SQS}(v)\). In this paper, we use a quadrupling construction to obtain an infinite class of doubly resolvable Steiner quadruple systems. We also give some results of doubly resolvable H designs and doubly resolvable candelabra quadruple systems.     

Maximum uniformly resolvable designs with block sizes 2 and 4

A central question in design theory dating from Kirkman in 1850 has been the existence of resolvable block designs. In this paper we will concentrate on the case when the block size k=4. The necessary condition for a resolvable design to exist when k=4 is that v≡4mod12; this was proven sufficient in 1972 by Hanani, Ray-Chaudhuri and Wilson [H. Hanani, D.K. Ray-Chaudhuri, R.M. Wilson, On resolvable designs, Discrete Math. 3 (1972) 343-357]. A resolvable pairwise balanced design with each parallel class consisting of blocks which are all of the same size is called a uniformly resolvable design, a URD. The necessary condition for the existence of a URD with block sizes 2 and 4 is that v≡0mod4. Obviously in a URD with blocks of size 2 and 4 one wishes to have the maximum number of resolution classes of blocks of size 4; these designs are called maximum uniformly resolvable designs or MURDs. So the question of the existence of a MURD on v points has been solved for by the result of Hanani, Ray-Chaudhuri and Wilson cited above. In the case this problem has essentially been solved with a handful of exceptions (see [G. Ge, A.C.H. Ling, Asymptotic results on the existence of 4-RGDDs and uniform 5-GDDs, J. Combin. Des. 13 (2005) 222-237]). In this paper we consider the case when and prove that a exists for all u≥2 with the possible exception of u∈{2,7,9,10,11,13,14,17,19,22,31,34,38,43,46,47,82}.