Maximal Independent Sets in Graphs with at Most r Cycles

Save this PDF as:

Size: px
Start display at page:

Transcription

1 Maximal Independent Sets in Graphs with at Most r Cycles Goh Chee Ying, 1 Koh Khee Meng, 2 Bruce E. Sagan, 3 and Vincent R. Vatter 4 1 DEPARTMENT OF MATHEMATICS NATIONAL UNIVERSITY OF SINGAPORE SINGAPORE goh chee 2 DEPARTMENT OF MATHEMATICS NATIONAL UNIVERSITY OF SINGAPORE SINGAPORE 3 DEPARTMENT OF MATHEMATICS MICHIGAN STATE UNIVERSITY EAST LANSING, MI SCHOOL OF MATHEMATICS AND STATISTICS UNIVERSITY OF ST ANDREWS KY1 9SS ST. ANDREWS, FIFE SCOTLAND Received April 3, 2003; Revised April 27, 2005 Published online 7 June 2006 in Wiley InterScience( DOI /jgt Abstract: We find the maximum number of maximal independent sets in two families of graphs. The first family consists of all graphs with n vertices Contract grant sponsor: Award from DIMACS (partially; to V.R.V.); Contract grant sponsor: NSF VIGRE grant to the Rutgers University Department of Mathematics (partially; to V.R.V.). Journal of Graph Theory 2006 Wiley Periodicals, Inc. 270

2 MAXIMAL INDEPENDENT SETS 271 and at most r cycles. The second family is all graphs of the first family which are connected and satisfy n 3r Wiley Periodicals, Inc. J Graph Theory 53: , 2006 Keywords: cycle; ear decomposition; maximal independent set 1. INTRODUCTION Let G = (V, E) be a simple graph. A subset I V is independent if there is no edge of G between any two vertices of I. Also, I is maximal if it is not properly contained in any other independent set. We let m(g) be the number of maximal independent sets of G. Around 1960, Erdős and Moser asked for the maximum value of m(g) as G runs over all graphs with n vertices as well as for a characterization of the graphs achieving this maximum. (Actually, they asked the dual question about cliques in such graphs.) Shortly thereafter Erdős, and slightly later Moon and Moser [5], answered both questions. The extremal graphs turn out to have most of their components isomorphic to the complete graph K 3. Wilf [10] raised the same questions for the family of connected graphs. Independently, Fűredi [2] determined the maximum number for n>50, while Griggs, Grinstead, and Guichard [3] found the maximum for all n as well as the extremal graphs. Many of the blocks (maximal subgraphs containing no cutvertex) of these graphs are also K 3 s. Since these initial articles, there has been a string of articles about the maximum value of m(g) as G runs over various families of graphs. In particular, graphs with a bounded number of cycles have received attention. Wilf [10] determined the maximum number of maximal independent sets possible in a tree, while Sagan [6] characterized the extremal trees. These involve attaching copies of K 2 to the endpoints of a given path. Later Jou and Chang [4] settled the problem for graphs and connected graphs with at most one cycle. Here we consider the family of graphs with n vertices and at most r cycles, and the family of connected graphs with n vertices and at most r cycles where n 3r. The extremal graphs are obtained by taking copies of K 2 and K 3 either as components (for all such graphs) or as blocks (for all such connected graphs). We define the extremal graphs and prove some lemmas about them in the next section. Then Section 3 gives the proof of our main result, Theorem EXTREMAL GRAPHS AND LEMMAS For any two graphs G and H, let G H denote the disjoint union of G and H, and for any nonnegative integer t, let tg stand for the disjoint union of t copies of G. We will need the original result of Moon and Moser. To state it, suppose n 2 and

3 272 JOURNAL OF GRAPH THEORY let Also let G(n) := n 3 K 3 if n 0 (mod 3), 2K 2 n 4 3 K 3 if n 1 (mod 3), K 2 n 2 3 K 3 if n 2 (mod 3). G (n) := K 4 n 4 3 K 3 if n 1 (mod 3). Using the fact that m(g H) = m(g)m(h) we see that 3 n 3 if n 0 (mod 3), g(n) := m(g(n)) = 4 3 n 4 3 if n 1 (mod 3), 2 3 n 2 3 if n 2 (mod 3). Note also that if n 1 (mod 3) then m(g (n)) = m(g(n)). Theorem 2.1 (Moon and Moser [5]). Let G be a graph with n 2 vertices. Then m(g) g(n) with equality if and only if G = G(n) or, for n 1 (mod 3), G = G (n). Note that G(n) has at most n/3 cycles. Therefore, the Moon Moser Theorem gives the maximum number of maximal independent sets for the family of all graphs with n vertices and at most r cycles when r n/3. To complete the characterization, we need only handle the cases where r< n/3. To make our proof cleaner, we will assume the stronger condition that n 3r 1. For any positive integers n, r with n 3r 1 we define G(n, r) := rk3 n 3r K 2 2 if n r (mod 2), (r 1)K 3 n 3r+3 K 2 2 if n r (mod 2). Note that if n and r have different parity then G(n, r) = G(n, r 1). This duplication is to facilitate the statement and proof of our main result where G(n, r) will be extremal among all graphs with V =n and at most r cycles. Further, define g(n, r) := m(g(n, r)) = 3r 2 n 3r 2 if n r (mod 2), 3 r 1 2 n 3r+3 2 if n r (mod 2). For the connected case, we will use the result of Griggs, Grinstead, and Guichard. We obtain the extremal graphs as follows. Let G be a graph all of whose components

4 MAXIMAL INDEPENDENT SETS 273 are complete and let K m be a complete graph disjoint from G. Construct the graph K m G by picking a vertex v 0 in K m and connecting it to a single vertex in each component of G.Ifn 6 then let K 3 n 3 3 K 3 if n 0 (mod 3), C(n) := K 4 n 4 3 K 3 if n 1 (mod 3), K 4 ( K 4 n 8 3 K ) 3 if n 2 (mod 3). The graph C(14) is displayed in Figure 1. Counting maximal independent sets by whether they do or do not contain v 0 gives c(n) := m(c(n)) = 2 3 n n 3 3 if n 0 (mod 3), 3 n n 4 3 if n 1 (mod 3), 4 3 n n 8 3 if n 2 (mod 3). Theorem 2.2 (Griggs, Grinstead, and Guichard [3]). with n 6 vertices. Then Let G be a connected graph with equality if and only if G = C(n). m(g) c(n) To limit the number of cases in the proof of our main theorem we will only find the maximum of m(g) for the family of all connected graphs when n 3r. Unlike the arbitrary graphs case, this result, together with the Griggs Grinstead Guichard Theorem, does not completely determine the maximum of m(g) for all n and r. For example, when n = 10 the extremal connected graph given by the Griggs Grinstead Guichard Theorem has 9 cycles, while our proof will only characterize extremal connected graphs with at most 3 cycles. Although this gap between our main theorem and the Griggs Grinstead Guichard Theorem is relatively small FIGURE 1. The graph C(14).

5 274 JOURNAL OF GRAPH THEORY (C(n) contains n/3, n/3 +6, n/3 +12 cycles when n 0, 1, 2 (mod 3), respectively), it takes considerable care to handle it. This work is undertaken in [7]. When n 3r we define K3 ( ) (r 1)K 3 n 3r K 2 2 C(n, r) := K 1 ( ) rk 3 n 3r 1 K 2 2 if n r (mod 2), if n r (mod 2). The graphs C(13, 2) and C(15, 3) are shown in Figure 2. As usual, we let c(n, r) := m(c(n, r)) = 3 r 1 2 n 3r r 1 if n r (mod 2), 3 r 2 n 3r 1 2 if n r (mod 2). We also need the bounds for maximal independent sets in trees and forests, although we will not need the extremal graphs. Define and t(n) := f (n) := 2 n 2 n ifn is even, 2 n 1 2 if n is odd. Using our upcoming Proposition 2.8, it is easy to establish the following result. Theorem 2.3. If G is a forest with n 1 vertices then m(g) f (n). Somewhat surprisingly, the tree analog is significantly more difficult. Theorem 2.4 (Wilf [10]). If G is a tree with n vertices then m(g) t(n). FIGURE 2. Examples of C(n, r) for n 3r.

6 MAXIMAL INDEPENDENT SETS 275 For the extremal trees the reader is referred to Sagan [6]. Next, we have a list of inequalities that will be useful in the proof of our main theorem. It will be convenient to let g(n, 0) = f (n) and c(n, 0) = t(n). Lemma 2.5. We have the following monotonicity results. (1) If r 1 and n>m 3r 1 then (2) If r 1 and n>m 3r then (3) If r>q 0 and n 3r 1 then g(n, r) >g(m, r). c(n, r) >c(m, r). g(n, r) g(n, q) with equality if and only if n and r have different parity and q = r 1. (4) If r>q 0 and n 3r then c(n, r) c(n, q) with equality if and only if (n, r, q) = (4, 1, 0) or (7, 2, 1). Proof. The proofs of all of these results are similar, so we will content ourselves with a demonstration of (4). It suffices to consider the case when q = r 1. Suppose that r 2 since the r = 1 case is similar. If n and r have the same parity, then we wish to show 3 r 1 2 n 3r r 1 > 3 r 1 2 n 3r+2 2 which is clear. If n and r have different parity, then n 3r forces n 3r + 1. We want 3 r 2 n 3r r 2 2 n 3r r 2. Combining the terms with powers of 3, we have the equivalent inequality 3 r 2 2 n 3r r 2. The bounds on n and r show that this is true, with equality exactly when both sides equal1.

7 276 JOURNAL OF GRAPH THEORY We also need two results about m(g) for general graphs G. In what follows, if v V then the open and closed neighborhoods of v are and N(v) =u V uv E} N[v] =v} N(v), respectively. We also call a block an endblock of G if it has at most one cutvertex in the graph as a whole. We first verify that certain types of endblocks exist. Proposition 2.6. Every graph has an endblock that intersects at most one nonendblock. Proof. The block-cutvertex graph of G, G, is the graph with a vertex v B for each block B of G, a vertex v x for each cutvertex x of G, and edges of the form v B v x whenever x V (B). It is well known that G is a forest. Now consider a longest path P in G. The final vertex of P corresponds to a block B of G with the desired property. Any block with at least 3 vertices is 2-connected, that is, one must remove at least 2 vertices to disconnect or trivialize the graph. Such graphs are exactly those which can be obtained from a cycle by adding a sequence of ears. This fact is originally due to Whitney [9], and can also be found in Diestel [1, Proposition 3.1.2] and West [8, Theorem 4.2.8]. Theorem 2.7 (Ear Decomposition Theorem). A graph B is 2-connected if and only if there is a sequence B 0,B 1,...,B l = B such that B 0 is a cycle and B i+1 is obtained by taking a nontrivial path and identifying its two endpoints with two distinct vertices of B i. Proposition 2.8. The invariant m(g) satisfies the following. (1) If v V then m(g) m(g v) + m(g N[v]). (2) If G has an endblock B that is isomorphic to a complete graph then m(g) = m(g N[v]). v V (B) In fact, the same equality holds for any complete subgraph B having at least one vertex that is adjacent in G only to other vertices of B.

