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

Save this PDF as:

Size: px
Start display at page:

## Transcription

1 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 of Mathematical Sciences, Amirkabir University of Technology, Tehran, Iran c School of Mathematics, Institute for Research in Fundamental Sciences (IPM), P.O. Box , Tehran, Iran Submitted: Aug 16, 2013; Accepted: Apr 12, 2014; Published: May 2, 2014 Mathematics Subject Classifications: 05C78 Abstract For every h N, a graph G with the vertex set V(G) and the edge set E(G) is saidtobeh-magicifthereexistsalabelingl : E(G) Z h \{0}suchthattheinduced vertex labeling s : V(G) Z h, defined by s(v) = uv E(G) l(uv) is a constant map. When this constant is zero, we say that G admits a zero-sum h-magic labeling. The null set of a graph G, denoted by N(G), is the set of all natural numbers h N such that G admits a zero-sum h-magic labeling. In 2012, the null sets of 3-regular graphs were determined. In this paper we show that if G is an r-regular graph, then for even r (r > 2), N(G) = N and for odd r (r 5), N\{2,4} N(G). Moreover, we prove that if r is odd and G is a 2-edge connected r-regular graph (r 5), then N(G) = N \ {2}. Also, we show that if G is a 2-edge connected bipartite graph, then N\{2,3,4,5} N(G). 1 Introduction Let G be a finite and undirected graph with vertex set V(G) and edge set E(G). A graph in which multiple edges are admissible is called a multigraph. An r-regular graph is a graph each of whose vertex has degree r. The degree of a vertex u in G is denoted by d G (u). A cut-edge of G is an edge in E(G) such that its deletion results in a graph with one more connected component than G has. A graph G is n-edge connected if the minimum number of edges whose removal would disconnect G is at least n. We denote the complete graph and the cycle of order n by K n and C n, respectively. A wheel is a Addresses: s (S. Akbari), (F. Rahmati), sa zare (S. Zare) the electronic journal of combinatorics 21(2) (2014), #P2.17 1

