On decompositions of complete multipartite graphs into the union of two even cycles
|
|
- Buck Booth
- 5 years ago
- Views:
Transcription
1 On decompositions of complete multipatite gaphs into the union of two even cycles A. Su, J. Buchanan, R. C. Bunge, S. I. El-Zanati, E. Pelttai, G. Rasmuson, E. Spaks, S. Tagais Depatment of Mathematics Illinois State Univesity Nomal, IL U.S.A. Abstact Fo positive integes c and d, let K c d denote the complete multipatite gaph with c pats, each containing d vetices. Let G with n edges be the union of two vetex-disjoint even cycles. We use gaph labelings to show that thee exists a cyclic G-decomposition of K n+1) t, K n/+1) t, K 5 n/)t, and of K nt fo evey positive intege t. If n 0 mod ), then thee also exists a cyclic G-decomposition of K n+1) t, K n/+1) 8t, K 9 n/)t, and of K 3 nt fo evey positive intege t. 1 Intoduction If a and b ae integes we denote {a, a + 1,..., b} by [a, b] if a > b, [a, b] = ). Let N 0 denote the set of nonnegative integes and Z n the goup of integes modulo n. Fo a gaph G, let V G) and EG) denote the vetex set of G and the edge set of G, espectively. Let K k denote the complete gaph on k vetices. Let V K k ) = Z k and let G be a subgaph of K k. The length of an edge {i, j} EG) is defined as min{ i j, k i j }. By clicking G, we mean applying the isomophism i i + 1 to V G). Let H and G be gaphs such that G is a subgaph of H. A G-decomposition of H is a set Γ = {G 1, G,..., G t } of paiwise edge-disjoint subgaphs of H each of which is isomophic to G and such that EH) = t EG i). If H is K k, a G-decomposition Γ of H is cyclic if clicking is an automophism of Γ. The Reseach suppoted by National Science Foundation Gant No. A
2 decomposition is puely cyclic if it is cyclic and Γ = V H). If G is a gaph and is a positive intege, G denotes the vetex disjoint union of copies of G. The study of gaph decompositions, also known as the study of gaph designs o G-designs, is a popula aea of eseach. In paticula, decompositions of complete gaphs into cycles have attacted a geat deal of attention. Fo elatively ecent suveys on gaph decompositions, we diect the eade to [] and [5]. A popula method fo obtaining gaph decompositions is via gaph labelings. Fo any gaph G, a one-to-one function f : V G) N 0 is called a labeling o a valuation) of G. In [1], Rosa intoduced a hieachy of labelings. Let G be a gaph with n edges and no isolated vetices and let f be a labeling of G. Let fv G)) = {fu) : u V G)}. Define a function f : EG) Z + by fe) = fu) fv), whee e = {u, v} EG). We will efe to fe) as the label of e. Let feg)) = { fe) : e EG)}. Conside the following conditions: l1) fv G)) [0, n], l) fv G)) [0, n], l3) feg)) = {x 1, x,..., x n }, whee fo each i [1, n] eithe x i = i o x i = n + 1 i, l) feg)) = [1, n]. If in addition G is bipatite with vetex bipatition {A, B}, conside also l5) fo each {a, b} EG) with a A and b B, we have fa) < fb), l6) thee exists an intege λ such that fa) λ fo all a A and fb) > λ fo all b B. Then a labeling satisfying the conditions: l1), l3) l1), l) is called a ρ-labeling; is called a σ-labeling; l), l) is called a β-labeling. A β-labeling is necessaily a σ-labeling which in tun is a ρ-labeling. Suppose G is bipatite. If a ρ-, σ-, o β-labeling of G satisfies condition l5), then the labeling is odeed and is denoted by ρ +, σ +, o β +, espectively. If in addition l6) is satisfied, the labeling is unifomly odeed and is denoted by ρ ++, σ ++, o β ++, espectively. A β-labeling is bette known as a gaceful labeling and a unifomly odeed β-labeling is an α-labeling as intoduced in [1]. Labelings of the
3 types above ae called Rosa-type labelings because of Rosa s oiginal aticle [1] on the topic see [10] fo a compehensive suvey of Rosa-type labelings). A dynamic suvey on geneal gaph labelings is maintained by Gallian [11]. Labelings ae citical to the study of cyclic gaph decompositions as seen in the following two esults fom [1] and [9], espectively. Theoem 1. Let G be a gaph with n edges. Thee exists a puely cyclic G-decomposition of K n+1 if and only if G has a ρ-labeling. Theoem. Let G be a gaph with n edges that admits a ρ + -labeling. Then thee exists a cyclic G-decomposition of K nx+1 fo all positive integes x. d-modula labelings and decompositions of K c dt Fo positive integes c and d, let K c d denote the complete multipatite gaph with c pats, each containing d vetices. Note that K c d has cd vetices and c ) d edges. We can conside K c d as a subgaph of the complete gaph K cd, with V K c d ) = Z cd and EK c d ) = { {u, v} : u, v Z cd, u v mod c) }, that is, the c pats of K c d ae the conguence classes of Z cd modulo c. Note that K c d has pecisely the edges of K cd whose lengths ae not multiples of c. Let G be a gaph and let {G 1, G,..., G t } be a G-decomposition of K c d with V K c d ) = Z cd as defined above). If clicking pemutes the gaphs in the decomposition, then we say that it is a cyclic G-decomposition of K c d, and if clicking G 1 cd 1 times poduces each gaph in the decomposition exactly once, then we say the decomposition is puely cyclic. In the latte case if G has n edges, we must have c ) d = ncd, and so c = n/d + 1. Suppose that G is a gaph with n edges and d is a positive intege such that d divides n. Set c = n/d + 1, so that cd = n + d. By a d-modula ρ-labeling of G we mean a one-to-one function f : V G) [0, cd 1] such that { { } } [ min fu) fv), cd fu) fv) : {u, v} EG) = 1, cd ] \cz. In othe wods, a d-modula ρ-labeling of a gaph with n edges has evey edge length in K n+d exactly once except fo any multiples of n/d + 1. Figue 1 shows an example of a 3-modula ρ-labeling of a 6-cycle. As a subgaph of K 15, the edge length 5 is missing. Thus this C 6 has one edge of each length in K 5 3 and clicking it 1 times would poduce a puely cyclic C 6 -decomposition of K 5 3. Thus fom the definition of d-modula ρ-labelings, it is staightfowad to see that the following holds. 3
4 Theoem 3. If the gaph G with n edges admits a d-modula ρ-labeling and c = n/d + 1, then K c d has a puely cyclic G-decomposition. We obseve that a ρ-labeling of G is necessaily a 1-modula ρ-labeling. Moeove, a σ-labeling of G is necessaily a -modula ρ-labeling. We also note the following. Theoem. Let G be a bipatite gaph with n edges. If G admits a ρ + - labeling, then G admits a n-modula ρ-labeling. Poof. Let {A, B} be a bipatition of V G) and let f be a ρ + -labeling of G such that fa) < fb) fo evey {a, b} EG) with a A and b B. Define a labeling g : V G) [0, n 1] by ga) = fa) fo a A and gb) = fb) 1 fo b B. It is easy to veify that g is a n-modula ρ-labeling of G. Next we note that if evey vetex of a gaph G has even degee, then in a d-modula labeling of G, the numbe of edges with an odd label must be even. This is known as the paity condition. Lemma 5. Let G be a gaph with all even degees and let f be a d-modula labeling of G. Let O = {e EG): fe) is odd}. Then O is even. Poof. Fo e = {u, v} EG), eithe fe) = fu) fv) o fe) = fv) fu). Let S = fe). e EG) Let v V G). Since degv) is even, the sum of the numbe of occuences of fv) and of fv) in S is even. Theefoe S is even and hence O must be even. The concept of a d-modula ρ-labeling elates vey closely to the concepts of diffeence families and diffeence matices developed by Buatti and seveal co-authos ove the last seveal yeas. See fo example, Buatti [6], Buatti and Gionfiddo [7], and Buatti and Pasotti [8]. Anothe elated concept is that of a d-gaceful labeling as intoduced by Pasotti in [13]. Rathe than define these additional concepts hee, we state a poweful esult on d-modula ρ-labelings that can be obtained fom the main esult on gaph decompositions with the use of diffeence matices in [8]. Theoem 6. If a z-patite gaph G with n edges has a d-modula ρ-labeling and c = n/d+1, then K c td has a cyclic G-decomposition fo evey positive intege t such that gcdt, z 1)!) = 1. Thus if G is bipatite, then we have the following coollay to Theoem 6. Coollay 7. If a bipatite gaph G with n edges has a d-modula ρ-labeling and c = n/d+1, then K c td has a cyclic G-decomposition fo evey positive intege t.
5 We illustate how the esult in Coollay 7 woks. Let {A, B} be a bipatition of V G) and let f be a d-modula ρ-labeling of G. Let A = {u 1, u,..., u } and B = {v 1, v,..., v s }. Let x be a positive intege. Fo 1 i x, let G i be a copy of G with bipatition A, B i ) whee B i = {v i,1, v i,,..., v i,s } and v i,j coesponds to v j in B. Let Gx) = G 1 G G x. Thus Gx) is bipatite with bipatition {A, B 1 B B x }. Define a labeling f of Gx) as follows: f a) = fa) fo each a A and f v i,j ) = fv j ) + i 1)n + d) fo 1 i x and 1 j s. It is easy to see that f is a d-modula ρ-labeling of Gx) and thus Theoem 3 applies. Figue 1 shows a 3-modula ρ-labeling of C 6 and the thee states fo a cyclic C 6 -decomposition of K 5 9 that can be obtained fom that 3-modula ρ-labeling of C = Figue 1: A 3-modula ρ-labeling of C 6 and thee states fo a cyclic C 6 - decomposition of K 5 9. In this aticle, we investigate the existence of d-modula ρ-labelings fo the gaph G consisting of the vetex-disjoint union of two even cycles. In light of Coollay 7, these labelings lead to cyclic G-decompositions of vaious infinite classes of complete multipatite gaphs. In [13], Pasotti poduces labelings of C k that lead to cyclic C k -decompositions of K k+1) n and of K k+1) 8n fo all positive integes k and n. She also poduces labelings that lead to cyclic C k -decompositions of K k+1) n fo all odd integes k 1 and all positive integes n. In [3], Benini and Pasotti efine the esults fom [13] to poduce labelings of C k that yield cyclic C k -decompositions of K k d +1) dn fo any positive integes k, n and any positive diviso d of k. Numeous othe authos have studied decompositions not necessaily cyclic ones) of complete multipatite gaphs into cycles. Paticula focus has been placed on C 3 -decompositions of complete multipatite gaphs. Such decompositions fall unde the umbella of the study of goup divisible designs see [1] fo a summay). The poblem of C k -decompositions of the complete bipatite gaph K m,n was settled completely by Sotteau in [15]. 5
6 3 Additional Notation We denote the diected path with vetices x 0, x 1,..., x k, whee x i is adjacent to x i+1, 0 i k 1, by x 0, x 1,..., x k ). The fist vetex of this path is x 0, the second vetex is x 1, and the last vetex is x k. If x 0, x 1,..., x k, ae distinct vetices, then the path x 0, x 1,..., x k, x 0 ) is necessaily a cycle on k + 1 vetices. If G 1 = x 0, x 1,..., x j ) and G = y 0, y 1,..., y k ) ae diected paths with x j = y 0, then by G 1 + G we mean the path x 0, x 1,..., x j, y 1, y,..., y k ). Let P k) be the path with k edges and k + 1 vetices 0, 1,..., k given by 0, k, 1, k 1,, k,..., k/ ). Note that the set of vetices of this gaph is A B, whee A = [0, k/ ], B = [ k/ + 1, k], and evey edge joins a vetex of A to one of B. Futhemoe, the set of labels of the edges of P k) is [1, k]. Now let a and b be nonnegative integes with a b and let us add a to all the vetices of A and b to all the vetices of B. We will denote the esulting gaph by P a, b, k). Note that this gaph has the following popeties. P1) P a, b, k) is a path with fist vetex a and second vetex b + k. Its last vetex is a + k/ if k is even and b + k + 1)/ if k is odd. P) Each edge of P a, b, k) joins a vetex of A = [a, k/ + a] to a lage vetex of B = [ k/ b, k + b]. P3) The set of edge labels of P a, b, k) is [b a + 1, b a + k]. Now conside the diected path Qk) obtained fom P k) eplacing each vetex i with k i. The new gaph is the path k, 0, k 1, 1,..., k k/ ). The set of vetices of Qk) is A B, whee A = k B = [0, k k/ 1] and B = k A = [k k/, k], and evey edge joins a vetex of A to one of B. The set of edge labels is still [1, k]. The last vetex of Qk) is k/ B if k is even and k 1)/ A if k is odd. We add a to the vetices of A and b to vetices of B, whee a and b ae integes, 0 a b. This gaph is k + b, a, k + b 1, a + 1,...) which we will denote by Qa, b, k). Note that this gaph has the following popeties. Q1) Qa, b, k) is a path with fist vetex k + b. Its last vetex is b + k/ if k is even and a + k 1)/ if k is odd. Q) Each edge of Qa, b, k) joins a vetex of A = [a, a + k k/ 1] to a lage vetex of B = [b + k k/, b + k]. Q3) The set of edge labels of Qa, b, k) is [b a + 1, b a + k]. 6
7 a) P 3, 8, 5) b) Q5, 7, 6) Figue : Examples of the path notations with an even numbe of edges. Main Results Lemma 8. A d-modula ρ-labeling of C C s exists fo 1 s and d {1,,, 8, + s, + s), + s), 8 + s)}. Poof. Let G = C C s whee, s 1. The cases d = 1, d =, and d = 8 +s) can be obtained fom the fact that such a G necessaily admits an α-labeling see [1]). Case 1: d =. Let c = +s)/+1, so the complete multipatite gaph we ae woking in is K c d = K +s+1). Let C = G 1 + G + 1, + s + 1) and C s = G 3 + G + + 6s + 1, 6 + 8s + 3) whee G 1 = Q0, + s +, 1), G = P 1, 1, ), G 3 = Q + s +, 6 + 6s +, s 1), G = P + 5s + 1, 6 + 5s + 1, s). Fist, we show that G 1 + G + 1, + s + 1) is a cycle of length and G 3 + G + + 6s + 1, 6 + 8s + 3) is a cycle of length s. Note that by Q1) and P1), the fist vetex of G 1 is + s + 1, and the last is 1; the fist vetex of G is 1, and the last is 1; the fist vetex of G 3 is 6 + 8s + 3, and the last is + 5s + 1; and the fist vetex of G is + 5s + 1, and the last is + 6s + 1. Fo 1 i, let A i and B i denote the sets labeled A and B in Q) and P) coesponding to the path G i. Then using Q) and P), we compute A 1 = [0, 1], B 1 = [3 + s +, + s + 1], A = [ 1, 1], B = [, 3 1], A 3 = [ + s +, + 5s + 1], B 3 = [6 + 7s +, 6 + 8s + 3], A = [ + 5s + 1, + 6s + 1], B = [6 + 6s +, 6 + 7s + 1]. Thus, A 1 A < B < B 1 < A 3 A < B < B 3. Note that V G 1 ) V G ) = { 1} and V G 3 ) V G ) = { + 5s + 1}; othewise, G i and 7
8 G j ae vetex-disjoint fo i j. Theefoe, G 1 + G + 1, + s + 1) is a cycle of length and G 3 + G + + 6s + 1, 6 + 8s + 3) is a cycle of length s. Next, let E i denote the set of edge labels in G i fo 1 i. By Q3) and P3), we have edge labels E 1 = [ + s + 3, + s + 1], E 3 = [ + s + 3, + s + 1], E = [1, ], E = [ + 1, + s]. Moeove, the path 1, + s + 1) consists of an edge with label + s +, and the path + 6s + 1, 6 + 8s + 3) consists of an edge with label + s+. Thus, the edge set of G has one edge of each label i whee 1 i + s + 1 except + s + 1. That is, the set of edge labels is [1, cd/ ] \ cz. Theefoe, we have a -modula ρ-labeling of G. Case : d = 8. Let c = +s)/8+1, so the complete multipatite gaph we ae woking in is K c d = K +s+1) 8. Without loss of geneality, we can assume that s. Case.1: + s is even. Let C = G 1 + G + 1, + s + 3) and C s = G 3 + G + G 5 + G s +, 6 + 8s + 7) whee G 1 = Q0, + s +, 1), G = P 1, 1, ), G 3 = Q + s +, 7 + 7s + 7, s ), G = Q +s s + 5, +s s + 8, + s 1), G 5 = P + 5s +, 5 + 6s + 5, + s), G 6 = P +s + + 5s +, +s s +, s ). If we continue as in the poof fo Case 1, we can see that we have an 8-modula ρ-labeling of G. Case.: + s is odd. Let C = G 1 + G + 1, + s + 3) and C s = G 3 + G + G 5 + G s +, 6 + 8s + 7) whee G 1 = Q0, + s +, 1), G = P 1, 1, ), G 3 = Q + s +, 7 + 7s + 7, s ), G = P +s s +, +s s + 7, + s 1), G 5 = P + 5s + 3, 5 + 6s +, + s), G 6 = Q +s s + 5, +s s + 5, s ). 8
9 If we continue as in the poof fo Case 1, we can see that we have an 8-modula ρ-labeling of G. Case 3: d = + s. Let c = + s)/ + s) + 1, so the complete multipatite gaph we ae woking in is K c d = K 9 +s). Case 3.1: s 0 mod ). Let C = G 1 + G + 9, s 1) and C s = G 3 + G s, 7 + 9s 1) whee G 1 = 1 Q5i 5, s i 5, 8)) + Q5 5, s, 7), G = P 5 + i 6, 7 5i 6, 8)), G 3 = s 1 Q9 + 9 s + 5i 5, 7 + 9s i 5, 8)) + Q9 + 3 s 5, 7 + 8s, 7), G = s P s + i 6, 7 + 8s 5i 6, 8)). Fist, we show that G 1 + G + 9, s 1) is a cycle of length and G 3 + G s, 7 + 9s 1) is a cycle of length s. Note that by Q1) and P1), the fist vetex of G 1 is 9 +9 s 1, and the last is 5 ; the fist vetex of G is 5, and the last is 9 ; the fist vetex of G 3 is 7 + 9s 1, and the last is s ; and the fist vetex of G is s, and the last is s. Fo 1 i, let A i and B i denote the sets labeled A and B in Q) and 9
10 P) coesponding to the path G i. Then using Q) and P), we compute A 1 = B 1 = 1 1 = [7 A = ] [0, 5 ], [5i 5, 5i ]) [5 5, 5 [9 + 9 s i 1, s i + 3]) [7 + 9 s, s + 3] + 9 s, s 1], B = A 3 = s 1 [9 B 3 = s [5 [7 + i 6, 5 + i ]) = [5, 9 ], 5i 1, 7 5i + ]) [9 1, 7 3], [9 + 9 s + 5i 5, s + 5i ]) [9 + 3 s 5, s ] + 9 s, s ], 1 [7 + 9s i 1, 7 + 9s i + 3]) + 8s, 7 + 8s + 3] [7 = [7 + 8s, 7 + 9s 1], A = s = [9 B = s [9 + 3 s + i 6, s + i ]) + 3 s, s ], [7 + 8s 5i 1, 7 + 8s 5i + ]) 1, 7 + 8s 3]. [7 + 7 s Thus, A 1 A < B < B 1 < A 3 A < B < B 3. Note that V G 1 ) V G ) = {5 } and V G 3) V G ) = {9 +3 s }; othewise, G i and G j ae vetex-disjoint fo i j. Theefoe, G 1 +G +9, 9 +9 s 1) is a cycle of length and G 3 + G s, 7 + 9s 1) is a cycle of length s. Next, let E i denote the set of edge labels in G i fo 1 i. By Q3) 10
11 and P3), we have edge labels E 1 = 1 [9 + 9 s 9i + 1, s 9i + 8]) [9 + 9 s +, s + 8] = [9 + 9 s +, s 1] \ {9 + 9 s + 9, s E = = [1, 9 E 3 = s 1 [9 9i + 1, 9 9i + 8]) 1] \ {9, 18,..., 9 9}, + 18,..., s 9}, [9 + 9 s 9i + 1, s 9i + 8]) [9 + 9 s +, s + 8] = [9 + 9 s +, s 1] \ {9 + 9 s + 9, s E = s + 18,..., s 9}, [9 + 9 s 9i + 1, s 9i + 8]) = [9 + 1, s 1] \ {9 + 9, ,..., s 9}. Moeove, the path 9, s 1) consists of an edge with label s + 1, and the path s, 7 + 9s 1) consists of the edge with label s + 1. Thus, the edge set of G has one edge of each label i, whee 1 i s 1 except 9, 18,..., s 9. That is, the set of edge labels is [1, cd/ ] \ cz. Theefoe, we have an + s)-modula ρ-labeling of G. Case 3.: 0 and s 1 mod ). If s = 1, let C s = 7 +9, 9 +5, 7 +7, 9 +6, 7 +9). Othewise, let C = G 1 + G + 9 1, s 1 + ) and C s = G s 1 s 1 +5, 7 +8s 1, )+G +9 s , 7 +9s) whee G 1 = Q0, s 1, ) + 1 Q5i, s 1 i, 8) ) + Q5, s 1 + 3, 3), G = P 5 + i 5, 7 5i 5, 8)), G 3 = Q9 + 9 s 1 + 5, 7 + 9s, ) + s 1 1 Q9 + 9 s 1 + 5i + 3, 7 + 9s i 6, 8)) G = s 1 + Q9 + 3 s 1 + 3, 7 + 8s, 5), P 9 s i +, 7 + 8s 5i 6, 8)). If we continue as in the poof fo Case 3.1, we can see that we have an + s)-modula ρ-labeling of G. 11
12 Case 3.3: 0 and s mod ). Let C = G 1 + G + 9, s + 8) and C s = G 3 + G + 9 s , 7 + 9s 1) whee G 1 = 1 Q5i 5, s i +, 8) ) + Q5 5, s + 5, 7), G = P 5 + i 6, 7 5i 6, 8)), G 3 = s Q9 + 9 s + 5i +, 7 + 9s i 5, 8)) s , 7 + 8s, 3), + Q9 G = P 9 + s s , 7 + 8s 6, ) P 9 s i + 8, 7 + 8s 5i 8, 8)). If we continue as in the poof fo Case 3.1, we can see that we have an + s)-modula ρ-labeling of G. Case 3.: 0 and s 3 mod ). Let C = G 1 + G + 9 1, ) and C s = G s + 1, 9 s ) + G + 9 s , 7 + 9s) whee G 1 = Q0, 9 + 9, ) + 1 Q5i, 9 i + 7, 8) ) + Q5, 7 + 1, 3), G = P 5 + i 5, 7 5i 5, 8)), G 3 = Q9 + 1, 7 + 9s, ) + s 3 G = P 9 + s 3 Q9 + 5i + 1, 7 + 9s i 6, 8)), s , 7 + 8s 7, 6) P 9 s i + 16, 7 + 8s 5i 8, 8)). If we continue as in the poof fo Case 3.1, we can see that we have an + s)-modula ρ-labeling of G. Case 3.5: s 1 mod ). If s = 1, let C s = , , , , ). Othewise, let C = G s 1 + 8, 5 1 1, 1 +, ) + G , s 1 + 8) and 1
13 C s = G 3 + G s , s + 6) whee G 1 = 1 G = 1 G 3 = Q9 1 Q5i 5, s 1 i +, 8) ), P i 3, 7 1 5i 3, 8) ), + 9 s 1 + 9, s, 6) + s 1 1 Q s 1 + 5i + 8, s i 1, 8) ) + Q s 1 + 8, s + 5, 3), G = P s 1 + 9, s + 1, ) + s 1 1 P s 1 + i + 7, s 5i 1, 8) ) + P s 1 + 7, s 1 + 9, 6). If we continue as in the poof fo Case 3.1, we can see that we have an + s)-modula ρ-labeling of G. Case 3.6: 1 and s mod ). If = 1, let C = 9 s + 13, 0,, 1, 9 s + 13). If s =, let C s = , , 7 1 +, , 7 1 +, , , , ). Othewise, let C = G , , 5 + 1) + G , s + 13) and C s = G s + 8, s + 16) + G s , 7 + 9s + 7, s 1 + 1, 7 + 9s + 6) whee G 1 = Q0, s + 9, ) Q5i, s i + 7, 8) ) + Q5 1, s + 10, 5), G = 1 P i 3, 7 1 5i 3, 8) ), G 3 = s Q s + 5i + 11, s i +, 8) ), G = P s + 16, s, 6) + s 1 P s + i + 15, s 5i 1, 8) ) + P s + 15, s + 17, 6). If we continue as in the poof fo Case 3.1, we can see that we have an + s)-modula ρ-labeling of G. Case 3.7: 1 and s 3 mod ). If s = 3, let C s = , , , , , 9 + 0, 7 + 8, 9 + 1, 7 + 7, 9 +, , 9 + 3, ). Othewise, let C = G
14 s , 5, 7 +, 5 +1)+G s 3 +1, ) and C s = G 3 + G s 3 + 3, s + 6) whee G 1 = 1 G = 1 G 3 = Q9 1 G = s 3 Q5i 5, 9 1 i + 13, 8) ), P i 3, 7 1 5i 3, 8) ), + 18, s, 6) + s 3 1 Q i + 17, s i 1, 8) ) + Q s , s + 3, 7), P s 3 + i + 16, s 5i + 1, 8) ) + P s 3 + 0, s 3 +, 6). If we continue as in the poof fo Case 3.1, we can see that we have an + s)-modula ρ-labeling of G. Case 3.8: s mod ). If s =, let C s = , , , , 7 + 7, 9 + 0, 7 + 6, 9 + 1, ). Othewise, let C = G 1 + G , s + 17) and C s = G 3 + G s + 1, 7 + 9s + 13) whee G 1 = Q5i 5, s i + 13, 8) ) + Q5, s + 1, 3), G = P 5 + G 3 = Q9 G = s + 1, 7 + 1, ) P 5 + i 1, 7 5i 1, 8) ), + 9 s + 18, 7 + 9s + 9, ) + s 1 Q9 + 9 s + 5i + 16, 7 + Q9 + 3 s + 16, 7 + 8s + 10, 7), + 9s i + 7, 8) ) P s + i + 15, 7 + 8s 5i + 8, 8) ) + P s + 15, , ). If we continue as in the poof fo Case 3.1, we can see that we have an + s)-modula ρ-labeling of G. Case 3.9: and s 3 mod ). If =, let C = 9 s 3 +, 0, 9 s 3 + 1, 1, 5,,, 3, 9 s 3 + ). Othewise, let C = G 1 + G , 9 + ) and C s = G s 3 + 5, 7 + 8s + 1, s 3 + 1
15 6) + G s 3 + 8, 7 + 9s + 13) whee G 1 = Q0, , ) + 1 Q5i, 9 i + 16, 8) ) + Q5, , 7), G = P 5 + 1, 7 + 1, ) + P 5 + i 1, 7 5i 1, 8) ), G 3 = s 3 Q9 + 5i + 18, 7 + 9s i + 9, 8) ) + Q9 + 3 s 3 + 3, 7 + 8s + 11, 5), G = s 3 P s 3 + i +, 7 + 8s 5i + 7, 8) ) + P s 3 + 6, s , ). If we continue as in the poof fo Case 3.1, we can see that we have an + s)-modula ρ-labeling of G. Case 3.10: s 3 mod ). Let C = G 1 + G , ) and C s = G 3 + G s 3 + 3, s 3 + 0, s , 7 3 9s + 0, , s + 19) whee G 1 = 3 Q5i 5, 9 3 i +, 8) ) + Q5 3, , 5), G = P 5 3 +, 7 3 +, 6) G 3 = s 3 P i + 1, 7 3 5i + 1, 8) ), Q i +, s i + 15, 8) ) Q s 3 + 9, s + 19, 3), G = P s , s + 15, ) + s 3 P s 3 + i + 8, s 5i + 13, 8) ). If we continue as in the poof fo Case 3.1, we can see that we have an + s)-modula ρ-labeling of G. Case : d = + s). Let c = + s)/ + s) + 1, so the complete multipatite gaph we ae woking in is K c d = K 5 +s). Case.1: is odd, s is odd. If s = 1, let C s = , 5 + 5, , 5 + 6, ). 15
16 Othewise, let C = G s, 3 1 1,, 3 + 1) + G , 5 + 5s 1) and C s = G s 1 + 9s + 9, , 15 1 s 1 + 9s + 8, ) + G s 1 1 s 1 + 5, , s 1 + 6, s + 7, 5 + 5s, s + 6) whee G 1 = 1 Q3i 3, 5 + 5s i 3, ), G = 1 1 P 3 + i 1, 3i 5, ), G 3 = s 1 1 Q5 + 5s + 3i 1, s i +, ), G = s 1 s 1 P i + 3, s 3i +, ). If we continue as in the poof fo Case 3.1, we can see that we have a + s)-modula ρ-labeling of G. Case.: is odd, s is even. Let C = G 1 ++5s, 3 1 1,, 3 +1)+G , 5+5s 1) and C s = G s + 8, s 1 1, s + 6, s ) + G s 1, s s 1 + 7, , s + 7, 5 + 5s, s + 6) whee G 1 = 1 Q3i 3, 5 + 5s i 3, ), G = 1 G 3 = s 1 G = s 1 P i 1, 3i 5, ), Q5 + 5s + 3i 1, s i +, ), s 1 P i, s 3i + 3, ). If we continue as in the poof fo Case 3.1, we can see that we have a + s)-modula ρ-labeling of G. Case.3: is even, s is odd. Let C = G 1 ++5s+1, 3 3, +5s, 3 )+G +5, 5+5s 1) and C s = G s 1 s 1 + 9s, , s, ) + G s 1 + 6, s 1) whee G 1 = 1 Q3i 3, 5 + 5s i 3, ), G = P 3 + i, 3i, ), G 3 = s 1 Q5 + 5s + 3i 3, s i 3, ), G = s 1 s 1 P i +, s 3i 5, ). If we continue as in the poof fo Case 3.1, we can see that we have a + s)-modula ρ-labeling of G. 16
17 Case.: is even, s is even. Let C = G 1 ++5s+1, 3 3, +5s, 3 )+G +5, 5+5s 1) and C s = G s + 9s + 1, , s, ) + G s, s 1) whee G 1 = 1 Q3i 3, 5 + 5s i 3, ), G = P 3 + i, 3i, ), G 3 = s 1 Q5 + 5s + 3i 3, s i 3, ), G = s s P i, s 3i, ). If we continue as in the poof fo Case 3.1, we can see that we have a + s)-modula ρ-labeling of G. Case 5: d = + s). Let c = + s)/ + s) + 1, so the complete multipatite gaph we ae woking in is K c d = K 3 +s). Let C = G s, ) + G + 3, 6 + 6s 1) and C s = G s 1, 6 + 8s + 1) + G s, 9 + 1s 1) whee G 1 = 1 Qi, 6 + 6s i, ), G = P 3 + i, 5 3 i, ), G 3 = s Q6 + 6s + i, 9 + 1s i, ), G = s 1 P 6 + 8s + i, s i 3, ). In the case when = 1, the path G 1 is empty, and when s = 1, the path G is empty. Howeve, this does not change the poof in any way.) If we continue as in the poof fo Case 3.1, we can see that we have a + s)-modula ρ-labeling of G. Theoem 9. Let G = C C s and let n = + s. Then thee exists a cyclic G-decomposition of K n+1) t, K n+1) t, K n/+1) t, K n/+1) 8t, K 9 n/)t, K 5 n/)t, K 3 nt, and of K nt fo evey positive intege t. Lemma 10. A d-modula ρ-labeling of C C s+ exists fo, s 1 and d {1,, + s + 1, + s + 1)}. Poof. Let G = C C s+ whee, s 1. The cases d = 1 and d = + s + 1) can be obtained fom the fact that such a G necessaily admits a ρ + -labeling see []). Case 1: d =. Let c = + s + )/ + 1, so that the complete multipatite gaph we ae woking in is K c d = K +s+). 17
18 Case 1.1: s. Let C = G 1 + G + 1, ) and C s+ = G 3 + G + G s +, 8 + s + ) whee G 1 = Q0, + 1, 1), G = P 1, 1, ), G 3 = Q + 1, 8 + s + 3, s + 1), G = P + s + 1, 6 + 3s + 3, 1), G 5 = Q5 + s +, 9 + s +, s + 1). If we continue as in the poof fo Case 1 in Lemma 1, we can see that we have a -modula ρ-labeling of G. Case 1.: > s. Let C = G 1 + G + G 3 + 1, +, 0) and C s+ = G + G s + 5, + s +, 8 + s + 6) whee G 1 = P 0, + s +, s ), G = P s 1, 3 s +, s ), G 3 = P,, + ), G = Q + 3, 8 + s + 5, s + 1), G 5 = P + s + 3, 8 + s + 5, s 1). If we continue as in the poof fo Case 1 in Lemma 1, we can see that we have a -modula ρ-labeling of G. Case : d = + s + 1. Let c = + s + )/ + s + 1) + 1, so the complete multipatite gaph we ae woking in is K c d = K 5 +s+1). In ode to show that G admits a d-modula ρ-labeling, we examine when is odd o even and when s is odd o even and show that any of the fou possible combinations will satisfy the necessay conditions fo the desied labeling. Case.1: is odd. Let C = G s +, s + 9, 9 + 5s +, s + 10) + G s + 10, s + 3) whee G 1 = 1 Q5 + 5s + 3i + 1, s i + 1, ), G = 1 1 P s + i + 8, 9 + 5s 3i 1, ). If we continue as in Case 3.1 in Lemma 1, we can see that the set of edge labels is [1, 5 1] \ cz with 5 + 5s + V C ) s
19 Case.: is even. Let C = G s + 5, s + 1, 9 + 5s +, s + ) + G s +, s + 3) whee G 1 = 1 Q5 + 5s + 3i + 1, s i + 1, ), G = P s + i, 9 + 5s 3i, ). If we continue as in Case 3.1 in Lemma 1, we can see that the set of edge labels is [1, 5 1] \ cz with 5 + 5s + V C ) s + 3. Case.3: s is odd. Let C s+ = G s +, 3 s 1 + 3, 5 + s + 1, 3 s 1 + ) + G + 5 s 1 +, 5 + 5s + 3, 0, 5 + 5s + 1) whee G 3 = s 1 Q3i 1, 5 + 5s i 1, ), G = s 1 s 1 P 3 + i +, 5 + s 3i, ). If we continue as in Case 3.1 in Lemma 1, we can see that the set of edge labels is [5 + 1, cd 1)/ ] \ cz with 0 V C s ) 5 + 5s + 3. Case.: s is even. Let C s+ = G s + 3, 3 s 5s + 3, 0, 5 + 5s + 1) whee G 3 = s 1 1, 5 + s + 1, 3 s ) + G + 5 s, 5 + Q3i 1, 5 + 5s i 1, ), G = s P 3 s + i, 5 + s 3i, ). If we continue as in Case 3.1 in Lemma 1, we can see that the set of edge labels is [5 + 1, cd 1)/ ] \ cz with 0 V C s ) 5 + 5s + 3. Since a labeling of C fom eithe of the fist two subcases will be vetex disjoint fom a labeling of C s+ fom eithe of the last two subcases, we have a labeling of G = C C s+ whee the set of edge labels is [1, cd/ ] \ cz. Theefoe, we have a + s + 1)-modula ρ-labeling of G. Theoem 11. Let G = C C s+ whee and s ae positive integes and and let n = + s +. Then thee exists a cyclic G-decomposition of K n+1) t, K n/+1) t, K 5 n/)t, and of K nt fo evey positive intege t. Befoe poceeding to ou final case, we note that the paity condition i.e., Lemma 5) ules out the existence of a d-modula ρ-labelings of G in Lemma 10 fo d = and fo d = + s +. 19
20 Lemma 1. A d-modula ρ-labeling of C + C s+ exists fo, s 1 and d {1,,, 8, + s + 1, + s + 1), + s + 1), 8 + s + 1)}. Poof. Let G = C + C s+ whee 1 s. The cases d = 1, d =, and d = 8 + s) can be obtained fom the fact that such a G necessaily admits an α-labeling see [1]). Case 1: d =. Let c = + s + )/ + 1, so that the complete multipatite gaph we ae woking in is K c d = K +s+3). Case 1.1: = s. If = s = 1, let C + = 0, 3,, 6,, 9, 0) and C s+ = 10,, 11, 19, 13, 3, 10). We leave it to the eade to check that this yields a -modula ρ-labeling of G. If = s > 1, let C + = G 1 + G + + 1, + 5, 0) and C s+ = G 3 + G + 6s + 5, 10s + 9, 6s + 7, 1s + 11) whee G 1 = P 0, +, 3), G = Q,, + 3), G 3 = Qs + 6, 10s + 10, s + 1), G = P 5s + 6, 9s + 11, s ). If we continue as in the poof fo Case 1 in Lemma 1, we can see that we have a -modula ρ-labeling of G. Case 1.: < s. Let C + = G 1 + G + + 1, + 3, 0) and C s+ = G 3 + G + G s + 7, + s + 5, 8 + s + 9) whee G 1 = P 0, +, 1), G = Q + 1, + 1, + 1), G 3 = Q +, 8 + s + 8, s + 1), G = P + s +, 6 + 3s + 7, ), G 5 = P 5 + s +, 9 + s + 7, s 1). If we continue as in the poof fo Case 1 in Lemma 1, we can see that we have a -modula ρ-labeling of G. Case : d = 8. Let c = + s + )/8 + 1, so that the complete multipatite gaph we ae woking in is K c d = K +s+) 8. Case.1: = s. Let C + = G 1 + G , +, 8 + 7) and C s+ = G , ) + G , , 8 + 8) whee G 1 = Q0, 6 + 6, + 1), G = P, 5 + 5, 1), G 3 = P 8 + 8, , ), G = Q9 + 9, 9 + 9, + 1). 0
21 If we continue as in the poof fo Case 1 in Lemma 1, we can see that we have an 8-modula ρ-labeling of G. Case.: < s < and + s is odd. Let C + = G 1 + G + G s + 5, + 1, + s + 7) and C s+ = G + G 5 + G 6 + G s + 9, + 8s + 13, + s + 8) whee G 1 = Q0, + s + 6, + 1), G = P, + 3s + 6, s 1), G 3 = P +s 1, +s 1 + s + 5, 3 s), G = P + s + 8, 6 + 6s + 1, s 1), G 5 = Q3 + 5s + 9, 3 + 7s + 13, 1), G 6 = P + 5s + 8, 5 + 6s + 10, s + 1), G 7 = P 7 +s 1 + s + 1, 7 +s 1 + s + 1, + s + 1). If we continue as in the poof fo Case 1 in Lemma 1, we can see that we have an 8-modula ρ-labeling of G. Case.3: < s < and + s is even. Let C + = G 1 + G + G , + s + 7) and C s+ = G + G 5 + G 6 + G s + 10, + 8s + 1) whee G 1 = Q0, + s + 6, + 1), G = P, + 3s + 6, s 1), G 3 = Q +s + 1, +s + s + 5, 3 s + 1), G = Q + s + 8, 6 + 6s + 1, s ), G 5 = Q3 + 5s + 9, 3 + 7s + 11, + 1), G 6 = P + 5s + 9, 5 + 6s + 11, s 1), G 7 = Q7 +s + s + 10, 7 +s + s + 10, + s + 1). If we continue as in the poof fo Case 1 in Lemma 1, we can see that we have an 8-modula ρ-labeling of G. Case.: s = Let C + = G 1 + G + 1, 1 + 9, + 1, ) and C s+ = G 3 + G + G 5 + G , 8 + 3, ) whee G 1 = Q0, , + 1), G = P, , ), G 3 = P , + 18, + 1), G = Q18 + 1, + 1, ), G 5 = Q19 + 1, , + 3), G 6 = P , , + ). If we continue as in the poof fo Case 1 in Lemma 1, we can see that we have an 8-modula ρ-labeling of G. 1
22 Case.5: s > and + s is odd. Let C + = G 1 + G + + s + 6, + 1, + s + 7) and C s+ = G 3 + G + G 5 + G 6 + G s + 10, + 8s + 1, + s + 8) whee G 1 = Q0, + s + 6, + 1), G = P, + s + 6, 1), G 3 = P + s + 8, 7 + 7s + 1, s 3 ), G = Q5 +s 1 + s + 11, p +s 1 + s + 17, + s + 1), G 5 = Q3 + 5s + 10, 3 + 7s + 1, 1), G 6 = P + 5s + 9, 5 + 6s + 11, s + 1), G 7 = P 7 +s 1 + s + 13, 7 +s 1 + s + 13, + s + 1). If we continue as in the poof fo Case 1 in Lemma 1, we can see that we have an 8-modula ρ-labeling of G. Case.6: s > and + s is even. Let C + = G 1 + G + + s + 6, + 1, + s + 7) and C s+ = G 3 + G + G 5 + G 6 + G s + 10, + 8s + 1, + s + 8) whee G 1 = Q0, + s + 6, + 1), G = P, + s + 6, 1), G 3 = P + s + 8, 7 + 7s + 1, s 3 ), G = P 5 +s + s + 7, 9 +s + s + 11, + s + 1), G 5 = Q3 + 5s + 9, 3 + 7s + 13, 1), G 6 = P + 5s + 8, 5 + 6s + 10, s + 1), G 7 = Q7 +s + s + 10, 7 +s + s + 10, + s + 1). If we continue as in the poof fo Case 1 in Lemma 1, we can see that we have an 8-modula ρ-labeling of G. Case 3: d = + s + 1. Let c = + s + )/ + s + ) + 1, so that the complete multipatite gaph we ae woking in is K c d = K 9 +s+1). Case 3.1: and s ae both odd. In ode to show that G admits a d-modula ρ-labeling, we examine when 1, 3 mod ) and when s 1, 3 mod ) and show that any of the fou possible combinations will satisfy the necessay conditions fo the desied labeling. Case 3.1.1: 1 mod ). If = 1, let C + = 0, 9 s 1 s 1 s 1 +1, 1, 9 +9, 3, 9 +13, 0). We leave it to the eade to check that this yields an + s + 1)-modula ρ-labeling of G.
23 If > 1, let C + = G 1 + G , 9 +s 9 1, 9 1 3, 9 +s + ) whee G 1 = Q0, 9 +s 1, ) Q5 1, 7 +s + s, 7), G = 1 Case 3.1.: 3 mod ). Let C + = G 1 +G +9 3 whee G 1 = Q0, 9 +s Q5i, 9 +s i, 8) ) P i 3, 7 +s + s 5i, 8) ). +6, 9 +s s, 9 +8, 9 +) 3, ) + Q5i, 9 +s i, 8) ) + Q , 7 +s + s +, 3), G = P 5 3 +, 7 +s + s, ) + 3 P i +, 7 +s + s 5i, 8) ). Case 3.1.3: s 1 mod ). If s = 1, let C s+ = , , , , , , ). We leave it to the eade to check that this yields an + s + 1)-modula ρ-labeling of G. If s > 1, let C s+ = G 3 + G + 9 +s + 9 s 1 + 8, 9 +s + 9 s 1 + 1, 9 +s + 5) whee G 3 = P 9 +s + 5, 9 +s + 9 s 1 + 5, 5) + s 1 1 Q9 +s + 5i +, 9 +s + 9 s 1 i +, 8) ) + Q9 +s + 5 s 1 +, 9 +s + 7 s 1 + 8, ), G = Q9 +s + 5 s 1 + 7, 9 +s + 7 s 1 + 7, 3) + s 1 P 9 +s + 5 s 1 + i +, 9 +s + 7 s 1 5i +, 8) ). Case 3.1.: s 3 mod ). Let C s+ = G 3 +G +9 +s whee +9 s 3 +13, 9 +s G 3 = P 9 +s + 5, 9 +s + 1, 5) + s 3 G = Q9 +s + s 3 s 3 +s +9 +1, 9 +5) Q9 +s + 5i +, 9 +s i + 13, 8) ), + 10, 9 +s + 7 s , 7) + 5 s 3 P 9 +s + 5 s 3 + i + 9, 9 +s + 7 s 3 5i + 9, 8) ). 3
24 If we continue as in the poof fo Case in Lemma, we can see that we have an + s + 1)-modula ρ-labeling of G. Case 3.: and s ae both even. In ode to show that G admits a d-modula ρ-labeling, we examine when 0, mod ) and when s 0, mod ) and show that any of the fou possible combinations will satisfy the necessay conditions fo the desied labeling. Case 3..1: 0 mod ). Let C + = G 1 + G + 9 +s 9 + 3, 9 +s + 1, 9 + ) whee G 1 = Q0, 9 +s, ) + 1 Q5i, 9 +s i, 8) ) + Q5 G = P 5, 7 +s P 9 +s, 7 + s + 1, 5), + s, ) P 5 +s + i 3, 7 3, 9 +s 9, 5). + s 5i 3, 8) ) Case 3..: mod ). If =, let C + = 0, 9 s s s s s +1, 1, 9 +11, 3, 9 +9,, 9 +8, 6, 9 +13, 0). We leave it to the eade to check that this yields an + s + 1)-modula ρ-labeling of G. If >, let C + = G s + s +, 5 + 3) + G + 9 +s 9 1, 9 + 6, 9 +s + ) whee G 1 = Q0, 9 +s, ) + Q5i, 9 +s i, 8) ), G = P 5 + 3, 7 +s + s, 6) + 1 P 5 + i +, 7 +s + s 5i 5, 8) ) + P 9 +, 9 +s 9, 5). Case 3..3: s 0 mod ). Let C s+ = G s + 7 s +s + 7, s + 6) + G + 9 +s 9 s +s + 6, s +s + 8, 9 + 5, 9 +s + 9 s + 6) whee G 3 = s 1 G = s Q9 +s + 5i +, 9 +s + 9 s i +, 8)) + 5 s +s +, s +, 6), + Q9 +s Case 3..: s mod ). Let C s+ = G s P 9 +s + 5 s +s + i +, s 5i +, 8)). +7 s +15, 9 +s +5 s + +s s +7, )+
25 G +9 +s whee +9 s +11, 9 +s +9 s +17, 9 +s +s s +5, ) G 3 = s Q9 +s + 5i +, 9 +s + 9 s i + 11, 8) ), G = Q9 +s + 5 s + 9, 9 +s + 7 s + 9, 5) + s P 9 +s + 5 s + i + 7, 9 +s + 7 s 5i + 7, 8) ). If we continue as in the poof fo Case in Lemma, we can see that we have an + s + 1)-modula ρ-labeling of G. Case 3.3: + s is odd. Fo this case, we elax the condition that s. Then without loss of geneality, we need only conside when is odd and s is even. In ode to show that G admits a d-modula ρ-labeling, we examine when 1, 3 mod ) and when s 0, mod ) and show that any of the fou possible combinations will satisfy the necessay conditions fo the desied labeling. Case 3.3.1: 1 mod ). If = 1, let C + = 0, 9 s s s + 7, 1, 9 + 5, 3, 9 + 8, 0). We leave it to the eade to check that this yields an + s + 1)-modula ρ-labeling of G. If > 1, let C + = G 1 +G +9 +s s 1 +5, 9 +3, 9 +8) whee G 1 = 1 Q5i 5, 9 +s 1 i +, 8) ) + Q5 1, 7 +s 1 + s + 5, 3), G = P , 7 +s 1 + s, ) P i 1, 7 +s 1 + s 5i 1, 8) ) + P 9 1 1, 9 +s , 5). Case 3.3.: 3 mod ). Let C + = G 1 + G + 9 +s 1 9 3, , 9 +s 1 + 8) whee G 1 = 3 Q5i 5, 9 +s 1 i +, 8) ) + Q5 3, 7 +s 1 + s + 3, 7), G = 3 P i 1, 7 +s 1 + s 5i + 1, 8) ) + P , 9 +s , 5). Case 3.3.3: s 0 mod ). Let C s+ = G s s +s , s + 10) + G + 9 5
26 +s s whee G 3 = s 1 G = s +s , s +s 1 + 1, 9 + 9, 9 +s s + 10) Q9 +s 1 + 5i + 6, 9 +s s i + 6, 8)) + 5 s +s 1 + 6, s + 8, 6), + Q9 +s 1 P 9 +s s +s 1 + i + 6, s 5i + 6, 8)). Case 3.3.: s mod ). Let C s+ = G s 1 +7 s +s 1 +19, 9 +5 s +s 1 +11, s + 18) + G + 9 +s s + 15, 9 +s s + 1, 9 +s 1 + 9, 9 +s s + 19) whee G 3 = s Q9 +s 1 + 5i + 6, 9 +s s i + 15, 8) ), G = Q9 +s s + 13, 9 +s s + s + 13, 5) P 9 +s s + i + 11, 9 +s s 5i + 11, 8) ). If we continue as in the poof fo Case in Lemma, we can see that we have an + s + 1)-modula ρ-labeling of G. Case : d = + s + 1). Let c = + s + )/ + s + ) + 1, so that the complete multipatite gaph we ae woking in is K c d = K 5 +s+1). In ode to show that G admits a d-modula ρ-labeling, we examine when is even o odd and when s is even o odd and show that any of the fou possible combinations will satisfy the necessay conditions fo the desied labeling. Case.1: is odd. Let C + = G 1 + G , s + 5, , 5 + 5s + ) whee G 1 = 1 G = 1 1 Q3i 3, 5 + 5s i +, )) + Q3, + 5s +, 3), P i 1, + 5s 3i, ) ). Case.: is even. Let C + = G s +, 3, + 5s +, 3 + 1) + G + 5 1, 5 + 5s + 3, 5 + 1, 5 + 5s + ) whee G 1 = Q3i 3, 5 + 5s i +, )), G = 1 P 3 + i 1, + 5s 3i 1, )). Case.3: s is odd. Let C s+ = G 3 +G +15 s , 5+10s+8, 5+5s+5, 5+10s+6) 6
27 whee G 3 = s 1 Q5 + 5s + 3i +, s i +, )), G = Q13 s+1 + 5, 5 + 9s +, 3) + s 1 P 13 s i 1, 5 + 9s 3i + 3, ) ). Case.: s is even. Let C s+ = G s + 8, 13 s s + 5 +, 5 + 9s + 7, ) + G + 15 s , s + 8, 5 + 5s + 5, s + 6) whee G 3 = s 1 G = s Q5 + 5s + 3i +, s i +, )), P 13 s i +, 5 + 9s 3i +, )). If we continue as in the poof fo Case in Lemma, we can see that we have a + s + )-modula ρ-labeling of G. Case 5: d = + s + 1). Let c = + s + )/ + s + ) + 1, so that the complete multipatite gaph we ae woking in is K c d = K 3 +s+). If s = 1, let C + = 0, 16,, 1,, 17, 0) and C s+ = 18, 0, 19, 6,, 9, 18). We leave it to the eade to check that this yields a + s + )-modula ρ-labeling of G. If s > 1, let C + = G s + 5, ) + G + 3 1, 3 + 6s + 3, 3 + 1, 6 + 6s + 5) and C s+ = G s + 9, 6 + 8s + 5) + G s + 6, 6 + 1s + 11, 6 + 6s + 6, 6 + 1s + 7) whee G 1 = Qi, 6 + 6s i +, ), G = 1 P + i 1, 5 + 6s i +, ), G 3 = s Q6 + 6s + i + 6, 6 + 1s i + 6, ), G = s+1 P 6 + 8s + i +, s i + 7, ). If we continue as in the poof fo Case 3.1 in Lemma 1, we can see that we have a + s + )-modula ρ-labeling of G. Theoem 13. Let G = C + C s+ whee and s ae positive integes and let n = + s +. Then thee exists a cyclic G-decomposition of K n+1) t, K n+1) t, K n/+1) t, K n/+1) 8t, K 9 n/)t, K 5 n/)t, K 3 nt, and of K nt fo evey positive intege t. 5 Acknowledgement and Final Note This wok was done unde the supevision of the thid and fouth authos as pat of REU Site: Mathematics Reseach Expeience fo Pe-sevice and 7
28 fo In-sevice Teaches at Illinois State Univesity. The affiliations of the emaining authos at the time wee as follows: A. Su: Univesity High School Nomal, IL); J. Buchanan and E. Spaks: Illinois State Univesity; E. Pelttai: Nothen Illinois Univesity; G. Rasmuson: Roanoke-Benson High School Roanoke, IL); S. Tagais: Illinois Wesleyan Univesity. Refeences [1] J. Abham and A. Kotzig, Gaceful valuations of -egula gaphs with two components, Discete Math ), [] P. Adams, D. Byant, and M. Buchanan, A suvey on the existence of G-designs, J. Combin. Des ), [3] A. Benini and A. Pasotti, Decompositions of complete multipatite gaphs via genealized gaceful labelings, pepint. [] A. Blinco and S. I. El-Zanati, A note on the cyclic decomposition of complete gaphs into bipatite gaphs, Bull. Inst. Combin. Appl. 0 00), [5] D. Byant and S. El-Zanati, Gaph decompositions, in Handbook of Combinatoial Designs, C. J. Colboun and J. H. Dinitz Editos), nd ed., Chapman & Hall/CRC, Boca Raton, 007, pp [6] M. Buatti, Recusive constuctions fo diffeence matices and elative diffeence families, J. Combin. Des ), [7] M. Buatti and L. Gionfiddo, Stong diffeence families ove abitay gaphs, J. Combin. Des ), [8] M. Buatti and A. Pasotti, Gaph decompositions with the use of diffeence matices, Bull. Inst. Combin. Appl ), 3 3. [9] S. I. El-Zanati, C. Vanden Eynden, and N. Punnim, On the cyclic decomposition of complete gaphs into bipatite gaphs, Austalas. J. Combin. 001), [10] S. I. El-Zanati and C. Vanden Eynden, On Rosa-type labelings and cyclic gaph decompositions, Mathematica Slovaca ), [11] J. A. Gallian, A dynamic suvey of gaph labeling, Electon. J. Combin. 01), #DS6. [1] G. Ge, Goup divisible designs, in Handbook of Combinatoial Designs, C. J. Colboun and J. H. Dinitz Editos), nd ed., Chapman & Hall/CRC, Boca Raton, 007, pp
29 [13] A. Pasotti, On d-gaceful labelings, As Combin ), [1] A. Rosa, On cetain valuations of the vetices of a gaph, in Theoy of Gaphs Intenat. Sympos., Rome, 1966), ed. P. Rosenstiehl, Dunod, Pais; Godon and Beach, New Yok, 1967, pp [15] D. Sotteau, Decomposition of K m,n K m,n) into cycles cicuits) of length k, J. Combin. Theoy, Se. B, ),
ON THE INVERSE SIGNED TOTAL DOMINATION NUMBER IN GRAPHS. D.A. Mojdeh and B. Samadi
Opuscula Math. 37, no. 3 (017), 447 456 http://dx.doi.og/10.7494/opmath.017.37.3.447 Opuscula Mathematica ON THE INVERSE SIGNED TOTAL DOMINATION NUMBER IN GRAPHS D.A. Mojdeh and B. Samadi Communicated
More informationThe Chromatic Villainy of Complete Multipartite Graphs
Rocheste Institute of Technology RIT Schola Wos Theses Thesis/Dissetation Collections 8--08 The Chomatic Villainy of Complete Multipatite Gaphs Anna Raleigh an9@it.edu Follow this and additional wos at:
More informationSUFFICIENT CONDITIONS FOR MAXIMALLY EDGE-CONNECTED AND SUPER-EDGE-CONNECTED GRAPHS DEPENDING ON THE CLIQUE NUMBER
Discussiones Mathematicae Gaph Theoy 39 (019) 567 573 doi:10.7151/dmgt.096 SUFFICIENT CONDITIONS FOR MAXIMALLY EDGE-CONNECTED AND SUPER-EDGE-CONNECTED GRAPHS DEPENDING ON THE CLIQUE NUMBER Lutz Volkmann
More informationNew problems in universal algebraic geometry illustrated by boolean equations
New poblems in univesal algebaic geomety illustated by boolean equations axiv:1611.00152v2 [math.ra] 25 Nov 2016 Atem N. Shevlyakov Novembe 28, 2016 Abstact We discuss new poblems in univesal algebaic
More informationarxiv: v1 [math.nt] 12 May 2017
SEQUENCES OF CONSECUTIVE HAPPY NUMBERS IN NEGATIVE BASES HELEN G. GRUNDMAN AND PAMELA E. HARRIS axiv:1705.04648v1 [math.nt] 12 May 2017 ABSTRACT. Fo b 2 and e 2, let S e,b : Z Z 0 be the function taking
More informationQuasi-Randomness and the Distribution of Copies of a Fixed Graph
Quasi-Randomness and the Distibution of Copies of a Fixed Gaph Asaf Shapia Abstact We show that if a gaph G has the popety that all subsets of vetices of size n/4 contain the coect numbe of tiangles one
More informationMath 301: The Erdős-Stone-Simonovitz Theorem and Extremal Numbers for Bipartite Graphs
Math 30: The Edős-Stone-Simonovitz Theoem and Extemal Numbes fo Bipatite Gaphs May Radcliffe The Edős-Stone-Simonovitz Theoem Recall, in class we poved Tuán s Gaph Theoem, namely Theoem Tuán s Theoem Let
More informationJournal of Inequalities in Pure and Applied Mathematics
Jounal of Inequalities in Pue and Applied Mathematics COEFFICIENT INEQUALITY FOR A FUNCTION WHOSE DERIVATIVE HAS A POSITIVE REAL PART S. ABRAMOVICH, M. KLARIČIĆ BAKULA AND S. BANIĆ Depatment of Mathematics
More informationDeterministic vs Non-deterministic Graph Property Testing
Deteministic vs Non-deteministic Gaph Popety Testing Lio Gishboline Asaf Shapia Abstact A gaph popety P is said to be testable if one can check whethe a gaph is close o fa fom satisfying P using few andom
More informationarxiv: v1 [math.co] 4 May 2017
On The Numbe Of Unlabeled Bipatite Gaphs Abdullah Atmaca and A Yavuz Ouç axiv:7050800v [mathco] 4 May 207 Abstact This pape solves a poblem that was stated by M A Haison in 973 [] This poblem, that has
More informationChapter 3: Theory of Modular Arithmetic 38
Chapte 3: Theoy of Modula Aithmetic 38 Section D Chinese Remainde Theoem By the end of this section you will be able to pove the Chinese Remainde Theoem apply this theoem to solve simultaneous linea conguences
More informationANA BERRIZBEITIA, LUIS A. MEDINA, ALEXANDER C. MOLL, VICTOR H. MOLL, AND LAINE NOBLE
THE p-adic VALUATION OF STIRLING NUMBERS ANA BERRIZBEITIA, LUIS A. MEDINA, ALEXANDER C. MOLL, VICTOR H. MOLL, AND LAINE NOBLE Abstact. Let p > 2 be a pime. The p-adic valuation of Stiling numbes of the
More informationarxiv: v1 [math.co] 6 Mar 2008
An uppe bound fo the numbe of pefect matchings in gaphs Shmuel Fiedland axiv:0803.0864v [math.co] 6 Ma 2008 Depatment of Mathematics, Statistics, and Compute Science, Univesity of Illinois at Chicago Chicago,
More informationOn the ratio of maximum and minimum degree in maximal intersecting families
On the atio of maximum and minimum degee in maximal intesecting families Zoltán Lóánt Nagy Lale Özkahya Balázs Patkós Máté Vize Mach 6, 013 Abstact To study how balanced o unbalanced a maximal intesecting
More informationOn the ratio of maximum and minimum degree in maximal intersecting families
On the atio of maximum and minimum degee in maximal intesecting families Zoltán Lóánt Nagy Lale Özkahya Balázs Patkós Máté Vize Septembe 5, 011 Abstact To study how balanced o unbalanced a maximal intesecting
More informationEnumerating permutation polynomials
Enumeating pemutation polynomials Theodoulos Gaefalakis a,1, Giogos Kapetanakis a,, a Depatment of Mathematics and Applied Mathematics, Univesity of Cete, 70013 Heaklion, Geece Abstact We conside thoblem
More informationON INDEPENDENT SETS IN PURELY ATOMIC PROBABILITY SPACES WITH GEOMETRIC DISTRIBUTION. 1. Introduction. 1 r r. r k for every set E A, E \ {0},
ON INDEPENDENT SETS IN PURELY ATOMIC PROBABILITY SPACES WITH GEOMETRIC DISTRIBUTION E. J. IONASCU and A. A. STANCU Abstact. We ae inteested in constucting concete independent events in puely atomic pobability
More informationLacunary I-Convergent Sequences
KYUNGPOOK Math. J. 52(2012), 473-482 http://dx.doi.og/10.5666/kmj.2012.52.4.473 Lacunay I-Convegent Sequences Binod Chanda Tipathy Mathematical Sciences Division, Institute of Advanced Study in Science
More informationCOLLAPSING WALLS THEOREM
COLLAPSING WALLS THEOREM IGOR PAK AND ROM PINCHASI Abstact. Let P R 3 be a pyamid with the base a convex polygon Q. We show that when othe faces ae collapsed (otated aound the edges onto the plane spanned
More informationTHE JEU DE TAQUIN ON THE SHIFTED RIM HOOK TABLEAUX. Jaejin Lee
Koean J. Math. 23 (2015), No. 3, pp. 427 438 http://dx.doi.og/10.11568/kjm.2015.23.3.427 THE JEU DE TAQUIN ON THE SHIFTED RIM HOOK TABLEAUX Jaejin Lee Abstact. The Schensted algoithm fist descibed by Robinson
More informationA solution to a problem of Grünbaum and Motzkin and of Erdős and Purdy about bichromatic configurations of points in the plane
A solution to a poblem of Günbaum and Motzkin and of Edős and Pudy about bichomatic configuations of points in the plane Rom Pinchasi July 29, 2012 Abstact Let P be a set of n blue points in the plane,
More informationA Bijective Approach to the Permutational Power of a Priority Queue
A Bijective Appoach to the Pemutational Powe of a Pioity Queue Ia M. Gessel Kuang-Yeh Wang Depatment of Mathematics Bandeis Univesity Waltham, MA 02254-9110 Abstact A pioity queue tansfoms an input pemutation
More informationAn intersection theorem for four sets
An intesection theoem fo fou sets Dhuv Mubayi Novembe 22, 2006 Abstact Fix integes n, 4 and let F denote a family of -sets of an n-element set Suppose that fo evey fou distinct A, B, C, D F with A B C
More informationON SPARSELY SCHEMMEL TOTIENT NUMBERS. Colin Defant 1 Department of Mathematics, University of Florida, Gainesville, Florida
#A8 INTEGERS 5 (205) ON SPARSEL SCHEMMEL TOTIENT NUMBERS Colin Defant Depatment of Mathematics, Univesity of Floida, Gainesville, Floida cdefant@ufl.edu Received: 7/30/4, Revised: 2/23/4, Accepted: 4/26/5,
More informationarxiv: v2 [math.ag] 4 Jul 2012
SOME EXAMPLES OF VECTOR BUNDLES IN THE BASE LOCUS OF THE GENERALIZED THETA DIVISOR axiv:0707.2326v2 [math.ag] 4 Jul 2012 SEBASTIAN CASALAINA-MARTIN, TAWANDA GWENA, AND MONTSERRAT TEIXIDOR I BIGAS Abstact.
More informationThe Congestion of n-cube Layout on a Rectangular Grid S.L. Bezrukov J.D. Chavez y L.H. Harper z M. Rottger U.-P. Schroeder Abstract We consider the pr
The Congestion of n-cube Layout on a Rectangula Gid S.L. Bezukov J.D. Chavez y L.H. Hape z M. Rottge U.-P. Schoede Abstact We conside the poblem of embedding the n-dimensional cube into a ectangula gid
More informationTHE MAXIMUM SIZE OF A PARTIAL SPREAD II: UPPER BOUNDS
THE MAXIMUM SIZE OF A PARTIAL SPREAD II: UPPER BOUNDS ESMERALDA NĂSTASE MATHEMATICS DEPARTMENT XAVIER UNIVERSITY CINCINNATI, OHIO 4507, USA PAPA SISSOKHO MATHEMATICS DEPARTMENT ILLINOIS STATE UNIVERSITY
More informationSOME GENERAL NUMERICAL RADIUS INEQUALITIES FOR THE OFF-DIAGONAL PARTS OF 2 2 OPERATOR MATRICES
italian jounal of pue and applied mathematics n. 35 015 (433 44) 433 SOME GENERAL NUMERICAL RADIUS INEQUALITIES FOR THE OFF-DIAGONAL PARTS OF OPERATOR MATRICES Watheq Bani-Domi Depatment of Mathematics
More informationResearch Article On Alzer and Qiu s Conjecture for Complete Elliptic Integral and Inverse Hyperbolic Tangent Function
Abstact and Applied Analysis Volume 011, Aticle ID 697547, 7 pages doi:10.1155/011/697547 Reseach Aticle On Alze and Qiu s Conjectue fo Complete Elliptic Integal and Invese Hypebolic Tangent Function Yu-Ming
More informationOn cyclic decompositions of K n+1,n+1 I into a 2-regular graph with at most 2 components
On cyclic decompositions of K n+1,n+1 I into a 2-regular graph with at most 2 components R. C. Bunge 1, S. I. El-Zanati 1, D. Gibson 2, U. Jongthawonwuth 3, J. Nagel 4, B. Stanley 5, A. Zale 1 1 Department
More informationDuality between Statical and Kinematical Engineering Systems
Pape 00, Civil-Comp Ltd., Stiling, Scotland Poceedings of the Sixth Intenational Confeence on Computational Stuctues Technology, B.H.V. Topping and Z. Bittna (Editos), Civil-Comp Pess, Stiling, Scotland.
More information3.1 Random variables
3 Chapte III Random Vaiables 3 Random vaiables A sample space S may be difficult to descibe if the elements of S ae not numbes discuss how we can use a ule by which an element s of S may be associated
More informationOn the Quasi-inverse of a Non-square Matrix: An Infinite Solution
Applied Mathematical Sciences, Vol 11, 2017, no 27, 1337-1351 HIKARI Ltd, wwwm-hikaicom https://doiog/1012988/ams20177273 On the Quasi-invese of a Non-squae Matix: An Infinite Solution Ruben D Codeo J
More informationChromatic number and spectral radius
Linea Algeba and its Applications 426 2007) 810 814 www.elsevie.com/locate/laa Chomatic numbe and spectal adius Vladimi Nikifoov Depatment of Mathematical Sciences, Univesity of Memphis, Memphis, TN 38152,
More informationCERFACS 42 av. Gaspard Coriolis, Toulouse, Cedex 1, France. Available at Date: April 2, 2008.
ON THE BLOCK TRIANGULAR FORM OF SYMMETRIC MATRICES IAIN S. DUFF and BORA UÇAR Technical Repot: No: TR/PA/08/26 CERFACS 42 av. Gaspad Coiolis, 31057 Toulouse, Cedex 1, Fance. Available at http://www.cefacs.f/algo/epots/
More informationNOTE. Some New Bounds for Cover-Free Families
Jounal of Combinatoial Theoy, Seies A 90, 224234 (2000) doi:10.1006jcta.1999.3036, available online at http:.idealibay.com on NOTE Some Ne Bounds fo Cove-Fee Families D. R. Stinson 1 and R. Wei Depatment
More informationA Multivariate Normal Law for Turing s Formulae
A Multivaiate Nomal Law fo Tuing s Fomulae Zhiyi Zhang Depatment of Mathematics and Statistics Univesity of Noth Caolina at Chalotte Chalotte, NC 28223 Abstact This pape establishes a sufficient condition
More informationSuborbital graphs for the group Γ 2
Hacettepe Jounal of Mathematics and Statistics Volume 44 5 2015, 1033 1044 Subobital gaphs fo the goup Γ 2 Bahadı Özgü Güle, Muat Beşenk, Yavuz Kesicioğlu, Ali Hikmet Değe Keywods: Abstact In this pape,
More informationAdditive Approximation for Edge-Deletion Problems
Additive Appoximation fo Edge-Deletion Poblems Noga Alon Asaf Shapia Benny Sudakov Abstact A gaph popety is monotone if it is closed unde emoval of vetices and edges. In this pape we conside the following
More informationConstruction Schemes for Fault-Tolerant Hamiltonian Graphs
Constuction Schemes fo Fault-Toleant Hamiltonian Gaphs Jeng-Jung Wang Depatment of Compute and Infomation Science, National Chiao Tung Univesity, Hsinchu, Taiwan 30050, Republic of China Chun-Nan Hung
More informationFractional Zero Forcing via Three-color Forcing Games
Factional Zeo Focing via Thee-colo Focing Games Leslie Hogben Kevin F. Palmowski David E. Robeson Michael Young May 13, 2015 Abstact An -fold analogue of the positive semidefinite zeo focing pocess that
More information9.1 The multiplicative group of a finite field. Theorem 9.1. The multiplicative group F of a finite field is cyclic.
Chapte 9 Pimitive Roots 9.1 The multiplicative goup of a finite fld Theoem 9.1. The multiplicative goup F of a finite fld is cyclic. Remak: In paticula, if p is a pime then (Z/p) is cyclic. In fact, this
More informationResults on the Commutative Neutrix Convolution Product Involving the Logarithmic Integral li(
Intenational Jounal of Scientific and Innovative Mathematical Reseach (IJSIMR) Volume 2, Issue 8, August 2014, PP 736-741 ISSN 2347-307X (Pint) & ISSN 2347-3142 (Online) www.acjounals.og Results on the
More informationarxiv: v1 [math.co] 2 Feb 2018
A VERSION OF THE LOEBL-KOMLÓS-SÓS CONJECTURE FOR SKEWED TREES TEREZA KLIMOŠOVÁ, DIANA PIGUET, AND VÁCLAV ROZHOŇ axiv:1802.00679v1 [math.co] 2 Feb 2018 Abstact. Loebl, Komlós, and Sós conjectued that any
More informationTHE CONE THEOREM JOEL A. TROPP. Abstract. We prove a fixed point theorem for functions which are positive with respect to a cone in a Banach space.
THE ONE THEOEM JOEL A. TOPP Abstact. We pove a fixed point theoem fo functions which ae positive with espect to a cone in a Banach space. 1. Definitions Definition 1. Let X be a eal Banach space. A subset
More informationSymmetries of embedded complete bipartite graphs
Digital Commons@ Loyola Maymount Univesity and Loyola Law School Mathematics Faculty Woks Mathematics 1-1-014 Symmeties of embedded complete bipatite gaphs Eica Flapan Nicole Lehle Blake Mello Loyola Maymount
More informationONE-POINT CODES USING PLACES OF HIGHER DEGREE
ONE-POINT CODES USING PLACES OF HIGHER DEGREE GRETCHEN L. MATTHEWS AND TODD W. MICHEL DEPARTMENT OF MATHEMATICAL SCIENCES CLEMSON UNIVERSITY CLEMSON, SC 29634-0975 U.S.A. E-MAIL: GMATTHE@CLEMSON.EDU, TMICHEL@CLEMSON.EDU
More informationPascal s Triangle (mod 8)
Euop. J. Combinatoics (998) 9, 45 62 Pascal s Tiangle (mod 8) JAMES G. HUARD, BLAIR K. SPEARMAN AND KENNETH S. WILLIAMS Lucas theoem gives a conguence fo a binomial coefficient modulo a pime. Davis and
More informationSyntactical content of nite approximations of partial algebras 1 Wiktor Bartol Inst. Matematyki, Uniw. Warszawski, Warszawa (Poland)
Syntactical content of nite appoximations of patial algebas 1 Wikto Batol Inst. Matematyki, Uniw. Waszawski, 02-097 Waszawa (Poland) batol@mimuw.edu.pl Xavie Caicedo Dep. Matematicas, Univ. de los Andes,
More informationMultiple Criteria Secretary Problem: A New Approach
J. Stat. Appl. Po. 3, o., 9-38 (04 9 Jounal of Statistics Applications & Pobability An Intenational Jounal http://dx.doi.og/0.785/jsap/0303 Multiple Citeia Secetay Poblem: A ew Appoach Alaka Padhye, and
More informationStanford University CS259Q: Quantum Computing Handout 8 Luca Trevisan October 18, 2012
Stanfod Univesity CS59Q: Quantum Computing Handout 8 Luca Tevisan Octobe 8, 0 Lectue 8 In which we use the quantum Fouie tansfom to solve the peiod-finding poblem. The Peiod Finding Poblem Let f : {0,...,
More informationOn a quantity that is analogous to potential and a theorem that relates to it
Su une quantité analogue au potential et su un théoème y elatif C R Acad Sci 7 (87) 34-39 On a quantity that is analogous to potential and a theoem that elates to it By R CLAUSIUS Tanslated by D H Delphenich
More informationBrief summary of functional analysis APPM 5440 Fall 2014 Applied Analysis
Bief summay of functional analysis APPM 5440 Fall 014 Applied Analysis Stephen Becke, stephen.becke@coloado.edu Standad theoems. When necessay, I used Royden s and Keyzsig s books as a efeence. Vesion
More informationCONSTRUCTION OF EQUIENERGETIC GRAPHS
MATCH Communications in Mathematical and in Compute Chemisty MATCH Commun. Math. Comput. Chem. 57 (007) 03-10 ISSN 0340-653 CONSTRUCTION OF EQUIENERGETIC GRAPHS H. S. Ramane 1, H. B. Walika * 1 Depatment
More informationOn the Number of Rim Hook Tableaux. Sergey Fomin* and. Nathan Lulov. Department of Mathematics. Harvard University
Zapiski Nauchn. Seminaov POMI, to appea On the Numbe of Rim Hook Tableaux Segey Fomin* Depatment of Mathematics, Massachusetts Institute of Technology Cambidge, MA 0239 Theoy of Algoithms Laboatoy SPIIRAN,
More informationA generalization of the Bernstein polynomials
A genealization of the Benstein polynomials Halil Ouç and Geoge M Phillips Mathematical Institute, Univesity of St Andews, Noth Haugh, St Andews, Fife KY16 9SS, Scotland Dedicated to Philip J Davis This
More informationRELIABILITY is an important concept in the design
Poceedings of the Wold Congess on Engineeing 0 Vol I WCE 0, July -, 0, London, U.K. Reliability Measues in Ciculant Netwok *Inda Rajasingh, Bhaati Rajan, and R. Sundaa Rajan Abstact Reliability and efficiency
More informationSolution to HW 3, Ma 1a Fall 2016
Solution to HW 3, Ma a Fall 206 Section 2. Execise 2: Let C be a subset of the eal numbes consisting of those eal numbes x having the popety that evey digit in the decimal expansion of x is, 3, 5, o 7.
More informationTurán Numbers of Vertex-disjoint Cliques in r- Partite Graphs
Univesity of Wyoming Wyoming Scholas Repositoy Honos Theses AY 16/17 Undegaduate Honos Theses Sping 5-1-017 Tuán Numbes of Vetex-disjoint Cliques in - Patite Gaphs Anna Schenfisch Univesity of Wyoming,
More informationThe Erdős-Hajnal conjecture for rainbow triangles
The Edős-Hajnal conjectue fo ainbow tiangles Jacob Fox Andey Ginshpun János Pach Abstact We pove that evey 3-coloing of the edges of the complete gaph on n vetices without a ainbow tiangle contains a set
More informationThis aticle was oiginally published in a jounal published by Elsevie, the attached copy is povided by Elsevie fo the autho s benefit fo the benefit of the autho s institution, fo non-commecial eseach educational
More informationApproximating Maximum Diameter-Bounded Subgraph in Unit Disk Graphs
Appoximating Maximum Diamete-Bounded Subgaph in Unit Disk Gaphs A. Kaim Abu-Affash 1 Softwae Engineeing Depatment, Shamoon College of Engineeing Bee-Sheva 84100, Isael abuaa1@sce.ac.il Paz Cami Depatment
More informationGroup Connectivity of 3-Edge-Connected Chordal Graphs
Gaphs and Combinatoics (2000) 16 : 165±176 Gaphs and Combinatoics ( Spinge-Velag 2000 Goup Connectivity of 3-Edge-Connected Chodal Gaphs Hong-Jian Lai Depatment of Mathematics, West Viginia Univesity,
More informationFall 2014 Randomized Algorithms Oct 8, Lecture 3
Fall 204 Randomized Algoithms Oct 8, 204 Lectue 3 Pof. Fiedich Eisenband Scibes: Floian Tamè In this lectue we will be concened with linea pogamming, in paticula Clakson s Las Vegas algoithm []. The main
More informationPearson s Chi-Square Test Modifications for Comparison of Unweighted and Weighted Histograms and Two Weighted Histograms
Peason s Chi-Squae Test Modifications fo Compaison of Unweighted and Weighted Histogams and Two Weighted Histogams Univesity of Akueyi, Bogi, v/noduslód, IS-6 Akueyi, Iceland E-mail: nikolai@unak.is Two
More informationSOME SOLVABILITY THEOREMS FOR NONLINEAR EQUATIONS
Fixed Point Theoy, Volume 5, No. 1, 2004, 71-80 http://www.math.ubbcluj.o/ nodeacj/sfptcj.htm SOME SOLVABILITY THEOREMS FOR NONLINEAR EQUATIONS G. ISAC 1 AND C. AVRAMESCU 2 1 Depatment of Mathematics Royal
More informationCompactly Supported Radial Basis Functions
Chapte 4 Compactly Suppoted Radial Basis Functions As we saw ealie, compactly suppoted functions Φ that ae tuly stictly conditionally positive definite of ode m > do not exist The compact suppot automatically
More informationVanishing lines in generalized Adams spectral sequences are generic
ISSN 364-0380 (on line) 465-3060 (pinted) 55 Geomety & Topology Volume 3 (999) 55 65 Published: 2 July 999 G G G G T T T G T T T G T G T GG TT G G G G GG T T T TT Vanishing lines in genealized Adams spectal
More informationA THREE CRITICAL POINTS THEOREM AND ITS APPLICATIONS TO THE ORDINARY DIRICHLET PROBLEM
A THREE CRITICAL POINTS THEOREM AND ITS APPLICATIONS TO THE ORDINARY DIRICHLET PROBLEM DIEGO AVERNA AND GABRIELE BONANNO Abstact. The aim of this pape is twofold. On one hand we establish a thee citical
More informationGoodness-of-fit for composite hypotheses.
Section 11 Goodness-of-fit fo composite hypotheses. Example. Let us conside a Matlab example. Let us geneate 50 obsevations fom N(1, 2): X=nomnd(1,2,50,1); Then, unning a chi-squaed goodness-of-fit test
More informationSupplementary information Efficient Enumeration of Monocyclic Chemical Graphs with Given Path Frequencies
Supplementay infomation Efficient Enumeation of Monocyclic Chemical Gaphs with Given Path Fequencies Masaki Suzuki, Hioshi Nagamochi Gaduate School of Infomatics, Kyoto Univesity {m suzuki,nag}@amp.i.kyoto-u.ac.jp
More informationConstruction and Analysis of Boolean Functions of 2t + 1 Variables with Maximum Algebraic Immunity
Constuction and Analysis of Boolean Functions of 2t + 1 Vaiables with Maximum Algebaic Immunity Na Li and Wen-Feng Qi Depatment of Applied Mathematics, Zhengzhou Infomation Engineeing Univesity, Zhengzhou,
More informationLecture 18: Graph Isomorphisms
INFR11102: Computational Complexity 22/11/2018 Lectue: Heng Guo Lectue 18: Gaph Isomophisms 1 An Athu-Melin potocol fo GNI Last time we gave a simple inteactive potocol fo GNI with pivate coins. We will
More information(n 1)n(n + 1)(n + 2) + 1 = (n 1)(n + 2)n(n + 1) + 1 = ( (n 2 + n 1) 1 )( (n 2 + n 1) + 1 ) + 1 = (n 2 + n 1) 2.
Paabola Volume 5, Issue (017) Solutions 151 1540 Q151 Take any fou consecutive whole numbes, multiply them togethe and add 1. Make a conjectue and pove it! The esulting numbe can, fo instance, be expessed
More informationOn the Poisson Approximation to the Negative Hypergeometric Distribution
BULLETIN of the Malaysian Mathematical Sciences Society http://mathusmmy/bulletin Bull Malays Math Sci Soc (2) 34(2) (2011), 331 336 On the Poisson Appoximation to the Negative Hypegeometic Distibution
More informationEQUI-PARTITIONING OF HIGHER-DIMENSIONAL HYPER-RECTANGULAR GRID GRAPHS
EQUI-PARTITIONING OF HIGHER-DIMENSIONAL HYPER-RECTANGULAR GRID GRAPHS ATHULA GUNAWARDENA AND ROBERT R MEYER Abstact A d-dimensional gid gaph G is the gaph on a finite subset in the intege lattice Z d in
More informationLecture 28: Convergence of Random Variables and Related Theorems
EE50: Pobability Foundations fo Electical Enginees July-Novembe 205 Lectue 28: Convegence of Random Vaiables and Related Theoems Lectue:. Kishna Jagannathan Scibe: Gopal, Sudhasan, Ajay, Swamy, Kolla An
More informationMethod for Approximating Irrational Numbers
Method fo Appoximating Iational Numbes Eic Reichwein Depatment of Physics Univesity of Califonia, Santa Cuz June 6, 0 Abstact I will put foth an algoithm fo poducing inceasingly accuate ational appoximations
More informationNumerical approximation to ζ(2n+1)
Illinois Wesleyan Univesity Fom the SelectedWoks of Tian-Xiao He 6 Numeical appoximation to ζ(n+1) Tian-Xiao He, Illinois Wesleyan Univesity Michael J. Dancs Available at: https://woks.bepess.com/tian_xiao_he/6/
More informationMatrix Colorings of P 4 -sparse Graphs
Diplomabeit Matix Coloings of P 4 -spase Gaphs Chistoph Hannnebaue Januay 23, 2010 Beteue: Pof. D. Winfied Hochstättle FenUnivesität in Hagen Fakultät fü Mathematik und Infomatik Contents Intoduction iii
More informationarxiv: v1 [math.nt] 28 Oct 2017
ON th COEFFICIENT OF DIVISORS OF x n axiv:70049v [mathnt] 28 Oct 207 SAI TEJA SOMU Abstact Let,n be two natual numbes and let H(,n denote the maximal absolute value of th coefficient of divisos of x n
More informationSTUDY OF SOLUTIONS OF LOGARITHMIC ORDER TO HIGHER ORDER LINEAR DIFFERENTIAL-DIFFERENCE EQUATIONS WITH COEFFICIENTS HAVING THE SAME LOGARITHMIC ORDER
UNIVERSITATIS IAGELLONICAE ACTA MATHEMATICA doi: 104467/20843828AM170027078 542017, 15 32 STUDY OF SOLUTIONS OF LOGARITHMIC ORDER TO HIGHER ORDER LINEAR DIFFERENTIAL-DIFFERENCE EQUATIONS WITH COEFFICIENTS
More informationAnalytical solutions to the Navier Stokes equations
JOURAL OF MATHEMATICAL PHYSICS 49, 113102 2008 Analytical solutions to the avie Stokes equations Yuen Manwai a Depatment of Applied Mathematics, The Hong Kong Polytechnic Univesity, Hung Hom, Kowloon,
More informationAn upper bound on the number of high-dimensional permutations
An uppe bound on the numbe of high-dimensional pemutations Nathan Linial Zu Luia Abstact What is the highe-dimensional analog of a pemutation? If we think of a pemutation as given by a pemutation matix,
More information10/04/18. P [P(x)] 1 negl(n).
Mastemath, Sping 208 Into to Lattice lgs & Cypto Lectue 0 0/04/8 Lectues: D. Dadush, L. Ducas Scibe: K. de Boe Intoduction In this lectue, we will teat two main pats. Duing the fist pat we continue the
More informationA NOTE ON ROTATIONS AND INTERVAL EXCHANGE TRANSFORMATIONS ON 3-INTERVALS KARMA DAJANI
A NOTE ON ROTATIONS AND INTERVAL EXCHANGE TRANSFORMATIONS ON 3-INTERVALS KARMA DAJANI Abstact. Wepove the conjectue that an inteval exchange tansfomation on 3-intevals with coesponding pemutation (1; 2;
More informationSemicanonical basis generators of the cluster algebra of type A (1)
Semicanonical basis geneatos of the cluste algeba of type A (1 1 Andei Zelevinsky Depatment of Mathematics Notheasten Univesity, Boston, USA andei@neu.edu Submitted: Jul 7, 006; Accepted: Dec 3, 006; Published:
More informationworking pages for Paul Richards class notes; do not copy or circulate without permission from PGR 2004/11/3 10:50
woking pages fo Paul Richads class notes; do not copy o ciculate without pemission fom PGR 2004/11/3 10:50 CHAPTER7 Solid angle, 3D integals, Gauss s Theoem, and a Delta Function We define the solid angle,
More informationRADIALLY SYMMETRIC SOLUTIONS TO THE GRAPHIC WILLMORE SURFACE EQUATION
RADIALLY SYMMETRIC SOLUTIONS TO THE GRAPHIC WILLMORE SURFACE EQUATION JINGYI CHEN AND YUXIANG LI Abstact. We show that a smooth adially symmetic solution u to the gaphic Willmoe suface equation is eithe
More informationVOLUMES OF CONVEX POLYTOPES
VOLUMES OF CONVEX POLYTOPES Richad P. Stanley Depatment of Mathematics M.I.T. 2-375 Cambidge, MA 02139 stan@math.mit.edu http://www-math.mit.edu/~stan Tanspaencies available at: http://www-math.mit.edu/~stan/tans.html
More informationUpper Bounds for Tura n Numbers. Alexander Sidorenko
jounal of combinatoial theoy, Seies A 77, 134147 (1997) aticle no. TA962739 Uppe Bounds fo Tua n Numbes Alexande Sidoenko Couant Institute of Mathematical Sciences, New Yok Univesity, 251 Mece Steet, New
More informationModified Linear Programming and Class 0 Bounds for Graph Pebbling
Modified Linea Pogamming and Class 0 Bounds fo Gaph Pebbling Daniel W. Canston Luke Postle Chenxiao Xue Cal Yege August 8, 05 Abstact Given a configuation of pebbles on the vetices of a connected gaph
More informationAnalytical Solutions for Confined Aquifers with non constant Pumping using Computer Algebra
Poceedings of the 006 IASME/SEAS Int. Conf. on ate Resouces, Hydaulics & Hydology, Chalkida, Geece, May -3, 006 (pp7-) Analytical Solutions fo Confined Aquifes with non constant Pumping using Compute Algeba
More information1 Similarity Analysis
ME43A/538A/538B Axisymmetic Tubulent Jet 9 Novembe 28 Similaity Analysis. Intoduction Conside the sketch of an axisymmetic, tubulent jet in Figue. Assume that measuements of the downsteam aveage axial
More information1) (A B) = A B ( ) 2) A B = A. i) A A = φ i j. ii) Additional Important Properties of Sets. De Morgan s Theorems :
Additional Impotant Popeties of Sets De Mogan s Theoems : A A S S Φ, Φ S _ ( A ) A ) (A B) A B ( ) 2) A B A B Cadinality of A, A, is defined as the numbe of elements in the set A. {a,b,c} 3, { }, while
More informationLinear Systems With Coeæcient Matrices. Having Fields of Values. Ren-Cang Li. Department of Mathematics. University of California at Berkeley
Linea Systems With Coeæcient Matices Having Fields of Values Not Containing The Oigin æ Ren-Cang Li Depatment of Mathematics Univesity of Califonia at Bekeley Bekeley, Califonia 9470 Mach 9, 994 Compute
More informationExploration of the three-person duel
Exploation of the thee-peson duel Andy Paish 15 August 2006 1 The duel Pictue a duel: two shootes facing one anothe, taking tuns fiing at one anothe, each with a fixed pobability of hitting his opponent.
More informationAsymptotically Lacunary Statistical Equivalent Sequence Spaces Defined by Ideal Convergence and an Orlicz Function
"Science Stays Tue Hee" Jounal of Mathematics and Statistical Science, 335-35 Science Signpost Publishing Asymptotically Lacunay Statistical Equivalent Sequence Spaces Defined by Ideal Convegence and an
More informationarxiv: v1 [math.co] 1 Apr 2011
Weight enumeation of codes fom finite spaces Relinde Juius Octobe 23, 2018 axiv:1104.0172v1 [math.co] 1 Ap 2011 Abstact We study the genealized and extended weight enumeato of the - ay Simplex code and
More informationUnobserved Correlation in Ascending Auctions: Example And Extensions
Unobseved Coelation in Ascending Auctions: Example And Extensions Daniel Quint Univesity of Wisconsin Novembe 2009 Intoduction In pivate-value ascending auctions, the winning bidde s willingness to pay
More information