8 MAXIMAL INDEPENDENT SETS 277 Proof. For any v V there is a bijection between the maximal independent sets I of G that contain v and the maximal independent sets of G N[v], given by I I v. Also, the identity map gives an injection from those I that do not contain v into the maximal independent sets of G v. This proves (1). For (2), merely use the previous bijection and the fact that, under either hypothesis, any maximal independent set of G must contain exactly one of the vertices of B. We will refer to the formulas in parts (1) and (2) of this proposition as the m-bound and m-recursion, respectively. 3. PROOF OF THE MAIN THEOREM We are now in a position to state and prove our main result. The path and cycle on n vertices will be denoted by P n and C n, respectively. Also, let E denote the graph pictured in Figure 3. Theorem 3.1. Let G be a graph with n vertices and at most r cycles where r 1. (I) If n 3r 1 then for all such graphs we have m(g) g(n, r) with equality if and only if G = G(n, r). (II) If n 3r then for all such graphs that are connected we have m(g) c(n, r) with equality if and only if G = C(n, r) or if G is one of the exceptional cases listed in the following table. n r Possible G = C(n, r) 4 1 P C C(7, 1),E FIGURE 3. The exceptional graph E.

9 278 JOURNAL OF GRAPH THEORY Proof. The proof will be by double induction on n and r. The base case r = 1 has been done by Jou and Chang [4], so we assume from now on that r 2. We will also assume that n 8, as the smaller cases have been checked by computer. We first show that graphs with a certain cycle structure can not be extremal by proving the following pair of claims. Here we assume that G has n vertices and at most r cycles. Claim 1. If G is a graph with two or more intersecting cycles and n 3r 1 then m(g) <g(n, r). Claim 2. If G is a connected graph with an endblock B containing two or more cycles and n 3r then m(g) < c(n, r). To prove Claim 1 suppose to the contrary that v is a vertex where two cycles intersect, so G v has n 1 vertices and at most r 2 cycles. Furthermore, among all such vertices we can choose v with deg v 3. It follows that G N[v] has at most n 4 vertices and at most r 2 cycles. If r = 2 then using Theorem 2.3 and the m-bound gives m(g) f (n 1) + f (n 4) n n 4 2 if n is even, = 2 n n 5 2 if n is odd n if n is even, = 5 2 n 5 2 if n is odd <g(n, 2). If r 3 then we use the induction hypothesis of the theorem, Lemma 2.5 (1) and (3), and the m-bound to get m(g) g(n 1,r 2) + g(n 4,r 2) 3 r 3 2 n 3r r 2 2 n 3r+2 2 if n r (mod 2), = 3 r 2 2 n 3r r 3 2 n 3r+5 2 if n r (mod 2), 22 3 r 3 2 n 3r 2 if n r (mod 2), = 8 3 r 3 2 n 3r+3 2 if n r (mod 2), <g(n, r). To prove Claim 2 we first observe that by the Ear Decomposition Theorem, B contains two cycles C and C such that C C is a path with at least 2 vertices. Since B is an endblock, one of the endpoints of the path C C is not a cutvertex in G. Label this endpoint v. Note that by construction deg v 3 and v is on at least 3