2 graph with n vertices, formed by connecting a single vertex to all vertices of C n 1 and denoted by W n. A pendant edge is an edge incident with a vertex of degree 1. A subgraph F of G is a factor of G if F is a spanning subgraph of G. If a factor F is k-regular for some integer k 0, then F is a k-factor. Thus a 2-factor is a disjoint union of cycles that cover all vertices of G. A k-factorization of G is a partition of the edges of G into disjoint k-factors. For integers a and b with 1 a b, an [a,b]-multigraph is defined to be a multigraph G such that for every v V(G), a d G (v) b. For a set {a 1,...,a r } of non-negative integers an {a 1,...,a r }-multigraph is a multigraph each of whose vertices has degree from the set {a 1,...,a r }. Analogously, an [a,b]-factor and an {a 1,...,a r }-factor can be defined. Let G be a graph. A zero-sum flow for G is an assignment of non-zero real numbers to the edges of G such that the sum of values of all edges incident with each vertex is zero. Let k be a natural number. A zero-sum k-flow is a zero-sum flow with values from the set {±1,...,±(k 1)}. For an abelian group A, written additively, any mapping l : E(G) A is called a labeling of a graph G. Given a labeling on the edge set of G, one can introduce a vertex labeling s : V(G) A, defined by s(v) = uv E(G) l(uv), for v V(G). A graph G is said to be A-magic if there is a labeling l : E(G) A\{0} such that for each vertex v, the sum of the labels of edges incident with v is all equal to the same constant, that is there exists constant c such that for all vertices v, s(v) = c A. We call this labeling an A-magic labeling of G. In general, an A-magic graph may admit more than one A-magic labeling. For every positive integer h 2, a graph G is called an h-magic graph if there is a Z h -magic labeling of G. A graph G is said to be zero-sum h-magic if there is an edge labeling from E(G) into Z h \{0} such that the sum of values of all edges incident with each vertex is zero. If s(v) = 0 for a fixed vertex v V(G), then we say that zero-sum h-magic rule holds in v. The null set of a graph G, denoted by N(G), is the set of all natural numbers h N such that G admits a zero-sum h-magic labeling. Recently, Choi, Georges and Mauro [6] proved that if G is 3-regular graph, then N(G) is N\{2} or N\{2,4}. In this article, we extend this result by showing that if G is an r- regulargraph, thenforevenr (r > 2), N(G) = Nandforoddr (r 5), N\{2,4} N(G). Moreover, we prove that if r (r 5) is odd and G is a 2-edge connected r-regular graph, then N(G) = N\{2}. The original concept of A-magic graph is due to Sedlacek [14], who defined it to be a graph with a real-valued edge labeling such that have distinct non-negative labels, and, in the manner described above, the sum of the labels of the edges incident to vertex v is constant over V(G). Stanley considered Z-magic graphs and showed that the theory of magic labeling can be put into the more general context of linear homogeneous diophantine equations, [16, 17]. Recently, there have been considerable research articles in graph labeling. Interested readers are referred to [7, 11, 12, 13, 18]. In [11], the null set of some classes of regular graphs are determined. Theorem 1. If n 4, then N(K n ) = { N, if n is odd; N\{2}, if n is even. the electronic journal of combinatorics 21(2) (2014), #P2.17 2

3 { N, if n is even; Theorem 2. N(C n ) = 2N, if n is odd. Recently, the following theorem was proved, in [2] and [3]. Theorem 3. Let r 3 be a positive integer. Then every r-regular graph admits a zerosum 5-flow. This theorem implies that if G is an r-regular graph (r 3), then N\{2,3,4} N(G). Before establishing our results we need some theorems. Theorem 4.[9] Let r 3 be an odd integer and let k be an integer such that 1 k 2r 3. Then every r-regular graph has a [k 1,k]-factor each component of which is regular. Also, the following theorems were proved. Theorem 5.[4, p.179] Let r 3 be an odd integer, and G be a 2-edge connected [r 1,r]- multigraph having exactly one vertex w of degree r 1. Then for every even integer k, 2 k 2r, G has a k-factor. 3 Theorem 6.[5] Every 2-edge connected (2r + 1)-regular multigraph contains a 2-factor. Theorem 7.[10] Every 2r-regular multigraph admits a 2-factorization. 2 Regular Graphs Let G be an r-regular graph. In this section we prove that for every even natural number r (r > 2), N(G) = N and for every odd natural number r (r 5), N\{2,4} N(G). We start this section with the following theorem. Theorem 8. Let r be an odd integer and r 3. Then every r-regular multigraph with at most one cut-edge admits a zero-sum 4-magic labeling. Proof. Obviously, we may suppose that G is connected. First assume that G is a 2-edge connected r-regular multigraph. By Theorem 6, G has a 2-factor, say H. Now, assign 1 and 2 to the edges of H and the edges of G\E(H), respectively. It is not hard to see that G admits a zero-sum 4-magic labeling. Now, suppose that G has a cut-edge, say e. Let G = G \ {e}. Clearly, G has two components, say G 1 and G 2. Since both G 1 and G 2 are 2-edge connected [r 1,r]- multigraphs, by Theorem 5, G 1 and G 2 have 2-factors and so G has a 2-factor. Hence by the same argument as we did before, G has a zero-sum 4-magic labeling. Remark 9. If G is a 2r-regular multigraph, then by assigning 2 to all edges of G, one can obtain a zero-sum 4-magic labeling. the electronic journal of combinatorics 21(2) (2014), #P2.17 3

4 The following remark shows that there are some regular graphs with no zero-sum 4-magic labeling. Remark 10. Let r be an odd integer (r 3) and G be an r-regular multigraph. If there is a vertex u such that every edge adjacent to u is a cut-edge, then G does not admit a zero-sum 4-magic labeling. Proof. For contradiction assume that G admits a zero-sum 4-magic labeling, say l. Since G admits a zero-sum 4-magic labeling it is not hard to see that there exists at least one edge adjacent to u, say uv, with label 1 or 3. Assume that G is the connected component of G \ {u} containing v. Clearly, we have x V(G ) s(x) = 2 e E(G ) l(e) + l(uv). But x V(G ) s(x) = 0 (mod 2). On the other hand, 2 e E(G ) l(e) + l(uv) = 1 (mod 2), a contradiction. Lemma 11. Let G be a {1,7}-multigraph with no component that is isomorphic to K 2. Suppose that the subgraph induced by the set of vertices of degree 7 has no cut-edge. Fix a {1,2}. Then if h is a fixed pendant edge of G, then there exists a function l from E(G) into {1,2} such that l(h) = a and for every vertex v of degree 7 in V(G), the zero-sum 3-magic rule holds in v under l. Proof. First assume that a = 1 and G is a multigraph with exactly one pendant edge h = uv. Assume that d G (v) = 1. Let G = G\{v}. Note that G is a 2-edge connected [6,7]-multigraphinwhichuistheonlyvertexofdegree6. ByTheorem5, G hasa2-factor H. Define l(e) = 2, for every e E(H) and define l(e) = 1, for every e E(G )\E(H). Hence we obtain the desired labeling for G. Now, for a = 2, we define l to be the labeling defined as above, and let l = 2l (mod 3). Next, suppose that the number of pendant edges of G is at least two and a = 1. Consider two copies of G, say G 1 and G 2. Assume that u i v i, 1 i k (k 2) are all edges of G 1, such that u i,v i V(G 1 ) and d G1 (v i ) = 1. Also, suppose that u i and v i are the verticescorrespondingtou i andv i (i = 1,...,k)inG 2. LetG bethemultigraphobtained by removing the vertices v 1,...,v k and v 1,...,v k and joining u i and u i in G 1 G 2, for i = 1,...,k. Since none of the connected components of G is K 2, G is a 2-edge connected 7-regular multigraph. Thus by Theorem 6, G has a 2-factor, say H. If the edge in G corresponding to h belongs to E(H), then let l(e) = 2 for every e E(G )\E(H) and l(e) = 1 for every e E(H). Otherwise, define l(e) = 1 for every e E(G )\E(H) and l(e) = 2 for every e E(H). Hence we obtain the desired labeling. Now, for a = 2, we define l to be the labeling defined as above, and let l = 2l (mod 3), we obtain the desired labeling and the proof is complete. In the following theorem, we prove that for every r-regular graph G (r 3, r 5), 3 N(G). Theorem 12. Let r be an integer such that r 3 and r 5. Then every r-regular graph admits a zero-sum 3-magic labeling. the electronic journal of combinatorics 21(2) (2014), #P2.17 4

5 Proof. First assume that r is an even positive integer and r 2. The proof is by induction on r. If r = 4, then by Theorem 7, G is decomposed into 2-factors G 1 and G 2. Now, assign 1 and 2 to all edges of G 1 and G 2, respectively. Thus G admits a zero-sum 3-magic labeling. If r = 6, then assign 1 to the edges of G to obtain a zero-sum 3-magic labeling. Now, suppose that r 8. So, by Theorem 7, G is decomposed into 2-factors. Choose two 2-factors G 1 and G 2. Now, by induction hypothesis G \ (E(G 1 ) E(G 2 )) admits a zero-sum 3-magic labeling. On the other hand, by the case r = 4, G 1 G 2 admits a zero-sum 3-magic labeling and the proof is complete. Now, assume that r is an odd positive integer. If r is divisible by 3, then assign 1 to all edges of G to obtain a zero-sum 3-magic labeling. If r is not divisible by 3, then r 1,5,7,11 (mod 12). First, suppose that r = 7. For finding a zero-sum 3-magic labeling we construct a rooted tree T from G, where every maximal 2-edge connected subgraph of G is considered as a vertex of T and every edge of T is corresponding to a cut-edge of G. Now, by traversing T, level by level, we find a zero-sum 3-magic labeling for G. We start from the root of T say H (The root can be taken to be any vertex). Let h be an arbitrary cut-edge incident with H. Assign the label 1 to h. By Lemma 11, one can assign 1 or 2 to each edge of H and cut-edges of G which are incident with H such that every cut-edge of G incident with H has value 1 or 2 and moreover the zero-sum 3-magic rule holds in every vertex of H. Now, we move to the next vertex level of T. Let H be a vertex adjacent to H in T. At this stage there exists just one cut-edge of G incident with H which has been labeled by 1 or 2. Now, by Lemma 11, we can label each edge of H and each cut-edge of G that is incident to H (except h which is already labeled 1 or 2) with 1 or 2 such that the zero-sum 3-magic rule holds in every vertex of H. By continuing this procedure we obtain a zero-sum 3-magic labeling for G, as desired. Now, assume that r = 11. Then by Theorem 4, G has a [6,7]-factor, say H whose components are regular. Let H 1 and H 2 be the union of 6-regular components and 7- regular components of H, respectively. Also, by Theorem 7, H 1 is decomposed into 2-factors G 1,G 2 and G 3. Now, assign 2 to all edges of H 2, G 1 and G 2 and assign 1 to the edges of G \ (E(H 1 ) E(H 2 )) and G 3. Then it is not hard to see that G admits a zero-sum 3-magic labeling. Now, suppose that r = 12k +1 or r = 12k +7, and k 1. By Theorem 4, G has a [6k 2,6k 1]-factor, say H, whose components are regular. Let H 1 and H 2 be the union of (6k 2)-regular components and (6k 1)-regular components of H, respectively. Since 6k 2 is even, H 1 admits a zero-sum 3-magic labeling. Now, assign 2 to the edges of H 2 and assign 1 to all edges of G \ (E(H 1 ) E(H 2 )). Then G admits a zero-sum 3-magic labeling. Now, assume that r = 12k + 5 or r = 12k + 11, and k 1. By Theorem 4, G has a [6k + 1,6k + 2]-factor, say H, whose components are regular. Let H 1 and H 2 be the union of (6k + 1)-regular components and (6k + 2)-regular components of H, respectively. Since 6k +2 is even, H 2 admits a zero-sum 3-magic labeling. Now, assign 2 to all edges of H 1 and assign 1 to all edges of G\(E(H 1 ) E(H 2 )). Therefore, G admits a zero-sum 3-magic labeling, as desired. the electronic journal of combinatorics 21(2) (2014), #P2.17 5

6 Now, we are in a position to prove our main theorem for regular graphs. Theorem 13. Let G be an r-regular graph (r 3, r 5). If r is even, then N(G) = N, otherwise N\{2,4} N(G). Proof. First, assume that r is even. Clearly, by assigning 1 to all edges of G, it is seen that 2 N(G). Moreover, Theorem 3 immediately follows, k N(G) for k 5 and k = 1. By Theorem 12 and Remark 9, N(G) contains 3 and 4 as well, giving the result. Next, assume that r is an odd integer. Then by Theorems 3 and 12 we are done. Lemma 14. If r (r 5) is odd and G is a 2-edge connected r-regular graph, then N(G) = N\{2}. Proof. Since the degree of each vertex is odd, 2 N(G). Now, the result follows from Theorems 3, 8 and 12. We close this section with the following conjecture. Conjecture 15. Every 5-regular graph admits a zero-sum 3-magic labeling. It is easily seen that a 5-regular graph G admitting a zero-sum 3-magic labeling is equivalent to G having a factor with the degree sequence 1 or 4. 3 Bipartite Graphs In this section we show that N\{2,3,4,5} N(G) if G is a 2-edge connected bipartite graph. Before establishing this result we need some definitions and theorems. Let G be a directed graph. A k-flow on G is an assignment of integers with maximum absolutevalueatmostk 1toeachedgeofGsuchthatforeachvertexofG, thesumofthe labels on incoming edges is equal to that of the labels on outgoing edges. A nowhere-zero k-flow is a k-flow with no zeros. A Z k -flow on G is an assignment of element of Z k to each edge of G such that for any vertex of G, the sum of the labels on incoming edges is equal to that of the labels on outgoing edges (mod k). A nowhere-zero Z k -flow is a Z k -flow with no zero, for every k N. The following theorem was proved in [15]. Theorem 16. Every 2-edge connected directed graph admits a nowhere-zero 6-flow. The following well-known theorem is due to Tutte. Theorem 17.[8, p.294] If G is a directed graph and k 1 is an integer, then G admits a nowhere-zero k-flow if and only if G admits a nowhere-zero Z k -flow. In [11], the null set of a complete bipartite graph was determined. the electronic journal of combinatorics 21(2) (2014), #P2.17 6

8 Let G be the following graph. By a computer search one can see that G does not admit a zero-sum 4-flow, see [1]. So G does not admit a zero-sum 4-magic labeling. Since G does not admit a zero-sum 4-flow, G does not admit a zero-sum k-flow, for k 4. Hence G does not admit a zero-sum k-magic labeling, for k = 2,3,4. Acknowledgements. The first and the third authors are indebted to the School of Mathematics, Institute for Research in Fundamental Sciences (IPM) for the support. The research of the first author and the third author were in part supported by a grant from IPM (No ) and (No ), respectively. Also, the authors would like to express their deep gratitude to Somayeh Moazzeni and Fatemeh Khaghanpour for very careful reading of the paper and their valuable comments. Finally, the authors are very grateful to the referees for their appropriate and constructive suggestions for improving the paper. References [1] S. Akbari, A. Daemi, O.Hatami, A. Javanmard, A. Mehrabian, Zero-sum flows in regular graphs, Graphs Combin. 26 (2010), [2] S. Akbari, N. Ghareghani, G.B. Khosrovshahi, S. Zare, A note on zero-sum 5-flow in regular graphs, Electron. J. Combin. 19(2), 2012, #P7. [3] S. Akbari, M. Kano, S. Zare, 0-Sum and 1-sum flows in regular graphs, submitted. [4] J. Akiyama and M. Kano, Factors and Factorizations of Graphs, Springer, [5] F. Bäbler, Über die zerlegung regulärer streckencomplexe ungerader ordnung, Comment. Math. Helv. 10 (1938), [6] J.-O. Choi, J.P. Georges, D. Mauro, On zero-sum Z k -magic labelings of 3-regular graphs, Graphs Combin. 29 (2013), [7] J. Gallian, Graph labeling (16th edition), Electron. J. Combin. (2013), Dynamic Survey #DS6. [8] R.L. Graham, M. Grötschel, L. Lovász, Handbook of Combinatorics, MIT Press- North-Holland, Amsterdam (1995). [9] M. Kano, Factors of regular graph, J. Combin. Theory Ser. B 41 (1986), the electronic journal of combinatorics 21(2) (2014), #P2.17 8

9 [10] J. Petersen, Die Theorie der regularen Graphen, Acta Math. 15 (1891), [11] E. Salehi, Zero-sum magic graphs and their null sets, Ars Combin. 82 (2007), [12] E. Salehi, On zero-sum magic graphs and their null sets, Bull. Inst. Math. Acad. Sin. (N.S.) 3 (2008), [13] E. Salehi, S. Hansen, Zero-Sum Magic and Null Sets of Planar Graphs, J. Combin. Math. Combin. Comput. 72 (2010), [14] J. Sedlacek, On magic graphs, Math. Slov. 26 (1976), [15] P.D. Seymour, Nowhere-zero 6-flows, J. Combin. Theory Ser. B 30 (1981), [16] R.P. Stanley, Linear homogeneous diophantine equations and magic labelings of graphs, Duke Math. J. 40 (1973), [17] R.P. Stanley, Magic labeling of graphs, symmetric magic squares, systems of parameters and Cohen-Macaulay rings, Duke Math. J. 43 (1976), [18] W.D. Wallis, Magic Graphs, Birkhauser Boston (2001). the electronic journal of combinatorics 21(2) (2014), #P2.17 9

### 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

### 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,

### 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

### 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

### 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

### Cycles in a Graph Whose Lengths Differ by One or Two

Cycles in a Graph Whose Lengths Differ by One or Two J. A. Bondy 1 and A. Vince 2 1 LABORATOIRE DE MATHÉMATIQUES DISCRÉTES UNIVERSITÉ CLAUDE-BERNARD LYON 1 69622 VILLEURBANNE, FRANCE 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

### P. Jeyanthi and N. Angel Benseera

Opuscula Math. 34, no. 1 (014), 115 1 http://dx.doi.org/10.7494/opmath.014.34.1.115 Opuscula Mathematica A TOTALLY MAGIC CORDIAL LABELING OF ONE-POINT UNION OF n COPIES OF A GRAPH P. Jeyanthi and N. Angel

### 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

### THE 0/1-BORSUK CONJECTURE IS GENERICALLY TRUE FOR EACH FIXED DIAMETER

THE 0/1-BORSUK CONJECTURE IS GENERICALLY TRUE FOR EACH FIXED DIAMETER JONATHAN P. MCCAMMOND AND GÜNTER ZIEGLER Abstract. In 1933 Karol Borsuk asked whether every compact subset of R d can be decomposed

### 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.

### 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.

### 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

### 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.,

### 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

### A Turán Type Problem Concerning the Powers of the Degrees of a Graph

A Turán Type Problem Concerning the Powers of the Degrees of a Graph Yair Caro and Raphael Yuster Department of Mathematics University of Haifa-ORANIM, Tivon 36006, Israel. AMS Subject Classification:

### 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

### 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

### 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

### 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

### Group connectivity of graphs with diameter at most 2

European Journal of Combinatorics 27 (2006) 436 443 www.elsevier.com/locate/ejc Group connectivity of graphs with diameter at most 2 Hong-Jian Lai a, Xiangjuan Yao b a Department of Mathematics, West Virginia

### 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

### 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

### On Maximal Energy of Trees with Fixed Weight Sequence

MATCH Communications in Mathematical and in Computer Chemistry MATCH Commun. Math. Comput. Chem. 75 (2016) 267-278 ISSN 0340-6253 On Maximal Energy of Trees with Fixed Weight Sequence Shicai Gong 1,,,

### 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

### ON INDUCED SUBGRAPHS WITH ALL DEGREES ODD. 1. Introduction

ON INDUCED SUBGRAPHS WITH ALL DEGREES ODD A.D. SCOTT Abstract. Gallai proved that the vertex set of any graph can be partitioned into two sets, each inducing a subgraph with all degrees even. We prove

### 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

### Graph Theory. Introduction. Distance in Graphs. Trees. Isabela Drămnesc UVT. Computer Science Department, West University of Timişoara, Romania

Graph Theory Introduction. Distance in Graphs. Trees Isabela Drămnesc UVT Computer Science Department, West University of Timişoara, Romania November 2016 Isabela Drămnesc UVT Graph Theory and Combinatorics

### Planarity Planarity

Planarity 8.1 71 Planarity Up until now, graphs have been completely abstract. In Topological Graph Theory, it matters how the graphs are drawn. Do the edges cross? Are there knots in the graph structure?

### 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

### Social Media Mining. Graph Essentials

Graph Essentials Graph Basics Measures Graph and Essentials Metrics 2 2 Nodes and Edges A network is a graph nodes, actors, or vertices (plural of vertex) Connections, edges or ties Edge Node Measures

### Graph Isomorphism Completeness for Perfect Graphs and Subclasses of Perfect Graphs

Graph Isomorphism Completeness for Perfect Graphs and Subclasses of Perfect Graphs C. Boucher D. Loker May 2006 Abstract A problem is said to be GI-complete if it is provably as hard as graph isomorphism;

### 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

### 1 Plane and Planar Graphs. Definition 1 A graph G(V,E) is called plane if

Plane and Planar Graphs Definition A graph G(V,E) is called plane if V is a set of points in the plane; E is a set of curves in the plane such that. every curve contains at most two vertices and these

### Connectivity and cuts

Math 104, Graph Theory February 19, 2013 Measure of connectivity How connected are each of these graphs? > increasing connectivity > I G 1 is a tree, so it is a connected graph w/minimum # of edges. Every

### Divisor graphs have arbitrary order and size

Divisor graphs have arbitrary order and size arxiv:math/0606483v1 [math.co] 20 Jun 2006 Le Anh Vinh School of Mathematics University of New South Wales Sydney 2052 Australia Abstract A divisor graph G

### Lecture notes from Foundations of Markov chain Monte Carlo methods University of Chicago, Spring 2002 Lecture 1, March 29, 2002

Lecture notes from Foundations of Markov chain Monte Carlo methods University of Chicago, Spring 2002 Lecture 1, March 29, 2002 Eric Vigoda Scribe: Varsha Dani & Tom Hayes 1.1 Introduction The aim of this

### 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,

### Balloons, Cut-Edges, Matchings, and Total Domination in Regular Graphs of Odd Degree

Balloons, Cut-Edges, Matchings, and Total Domination in Regular Graphs of Odd Degree Suil O, Douglas B. West November 9, 2008; revised June 2, 2009 Abstract A balloon in a graph G is a maximal 2-edge-connected

### Handout #Ch7 San Skulrattanakulchai Gustavus Adolphus College Dec 6, 2010. Chapter 7: Digraphs

MCS-236: Graph Theory Handout #Ch7 San Skulrattanakulchai Gustavus Adolphus College Dec 6, 2010 Chapter 7: Digraphs Strong Digraphs Definitions. A digraph is an ordered pair (V, E), where V is the set

### 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

### 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

### 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

### Odd induced subgraphs in graphs of maximum degree three

Odd induced subgraphs in graphs of maximum degree three David M. Berman, Hong Wang, and Larry Wargo Department of Mathematics University of New Orleans New Orleans, Louisiana, USA 70148 Abstract A long-standing

### 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

### 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 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

### Basic Notions on Graphs. Planar Graphs and Vertex Colourings. Joe Ryan. Presented by

Basic Notions on Graphs Planar Graphs and Vertex Colourings Presented by Joe Ryan School of Electrical Engineering and Computer Science University of Newcastle, Australia Planar graphs Graphs may be drawn

### A CHARACTERIZATION OF TREE TYPE

A CHARACTERIZATION OF TREE TYPE LON H MITCHELL Abstract Let L(G) be the Laplacian matrix of a simple graph G The characteristic valuation associated with the algebraic connectivity a(g) is used in classifying

### Forests and Trees: A forest is a graph with no cycles, a tree is a connected forest.

2 Trees What is a tree? Forests and Trees: A forest is a graph with no cycles, a tree is a connected forest. Theorem 2.1 If G is a forest, then comp(g) = V (G) E(G). Proof: We proceed by induction on E(G).

### A simple existence criterion for normal spanning trees in infinite graphs

1 A simple existence criterion for normal spanning trees in infinite graphs Reinhard Diestel Halin proved in 1978 that there exists a normal spanning tree in every connected graph G that satisfies the

### A counterexample to a result on the tree graph of a graph

AUSTRALASIAN JOURNAL OF COMBINATORICS Volume 63(3) (2015), Pages 368 373 A counterexample to a result on the tree graph of a graph Ana Paulina Figueroa Departamento de Matemáticas Instituto Tecnológico

### Coloring Eulerian triangulations of the projective plane

Coloring Eulerian triangulations of the projective plane Bojan Mohar 1 Department of Mathematics, University of Ljubljana, 1111 Ljubljana, Slovenia bojan.mohar@uni-lj.si Abstract A simple characterization

### Communicated by Bijan Taeri. 1. Introduction

Transactions on Combinatorics ISSN (print: 51-8657, ISSN (on-line: 51-8665 Vol. 3 No. 3 (01, pp. 3-9. c 01 University of Isfahan www.combinatorics.ir www.ui.ac.ir STUDYING THE CORONA PRODUCT OF GRAPHS

### 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

### AN ALGORITHM FOR DETERMINING WHETHER A GIVEN BINARY MATROID IS GRAPHIC

AN ALGORITHM FOR DETERMINING WHETHER A GIVEN BINARY MATROID IS GRAPHIC W. T. TUTTE. Introduction. In a recent series of papers [l-4] on graphs and matroids I used definitions equivalent to the following.

### 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

### Finite Sets. Theorem 5.1. Two non-empty finite sets have the same cardinality if and only if they are equivalent.

MATH 337 Cardinality Dr. Neal, WKU We now shall prove that the rational numbers are a countable set while R is uncountable. This result shows that there are two different magnitudes of infinity. But we

### 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,

### Math 4707: Introduction to Combinatorics and Graph Theory

Math 4707: Introduction to Combinatorics and Graph Theory Lecture Addendum, November 3rd and 8th, 200 Counting Closed Walks and Spanning Trees in Graphs via Linear Algebra and Matrices Adjacency Matrices

### 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

### 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

### 7. Colourings. 7.1 Vertex colouring

7. Colourings Colouring is one of the important branches of graph theory and has attracted the attention of almost all graph theorists, mainly because of the four colour theorem, the details of which can

### 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

### The 4-Choosability of Plane Graphs without 4-Cycles*

Journal of Combinatorial Theory, Series B 76, 117126 (1999) Article ID jctb.1998.1893, available online at http:www.idealibrary.com on The 4-Choosability of Plane Graphs without 4-Cycles* Peter Che Bor

### (a) (b) (c) Figure 1 : Graphs, multigraphs and digraphs. If the vertices of the leftmost figure are labelled {1, 2, 3, 4} in clockwise order from

4 Graph Theory Throughout these notes, a graph G is a pair (V, E) where V is a set and E is a set of unordered pairs of elements of V. The elements of V are called vertices and the elements of E are called

### Long questions answer Advanced Mathematics for Computer Application If P= , find BT. 19. If B = 1 0, find 2B and -3B.

Unit-1: Matrix Algebra Short questions answer 1. What is Matrix? 2. Define the following terms : a) Elements matrix b) Row matrix c) Column matrix d) Diagonal matrix e) Scalar matrix f) Unit matrix OR

