The Fine Triangle Intersection Problem for Minimum Kite Coverings
|
|
- Conrad Silvester Mosley
- 6 years ago
- Views:
Transcription
1 42Æ 5 Vol.42, No ADVANCES IN MATHEMATICS Oct., 2013 The Fine Triangle Intersection Problem for Minimum Kite Coverings ZHANG Guizhi 1,2, CHANG Yanxun 1,, FENG Tao 1 (1. Institute of Mathematics, Beijing Jiaotong University, Beijing, , P. R. China; 2. School of Mathematical Sciences, Hulunbuir College, Hulunbuir, Inner Mongolia, , P. R. China) Abstract: In this article the fine triangle intersection problem for a pair of minimum kite coverings is investigated. Let Fin(v) = {(s,t) : a pair of minimum kite coverings of order v intersectinginsblocks ands+ttriangles}. Let Adm(v) = {(s,t) : s+t b v,s,tare nonnegative integers} and b v = v(v 1). It is established that Fin(v) = Adm(v)\{(b 8 v 1,0),(b v 1,1)} for any integer v 0,1(mod 8) and v 8; Fin(v) = Adm(v) for any integer v 2,3,,7(mod 8) and v 4. Key words: kite covering; triangle intersection; fine triangle intersection MR(2000) Subject Classification: 05B30 / CLC number: O157.2 Document code: A Article ID: (2013) Introduction The intersection problem was first introduced by Kramer and Mesner [22]. They asked that for which values of s it is possible to find two Steiner systems S(t,k,v) intersecting in s blocks, where both objects must be based on the same element set. This initial work was later extended to cover many other combinatorial structures, such as Latin squares (see [1 2, 13, 17 18, 23]) and G-designs. This paper is closely related to the intersection problem for G-designs. Let K v be the complete graph with v vertices and λk v denote the graph K v with each of its edges replicated λ times. Given a family G of graphs each of which is simple and connected, a λ-fold G-design of order v, denoted by a (λk v,g)-design, is a pair (X,B) where X is the vertex set of K v and B is a collection of subgraphs (called blocks) of λk v, such that each block is isomorphic to a graph in G, and each edge of λk v belongs to exactly λ blocks of B. If in the definition of G-designs we replace the term exactly with at most (or at least ), we have a (λk v,g)-packing (or covering). When λ = 1, a (K v,g)-packing (or covering) is called a G-packing (or covering) of order v. When G contains a single graph G, i.e., G = {G}, a (λk v,{g})-design (packing or covering) is simply written as a (λk v,g)-design (packing or covering). If G is the complete graph K k, a (K v,k k )-design is called a Steiner system S(2,k,v). Two (K v,g)-packings (or coverings) (X,B 1 ) and (X,B 2 ) are said to intersect in s blocks provided B 1 B 2 = s. If s = 0, (X,B 1 ) and (X,B 2 ) are said to be disjoint. The intersection problem for (K v,g)-packings (or coverings) is the determination of all integral pairs (v,s) such that there exists a pair of (K v,g)-packings (or coverings) intersecting in s blocks. Received date: Revised date: Foundation item: Supported by the Fundamental Research Funds for the Central Universities (No. 2011JBZ012, No. 2011JBM298) and NSFC (No , No ). yxchang@bjtu.edu.cn
2 5,, : The Fine Triangle Intersection Problem for Minimum Kite Coverings 677 A complete solution to the intersection problem for S(2,3,v)s was made by Lindner and Rosa [24]. Colbournetal. [15] solvedtheintersectionproblemforapairofsteinersystems(2,4,v)s, leaving a handful of possible exceptions when v = 25,28 and 37. Gionfriddo and Lindner [19] first examined the intersection problem for S(3, 4, v)s; this problem was finally dealt with by Hartman and Yehudai [20], apart from two undecided values of v = 14 and 26. Billington and Kreher [5] discussed the intersection problem for all connected simple graphs G with at most four vertices or at most four edges. Billington et al. [4] completely determined the intersection numbers of K 4 e designs. For more information on intersection problems, the interested reader may also refer to [3, 12, 14, 21, 26 28]. Let B be a simple graph. Denote by T(B) the set of all triangles of the graph B. For example, if B is the graph with vertices a, b, c, d and edges ab, ac, bc, cd (such a graph is called a kite), then T(B) = {{a,b,c}}. Two (K v,g)-packings (or coverings) (X,B 1 ) and (X,B 2 ) are said to intersect in t triangles provided that T(B 1 ) T(B 2 ) = t, where T(B i ) = B B i T(B), i = 1, 2. The triangle intersection problem for (K v,g)-packings (or coverings) is the determination of all integer pairs (v,t) such that there exists a pair of (K v,g)-packings (or coverings) intersecting in t triangles. Lindner and Yazici [25] first consideredthe triangleintersectionproblem, and gavea complete solution to the triangle intersection problem for kite systems. Billington et al. [6] solved the triangle intersection problem for (K 4 e)-designs. Chang et al. [7 8] investigated the triangle intersection problems for S(2, 4, v)s. Every block B in a (K v,g)-packing (or covering) contributes T(B) = T(G) triangles. If two (K v,g)-packings (or coverings) (X,B 1 ) and (X,B 2 ) intersect in s blocks, then they intersect in at least s T(G) triangles. It is natural to ask how about the triangle intersection problem for a pair of (K v,g)-packings (or coverings) intersecting in s blocks. Thus the fine triangle intersection problem was introduced in [10]. Define Fin G (v) = {(s,t) : a pair of (K v,g)- packings (or coverings) intersecting in s blocks and t + s T(G) triangles}. The fine triangle intersection problem for (K v,g)-packings (or coverings) is to determine Fin G (v). Chang et al. has completely solved the fine triangle intersection problems for kite systems [10] and (K 4 e)- designs [9 11]. Recently, the authors investigated the fine triangle intersection problem for maximum kite packings [29]. In this paper we shall examine the fine triangle intersection problem for minimum kite coverings. A (K v,g)-covering (or packing) (X,B) is called minimum (or maximum) if there does not exist any (K v,g)-covering (or packing) (X,B ) with B < B (or B < B ). When G is a kite, a minimum (K v,g)-covering (or maximum (K v,g)-packing) is said to be a minimum kite covering (or maximum kite packing). In a kite covering, every block B contributes only one triangle, so we define Fin(v) = {(s,t) : a pair of minimum kite coverings of order v intersecting in s blocks and t+s triangles}. The fine triangle intersection problem for minimum kite coverings is to determine Fin(v). It is easy to see that the number of blocks in a minimum kite covering is v(v 1) 8 at least. Let Adm(v) = {(s,t) : s+t b v,s,t are nonnegative integers}, where b v = v(v 1) 8. The following result is straightforward. Lemma 0.1 Fin(v) Adm(v) for any integer v 2,3,,7(mod 8) and v 4.
3 678 «42Æ As the main result of the present paper, we are to prove the following theorem. Theorem 0.2 Fin(v) = Adm(v)\{(b v 1,0),(b v 1,1)} for any integer v 0,1(mod 8) and v 8; Fin(v) = Adm(v) for any integer v 2,3,,7(mod 8) and v 4. 1 Small Orders In this section, we shall examine Fin(v) for 4 v 23 and v 8,9,16,17 by ad hoc methods. In the following we always denote the copy of the kite with vertices a,b,c,d and edges ab,ac,bc,cd by [a,b,c d]. Lemma 1.1 Fin(4) = Adm(4). Proof Take the vertex set X = {0,1,2,3}. Let B = {[0,1,3 2],[2,1,0 3]}. Then (X,B) is a minimum kite covering of order 4. Consider the following permutations on X. π 0,0 = (0 3)(1 2), π 0,1 = ( ), π 0,2 = (2 3), π 1,0 = (1 2), π 1,1 = (0 1), π 2,0 = (1). We have that for each (s,t) Adm(4), π s,t B B = s and T(π s,t B \B) T(B\π s,t B) = t. Lemma 1.2 Fin(5) = Adm(5). Proof Take the vertex set X = {0,1,2,3,4}. Let B = {[0,4,3 1],[0,1,2 3],[4,2,1 3]}. Then (X,B) is a minimum kite covering of order 5. Consider the following permutations on X. π 0,0 = (0 4)(2 3), π 0,1 = (0 1)(3 4), π 0,2 = (0 4 3)(1 2), π 0,3 = (1 2), π 1,0 = ( ), π 1,1 = ( ), π 1,2 = (0 4), π 2,0 = (0 2)(1 3), π 2,1 = (0 4)(1 2), π 3,0 = (1). We have that for each (s,t) Adm(5), π s,t B B = s and T(π s,t B \B) T(B\π s,t B) = t. Lemma 1.3 Fin(6) = Adm(6). Proof Take the vertex set X = {0,1,2,3,4,5}. Let B 1 = {[1,2,3 0],[3,4,5 2],[5,0,1 4],[0,2,4 1]}, B 2 = (B 1 \ {[5,0,1 4],[0,2,4 1]}) {[1,5,0 2],[0,1,4 2]}, and B 3 = (B 2 \{[0,1,4 2]}) {[1,2,4 0]}. Then (X,B i ) is a minimum kite coveringof order 6, i = 1,2,3. Consider the following permutations on X. π 0,0 = ( ), π 0,1 = (0 4)(2 3), π 0,2 = (0 1 4)(2 5), π 0,3 = (0 2 5)(1 3 4), π 0,4 = (0 3)(2 5), π 1,0 = (0 3 5)(1 4), π 1,1 = (3 5), π 1,2 = (0 4 2)(1 5 3), π 1,3 = (0 4 5)(1 2 3), π 2,0 = (3 4), π 2,1 = (0 5 4)(1 3), π 2,2 = ( )(1 4), π 3,0 = (1), π 3,1 = (0 4 2)(1 5 3), π 4,0 = (1). Let M 1 = Adm(6)\{(0,3),(1,0),(1,2),(2,0),(2,1),(3,0)} and M 2 = {(0,3),(1,0),(1,2),(2,0), (2,1)}. We have that for each (s,t) M i, i = 1,2, π s,t B i B i = s and T(π s,t B i \B i ) T(B i \ π s,t B i ) = t. For (s,t) = (3,0), π s,t B 3 B 2 = s and T(π s,t B 3 \B 2 ) T(B 2 \π s,t B 3 ) = t. Lemma 1.4 Fin(7) = Adm(7). Proof TakethevertexsetX = {0,1,2,3,4,5,6}. LetB 1 = {[0,2,1 6],[2,4,3 1],[1,4,5 0],[2,6,5 3],[6,4,0 3],[2,6,3 5]}, B 2 = (B 1 \ {[2,6,3 5]}) {[3,6,4 1]}, B 3 = (B 1 \ {[1,4,5 0],[2,6,5 3]}) {[1,4,5 3],[2,6,5 0]}, B 4 = (B 1 \ {[6,4,0 3],[2,6,3 5]}) {[6,3,0 4],[6,5,4 3]}, and B 5 = (B 1 \{[2,4,3 1],[2,6,3 5]}) {[2,4,3 6],[1,3,4 5]}. Let B 6 = {[2,0,1 3],[2,4,3 0],[1,4,5 3],[2,6,5 0],[4,0,6 1],[2,6,3 1]}, and B 7 = (B 6 \{[2,6,3 1]}) {[2,6,3 5]}, Then (X,B i ) is a minimum kite covering of order 7 for each i = 1,2,,7. Consider the following permutations on X.
4 5,, : The Fine Triangle Intersection Problem for Minimum Kite Coverings 679 π 0,0 = (0 5)(1 3 4)(2 6), π 0,1 = (0 4)(2 6 3), π 0,2 = ( ), π 0,3 = (0 1 2)(3 4 6), π 0,4 = (3 5)(4 6), π 0,5 = (1 6)(2 4), π 1,0 = ( )(3 5 6), π 1,1 = ( ), π 1,2 = ( )(2 3 4), π 1,3 = (0 2 4)(1 3 6), π 1,4 = ( )(2 4), π 2,0 = (0 1)(2 6)(3 5), π 2,1 = ( )(2 4), π 2,2 = ( ), π 2,3 = (0 6)(1 5), π 3,0 = (1 4), π 3,1 = (3 5), π 3,2 = (0 5)(2 4), π 3,3 = (0 5)(2 4). Let N = {(0,6),(1,5),(2,4),(4,0),(4,1),(4,2),(5,0),(5,1),(6,0)}, and take the identity permutation π s,t = (1) if (s,t) N. For each i,j,s,t in Table 1, B i π s,t B j = s and T(B i \π s,t B j ) T(π s,t B j \B i ) = t. Table 1 Fine triangle intersections for minimum kite coverings of order 7 i j (s, t) i j (s, t) 1 1 (0,0),,(0,5),(1,0),,(1,4), 1 2 (3,3),(5,0) (2,0),(2,1),(2,2),(3,0),(3,1),(3,2),(6,0) 1 3 (4,2) 1 4 (4, 0) 1 5 (4, 1) 1 6 (0,6),(2,3) 1 7 (1,5) 6 3 (2, 4) 6 7 (5, 1) Lemma 1.5 Fin(10) = Adm(10). Proof Take the vertex set X = {0,1,,9}. Let B 1 : [2,0,1 9], [4,7,0 5], [1,4,8 2], [1,7,5 8], [2,4,3 1], [7,8,6 5], [2,9,5 3], [9,0,8 3], [0,3,6 1], [6,9,4 5], [9,3,7 2], [2,6,3 1]; B 2 : [2,0,1 3], [4,0,7 2], [2,3,4 5], [6,4,9 1], [9,7,3 5], [1,7,5 0], [2,9,5 8], [0,3,6 5], [7,8,6 1], [1,4,8 3], [9,0,8 2], [2,6,3 0]. Take A i and A i for 3 i 14 as follows: i A i A i 3 [2,6,3 1] [2,6,4 1] 4 [2,6,3 1] [2,6,3 0] 5 [7,8,6 5] [2,9,5 3] [9,3,7 2] [9,2,7 8] [9,5,3 7] [2,5,6 7] [2,6,3 1] [6,8,1 0] 6 [2,9,5 3] [9,3,7 2] [9,3,5 2] [9,2,7 3] 7 [1,4,8 2] [9,0,8 3] [1,4,8 3] [9,0,8 2] 8 [1,4,8 2] [9,0,8 3] [2,6,3 1] [1,4,8 3] [9,0,8 2] [2,6,3 0] 9 [1,4,8 2] [9,0,8 3] [7,8,6 5] [1,4,8 3] [9,0,8 2] [7,8,6 1] [0,3,6 1] [0,3,6 5] 10 [1,4,8 2] [1,7,5 8] [7,8,6 5] [1,4,8 3] [1,7,5 3] [7,8,6 1] [2,9,5 3] [9,0,8 3] [0,3,6 1] [2,9,5 8] [9,0,8 2] [0,3,6 5] 11 [7,8,6 5] [2,6,3 1] [7,8,6 2] [5,6,4 1] 12 [1,4,8 2] [9,0,8 3] [2,6,3 1] [1,4,8 3] [9,0,8 2] [2,6,4 1] 13 [2,0,1 9] [2,4,3 1] [9,0,8 3] [2,0,1 3] [2,4,3 8] [8,0,9 1] [2,6,3 1] [2,6,4 1] 14 [2,0,1 9] [2,4,3 1] [9,0,8 3] [2,0,1 3] [2,4,3 8] [8,0,9 1] [2,9,5 3] [1,7,5 8] [2,6,3 1] [2,9,5 8] [1,7,5 3] [2,6,4 1] Let B i = (B 1 \ A i ) A i, 3 i 14. Then (X,B i) is a minimum kite covering of order 10 for each 1 i 14. Consider the following permutations on X. π 0,0 = ( )(2 8)(5 7), π 0,1 = (0 8 4)( ), π 0,2 = (0 7 1)(2 4)( ), π 0,3 = ( )( ), π 0,4 = ( ), π 0,5 = ( )(2 8 7),
5 680 «42Æ π 0,6 = (0 8 7)(1 3)(2 5)(4 9 6), π 0,7 = ( )(6 7 8), π 0,8 = (0 9 7)(1 2)(3 4 8), π 0,9 = (0 7)(2 5)(3 8), π 0,10 = (0 9)(1 5)(3 4), π 1,0 = ( ), π 1,1 = ( )(1 3)(2 8 6), π 1,2 = (0 3 8)( ), π 1,3 = ( ), π 1,4 = ( )(3 6 7), π 1,5 = ( )(1 5)(4 9), π 1,6 = (0 8 9)( )(3 6 7), π 1,7 = ( ), π 1,8 = ( )(1 5 2)(3 8), π 1,9 = (0 9)(1 5)(3 4), π 1,10 = (0 9)(1 5)(3 4), π 2,0 = ( ), π 2,1 = ( ), π 2,2 = (0 4 1)(6 8), π 2,3 = ( )(2 7)(3 5), π 2,4 = (1 3 5)(4 9)(7 8), π 2,5 = ( ), π 2,6 = ( )(1 2 5)(3 4), π 2,7 = (1 5), π 2,8 = (2 3), π 3,0 = ( ), π 3,1 = (2 4 6), π 3,2 = (0 8 1), π 3,3 = (0 3)(7 8), π 3,4 = (4 9)(7 8), π 3,5 = (0 9)(6 7), π 3,6 = (0 2)(3 6)(4 7)(5 8), π 3,7 = (0 9)(1 5)(3 4), π 3,8 = (0 9)(1 5)(3 4), π 4,0 = (4 6 7), π 4,1 = (4 6)(5 8), π 4,2 = (0 5), π 4,3 = ( )(1 2), π 4,4 = (5 9), π 4,5 = (0 8)(4 6), π 4,6 = (0 9)(1 5)(3 4), π 4,7 = (0 9)(1 5)(3 4), π 5,0 = (1 6), π 5,1 = (2 4), π 5,2 = (1 4), π 5,3 = (5 9), π 5,4 = (5 7), π 5,5 = (5 7), π 6,0 = (0 9), π 6,1 = (8 9), π 6,2 = (5 7), π 6,3 = (2 3), π 6,4 = (2 3), π 7,0 = (7 8), π 7,1 = (4 6), π 7,2 = (5 7), π 7,3 = (5 7), π 8,1 = (2 3), π 8,2 = (5 7). Let S 1 = {(x,y) : x+y 12,x {8,9,10,11},y is a nonnegative integer}\{(8,1),(8,2)}, and S 2 = {(0,11),(0,12),(1,11),(2,9),(2,10),(3,9),(4,8),(5,6),(5,7),(6,5),(6,6),(7,4),(7,5), (12,0)}. For each (s,t) S 1 S 2, take the identity permutation π s,t = (1). For each i,j,s,t in Table 2, B i π s,t B j = s and T(B i \π s,t B j ) T(π s,t B j \B i ) = t. Table 2 Fine triangle intersections for minimum kite coverings of order 10 i j (s, t) i j (s, t) i j (s, t) 1 1 (0,0),,(0,10),(1,0),,(1,8), 1 2 (0,12), (3,7) 1 3 (11,0) (2,0),, (2,7), (3,0),, (3,6), 1 4 (11,1) 1 5 (8,0), (5,4) (4,0),, (4,5), (5,1), (5,2), 1 6 (10,0), (6,4), (8,2) 1 7 (10,2) (6,0), (6,2), (7,0), (7,1), (12,0) 1 9 (8,4) 1 10 (6,6) 1 11 (10, 1) 1 12 (9, 2) 1 13 (8, 3) 1 14 (6,5) 2 2 (1,9), (5,0), (5,3), (6,1) 2 3 (0,11), (3,8) 2 4 (1, 11) 2 6 (2, 8) 2 7 (2, 10), (4, 6) 2 8 (3, 9) 2 9 (4, 8) 2 10 (5, 7) 2 12 (2,9), (4,7) 3 6 (9,0), (6,3), (7,2) 3 9 (1,10), (7,4) 3 10 (5, 6) 4 7 (9, 3) 4 9 (7, 5) 6 4 (9, 1), (7, 3) 6 8 (5, 5) 6 12 (8, 1) For counting Fin(v) for 11 v 23 and v 16,17, we may search for a large number of instances of minimum kite coverings of order v as we have done in Lemma 1.5. However, to reduce the computation, when v = 19, 20, we shall first determine the fine triangle intersection numbers of a pair of minimum (K v \ K 9,G)-coverings with the same vertex set and the same subgraph K 9 removed, where G is a kite. When v = 22, in [29], we have determined the fine triangle intersection numbers of a pair of kite-gdds of type with the same group set. When v 19,20,22, in [29], we have determined the fine triangle intersection numbers of a pair of (K v \K hv,g)-designs with the same vertex set and the same subgraph K hv removed, where G is a kite and 6, if v = 11,14, 5, if v = 12,13, h v = 7, if v = 15, 10, if v = 18,23, 12, if v = 21.
6 5,, : The Fine Triangle Intersection Problem for Minimum Kite Coverings 681 For later use these results are listed in Appendix. Lemma 1.6 Let M 19 = ({(s,t) : s+t 34,s {0,8},tis a nonnegativeinteger}\{(0,29), (0,30),, (0,33),(8,21),,(8,26)}) {(5,29),(10,24),(15,0),(15,19),(16,1),,(16,5),(16, 11),(17,0),(19,15),(21,0),(21,5),(22,6),(24,10),(26,0),(29,5),(32,2),(33,0),(33,1),(34,0)}. Let G be a kite and (s,t) M 19. Then there is a pair of minimum (K 19 \ K 9,G)-coverings with the same vertex set and the same subgraph K 9 removed, which intersect in s blocks and t+s triangles. Proof Take the vertex set X = {0,1,,18}. Let A 1 : [11,16,4 18], [14,9,4 15], [15,9,5 17], [16,10,5 18], [4,10,13 8], [5,11,13 17], [5,12,14 18], [12,4,17 3]; A 2 : [11,16,5 18], [14,9,5 15], [15,9,4 17], [16,10,4 18], [5,10,13 8], [4,11,13 17], [4,12,14 18], [12,5,17 3]; A 3 : [15,10,6 17], [16,9,6 18], [0,12,11 7], [2,10,11 8], [1,9,11 17], [14,6,11 18], [1,10,12 8], [2,9,12 7], [3,9,13 7], [6,12,13 18], [0,13,14 7], [3,10,14 8], [1,13,15 7], [2,14,15 8], [3,11,15 17], [0,15,16 7], [1,14,16 8], [2,13,16 17], [3,12,16 18], [7,9,17 1], [8,10,17 2], [0,18,17 14], [15,12,18 1], [7,10,18 2], [8,9,18 3], [0,9,10 1]; A 4 : [11,16,4 15], [14,9,4 18], [15,9,5 18], [16,10,5 17], [15,10,6 18], [16,9,6 17], [0,12,11 8], [2,10,11 7], [1,9,11 18], [14,6,11 17], [1,10,12 7], [2,9,12 8], [3,9,13 8], [4,10,13 7], [5,11,13 18], [6,12,13 17], [0,13,14 18], [3,10,14 7], [5,12,14 8], [1,13,15 17], [2,14,15 7], [3,11,15 8], [0,15,16 8], [1,14,16 7], [2,13,16 18], [3,12,16 17], [7,9,17 2], [8,10,17 1], [12,4,17 14], [0,18,17 3], [15,12,18 3], [7,10,18 1], [8,9,18 2], [0,9,10 2]. Let B 1 = A 1 A 3, B 2 = (B 1 \{[11,16,4 18],[14,9,4 15]}) {[11,16,4 15],[14,9,4 18]}, B 3 = (B 2 \{[15,9,5 17],[16,10,5 18],[0,9,10 1]}) {[15,9,5 18],[16,10,5 17],[0,9,10 2]}, B 4 = (B 3 \{[15,10,6 17],[16,9,6 18],[0,13,14 7],[3,10,14 8],[5,12,14 18]}) {[15,10,6 18],[16,9,6 17],[0,13,14 18],[3,10,14 7],[5,12,14 8]}, and B 5 = (B 4 \ {[5,11,13 17],[6,12,13 18],[1,13,15 7],[2,14,15 8],[3,11,15 17]}) {[5,11,13 18],[6,12,13 17],[1,13,15 17],[2,14,15 7],[3,11,15 8]}. Let B 6 = A 2 A 3, B 7 = A 4, B 8 = (B 1 \ {[0,9,10 1]}) {[0,9,10 2]} and B 9 = (B 1 \{[1,10,12 8]}) {[8,10,12 1]}. Then (X,B i ) is a minimum (K 19 \ K 9,G)-covering for each 1 i 9, where the removed subgraph K 9 is constructed on Y = {0,1,,8}. Now take the identity permutation π s,t = (1) if (s,t) {(0,26),(0,34),(5,29),(10,24),(15,19),(19,15),(24,10),(26,0),(29,5),(32,2),(33,0),(33,1),(34, 0)}. And consider the following permutations on X. π 0,0 = ( ), π 0,1 = ( )(14 17), π 0,2 = ( )(11 17)(14 16), π 0,3 = ( ), π 0,4 = ( )(12 18)( ), π 0,5 = (9 13)(10 12)(15 18)(16 17), π 0,6 = ( )(11 13)( ), π 0,7 = ( ), π 0,8 = ( )( ), π 0,9 = ( )( )(13 14), π 0,10 = ( )(10 13), π 0,11 = ( )(12 18)(13 16)(14 15), π 0,12 = (9 13)( )( ), π 0,13 = ( )( ), π 0,14 = ( )(13 16)(14 15), π 0,15 = ( )(11 12)(13 14),
7 682 «42Æ π 0,16 = (9 15)(10 16)( ), π 0,17 = ( )(10 11)(13 16), π 0,18 = (9 17)(10 16)(11 13)(12 14)(15 18), π 0,19 = (9 12)(10 11)( )(14 15), π 0,20 = (9 10)( )(13 14)(15 16), π 0,21 = (9 12)(10 11)(13 16)( ), π 0,22 = (3 6)(4 5)(7 8)(9 12)(10 11)( ), π 0,23 = ( )(4 5)(9 12)(10 11)(17 18), π 0,24 = ( )(3 5)(9 11)(14 16)(17 18), π 0,25 = (0 2)(3 5)(4 7 8)(9 11)(14 16)(17 18), π 0,27 = (3 6)(4 5)(9 12)(10 11), π 0,28 = (2 8), π 8,0 = ( )( ), π 8,1 = ( )(1 3), π 8,2 = (0 7)(2 5 4)(15 17), π 8,3 = ( ), π 8,4 = ( ), π 8,5 = (0 7 5)(2 3 8), π 8,6 = (0 4)(2 5 7)(9 13), π 8,7 = ( )(14 16), π 8,8 = ( )(15 16), π 8,9 = ( )(11 12)(15 16)(17 18), π 8,10 = (0 1 4)(10 11)(14 15), π 8,11 = (1 2)(5 7)(11 12)(15 16)(17 18), π 8,12 = ( )(5 6)(11 12)(15 16)(17 18), π 8,13 = (3 7)(5 6)(9 10)(11 12), π 8,14 = (0 5)(1 2)(3 4)(7 8)(9 10)(15 16), π 8,15 = (3 8)(5 6)(9 10)(11 12)(17 18), π 8,16 = (0 7 8)(1 2)(5 6)(11 12)(15 16)(17 18), π 8,17 = (1 8 7)(3 4)(5 6)(9 10)(11 12), π 8,18 = ( )(5 6)(9 10)(11 12), π 8,19 = (1 2)(3 4 5)(7 8)(9 10)(15 16)(17 18), π 8,20 = (0 1)( )(7 8)( )(14 15), π 15,0 = (0 5)(11 13), π 16,1 = ( ), π 16,2 = (2 5)(4 6), π 16,3 = ( ), π 16,4 = ( ), π 16,5 = (0 6)(11 13), π 16,11 = (1 2)(5 6)(11 12)(15 16)(17 18), π 17,0 = ( ), π 21,0 = (0 6 5), π 21,5 = (1 2)(4 5), π 22,6 = (2 7). We have that for each row in Table 3, π s,t Y = Y, B i π s,t B j = s and T(B i \π s,t B j ) T(π s,t B j \ B i ) = t. Table 3 Fine triangle intersections for minimum (K 19 \ K 9,G)-coverings i j (s, t) i j (s, t) i j (s, t) 1 1 M 19 \{(0,26), 1 2 (32,2) 1 3 (29,5) (0, 27),(0, 28),(0, 34),(5, 29), 1 4 (24, 10) 1 5 (19, 15) (8,15),(8,19),(10,24),(15,19), 1 6 (26,0),(8,19),(21,5) 1 7 (0,27),(0,28),(0,34),(8,15) (19, 15),(21, 5),(24, 10),(26, 0), 1 8 (33, 1) 1 9 (33, 0) (29,5),(32,2),(33,0),(33,1)} 3 7 (5,29) 4 7 (10,24) 5 7 (15, 19) 6 7 (0, 26) Lemma 1.7 LetM 20 = ({(s,t) : s+t 39,s {0,39},tisanonnegativeinteger}\{(0,31), (0,35),(0,36),(0,37)}) {(7,32),(8,0),,(8,16),(8,21),(8,26),(13,26),(14,13),(14,20),(16,0),,(16,8),(18,12),(20,14),(21,8),(19,20),(20,19),(24,0),(24,3),(24,8),(26,6),(26,8),(26,13), (29,0),(32,7),(34,0),(38,0),(38,1)}. Let G be a kite and (s,t) M 20. Then there is a pair of minimum (K 20 \K 9,G)-coverings with the same vertex set and the same subgraph K 9 removed, which intersect in s blocks and t+s triangles. Proof Take the vertex set X = {0,1,,19}. Let B 1 : [2,13,9 6], [5,16,9 17], [1,13,10 7], [4,16,10 19], [0,9,11 6], [3,13,11 19], [0,10,12 6], [1,9,12 7], [2,16,12 19], [5,15,12 18], [1,11,14 5], [2,10,14 6], [3,9,14 7], [4,12,14 17], [0,13,15 19], [2,11,15 6], [3,10,15 7], [4,9,15 18], [0,14,16 7], [13,6,16 11], [1,15,17 2], [3,12,17 7], [4,11,17 13], [5,10,17 6], [1,16,18 0], [4,13,18 2], [5,11,18 7], [6,10,18 3], [0,17,19 1], [3,16,19 2], [5,13,19 4], [7,9,19 6], [18,14,19 8], [7,13,11 2], [8,9,18 17], [8,11,10 9], [8,13,12 11], [8,15,14 13], [8,17,16 15];
8 5,, : The Fine Triangle Intersection Problem for Minimum Kite Coverings 683 B 2 : [2,13,9 17], [5,16,9 6], [1,13,10 19], [4,16,10 9], [0,9,11 19], [3,13,11 6], [0,10,12 7], [1,9,12 6], [2,16,12 18], [5,15,12 11], [1,11,14 6], [2,10,14 5], [3,9,14 17], [4,12,14 13], [0,13,15 6], [2,11,15 19], [3,10,15 18], [4,9,15 7], [0,14,16 11], [13,6,16 15], [1,15,17 7], [3,12,17 2], [4,11,17 6], [5,10,17 13], [1,16,18 2], [4,13,18 0], [5,11,18 3], [6,10,18 17], [0,17,19 2], [3,16,19 1], [5,13,19 8], [7,9,19 4], [18,14,19 6], [7,13,11 3], [8,9,18 7], [8,11,10 7], [8,13,12 19], [8,15,14 7], [8,17,16 7]. Take A j and A j for 3 j 12 as follows: (l j,j) A j A j (1,3) [7,13,11 2] [1,13,7 11] (1,4) [7,13,11 2] [7,13,11 3] (1,5) [1,16,18 0] [4,13,18 2] [1,16,18 2] [4,13,18 0] [0,17,19 1] [3,16,19 2] [0,17,19 2] [3,16,19 1] [5,13,19 4] [7,9,19 6] [5,13,19 8] [7,9,19 4] [18,14,19 8] [18,14,19 6] (1,8) [1,13,10 7] [0,9,11 6] [0,13,10 7] [1,9,11 6] [0,10,12 6] [1,9,12 7] [1,10,12 6] [0,9,12 7] [1,11,14 5] [0,13,15 19] [0,11,14 5] [1,13,15 19] [0,14,16 7] [1,15,17 2] [1,14,16 7] [0,15,17 2] [1,16,18 0] [0,17,19 1] [0,16,18 1] [1,17,19 0] (1,10) [8,9,18 17] [8,11,10 9] [8,17,18 9] [8,9,10 11] [8,13,12 11] [8,15,14 13] [8,11,12 13] [8,13,14 15] [8,17,16 15] [8,15,16 17] (5,6) [3,10,15 7] [4,9,15 18] [3,10,15 18] [4,9,15 7] [1,15,17 2] [3,12,17 7] [1,15,17 7] [3,12,17 2] [4,11,17 13] [5,10,17 6] [4,11,17 6] [5,10,17 13] (6,7) [2,13,9 6] [5,16,9 17] [2,13,9 17] [5,16,9 6] [0,9,11 6] [3,13,11 19] [0,9,11 19] [3,13,11 6] [0,13,15 19] [2,11,15 6] [0,13,15 6] [2,11,15 19] (8,9) [2,13,9 6] [5,16,9 17] [2,13,9 17] [5,16,9 6] [2,16,12 19] [5,15,12 18] [2,16,12 18] [5,15,12 11] [8,13,12 11] [1,13,15 19] [8,13,12 19] [1,13,15 6] [2,11,15 6] [3,10,15 7] [2,11,15 19] [3,10,15 18] [4,9,15 18] [4,9,15 7] (10,11) [0,13,15 19] [2,11,15 6] [0,13,15 6] [2,11,15 19] [3,10,15 7] [4,9,15 18] [3,10,15 18] [4,9,15 7] [1,15,17 2] [3,12,17 7] [1,15,17 7] [3,12,17 2] [4,11,17 13] [5,10,17 6] [4,11,17 6] [5,10,17 13] (11,12) [0,17,19 1] [3,16,19 2] [0,17,19 2] [3,16,19 1] [5,13,19 4] [7,9,19 6] [5,13,19 8] [7,9,19 4] [18,14,19 8] [7,13,11 2] [18,14,19 6] [7,13,11 3] Let B j = (B lj \A j ) A j, where 3 j 12 and (l j,j) runs over each value in the first column of the above table. It is readily checked that (X,B i ) is a minimum (K 20 \K 9,G)-covering for each 1 i 12, where the removed subgraph K 9 is constructed on Y = {0,1,,8}. Now assume that
9 684 «42Æ π 0,0 = ( )( ), π 0,1 = ( )( ), π 0,2 = ( )(15 17)(18 19), π 0,3 = (9 11)( )(15 19)(17 18), π 0,4 = ( )( ), π 0,5 = ( )(11 13)( ), π 0,6 = ( )(15 19)( ), π 0,7 = ( )( )( ), π 0,8 = (9 11)(10 14)(12 13)( )(16 18), π 0,9 = ( )( ), π 0,10 = (9 11)(10 13)(12 14)( ), π 0,11 = (9 12)(10 11)(13 14)(15 16)(17 19), π 0,12 = ( )( )( ), π 0,13 = (9 11)(10 13)(15 17)(16 18), π 0,14 = (9 11)(10 13)(12 14)( )(16 18), π 0,15 = (9 11)(10 13)(12 14)(16 18)(17 19), π 0,16 = ( )( ), π 0,17 = (4 7 8)(5 6)(16 19)(17 18), π 0,18 = (4 5)(6 7 8)(16 17)(18 19), π 0,19 = ( )( ), π 0,20 = (4 5)(10 12), π 0,21 = (2 4)(9 12), π 0,22 = ( ), π 0,23 = ( ), π 0,24 = (1 5 4), π 0,25 = (12 13), π 0,26 = (9 14), π 0,27 = (0 1 6), π 0,28 = (2 5 6), π 0,29 = (1 4), π 0,30 = (2 4), π 0,32 = (1 6), π 0,33 = (2 6), π 8,0 = ( )(9 10), π 8,1 = (1 8 4)(3 5)(16 18), π 8,2 = (0 2)(1 4 3)( ), π 8,3 = (1 2 7)(3 4)(10 14), π 8,4 = (0 2)(1 7 3)(4 6), π 8,5 = (0 3)(1 2 6)(10 13), π 8,6 = (1 5 4)(3 8)(17 19), π 8,7 = (0 6)(3 5)(17 18), π 8,8 = ( )(12 13), π 8,9 = (0 4)(1 7 8)(10 14), π 8,10 = (5 6)(10 12)(16 19), π 8,11 = (3 7 8)( ), π 8,12 = (1 6 7)(16 18), π 8,13 = (3 6 7)(4 8), π 8,14 = (2 8 7)(18 19), π 8,15 = (5 6)(16 19)(17 18), π 8,16 = (4 7 6)(16 18), π 14,13 = (2 4)(10 12)(15 17), π 16,0 = ( ), π 16,1 = ( ), π 16,2 = (0 1)(16 18), π 16,3 = (1 4)(12 13), π 16,4 = ( ), π 16,5 = (2 5)(11 13), π 16,6 = (1 7)(12 14), π 16,7 = (2 6)(3 5), π 16,8 = ( ), π 18,12 = (5 6 7), π 24,0 = (15 16), π 24,3 = (0 1)(16 18), π 24,8 = (4 7), π 26,6 = (4 7). Take π s,t = (1) if (s,t) {(0,34),(0,38),(0,39),(7,32),(8,21),(8,26),(13,26),(14,20),(20,14), (21,8),(19,20),(20,19),(26,8),(26,13),(29,0),(32,7),(34,0),(38,0),(38,1),(39,0)}. It is readily checked that for each row in Table 4, π s,t Y = Y, B i π s,t B j = s and T(B i \ π s,t B j ) T(π s,t B j \B i ) = t. Table 4 Fine triangle intersections for minimum (K 20 \ K 9,G)-coverings i j (s, t) i j (s, t) i j (s, t) 1 1 M 20 \{(0,20),,(0,30), 1 3 (38,0) 1 4 (38,1) (0,32),(0,33),(0,34),(0,38),(0,39), 1 5 (32,7) 1 6 (26,13) (7,32),(8,21),(8,26),(13,26), 1 7 (20,19) 1 8 (24,3),(29,0) (14,20),(16,0),(16,4),(16,6), 1 9 (21,8) 1 10 (16,0),(34,0) (19, 20),(20, 14),(20, 19),(21, 8), 1 11 (26, 8) 1 12 (20, 14) (24,3),(26,6),(26,8),(26,13), 2 2 (16,4),(16,6),(26,6) 2 3 (0,38) (29,0),(32,7),(34,0),(38,0),(38,1)} 2 5 (7,32) 2 6 (13,26) 2 7 (19, 20) 2 9 (8, 21) 1 2 (0,20),,(0,30),(0,32), 2 10 (0,34) 2 11 (8,26) (0, 33),(0, 39) 2 12 (14, 20) Lemma 1.8 Fin(v) = Adm(v) for 11 v 23 and v 16,17,22. Proof By Lemma 0.1, Fin(v) Adm(v). We need to show that Adm(v) Fin(v). When v = 21, our proof will rely on the fact that Fin(12) = Adm(12). Thus one can first make use of the following procedure to obtain Fin(v) = Adm(v) for 11 v 23 and v 16,17,21,22. Then the same procedure guarantees Fin(21) = Adm(21). For each 11 v 23 and v 16,17,22, take the corresponding M v from Lemmas
10 5,, : The Fine Triangle Intersection Problem for Minimum Kite Coverings 685 and from Table 5 in Lemma 3.1 in Appendix. Let G be a kite and (α v,β v ) M v. Let 6, if v = 11,14, 5, if v = 12,13, 7, if v = 15, h v = 9, if v = 19,20, 10, if v = 18,23, 12, if v = 21. By Lemmas and Lemma 3.1 in Appendix, there is a pair of minimum (K v \ K hv,g)- coverings(or(k v \K hv,g)-designs)(x,b (v) 1 )and(x,b(v) 2 )withthesamesubgraphk h v removed, which intersect in α v blocks and β v + α v triangles. Here the subgraph K hv is constructed on Y X. Let (γ v,ω v ) Adm(h v ) when v 19,20, and (γ v,ω v ) Adm(9)\{(8,0),(8,1)} when v = 19,20. Since [10] shows that Fin(9) = Adm(9) \ {(8,0),(8,1)}, combining the results of Lemmas , we have a pair of minimum kite coverings of order h v (Y,B (v) 1 ) and (Y,B (v) 2 ), with γ v common blocks and γ v + ω v common triangles. It follows that (X,B (v) 1 B (v) 1 ) and (X,B (v) 2 B (v) 2 ) are both minimum kite coverings of order v with α v +γ v common blocks and α v +β v +γ v +ω v common triangles. Thus we have, when v 19,20, and when v = 19,20, Fin(v) {(α v +γ v,β v +ω v ) : (α v,β v ) M v,(γ v,ω v ) Adm(h v )}, Fin(v) {(α v +γ v,β v +ω v ) : (α v,β v ) M v,(γ v,ω v ) Adm(9)\{(8,0),(8,1)}}. It is readily checked that for any pair of integers (s,t) Adm(v), we have (s,t) Fin(v). Lemma 1.9 Fin(22) = Adm(22). Proof Take the same set M 22 as in Lemma 3.2in Appendix. Let (α,β) M 22. By Lemma 3.2inAppendix, thereisapairofkite-gddsoftype withthesamegroupset, whichintersect in α blocks and β +α triangles. Let (γ 1,ω 1 ) and (γ 2,ω 2 ) Adm(8)\{(6,0),(6,1)}. It is shown in [10] that there is a pair of kite systems of order 8 intersecting in γ i common blocks and ω i + γ i common triangles for i = 1,2. Let (γ 3,ω 3 ) Adm(6). By Lemma 1.3, there is a pair of minimum kite covering of order 6 with γ 3 common blocks and ω 3 +γ 3 common triangles. So we obtain a pair of minimum kite covering of order 22 with α + 3 γ i common blocks and β + 3 ω i +(α+ 3 γ i) common triangles. Thus we have {( ) 3 3 Fin(22) α+ γ i,β + ω i : (α,β) M 22,(γ 3,ω 3 ) Adm(6), (γ 1,ω 1 ),(γ 2,ω 2 ) Adm(8)\{(6,0),(6,1)} }. It is readily checked that for any pair of integers (s,t) Adm(22), we have (s,t) Fin(22). 2 Main Theorem In this section we shall establish the main theorem of this paper. First we need to introduce some auxiliary designs.
11 686 «42Æ Let K be a set of positive integers. A group divisible design (GDD) K-GDD is a triple (X,G,A) satisfying the following properties: (1) G is a partition of a finite set X into subsets (called groups); (2) A is a set of subsets of X (called blocks), each of cardinality from K, such that every 2-subset of X is either contained in exactly one block or in exactly one group, but not in both. If G contains u i groups of size g i for 1 i r, then we call g u1 1 gu2 2 gur r the group type (or type) of the GDD. If K = {k}, we write a {k}-gdd as a k-gdd. We quote the following result for later use. Lemma 2.1 [16] Let g, t and u be nonnegative integers. There exists a 3-GDD of type g t u 1 if and only if the following conditions are all satisfied: (1) if g > 0, then t 3, or t = 2 and u = g, or t = 1 and u = 0, or t = 0; (2) u g(t 1) or gt = 0; (3) g(t 1)+u 0(mod 2) or gt = 0; (4) gt 0(mod 2) or u = 0; (5) g2 t(t 1) 2 +gtu 0(mod 3). Let H = {H 1,H 2,,H m } be a partition of a finite set X into subsets (called holes), where H i = n i for 1 i m. Let K n1,n 2,,n m be the complete multipartite graph on X with the i-th part on H i, and G be a subgraph of K n1,n 2,,n m. A holey G-design is a triple (X,H,B) such that (X,B) is a (K n1,n 2,,n m,g)-design. The hole type (or type) of the holey G-design is {n 1,n 2,,n m }. We use an exponential notation to describe hole types: the hole type g u1 1 gu2 2 gur r denotes u i occurrences of g i for 1 i r. Obviously if G is the complete graph K k, a holey K k -design is just a k-gdd. When G is kite, a holey G-design is said to be a kite-gdd. A pair of holey G-designs (X,H,B 1 ) and (X,H,B 2 ) of the same type is said to intersect in s blocks if B 1 B 2 = s. A pair of holey G-designs (X,H,B 1 ) and (X,H,B 2 ) of the same type is said to intersect in t triangles if T(B 1 ) T(B 2 ) = t, where T(B i ) = B B i T(B), i = 1,2. Lemma 2.2 [10] Let (s,t) {(0,0),(0,1),(0,12),(12,0)}. There exists a pair of kite-gdds of type 4 3 with the same group set intersecting in s blocks and t+s triangles. Let (s 1,t 1 ) and (s 2,t 2 ) be two pairs of nonnegative integers. Define (s 1,t 1 ) + (s 2,t 2 ) = (s 1 +s 2,t 1 +t 2 ). If X and Y are two sets of pairs of nonnegative integers, then X +Y denotes the set {(s 1,t 1 )+(s 2,t 2 ) : (s 1,t 1 ) X,(s 2,t 2 ) Y}. If X is a set of pairs of nonnegative integers and h is some positive integer, then h X denotes the set of all pairs of nonnegative integers which can be obtained by adding any h elements of X together (repetitions of elements of X allowed). Lemma 2.3 For any integer v 2,3,,7,10,11,,15(mod 24) and v 4, Fin(v) = Adm(v). Proof The cases of v = 4,5,6,7,10,11,,15 follow from Lemmas and Lemma 1.8. Assume that v 24. By Lemma 0.1, we have Fin(v) Adm(v). We need to show that Adm(v) Fin(v). Let v = 8u+a with u 0,1(mod 3), u 3 and a {2,3,,7}. Start from a 3-GDD of type 2 u from Lemma 2.1. Give each point of the GDD weight 4. By Lemma 2.2, there is a pair of kite-gdds of type 4 3 with α common blocks and α+β common triangles, (α,β) {(0,0),(0,12),(12,0)}. Then there exists a pair of kite-gdds of type 8 u which intersect in x α i blocks and x (α i + β i ) triangles, where x = 2u(u 1) 3 is the number of
12 5,, : The Fine Triangle Intersection Problem for Minimum Kite Coverings 687 blocks of the 3-GDD of type 2 u and (α i,β i ) {(0,0),(0,12),(12,0)} for 1 i x. Define A(8+c) = A 8+c, where c {2,3,4} and A 8+c is taken from Table 6 of Lemma 3.3 in Appendix. When c {5,6,7}, define A(8+c) = M 8+c, where M 8+c is taken from Table 5 of Lemma 3.1 in Appendix. By Lemmas 3.1 and 3.3, there is a pair of (K 8+a \K a,g)-designs with the same vertex set and the same subgraph K a removed with γ j common blocks and γ j + ω j commontriangles, where(γ j,ω j ) A(8+a), 1 j u 1, anda {2,3,,7}. ByLemmas1.5 and1.8, thereisapairofminimum kitecoveringoforder8+awithγ u commonblocksandγ u +ω u common triangles, (γ u,ω u ) Adm(8+a), then there exists a pair of minimum kite covering of order v = 8u+a with x α i + u j=1 γ j common blocks and x (α i +β i )+ u j=1 (γ j +ω j ) common triangles. Thus we have {( x ) u x u Fin(v) α i + γ j, β i + ω j : (α i,β i ) {(0,0),(0,12),(12,0)},1 i x, j=1 j=1 (γ j,ω j ) A(8+a),1 j u 1,(γ u,ω u ) Adm(8+a) { x = (α i,β i )+ u (γ j,ω j ) : (α i,β i ) {(0,0),(0,12),(12,0)},1 i x, j=1 (γ j,ω j ) A(8+a),1 j u 1,(γ u,ω u ) Adm(8+a) =x {(0,0),(0,12),(12,0)}+(u 1) A(8+a)+Adm(8+a). Let n be the number of blocks of a (K 8+a \K a,g)-design. Then n = 7+2a. Let m be the number of blocks of a minimum kite covering of order 8+a. Define S(z) = {(s,t) : s+t z,s,t 0}. Then it is readily checked that (u 1) A(8+a)+Adm(8+a) = (u 1) A(8+a)+S(m) = (u 2) A(8+a)+[A(8+a)+S(m)] = (u 2) A(8+a)+S(m+n) = S((u 1)n+m). } } Note that {(0,0),(0,12),(12,0)}+S(z) = S(z +12) (1) for any integer z 22. Since (u 1)n+m 22, using Formula (1) inductively x times, we have Fin(v) (x 1) {(0,0),(0,12),(12,0)}+({(0,0),(0,12),(12,0)}+S((u 1)n+m)) = (x 1) {(0,0),(0,12),(12,0)}+S((u 1)n+m+12) = S((u 1)n+m+12x) = S(b v ) = Adm(v). This completes the proof. Lemma 2.4 For any integer v 18,19,,23(mod 24) and v 18, Fin(v) = Adm(v).
13 688 «42Æ Proof The cases of v = 18,19,,23 follow from Lemmas Assume that v 42. By Lemma 0.1, we have Fin(v) Adm(v). We need to show that Adm(v) Fin(v). Let v = 8u+a with u 2(mod 3), u 5 and a {2,3,,7}. Start from a 3-GDD of type 2 u from Lemma 2.1. Give each point of the GDD weight 4. By Lemma 2.2, there is a pair of kite-gdds of type 4 3 with α common blocks and α+β common triangles, (α,β) {(0,0),(0,12),(12,0)}. Then we obtain a pair of kite-gdds of type 8 u with x α i common blocks and x (α i + β i ) common triangles, where x = 2(u+1)(u 2) 3 is the number of blocks of the 3-GDD of type 2 u and (α i,β i ) {(0,0),(0,12),(12,0)} for 1 i x. Define A(8+c) = A 8+c, where c {2,3,4} and A 8+c is taken from Table 6 of Lemma 3.3 in Appendix. When c {5,6,7}, define A(8 + c) = M 8+c, where M 8+c is taken from Table 5 of Lemma 3.1 in Appendix. By Lemmas 3.1 and 3.3, there is a pair of (K 8+a \K a,g)-designs with the same vertex set and the same subgraph K a removed with γ j common blocks and γ j +ω j common triangles, where (γ j,ω j ) A(8+a), 1 j u 2, and a {2,3,,7}. By Lemmas , there is a pair of minimum kite coverings of order 16+a with γ u 1 common blocks and γ u 1 + ω u 1 common triangles, (γ u 1,ω u 1 ) Adm(16 + a). So we obtain a pair of minimum kite coverings of order v = 8u + a with x α i + u 1 j=1 γ j common blocks and x (α i +β i )+ u 1 j=1 (γ j +ω j ) common triangles. Thus we have Fin(v) {( x u 1 α i + γ j, j=1 x ) u 1 β i + ω j j=1 : (α i,β i ) {(0,0),(0,12),(12,0)},1 i x, (γ j,ω j ) A(8+a),1 j u 2,(γ u 1,ω u 1 ) Adm(16+a) { x u 1 = (α i,β i )+ (γ j,ω j ) : (α i,β i ) {(0,0),(0,12),(12,0)},1 i x, j=1 (γ j,ω j ) A(8+a),1 j u 2,(γ u 1,ω u 1 ) Adm(16+a) =x {(0,0),(0,12),(12,0)}+(u 2) A(8+a)+Adm(16+a). Next by similar arguments as those in Lemma 2.3, we have Adm(v) Fin(v). Proof of Theorem 0.2 When v 0, 1(mod 8) and v 8, it is shown in [10] that Fin(v) = Adm(v)\{(b v 1,0),(b v 1,1)}. When v 2,3,,7(mod 8) and v 4, combining the results of Lemmas , we have Fin(v) = Adm(v). 3 Appendix Lemma 3.1 [29] Let G be a kite and M v be defined in Table 5. Let (s,t) M v and 6, if v = 11,14, 5, if v = 12,13, h v = 7, if v = 15, 10, if v = 18,23, 12, if v = 21. } }
14 5,, : The Fine Triangle Intersection Problem for Minimum Kite Coverings 689 Then there is a pair of (K v \K hv,g)-designs with the same vertex set and the same subgraph K hv removed, which intersect in s blocks and t+s triangles. Table 5 Fine triangle intersections for (K v \ K hv,g)-designs v M v 11 {(s,t) : s+t 10,s {0,1,10},t is a nonnegative integer} {(4,6),(5,0),(5,2),(6,4),(7,0),(8,1)} 12 ({(s,t) : s+t 14,s {0,3,8,12,14},t is a nonnegative integer} \{(3,9),(3,10),(8,2),(8,4),(8,5),(12,1)}) {(4,10),(5,9),(6,0), (6,2),(6,5),(6,8),(7,4),(7,7),(9,5),(10,0),(10,2),(10,4)} 13 ({(s,t) : s+t 17,s {0,3,6,9,15,17},t is a nonnegative integer} \{(0,15),(3,12),(6,8),(6,9),(9,4),(9,5),(9,7),(15,1)}) {(2,15),(5,11), (7,7),(8,9),(10,5),(11,4),(11,6),(12,0),(12,3),(13,0),(13,2),(14,3)} 14 ({(s,t) : s+t 19,s {0,4,8,17,19},t is a nonnegative integer} \{(4,13),(8,8),(8,9),(8,10),(17,1)}) {(7,9),(7,11),(10,5),(10,9), (11,6),(12,0),(12,1),(12,2),(13,6),(14,0),(14,3),(15,2),(16,3)} 15 {(0,0),(0,1),,(0,16),(0,18),(0,21),(4,17),(6,0),(6,1),,(6,8),(6,12),(8,13), (9,8),(12,0),(12,4),(12,6),(12,9),(13,2),(13,8),(17,1),(17,4),(18,0),(21,0) 18 {(0,0),(0,1),,(0,17),(0,27),(27,0),(3,24),(6,21),(8,0),(9,18), (12,5),(12,15),(15,0),(15,12),(18,9),(21,0),(24,3)} 21 {(0,0),(0,1),,(0,19),(0,24),(0,36),(36,0),(6,30),(7,0),, (7,7),(12,5),(12,24),(13,11),(18,18),(24,0),(24,12),(30,6)} 23 {(0,0),(0,1),,(0,18),(7,0),(7,6),(7,7),(7,10),(10,6),(0,22), (0,26),(0,34),(0,42),(0,52),(3,49),(5,21),(5,29),(5,37),(6,46), (7,19),(9,43),(10,24),(10,32),(12,14),(12,40),(14,0),(14,12), (15,19),(15,27),(15,37),(18,8),(18,34),(19,15),(20,22),(21,5), (21,31),(22,0),(22,20),(24,10),(24,28),(26,0),(27,15),(27,25), (28,24),(29,5),(31,21),(32,10),(34,0),(34,18),(37,5),(37,15), (40,12),(42,0),(43,9),(46,6),(49,3),(52,0)} Lemma 3.2 [29] Let M 22 = {(0,0),(0,1),,(0,20),(10,0),(10,1),,(10,6),(13,7), (0,28),(0,40),(7,33),(11,17),(14,26),(17,11),(21,19),(26,14),(28,0),(33,7),(40,0)}. Let(s,t) M 22. Then there is a pair of kite-gdds of type with the same group set, which intersect in s blocks and t+s triangles. Lemma 3.3 [29] Let G be a kite and (v,a) {(10,2),(11,3),(12,4)}. Let A v be defined in Table 6 and (s,t) A v. Then there is a pair of (K v \K a,g)-designs with the same vertex set and the same subgraph K a removed, which intersect in s blocks and t+s triangles. Table 6 Fine triangle intersections for (K v \ K a,g)-designs (v,a) A v (10,2) {(s,t) : s+t 11,s {0,11},t is a nonnegative integer}\{(0,9)} (11,3) {(s,t) : s+t 13,s {0,13},t is a nonnegative integer}\{(0,10),(0,12)} (12,4) {(s,t) : s+t 15,s {0,15},t is a nonnegative integer}\{(0,12),(0,13)} References [1] Adams, P., Billington, E.J., Bryant, D.E. and Mahmoodian, E.S., The three-way intersection problem for Latin squares, Discrete Math., 2002, 243(1/2/3): [2] Baker, C., The intersection problem for Latin squares with holes of size 2 and 3, Ph.D. Thesis, Auburn: Auburn University, [3] Billington, E.J., The intersection problem for combinatorial designs, Congr. Numer., 1993, 92: [4] Billington, E.J., Gionfriddo, M. and Lindner, C.C., The intersection problem for K 4 e designs, J. Statist. Plann. Inference, 1997, 58(1): [5] Billington, E.J., and Kreher, D.L., The intersection problem for small G-designs, Australas. J. Combin., 1995, 12: [6] Billington, E.J., Yazici, E.S. and Lindner, C.C., The triangle intersection problem for K 4 e designs, Utilitas Math., 2007, 73: 3-21.
15 690 «42Æ [7] Chang Y.X., Feng T. and Lo Faro, G., The triangle intersection problem for S(2,4,v) designs, Discrete Math., 2010, 310(22): [8] Chang Y.X., Feng T., Lo Faro, G. and Tripodi, A., The triangle intersection numbers of a pair of disjoint S(2, 4, v), Discrete Math., 2010, 310(21): [9] Chang Y.X., Feng T., Lo Faro, G. and Tripodi, A., The fine triangle intersection problem for (K 4 e)-designs, Discrete Math., 2011, 311(21): [10] Chang Y.X., Feng T., Lo Faro, G. and Tripodi, A., The fine triangle intersection problem for kite systems, Discrete Math., 2012, 312(3): [11] Chang Y.X., Feng T., Lo Faro, G. and Tripodi, A., Enumerations of (K 4 e)-designs with small orders, Quaderni di Matematica (special volume dedicated to the memory of Lucia Gionfriddo), in press. [12] Chang Y.X. and Lo Faro, G., Intersection numbers of Kirkman triple systems, J. Combin. Theory Ser. A, 1999, 86(2): [13] Chang Y.X. and Lo Faro, G., Intersection numbers of Latin squares with their own orthogonal mates, Australas. J. Combin., 2002, 26: [14] Chee, Y.M., Ling, A.C.H. and Shen H., The fine intersection problem for Steiner triple systems, Graphs and Combin., 2008, 24(3): [15] Colbourn, C.J., Hoffman, D.G. and Lindner, C.C., Intersections of S(2, 4, v) designs, Ars Combin., 1992, 33: [16] Colbourn, C.J., Hoffman, D.G. and Rees, R.S., A new class of group divisible designs with block size three, J. Combin. Theory Ser. A, 1992, 59(1): [17] Fu, C.-M. and Fu, H.-L., The intersection problem of Latin squares, J. Combin. Inform. System Sciences, 1990, 15(1/2/3/4), [18] Fu, H.-L., On the construction of certain types of Latin squares having prescribed intersections, Ph.D. Thesis, Auburn: Auburn University, [19] Gionfriddo, M. and Lindner, C.C., Construction of Steiner quadruple systems having a prescribed number of blocks in common, Discrete Math., 1981, 34(1): [20] Hartman, A., and Yehudai, Z., Intersections of Steiner quadruple systems, Discrete Math., 1992, 104(3): [21] Hoffman, D.G. and Lindner, C.C., The flower intersection problem for Steiner triple systems, Ann. Discrete Math., 1987, 34: [22] Kramer, E.S. and Mesner, D.M., Intersections among Steiner systems, J. Combin. Theory Ser. A, 1974, 16(3): [23] Lefevre, J.G. and McCourt, T.A., The disjoint m-flower intersection problem for Latin squares, Electr. J. Combin., 2011, 18(1): #P42. [24] Lindner, C.C. and Rosa, A., Steiner triple systems having a prescribed number of triples in common, Canad. J. Math., 1975, 27(5): Corrigendum: Canad. J. Math., 1978, 30(4): 896. [25] Lindner, C.C. and Yazici, E.S., The triangle intersection problem for kite systems, Ars Combin., 2005, 75: [26] Mahmoodian, E.S. and Soltankhah, N., Intersection of 2-(v, 4, 1) directed designs, J. Combin. Math. Combin. Comput., 1996, 20: [27] Rosa, A., Intersection properties of Steiner systems, Ann. Discrete Math., 1980, 7: [28] Teirlinck, L., On making two Steiner triple systems disjoint, J. Combin. Theory Ser. A, 1977, 23(3): [29] Zhang G.Z., Chang Y.X. and Feng T., The fine triangle intersections for maximum kite packings, Acta Mathematica Sinica, English Series, 2013, 29(5): ¾ kite ±²¹ ¼½»º 1,2, 1, 1 (1. Å,, ; 2.,,, ) : ÈÇ kite ÏÁ ÎÄ Ã.  Fin(v) = {(s,t) : Æ s Ì À s+t ÎÄ v Å kite ÏÁ}.  Adm(v) = {(s,t) : s+t b v,s,t }, Ê b v = v(v 1) 8. ÉÇ Í v 0,1(mod 8) Ë v 8, Fin(v) = Adm(v) \{(b v 1,0),(b v 1,1)}; Í v 2,3,,7(mod 8) Ë v 4, Fin(v) = Adm(v). ³µ : kite ÏÁ; ÎÄ Ã ; ÎÄ Ã
The Intersection Problem for Steiner Triple Systems. Bradley Fain
The Intersection Problem for Steiner Triple Systems by Bradley Fain A thesis submitted to the Graduate Faculty of Auburn University in partial fulfillment of the requirements for the Degree of Master of
More informationC 7 -DECOMPOSITIONS OF THE TENSOR PRODUCT OF COMPLETE GRAPHS
Discussiones Mathematicae Graph Theory 37 (2017) 523 535 doi:10.7151/dmgt.1936 C 7 -DECOMPOSITIONS OF THE TENSOR PRODUCT OF COMPLETE GRAPHS R.S. Manikandan Department of Mathematics Bharathidasan University
More informationSteiner Triple Systems Intersecting in Pairwise Disjoint Blocks
Steiner Triple Systems Intersecting in Pairwise Disjoint Blocks Yeow Meng Chee Netorics Pte Ltd 130 Joo Seng Road #05-02 Olivine Building Singapore 368357 ymchee@alumni.uwaterloo.ca Submitted: Feb 18,
More informationThe Doyen-Wilson theorem for 3-sun systems
arxiv:1705.00040v1 [math.co] 28 Apr 2017 The Doyen-Wilson theorem for 3-sun systems Giovanni Lo Faro Dipartimento di Scienze Matematiche e Informatiche, Scienze Fisiche e Scienze della Terra Università
More informationMinimal perfect bicoverings of K v with block sizes two, three and four
Minimal perfect bicoverings of K v with block sizes two, three and four M.J. Grannell and T.S. Griggs Department of Pure Mathematics The Open University Walton Hall Milton Keynes MK7 6AA UNITED KINGDOM
More informationDecomposing dense bipartite graphs into 4-cycles
Decomposing dense bipartite graphs into 4-cycles Nicholas J. Cavenagh Department of Mathematics The University of Waikato Private Bag 3105 Hamilton 3240, New Zealand nickc@waikato.ac.nz Submitted: Jun
More informationSmall Group Divisible Steiner Quadruple Systems
Small Group Divisible Steiner Quadruple Systems Artem A. Zhuravlev, Melissa S. Keranen, Donald L. Kreher Department of Mathematical Sciences, Michigan Technological University Houghton, MI 49913-0402,
More informationGeneralizing Clatworthy Group Divisible Designs. Julie Rogers
Generalizing Clatworthy Group Divisible Designs by Julie Rogers A dissertation submitted to the Graduate Faculty of Auburn University in partial fulfillment of the requirements for the Degree of Doctor
More informationOn the existence of (K 1,3,λ)-frames of type g u
AUSTRALASIAN JOURNAL OF COMBINATORICS Volume 68(2) (2017), Pages 17 29 On the existence of (K 1,,λ)-frames of type g u Fen Chen Haitao Cao Institute of Mathematics Nanjing Normal University Nanjing 21002
More information4-Cycle Group-Divisible Designs with Two Associate Classes
Combinatorics Probability and Computing 2001 10 317 343. c 2001 Cambridge University Press DOI 10.1017/S0963548301004734 Printed in the United Kingdom 4-Cycle Group-Divisible Designs with Two Associate
More informationPure Latin directed triple systems
AUSTRALASIAN JOURNAL OF COMBINATORICS Volume 62(1) (2015), Pages 59 75 Pure Latin directed triple systems Aleš Drápal Department of Algebra, Charles University Sokolovská 83, 186 75 Praha 8 Czech Republic
More informationRepresenting graphs in Steiner triple systems - II
AUSTRALASIAN JOURNAL OF COMBINATORICS Volume 67(2) (2017), Pages 243 258 Representing graphs in Steiner triple systems - II Dan Archdeacon Department of Mathematics and Statistics University of Vermont
More informationinto B multisets, or blocks, each of cardinality K (K V ), satisfying
,, 1{8 () c Kluwer Academic Publishers, Boston. Manufactured in The Netherlands. Balanced Part Ternary Designs: Some New Results THOMAS KUNKLE DINESH G. SARVATE Department of Mathematics, College of Charleston,
More informationEquiblocking Sets in K 2,2 -Designs and in K 3,3 -Designs
Applied Mathematical Sciences, Vol. 7, 013, no. 91, 4549-4557 HIKARI Ltd, www.m-hikari.com http://dx.doi.org/10.1988/ams.013.36341 Equiblocking Sets in K, -Designs and in K 3,3 -Designs Mario Gionfriddo
More informationThe embedding problem for partial Steiner triple systems
Late last year several news-items appeared announcing the solution of the 30 year old Lindner s conjecture by UoQ Graduate student Daniel Horsley and his supervisor Darryn Bryant, see e.g., http://www.uq.edu.au/news/?article=8359,
More informationBlocking Sets in Designs with Block Size 4
Europ. J. Combinatorics (1990) 11,451-457 Blocking Sets in Designs with Block Size 4 D. G. HOFFMAN, C. C. LINDNER AND K. T. PHELPS We construct A-fold block designs with block size 4 and A E {1, 2} of
More informationMinimum degree conditions for the existence of fractional factors in planar graphs
AUSTRALASIAN JOURNAL OF COMBINATORICS Volume 72(3) (2018), Pages 536 548 Minimum degree conditions for the existence of fractional factors in planar graphs P. Katerinis Department of Informatics, Athens
More informationSymmetric bowtie decompositions of the complete graph
Symmetric bowtie decompositions of the complete graph Simona Bonvicini Dipartimento di Scienze e Metodi dell Ingegneria Via Amendola, Pad. Morselli, 4100 Reggio Emilia, Italy simona.bonvicini@unimore.it
More informationUniform Coloured Hypergraphs and Blocking Sets
Applied Mathematical Sciences, Vol. 7, 2013, no. 91, 4535-4548 HIKARI Ltd, www.m-hikari.com http://dx.doi.org/10.12988/ams.2013.36312 Uniform Coloured Hypergraphs and Blocking Sets Mario Gionfriddo Dipartimento
More informationDecomposing oriented graphs into transitive tournaments
Decomposing oriented graphs into transitive tournaments Raphael Yuster Department of Mathematics University of Haifa Haifa 39105, Israel Abstract For an oriented graph G with n vertices, let f(g) denote
More informationAdditional Constructions to Solve the Generalized Russian Cards Problem using Combinatorial Designs
Additional Constructions to Solve the Generalized Russian Cards Problem using Combinatorial Designs Colleen M. Swanson Computer Science & Engineering Division University of Michigan Ann Arbor, MI 48109,
More informationChih-Hung Yen and Hung-Lin Fu 1. INTRODUCTION
TAIWANESE JOURNAL OF MATHEMATICS Vol. 14, No. 1, pp. 273-286, February 2010 This paper is available online at http://www.tjm.nsysu.edu.tw/ LINEAR 2-ARBORICITY OF THE COMPLETE GRAPH Chih-Hung Yen and Hung-Lin
More informationPALINDROMIC AND SŪDOKU QUASIGROUPS
PALINDROMIC AND SŪDOKU QUASIGROUPS JONATHAN D. H. SMITH Abstract. Two quasigroup identities of importance in combinatorics, Schroeder s Second Law and Stein s Third Law, share many common features that
More informationDisjoint G-Designs and the Intersection Problem for Some Seven Edge Graphs. Daniel Hollis
Disjoint G-Designs and the Intersection Problem for Some Seven Edge Graphs by Daniel Hollis A dissertation submitted to the Graduate Faculty of Auburn University in partial fulfillment of the requirements
More informationChapter 1. Latin Squares. 1.1 Latin Squares
Chapter Latin Squares. Latin Squares Definition... A latin square of order n is an n n array in which n distinct symbols are arranged so that each symbol occurs exactly once in each row and column. If
More informationDECOMPOSITION OF COMPLETE GRAPHS INTO TRIANGLES AND CLAWS. Chin-Mei Fu*, Yuan-Lung Lin, Shu-Wen Lo and Yu-Fong Hsu 1. INTRODUCTION
TAIWANESE JOURNAL OF MATHEMATICS Vol. 18, No. 5, pp. 153-1581, October 2014 DOI: 10.1150/tjm.18.2014.319 This paper is available online at http://journal.taiwanmathsoc.org.tw DECOMPOSITION OF COMPLETE
More informationTraffic Grooming in Unidirectional Wavelength-Division Multiplexed Rings with Grooming Ratio C = 6
Traffic Grooming in Unidirectional Wavelength-Division Multiplexed Rings with Grooming Ratio C = 6 Jean-Claude Bermond Charles J. Colbourn David Coudert Gennian Ge Alan C. H. Ling October 16, 6 Xavier
More informationMonogamous decompositions of complete bipartite graphs, symmetric H -squares, and self-orthogonal I-factorizations
Monogamous decompositions of complete bipartite graphs, symmetric H -squares, and self-orthogonal I-factorizations C.C. Lindner Department of Discrete and Statistical Sciences Auburn University Auburn,
More informationSome V(12,t) vectors and designs from difference and quasi-difference matrices
AUSTRALASIAN JOURNAL OF COMBINATORICS Volume 4 (28), Pages 69 85 Some V(12,t) vectors and designs from difference and quasi-difference matrices R Julian R Abel School of Mathematics and Statistics University
More informationOrthogonal arrays of strength three from regular 3-wise balanced designs
Orthogonal arrays of strength three from regular 3-wise balanced designs Charles J. Colbourn Computer Science University of Vermont Burlington, Vermont 05405 D. L. Kreher Mathematical Sciences Michigan
More informationOn a 3-Uniform Path-Hypergraph on 5 Vertices
Applied Mathematical Sciences, Vol. 10, 2016, no. 30, 1489-1500 HIKARI Ltd, www.m-hikari.com http://dx.doi.org/10.12988/ams.2016.512742 On a 3-Uniform Path-Hypergraph on 5 Vertices Paola Bonacini Department
More informationList Decomposition of Graphs
List Decomposition of Graphs Yair Caro Raphael Yuster Abstract A family of graphs possesses the common gcd property if the greatest common divisor of the degree sequence of each graph in the family is
More informationFactors in Graphs With Multiple Degree Constraints
Factors in Graphs With Multiple Degree Constraints Richard C. Brewster, Morten Hegner Nielsen, and Sean McGuinness Thompson Rivers University Kamloops, BC V2C0C8 Canada October 4, 2011 Abstract For a graph
More informationOn completing partial Latin squares with two filled rows and at least two filled columns
AUSTRALASIAN JOURNAL OF COMBINATORICS Volume 68(2) (2017), Pages 186 201 On completing partial Latin squares with two filled rows and at least two filled columns Jaromy Kuhl Donald McGinn Department of
More informationNew infinite families of Candelabra Systems with block size 6 and stem size 2
New infinite families of Candelabra Systems with block size 6 and stem size 2 Niranjan Balachandran Department of Mathematics The Ohio State University Columbus OH USA 4210 email:niranj@math.ohio-state.edu
More informationGroup Divisible Designs With Two Groups and Block Size Five With Fixed Block Configuration
Group Divisible Designs With Two Groups and Block Size Five With Fixed Block Configuration Spencer P. Hurd Nutan Mishra and Dinesh G. Sarvate Abstract. We present constructions and results about GDDs with
More informationOn the Upper Chromatic Number of Uniform Hypergraphs
Applied Mathematical Sciences, Vol. 8, 2014, no. 101, 5015-5025 HIKARI Ltd, www.m-hikari.com http://dx.doi.org/10.12988/ams.2014.4586 On the Upper Chromatic Number of Uniform Hypergraphs Mario Gionfriddo
More informationPlanar and Affine Spaces
Planar and Affine Spaces Pýnar Anapa İbrahim Günaltılı Hendrik Van Maldeghem Abstract In this note, we characterize finite 3-dimensional affine spaces as the only linear spaces endowed with set Ω of proper
More information4 CONNECTED PROJECTIVE-PLANAR GRAPHS ARE HAMILTONIAN. Robin Thomas* Xingxing Yu**
4 CONNECTED PROJECTIVE-PLANAR GRAPHS ARE HAMILTONIAN Robin Thomas* Xingxing Yu** School of Mathematics Georgia Institute of Technology Atlanta, Georgia 30332, USA May 1991, revised 23 October 1993. Published
More informationSidon sets and C 4 -saturated graphs
Sidon sets and C 4 -saturated graphs arxiv:1810.056v1 [math.co] 11 Oct 018 David F. Daza Carlos A. Trujillo Universidad del Cauca, A.A. 755, Colombia. davidaza@unicauca.edu.co - trujillo@unicauca.edu.co
More informationarxiv: v1 [math.co] 10 Nov 2016
Indecomposable 1-factorizations of the complete multigraph λk 2n for every λ 2n arxiv:1611.03221v1 [math.co] 10 Nov 2016 S. Bonvicini, G. Rinaldi November 11, 2016 Abstract A 1-factorization of the complete
More informationON THE NUMBERS OF CUT-VERTICES AND END-BLOCKS IN 4-REGULAR GRAPHS
Discussiones Mathematicae Graph Theory 34 (2014) 127 136 doi:10.7151/dmgt.1724 ON THE NUMBERS OF CUT-VERTICES AND END-BLOCKS IN 4-REGULAR GRAPHS Dingguo Wang 2,3 and Erfang Shan 1,2 1 School of Management,
More informationDECOMPOSITIONS OF MULTIGRAPHS INTO PARTS WITH THE SAME SIZE
Discussiones Mathematicae Graph Theory 30 (2010 ) 335 347 DECOMPOSITIONS OF MULTIGRAPHS INTO PARTS WITH THE SAME SIZE Jaroslav Ivančo Institute of Mathematics P.J. Šafári University, Jesenná 5 SK-041 54
More informationThe Steiner Quadruple Systems of Order 16
The Steiner Quadruple Systems of Order 16 Petteri Kaski a,1, Patric R. J. Östergård b,2, Olli Pottonen b,2 a Helsinki Institute for Information Technology HIIT, Basic Research Unit, PO Box 68, 00014 University
More informationCombinatorial Designs Man versus Machine
Combinatorial Designs Man versus Machine Anamari Nakić Department of Energy and Power Systems Faculty of Electrical Engineering and Computing University of Zagreb Zagreb 2015 1 / 47 The theory of combinatrial
More informationWeek 15-16: Combinatorial Design
Week 15-16: Combinatorial Design May 8, 2017 A combinatorial design, or simply a design, is an arrangement of the objects of a set into subsets satisfying certain prescribed properties. The area of combinatorial
More informationCharacterization of quasi-symmetric designs with eigenvalues of their block graphs
AUSTRALASIAN JOURNAL OF COMBINATORICS Volume 68(1) (2017), Pages 62 70 Characterization of quasi-symmetric designs with eigenvalues of their block graphs Shubhada M. Nyayate Department of Mathematics,
More informationA UNIVERSAL SEQUENCE OF CONTINUOUS FUNCTIONS
A UNIVERSAL SEQUENCE OF CONTINUOUS FUNCTIONS STEVO TODORCEVIC Abstract. We show that for each positive integer k there is a sequence F n : R k R of continuous functions which represents via point-wise
More informationWatchman s walks of Steiner triple system block intersection graphs
AUSTRALASIAN JOURNAL OF COMBINATORICS Volume 68(1) (017), Pages 3 34 Watchman s walks of Steiner triple system block intersection graphs Danny Dyer Department of Mathematics and Statistics St. John s Campus,
More informationOctagon Quadrangle Systems nesting 4-kite-designs having equi-indices
Computer Science Journal of Moldova, vol.19, no.3(57), 2011 Octagon Quadrangle Systems nesting 4-kite-designs having equi-indices Luigia Berardi, Mario Gionfriddo, Rosaria Rota Abstract An octagon quadrangle
More informationOn uniquely 3-colorable plane graphs without prescribed adjacent faces 1
arxiv:509.005v [math.co] 0 Sep 05 On uniquely -colorable plane graphs without prescribed adjacent faces Ze-peng LI School of Electronics Engineering and Computer Science Key Laboratory of High Confidence
More informationEmbedding partial Steiner triple systems with few triples
Embedding partial Steiner triple systems with few triples arxiv:140.739v1 [math.co] 1 Feb 014 Daniel Horsley School of Mathematical Sciences Monash University Vic 3800, Australia danhorsley@gmail.com Abstract
More informationStanton Graph Decompositions
Stanton Graph Decompositions Hau Chan and Dinesh G. Sarvate Abstract. Stanton graphs S k (in honor of professor Ralph G. Stanton) are defined, and a new graph decomposition problem for Stanton graphs is
More informationPARTITIONS OF FINITE VECTOR SPACES INTO SUBSPACES
PARTITIONS OF FINITE VECTOR SPACES INTO SUBSPACES S.I. EL-ZANATI, G.F. SEELINGER, P.A. SISSOKHO, L.E. SPENCE, AND C. VANDEN EYNDEN Abstract. Let V n (q) denote a vector space of dimension n over the field
More informationEvery SOMA(n 2, n) is Trojan
Every SOMA(n 2, n) is Trojan John Arhin 1 Marlboro College, PO Box A, 2582 South Road, Marlboro, Vermont, 05344, USA. Abstract A SOMA(k, n) is an n n array A each of whose entries is a k-subset of a knset
More informationOn the Amicability of Orthogonal Designs
On the Amicability of Orthogonal Designs W. H. Holzmann and H. Kharaghani Department of Mathematics & Computer Science University of Lethbridge Lethbridge, Alberta, T1K 3M4 Canada email: holzmann@uleth.ca,
More informationOn the Hamilton-Waterloo problem with triangle factors and C 3x -factors
AUSTRALASIAN JOURNAL OF COMBINATORICS Volume 64(3) (016), Pages 458 474 On the Hamilton-Waterloo problem with triangle factors and C 3x -factors John Asplund Dalton State College Department of Technology
More informationOn the Classification of Splitting (v, u c, ) BIBDs
BULGARIAN ACADEMY OF SCIENCES CYBERNETICS AND INFORMATION TECHNOLOGIES Volume 18, No 5 Special Thematic Issue on Optimal Codes and Related Topics Sofia 2018 Print ISSN: 1311-9702; Online ISSN: 1314-4081
More informationOn Some Three-Color Ramsey Numbers for Paths
On Some Three-Color Ramsey Numbers for Paths Janusz Dybizbański, Tomasz Dzido Institute of Informatics, University of Gdańsk Wita Stwosza 57, 80-952 Gdańsk, Poland {jdybiz,tdz}@inf.ug.edu.pl and Stanis
More informationA special class of nested Steiner triple systems*
DISCRETE MATHEMATICS ELSEVIER Discrete Mathematics 152 (1996) 315-320 Note A special class of nested Steiner triple systems* Darryn E. Bryant Centre for Combinatorics, Department ofmathematics, The University
More informationExistence of doubly near resolvable (v, 4, 3)-BIBDs
AUSTRALASIAN JOURNAL OF COMBINATORICS Volume 47 (2010), Pages 109 124 Existence of doubly near resolvable (v, 4, 3)-BIBDs R. Julian R. Abel Nigel H. N. Chan School of Mathematics and Statistics University
More informationDiscrete Mathematics. The edge spectrum of the saturation number for small paths
Discrete Mathematics 31 (01) 68 689 Contents lists available at SciVerse ScienceDirect Discrete Mathematics journal homepage: www.elsevier.com/locate/disc The edge spectrum of the saturation number for
More informationOn colourings of Steiner triple systems
On colourings of Steiner triple systems A.D. Forbes, M.J. Grannell and T.S. Griggs Department of Pure Mathematics The Open University Walton Hall Milton Keynes MK7 6AA UNITED KINGDOM tonyforbes@ltkz.demon.co.uk
More informationOn scores in tournaments and oriented graphs. on score sequences in oriented graphs. Also we give a new proof for Avery s
Chapter On scores in tournaments and oriented graphs In this Chapter, we report the results available in literature on score sequences in tournaments and oriented graphs. We obtain many new results on
More informationPrimitive 2-factorizations of the complete graph
Discrete Mathematics 308 (2008) 175 179 www.elsevier.com/locate/disc Primitive 2-factorizations of the complete graph Giuseppe Mazzuoccolo,1 Dipartimento di Matematica, Università di Modena e Reggio Emilia,
More informationA note on balanced bipartitions
A note on balanced bipartitions Baogang Xu a,, Juan Yan a,b a School of Mathematics and Computer Science Nanjing Normal University, 1 Ninghai Road, Nanjing, 10097, China b College of Mathematics and System
More informationRepresentations of disjoint unions of complete graphs
Discrete Mathematics 307 (2007) 1191 1198 Note Representations of disjoint unions of complete graphs Anthony B. Evans Department of Mathematics and Statistics, Wright State University, Dayton, OH, USA
More informationLatin squares: Equivalents and equivalence
Latin squares: Equivalents and equivalence 1 Introduction This essay describes some mathematical structures equivalent to Latin squares and some notions of equivalence of such structures. According to
More informationDepartment of Mathematics, Suzhou University Suzhou China (PRC) Abstract
On the existence of self-orthogonal diagonal Latin squares Du Department of Mathematics, Suzhou University Suzhou 215006 China (PRC) Abstract A diagonal Latin square is a Latin square whose main diagonal
More informationAutomorphism groups of Steiner triple systems
Automorphism groups of Steiner triple systems Alexander Rosa Department of Mathematics and Statistics, McMaster University Rosa (McMaster) Automorphism groups of Steiner triple systems 1 / 20 Steiner triple
More informationTransversal Designs in Classical Planes and Spaces. Aiden A. Bruen and Charles J. Colbourn. Computer Science. University of Vermont
Transversal Designs in Classical Planes and Spaces Aiden A. Bruen and Charles J. Colbourn Computer Science University of Vermont Burlington, VT 05405 U.S.A. Abstract Possible embeddings of transversal
More informationINTRCDUCTION Let n be a natural integer and let K be a set of naturals. One of the most central problems of combinatorial theory is to determine those
EDGE DECOMPOSITIONS OF THE COMPLETE GRAPH INTO COPIES OF A CONNECTED SUBGRAPH by P. Erdős and J. Schbnheim Department of Mathematics Statistics and Computing Science University of Calgary übo 2.A.. Necessary
More informationGallai s Conjecture For Graphs of Girth at Least Four. Peter Harding and Sean McGuinness Thompson Rivers University
Gallai s Conjecture For Graphs of Girth at Least Four Peter Harding and Sean McGuinness Thompson Rivers University i Gallai s Conjecture For Graphs of Girth at Least Four Peter Harding and Sean McGuinness
More informationConstruction of optimal supersaturated designs by the packing method
Science in China Ser. A Mathematics 2004 Vol.47 No.1 128 143 Construction of optimal supersaturated designs by the packing method FANG Kaitai 1, GE Gennian 2 & LIU Minqian 3 1. Department of Mathematics,
More informationCycle Systems. Nidhi Sehgal
Cycle Systems by Nidhi Sehgal A dissertation submitted to the Graduate Faculty of Auburn University in partial fulfillment of the requirements for the Degree of Doctor of Philosophy Auburn, Alabama May
More informationDISTANCE LABELINGS: A GENERALIZATION OF LANGFORD SEQUENCES. 1. Introduction
DISTANCE LABELINGS: A GENERALIZATION OF LANGFORD SEQUENCES S. C. LÓPEZ AND F. A. MUNTANER-BATLE Abstract. A Langford sequence of order m and defect d can be identified with a labeling of the vertices of
More informationSkolem-type Difference Sets for Cycle Systems
Skolem-type Difference Sets for Cycle Systems Darryn Bryant Department of Mathematics University of Queensland Qld 072 Australia Heather Gavlas Department of Mathematics Illinois State University Campus
More informationc 2010 Society for Industrial and Applied Mathematics
SIAM J. DISCRETE MATH. Vol. 24, No. 3, pp. 1038 1045 c 2010 Society for Industrial and Applied Mathematics SET SYSTEMS WITHOUT A STRONG SIMPLEX TAO JIANG, OLEG PIKHURKO, AND ZELEALEM YILMA Abstract. A
More informationDoyen-Wilson results for odd length cycle systems
Doyen-Wilson results for odd length cycle systems arxiv:1411.3785v [math.co] 1 Jun 015 Daniel Horsley and Rosalind A. Hoyte School of Mathematical Sciences Monash University Vic 3800, Australia danhorsley@gmail.com,
More informationPARTITIONING THE BLOCKS OF A STEINER TRIPLE SYSTEM INTO PARTIAL PARALLEL CLASSES
Michigan Technological University Digital Commons @ Michigan Tech Dissertations, Master's Theses and Master's Reports - Open Dissertations, Master's Theses and Master's Reports 2014 PARTITIONING THE BLOCKS
More information--------------------------------------------------------------------------------------------- Math 6023 Topics: Design and Graph Theory ---------------------------------------------------------------------------------------------
More informationMathematical Department, University of Bayreuth, D Bayreuth
,, {6 () c Kluwer Academic Publishers, Boston. Manufactured in The Netherlands. A Steiner 5-Design on 36 Points ANTON BETTEN anton.betten@uni-bayreuth.de REINHARD LAUE reinhard.laue@uni-bayreuth.de ALFRED
More informationThere exists no Steiner system S(4, 5, 17)
There exists no Steiner system S(4, 5, 17) Patric R. J. Östergård 1, Olli Pottonen 1,2 Department of Communications and Networking, Helsinki University of Technology, PO Box 3000, 02015 TKK, Finland Abstract
More informationPeter J. Dukes. 22 August, 2012
22 August, 22 Graph decomposition Let G and H be graphs on m n vertices. A decompostion of G into copies of H is a collection {H i } of subgraphs of G such that each H i = H, and every edge of G belongs
More informationand critical partial Latin squares.
Nowhere-zero 4-flows, simultaneous edge-colorings, and critical partial Latin squares Rong Luo Department of Mathematical Sciences Middle Tennessee State University Murfreesboro, TN 37132, U.S.A luor@math.wvu.edu
More informationVertex-Coloring Edge-Weighting of Bipartite Graphs with Two Edge Weights
Discrete Mathematics and Theoretical Computer Science DMTCS vol. 17:3, 2015, 1 12 Vertex-Coloring Edge-Weighting of Bipartite Graphs with Two Edge Weights Hongliang Lu School of Mathematics and Statistics,
More informationResolving Triple Systems into Regular Configurations
Resolving Triple Systems into Regular Configurations E. Mendelsohn Department of Mathematics, University of Toronto Toronto, ON M5S 3G3 CANADA mendelso@math.utoronto.ca G. Quattrocchi Dipartimento di Matematica,
More informationOn the Schur Complement of Diagonally Dominant Matrices
On the Schur Complement of Diagonally Dominant Matrices T.-G. Lei, C.-W. Woo,J.-Z.Liu, and F. Zhang 1 Introduction In 1979, Carlson and Markham proved that the Schur complements of strictly diagonally
More informationRamsey Unsaturated and Saturated Graphs
Ramsey Unsaturated and Saturated Graphs P Balister J Lehel RH Schelp March 20, 2005 Abstract A graph is Ramsey unsaturated if there exists a proper supergraph of the same order with the same Ramsey number,
More informationBulletin of the Iranian Mathematical Society
ISSN: 117-6X (Print) ISSN: 1735-8515 (Online) Bulletin of the Iranian Mathematical Society Vol. 4 (14), No. 6, pp. 1491 154. Title: The locating chromatic number of the join of graphs Author(s): A. Behtoei
More informationEves Equihoop, The Card Game SET, and Abstract SET
Eves Equihoop, The Card Game SET, and Abstract SET Arthur Holshouser 3600 Bullard St Charlotte, NC, USA Harold Reiter Department of Mathematics, University of North Carolina Charlotte, Charlotte, NC 83,
More informationSquare 2-designs/1. 1 Definition
Square 2-designs Square 2-designs are variously known as symmetric designs, symmetric BIBDs, and projective designs. The definition does not imply any symmetry of the design, and the term projective designs,
More informationDecompositions of graphs into cycles with chords
Decompositions of graphs into cycles with chords Paul Balister Hao Li Richard Schelp May 22, 2017 In memory of Dick Schelp, who passed away shortly after the submission of this paper Abstract We show that
More informationMinimizing the Laplacian eigenvalues for trees with given domination number
Linear Algebra and its Applications 419 2006) 648 655 www.elsevier.com/locate/laa Minimizing the Laplacian eigenvalues for trees with given domination number Lihua Feng a,b,, Guihai Yu a, Qiao Li b a School
More informationarxiv: v1 [math.co] 13 Sep 2018
SIDON SETS AND 2-CAPS IN F n 3 YIXUAN HUANG, MICHAEL TAIT, AND ROBERT WON arxiv:1809.05117v1 [math.co] 13 Sep 2018 Abstract. For each natural number d, we introduce the concept of a d-cap in F n 3. A subset
More informationGeneralized covering designs and clique coverings
Generalized covering designs and clique coverings Robert F. Bailey, Andrea C. Burgess, Michael S. Cavers, Karen Meagher March 14, 2011 Abstract Inspired by the generalized t-designs defined by Cameron
More informationBuilding Graphs from Colored Trees
Building Graphs from Colored Trees Rachel M. Esselstein CSUMB Department of Mathematics and Statistics 100 Campus Center Dr. Building 53 Seaside, CA 93955, U.S.A. resselstein@csumb.edu Peter Winkler Department
More informationAn exact Turán result for tripartite 3-graphs
An exact Turán result for tripartite 3-graphs Adam Sanitt Department of Mathematics University College London WC1E 6BT, United Kingdom adam@sanitt.com John Talbot Department of Mathematics University College
More informationarxiv: v1 [math.co] 28 Oct 2016
More on foxes arxiv:1610.09093v1 [math.co] 8 Oct 016 Matthias Kriesell Abstract Jens M. Schmidt An edge in a k-connected graph G is called k-contractible if the graph G/e obtained from G by contracting
More informationThe existence of designs - after Peter Keevash
The existence of designs - after Peter Keevash Bourbaki seminar, IHP, Paris, June 27, 2015 Introduction: Designs and Steiner systems A set S of q-subsets of an n-set X is a design with parameters (n, q,
More information