10 MAXIMAL INDEPENDENT SETS 279 cycles of G, namely C, C, and the cycle in C C obtained by not taking any edge of the path C C. Proceeding as in the proof of Claim 1 and noting that G v is connected by our choice of v,wehave t(n 1) + f (n 4) if r = 3, m(g) c(n 1,r 3) + g(n 4,r 3) if r>3 <c(n, r). We now return to the proof of the theorem, first tackling the case where G varies over all graphs with n vertices and at most r cycles. For the base cases of n = 3r 1or3r, wehaveg(n, r) = g(n) and G(n, r) = G(n) so we are done by the Moon Moser Theorem. Suppose that n 3r + 1. From Claim 1 we can assume that the cycles of G are disjoint. It follows that the blocks of G must all be cycles or copies of K 2. Let B be an endblock of G. We have three cases depending on whether B = K 2, K 3,or C p for p 4. If B = K 2 then let V (B) =v, w} where w is the cutvertex of B in G, ifb has one. Then G N[v] has n 2 vertices and at most r cycles while G N[w] has at most n 2 vertices and at most r cycles. By induction, Lemma 2.5 (1) and (3), and the m-recursion we have m(g) 2g(n 2,r) = g(n, r) with equality if and only if G N[v] = G N[w] = G(n 2,r). It follows that B is actually a component of G isomorphic to K 2 and so G = G(n, r). The case B = K 3 is similar. Proceeding as before, one obtains m(g) 3g(n 3,r 1) = g(n, r), and equality is equivalent to G = B G(n 3,r 1) = G(n, r). To finish off the induction step, consider B = C p, p 4. Then there exist v, w, x V (B) all of degree 2 such that vw, vx E(B). So G v has n 1 vertices and at most r 1 cycles. Furthermore, G v = G(n 1,r 1) since G v contains two vertices, w and x, both of degree 1 and in the same component but not adjacent. Also, G N[v] has n 3 vertices and at most r 1 cycles. Using computations similar to those in Claim 1, m(g) <g(n 1,r 1) + g(n 3,r 1) = g(n, r), so these graphs cannot be extremal. It remains to consider the connected case. It will be convenient to leave the base cases of n = 3r or 3r + 1 until last, so assume that n 3r + 2. Among all the endblocks of the form guaranteed by Proposition 2.6, let B be one with the largest

