# P. Jeyanthi and N. Angel Benseera

Save this PDF as:

Size: px
Start display at page:

## Transcription

1 Opuscula Math. 34, no. 1 (014), Opuscula Mathematica A TOTALLY MAGIC CORDIAL LABELING OF ONE-POINT UNION OF n COPIES OF A GRAPH P. Jeyanthi and N. Angel Benseera Communicated by Dalibor Fronček Abstract. A graph G is said to have a totally magic cordial (TMC) labeling with constant C if there exists a mapping f : V (G) E(G) 0, 1} such that f(a)+f(b)+f(ab) C(mod ) for all ab E(G) and n f (0) n f (1) 1, where n f (i) (i = 0, 1) is the sum of the number of vertices and edges with label i. In this paper, we establish the totally magic cordial labeling of one-point union of n-copies of cycles, complete graphs and wheels. Keywords: totally magic cordial labeling, one-point union of graphs. Mathematics Subject Classification: 05C INTRODUCTION All graphs considered here are finite, simple and undirected. The set of vertices and edges of a graph G is denoted by V (G) and E(G) respectively. Let p = V (G) and q = E(G). A general reference for graph theoretic ideas can be seen in [3]. The concept of cordial labeling was introduced by Cahit [1]. A binary vertex labeling f : V (G) 0, 1} induces an edge labeling f : E(G) 0, 1} defined by f (uv) = f(u) f(v). Such labeling is called cordial if the conditions v f (0) v f (1) 1 and e f (0) e f (1) 1 are satisfied, where v f (i) and e f (i) (i = 0, 1) are the number of vertices and edges with label i respectively. A graph is called cordial if it admits a cordial labeling. The cordiality of a one-point union of n copies of graphs is given in [6]. Kotzig and Rosa introduced the concept of edge-magic total labeling in [5]. A bijection f : V (G) E(G) 1,, 3,..., p + q} is called an edge-magic total labeling of G if f(x) + f(xy) + f(y) is constant (called the magic constant of f) for every edge xy of G. The graph that admits this labeling is called an edge-magic total graph. The notion of totally magic cordial (TMC) labeling was due to Cahit [] as a modification of edge magic total labeling and cordial labeling. A graph G is said to have TMC labeling with constant C if there exists a mapping f : V (G) E(G) 0, 1} c AGH University of Science and Technology Press, Krakow

2 116 P. Jeyanthi and N. Angel Benseera such that f(a) + f(b) + f(ab) C(mod ) for all ab E(G) and n f (0) n f (1) 1, where n f (i) (i = 0, 1) is the sum of the number of vertices and edges with label i. A rooted graph is a graph in which one vertex is named in a special way so as to distinguish it from other nodes. The special node is called the root of the graph. Let G be a rooted graph. The graph obtained by identifying the roots of n copies of G is called the one-point union of n copies of G and is denoted by G (n). In this paper, we establish the TMC labeling of a one-point union of n-copies of cycles, complete graphs and wheels.. MAIN RESULTS In this section, we present sufficient conditions for a one-point union of n copies of a rooted graph to be TMC and also obtain conditions under which a one-point union of n copies of graphs such as a cycle, complete graph and wheel are TMC graphs. We relate the TMC labeling of a one-point union of n copies of a rooted graph to the solution of a system which involves an equation and an inequality. Theorem.1. Let G be a graph rooted at a vertex u and for i = 1,,..., k, f i : V (G) E(G) 0, 1} be such that f i (a) + f i (b) + f i (ab) C(mod ) for all ab E(G) and f i (u) = 0. Let n fi (0) = α i, n fi (1) = β i for i = 1,,..., k. Then the one-point union G (n) of n copies of G is TMC if the system (.1) has a nonnegative integral solution for the x i s: k k k (α i 1)x i β i x i and x i = n. (.1) i=1 i=1 Proof. Suppose x i = δ i, i = 1,,..., k, is a nonnegative integral solution of system (.1). Then we label the δ i copies of G in G (n) with f i (i = 1,,..., k). As each of these copies has the property f i (a) + f i (b) + f i (ab) C(mod ) and f i (u) = 0 for all i = 1,,..., k, G (n) is TMC. Corollary.. Let G be a graph rooted at a vertex u and f be a labeling such that f(a)+f(b)+f(ab) C(mod ) for all ab E(G) and f(u) = 0. If n f (0) = n f (1)+1, then G (n) is TMC for all n 1. Example.3. One point union of a path is TMC. Corollary.4. Let G be a graph rooted at u. Let f i, i = 1,, 3 be labelings of G such that f i (a) + f i (b) + f i (ab) C(mod ) for all ab E(G), f i (u) = 0 and γ i = α i β i. 1. If γ 1 = and γ =, then G (n) is TMC for all n 1(mod 4).. If either a) γ 1 = 1 and γ = 3, or b) γ 1 = 4, γ = and γ 3 = 4, or c) γ 1 = 3, γ = 3 and γ 3 = 5, then G (n) is TMC for all n If γ 1 = 0 and γ = 4, then G (n) is TMC for all n 3(mod 4). i=1

