# 2 * Bergstrand et al. [BHHJKW89] show that for a complete graph K n, n 4, (K n ) = 2n? 3; * Hartseld and Smyth [HS92] show that for a complete biparti

Save this PDF as:

Size: px
Start display at page:

Download "2 * Bergstrand et al. [BHHJKW89] show that for a complete graph K n, n 4, (K n ) = 2n? 3; * Hartseld and Smyth [HS92] show that for a complete biparti"

## Transcription

1 A FAMILY OF SPARSE GRAPHS OF LARGE SUM NUMBER Nora Hartseld Department of Mathematics Western Washington University W. F. Smyth Department of Computer Science & Systems McMaster University School of Computing Science Curtin University of Technology ABSTRACT Given an integer r 0, let G r = (V r ; E) denote a graph consisting of a simple nite undirected graph G = (V; E) of order n and size m together with r isolated vertices K r. Then jv j = n, jv r j = n + r, and jej = m. Let L : V r! Z + denote a labelling of the vertices of G r with distinct positive integers. Then G r is said to be a sum graph if there exists a labelling L such that for every distinct vertex pair u and v of V r, (u; v) 2 E if and only if there exists a vertex w 2 V r whose label L(w) = L(u) + L(v). For a given graph G, the sum number = (G) is dened to be the least value of r for which G r is a sum graph. Gould and Rodl have shown that there exist innite classes G of graphs such that, over G 2 G, (G) 2 (n 2 ), but no such classes have been constructed. In fact, for all classes G for which constructions have so far been found, (G) 2 o(m). In this paper we describe constructions which show that for wheels W n of (suciently large) order n + 1 and size m = 2n, (W n ) = n=2 + 3 if n is even and n (W n ) n + 2 if n is odd. Hence for wheels (W n ) 2 (m). 1 INTRODUCTION Sum graphs were introduced by Harary [Har88]. In 1989 Hao [Hao89] established a lower bound on (G) in terms of the degree sequence of G, and also showed that a sum graph of order n and size m exists if and only if m? n 2? b n These results have recently been applied by Smyth [S92] to unit graphs (that is, graphs G for which (G) = 1). He shows that there exists a unit graph of order n > 1 and size m if and only if dn=2e m bn 2 =4c, and provides a methodology for constructing at least one such graph for each suitable value of m. The same paper also shows how to construct graphs G of given order n 4 and size m whose sum number (G) 2 o(m). Other constructions have been found for specic classes: * Ellingham [E89] shows that every nontrivial tree is a unit graph; 2 2 c : Typeset by AMS-T E X 1

2 2 * Bergstrand et al. [BHHJKW89] show that for a complete graph K n, n 4, (K n ) = 2n? 3; * Hartseld and Smyth [HS92] show that for a complete bipartite graph K p;q, 2 p q, (K p;q ) = d(3p + q? 3)=2e. Thus to date constructions have focussed on sum graphs of \small" sum number: no class of graphs is known whose sum number is even close to the bound of Gould and Rodl [GR89] given in the Abstract. In this paper we consider wheels W n of order n + 1 and size m = 2n; we show that, over all wheels W, (W n ) 2 (m). Section 2 shows that, for odd n, n (W n ) n + 2, and describes labellings which achieve the upper bound. Section 3 considers the case in which n is even, and presents a construction which achieves sum number (W n ) = n= Section 4 discusses some conjectures and open problems. 2 WHEELS WITH AN ODD NUMBER OF SPOKES For every integer n 3, a wheel W n = (V; E) is the graph dened by V = fc; a 1 ; a 2 ; : : : ; a n g, E = f(c; a i ); (a i ; a i+1 )ji = 0; 1; : : : ; n? 1g, where here and throughout this paper arithmetic on indices is interpreted modulo n. (Thus, for example, (n? 1) + 1 = 0.) The vertex c is called the center of the wheel, each edge (c; a i ), i = 0; 1; : : : ; n? 1, is called a spoke, and the cycle C n = W n? c is called the rim. We let W = fw 3 ; W 4 ; : : : : g and, to simplify notation, we suppose that the vertices V are already identied by their labels (distinct positive integers) under L. Some general sum graph terminology will be useful. In a sum graph G r, a vertex u is said to label an edge (x; y) if and only if u = x+y. The number of edges labelled by a given vertex u is called its multiplicity and is denoted by (u); if (u) > 0 then u is said to be a working vertex. If G r = G + K r and G contains no working vertices, then G r is said to be exclusive; otherwise G r is said to be inclusive. One of the interesting results of Bergstrand et al. [BHHJKW89] is that for n 4 every sum graph G r = K n + K r is exclusive. In this section we rst show that every sum graph G r = W n + K r is exclusive provided n is odd. Lemma 2.1 Suppose that G r = W n + K r is a sum graph. If for some integer i satisfying 0 i n? 1, c + a i 2 V, then (a) n is not odd; (b) the vertices of the rim consist of n=2 working vertices c + b j, 1 j n=2, which label spokes, alternating with n=2 vertices b k, 1 k n=2, which do not label spokes. Proof By hypothesis, there exists a j 2 V such that (a j ; c + a i ) 2 E and j 6= i. Then c + a j and c + a j + a i are both vertices, so that (c + a j ; a i ) 2 E and c + a j 2 V. Thus every working vertex c + a i implies the existence of another working vertex c + a j adjacent to a i, and we see that (b) follows. Observe then that (b) cannot hold if n is odd. This result tells us that either there are no working vertices in V which label spokes or there are exactly n=2 of them. We shall see in the next section that the latter case can in fact occur when n is even.