11 280 JOURNAL OF GRAPH THEORY number of vertices. Claim 2 shows that B is either K 2 or a cycle. Furthermore, the r = 1 base case shows that cycles with more than 5 vertices are not extremal, so B must contain a cutvertex x. Again, there are three cases depending on the nature of B. If B = K 2 then let V (B) =x, v} so that deg v = 1 and deg x 2. By the choice of B, G N[v] is the union of some number of K 1 s and a connected graph with at most n 2 vertices and at most r cycles. Also, G N[x] has at most n 3 vertices and at most r cycles, so m(g) c(n 2,r) + g(n 3,r) = c(n, r) with equality if and only if both G N[v] and G N[x] are extremal. Except for the case where n = 9 and r = 2, this implies that G N[v] = C(n 2,r) and G N[x] = G(n 3,r), which is equivalent to G = C(n, r). In the case where n = 9 and r = 2 we still must have G N[x] = G(6, 2) = 2K 3, but now there are three possibilities for G N[v]: C(7, 2), C(7, 1), or E. However, since G N[x] is a subgraph of G N[v] we must have G N[v] = C(7, 2), which shows that G = C(9, 2), as desired. Next consider B = K 3 and let V (B) =x, v, w} where x is the cutvertex. Let i be the number of K 3 endblocks other than B containing x. First we note that x is adjacent to some vertex y not in a K 3 endblock as otherwise n<3r. It follows from our choice of B that G N[v] = G N[w] has some number of K 1 components, i components isomorphic to K 2, and at most one other component, say H, with at most n 2i 3 vertices and at most r i 1 cycles. Furthermore, because x is adjacent to y, the graph G N[x] has at most n 2i 4 vertices and at most r i 1 cycles. This gives us the upper bound m(g) 2 i+1 c(n 2i 3,r i 1) + g(n 2i 4,r i 1). As the right-hand side of this inequality is strictly decreasing for i of a given parity, it suffices to consider the cases where i is 0 or 1. When i = 1, we have When i = 0wehave m(g) 4c(n 5,r 2) + g(n 6,r 2) <c(n, r). m(g) 2c(n 3,r 1) + g(n 4,r 1) = c(n, r). Using the same argument as in the case B = K 2 and (n, r) = (9, 2), one can show that this inequality is strict when c(n 3,r 1) could be achieved by one of the exceptional graphs. For other n, r we get equality if and only if G = C(n, r). The last case is where B = C p where p 4. Label the vertices of B as x,u,v,w,... so that they read one of the possible directions along the cycle, where x is the cutvertex. So deg u = deg v = deg w = 2, deg x 3, and G v