3 A totally magic cordial labeling of one-point union of n copies of a graph 117 Proof. (1) The system (.1) in Theorem.1 becomes 3x 1 + x + 1 1, x 1 +x = n. When n = 4t, x 1 = t and x = 3t is the solution. When n = 4t + 1, the system has no solution. When n = 4t +, x 1 = t + 1 and x = 3t + 1 is the solution. When n = 4t + 3, x 1 = t + 1 and x = 3t + is the solution. Hence, by Theorem.1, G (n) is TMC for all n 1(mod 4). (a). The system (.1) in Theorem.1 becomes x 1 + x + 1 1, x 1 +x = n. When n = t, x 1 = t and x = t is the solution. When n = t + 1, x 1 = t + 1 and x = t is the solution. Hence, by Theorem.1, G (n) is TMC for all n 1. The other parts can similarly be proved. 3. ONE-POINT UNION OF CYCLES Let C m be a cycle of order m. Let and V (C m ) = v i 1 i m} E(C m ) = v i v i+1 1 i < m} v m v 1 }. We consider C m as a rooted graph with the vertex v 1 as its root. Theorem 3.1. Let C m (n) be the one-point union of n copies of a cycle C m. Then C m (n) is TMC for all m 3 and n 1. Proof. Define the labelings f 1 and f from V (C m ) E(C m ) into 0, 1} as follows: f 1 (v i ) = 0 for 1 i m, f 1 (v i v i+1 ) = 1 for 1 i < m, f 1 (v m v 1 ) = 1, 1 i m and 1 if i = m, 1 if 1 i < m 1, f (v i ) = f (v i v i+1 ) = 0 if i m, 0 if i = m 1, and f (v m v 1 ) = 0. Then α 1 = m, β 1 = m, α = m + 1 and β = m 1. Thus system (.1) in Theorem.1 becomes x 1 + x + 1 1, x 1 + x = n. When n = t, x 1 = t and x = t is the solution. When n = t + 1, x 1 = t + 1 and x = t is the solution. Hence, by Theorem.1, C m (n) is TMC for all m 3 and n ONE-POINT UNION OF COMPLETE GRAPHS Let K m be a complete graph of order m. Let and V (K m ) = v i 1 i m} E(K m ) = v i v j i j, 1 i m, 1 j m}. We consider K m as a rooted graph with the vertex v 1 as its root. Let f : V (K m ) E(K m ) 0, 1} be a TMC labeling of K m. Without loss of generality, assume C = 1.

4 118 P. Jeyanthi and N. Angel Benseera Then for any edge e = uv E(K m ), we have either f(e) = f(u) = f(v) = 1 or f(e) = f(u) = 0 and f(v) = 1 or f(e) = f(v) = 0 and f(u) = 1 or f(u) = f(v) = 0 and f(e) = 1. Thus, under the labeling f, the graph K m can be decomposed as K m = K p K r K p,r where K p is the sub-complete graph in which all the vertices and edges are labeled with 1, K r is the sub-complete graph in which all the vertices are labeled with 0 and edges are labeled with 1 and K p,r is the complete bipartite subgraph of K m with the bipartition V (K p ) V (K r ) and its edges are labeled with 0. Then we find n f (0) = r + pr and n f (1) = p +r +p r. Table 1. Possible values of α i and β i for distinct labelings of K m i p r α i β i 1 0 m m 1 m-1 (m 1) 3 m- 3 (m ) 4 3 m-3 4 (m 3) m+1 m 1 m+1 m 1 m+1 m m m 3m+4 m 5m+1 m 7m+4 [ ( m 1 ) +( m+1 ) + m 1 + m+1 ] Table 1 gives the possible values of α i and β i for distinct labelings f i of K m such that f i (a) + f i (b) + f i (ab) 1(mod ) for all ab E(K m ). Theorem 4.1. Let K m (n) be the one-point union of n copies of a complete graph K m. If m 1 has an integer value, then K m (n) is TMC for m 1, (mod 4). Proof. Let f : V (K m ) E(K m ) 0, 1} be a TMC labeling of K m. Under the labeling f, the graph K m can be decomposed as K m = K p K r K p,r. Then we have, n f (0) = r + pr and n f (1) = p +r +p r. By Corollary., K m (n) is TMC if n f (0) = n f (1) + 1. Whenever, [ n f (0) = n f (1) + 1, p + p(1 r) + r 3r + = 0. This implies that r = 1 ] (m + 1) ± m 1 as p = m r. Also, nf (0) = n f (1) + 1 is possible only when m 1, (mod 4). Therefore, K m (n) is TMC for m 1, (mod 4), if m 1 has an integer value Theorem 4. ([4]). Let G be an odd graph with p + q (mod 4). Then G is not TMC. Theorem 4.3. Let K (n) m be the one-point union of n copies of a complete graph K m. (i) If m 0(mod 8), then K m (n) is not TMC for n 3(mod 4). (ii) If m 4(mod 8), then K m (n) is not TMC for n 1(mod 4). Proof. Clearly, p = V (Km) n = n(m 1) + 1 and q = E(Km) n = nm(m 1) so that p + q = n(m 1)(m+) + 1. Part (i) Assume m = 8k and n = 4l + 3. Since the degree of every vertex is odd and

5 A totally magic cordial labeling of one-point union of n copies of a graph 119 p + q (mod 4), it follows from Theorem 4. that K m (n) Part (ii) can similarly be proved. Theorem 4.4. K (n) 4 is TMC if and only if n 1(mod 4). is not TMC. Proof. Necessity follows from Theorem 4.3 and for sufficiency we define the labelings f 1 and f as follows: f 1 (v i ) = 0 for 1 i 4, f 1 (v i v j ) = 1 for 1 i, j 4 and under the labeling f decompose K 4 as K 1 K 3 K 1,3. From Table 1, we observe that α 1 = 4, β 1 = 6, α = 6 and β = 4. Therefore, by Corollary.4 (1), K (n) 4 is TMC if n 1(mod 4). Theorem 4.5. K (n) 5 is TMC for all n 1. Proof. Define f : V (K (n) 5 ) E(K (n) 5 ) 0, 1} as follows: 0 if i 5, f(v i ) = 1 if i = 5 and f(v i v j ) = 1 if 1 i, j 4, 0 if i = 5 or j = 5. Clearly, α = β + 1 = 8. Therefore, by Corollary., K (n) 5 is TMC for all n 1. Theorem 4.6. K (n) 6 is TMC for all n 1. Proof. Let f 1 and f be the labelings from V (K (n) 6 ) E(K (n) 6 ) into 0, 1}. Then, under the labelings f 1 and f the graph K 6 can be decomposed as K 1 K 5 K 1,5 and K K 4 K,4 respectively. Clearly, α 1 = 10, β 1 = 11, α = 1 and β = 9. Hence, by Corollary.4 (a), K (n) 6 is TMC for all n 1. Theorem 4.7. K (n) 7 is TMC for all n 1. Proof. Let f 1, f and f 3 be the labelings from V (K (n) 7 ) E(K (n) 7 ) into 0, 1}. Then under the labelings f 1, f and f 3 the graph K 7 can be decomposed as K 3 K 4 K 3,4, K 4 K 3 K 4,3 and K 5 K K 5, respectively. We observe that α 1 = 16, β 1 = 1, α = 15, β = 13, α 3 = 1 and β 3 = 16. Hence, by Corollary.4 (b), K (n) 7 is TMC for all n 1. Theorem 4.8. K (n) 8 is TMC if and only if n 3(mod 4). Proof. Necessity follows from Theorem 4.3 and for sufficiency we define the labelings f 1 and f as follows: under the labelings f 1 and f the graph K 8 can be decomposed as K K 6 K,6 and K 3 K 5 K 3,5 respectively. Clearly, α 1 = 18, β 1 = 18, α = 0 and β = 16. Hence, by Corollary.4 (3), K (n) 8 is TMC if n 3(mod 4). Theorem 4.9. K (n) 9 is TMC for all n 1.