### 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

### A simple criterion on degree sequences of graphs

Discrete Applied Mathematics 156 (2008) 3513 3517 Contents lists available at ScienceDirect Discrete Applied Mathematics journal homepage: www.elsevier.com/locate/dam Note A simple criterion on degree

### 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

### Combinatorics: The Fine Art of Counting

Combinatorics: The Fine Art of Counting Week 9 Lecture Notes Graph Theory For completeness I have included the definitions from last week s lecture which we will be using in today s lecture along with

### The positive minimum degree game on sparse graphs

The positive minimum degree game on sparse graphs József Balogh Department of Mathematical Sciences University of Illinois, USA jobal@math.uiuc.edu András Pluhár Department of Computer Science University

### 14. Trees and Their Properties

14. Trees and Their Properties This is the first of a few articles in which we shall study a special and important family of graphs, called trees, discuss their properties and introduce some of their applications.

### A simple proof for the number of tilings of quartered Aztec diamonds

A simple proof for the number of tilings of quartered Aztec diamonds arxiv:1309.6720v1 [math.co] 26 Sep 2013 Tri Lai Department of Mathematics Indiana University Bloomington, IN 47405 tmlai@indiana.edu

### CSL851: Algorithmic Graph Theory Semester I Lecture 1: July 24

CSL851: Algorithmic Graph Theory Semester I 2013-2014 Lecture 1: July 24 Lecturer: Naveen Garg Scribes: Suyash Roongta Note: LaTeX template courtesy of UC Berkeley EECS dept. Disclaimer: These notes have