12 MAXIMAL INDEPENDENT SETS 281 is connected with n 1 vertices and at most r 1 cycles. Furthermore, G v = C(n 1,r 1) because it contains a vertex of degree 1 (namely u) adjacent to a vertex of degree at least 3 (namely x). Also, the graph G N[v] is connected with n 3 vertices and at most r 1 cycles. These conditions give us m(g) <c(n 1,r 1) + c(n 3,r 1) = c(n, r), and since this inequality is strict, such G are not extremal. We are left with the base cases. When n = 3r, c(n, r) = c(n) and C(n, r) = C(n) so we are done by the Griggs Grinstead Guichard Theorem. If n = 3r + 1 then we can proceed as in the induction step except where B = K 2 since then c(n 2,r) and g(n 3,r) have arguments outside of the permissible range. However, since we have assumed n 8, Theorems 2.1 and 2.2 apply to give m(g) c(n 2) + g(n 3) = c(3r 1) + g(3r 2) = 4 3 r r r 2 c(3r + 1,r) = c(n, r). The latter inequality is strict for r 3; when r = 3, the former inequality is strict because C(8) = K 4 K 4 has more than 3 cycles. Therefore these graphs cannot be extremal, finishing the proof of the theorem. As was mentioned in Section 1, Theorem 3.1 and the Moon Moser Theorem combine to completely settle the maximal independent set question for the family of arbitrary graphs with n vertices and at most r cycles for all n and r, but this does not occur in the connected case. For these graphs, Theorem 3.1 handles the cases where n is large relative to r and the Griggs Grinstead Guichard Theorem handles the cases where n is small relative to r, but there is a gap between where these two results apply when n 0 (mod 3). This gap is handled in [7]. That article also answers related questions for maximum independent sets. REFERENCES [1] R. Diestel, Graph theory, Graduate texts in math, Vol. 173, Springer-Verlag, New York, NY (1997). [2] Z. Fűredi, The number of maximal independent sets in connected graphs, J Graph Theory 11 (1987), [3] J. R. Griggs, C. M. Grinstead, and D. R. Guichard, The number of maximal independent sets in a connected graph, Discrete Math 68 (1988),