6 10 P. Jeyanthi and N. Angel Benseera Proof. Under the labelings f 1, f and f 3 the graph K 9 can be decomposed as K K 7 K,7, K 3 K 6 K 3,6 and K 4 K 5 K 4,5 respectively. We observe that α 1 = 1, β 1 = 4, α = 4, β = 1, α 3 = 5 and β 3 = 0. Therefore, by Corollary.4 (c), the graph K (n) 9 is TMC for all n ONE-POINT UNION OF WHEELS A wheel W m is obtained by joining the vertices v 1, v,..., v m of a cycle C m to an extra vertex v called the centre. We consider W m as a rooted graph with v as its root. Theorem 5.1. Let W (n) m be the one-point union of n copies of a wheel W m. (i) If m 0(mod 4), then W m (n) is TMC for all n 1. (ii) If m 1(mod 4), then W m (n) is TMC for n 3(mod 4). (iii) If m (mod 4), then W m (n) is TMC for all n 1. (iv) If m 3(mod 4), then W m (n) is TMC for n 1(mod 4). Proof. Define the labelings f 1,f,f 3,f 4 and f 5 as follows: f j (v) = 0 for j = 1,, 3, 4, 5. f 1 (v m v 1 ) = 0, f 1 (v i ) = 1 if i 0(mod 4), 0 if i 0(mod 4), f 1 (v i v i+1 ) = 1 if i 1, (mod 4), 0 if i 0, 3(mod 4) and f 1 (vv i ) = 1 if i 0(mod 4), 0 if i 0(mod 4). f (v i ) = f (v i v i+1 ) = 1, f (vv i ) = 0 for i = 1,,..., m and f (v m v 1 ) = 1. f 3 (v i ) = f 1 (v i ), f 3 (v i v i+1 ) = f 1 (v i v i+1 ), f 3 (vv i ) = f 1 (vv i ) for i = 1,,..., m and f 3 (v m v 1 ) = 1. f 4 (v 1 ) = 1, f 4 (v 1 v ) = f 4 (v m v 1 ) = 0, f 4 (v i ) = f 3 (v i ), f 4 (v i v i+1 ) = f 3 (v i v i+1 ), f 4 (vv i ) = f 3 (vv i ) for i =, 3,..., m and f 4 (vv 1 ) = 0. f 5 (v i ) = 1 if i 1(mod ), 0 if i 0(mod ), f 5 (vv i ) = 0 if i 1(mod ), 1 if i 0(mod ), f 5 (v i v i+1 ) = f 5 (v m v 1 ) = 0. Case 1. m 0 (mod 4). If we consider the labeling f 1 we have, n f1 (0) = n f1 (1) + 1. Then, by Corollary., W m (n) is TMC for all n 1. Case. m 1 (mod 4). If we consider the labelings f, f 3 and f 4. We have α = 3m+1, β = 3m+1, α 3 = 3m+5, β 3, α 4 = m + 1, β 4 = m. Then, system (.1) in Theorem.1 becomes x + 3x 3 (m + 1)x , x + x 3 + x 4 = n. When n = 4t, x = 3t, x 3 = t, x 4 = 0 is a solution. When n = 4t + 1, x = 3t + 1, x 3 = t, x 4 = 0 is a solution. When = 3m 3 n = 4t +, x = 3t +, x 3 = t, x 4 = 0 is a solution. When n = 4t + 3, the system has no solution. Hence, by Theorem.1, W (n) m is TMC if n 3(mod 4).

7 A totally magic cordial labeling of one-point union of n copies of a graph 11 Case 3. m (mod 4). If we consider the labelings f, f 3, f 4 and f 5, we have α = m+1, β = m, α 3 = 3m, β 3 = 3m+, α 4 = 3m+4, β 4 = 3m, α 5 = m + 1, β 5 = m. Thus, system (.1) in Theorem.1 becomes mx x 3 + x 4 + mx , x + x 3 + x 4 + x 5 = n. When n = 4t, x = x 3 = x 4 = x 5 = t is a solution. When n = 4t + 1, x = t, x 3 = t + 1, x 4 = t, x 5 = t is a solution. When n = 4t +, x = t + 1, x = t, x 4 = t, x 5 = t + 1 is a solution. When n = 4t + 3, x = t + 1, x 3 = t + 1, x 4 = t, x 5 = t + 1 is a solution. Hence, by Theorem.1, W (n) m is TMC for all n 1. Case 4. m 3 (mod 4). If we consider the labelings f 3 and f 4. We have α 3 = 3m 1, β 3 = 3m+3, α 4 = 3m+3 and β 4 = 3m 1. Therefore, system (.1) in Theorem.1 becomes, 3x 3 + x , x 3 + x 4 = n. When n = 4t, x 3 = t, x 4 = 3t is a solution. When n = 4t + 1,the system has no solution. When n = 4t +, x 3 = t + 1, x 4 = 3t + 1 is a solution. When n = 4t + 3, x 3 = t + 1, x 4 = 3t + is a solution. Hence, by Theorem.1, W m (n) is TMC if n 1(mod 4). Acknowledgments The authors sincerely thank the referee for the valuable suggestions which were used in this paper. REFERENCES [1] I. Cahit, Cordial graphs: A weaker version of graceful and harmonious graphs, Ars Combin. 3 (1987), [] I. Cahit, Some totally modular cordial graphs, Discuss. Math. Graph Theory (00), [3] F. Harary, Graph Theory, Addison-Wesley Publishing Co., [4] P. Jeyanthi, N. Angel Benseera, Totally magic cordial labeling for some graphs (preprint). [5] A. Kotzig, A. Rosa, Magic valuations of finite graphs, Canad. Math. Bull. 13 (1970) 4, [6] Sze-Chin Shee, Yong-Song Ho, The cordiality of one-point union of n copies of a graph, Discrete Math. 117 (1993), P. Jeyanthi Research Center Department of Mathematics Govindammal Aditanar College for Women Tiruchendur 68 15, India