### 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,

### 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

### Factors and Factorizations of Graphs

Factors and Factorizations of Graphs Jin Akiyama and Mikio Kano June 2007 Version 1.0 A list of some notation G denotes a graph. X Y X is a subset of Y. X Y X is a proper subset of Y. X Y X \ Y, where

### On end degrees and infinite cycles in locally finite graphs

On end degrees and infinite cycles in locally finite graphs Henning Bruhn Maya Stein Abstract We introduce a natural extension of the vertex degree to ends. For the cycle space C(G) as proposed by Diestel

### A Study of Sufficient Conditions for Hamiltonian Cycles

DeLeon 1 A Study of Sufficient Conditions for Hamiltonian Cycles Melissa DeLeon Department of Mathematics and Computer Science Seton Hall University South Orange, New Jersey 07079, U.S.A. ABSTRACT A graph

### Intersection Dimension and Maximum Degree

Intersection Dimension and Maximum Degree N.R. Aravind and C.R. Subramanian The Institute of Mathematical Sciences, Taramani, Chennai - 600 113, India. email: {nraravind,crs}@imsc.res.in Abstract We show

### 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,

### Best Monotone Degree Bounds for Various Graph Parameters

Best Monotone Degree Bounds for Various Graph Parameters D. Bauer Department of Mathematical Sciences Stevens Institute of Technology Hoboken, NJ 07030 S. L. Hakimi Department of Electrical and Computer