3 3 Lemma 2.2 Suppose that G r = W n + K r is a sum graph. Then no edge of the rim is labelled by a vertex of V. Proof For n = 3, W n = K n+1 and the result follows from the fact [BHHJKW89] that every labelling of the complete graph is exclusive. Then suppose that n 4 and that, for some choice of i, a i + a i+1 2 V. Two cases now arise: either c = a i + a i+1 or there exists an integer j =2 fi; i + 1g such that a j = a i +a i+1. Suppose the former. Then there exists a rim vertex a j 6= a i+1 such that (a i ; a j ) 2 E, and therefore there exists a vertex a i + a j 2 V r. But it must also be true that a i + a i+1 + a j 2 V r, from which it follows that (a i + a j ; a i+1 ) 2 E, and so a i + a j must be a rim vertex. Thus the rst case implies the second. Suppose then that a j = a i + a i+1 2 V. It follows that fc + a i + a i+1 ; c + a i ; c + a i+1 g V r, hence that (c + a i ; a i+1 ) 2 E, (c + a i+1 ; a i ) 2 E. Then the rim contains a cycle (c + a i+1 ; a i ; a i+1 ; c + a i ) in which the vertices that label spokes do not alternate. This contradicts Lemma 2.1 and completes the proof. These two lemmas immediately yield Theorem 2.1 For odd n, every sum graph G r = W n + K r is exclusive. This result allows us to express the set K r of isolated vertices as a union of two subsets: R = fa i + a i+1 ji = 0; 1; : : : ; n? 1g, which labels edges of the rim, and S = fc + a i ji = 0; 1; : : : ; n? 1g, which labels spokes. Since the elements of S must all be distinct, it follows that, for odd n, (W n ) n. However, it does not follow that (W n ) = 2n: there are two strategies available to us to reduce r, which we now describe. We can try to choose vertex labels so that (a) for certain nonnegative integers i and j =2 fi? 1; ig, c + a i = a j + a j+1 ; : : : (2:1) (b) for certain nonnegative integers i and j =2 fi? 1; i; i + 1g, a i + a i+1 = a j + a j+1 : : : : (2:2) We consider rst strategy (b). Observe that the best possible result that can be achieved using equations (2.2) is to give alternate edges of the rim the same label; that is, to choose labels so that a 0 + a 1 = a 2 + a 3 = = a n?3 + a n?2 ; a 1 + a 2 = a 3 + a 4 = = a n?2 + a n?1 : Thus R would reduce to fa 0 + a 1 ; a 1 + a 2 ; a n?1 + a 0 g, yielding a labelling for which r = n + 3. (In fact it turns out that, for odd n 7, the best that can be done using strategy (b) is r = n + 4.) We shall now consider a construction based on strategy (a) which yields r = n + 2.