8 1 P. Jeyanthi and N. Angel Benseera N. Angel Benseera Department of Mathematics Sri Meenakshi Government Arts College for Women (Autonomous) Madurai 65 00, India Received: June 10, 013. Revised: September 14, 013. Accepted: September 1, 013.

### Special Classes of Divisor Cordial Graphs

International Mathematical Forum, Vol. 7,, no. 35, 737-749 Special Classes of Divisor Cordial Graphs R. Varatharajan Department of Mathematics, Sri S.R.N.M. College Sattur - 66 3, Tamil Nadu, India varatharajansrnm@gmail.com

### Every tree is 3-equitable

Discrete Mathematics 220 (2000) 283 289 www.elsevier.com/locate/disc Note Every tree is 3-equitable David E. Speyer a, Zsuzsanna Szaniszlo b; a Harvard University, USA b Department of Mathematical Sciences,

### ON SUPER (a, d)-edge ANTIMAGIC TOTAL LABELING OF CERTAIN FAMILIES OF GRAPHS

Discussiones Mathematicae Graph Theory 3 (01) 535 543 doi:10.7151/dmgt.163 ON SUPER (a, d)-edge ANTIMAGIC TOTAL LABELING OF CERTAIN FAMILIES OF GRAPHS P. Roushini Leely Pushpam Department of Mathematics

### On Integer Additive Set-Indexers of Graphs

On Integer Additive Set-Indexers of Graphs arxiv:1312.7672v4 [math.co] 2 Mar 2014 N K Sudev and K A Germina Abstract A set-indexer of a graph G is an injective set-valued function f : V (G) 2 X such that

### Some Polygonal Sum Labeling of Paths

Volume 6 No.5, January 03 Some Polygonal Sum Labeling of Paths S.Murugesan Associate Professor CBM college Coimbatore-60 D.Jayaraman Associate Professor CBM College Coimbatore- 60 J.Shiama Assistant Professor

### 3. Equivalence Relations. Discussion

3. EQUIVALENCE RELATIONS 33 3. Equivalence Relations 3.1. Definition of an Equivalence Relations. Definition 3.1.1. A relation R on a set A is an equivalence relation if and only if R is reflexive, symmetric,

### Tools for parsimonious edge-colouring of graphs with maximum degree three. J.L. Fouquet and J.M. Vanherpe. Rapport n o RR-2010-10

Tools for parsimonious edge-colouring of graphs with maximum degree three J.L. Fouquet and J.M. Vanherpe LIFO, Université d Orléans Rapport n o RR-2010-10 Tools for parsimonious edge-colouring of graphs

### SEQUENCES OF MAXIMAL DEGREE VERTICES IN GRAPHS. Nickolay Khadzhiivanov, Nedyalko Nenov

Serdica Math. J. 30 (2004), 95 102 SEQUENCES OF MAXIMAL DEGREE VERTICES IN GRAPHS Nickolay Khadzhiivanov, Nedyalko Nenov Communicated by V. Drensky Abstract. Let Γ(M) where M V (G) be the set of all vertices

### FALSE ALARMS IN FAULT-TOLERANT DOMINATING SETS IN GRAPHS. Mateusz Nikodem

Opuscula Mathematica Vol. 32 No. 4 2012 http://dx.doi.org/10.7494/opmath.2012.32.4.751 FALSE ALARMS IN FAULT-TOLERANT DOMINATING SETS IN GRAPHS Mateusz Nikodem Abstract. We develop the problem of fault-tolerant

### [f(u)] + [f(v)] {0, 1, 2, 3,...,2p } such that when each edge uv is assigned the label f(uv) =

ISSN: -6 ISO :8 Certified Volume, Issue, May A Study on Root Mean Square Labelings in Graphs *P. Shalini & **D. Paul Dhayabaran *Asst Professor, Cauvery College for Women,**Principal, Bishop Heber College

### SCORE SETS IN ORIENTED GRAPHS

Applicable Analysis and Discrete Mathematics, 2 (2008), 107 113. Available electronically at http://pefmath.etf.bg.ac.yu SCORE SETS IN ORIENTED GRAPHS S. Pirzada, T. A. Naikoo The score of a vertex v in

### 6.2 Permutations continued