13 282 JOURNAL OF GRAPH THEORY [4] M. J. Jou and G. J. Chang, Maximal independent sets in graphs with at most one cycle, Discrete Appl Math 79 (1997), [5] J. W. Moon and L. Moser, On cliques in graphs, Isr J Math 3 (1965), [6] B. E. Sagan, A note on independent sets in trees, SIAM J Discrete Math 1 (1988), [7] B. E. Sagan and V. R. Vatter, Maximal and maximum independent sets in graphs with at most r cycles, J Graph Theory 2006, DOI/ /jgt [8] D. West, Introduction to Graph Theory (2nd edn), Prentice Hall, Upper Saddle River, NJ, [9] H. Whitney, Congruent graphs and the connectivity of graphs, Am J Math 54 (1932), [10] H. S. Wilf, The number of maximal independent sets in a tree, SIAM J Alg Discrete Methods 7 (1986),

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

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

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.

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

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

Rational exponents in extremal graph theory

Rational exponents in extremal graph theory Boris Bukh David Conlon Abstract Given a family of graphs H, the extremal number ex(n, H) is the largest m for which there exists a graph with n vertices and

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

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

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

Mean Ramsey-Turán numbers

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

A maximum degree theorem for diameter-2-critical graphs

Cent. Eur. J. Math. 1(1) 01 188-1889 DOI: 10.78/s11533-01-09-3 Central European Journal of Mathematics A maximum degree theorem for diameter--critical graphs Research Article Teresa W. Haynes 1,, Michael

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

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

CS268: Geometric Algorithms Handout #5 Design and Analysis Original Handout #15 Stanford University Tuesday, 25 February 1992