4 4 In order to describe this construction, we rst make the assumption that c < a i for every i = 0; 1; : : : ; n? 1. Then each equation (2.1) implies that both a i > a j and a i > a j+1 hold, and the aggregate of such equations denes a partial order on the vertices of the rim. Let us say that a vertex a j is dominated if it occurs on the right hand side of some equation (2.1). Then in order that the partial order should be consistent, there must exist at least one vertex, say a k, which is not dominated. Call such a vertex exceptional. It follows that at most n? 2 of the equations (2.1) can be simultaneously satised, and in that case both of the unsatised equations must include the exceptional vertex a k on the right hand side: c + a i 6= a k?1 + a k ; c + a j 6= a k + a k+1 ; for some integers i and j. Thus the only possible way to improve on a labelling induced by n? 2 equations (2.1) would be to apply equation (2.2), setting a k?1 + a k = a k + a k+1, an impossibility since a k?1 6= a k+1. We conclude that if n? 2 of the equations (2.1) can be simultaneously satised, and if c is the least label of W n, then the resulting labelling cannot be further improved. To produce n?2 consistent equations (2.1), set j = i?2 for every i = 2; 3; :::; n?1; then c + a 2 = a 0 + a 1 ; c + a 3 = a 1 + a 2 ; : : : ; c + a n?1 = a n?3 + a n?2 : : : : (2:3) These equations can easily be solved in terms of a 0, a 1 and c, yielding a i = a 0 f i?1 + a 1 f i? (f i+1? 1)c; : : : (2:4) for i = 2; 3; : : : ; n? 1, where f i is the ith Fibonacci number (f 0 = 0, f 1 = 1, f i = f i?2 + f i?1 for every i > 1). The solutions (2.4) may also be rewritten in Fibonacci form as a i = a i?2 + a i?1? c; : : : (2:4a) exhibiting the labels of the rim vertices as a monotone increasing sequence. Then the set of isolated vertices corresponding to (2.3) is K n+2 = S [ R = fc + a i j i = 0; 1; : : : ; n? 1; a n?2 + a n?1 ; a n?1 + a 0 g; : : : (2:5) where the a i, i = 2; 3; : : : ; n? 1, satisfy (2.4). Call this construction C 1 : it remains to be seen whether a 0, a 1 and c can be chosen so that C 1 yields a sum graph. It is clear that every edge of E is labelled by an element of (2.5); what needs to be shown is that no vertex of G n+2 = W n + K n+2 is a sum of any pair of vertices of G n+2 which do not form an edge. Theorem 2.2 For odd n and choices c = 1, a 0 = 10, a 1 = 100, the construction C 1 dened by (2.5) yields a sum graph G n+2 = W n + K n+2. Proof It is easy to verify, using (2.4a), that for every i = 2; 3; : : : ; n? 1, the sums a j + a i, j = 0; 1; : : : ; i? 1, satisfy a i + 1 < a j + a i < a i+1? 1;

5 5 and further that a i+1 < a i + (a i + 1) < a i+2 : From these inequalities, and from the monotonicity of the a i, it follows that no vertex of V n+2 takes any of the values a j + a i, a j + (a i + 1), or 2a i + 1, over the indices i and j specied above. Since clearly c does not give rise to any unwanted edges, the result follows. The construction C 1 was based on choosing c to be the least label of V. It turns out, however, that if c is chosen to be a label of intermediate value in V, then up to n? 1 equations (2.1) may be consistent and in at least some cases a labelling can be found for which r = n or n + 1. For n = 3, C 1 yields (W n ) = 5 by the result of Bergstrand et al. [BHHJKW89]. But for n = 5 the assignment c = x; a 1 = x + 5d; a 2 = x + 2d; a 3 = x + d; a 4 = x + 4d; a 5 = x induces a sum graph G 5 = W 5 + K 5 for suitable choices of the integers x and d; hence (W 5 ) = 5. Similarly, for n = 9 we have found a labelling which yields G 10 = W 9 +K 10 (so that (W 9 ) 10), while for n = 7 it appears that C 1 is optimal. We return to this subject briey in Section 4. For now we restrict ourselves to a formal statement of the main result of this section: Theorem 2.3 For odd n, n (W n ) n + 2: 3 WHEELS WITH AN EVEN NUMBER OF SPOKES We begin this section by looking again at Lemma 2.1 in the case that n is even. Suppose that we start to give the rim vertices alternating working and nonworking labels, as prescribed by the lemma. If we begin somewhere with a nonworking label b 1, then adjacent to b 1 there exists a working label c + b 2. Therefore, elsewhere on the rim, there exists a label b 2 adjacent to c + b 1. If the directed edges (b 1 ; c + b 2 ) and (c+b 1 ; b 2 ) are either both oriented clockwise or both oriented counterclockwise, then we say that they are harmonious; otherwise, we say that they are contrary. If all such pairs of directed edges on the rim are harmonious, we say that we have a harmonious labelling; conversely, if all such pairs are contrary, then we have a contrary labelling. Lemma 3.1 The labelling of every inclusive sum graph G r = W n + K r is either harmonious or contrary. Proof It is easy to see that if one pair of edges is harmonious (respectively, contrary), then the edges adjacent to them must also be harmonious (respectively, contrary). This result tells us that there are exactly two strategies for choosing working rim labels when n is even. Further, it is easy to see that for a contrary labelling, there must exist exactly two edges, say (b 1 ; c + b 1 ) and (b n=2 ; c + b n=2 ), joining nonworking vertices to their corresponding working vertices. On the other hand, for a harmonious labelling, every pair b i and c + b i of corresponding vertices must be antipodal. It follows from these observations that, for n 2 (mod 4), both

6 6 harmonious and contrary labellings are possible, while for n 0 (mod 4), an inclusive sum graph can only have a contrary labelling. We consider rst, therefore, for any even n 4, a contrary labelling of the rim. Then there exists a nonworking vertex, say x, which is adjacent to its corresponding working vertex x + c, and thus by Lemma 2.1 there must exist an isolated vertex 2x + c 2 K r. Further, there exists a second vertex y adjacent to x such that y 6= x + c. Using Lemma 2.2, we may without loss of generality set y = x? d + c for some non-zero integer d, and it follows that there must exist a second isolated vertex 2x? d + c 2 K r. Observe now that these two isolated vertices could possibly be used to label alternating edges of the rim. If this were done, the vertices of the rim could be expressed as follows, in terms of two disjoint paths, one clockwise in direction, the other counterclockwise, around the rim: (x; x? d + c; x + d; x? 2d + c; x + 2d; : : : ; w) (x + c; x? d; x + d + c; x? 2d; x + 2d + c; : : : ; z) : : : (3:1) where the terminating vertices w and z are given by w = x? bn=4cd + c; for n 0 (mod 4), = x + bn=4cd; for n 2 (mod 4); z = x? bn=4cd; for n 0 (mod 4), = x + bn=4cd + c; for n 2 (mod 4). Then a third distinct isolated vertex w + z = 2x? 2bn=4cd + c; for n 0 (mod 4), = 2x + 2bn=4cd + c; for n 2 (mod 4), : : : (3:2) : : : (3:3) : : : (3:4) must exist to label the edge (w; z). As in Section 2, denote by R the set of isolated vertices which label the rim; then R = (2x + c; 2x? d + c; 2x 2bn=4cd + c); : : : (3:5) where the ambiguous sign in the third element is governed by (3.4). Similarly, the set of isolated vertices labelling spokes is S = (x?id+2cji = 1; 2; : : : ; bn=4c; x+id+2cji = 0; 1; : : : ; b(n?2)=4c): : : : (3:6) Let C 0 denote the construction described by (3.1)-(3.6). Clearly C 0 yields vertices which provide labels for every edge of W n and includes at most jrj + jsj = n=2 + 3 isolated vertices. Observe further that by choosing (for example) x = 10 n ; d = 2n; c = 1; : : : (3:7)

7 7 we can easily ensure that C 0 yields a sum graph; that is, that for every pair of vertices u; v 2 V [ R [ S such that (u; v) =2 E, u + v =2 V [ R [ S. We have then Theorem 3.1 For even n 4, the construction C 0 dened by (3.1)-(3.6) with labels (3.7) yields a sum graph G n=2+3 = W n + K n=2+3. We consider now the question of whether or not C 0 is optimal that is, yields a minimum number of isolated vertices. First observe that every exclusive sum graph derived from W n must contain at least n isolated vertices. For the special case n = 4 we leave it as an exercise for the reader to show that (W 4 ) = 5. For n 6 the fact that n n=2 + 3 tells us that C 0 is at least as good as any construction based on an exclusive labelling. Moreover, in view of Lemmas 2.1 and 2.2, we see that, at least for contrary labellings, the only possible strategy to reduce the number of isolated vertices below n=2+3 is to label the vertices in such a way that at least one isolated vertex labels both a spoke and a vertex of the rim. The following lemma shows that such a strategy is impossible, no matter whether the labelling of the rim is harmonious or contrary. Lemma 3.2 No vertex of an inclusive sum graph G r = W n + K r labels both a spoke and an edge of the rim. Proof Suppose on the contrary that there exists a vertex t which labels both a spoke (c; y) and an edge (x 1 ; x 2 ) of the rim. Then t = x 1 + x 2 = y + c and, by Lemma 2.2, t is isolated. Since G r is inclusive, it follows from Lemma 2.1 that the rim of W n consists of alternating working and nonworking vertices. Therefore we may without loss of generality suppose that x 2 = x c, where x 0 2 is a vertex of the rim. Observe also that if y is nonworking, then t = y +c is on the rim, a contradiction. Hence y = y 0 +c is a working vertex corresponding to a nonworking vertex y 0 of the rim. From the above expression for t, it follows now that y = y 0 + c = x 1 + x 0 2, from which we conclude that (x 1 ; x 0 2) is an edge joining two nonworking vertices, in contradiction to the assumption that G r is inclusive. Lemma 3.2 establishes the optimality of C 0 in the case that n 0 (mod 4), when no harmonious labelling exists. But for n 2 (mod 4) it is easy to see that there exists no harmonious labelling with less than three distinct labels for rim edges. Thus we have established Theorem 3.2 For even n, (W n ) = n= REMARKS The results and conjectures of the preceding two sections establish the fact that for wheels the sum number is of the same order of magnitude as the number of edges. Wheels are the rst class of graphs for which this property has been proven to hold, even though the existence of such classes has been established by [GR89]. Our results are not complete, however: for odd n, we have been able only to bound the sum number between n and n + 2. The exact computation of (W n ) in this case appears to be a rather dicult problem, to which we are able to contribute

8 8 only the following Conjecture 4.1 For n 1 (mod 4) and n 5, (W n ) = n + 1; for n 3 (mod 4), (W n ) = n + 2. Indeed, the fact that results for wheels have been rather dicult to establish, even given the generous structural information provided by Lemmas 2.1, 2.2, and 3.1, attests to the diculty of sum number problems in general. In particular, it would be of great interest to determine a class of dense graphs for which the sum number is of the same order of magnitude as the size. Here also we make a conjecture: Conjecture 4.2 For every integer n 2, let O 2n denote the generalized octohedron that is, K 2n less a 1-factor. Then over all octahedra, (O 2n ) 2 (n 2 ). It turns out that every sum graph derived from O 2n must be exclusive; but as for wheels this structural information is not sucient to easily give rise to optimal constructions. Finally, we mention an important conjecture for graphs of small sum number, rst stated in [H89]: Conjecture 4.3 Any disjoint union of unit graphs is a unit graph. This conjecture is known to hold for trees [E89]. REFERENCES [BHHJKW89] D. Bergstrand, F. Harary, K. Hodges, G. Jennings, L. Kuklinski & J. Wiener, The sum number of a complete graph, to appear. [E89] M. N. Ellingham, Sum graphs from trees, submitted for publication. [GR89] R. Gould & V. Rodl, Bounds on the number of isolated vertices in sum graphs, to appear. [Hao89] T. Hao, On sum graphs, Journal of Combinatorial Mathematics & Combinatorial Computing 6 (1989) [Har88] F. Harary, Sum graphs and dierence graphs, presentation at the Nineteenth Southeastern Conference on Combinatorics, Graph Theory & Computing. [HS92] N. Hartseld & W. F. Smyth, The sum number of complete bipartite graphs, to appear. [S92] W. F. Smyth, Sum graphs of small sum number, to appear. ACKNOWLEDGEMENT The work of the second author was supported in part by Grant No. A8180 of the Natural Sciences & Engineering Research Council of Canada.

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

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

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

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

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

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

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

### INTRODUCTION TO PROOFS: HOMEWORK SOLUTIONS

INTRODUCTION TO PROOFS: HOMEWORK SOLUTIONS STEVEN HEILMAN Contents 1. Homework 1 1 2. Homework 2 6 3. Homework 3 10 4. Homework 4 16 5. Homework 5 19 6. Homework 6 21 7. Homework 7 25 8. Homework 8 28

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

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

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

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

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

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

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

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

### Every Positive Integer is the Sum of Four Squares! (and other exciting problems)

Every Positive Integer is the Sum of Four Squares! (and other exciting problems) Sophex University of Texas at Austin October 18th, 00 Matilde N. Lalín 1. Lagrange s Theorem Theorem 1 Every positive integer

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

### SPERNER S LEMMA AND BROUWER S FIXED POINT THEOREM

SPERNER S LEMMA AND BROUWER S FIXED POINT THEOREM ALEX WRIGHT 1. Intoduction A fixed point of a function f from a set X into itself is a point x 0 satisfying f(x 0 ) = x 0. Theorems which establish the

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

### COLORED GRAPHS AND THEIR PROPERTIES

COLORED GRAPHS AND THEIR PROPERTIES BEN STEVENS 1. Introduction This paper is concerned with the upper bound on the chromatic number for graphs of maximum vertex degree under three different sets of coloring

### MATH 289 PROBLEM SET 1: INDUCTION. 1. The induction Principle The following property of the natural numbers is intuitively clear:

MATH 89 PROBLEM SET : INDUCTION The induction Principle The following property of the natural numbers is intuitively clear: Axiom Every nonempty subset of the set of nonnegative integers Z 0 = {0,,, 3,

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

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

### A Sublinear Bipartiteness Tester for Bounded Degree Graphs

A Sublinear Bipartiteness Tester for Bounded Degree Graphs Oded Goldreich Dana Ron February 5, 1998 Abstract We present a sublinear-time algorithm for testing whether a bounded degree graph is bipartite

### k, then n = p2α 1 1 pα k

Powers of Integers An integer n is a perfect square if n = m for some integer m. Taking into account the prime factorization, if m = p α 1 1 pα k k, then n = pα 1 1 p α k k. That is, n is a perfect square

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

### Analysis of Algorithms, I

Analysis of Algorithms, I CSOR W4231.002 Eleni Drinea Computer Science Department Columbia University Thursday, February 26, 2015 Outline 1 Recap 2 Representing graphs 3 Breadth-first search (BFS) 4 Applications

### The Goldberg Rao Algorithm for the Maximum Flow Problem

The Goldberg Rao Algorithm for the Maximum Flow Problem COS 528 class notes October 18, 2006 Scribe: Dávid Papp Main idea: use of the blocking flow paradigm to achieve essentially O(min{m 2/3, n 1/2 }

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

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

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

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

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

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

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

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

### Mathematical Induction

MCS-236: Graph Theory Handout #A5 San Skulrattanakulchai Gustavus Adolphus College Sep 15, 2010 Mathematical Induction The following three principles governing N are equivalent. Ordinary Induction Principle.

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

### The Limit of a Sequence of Numbers: Infinite Series

Connexions module: m36135 1 The Limit of a Sequence of Numbers: Infinite Series Lawrence Baggett This work is produced by The Connexions Project and licensed under the Creative Commons Attribution License

### arxiv: v2 [math.co] 30 Nov 2015

PLANAR GRAPH IS ON FIRE PRZEMYSŁAW GORDINOWICZ arxiv:1311.1158v [math.co] 30 Nov 015 Abstract. Let G be any connected graph on n vertices, n. Let k be any positive integer. Suppose that a fire breaks out

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

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

### MIX-DECOMPOSITON OF THE COMPLETE GRAPH INTO DIRECTED FACTORS OF DIAMETER 2 AND UNDIRECTED FACTORS OF DIAMETER 3. University of Split, Croatia

GLASNIK MATEMATIČKI Vol. 38(58)(2003), 2 232 MIX-DECOMPOSITON OF THE COMPLETE GRAPH INTO DIRECTED FACTORS OF DIAMETER 2 AND UNDIRECTED FACTORS OF DIAMETER 3 Damir Vukičević University of Split, Croatia

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

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

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

### Lecture 3: Linear Programming Relaxations and Rounding

Lecture 3: Linear Programming Relaxations and Rounding 1 Approximation Algorithms and Linear Relaxations For the time being, suppose we have a minimization problem. Many times, the problem at hand can

### Mathematical Induction. Lecture 10-11

Mathematical Induction Lecture 10-11 Menu Mathematical Induction Strong Induction Recursive Definitions Structural Induction Climbing an Infinite Ladder Suppose we have an infinite ladder: 1. We can reach

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

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

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

### MAT2400 Analysis I. A brief introduction to proofs, sets, and functions

MAT2400 Analysis I A brief introduction to proofs, sets, and functions In Analysis I there is a lot of manipulations with sets and functions. It is probably also the first course where you have to take

### Chapter 2 Limits Functions and Sequences sequence sequence Example

Chapter Limits In the net few chapters we shall investigate several concepts from calculus, all of which are based on the notion of a limit. In the normal sequence of mathematics courses that students

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

### 8 Primes and Modular Arithmetic

8 Primes and Modular Arithmetic 8.1 Primes and Factors Over two millennia ago already, people all over the world were considering the properties of numbers. One of the simplest concepts is prime numbers.

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

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

### Midterm Practice Problems

6.042/8.062J Mathematics for Computer Science October 2, 200 Tom Leighton, Marten van Dijk, and Brooke Cowan Midterm Practice Problems Problem. [0 points] In problem set you showed that the nand operator

### Unicyclic Graphs with Given Number of Cut Vertices and the Maximal Merrifield - Simmons Index

Filomat 28:3 (2014), 451 461 DOI 10.2298/FIL1403451H Published by Faculty of Sciences Mathematics, University of Niš, Serbia Available at: http://www.pmf.ni.ac.rs/filomat Unicyclic Graphs with Given Number

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

### 3. Recurrence Recursive Definitions. To construct a recursively defined function:

3. RECURRENCE 10 3. Recurrence 3.1. Recursive Definitions. To construct a recursively defined function: 1. Initial Condition(s) (or basis): Prescribe initial value(s) of the function.. Recursion: Use a

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

### Discrete Mathematics, Chapter 5: Induction and Recursion

Discrete Mathematics, Chapter 5: Induction and Recursion Richard Mayr University of Edinburgh, UK Richard Mayr (University of Edinburgh, UK) Discrete Mathematics. Chapter 5 1 / 20 Outline 1 Well-founded

### 8.7 Mathematical Induction

8.7. MATHEMATICAL INDUCTION 8-135 8.7 Mathematical Induction Objective Prove a statement by mathematical induction Many mathematical facts are established by first observing a pattern, then making a conjecture

### CHAPTER 2. Inequalities

CHAPTER 2 Inequalities In this section we add the axioms describe the behavior of inequalities (the order axioms) to the list of axioms begun in Chapter 1. A thorough mastery of this section is essential

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

### MA2C03 Mathematics School of Mathematics, Trinity College Hilary Term 2016 Lecture 59 (April 1, 2016) David R. Wilkins

MA2C03 Mathematics School of Mathematics, Trinity College Hilary Term 2016 Lecture 59 (April 1, 2016) David R. Wilkins The RSA encryption scheme works as follows. In order to establish the necessary public

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

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

### Math 316 Solutions To Sample Exam 2 Problems

Solutions to Sample Eam 2 Problems Math 6 Math 6 Solutions To Sample Eam 2 Problems. (a) By substituting appropriate values into the binomial theorem, find a formula for the sum ( ) ( ) ( ) ( ) ( ) n n

### Problem Set. Problem Set #2. Math 5322, Fall December 3, 2001 ANSWERS

Problem Set Problem Set #2 Math 5322, Fall 2001 December 3, 2001 ANSWERS i Problem 1. [Problem 18, page 32] Let A P(X) be an algebra, A σ the collection of countable unions of sets in A, and A σδ the collection

### 1 if 1 x 0 1 if 0 x 1

Chapter 3 Continuity In this chapter we begin by defining the fundamental notion of continuity for real valued functions of a single real variable. When trying to decide whether a given function is or

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

### Sequences and Series

Contents 6 Sequences and Series 6. Sequences and Series 6. Infinite Series 3 6.3 The Binomial Series 6 6.4 Power Series 3 6.5 Maclaurin and Taylor Series 40 Learning outcomes In this Workbook you will

### Practice Problems for First Test

Mathematicians have tried in vain to this day to discover some order in the sequence of prime numbers, and we have reason to believe that it is a mystery into which the human mind will never penetrate.-

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

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

### Sets and functions. {x R : x > 0}.

Sets and functions 1 Sets The language of sets and functions pervades mathematics, and most of the important operations in mathematics turn out to be functions or to be expressible in terms of functions.

### Double Sequences and Double Series

Double Sequences and Double Series Eissa D. Habil Islamic University of Gaza P.O. Box 108, Gaza, Palestine E-mail: habil@iugaza.edu Abstract This research considers two traditional important questions,

### ZERO-DIVISOR GRAPHS OF POLYNOMIALS AND POWER SERIES OVER COMMUTATIVE RINGS

ZERO-DIVISOR GRAPHS OF POLYNOMIALS AND POWER SERIES OVER COMMUTATIVE RINGS M. AXTELL, J. COYKENDALL, AND J. STICKLES Abstract. We recall several results of zero divisor graphs of commutative rings. We

### 16.1. Sequences and Series. Introduction. Prerequisites. Learning Outcomes. Learning Style

Sequences and Series 16.1 Introduction In this block we develop the ground work for later blocks on infinite series and on power series. We begin with simple sequences of numbers and with finite series

### Continued fractions and good approximations.

Continued fractions and good approximations We will study how to find good approximations for important real life constants A good approximation must be both accurate and easy to use For instance, our

### Introduction to Flocking {Stochastic Matrices}

Supelec EECI Graduate School in Control Introduction to Flocking {Stochastic Matrices} A. S. Morse Yale University Gif sur - Yvette May 21, 2012 CRAIG REYNOLDS - 1987 BOIDS The Lion King CRAIG REYNOLDS

### Just the Factors, Ma am

1 Introduction Just the Factors, Ma am The purpose of this note is to find and study a method for determining and counting all the positive integer divisors of a positive integer Let N be a given positive

### Math 421, Homework #5 Solutions

Math 421, Homework #5 Solutions (1) (8.3.6) Suppose that E R n and C is a subset of E. (a) Prove that if E is closed, then C is relatively closed in E if and only if C is a closed set (as defined in Definition

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

### Problem Set 5. AABB = 11k = (10 + 1)k = (10 + 1)XY Z = XY Z0 + XY Z XYZ0 + XYZ AABB

Problem Set 5 1. (a) Four-digit number S = aabb is a square. Find it; (hint: 11 is a factor of S) (b) If n is a sum of two square, so is 2n. (Frank) Solution: (a) Since (A + B) (A + B) = 0, and 11 0, 11

### On the independence number of graphs with maximum degree 3

On the independence number of graphs with maximum degree 3 Iyad A. Kanj Fenghui Zhang Abstract Let G be an undirected graph with maximum degree at most 3 such that G does not contain any of the three graphs

### 2.1.1 Examples of Sets and their Elements

Chapter 2 Set Theory 2.1 Sets The most basic object in Mathematics is called a set. As rudimentary as it is, the exact, formal definition of a set is highly complex. For our purposes, we will simply define

### Sets and Cardinality Notes for C. F. Miller

Sets and Cardinality Notes for 620-111 C. F. Miller Semester 1, 2000 Abstract These lecture notes were compiled in the Department of Mathematics and Statistics in the University of Melbourne for the use

### Axiom A.1. Lines, planes and space are sets of points. Space contains all points.

73 Appendix A.1 Basic Notions We take the terms point, line, plane, and space as undefined. We also use the concept of a set and a subset, belongs to or is an element of a set. In a formal axiomatic approach

### A Lower Bound for Area{Universal Graphs. K. Mehlhorn { Abstract. We establish a lower bound on the eciency of area{universal circuits.

A Lower Bound for Area{Universal Graphs Gianfranco Bilardi y Shiva Chaudhuri z Devdatt Dubhashi x K. Mehlhorn { Abstract We establish a lower bound on the eciency of area{universal circuits. The area A

### Zachary Monaco Georgia College Olympic Coloring: Go For The Gold

Zachary Monaco Georgia College Olympic Coloring: Go For The Gold Coloring the vertices or edges of a graph leads to a variety of interesting applications in graph theory These applications include various

### Solving nonlinear equations in one variable

Chapter Solving nonlinear equations in one variable Contents.1 Bisection method............................. 7. Fixed point iteration........................... 8.3 Newton-Raphson method........................

### On the crossing number of K m,n

On the crossing number of K m,n Nagi H. Nahas nnahas@acm.org Submitted: Mar 15, 001; Accepted: Aug 10, 00; Published: Aug 1, 00 MR Subject Classifications: 05C10, 05C5 Abstract The best lower bound known

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

### CONTRIBUTIONS TO ZERO SUM PROBLEMS

CONTRIBUTIONS TO ZERO SUM PROBLEMS S. D. ADHIKARI, Y. G. CHEN, J. B. FRIEDLANDER, S. V. KONYAGIN AND F. PAPPALARDI Abstract. A prototype of zero sum theorems, the well known theorem of Erdős, Ginzburg