6.2 Permutations continued Theorem A permutation on a finite set A is either a cycle or can be expressed as a product (composition of disjoint cycles. Proof is by (strong induction on the number, r, of

### BOUNDARY EDGE DOMINATION IN GRAPHS

BULLETIN OF THE INTERNATIONAL MATHEMATICAL VIRTUAL INSTITUTE ISSN (p) 0-4874, ISSN (o) 0-4955 www.imvibl.org /JOURNALS / BULLETIN Vol. 5(015), 197-04 Former BULLETIN OF THE SOCIETY OF MATHEMATICIANS BANJA

### Labeling outerplanar graphs with maximum degree three

Labeling outerplanar graphs with maximum degree three Xiangwen Li 1 and Sanming Zhou 2 1 Department of Mathematics Huazhong Normal University, Wuhan 430079, China 2 Department of Mathematics and Statistics

### Lecture 16 : Relations and Functions DRAFT

CS/Math 240: Introduction to Discrete Mathematics 3/29/2011 Lecture 16 : Relations and Functions Instructor: Dieter van Melkebeek Scribe: Dalibor Zelený DRAFT In Lecture 3, we described a correspondence

### CS 598CSC: Combinatorial Optimization Lecture date: 2/4/2010

CS 598CSC: Combinatorial Optimization Lecture date: /4/010 Instructor: Chandra Chekuri Scribe: David Morrison Gomory-Hu Trees (The work in this section closely follows [3]) Let G = (V, E) be an undirected

### Generalizing the Ramsey Problem through Diameter

Generalizing the Ramsey Problem through Diameter Dhruv Mubayi Submitted: January 8, 001; Accepted: November 13, 001. MR Subject Classifications: 05C1, 05C15, 05C35, 05C55 Abstract Given a graph G and positive

### I. GROUPS: BASIC DEFINITIONS AND EXAMPLES

I GROUPS: BASIC DEFINITIONS AND EXAMPLES Definition 1: An operation on a set G is a function : G G G Definition 2: A group is a set G which is equipped with an operation and a special element e G, called

### Enumerating super edge-magic labelings for some types of path-like trees

Enumerating super edge-magic labelings for some types of path-like trees S. C. López Departament de Matemàtica Aplicada IV Universitat Politècnica de Catalunya, Jordi Girona Salgado 1 08034 Barcelona,

### 8. Matchings and Factors

8. Matchings and Factors Consider the formation of an executive council by the parliament committee. Each committee needs to designate one of its members as an official representative to sit on the council,

### Solutions to Exercises 8

Discrete Mathematics Lent 2009 MA210 Solutions to Exercises 8 (1) Suppose that G is a graph in which every vertex has degree at least k, where k 1, and in which every cycle contains at least 4 vertices.

### 1 Digraphs. Definition 1

1 Digraphs Definition 1 Adigraphordirected graphgisatriplecomprisedofavertex set V(G), edge set E(G), and a function assigning each edge an ordered pair of vertices (tail, head); these vertices together

### p 2 1 (mod 6) Adding 2 to both sides gives p (mod 6)

.9. Problems P10 Try small prime numbers first. p p + 6 3 11 5 7 7 51 11 13 Among the primes in this table, only the prime 3 has the property that (p + ) is also a prime. We try to prove that no other

### Zero-Sum Magic Labelings and Null Sets of Regular Graphs

Zero-Sum Magic Labelings and Null Sets of Regular Graphs Saieed Akbari a,c Farhad Rahmati b Sanaz Zare b,c a Department of Mathematical Sciences, Sharif University of Technology, Tehran, Iran b Department

### Degree Hypergroupoids Associated with Hypergraphs

Filomat 8:1 (014), 119 19 DOI 10.98/FIL1401119F Published by Faculty of Sciences and Mathematics, University of Niš, Serbia Available at: http://www.pmf.ni.ac.rs/filomat Degree Hypergroupoids Associated

### An inequality for the group chromatic number of a graph

An inequality for the group chromatic number of a graph Hong-Jian Lai 1, Xiangwen Li 2 and Gexin Yu 3 1 Department of Mathematics, West Virginia University Morgantown, WV 26505 USA 2 Department of Mathematics

### A 2-factor in which each cycle has long length in claw-free graphs

A -factor in which each cycle has long length in claw-free graphs Roman Čada Shuya Chiba Kiyoshi Yoshimoto 3 Department of Mathematics University of West Bohemia and Institute of Theoretical Computer Science

### Characterizations of Arboricity of Graphs

Characterizations of Arboricity of Graphs Ruth Haas Smith College Northampton, MA USA Abstract The aim of this paper is to give several characterizations for the following two classes of graphs: (i) graphs

### DISTANCE MAGIC CARTESIAN PRODUCTS OF GRAPHS

1 2 Discussiones Mathematicae Graph Theory xx (xxxx) 1 9 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 DISTANCE MAGIC CARTESIAN PRODUCTS OF GRAPHS Christian Barrientos Department of Mathematics,

### SHARP BOUNDS FOR THE SUM OF THE SQUARES OF THE DEGREES OF A GRAPH

31 Kragujevac J. Math. 25 (2003) 31 49. SHARP BOUNDS FOR THE SUM OF THE SQUARES OF THE DEGREES OF A GRAPH Kinkar Ch. Das Department of Mathematics, Indian Institute of Technology, Kharagpur 721302, W.B.,

### Root Square Mean Labeling of Graphs

International Journal of Contemporary Mathematical Sciences Vol. 9, 2014, no. 14, 667-676 HIKARI Ltd, www.m-hikari.com http://dx.doi.org/10.12988/ijcms.2014.410105 Root Square Mean Labeling of Graphs S.

### An inequality for the group chromatic number of a graph

Discrete Mathematics 307 (2007) 3076 3080 www.elsevier.com/locate/disc Note An inequality for the group chromatic number of a graph Hong-Jian Lai a, Xiangwen Li b,,1, Gexin Yu c a Department of Mathematics,

### On three zero-sum Ramsey-type problems

On three zero-sum Ramsey-type problems Noga Alon Department of Mathematics Raymond and Beverly Sackler Faculty of Exact Sciences Tel Aviv University, Tel Aviv, Israel and Yair Caro Department of Mathematics

### Class One: Degree Sequences

Class One: Degree Sequences For our purposes a graph is a just a bunch of points, called vertices, together with lines or curves, called edges, joining certain pairs of vertices. Three small examples of

### The Mean Value Theorem

The Mean Value Theorem THEOREM (The Extreme Value Theorem): If f is continuous on a closed interval [a, b], then f attains an absolute maximum value f(c) and an absolute minimum value f(d) at some numbers

### Sample Problems in Discrete Mathematics

Sample Problems in Discrete Mathematics This handout lists some sample problems that you should be able to solve as a pre-requisite to Computer Algorithms Try to solve all of them You should also read

### Notes on Matrix Multiplication and the Transitive Closure

ICS 6D Due: Wednesday, February 25, 2015 Instructor: Sandy Irani Notes on Matrix Multiplication and the Transitive Closure An n m matrix over a set S is an array of elements from S with n rows and m columns.

### Principle of (Weak) Mathematical Induction. P(1) ( n 1)(P(n) P(n + 1)) ( n 1)(P(n))

Outline We will cover (over the next few weeks) Mathematical Induction (or Weak Induction) Strong (Mathematical) Induction Constructive Induction Structural Induction Principle of (Weak) Mathematical Induction

### Total colorings of planar graphs with small maximum degree

Total colorings of planar graphs with small maximum degree Bing Wang 1,, Jian-Liang Wu, Si-Feng Tian 1 Department of Mathematics, Zaozhuang University, Shandong, 77160, China School of Mathematics, Shandong

### HOMEWORK 5 SOLUTIONS. n!f n (1) lim. ln x n! + xn x. 1 = G n 1 (x). (2) k + 1 n. (n 1)!

Math 7 Fall 205 HOMEWORK 5 SOLUTIONS Problem. 2008 B2 Let F 0 x = ln x. For n 0 and x > 0, let F n+ x = 0 F ntdt. Evaluate n!f n lim n ln n. By directly computing F n x for small n s, we obtain the following

### Math 55: Discrete Mathematics

Math 55: Discrete Mathematics UC Berkeley, Fall 2011 Homework # 5, due Wednesday, February 22 5.1.4 Let P (n) be the statement that 1 3 + 2 3 + + n 3 = (n(n + 1)/2) 2 for the positive integer n. a) What

### Math 319 Problem Set #3 Solution 21 February 2002

Math 319 Problem Set #3 Solution 21 February 2002 1. ( 2.1, problem 15) Find integers a 1, a 2, a 3, a 4, a 5 such that every integer x satisfies at least one of the congruences x a 1 (mod 2), x a 2 (mod

### n k=1 k=0 1/k! = e. Example 6.4. The series 1/k 2 converges in R. Indeed, if s n = n then k=1 1/k, then s 2n s n = 1 n + 1 +...

6 Series We call a normed space (X, ) a Banach space provided that every Cauchy sequence (x n ) in X converges. For example, R with the norm = is an example of Banach space. Now let (x n ) be a sequence

### No: 10 04. Bilkent University. Monotonic Extension. Farhad Husseinov. Discussion Papers. Department of Economics

No: 10 04 Bilkent University Monotonic Extension Farhad Husseinov Discussion Papers Department of Economics The Discussion Papers of the Department of Economics are intended to make the initial results

### Characterizing the Sum of Two Cubes

1 3 47 6 3 11 Journal of Integer Sequences, Vol. 6 (003), Article 03.4.6 Characterizing the Sum of Two Cubes Kevin A. Broughan University of Waikato Hamilton 001 New Zealand kab@waikato.ac.nz Abstract

### TOPIC 3: CONTINUITY OF FUNCTIONS

TOPIC 3: CONTINUITY OF FUNCTIONS. Absolute value We work in the field of real numbers, R. For the study of the properties of functions we need the concept of absolute value of a number. Definition.. Let

### On a tree graph dened by a set of cycles

Discrete Mathematics 271 (2003) 303 310 www.elsevier.com/locate/disc Note On a tree graph dened by a set of cycles Xueliang Li a,vctor Neumann-Lara b, Eduardo Rivera-Campo c;1 a Center for Combinatorics,

### CHAPTER 5: MODULAR ARITHMETIC

CHAPTER 5: MODULAR ARITHMETIC LECTURE NOTES FOR MATH 378 (CSUSM, SPRING 2009). WAYNE AITKEN 1. Introduction In this chapter we will consider congruence modulo m, and explore the associated arithmetic called

### On the k-path cover problem for cacti

On the k-path cover problem for cacti Zemin Jin and Xueliang Li Center for Combinatorics and LPMC Nankai University Tianjin 300071, P.R. China zeminjin@eyou.com, x.li@eyou.com Abstract In this paper we

### On one-factorizations of replacement products

Filomat 27:1 (2013), 57 63 DOI 10.2298/FIL1301057A Published by Faculty of Sciences and Mathematics, University of Niš, Serbia Available at: http://www.pmf.ni.ac.rs/filomat On one-factorizations of replacement

### HYPERIDENTITIES IN ASSOCIATIVE GRAPH ALGEBRAS

Discussiones Mathematicae General Algebra and Applications 20 (2000 ) 169 182 HYPERIDENTITIES IN ASSOCIATIVE GRAPH ALGEBRAS Tiang Poomsa-ard Department of Mathematics, Faculty of Science, Khon Kaen University,

### Every tree contains a large induced subgraph with all degrees odd

Every tree contains a large induced subgraph with all degrees odd A.J. Radcliffe Carnegie Mellon University, Pittsburgh, PA A.D. Scott Department of Pure Mathematics and Mathematical Statistics University

### A REMARK ON ALMOST MOORE DIGRAPHS OF DEGREE THREE. 1. Introduction and Preliminaries

Acta Math. Univ. Comenianae Vol. LXVI, 2(1997), pp. 285 291 285 A REMARK ON ALMOST MOORE DIGRAPHS OF DEGREE THREE E. T. BASKORO, M. MILLER and J. ŠIRÁŇ Abstract. It is well known that Moore digraphs do

### Tree Cover of Graphs

Applied Mathematical Sciences, Vol. 8, 2014, no. 150, 7469-7473 HIKARI Ltd, www.m-hikari.com http://dx.doi.org/10.12988/ams.2014.49728 Tree Cover of Graphs Rosalio G. Artes, Jr. and Rene D. Dignos Department

### 10. Graph Matrices Incidence Matrix

10 Graph Matrices Since a graph is completely determined by specifying either its adjacency structure or its incidence structure, these specifications provide far more efficient ways of representing a

### Introduction to Relations

CHAPTER 7 Introduction to Relations 1. Relations and Their Properties 1.1. Definition of a Relation. Definition: A binary relation from a set A to a set B is a subset R A B. If (a, b) R we say a is related

### Triangle deletion. Ernie Croot. February 3, 2010

Triangle deletion Ernie Croot February 3, 2010 1 Introduction The purpose of this note is to give an intuitive outline of the triangle deletion theorem of Ruzsa and Szemerédi, which says that if G = (V,

### Partitioning edge-coloured complete graphs into monochromatic cycles and paths

arxiv:1205.5492v1 [math.co] 24 May 2012 Partitioning edge-coloured complete graphs into monochromatic cycles and paths Alexey Pokrovskiy Departement of Mathematics, London School of Economics and Political

### THE NUMBER OF GRAPHS AND A RANDOM GRAPH WITH A GIVEN DEGREE SEQUENCE. Alexander Barvinok

THE NUMBER OF GRAPHS AND A RANDOM GRAPH WITH A GIVEN DEGREE SEQUENCE Alexer Barvinok Papers are available at http://www.math.lsa.umich.edu/ barvinok/papers.html This is a joint work with J.A. Hartigan

### MODULAR ARITHMETIC. a smallest member. It is equivalent to the Principle of Mathematical Induction.

MODULAR ARITHMETIC 1 Working With Integers The usual arithmetic operations of addition, subtraction and multiplication can be performed on integers, and the result is always another integer Division, on

### Lecture 13 - Basic Number Theory.

Lecture 13 - Basic Number Theory. Boaz Barak March 22, 2010 Divisibility and primes Unless mentioned otherwise throughout this lecture all numbers are non-negative integers. We say that A divides B, denoted

### 3. Eulerian and Hamiltonian Graphs

3. Eulerian and Hamiltonian Graphs There are many games and puzzles which can be analysed by graph theoretic concepts. In fact, the two early discoveries which led to the existence of graphs arose from

### HOMEWORK #3 SOLUTIONS - MATH 3260

HOMEWORK #3 SOLUTIONS - MATH 3260 ASSIGNED: FEBRUARY 26, 2003 DUE: MARCH 12, 2003 AT 2:30PM (1) Show either that each of the following graphs are planar by drawing them in a way that the vertices do not

### Math 443/543 Graph Theory Notes 4: Connector Problems

Math 443/543 Graph Theory Notes 4: Connector Problems David Glickenstein September 19, 2012 1 Trees and the Minimal Connector Problem Here is the problem: Suppose we have a collection of cities which we

### CMSC 451: Graph Properties, DFS, BFS, etc.

CMSC 451: Graph Properties, DFS, BFS, etc. Slides By: Carl Kingsford Department of Computer Science University of Maryland, College Park Based on Chapter 3 of Algorithm Design by Kleinberg & Tardos. Graphs

### INDISTINGUISHABILITY OF ABSOLUTELY CONTINUOUS AND SINGULAR DISTRIBUTIONS

INDISTINGUISHABILITY OF ABSOLUTELY CONTINUOUS AND SINGULAR DISTRIBUTIONS STEVEN P. LALLEY AND ANDREW NOBEL Abstract. It is shown that there are no consistent decision rules for the hypothesis testing problem

### Discrete Mathematics: Solutions to Homework (12%) For each of the following sets, determine whether {2} is an element of that set.

Discrete Mathematics: Solutions to Homework 2 1. (12%) For each of the following sets, determine whether {2} is an element of that set. (a) {x R x is an integer greater than 1} (b) {x R x is the square

### Applications of Fermat s Little Theorem and Congruences

Applications of Fermat s Little Theorem and Congruences Definition: Let m be a positive integer. Then integers a and b are congruent modulo m, denoted by a b mod m, if m (a b). Example: 3 1 mod 2, 6 4

### COMBINATORIAL PROPERTIES OF THE HIGMAN-SIMS GRAPH. 1. Introduction

COMBINATORIAL PROPERTIES OF THE HIGMAN-SIMS GRAPH ZACHARY ABEL 1. Introduction In this survey we discuss properties of the Higman-Sims graph, which has 100 vertices, 1100 edges, and is 22 regular. In fact

### A graph is called a tree, if it is connected and has no cycles. A star is a tree with one vertex adjacent to all other vertices.

1 Trees A graph is called a tree, if it is connected and has no cycles. A star is a tree with one vertex adjacent to all other vertices. Theorem 1 For every simple graph G with n 1 vertices, the following

### Discrete Mathematics Problems

Discrete Mathematics Problems William F. Klostermeyer School of Computing University of North Florida Jacksonville, FL 32224 E-mail: wkloster@unf.edu Contents 0 Preface 3 1 Logic 5 1.1 Basics...............................

### Graph definition Degree, in, out degree, oriented graph. Complete, regular, bipartite graph. Graph representation, connectivity, adjacency.

Mária Markošová Graph definition Degree, in, out degree, oriented graph. Complete, regular, bipartite graph. Graph representation, connectivity, adjacency. Isomorphism of graphs. Paths, cycles, trials.

### Product irregularity strength of certain graphs

Also available at http://amc.imfm.si ISSN 1855-3966 (printed edn.), ISSN 1855-3974 (electronic edn.) ARS MATHEMATICA CONTEMPORANEA 7 (014) 3 9 Product irregularity strength of certain graphs Marcin Anholcer

### All trees contain a large induced subgraph having all degrees 1 (mod k)

All trees contain a large induced subgraph having all degrees 1 (mod k) David M. Berman, A.J. Radcliffe, A.D. Scott, Hong Wang, and Larry Wargo *Department of Mathematics University of New Orleans New

### 1.3 Induction and Other Proof Techniques

4CHAPTER 1. INTRODUCTORY MATERIAL: SETS, FUNCTIONS AND MATHEMATICAL INDU 1.3 Induction and Other Proof Techniques The purpose of this section is to study the proof technique known as mathematical induction.

### DO NOT RE-DISTRIBUTE THIS SOLUTION FILE

Professor Kindred Math 04 Graph Theory Homework 7 Solutions April 3, 03 Introduction to Graph Theory, West Section 5. 0, variation of 5, 39 Section 5. 9 Section 5.3 3, 8, 3 Section 7. Problems you should

### Mean Ramsey-Turán numbers

Mean Ramsey-Turán numbers Raphael Yuster Department of Mathematics University of Haifa at Oranim Tivon 36006, Israel Abstract A ρ-mean coloring of a graph is a coloring of the edges such that the average

### Math 1B, lecture 14: Taylor s Theorem

Math B, lecture 4: Taylor s Theorem Nathan Pflueger 7 October 20 Introduction Taylor polynomials give a convenient way to describe the local behavior of a function, by encapsulating its first several derivatives

### Outline 2.1 Graph Isomorphism 2.2 Automorphisms and Symmetry 2.3 Subgraphs, part 1

GRAPH THEORY LECTURE STRUCTURE AND REPRESENTATION PART A Abstract. Chapter focuses on the question of when two graphs are to be regarded as the same, on symmetries, and on subgraphs.. discusses the concept

### Some Results on 2-Lifts of Graphs

Some Results on -Lifts of Graphs Carsten Peterson Advised by: Anup Rao August 8, 014 1 Ramanujan Graphs Let G be a d-regular graph. Every d-regular graph has d as an eigenvalue (with multiplicity equal

### Homework MA 725 Spring, 2012 C. Huneke SELECTED ANSWERS

Homework MA 725 Spring, 2012 C. Huneke SELECTED ANSWERS 1.1.25 Prove that the Petersen graph has no cycle of length 7. Solution: There are 10 vertices in the Petersen graph G. Assume there is a cycle C

### Group distance magic labeling of direct product of graphs

Also available at http://amc-ournal.eu ISSN 1855-3966 (printed edn.), ISSN 1855-3974 (electronic edn.) ARS MATHEMATICA CONTEMPORANEA 9 (015) 93 107 Group distance magic labeling of direct product of graphs

### Collinear Points in Permutations

Collinear Points in Permutations Joshua N. Cooper Courant Institute of Mathematics New York University, New York, NY József Solymosi Department of Mathematics University of British Columbia, Vancouver,

### LIMITS AND CONTINUITY

LIMITS AND CONTINUITY 1 The concept of it Eample 11 Let f() = 2 4 Eamine the behavior of f() as approaches 2 2 Solution Let us compute some values of f() for close to 2, as in the tables below We see from

### Distance Two Vertex-Magic Graphs

Distance Two Verte-Magic Graphs Ebrahim Salehi Department of Mathematical Sciences Universit of Nevada Las Vegas Las Vegas, NV 8954-4020 ebrahim.salehi@unlv.edu Abstract Given an abelian group A, a graph

### Math 112 Solutions for Problem Set 2 Spring, 2013 Professor Hopkins

Math 112 Solutions for Problem Set 2 Spring, 2013 Professor Hopkins 1. (Rudin, Ch 1, #6). Fix b > 1. (a) If m,n,p,q are integers, n > 0, q > 0, and r = m/n = p/q, prove that (b m ) 1/n = (b p ) 1/q. Hence

### Difference Labeling of Some Graph Families

International Journal of Mathematics and Statistics Invention (IJMSI) E-ISSN: 2321 4767 P-ISSN: 2321-4759 Volume 2 Issue 6 June. 2014 PP-37-43 Difference Labeling of Some Graph Families Dr. K.Vaithilingam

### Graph Theory Notes. Vadim Lozin. Institute of Mathematics University of Warwick

Graph Theory Notes Vadim Lozin Institute of Mathematics University of Warwick 1 Introduction A graph G = (V, E) consists of two sets V and E. The elements of V are called the vertices and the elements

### A note on properties for a complementary graph and its tree graph

A note on properties for a complementary graph and its tree graph Abulimiti Yiming Department of Mathematics Institute of Mathematics & Informations Xinjiang Normal University China Masami Yasuda Department

### CHAPTER 3. Mapping Concepts and Mapping Problems for. Scalar Valued Functions of a Scalar Variable

A SERIES OF CLASS NOTES TO INTRODUCE LINEAR AND NONLINEAR PROBLEMS TO ENGINEERS, SCIENTISTS, AND APPLIED MATHEMATICIANS REMEDIAL CLASS NOTES A COLLECTION OF HANDOUTS FOR REMEDIATION IN FUNDAMENTAL CONCEPTS

### Graphs without proper subgraphs of minimum degree 3 and short cycles

Graphs without proper subgraphs of minimum degree 3 and short cycles Lothar Narins, Alexey Pokrovskiy, Tibor Szabó Department of Mathematics, Freie Universität, Berlin, Germany. August 22, 2014 Abstract

### Metric Spaces. Chapter 1

Chapter 1 Metric Spaces Many of the arguments you have seen in several variable calculus are almost identical to the corresponding arguments in one variable calculus, especially arguments concerning convergence

### The Australian Journal of Mathematical Analysis and Applications

The Australian Journal of Mathematical Analysis and Applications Volume 7, Issue, Article 11, pp. 1-14, 011 SOME HOMOGENEOUS CYCLIC INEQUALITIES OF THREE VARIABLES OF DEGREE THREE AND FOUR TETSUYA ANDO

### Trees and Fundamental Circuits

Trees and Fundamental Circuits Tree A connected graph without any circuits. o must have at least one vertex. o definition implies that it must be a simple graph. o only finite trees are being considered

### Homework 15 Solutions

PROBLEM ONE (Trees) Homework 15 Solutions 1. Recall the definition of a tree: a tree is a connected, undirected graph which has no cycles. Which of the following definitions are equivalent to this definition

### Tenacity and rupture degree of permutation graphs of complete bipartite graphs

Tenacity and rupture degree of permutation graphs of complete bipartite graphs Fengwei Li, Qingfang Ye and Xueliang Li Department of mathematics, Shaoxing University, Shaoxing Zhejiang 312000, P.R. China

### Functions and Equations

Centre for Education in Mathematics and Computing Euclid eworkshop # Functions and Equations c 014 UNIVERSITY OF WATERLOO Euclid eworkshop # TOOLKIT Parabolas The quadratic f(x) = ax + bx + c (with a,b,c

### Chapter Three. Functions. In this section, we study what is undoubtedly the most fundamental type of relation used in mathematics.

Chapter Three Functions 3.1 INTRODUCTION In this section, we study what is undoubtedly the most fundamental type of relation used in mathematics. Definition 3.1: Given sets X and Y, a function from X to