### On Total Domination in Graphs

University of Houston - Downtown Senior Project - Fall 2012 On Total Domination in Graphs Author: David Amos Advisor: Dr. Ermelinda DeLaViña Senior Project Committee: Dr. Sergiy Koshkin Dr. Ryan Pepper

### Generalized Induced Factor Problems

Egerváry Research Group on Combinatorial Optimization Technical reports TR-2002-07. Published by the Egrerváry Research Group, Pázmány P. sétány 1/C, H 1117, Budapest, Hungary. Web site: www.cs.elte.hu/egres.

### When is a graph planar?

When is a graph planar? Theorem(Euler, 1758) If a plane multigraph G with k components has n vertices, e edges, and f faces, then n e + f = 1 + k. Corollary If G is a simple, planar graph with n(g) 3,

### RAMSEY FOR COMPLETE GRAPHS WITH DROPPED CLIQUES

RAMSEY FOR COMPLETE GRAPHS WITH DROPPED CLIQUES JONATHAN CHAPPELON, LUIS PEDRO MONTEJANO, AND JORGE LUIS RAMÍREZ ALFONSÍN Abstract Let K [k,t] be the complete graph on k vertices from which a set of edges,

### 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

### GRAPH THEORY and APPLICATIONS. Trees

GRAPH THEORY and APPLICATIONS Trees Properties Tree: a connected graph with no cycle (acyclic) Forest: a graph with no cycle Paths are trees. Star: A tree consisting of one vertex adjacent to all the others.