CS268: Geometric Algorithms Handout #5 Design and Analysis Original Handout #15 Stanford University Tuesday, 25 February 1992 Original Lecture #6: 28 January 1991 Topics: Triangulating Simple Polygons

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

On Total Domination in Graphs

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

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

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

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

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

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

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

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

Planarity Planarity

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

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

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

Product irregularity strength of certain graphs

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

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

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

GRAPH 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

Introduction 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

Exponential time algorithms for graph coloring

Exponential time algorithms for graph coloring Uriel Feige Lecture notes, March 14, 2011 1 Introduction Let [n] denote the set {1,..., k}. A k-labeling of vertices of a graph G(V, E) is a function V [k].

UPPER BOUNDS ON THE L(2, 1)-LABELING NUMBER OF GRAPHS WITH MAXIMUM DEGREE

UPPER BOUNDS ON THE L(2, 1)-LABELING NUMBER OF GRAPHS WITH MAXIMUM DEGREE ANDREW LUM ADVISOR: DAVID GUICHARD ABSTRACT. L(2,1)-labeling was first defined by Jerrold Griggs [Gr, 1992] as a way to use graphs

Divisor graphs have arbitrary order and size

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

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

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

Chapter 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

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

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

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

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

Combinatorics: The Fine Art of Counting

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

