On Total Domination in Graphs


 Antonia Ashlynn Stephens
 1 years ago
 Views:
Transcription
1 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 Department Chair: Dr. Shishen Xie December 7, 2012
2 Contents 1 Graph Theory Background The definition of a graph Neighborhoods and degree Distance, radius, and diameter Domination and total domination Independence and matchings Some special families of graphs Characterizations of total domination number A Short Survey of Known Results Some basic results for domination and total domination Total domination and minimum degree Total domination in trees Total domination in planar graphs Conjectures of Graffiti.pc Total domination and maximum degree Total domination and cut vertices Total domination and degree two vertices Total Domination and G Miscellaneous conjectures Concluding Remarks 33
3 List of Figures 2.1 The graphs G 10 (left) and H 10 from Theorem The unique planar graph with diameter 2 and γ = Sharpness of Corollary and Theorem A smallest counterexample to Conjecture with order A 19vertex smallest counterexample to Conjecture Sharpness of Proposition Illustration of the argument in Proposition Sharpness of Proposition vertex counterexample to γ t (G) N(V 2 ) V Sharpness of Theorem The graph Ŝ A 16vertex counterexample to Conjecture A 21vertex counterexample to Conjecture An 18vertex counterexample to Conjecture A 24vertex counterexample to Conjecture A 14vertex counterexample to Conjectures and A 13vertex counterexample to Conjecture
4 Abstract Let G = (V, E) be a finite, simple, undirected graph. A set S V is called a total dominating set if every vertex of V is adjacent to some vertex of S. Interest in total domination began when the concept was introduced by Cockayne, Dawes, and Hedetniemi [6] in In 1998, two books on the subject appeared ([11] and [12]), followed by a survey of more recent results in 2009 [15]. The total domination number of a graph G, denoted γ t (G) is the cardinality of a smallest total dominating set. The problem of computing γ t (G) for a given graph was shown to be NPcomplete by Pfaff et al. [20]. However, a linear algorithm exists for trees [18]. The overall complexity of calculating γ t (G) is the primary motivation for discovering bounds, preferably in terms of easily computable invariants. For this project, DeLaViña s conjecturing program Graffiti.pc was used to investigate lower and upper bounds for the total domination number of a graph. We survey a few known results on total domination and discuss the conjectures of Graffiti.pc that were resolved during the project. Proofs are supplied for true conjectures and counterexamples are given for false conjectures. In some cases, smallest counterexamples are provided.
5 Acknowledgements I would like to thank Dr. Ermelinda DeLaViña for her interest in me as a student, and for taking me under her wing. Her advice was always wise, her support, unfaltering, and her careful examination of my logic much appreciated. I am also indebted to Dr. Ryan Pepper, whose enthusiasm is infectious. His Texas Style graph theory class inspired me to pursue a senior project in graph theory. I am also extremely grateful for the mentorship of Dr. Sergiy Koshkin, who introduced me to graph theory during his discrete mathematics class. The directed study in advanced linear algebra I took with Dr. Koshkin in the summer of 2011 was one of the most impactful experiences during my time at UHD. I consider that directed study to be my first real introduction to higher mathematics, and it could not have come from a better person. Finally, I would like to thank Dr. Edwin Tecarro for teaching the senior project class (and also for introducing me to real analysis), and the other faculty members in the Computer and Mathematical Sciences Department at the University of Houston  Downtown. The have all helped to make my experience at UHD absolutely wonderful.
6 Chapter 1 Graph Theory Background For the most part, standard notation is adopted. Special definitions and notation are introduced at the appropriate time. Following are detailed definitions of the basic concepts used throughout this report. A few basic results are also included. 1.1 The definition of a graph Let G = (V, E) be a graph with vertex set V and edge set E. If V is finite, we say that G is a finite graph. The order of a graph G, denoted n, is simply V, and we denote the size of a graph by m = E. Two vertices u, v V are said to be adjacent, denoted u v, if there exists an edge e E whose endpoints are u and v, in which case we denote the edge by uv (or by vu, the order does not matter). If v V is the endpoint of some edge e E, then e is said to be incident to v. For any u V, the edge uu is called a loop. For some u, v V, the edge uv is called a multiedge if it appears in E more than once. A graph whose edge set contains no loops and no multiedges is called simple. All graphs considered in this report are simple and finite. A graph of order one is said to be trivial, and we will often exclude such a graph from our discussion. Any graph whose edge set is the empty set is called an empty graph. A path of length k is a set of vertices {x 1, x 2,..., x k } such that x 1 x 2, x 2 x 3,..., x k 1 x k. x 1 and x 2 are called the endpoints of the path. We will often refer to a path by the endpoints. For example, a path whose endpoints are u and v is called a uv path. A cycle is a path with the added condition that x k x 1. If there exists a path between every pair of vertices of a graph, then the graph is said to be connected. Otherwise, the graph is disconnected. The connected parts of a disconnected graph are called the components of the graph. For a set X V, the subgraph induced by X, denoted G[X], is the graph with vertex set X and edge set E = {uv E(G) : u, v X}. 1
7 1.2 Neighborhoods and degree The open neighborhood of a vertex v V is the set N(v) = {u V : u v}. The closed neighborhood of v is the set N[v] = N(v) {v}. If N(v) =, then v is said to be isolated. An isolated vertex is sometimes called an isolate. A vertex u N(v) is called a neighbor of v. It is often useful to consider the neighborhoods of an entire set of vertices. For some X V (G) we call the set N(X) = v X N(v) the open neighborhood of X. The closed neighborhood of X is the set N[X] = N(X) X. The degree of a vertex v V is N(v) and is denoted d G (v) (or simply d(v) when the context is clear). We let δ(g) = min{d(v) : v V } and (G) = max{d(v) : v V } denote the minimum and maximum degrees respectively (if the context is clear, we will simply let δ = δ(g) and = (G)). A vertex of degree one is called a pendant, and its neighbor is called a support vertex. Many of the conjectures produced by Graffiti.pc involve special subsets of V. For compactness, we let V k = {v V : d(v) = k}. Hence V δ is the set of minimum degree vertices, and V 2 is the set of degree two vertices. 1.3 Distance, radius, and diameter The distance between two vertices u and v, denoted d(u, v), is the length of a shortest path whose endpoints are u and v. If no uv path exists, it is customary to let d(u, v) =. The eccentricity of a vertex v is the maximum distance from v to any other vertex of the graph. The maximum and minimum eccentricities, over all vertices, are referred to respectively as the diameter and radius of the graph. The diameter of a graph is denoted diam(g) and the radius is denoted rad(g). 1.4 Domination and total domination A set D V is called a dominating set if every vertex in V D is adjacent to some vertex of D. Notice that D is a dominating set if and only if N[D] = V. The domination number of G, denoted γ = γ(g), is the cardinality of a smallest dominating set of V. We call a smallest dominating set a γset. A set S V is a total dominating set if every vertex in V is adjacent to some vertex of S. Alternatively, we may define a dominating set D to be a total dominating set if G[D] has no isolated vertices. The total domination number of G, denoted γ t = γ t (G), is the cardinality of a smallest total dominating set, and we refer to such a set as a γ t set. An immediate consequence of the definitions of domination number and total domination number is that, for any graph G, γ t γ. 2
8 1.5 Independence and matchings For any set I V, if G[I] is empty, then I is called an independent set. The independence number of a graph G, denoted α = α(g) is the cardinality of a largest independent set. There is a basic relation between independence number and domination number. Proposition Let G be a graph. Then, α γ. Proof. Let I V (G) be a largest independent set. Then for any v V I, the subgraph induced by I {v} has at least one edge uv for some u I, since otherwise, if such a v existed, the set I {v} would be a larger independent set. Thus, every v V is either in I or adjacent to a vertex of I, from which it follows that I is also a dominating set. Since I = α, we have α γ. The concept of independence may be extended to edges by defining two edges to be independent if they have no common endpoint. A matching is a set M E with the property that the edges in M are pairwise independent. The matching number of G is the cardinality of a largest matching and is denoted µ = µ(g). Endpoints of a matching edge are called saturated vertices. An unsaturated vertex is any vertex that is not an endpoint of a matching edge. It is easy to see that µ can be at most half the order of G. Proposition Let G be a graph of order n. Then, µ n 2. Proof. The largest possible matching for any graph could at most saturate every vertex. Since every edge has two vertices, it follows that 2µ n. The proposition follows immediately. 1.6 Some special families of graphs The path on n vertices is denoted P n, and is the graph with V (P n ) = {v 1, v 2,..., v n } and E(P n ) = {v 1 v 2, v 2 v 3,..., v n 1 v n }. The cycle on n vertices is denoted C n and has V (C n ) = V (P n ) and E(C n ) = E(P n ) {v n v 1 }. A graph is complete if every vertex is adjacent to every other vertex of the graph. We denote the complete graph with order n by K n. For any graph G, a set of vertices is called a clique if the subgraph induced by the set is complete. The clique number of a graph is the cardinality of a largest clique and is denoted ω = ω(g). If the vertex set of a graph can be partitioned into two disjoint independent sets A and B, then the graph is called bipartite. Every edge in a bipartite graph has the form ab where a A and b B. If every possible edge between the sets A and B is present, then the graph is called complete bipartite and denoted K n1,n 2 where n 1 = A and n 2 = B. The star on n vertices, denoted S n is, is equivalent to K 1,n 1. The degree n 1 vertex of S n is called the center. A binary star is made up of two stars, with an edge added between the centers. 3
9 The kcorona of a connected graph H, denoted H P k, is a the graph formed as follows: Take n(h) copies of P k and let X be the set made up of exactly one endpoint from each copy of P k. Let f : V (H) X be a bijection. Connect each v V (H) to an endpoint of a corresponding P k with the edge vf(v). 1.7 Characterizations of total domination number Total domination number is easily computed for several families of graphs. First, we make the following observation. Observation Let G be a graph of order n with no isolated vertices. If n 2, then γ t = 2. Graphs for which Observation applies include stars and complete graphs. Other graphs with γ t = 2 include binary stars and complete bipartite graphs. In general, however, the problem of calculating the total domination number in bipartite graphs remains difficult [20]. Total domination number is easily calculated for cycles and paths. 4
10 Proposition The total domination number of a cycle C n or a path P n on n 3 vertices is given by: (a) γ t (C n ) = γ t (P n ) = n 2 if n 0(mod 4). (b) γ t (C n ) = γ t (P n ) = n+2 2 if n 2(mod 4). (c) γ t (C n ) = γ t (P n ) = n+1 2 otherwise. Characterizations of total domination number are known for several other families of graphs (see, for example, Henning s survey [15]). However, the above characterizations will be the most useful to us for the remainder of this report. 5
11 Chapter 2 A Short Survey of Known Results In this chapter, we survey some of the known results for total domination. First, we examine the relationship between domination and total domination. 2.1 Some basic results for domination and total domination The following basic upper bound for domination number is considered to be folklore among graph theorists. The proof is provided for completeness. Theorem Let G be a graph with no isolated vertices. Then γ n 2. Proof. Let D V (G) be a γset. Since G has no isolated vertices, every v D has at least one neighbor in V D. This means that V D is also a dominating set. If D > n/2, then V D is a smaller dominating set, contradicting the choice of D as a γset. Thus γ = D n/2. Bollobás and Cockayne proved a useful property of γsets in [1]. Theorem (Bollobás and Cockayne [1]). Every graph G with no isolated vertices has a γset D such that every v D has the property that there exists a vertex v V D that is adjacent to v but to no other vertex of D. The vertex v from Theorem is called a private neighbor of v. From now on, we will assume that every γset is chosen to be one whose existence is guaranteed by Theorem This allows us to prove the following triple inequality. Theorem Let G be a graph with no isolated vertices. Then γ γ t 2γ. 6
12 Proof. The first inequality follows immediately from the definitions of domination number and total domination number. Let D be a γset. If D is not a total dominating set, it is because the subgraph induced by D has isolated vertices. By Theorem 2.1.2, each of these isolated vertices has a private neighbor. To construct a total dominating set, we simply add to D a private neighbor for each isolated vertex, and call the new set D. At most D private neighbors could have been added to form D. That is, D 2 D. Since D is a total dominating set, D γ t. Therefore, γ t 2 D = 2γ. This proves the second inequality. Finally, we mention a basic lower bound for total domination number. Theorem Let G be a graph of order n with no isolated vertices. Then γ t n. Proof. Let S be a γ t set of G. Then, by definition, every vertex of G is adjacent to some vertex of S. That is, N(S) = V (G). Since every v S can have at most neighbors, it follows that γ t V = n. The theorem follows by dividing this inequality by. In section 3.1, we prove a few corollaries to Theorem Total domination and minimum degree Cockayne et al. [6] proved the following for connected graphs. Theorem (Cockayne et al. [6]). Let G be a connected graph of order n 3 with no isolated vertices. Then γ t 2 3 n. Equality for Theorem was characterized by Brigham, Carrington, and Vitray [2]. Theorem (Brigham, Carrington, and Vitray [2]). Let G be a connected graph of order n 3. Then γ t = 2n/3 if and only if G is C 3, C 6 or H P 2 for some connected graph H. Sun [21] showed that the bound in Theorem can be improved upon for connected graphs with minimum degree at least two. Theorem (Sun [21]). Let G be a connected graph of order n and δ 2. Then γ t 4 7 (n + 1). Henning [14] improved this bound slightly by disregarding six graphs with small orders. The graphs G 10 and H 10 are displayed in Fig Theorem (Henning [14]). If G {C 3, C 5, C 6, C 10, G 10, H 10 } is a connected graph of order n and δ 2, then γ t 4 7 n. Chvátal and McDiarmid [4] and Tuza [24] independently proved a theorem concerning transversals in hypergraphs. Theorem is a consequence of their result. 7
13 Figure 2.1: The graphs G 10 (left) and H 10 from Theorem Theorem (Chvátal and McDiarmid [4]; Tuza [24]). Let G be a graph of order n and δ 3. Then γ t n 2. The following result for graphs with minimum degree at least four is a consequence of a result of Thomassé and Yeo [22] for hypergraphs. Theorem (Thomassé and Yeo [22]). Let G be a graph of order n and δ 4. Then γ t 3 7 n. 2.3 Total domination in trees A graph T is called a tree if it has no cycles. In trees, a vertex of degree one is called a leaf. Trees are of interest for several reasons, but in particular, every connected graph G has a spanning tree whose vertex set is V (T ) and whose edge set is a subset of E(T ). Furthermore, every connected graph has a spanning tree whose total domination number is the same as the graph (see Lemma 2 in [8]). In some cases, it is possible to say something about total domination in a graph by considering only one of its spanning trees. This motivates finding sharp bounds for the total domination number of trees, even though, as mentioned in the abstract, a linear algorithm exists for computing the total domination number of trees [18]. Another interesting aspect of trees, with respect to total domination, is that it is possible to characterize which vertices are in every γ t set or are in no γ t  set [5]. For example, support vertices must be in every γ t set. Furthermore, Haynes and Henning found three conditions that are equivalent to a tree having a unique minimum γ t set [13]. We mention a couple of results that will be of use later. Chellali and Haynes [3] related the total domination number of a tree to the order and the number of leaves of the tree. Theorem (Chellali and Haynes [3]). Let T be a nontrivial tree of order n and l leaves. Then γ t n+2 l 2. 8
14 We show in section 3.2 that Theorem is a corollary of one of Graffiti.pc s conjectures. With respect to the degree two vertices of a tree, DeLaViña et al. proved the following in [7]. Theorem (DeLaViña et al. [7]). Let T be a nontrivial tree. Let c 2 be the number of components of the subgraph induced by V (T ) V 2, and let p 2 be the order of a largest path in the subgraph induced by V 2. Then γ t c 2 + p Theorem is also a corollary of one of Graffiti.pc s conjectures, as will be seen in section Total domination in planar graphs A planar graph is a graph that can be drawn in the plane with no edge crossings. In his 2009 survey, Henning lists twenty fundamental problems in the study of total domination [15]. Problem 12 simply says Investigate total domination in planar graphs. Originally, the intent of this project was to do just this. However, planarity was never needed as a sufficient condition for proving the proposed conjectures of Graffiti.pc. Despite this, we mention a few known results for planar graphs. It is relatively simple to see that a tree with radius two and diameter four can have arbitrarily large domination number (consider the 1corona of stars, for instance). However, MacGillivray and Seyffarth [19] have shown that domination number is bounded in planar graphs with diameter at most three. Theorem (MacGillivray and Seyffarth [19]). If G is a planar graph with diameter two, then γ 3. Theorem (MacGillivray and Seyffarth [19]). Every planar graph with diameter three has domination number at most 10. Interestingly, there is a unique planar graph with diameter two and domination number three. This graph, displayed in Figure 2.2, was found by MacGillivray and Seyffarth [19]. Since γ t 2γ, by Theorem 2.1.3, then total domination number is also bounded in graphs with diameter two and three. Dorfling, Goddard, and Henning [9] proved the following: Theorem (Dorfling, Goddard, and Henning [9]). Let G be a planar graph with no isolated vertices. Then the following hold: (a) If diam(g) = 2, then γ t 3. (b) If diam(g) = 3 and rad(g) = 2, then γ t 5. (c) If diam(g) = 3 and rad(g) = 3, then γ t 10. (d) If diam(g) = 3 and G has sufficiently large order, then γ t 7. 9
15 Figure 2.2: The unique planar graph with diameter 2 and γ = 3. As pointed out by Dorfling, Goddard, and Henning in [9], it follows from Theorem 2.4.3(c) and (d) that there are finitely many planar graphs with diameter three and total domination number more than seven. At this time, it is unknown if any exist. Total domination in planar graphs continues to be a subject of new research. 10
16 Chapter 3 Conjectures of Graffiti.pc Unless explicitly stated otherwise, from this point on we will only consider graphs with no isolated vertices. We also assume that every γset is chosen in such a way that every vertex of the set has a private neighbor (the existence of such a γset is guaranteed by Theorem 2.1.2). Statements made by Graffiti.pc are labeled accordingly, with slight abuse to the convention of labeling theorems with the last name of authors. That is, when a theorem or proposition is labelled as being due to Graffiti.pc, we mean that the statement was generated by the program. False statements retain the title of Conjecture, and true statements are labeled Proposition or Theorem. Generally, the title of Proposition is given to basic results. The title of Theorem is reserved for more difficult results and generalizations of propositions. The order in which the the conjectures are presented is not the order in which they were discussed during the project. Similar statements have been grouped together for ease of reference and (hopefully) enhanced readability. Counterexamples and special graphs are given in figures, with γ t sets indicated by unshaded vertices. 3.1 Total domination and maximum degree Lower bounds for the total domination number of a graph with conditions on the maximum degree accompany nicely the upper bounds of section 2.2, which have conditions on the minimum degree. Recall that Theorem states that, for any graph, γ t n/. If we restrict the maximum degree to be no more than a given fraction of n, then Theorem has the following corollary, which was inspired by several early conjectures generated by Graffiti.pc. Corollary Let G be a graph of order n. If n k for some positive integer k, then γ t k. Furthermore, if < n k, then γ t k + 1. Proof. By Theorem 2.1.4, γ t n/. If n/k, then substitution yields γ t k. Moreover, if < n/k, then by substitution again, we have γ t > k. Hence γ t k
17 Among the simplest conjectures made by Graffiti.pc during this study was that if < n/2, then γ t 3, which follows immediately from Corollary The program did offer an improvement to Corollary whenever n/3. Proposition (Graffiti.pc). Let G be a graph of order n. If n 3, then γ t 4. Proof. It follows immediately from Corollary that γ t 3. Suppose, by way of contradiction, that γ t = 3. Then the subgraph induced by S must be either P 3 or K 3. In either case there exists a v S adjacent to two other vertices in S, so that v can have at most 2 neighbors in V S. The other two vertices of S may have at most 1 neighbors in V S. Thus, Now, V S 2( 1) + ( 2) = 3 4. V S = n γ t = n 3. Hence, by transitivity, n Rearranging gives (n + 1)/3. This contradicts the assumption that n/3. We conclude, therefore, that γ t 4. The key idea in the proof of Proposition is that one of the vertices in S must be adjacent to at least two other vertices in S. This is the case whenever total domination number is odd. The property that the subgraph induced by S can have no isolated vertices guarantees that whenever S is odd, G[S] must have a component of order at least 3. Thus, by analogous argument to Proposition 3.1.2, we have the following improvement of Corollary for odd k. Theorem Let G be a graph of order n and let k be an odd positive integer. If n k, then γ t k + 1. Corollary and Theorem are sharp. Let k 2 be an even integer and let A k be the graph obtained as follows: begin with a cycle of order 3k and label the vertices sequentially from 1 to 3k. For each i {0, 1,..., k 2 1}, let u i and v i be the vertices labelled by 2 + 3i and 3k 3i 1, respectively, and add the edge u i v i to the cycle (see Figure 3.1 for A 4 ). Then n(a k ) = 3k and (A k ) = 3 = n k. Taking the endpoints of each of the k/2 edges that were added produces a γ t set of order k. Thus A k satisfies equality for the first inequality of Corollary for every k. For sharpness of the second inequality of Corollary 3.1.1, let k 2 be a positive integer and let B k be the graph obtained in a similar manner to A k : begin with a cycle of order 3k + 1 vertices and again label them sequentially from 1 to 3k + 1. For each i {0, 1,..., k 2 1}, let u i and v i be the vertices labeled 2 + 3i and 3k 3i, respectively, and add the edge u i v i to the cycle (see Figure 3.1 for B 3 ). Then n(b k ) = 3k + 1 and (B k ) = 3 < n k. Taking the endpoints of each edge added, and if k is odd also taking the vertex labelled 12
18 k/2, produces a γ t set of order k +1. Thus B k satisfies equality for the second bound of Corollary Finally, for sharpness of Theorem 3.1.3, let k 3 be an odd integer and let D k be the graph obtained as follows: begin with a cycle of order 3k, with the vertices labelled sequentially from 1 to 3k. For each i {0, 1,..., k 2 1}, let u i and v i be the vertices labelled 2 + 3i and 3k 3i 1, respectively, and add the edge u i v i to the cycle. Additionally, add an edge between the vertices labelled 3k 2 and 3k (see Figure 3.1 for D 3). Then n(d k ) = 3k and (D k ) = 3 = n k. Taking the endpoints of each edge added produces a γ tset of order k + 1, and equality holds for Theorem (a) A 4 (b) B 3 (c) D 3 Figure 3.1: Sharpness of Corollary and Theorem Graffiti.pc made three conjectures that involve reducing the order of the graph modulo some constant. As we will see in the following discussion, two of these conjectures are false, although the idea behind the proposed bounds is interesting. Conjecture (Graffiti.pc). Let G be graph of order n. If n 4, then γ t 1 + (n mod 5). False. We already know that γ t 4 by Corollary However, Conjecture claims that γ t 5 whenever n 4 (mod 5). Fig. 3.2 presents a 24vertex counterexample. This is a smallest counterexample, assuming the graph is connected. To see this, we need only check the truth of the conjecture for graphs on 9, 14, and 19 vertices. Let G be a 9vertex graph. We will assume for contradiction that γ t 4. Since 9/4 = 2, each vertex in a γ t set S can have at most one neighbor in V S. Thus V S γ t. Since V S = n γ t and γ t = 4, we have that 13
19 n 2γ t 8. This contradicts the assumption that n = 9, so we must conclude that γ t 5. The argument for n = 14 and n = 19 is entirely analogous. We note that a smallest disconnected counterexample is the graph formed by two disjoint copies of P 2. Figure 3.2: A smallest counterexample to Conjecture with order 24. Conjecture appeared on another list of Graffiti.pc conjectures with the added condition that δ 2. The graph in Figure 3.2 can be made into a counterexample for the modified conjecture by joining pairs of degree one vertices. This is also a smallest connected counterexample, for the same reasons as before. A smallest disconnected counterexample is the graph formed by two copies of K 3. Conjecture (Graffiti.pc). Let G be a graph of order n 8. If n 4, then γ t (n mod 4) + 3. False. Let r = n mod 4. If r 2, the statement follows from Corollary Suppose r = 3. Then Conjecture claims that γ t 6. A 19vertex counterexample is presented in Fig Observe that γ t = 5, but (n mod 4) + 3 = 6. This is a smallest counterexample. We show this by checking the cases when n = 11 and n = 15. Let G be an 11vertex graph. Then 11/4 = 2. The only connected graphs with = 2 are cycles and paths. By Proposition 1.7.2, we have γ t = (11 + 1)/2 = 6, so the conjecture is true when n = 11. Suppose n = 15. Then 15/4 = 3. By way of contradiction, suppose γ t = 5 and let S be a minimum γ t set. Then one of the vertices v S must be adjacent to at least two other vertices in S. In other words, every vertex in S can have at most two neighbors in V S, except for v, which can have at most one neighbor in V S. Thus N[S] can be at most 3γ t 1 = 14, from which we conclude that S is not a γ t set. Therefore, by way of contradiction, the conjecture holds when n = 15. We have shown that a counterexample can have order no less than 16. Since 19 is the smallest integer greater than 16 that is congruent to 3 modulo 4, the graph in Fig. 3.3 is a smallest counterexample. Graffiti.pc proposed the following true statement. Note the similarity of the statement of Proposition to the statements of the false conjectures discussed above. Proposition (Graffiti.pc). Let G be a graph of order n. If n 4, then γ t (n mod 2)
20 Figure 3.3: A 19vertex smallest counterexample to Conjecture By Corollary 3.1.1, if n/4, then γ t 4, and γ t 5 whenever < n/4. When n is not divisible by 4, then < n/4. Thus Proposition follows from Corollary However, Corollary is stronger. Notice that when n 2 (mod 4), Corollary gives γ t 5, whereas Proposition gives γ t 4. Recall that Proposition states that if n/3, then γ t 4. Since n mod 1 = 0 for every n, we may instead rewrite the right hand side of Proposition as γ t (n mod 1) + 4. Upon comparing this to Proposition 3.1.6, we proposed the following: Proposition Let G be a graph of order n. If n/5, then γ t (n mod 3) + 4. Proposition follows, in all cases, from Corollary We generalize these observations in the following result. Theorem Let G be a graph of order n. If n k integer k 3, then γ t (n mod (k 2)) + 4. for some positive Proof. Let r = n mod (k 2). As in Proposition 3.1.7, the theorem follows immediately from Corollary when r k 4. The only case left to consider is when r = k 3, for which the right hand side gives γ t k + 1. If k is odd, then the result follows from Theorem Suppose that k is even and let a be an integer such that n = a(k 2) + r. Since k is even, a(k 2) is even and r = k 3 is odd. Thus n is odd and therefore not divisible by k. This implies that < n/k, from which the theorem follows again from Corollary Observe that the value of the bound in Theorem is no more than k + 1. The bound in Corollary is therefore never worse than the bound in Theorem The idea of using the modulus operator to improve on the result in Corollary still warrants further investigation. It is not clear, however, than reducing n modulo a constant is the best approach. Finally, we mention another conjecture of Graffiti.pc involving a condition on the maximum degree, that does not resemble the preceding conjectures. Proposition (Graffiti.pc). Let G be a graph of order n. If n 3, then γ t γ. 15
21 Proof. By Proposition 3.1.2, γ t 4, so the statement is true whenever γ 4. We now show by induction on γ that if γ 4, then γ γ. If γ = 4, then γ = = 4 = γ. This establishes the base case. Suppose that the statement is true whenever γ k for some integer k 4 and let γ = k + 1. Then, by inductive hypothesis, k k = k. Using properties of the ceiling function, we have k k = (k + 1). Therefore, k (k + 1), and by the principle of mathematical induction, γ γ whenever γ 4. But γ t γ, so the proposition follows by transitivity. Observe that Proposition is never sharp whenever γ 6, since then the right hand side of the bound is strictly less than γ. However, the bound is sharp for 2 γ 5. Figure 3.4 shows a graph that is sharp for each value of γ between two and five. Each graph can be extended to an infinite family by adding any number of pendants to the support vertices. 3.2 Total domination and cut vertices A cut vertex of a graph G is any vertex c V for which G[V {c}] has more components than G. Let C be the set of cut vertices of G. Suppose G is a graph with at least one cut vertex c and let G = (V, E ) be the component of G that contains c. Denote the components of G [V {c}] by G 1, G 2,..., G k and observe that each component G i contains at least one neighbor of c. For each component G i, choose exactly one neighbor of c in the component and call this set N s (c). We will refer to this set as a set of sensitive neighbors of c. Observe that every c C has at least two sensitive neighbors, and that for any u, v N s (c) every uv path contains c. Furthermore, note that any set of sensitive neighbors is an independent set. The goal of this section is to prove the following: Theorem (Graffiti.pc). Let G be a graph. Then γ t (G) 1+ C µ(g[c]), where C is the set of cut vertices of G. Moreover, if µ(g[c]) is even and µ(g[c]) = C 2, then γ t(g) 2 + µ(g[c]). Before presenting the proof, we prove two lemmas concerning sensitive neighbors of a cut vertex and the components of the subgraph induced by a dominating set. Lemma Let G be a graph with a nonempty set of cut vertices C and let D be a dominating set of V. For any cut vertex c C D, no two sensitive neighbors of c can be in the closed neighborhood of a component of the subgraph induced by D. 16
22 (a) γ = γ t = 2 (b) γ = 3, γ t = 4 (c) γ = γ t = 4 (d) γ = 5, γ t = 5 Figure 3.4: Sharpness of Proposition
23 Proof. By way of contradiction, suppose c has two distinct sensitive neighbors u, v N s (c) that are in the closed neighborhood of some component D i of the subgraph induced by D. Since u, v N[D i ], there exist x, y D i (with possibly x = y) such that u x and v y. Observe that there exists a path from x to y containing only vertices of D i and note that this path does not contain c. Thus, since u x and v y, there exists a path from u to v that also does not contain c. This contradicts the choice of u and v as sensitive neighbors of c. Lemma Let G be a graph with a nonempty set of cut vertices C and let D be a dominating set of V (G). Let c 1, c 2 C D. If x 1, y 1 are sensitive neighbors of c 1 and x 2, y 2 are sensitive neighbors of c 2 such that x 1, x 2 N[D 1 ] and y 1, y 2 N[D 2 ], for two distinct components D 1, D 2 of G[D], then c 1 = c 2. Proof. Suppose, for contradiction, that c 1 c 2. Since x 1, x 2 N[D 1 ], there exists a path from x 1 to x 2 not involving c 1, through some vertices of D 1 ; call that path P 1. Similarly, there exists a path from y 1 to y 2, also without c 1, through some vertices of D 2 ; call that path P 2. Since x 2, y 2 N s (c 2 ), observe that c 2 is adjacent to an endpoint of each of the paths P 1 and P 2. Thus, there is an x 1 y 1 path not involving c 1, contradicting the assumption that x 1, y 1 N s (c 1 ). Finally, we mention the following basic result for simple graphs: Proposition Let G be a simple graph of order n. If E(G) n then G has at least one cycle. We are now ready to prove Theorem Proof of Theorem Let G be a graph. Proceeding by way of contradiction, suppose that γ t (G) C µ(g[c]). Let S V (G) be a γ t set with components S 1, S 2,..., S k of G[S], and let C C be the set of cut vertices in S. We examine two cases: when µ(g[c]) k, and µ(g[c]) k + 1. First, suppose µ(g[c]) k. Each component S i of G[S] has at least one edge, and therefore taking one edge from each component produces a matching M with k edges. Since µ(g[c]) k, at most µ(g[c]) edges of M may be incident to two cut vertices. Thus there are at least k µ(g[c]) edges of M for which at least one endpoint must not be a cut vertex, so γ t (G) C + k µ(g[c]). But γ t (G) C µ(g[c]), from which it follows that C µ(g[c]) C + k µ(g[c]). Adding µ(g[c]) to both sides and rearranging gives C C k. Now, C C is the number of cut vertices in V S, so there are at least as many cut vertices in V S as there are components of G[S]. On the other hand, if µ(g[c]) k + 1, then γ t (G) C µ(g[c]) C (k + 1). 18
24 Since C γ t (G), we have C C (k + 1). Rearranging gives C C k+1. In this case there are more cut vertices in V S than there are components of G[S]. Let H be the graph whose vertices are the closed neighborhoods of the components S i of G[S], labelled by their index. Note that n(h) = k. We define the edge set of H as follows: for any i, j V (H), the edge ij E(H) if there exists a cut vertex c V S with sensitive neighbors in N[S i ] and N[S j ]. By Lemmas and 3.2.3, H may not contain loops or multiedges, and is therefore simple. We showed above that the number of cut vertices in V S is at least k, so E(H) k = n(h). It follows from Proposition that H contains a cycle. Notice that for any ij path in H, there exists an xy path in G for any x N[S i ] and y N[S j ]. Let ij E(H) be an edge involved in a cycle, and let c C be the corresponding cut vertex in V S with sensitive neighbors x N[S i ] and y N[S j ]. Since ij is in a cycle, there exists an ij path in H not involving the edge ij. But this means that there exists an xy path in G not involving c, which contradicts the assumption that x, y N s (c). We conclude, therefore, that γ t (G) 1 + C µ(g[c]). Finally, we show that if µ(g[c]) is even and µ(g[c]) = C 2, then γ t(g) 2+µ(G[C]). First, we note that the statement is trivially true if µ(g[c]) = 0, so we can assume that µ(g[c]) 2. Again, let S be a γ t set and suppose by way of contradiction that γ t (G) 1 + µ(g[c]) = 1 + C 2. Then C C (1 + C 2 ) = C 2 1, where again C = C S. Note that 1 + µ(g[c]) is odd, so any γ t set can have at most C 4 components. Let H be defined the same way as above. Then n(h) C 4 and m(h) C 1. Furthermore, since µ(g[c]) 2, then C 4, which implies that 2 C 4 C 1. Since 4 = C 2 C C 4, we have 2 1 C 4. Therefore, by transitivity m(h) n(h). Thus H must contain a cycle, and we can deduce the same contradiction as before. The following corollary demonstrates the significance of the second claim in Theorem Corollary Let G be a graph. Then γ t 1 + µ(g[c]), where C is the set of cut vertices of G. Proof. Since µ(g[c]) C 2, and from Theorem 3.2.1, it follows that γ t 1 + C µ(g[c]) 1 + 2µ(G[C]) µ(g[c]) = 1 + µ(g[c]). Let T be a tree with at least 3 vertices. The set of cut vertices of T is precisely the set of nonleaves of T. Recall from Theorem of section 2.3 that γ t (T ) (n + 2 l)/2, where n is the order of the tree and l is the number of leaves. Since n l is the number of cut vertices of T, we can rewrite the bound of Theorem as γ t (T ) 1 + C /2, where C is the set of cut vertices. Thus, the next corollary generalizes Theorem to all graphs with no isolated vertices. 19
25 Corollary Let G be a graph. Then γ t 1 + C 2, where C is the set of cut vertices of G. Proof. Again, since µ(g[c]) C 2, and from Theorem 3.2.1, we have γ t 1 + C µ(g[c]) 1 + C C 2 = 1 + C 2. The proof of Corollary makes it clear that any tree satisfying equality for the bound in the corollary will also have equality for the first bound in Theorem (Chellali and Haynes characterized these trees in [3]). However, the first bound in Theorem is sharp for many other graphs. To see that this is the case, let H be the set of all graphs with at least one vertex of degree n 1. Then a family of graphs for which the bound is sharp is derived by taking any two graphs from H and joining them by an edge between vertices of maximum degree. 3.3 Total domination and degree two vertices Suppose G is a graph with minimum degree equal to one. Every vertex adjacent to a pendant must be in every γ t set. In this sense, total domination is intimately related to the set of neighbors of degree one vertices. It is obvious, however, that the number of pendants is itself not comparable to total domination number (consider stars, for example). The set of degree two vertices, although not quite as intertwined with the concept of total domination as pendants, is still closely related in the sense that a large number of the vertices in the closed neighborhood of the degree two vertices are in some γ t set. Like pendants, we cannot compare total domination number to the number of degree two vertices. Never the less, interesting bounds for total domination number can be found by investigating invariants involving the set of degree two vertices. For example, Lam and Wei [17] proved sufficient conditions for total domination number to be at most half of the order of a graph by considering the subgraph induced by V 2. Theorem (Lam and Wei [17]). Let G be a graph of order n. If δ 2 and every component of G[V 2 ] has size at most one, then γ t n 2. One way to examine the relationship between total domination number and the set of degree two vertices is to consider how the subgraph induced by the non degree two vertices is dominated. Graffiti.pc made three conjectures involving this subgraph: Conjecture A γ t (G) γ(g[v V 2 ]) + (G[V 2 ]) 1. Conjecture B Let p be the order of a largest component of G[V 2 ]. γ t (G) γ(g[v V 2 ]) p 2. Then Conjecture C γ t (G) γ(g[v V 2 ]). 20
26 V V 2 X V 2 G D S Figure 3.5: Illustration of the argument in Proposition Each conjecture is listed above in order of appearance during the study. It turns out that all three conjectures are true. However, Conjectures A and B were not proven until after we proved Conjecture C. Notice that all three conjectures are trivially true for any graph with no degree two vertices. We assume, therefore, that the set of degree two vertices in nonempty. Proposition (Graffiti.pc). Let G be a graph. Then γ t (G) γ(g[v V 2 ]). Proof. We show that γ(g[v V 2 ]) γ t (G) by constructing a dominating set of G[V V 2 ] of order at most γ t (G). Let S V be a γ t set of G, and let D = S (V V 2 ). Since S is a γ t set, every v V V 2 is adjacent to some u S. If every v V V 2 has a neighbor in D, then D is a dominating set and we are done. Suppose that at least one v V V 2 is only dominated by a u S D. Then u is a degree two vertex and as such has a second neighbor w somewhere in the graph. However, since S is a γ t set, it must be the case that w S, since otherwise G[S] would have an isolated vertex. Let X be the set of all v V V 2 that do not have neighbors in D. It follows from the preceding argument that every v X has a distinct neighbor u S D (this situation is depicted in Figure 3.5 with the dashed line representing an impossible edge). Let D = D X and observe that D S = γ t (G) and that D is a dominating set of G[V V 2 ]. Therefore, γ(g[v V 2 ]) D γ t (G). The bound in Proposition is sharp. Let G k be the 1corona of S k for some positive integer k 3. The subgraph induced by the non degree two vertices is the union of a P 2 with k 1 isolated vertices, so γ(g[v V 2 ]) = k and by Proposition 3.3.2, γ t (G k ) γ(g[v V 2 ]). The center vertex of the star and its non degree one neighbors, form a total dominating set of order k. Therefore, γ t (G k ) = γ(g[v V 2 ]). The general inadequacy of Proposition as an estimation of γ t (G) is apparent in the overall disregard for the degree two vertices. Conjectures A 21
27 and B offer improvements. It is simple to see that Conjecture A follows from Conjecture B whenever (G[V 2 ]) 1, since the order of a largest component of G[V 2 ] is always strictly greater than the maximum degree of G[V 2 ], which is never more than 2. When (G[V 2 ]) = 0, Conjecture A follows immediately from Proposition In light of this, we will focus only on Conjecture B. For aesthetic reasons, the ceiling function is removed from the statement of the conjecture. Proposition (Graffiti.pc). Let G be a graph and let p be the order of a largest component of G[V 2 ]. Then γ t (G) γ(g[v V 2 ]) + p 2 1. Proof. In a similar manner to the proof of Proposition 3.3.2, we will show that γ(g[v V 2 ]) γ t (G) p 2 1. We will also use the same construction, represented visually in Figure 3.5. Let P be a largest component of G[V 2 ] and let S be a γ t set of G[P ]. If P 2, then the statement follows from Proposition 3.3.2, so we can assume that P 3. Observe that P is either a cycle or a path. If P is a cycle, then S p/2 (the total domination number of paths and cycles is characterized in section 1.7). Moreover, none of the vertices of S can have neighbors in X. Hence D = D X S S = γ t (G) S γ t (G) p 2. If P is a path, observe that every vertex of P that is not an endpoint of P can not have a neighbor in X. If neither of the endpoints of P are elements of S, then the number of vertices of P that are elements of S is γ t (G[P ]) and hence S p/2. If both endpoints of P are elements of S, then instead of taking S to be a γ t set of the entire path, we take S to be a γ t set of the path excluding the endpoints of P. Then S (p 2)/2. Finally, if only one endpoint of P is an element of S, then we take S to be a γ t set of the path excluding this endpoint of P. Thus S (p 1)/2. In every case, S (p 2)/2. Therefore, D = D X S S = γ t (G) S γ t (G) p 2 2. Since γ(g[v V 2 ]) D, we have, after simplifying and rearranging, γ t (G) γ(g[v V 2 ]) + p 2 1. The bound in Proposition is sharp for the graph H k, which is formed by connecting the endpoints of P 2 to the center of the 1corona of S k (see Figure 3.6 for H 3 ; by the center, we mean the same vertex as the center of S k ). Observe that γ t (H k ) = γ(h k [V V 2 ]) = k. The order of a largest component is two, so the right hand side of the bound in Proposition is just γ(h k [V V 2 ]). Additionally, notice that Proposition follows from Proposition whenever p 3. On the other hand, Proposition follows from Proposition whenever p 2. Proposition has the following corollary. 22
28 Figure 3.6: Sharpness of Proposition Corollary Let G be a graph. Let c be the number of components of G[V V 2 ] and let p be the order of a largest component of G[V 2 ]. Then γ t (G) c + p/2 1. Proof. Every γset of G[V V 2 ] contains at least one vertex from each component of the induced subgraph. That is, γ(g[v V 2 ]) c. Therefore, by Proposition 3.3.3, γ t (G) γ(g[v V 2 ]) + p 2 1 c + p 2 1. Observe that Theorem 2.3.2, which was also a conjecture of Graffiti.pc, now follows from Corollary by simply taking G to be a nontrivial tree. Next, we show that the argument for Proposition can be extended to every component of G[V 2 ], resulting in an even stronger lower bound. Theorem Let G be a graph and let k be the number of components of G[V 2 ]. Then γ t (G) γ(g[v V 2 ]) V 2 k. Proof. Again, we make frequent use of the same construction as in the arguments for Propositions and (see Figure 3.5). Let k be the number of components of G[V 2 ]. Let P i be the ith component and denote p i = P i. Order the components by p i in nonincreasing order and let j be the largest index of a component with order at least 3. If p i 3 then we can construct a set S i S for each component so that each vertex in S i has no neighbors in X (see the proof of Proposition 3.3.3). That is, D = D X S j i=1 S i = S j S i. We showed in the proof of Proposition that S i (p i 2)/2 for every i j. Recall that D is a dominating set of G[V V 2 ]. It follows that γ(g[v V 2 ]) S j S i S i=1 i=1 j i=1 p i 2. ( ) 2 Finally, since p i 2 for j < i k, we have (p i 2)/2 0. Thus, (p i 2)/2 0, so subtracting these terms from the right hand side of ( ) maintains the inequality. Therefore, 23
29 γ(g[v V 2 ]) S k i=1 p i 2. 2 Now, observe that k i=1 p i = V 2. After rearranging the inequality, and using that S = γ t (G), we have γ t (G) γ(g[v V 2 ]) + = γ(g[v V 2 ]) + k i=1 i=1 p i 2 2 k p i k 2 1 = γ(g[v V 2 ]) V 2 k. i=1 Notice that Theorem is sharp for the same family H k for Proposition Graffiti.pc made an interesting conjecture relating total domination number to the difference between the cardinality of the open neighborhood of the set of degree two vertices and the number of degree two vertices. Theorem (Graffiti.pc). Let G be a graph. Then γ t N(V 2 ) V 2. Proof. The theorem is trivially true if N(V 2 ) V 2 2, so we can assume that N(V 2 ) V 2 k for some positive integer k 3. For every v V 2, assign to v a u N(v) in such a way that no two vertices of degree two are assigned the same vertex. Observe that there remain k vertices of N(V 2 ) that have not been assigned to any degree two vertex. Let X be the set of these k remaining vertices. Since every degree two vertex has been assigned to a distinct neighbor, no two vertices of X can have the same neighbor v V 2, since otherwise v would have degree at least three. Thus there exist k vertices of degree two that have no common neighbors. However, by definition of total domination, each of these k degree two vertices is adjacent to a vertex in some total dominating set. Thus, γ t k = N(V 2 ) V 2. Upon first glance, one may wonder why Graffiti.pc didn t conjecture instead that γ t (G) N(V 2 ) V 2. Fig. 3.7 shows a 9vertex counterexample to this statement, a graph that is definitely in the database given to Graffiti.pc. Note that N(V 2 ) V 2 = 5, but γ t = 3. Theorem is sharp, as can be seen by the following construction. Let k be a positive integer and let L k be the graph obtained as follows. Begin with k copies of K 3 and k isolated vertices. From each copy of K 3 select two vertices and add every possible edge between the chosen vertices and the k isolated vertices (see Figure 3.8 for L 2 ). Notice that N(V 2 ) V 2 = k and γ t (L k ) = k, therefore satisfying equality for Theorem
Partitioning edgecoloured complete graphs into monochromatic cycles and paths
arxiv:1205.5492v1 [math.co] 24 May 2012 Partitioning edgecoloured complete graphs into monochromatic cycles and paths Alexey Pokrovskiy Departement of Mathematics, London School of Economics and Political
More informationHomework 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
More informationGraph 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
More informationDiameter of paired domination edgecritical graphs
AUSTRALASIAN JOURNAL OF COMBINATORICS Volume 40 (2008), Pages 279 291 Diameter of paired domination edgecritical graphs M. Edwards R.G. Gibson Department of Mathematics and Statistics University of Victoria
More informationLarge induced subgraphs with all degrees odd
Large induced subgraphs with all degrees odd A.D. Scott Department of Pure Mathematics and Mathematical Statistics, University of Cambridge, England Abstract: We prove that every connected graph of order
More informationSolutions 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.
More informationGraph 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
More informationMean RamseyTurán numbers
Mean RamseyTurá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
More information(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
More informationTHE 0/1BORSUK CONJECTURE IS GENERICALLY TRUE FOR EACH FIXED DIAMETER
THE 0/1BORSUK 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
More informationA 2factor in which each cycle has long length in clawfree graphs
A factor in which each cycle has long length in clawfree graphs Roman Čada Shuya Chiba Kiyoshi Yoshimoto 3 Department of Mathematics University of West Bohemia and Institute of Theoretical Computer Science
More informationA CHARACTERIZATION OF LOCATINGTOTAL DOMINATION EDGE CRITICAL GRAPHS
Discussiones Mathematicae Graph Theory 31 (2011) 197 202 Note A CHARACTERIZATION OF OCATINGTOTA DOMINATION EDGE CRITICA GRAPHS Mostafa Blidia AMDARO, Department of Mathematics University of Blida, B.P.
More informationBasic 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
More informationGraphs 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
More informationCOLORED 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
More informationSHARP 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.,
More information1.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.
More informationFinite Sets. Theorem 5.1. Two nonempty 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
More informationMIXDECOMPOSITON 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 MIXDECOMPOSITON OF THE COMPLETE GRAPH INTO DIRECTED FACTORS OF DIAMETER 2 AND UNDIRECTED FACTORS OF DIAMETER 3 Damir Vukičević University of Split, Croatia
More informationLabeling 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
More informationDO NOT REDISTRIBUTE 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
More informationAll 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
More information136 CHAPTER 4. INDUCTION, GRAPHS AND TREES
136 TER 4. INDUCTION, GRHS ND TREES 4.3 Graphs In this chapter we introduce a fundamental structural idea of discrete mathematics, that of a graph. Many situations in the applications of discrete mathematics
More informationChapter 4. Trees. 4.1 Basics
Chapter 4 Trees 4.1 Basics A tree is a connected graph with no cycles. A forest is a collection of trees. A vertex of degree one, particularly in a tree, is called a leaf. Trees arise in a variety of applications.
More informationarxiv: v3 [math.co] 28 Sep 2014
COPS AND ROBBERS ON DIAMETER TWO GRAPHS arxiv:1312.7555v3 [math.co] 28 Sep 2014 ZSOLT ADAM WAGNER Abstract. In this shortpaper we study the game ofcops and Robbers, played on the vertices of some fixed
More informationA maximum degree theorem for diameter2critical graphs
Cent. Eur. J. Math. 1(1) 01 1881889 DOI: 10.78/s1153301093 Central European Journal of Mathematics A maximum degree theorem for diametercritical graphs Research Article Teresa W. Haynes 1,, Michael
More informationA 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 HaifaORANIM, Tivon 36006, Israel. AMS Subject Classification:
More informationIntroduction to Graph Theory
Introduction to Graph Theory Allen Dickson October 2006 1 The Königsberg Bridge Problem The city of Königsberg was located on the Pregel river in Prussia. The river divided the city into four separate
More informationGeneralizing 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
More information2.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
More informationBOUNDARY EDGE DOMINATION IN GRAPHS
BULLETIN OF THE INTERNATIONAL MATHEMATICAL VIRTUAL INSTITUTE ISSN (p) 04874, ISSN (o) 04955 www.imvibl.org /JOURNALS / BULLETIN Vol. 5(015), 19704 Former BULLETIN OF THE SOCIETY OF MATHEMATICIANS BANJA
More informationCombinatorics: 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
More informationON 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
More information1 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
More informationSEQUENCES 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
More informationLecture 4: The Chromatic Number
Introduction to Graph Theory Instructor: Padraic Bartlett Lecture 4: The Chromatic Number Week 1 Mathcamp 2011 In our discussion of bipartite graphs, we mentioned that one way to classify bipartite graphs
More information1 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
More informationGRAPH 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.
More informationIntersection 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
More informationOriented Diameter of Graphs with Diameter 3
Oriented Diameter of Graphs with Diameter 3 Peter K. Kwok, Qi Liu, Douglas B. West revised November, 2008 Abstract In 1978, Chvátal and Thomassen proved that every 2edgeconnected graph with diameter
More information8. 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,
More informationCourse 421: Algebraic Topology Section 1: Topological Spaces
Course 421: Algebraic Topology Section 1: Topological Spaces David R. Wilkins Copyright c David R. Wilkins 1988 2008 Contents 1 Topological Spaces 1 1.1 Continuity and Topological Spaces...............
More informationDiscrete 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
More informationElementary Number Theory We begin with a bit of elementary number theory, which is concerned
CONSTRUCTION OF THE FINITE FIELDS Z p S. R. DOTY Elementary Number Theory We begin with a bit of elementary number theory, which is concerned solely with questions about the set of integers Z = {0, ±1,
More informationForests 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).
More informationChapter 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
More informationBalloons, CutEdges, Matchings, and Total Domination in Regular Graphs of Odd Degree
Balloons, CutEdges, 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 2edgeconnected
More informationPlanar Tree Transformation: Results and Counterexample
Planar Tree Transformation: Results and Counterexample Selim G Akl, Kamrul Islam, and Henk Meijer School of Computing, Queen s University Kingston, Ontario, Canada K7L 3N6 Abstract We consider the problem
More information9.1. Vertex colouring. 9. Graph colouring. Vertex colouring.
Vertex colouring. 9. Graph colouring kvertexcritical graphs Approximation algorithms Upper bounds for the vertex chromatic number Brooks Theorem and Hajós Conjecture Chromatic Polynomials Colouring of
More information3. 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
More informationThe chromatic spectrum of mixed hypergraphs
The chromatic spectrum of mixed hypergraphs Tao Jiang, Dhruv Mubayi, Zsolt Tuza, Vitaly Voloshin, Douglas B. West March 30, 2003 Abstract A mixed hypergraph is a triple H = (X, C, D), where X is the vertex
More informationChapter 8 Independence
Chapter 8 Independence Section 8.1 Vertex Independence and Coverings Next, we consider a problem that strikes close to home for us all, final exams. At the end of each term, students are required to take
More information10. 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
More informationA 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
More information7. 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
More informationGRAPH THEORY LECTURE 4: TREES
GRAPH THEORY LECTURE 4: TREES Abstract. 3.1 presents some standard characterizations and properties of trees. 3.2 presents several different types of trees. 3.7 develops a counting method based on a bijection
More informationf(x) is a singleton set for all x A. If f is a function and f(x) = {y}, we normally write
Math 525 Chapter 1 Stuff If A and B are sets, then A B = {(x,y) x A, y B} denotes the product set. If S A B, then S is called a relation from A to B or a relation between A and B. If B = A, S A A is called
More informationMath 3000 Running Glossary
Math 3000 Running Glossary Last Updated on: July 15, 2014 The definition of items marked with a must be known precisely. Chapter 1: 1. A set: A collection of objects called elements. 2. The empty set (
More informationTheorem 2. If x Q and y R \ Q, then. (a) x + y R \ Q, and. (b) xy Q.
Math 305 Fall 011 The Density of Q in R The following two theorems tell us what happens when we add and multiply by rational numbers. For the first one, we see that if we add or multiply two rational numbers
More informationMODULAR 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
More information10.1 Integer Programming and LP relaxation
CS787: Advanced Algorithms Lecture 10: LP Relaxation and Rounding In this lecture we will design approximation algorithms using linear programming. The key insight behind this approach is that the closely
More informationProduct irregularity strength of certain graphs
Also available at http://amc.imfm.si ISSN 18553966 (printed edn.), ISSN 18553974 (electronic edn.) ARS MATHEMATICA CONTEMPORANEA 7 (014) 3 9 Product irregularity strength of certain graphs Marcin Anholcer
More informationChapter I Logic and Proofs
MATH 1130 1 Discrete Structures Chapter I Logic and Proofs Propositions A proposition is a statement that is either true (T) or false (F), but or both. s Propositions: 1. I am a man.. I am taller than
More informationOn Integer Additive SetIndexers of Graphs
On Integer Additive SetIndexers of Graphs arxiv:1312.7672v4 [math.co] 2 Mar 2014 N K Sudev and K A Germina Abstract A setindexer of a graph G is an injective setvalued function f : V (G) 2 X such that
More informationExtremal Graphs without ThreeCycles or FourCycles
Extremal Graphs without ThreeCycles or FourCycles David K. Garnick Department of Computer Science Bowdoin College Brunswick, Maine 04011 Y. H. Harris Kwong Department of Mathematics and Computer Science
More informationEdge looseness of plane graphs
Also available at http://amcjournal.eu ISSN 1855966 (printed edn.), ISSN 1855974 (electronic edn.) ARS MATHEMATICA CONTEMPORANEA 9 (015) 89 96 Edge looseness of plane graphs Július Czap Department of
More informationCycles 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É CLAUDEBERNARD LYON 1 69622 VILLEURBANNE, FRANCE 2 DEPARTMENT OF MATHEMATICS
More informationA 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
More informationChapter 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
More informationHomework 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
More informationCS 598CSC: Combinatorial Optimization Lecture date: 2/4/2010
CS 598CSC: Combinatorial Optimization Lecture date: /4/010 Instructor: Chandra Chekuri Scribe: David Morrison GomoryHu Trees (The work in this section closely follows [3]) Let G = (V, E) be an undirected
More informationGlobal secure sets of trees and gridlike graphs. Yiu Yu Ho
Global secure sets of trees and gridlike graphs by Yiu Yu Ho B.S. University of Central Florida, 2006 M.S. University of Central Florida, 2010 A dissertation submitted in partial fulfillment of the requirements
More informationChapter 3: Elementary Number Theory and Methods of Proof. January 31, 2010
Chapter 3: Elementary Number Theory and Methods of Proof January 31, 2010 3.4  Direct Proof and Counterexample IV: Division into Cases and the QuotientRemainder Theorem QuotientRemainder Theorem Given
More informationPh.D. Thesis. Judit NagyGyörgy. Supervisor: Péter Hajnal Associate Professor
Online algorithms for combinatorial problems Ph.D. Thesis by Judit NagyGyörgy Supervisor: Péter Hajnal Associate Professor Doctoral School in Mathematics and Computer Science University of Szeged Bolyai
More informationMATH 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,
More informationCharacterizations of generalized polygons and opposition in rank 2 twin buildings
J. geom. 00 (2001) 000 000 0047 2468/01/000000 00 $ 1.50 + 0.20/0 Birkhäuser Verlag, Basel, 2001 Characterizations of generalized polygons and opposition in rank 2 twin buildings Peter Abramenko and Hendrik
More informationUnicyclic 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
More informationThe 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
More informationCharacterizations 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
More informationBest 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
More informationLecture 17 : Equivalence and Order Relations DRAFT
CS/Math 240: Introduction to Discrete Mathematics 3/31/2011 Lecture 17 : Equivalence and Order Relations Instructor: Dieter van Melkebeek Scribe: Dalibor Zelený DRAFT Last lecture we introduced the notion
More information1. R In this and the next section we are going to study the properties of sequences of real numbers.
+a 1. R In this and the next section we are going to study the properties of sequences of real numbers. Definition 1.1. (Sequence) A sequence is a function with domain N. Example 1.2. A sequence of real
More information4 Basics of Trees. Petr Hliněný, FI MU Brno 1 FI: MA010: Trees and Forests
4 Basics of Trees Trees, actually acyclic connected simple graphs, are among the simplest graph classes. Despite their simplicity, they still have rich structure and many useful application, such as in
More informationZachary 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
More informationarxiv: 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
More informationEvery 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
More informationAvailable 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
More information0 ( x) 2 = ( x)( x) = (( 1)x)(( 1)x) = ((( 1)x))( 1))x = ((( 1)(x( 1)))x = ((( 1)( 1))x)x = (1x)x = xx = x 2.
SOLUTION SET FOR THE HOMEWORK PROBLEMS Page 5. Problem 8. Prove that if x and y are real numbers, then xy x + y. Proof. First we prove that if x is a real number, then x 0. The product of two positive
More informationFactors 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
More informationIntroduction 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
More informationLecture 7: Approximation via Randomized Rounding
Lecture 7: Approximation via Randomized Rounding Often LPs return a fractional solution where the solution x, which is supposed to be in {0, } n, is in [0, ] n instead. There is a generic way of obtaining
More informationTopics in Number Theory
Chapter 8 Topics in Number Theory 8.1 The Greatest Common Divisor Preview Activity 1 (The Greatest Common Divisor) 1. Explain what it means to say that a nonzero integer m divides an integer n. Recall
More information1 Basic Definitions and Concepts in Graph Theory
CME 305: Discrete Mathematics and Algorithms 1 Basic Definitions and Concepts in Graph Theory A graph G(V, E) is a set V of vertices and a set E of edges. In an undirected graph, an edge is an unordered
More informationFull and Complete Binary Trees
Full and Complete Binary Trees Binary Tree Theorems 1 Here are two important types of binary trees. Note that the definitions, while similar, are logically independent. Definition: a binary tree T is full
More informationStructure of Measurable Sets
Structure of Measurable Sets In these notes we discuss the structure of Lebesgue measurable subsets of R from several different points of view. Along the way, we will see several alternative characterizations
More informationChapter 4: Trees. 2. Theorem: Let T be a graph with n vertices. Then the following statements are equivalent:
9 Properties of Trees. Definitions: Chapter 4: Trees forest  a graph that contains no cycles tree  a connected forest. Theorem: Let T be a graph with n vertices. Then the following statements are equivalent:
More informationMathematical Induction
MCS236: 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.
More informationMath 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
More information1. Write the following expressions in equivalent forms not involving absolute values.
Chapter 1 The Real Numbers 1.1 The Real Number System 1. Write the following expressions in equivalent forms not involving absolute values. b. a + b a b In order to eliminate the absolute value we distinguish
More informationIt is not immediately obvious that this should even give an integer. Since 1 < 1 5
Math 163  Introductory Seminar Lehigh University Spring 8 Notes on Fibonacci numbers, binomial coefficients and mathematical induction These are mostly notes from a previous class and thus include some
More information