### Available online at ScienceDirect. Procedia Computer Science 74 (2015 ) 47 52

Available online at www.sciencedirect.com ScienceDirect Procedia Computer Science 74 (05 ) 47 5 International Conference on Graph Theory and Information Security Fractional Metric Dimension of Tree and

### Discrete Mathematics & Mathematical Reasoning Chapter 10: Graphs

Discrete Mathematics & Mathematical Reasoning Chapter 10: Graphs Kousha Etessami U. of Edinburgh, UK Kousha Etessami (U. of Edinburgh, UK) Discrete Mathematics (Chapter 6) 1 / 13 Overview Graphs and Graph

### Examination paper for MA0301 Elementær diskret matematikk

Department of Mathematical Sciences Examination paper for MA0301 Elementær diskret matematikk Academic contact during examination: Iris Marjan Smit a, Sverre Olaf Smalø b Phone: a 9285 0781, b 7359 1750

### Chapter 6 Planarity. Section 6.1 Euler s Formula

Chapter 6 Planarity Section 6.1 Euler s Formula In Chapter 1 we introduced the puzzle of the three houses and the three utilities. The problem was to determine if we could connect each of the three utilities

### Diameter of paired domination edge-critical graphs

AUSTRALASIAN JOURNAL OF COMBINATORICS Volume 40 (2008), Pages 279 291 Diameter of paired domination edge-critical graphs M. Edwards R.G. Gibson Department of Mathematics and Statistics University of Victoria

### Chapter 2. Basic Terminology and Preliminaries

Chapter 2 Basic Terminology and Preliminaries 6 Chapter 2. Basic Terminology and Preliminaries 7 2.1 Introduction This chapter is intended to provide all the fundamental terminology and notations which

Section 5.1 Climbing an Infinite Ladder Suppose we have an infinite ladder and the following capabilities: 1. We can reach the first rung of the ladder. 2. If we can reach a particular rung of the ladder,

### 2.3 Scheduling jobs on identical parallel machines

2.3 Scheduling jobs on identical parallel machines There are jobs to be processed, and there are identical machines (running in parallel) to which each job may be assigned Each job = 1,,, must be processed

### Computer Science Department. Technion - IIT, Haifa, Israel. Itai and Rodeh [IR] have proved that for any 2-connected graph G and any vertex s G there

- 1 - THREE TREE-PATHS Avram Zehavi Alon Itai Computer Science Department Technion - IIT, Haifa, Israel Abstract Itai and Rodeh [IR] have proved that for any 2-connected graph G and any vertex s G there