(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

Degree Hypergroupoids Associated with Hypergraphs

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

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

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

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

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

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

9.1. Vertex colouring. 9. Graph colouring. Vertex colouring.

Vertex colouring. 9. Graph colouring k-vertex-critical graphs Approximation algorithms Upper bounds for the vertex chromatic number Brooks Theorem and Hajós Conjecture Chromatic Polynomials Colouring of

Generalized Induced Factor Problems

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

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

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

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

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

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

136 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

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.

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

A simple existence criterion for normal spanning trees in infinite graphs

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

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

A Stronger Form of the Van den Berg-Kesten Inequality

A Stronger Form of the Van den Berg-Kesten Inequality Peter Winkler March 4, 2010 Abstract Let Q n := {0,1} n be the discrete hypercube with uniform probability distribution, and let A and B be two up-events

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

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

UNIVERSAL JUGGLING CYCLES. Fan Chung 1 Department of Mathematics, University of California, San Diego, La Jolla, CA Ron Graham 2.

INTEGERS: ELECTRONIC JOURNAL OF COMBINATORIAL NUMBER THEORY 7(2) (2007), #A08 UNIVERSAL JUGGLING CYCLES Fan Chung 1 Department of Mathematics, University of California, San Diego, La Jolla, CA 92093 Ron

Diameter of paired domination edge-critical graphs

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

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,

The 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

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

Coloring Eulerian triangulations of the projective plane

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

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

INDISTINGUISHABILITY OF ABSOLUTELY CONTINUOUS AND SINGULAR DISTRIBUTIONS

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

Mathematical Induction

Mathematical Induction Victor Adamchik Fall of 2005 Lecture 1 (out of three) Plan 1. The Principle of Mathematical Induction 2. Induction Examples The Principle of Mathematical Induction Suppose we have

Discrete Mathematics & Mathematical Reasoning Chapter 10: Graphs

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

Graphs without proper subgraphs of minimum degree 3 and short cycles

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

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

CHAPTER 5: MODULAR ARITHMETIC

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

An inequality for the group chromatic number of a graph

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

Lecture 3. Mathematical Induction

Lecture 3 Mathematical Induction Induction is a fundamental reasoning process in which general conclusion is based on particular cases It contrasts with deduction, the reasoning process in which conclusion

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

Discrete Mathematics (2009 Spring) Induction and Recursion (Chapter 4, 3 hours)

Discrete Mathematics (2009 Spring) Induction and Recursion (Chapter 4, 3 hours) Chih-Wei Yi Dept. of Computer Science National Chiao Tung University April 17, 2009 4.1 Mathematical Induction 4.1 Mathematical

Lecture 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

Chapter 6 Planarity. Section 6.1 Euler s Formula

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

The Pigeonhole Principle

The Pigeonhole Principle 1 Pigeonhole Principle: Simple form Theorem 1.1. If n + 1 objects are put into n boxes, then at least one box contains two or more objects. Proof. Trivial. Example 1.1. Among 13

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

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

A threshold for the Maker-Breaker clique game

A threshold for the Maker-Breaker clique game Tobias Müller Miloš Stojaković October 7, 01 Abstract We study the Maker-Breaker k-clique game played on the edge set of the random graph G(n, p. In this game,

A simple criterion on degree sequences of graphs

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

On the k-path cover problem for cacti

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

About the inverse football pool problem for 9 games 1

Seventh International Workshop on Optimal Codes and Related Topics September 6-1, 013, Albena, Bulgaria pp. 15-133 About the inverse football pool problem for 9 games 1 Emil Kolev Tsonka Baicheva Institute

On an anti-ramsey type result

On an anti-ramsey type result Noga Alon, Hanno Lefmann and Vojtĕch Rödl Abstract We consider anti-ramsey type results. For a given coloring of the k-element subsets of an n-element set X, where two k-element

Cycle transversals in bounded degree graphs

Electronic Notes in Discrete Mathematics 35 (2009) 189 195 www.elsevier.com/locate/endm Cycle transversals in bounded degree graphs M. Groshaus a,2,3 P. Hell b,3 S. Klein c,1,3 L. T. Nogueira d,1,3 F.

Determination of the normalization level of database schemas through equivalence classes of attributes

Computer Science Journal of Moldova, vol.17, no.2(50), 2009 Determination of the normalization level of database schemas through equivalence classes of attributes Cotelea Vitalie Abstract In this paper,

14. Trees and Their Properties

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

Discrete Mathematics Problems

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

Continued Fractions and the Euclidean Algorithm

Continued Fractions and the Euclidean Algorithm Lecture notes prepared for MATH 326, Spring 997 Department of Mathematics and Statistics University at Albany William F Hammond Table of Contents Introduction

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

Diameter and Treewidth in Minor-Closed Graph Families, Revisited

Algorithmica manuscript No. (will be inserted by the editor) Diameter and Treewidth in Minor-Closed Graph Families, Revisited Erik D. Demaine, MohammadTaghi Hajiaghayi MIT Computer Science and Artificial

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

COUNTING INDEPENDENT SETS IN SOME CLASSES OF (ALMOST) REGULAR GRAPHS

COUNTING INDEPENDENT SETS IN SOME CLASSES OF (ALMOST) REGULAR GRAPHS Alexander Burstein Department of Mathematics Howard University Washington, DC 259, USA aburstein@howard.edu Sergey Kitaev Mathematics

1 Definitions. Supplementary Material for: Digraphs. Concept graphs

Supplementary Material for: van Rooij, I., Evans, P., Müller, M., Gedge, J. & Wareham, T. (2008). Identifying Sources of Intractability in Cognitive Models: An Illustration using Analogical Structure Mapping.

MA651 Topology. Lecture 6. Separation Axioms.

MA651 Topology. Lecture 6. Separation Axioms. This text is based on the following books: Fundamental concepts of topology by Peter O Neil Elements of Mathematics: General Topology by Nicolas Bourbaki Counterexamples

Connections between decomposition trees of 3-connected plane triangulations and hamiltonian properties

Introduction Hamiltonicity Other hamiltonian properties Connections between decomposition trees of 3-connected plane triangulations and hamiltonian properties Gunnar Brinkmann Jasper Souffriau Nico Van

On the Randić index and Diameter of Chemical Graphs

On the Rić index Diameter of Chemical Graphs Dragan Stevanović PMF, University of Niš, Niš, Serbia PINT, University of Primorska, Koper, Slovenia (Received January 4, 008) Abstract Using the AutoGraphiX