RAMSEYTYPE NUMBERS FOR DEGREE SEQUENCES


 Allyson Bradley
 2 years ago
 Views:
Transcription
1 RAMSEYTYPE NUMBERS FOR DEGREE SEQUENCES ARTHUR BUSCH UNIVERSITY OF DAYTON DAYTON, OH MICHAEL FERRARA, MICHAEL JACOBSON 1 UNIVERSITY OF COLORADO DENVER DENVER, CO STEPHEN G. HARTKE 2 UNIVERSITY OF NEBRASKA LINCOLN LINCOLN, NE Abstract. A (finite) sequence of nonnegative integers is graphic if it is the degree sequence of some simple graph G. Given graphs G 1 and G 2, we consider the smallest integer n such that for every nterm graphic sequence π, there is some graph G with degree sequence π with G 1 G or with G 2 G. When the phrase some graph in the prior sentence is replaced with all graphs the smallest such integer n is the classical Ramsey number r(g 1, G 2 ) and thus we call this parameter for degree sequences the potentialramsey number and denote it r pot(g 1, G 2 ). In this paper, we give exact values for r pot(k n, K t), r pot(c n, K t), and r pot(p n, K t) and consider situations where r pot(g 1, G 2 ) = r(g 1, G 2 ). 1. Introduction A (finite) nonnegative integer sequence π = (d 1,..., d n ) is graphic if it is the degree sequence of some simple graph G. In that case, we say that G realizes π or is a realization of π, and we write π = π(g). Given a positive integer n, we let GS n denote the set of nterm graphic sequences. A graphic sequence π is unigraphic if all realizations of π are isomorphic, and we denote π = (d 1,..., d n ) = (n 1 d 1,..., n 1 d n ). When convenient we will reorder the terms in nonincreasing (or another) order. The study of graphic sequences dates to the 1950s and 1960s, and includes the characterization of graphic sequences by Havel [1] and Hakimi [11] and an independent characterization by Erdös and Gallai [5]. Subsequent research sought to describe the graphic sequences which are realized by graphs with certain desired structural properties. Such problems can be broadly classified into two types, first described as forcible problems and potential problems by A.R. Rao in [20]. In a forcible degree sequence problem, a specified graph property must exist in every realization of the degree sequence π, while in a potential degree sequence problem, the structure sought must be found in at least one realization of π. Results on forcible degree sequences are often stated as traditional problems in structural 1 Partially supported by UCD GK12 project, National Science Foundation grant DGE Partially supported by National Science Foundation grant DMS
2 2 graph theory, where a necessary and/or sufficient condition is given in terms of the degrees of the vertices of a given graph (e.g., the proverbial First Theorem of Graph Theory ). Two older, but exceptionally thorough surveys on forcible and potential problems are due to Hakimi and Schmeichel [10] and S.B. Rao [21]. Other work [7, 14, 15] on potentially graphic sequences has focused on the study of potentially Hgraphic sequences, or sequences which have realizations containing a specified subgraph H. Here, we consider similar problems for both a degree sequence π and the complementary sequence π simultaneously. Motivated by a number of other degree sequence variants of well known problems in extremal graph theory, including potentially graphic sequence analogues of the Turán problem [4, 7, 25], the ErdősSös conjecture [24], Hadwiger s conjecture [2, 22] and the SauerSpencer theorem [1], the purpose of this paper is to propose a potential degree sequence variant of Ramsey number r(g 1, G 2 ), i.e., the minimum integer n such that for any graph G of order n, either G 1 G or G 2 G. Specifically, given two graphs G 1 and G 2 and a graphic sequence π, we write that π (G 1, G 2 ) if either π is potentially G 1 graphic or π is potentially G 2 graphic. We define the potentialramsey number of G 1 and G 2, denoted r pot (G 1, G 2 ), to be the smallest nonnegative integer n such that π (G 1, G 2 ) for every π GS n. In other words, the problem of determining r pot (G 1, G 2 ) is the potential analogue to the forcible problem of determining the classical Ramsey number r(g 1, G 2 ). In the sections that follow, we consider how known results from Ramsey theory can be utilized to establish some initial results for potentialramsey numbers, give several bounds on r pot (G 1, G 2 ) and also determine exact values for a number of families of graphs. Before we proceed, we introduce some additional notation and terminology. If u and v are adjacent vertices in G, we write u v and say also that uv is an edge of G. For a subgraph H and a vertex v in G, N H (v) denotes those neighbors of v lying in H and we let d H (v) = N H (v). Similarly, given vertices u and v in H, we let dist H (u, v) denote the distance from u to v in H. A trivial component of a graph G is a component of order one. 2. Bounds The first claim in this section establishes a concrete link between the classical Ramsey number r and the Ramseypotential number r pot. Claim 1. For any graphs G 1 and G 2, r pot (G 1, G 2 ) r(g 1, G 2 ). This relationship is of limited use, since exact values of r(g 1, G 2 ) are known for very few collections of graphs (for a thorough dynamic survey see [19]). Even when r(g 1, G 2 ) is known, this bound is often far from optimal as a number of our results will subsequently demonstrate. However, there are instances for which the bound is sharp. For instance, in light of [12], we have
3 RAMSEYTYPE NUMBERS FOR DEGREE SEQUENCES n + t 1, r pot (K 1,n, K 1,t ) = r(k 1,n, K 1,t ) = n + t, if n, t are both even, otherwise. Furthermore, the following lemma demonstrates that in certain cases it is straightforward to determine when equality holds in Claim 1. Lemma 2.1. Let r = r(g 1, G 2 ) and let G be a graph of order r 1 such that G 1 G and G 2 G. If π(g) is unigraphic, then r(g 1, G 2 ) = r pot (G 1, G 2 ). This allows us to obtain several interesting results. For instance, it is well known that r(k, K ) = 6 and that C 5 is the unique graph on five vertices containing no triangle and no independent set of size three. Since π(c 5 ) = (2, 2, 2, 2, 2) is unigraphic, we conclude that r pot (K, K ) = r(k, K ) = 6. In [9], it was shown that for n m 2, r(p n, P m ) = n + m 2 1, where the lower bound was established via consideration of the graph G = K n 1 K m As π(g) is unigraphic, we obtain that m r pot (P n, P m ) = r(p n, P m ) = n Next we give a bound on r pot (G, K n ) for a number of choices of G. The 1 dependence number of a graph G [8], denoted α (1) (G), is the maximum order of an induced subgraph H of G with (H) 1. Theorem 2.2. Let G be a graph of order n with α (1) (G) n 1 and t 2. Then r pot ((G, K t ) 2t + n α (1) (G) 2. Proof. Let l = n α (1) (G) 1 and consider π = π(k l (t 1)K 2 ), which is unigraphic. The result follows from two simple observations. First, π is uniquely realized by (K 2t 2 (t 1)K 2 ) K l which contains no K t. Secondly, any copy of G lying in the unique realization of π requires at least α (1) (G) + 1 vertices from the t 1 independent edges, which is impossible as any such collection of vertices would necessarily induce a subgraph of G with order at least α (1) (G) + 1 and maximum degree at most one. This theorem yields a straightforward corollary, springing from the fact that for any graph G of order n without isolaed vertices, π(k n 1 K t 2 ) (G, K t ). Corollary 2.. Let G be a graph of order n with α (1) (G) n 1 and no isolated vertices, and let t 2. Then r pot ((G, K t ) max{2t + n α (1) (G) 2, n + t 2}. In Sections and 4, we show that equality holds in Corollary 2. when G = K n, C n or P n.
4 4. r pot (K n, K t ) Few exact values of r(k n, K t ) are known, and it is one of the foremost problems in combinatorics to determine even r(k 5, K 5 ). Despite this, we determine r pot (K n, K t ) for n t 2. The following results will be useful as we proceed. Theorem.1 (R. Luo [16]). Let π = (d 1,..., d n ) be a nonincreasing graphic sequence with d 2 and d n 1. Then π is potentially C graphic if and only if π (2, 2, 2, 2) and π (2, 2, 2, 2, 2). Theorem.2 (JH Yin and JS Li [2]). Let π = (d 1,..., d n ) be a nonincreasing graphic sequence and k 1 be an integer. (a) If d k k 1 and d 2k k 2 then π is potentially K k graphic. (b) If d k k 1 and d i 2(k 1) i for 1 i k 1, then π is potentially K k graphic. We are now ready to prove the main result of this section. Theorem.. For n t, r pot (K n, K t ) = + t 4 except when n = t =, in which case r pot (K, K ) = 6. Proof. The case where n = t = has already been discussed in Section 2, so we may assume that n 4 and t. The fact that r pot (K n, K t ) + t 4 follows from Theorem 2.2 and/or consideration of π((k 2 (n 1)K 2 ) K t ), which is unigraphic. Therefore, let π = (d 1,..., d k ) be a nonincreasing graphic sequence of length k = + t 4 with complementary sequence π = (d 1,..., d k ), which we will also assume to be nonincreasing. If d n < n 1, then d k n+1 = d n+t n + t 2t. As t, this gives that d 1,..., d t 2t > t 1, so π is potentially K t graphic by part (b) of Theorem.2. In a similar manner, if d t < t 1 then π is potentially K n  graphic since d n d. Consequently, we may assume that d n n 1 and d t t 1. Additionally, if t =, then k 7 so π is potentially K graphic by Theorem.1. Hence we may assume that t 4. Now, if d n 2, then part (a) of Theorem.2 implies that π is potentially K n graphic. Hence, we may assume that d n, so that d k +1 = d t (k 1) (n ) 2t 2. As we have that d t 1 t 1, we may apply part (b) of Theorem.2 unless d t 2 < t or, more specifically since d t t 1, if d t 2 = t 1. In this case, however, then d k (t 2)+1 = d 1 4, so we can apply part (b) of Theorem.2 to π provided d 1. We complete the proof by observing that if this were not the case, we would have d 1 = 4 and thus d k = k 1 ( 4) = t 1. As t 4, k 2t, and so π is potentially K t graphic by part (a) of Theorem.2.
5 RAMSEYTYPE NUMBERS FOR DEGREE SEQUENCES 5 4. r pot (C n, K t ) Exact values of r(c n, K t ) are known for all t 7, and the conjecture that r(c n, K t ) = (n 1)(t 1) + 1 for n t has been outstanding since 1976 [, 6]; a recent proof for n 4m + 2, m is given in [17]. In contrast, in this section, we show r pot (C n, K t ) is linear in n and t for all n, t 2. Theorem 4.1. For t 2 and n with t, rpot (C n, K t ) = n + t 2. Proof. The fact that r pot (C n, K t ) n+t 2 follows from consideration of π(k n 1 K t 2 ), which is unigraphic. To show the reverse inequality, let π = (d 1,..., d k ) be a graphic sequence with k = n + t 2. If t = 2, the result is immediate, so we assume next that t = and n = 5 and order π = (d 1, d 2, d, d 4, d 5, d 6 ) to be nonincreasing. By Theorem.1, if d 2 then π is potentially K graphic. We leave it to the reader to check that if π is a nonincreasing sequence with six terms that does not satisfy this condition, then π must be potentially C 5 graphic. Hence, we may assume that n 6, t and t. If no realization of π contains a cycle, then every realization of π is bipartite, and hence has an independent set of size at least n+t 2 2. Thus, in the complement of G we have either a clique on at least t vertices, or n+t 2 2 t 1 which implies that t n. Thus, we can assume that some realization of π contains a cycle. Obviously, if G contains a cycle of length n, there is nothing to prove, so we assume that no cycle in any realization of π has length n. We proceed by considering the following cases. Case 1: Some realization G of π contains a cycle of length n + 1. Let C = v 1 v 2 v n v n+1 v 1 be a cycle of length n + 1 in G and note that v i v i+2 for any index i, as no realization of π contains an ncycle. Furthermore, if v i v i+ E(G) for some index i, then we can exchange the edges v i v i+ and v i+1 v i+2 for the nonedges v i+1 v i+ and v i v i+2 to obtain a realization G in which v i v i+2 v i+ v n+1 v 1 v i is a cycle of length n. Thus, we can assume that for any i, neither v i v i+2 nor v i v i+ is an edge of G. Consider a vertex x V (G) C with d = d C (x) maximum. If d = 0, we have either d G (x) = 0 for all x V (G) C, or we have x, y V (G) C with xy E(G). In the latter case, we can exchange the edges v 1 v 2, v 2 v and xy with the nonedges v 1 x, v y and v 1 v to construct a realization of π containing the n cycle v 1 v v 4 v n+1 v 1. If, instead, d G (x) = 0 for each vertex in V (G) C, then V (G) C along with v 1, v and v 5 form an independent set of size t unless v 1 v 5 is in E(G). Then, however, we can exchange the edges v 1 v 5, v 2 v and v v 4 for the nonedges v 1 v, v v 5 and v 2 v 4 to construct a realization of π containing the ncycle v 1 v 2 v 4 v 5... v n+1. Thus, we can assume that there is some vertex x V (G) C such that v i N(x) for some index i. If xv i+ E(G), then G contains a cycle of length n, so there exists an index j such that v j N(x) and v j+1 / N(x). Now, replacing the edges xv j and v j+1 v j+2 with the nonedges xv j+1 and v j v j+2 gives a realization G of π in which v j v j+2 v j+... v n+1 v 1 v 2... v j is a cycle of length n. Case 2: Some realization G of π contains a cycle of length n + 2.
6 6 Let C = v 1 v 2 v n v n+2 v 1 be a cycle of length n + 2 in G, and note that Case 1 and the assumption that no realization of G contains an ncycle, neither v i v i+2 nor v i v i+ are edges of G for any index i. If C is not an induced cycle, choose a chord v i v j E(G) so that dist C (v j, v i ) > is minimum. Next, we note that by replacing the edges v i v i+1, v i v j and v i+2 v i+ with the nonedges v i v i+2, v i v i+ and v i+1 v j we obtain a realization of π in which v i v i+ v i+4 v n+2 v 1 v 2 v i is a cycle of length n. Therefore, we can assume that C is an induced C n+2 in G. Suppose then that there is a vertex x in V (G) C such that xv i is an edge of G for some i. Then either v 1 v 2 v i xv i+ v i+4 v n+2 v 1 is a cycle of length n + 1, or we can choose an index j such that xv j E(G) but xv j+1 / E(G). Then, by exchanging the edges v j x and v j+1 v j+2 with the nonedges v j v j+2 and xv j+1 we obtain a realization of π which contains a cycle of length n + 1. Furthermore, if there exists any edge xy with x, y / {v 1,..., v n+2 }, then replacing the edges v 1 v 2, v 2 v and xy with the edges v 1 v, v 2 x and v 2 y yields a realization of π where v 1 v v 4 v n+2 v 1 is a cycle of length n + 1. Thus G is isomorphic to C n+2 K t 4, and as n + 2 8, α(g) t. Case : Some realization G of π contains a cycle of length m > n + 2. Choose a realization G containing a cycle v 1 v 2 v m v 1 with m > n + 2 maximum. If v n v 1, then the vertices v 1, v 2,..., v n obviously give the desired subgraph isomorphic to C n. Similarly, since we can assume G contains no cycle of length n+2, v n+1 v m, as this edge would complete a cycle of length n + 2. Thus, replacing the edges v m v 1 and v n v n+1 with the nonedges v n v 1 and v n+1 v m gives a graph G realizing π which contains C n. Case 4: Every realization of π has circumference at most n 1. As above, let G be a realization of π containing a longest cycle C = v 1 v 2... v m with m n 1 and suppose that G has the maximum circumference amongst all realizations of π. Let H be the subgraph of G induced by V (G) V (C). Claim 1. H is acyclic. Assume otherwise, and let x 1 x 2 x p x 1 be a cycle in H. Then, if v i x j E(G), it follows that neither v i+1 x j E(G) nor v i+2 x j+1 E(G). Otherwise, v 1 v 2 v i x j v i+1 v i+2 v m v 1 or v 1 v 2 v i x j x j+1 v i+2 v m v 1 is a cycle of length greater than m in G, a contradiction. Thus we conclude, without loss of generality, that v 1 x 2 and v 2 x 1, and by replacing the edges v 1 v 2 and x 1 x 2 with v 1 x 2 and v 2 x 1, we obtain a realization of π with a cycle v 1 x 2 x x p x 1 v 2 v v m v 1 of length m + p, a contradiction which establishes that H is acyclic. Claim 2. Either (H) 1 or the only nontrivial component of H is a star. Assume first that there exist vertices x and y in H such that d H (x) 2 and d H (y) 2. Clearly, we can choose x and y so that xy E(G). Since H is acyclic, then for any vertices x N H (x) {y} and y N H (y) {x} we have x y and x y. As the circumference of G is m, there exists an index i such that v i x / E(G) and v i+1 y / E(G). By replacing xx, yy and v i v i+1 with v i x, v i+1 y and x y, we obtain a graph G realizing π containing the (m + 2)cycle v 1 v i xyv i+1 v m v 1, a contradiction. Hence H has at most one vertex of degree at least two.
7 RAMSEYTYPE NUMBERS FOR DEGREE SEQUENCES 7 Assume then that (H) > 1, and that H has at least two nontrivial components. Choose x V (H) with d H (x) > 1, and choose vertices x and x in N(x), and and edge yy in a component of H different from the component containing x. We may assume, without loss of generality, that v 1 x. If, in addition, v 2 x then v 1 v 2 xx x xv 1 alternates between edges and nonedges in G and can be used to obtain a realization of π containing a cycle of length m + 1 > m, a contradiction. A similar argument holds if v m x so both v 2 x and v m x are edges in G. Now, if v 2 y / E(G), then replacing edges xx, yy and v 1 v 2 with v 1 x, v 2 y and y x yields a realization of π in which v 1 xv 2 v m v 1 is a cycle of length m+1, which contradicts the maximality of m. We can therefore assume v 2 y E(G), and by an identical argument, that v m y E(G). But then v 2 v n y yv 2 is a cycle of length m + 1 in G. This last contradiction establishes the claim. Claim. If the only nontrival component of H is a star, then π (C n, K t ). Let x be the unique vertex in V (H) with d H (x) > 1. Clearly, by the maximality of m, v i x E(G) implies that v i+1 x for every i, and the argument in Claim 2 establishes that we could construct a larger cycle if x has two consecutive nonneighbors on C. We conclude that m is even and, without loss of generality, x v i if and only if i is even. Next, observe that if we can choose an odd index i such that v i y for some y V (H) x, then either v 1 v 2 v i yxv i+1 v i+2 v m v 1 is a cycle of length m + 1 in G or, xy / E(G). In the latter case, we can exchange the edges v i y and xx with the nonedges v i x and x y for any x N H (x) to obtain a realization of π in which v 1 v 2 v i xv i+1 v i+2 v m v 1 is a cycle of length m + 1. Thus, we conclude that no vertex in V (H) is adjacent to v 1 or v. If v 1 v, we have the cycle v 1 v v 2 xv 4 v 5 v m v 1 of length m + 1 in G, and if v 1 v, then V (H) {v 1, v } {x} is a set of at least (k m) = (n m) + t 1 t independent points in G, completing the proof of the claim. As a result of Claims 1 , we may assume that (H) 1. First, consider the case that (H) = 0. Since V (H) = k m t 1, we can assume equality holds, and conclude that m = n 1. Now, either every vertex v i is incident with at least one vertex of H, or we can choose a vertex v j such that V (H) {v j } is an independent set of size at least t. If every v i has at least one neighbor in V (H), then since n 1 > t 1, we conclude that some vertex x V (H) is adjacent to vertices v i and v j with i < j, and by the maximality of m, i < j 1. We choose x and v i v j so that j i > 1 is as small as possible. We now choose y V (H) N(v i+1 ), and observe that y x. The minimality of j i ensures that v j y and v i+1 x. Thus, the graph obtained by replacing edges v i+1 y and v j x with v i+1 x and v j y is a realization of π which contains a cycle v 1 v 2 v i xv i+1 v i+2 v n v 1 of length m+1 = n. Therefore, it remains to examine the possibility that (H) = 1. First, we assume that H contains exactly two (necessarily adjacent) vertices of degree one, say x and y. We also note that if v i x E(G) for any index i, then the maximality of m guarantees that v i±1 x and v i±2 y. In this case, by exchanging the edges v i+1 v i+2 and xy with the nonedges v i+1 x and v i+2 y we obtain a realization of π with an independent set of size V (H). Since H has exactly one edge and order k m, we conclude that either H has t independent points, or m is one of n 1 or n 2. If m = n 2, then V (H) = t and we can use an argument identical to the case where (H) = 0 to show that there is some vertex on C that has no neighbor
8 8 in H, implying the existence of an appropriate independent set. Alternatively, if m = n 1, then V (H) = t 1 and we can conclude again that there is some vertex v j is adjacent to no vertex of H. Since m = n 1 5, we can then choose an index i j, j 1 so that replacing the edges v i v i+1 and xy with v i x and v i+1 y gives realization of π with t independent points (the vertices in V (H) together with the vertex v j ). Next, assume that H contains 2l 4 vertices of degree one and p isolated vertices and choose xx, yy E(H). If v i x E(G) but v i x, then we can produce a realization of π in which (H) = 2 by replacing edges v i x, xx and yy with the nonedges xy, xy and v i x. The previous claims then imply π (C n, K t ). Furthermore, we note that by replacing the edges xx and yy with the edges xy and x y in H, we obtain another realization of π, and as a result the preceeding argument immediately implies that v i y E(G). Thus, each vertex v i adjacent to any vertex x with d H (x) = 1 is adjacent to every vertex of H with degree one. Let S = {v i v i x for some x with d H (x) = 1}, and let s = S. First, suppose that S = and that x i y i, 1 i l are the (disjoint) edges in H. If l m, then we can exchange x i y i and the edge v i v i+1 for the nonedges xv i and yv i+1. This creates a realization of π in which the vertices of H contain an independent set of size p+l+m. If p+l+m t we are done, so suppose otherwise. Then k (p + l + m) = l n 1, which implies that k 2, a contradiction. Hence we may assume that l < m, which again allows us to exchange edges in H and edges on C to create a realization of π in which H induces an independent set of size p + 2l. As k = n + t 2 and m n 1, this implies that, in fact, p + 2l = t 1 and m = n 1. Now, as above, if every vertex v i has a neighbor in H, we can construct a realization of G containing a longer cycle, so there is some vertex v j with no neighbor in H. As t and l t 1 2, we conclude that l n = m 2, so we can use edges in E(C) that are not incident to v j to break the l edges in H and create a realization of π in which V (H) {v j } forms an independent set of size t, as desired. Thus, we now assume that S. Observe that for every v i S, the maximality of m implies that v i+2 and v i 2 are not adjacent to any vertex of V (H) with degree one. Additionally, the vertices v i+1 and v i 1 are not adjacent to any vertex x V (H), as we would either have a cycle of length m + 1 if d H (x) = 1, or, if d H (x) = 0, we can choose yy E(H) and replace v i±1 x and v i y with v i±1 y and v i x and obtaian a realization in which v 1 v j y yv j+1 v n v 1 is a cycle of length m + 1 for j = i, i 1. Furthermore, we note that each edge v i v j of the graph induced by C S, and any edge xx E(H) can be replaced with the edges v i x and v j x to obtain a realization of π with fewer edges in the graph induced by V (H). Since each edge of the cycle not incident with a vertex of S is in C S and dist C (v i, v j ) for any distinct v i and v j in S, there are at least m 2s edges in this graph. If m 2s > l, then we can eliminate every edge of H without using an edge incident with v i+1 for some v i S. This gives a realization of π in which V (H) {v i+1 } is a collection of at leat t independent vertices. Thus, we can assume that m 2s l, and by using each of these m 2s edges of the cycle to eliminate an edge of H, we conclude that there is a realization of π with an independent set of size l + p + (m 2s). So either
9 RAMSEYTYPE NUMBERS FOR DEGREE SEQUENCES 9 π (C n, K t ) or (1) l + p + m 2s t 1. Now, let S + = {v i+1 v i S}, and suppose first that there is some v S + and z V (H) such that v z and d H (z) = 0. Then, for any edge xy in H we could exchange the edges vz and xy for the nonedges to vx and zy. This results in x having consecutive neighbors on C, a contradiction to the maximality of m. We also claim that S + forms an independent set in G. If not, then there are adjacent vertices v i+1 and v j+1 in S +, which implies that for any edge xy in H, v i xyv j v j 1 v i+1 v j+1 v j+2 v i is an (m + 2)cycle in G, a contradiction. Thus, S + along with the p isolates in H and one vertex from each edge in H comprise an independent set in G. Thus, either π (C n, K t ) or (2) l + p + s t 1. Summing (1) and (2) gives 2l + 2p + m s 2t 2. Now, since 2l + p = V (H) = n + t 2 m, we have (n s) + p t. Note that s m n 1, and hence +1 + p t, contradicting t and completing the proof. Theorem 4.2. For t and n 4 with t >, n r pot (C n, K t ) = 2t 2 +. Proof. The lower bound stems from Theorem 2.2 and/or consideration of π(k ( n 1) (t 1)K 2 ), which is unigraphic. To show the reverse inequality, let π = (d 1,..., d k ) be graphic with k = 2t 2 + n. If no realization of π contains a cycle, then every realization of π is bipartite, and hence has an independent set of size at least t. Thus, we can assume that some realization of π contains a cycle. Obviously, if G contains a cycle of length n, there is nothing to prove, so we assume that no cycle in any realization of π has length n. Due to the similarities between this proof and that of Theorem 4.1, we only sketch the following cases, which suffice to complete the proof. Case 1: Some realization G of π contains a cycle of length n + 1. Let C = v 1 v 2 v n v n+1 v 1 be a cycle of length n+1 in G. Just as in our proof of Theorem 4.1, this requires that d(x) = 0 for every x V (G) V (C). Then either v 1 v and v 1 v v 4 v n+1 v 1 is a cycle of length n, or V (G) {v 2, v 4,..., v n+1 } is a set of k (n 1) = 2t 1 t indpendent vertices. Case 2: Some realization G of π contains a cycle v 1 v 2 v n+2 v 1. Again, the aguments in Case 2 of Theorem 4.1 imply that G = C n+2 K k n 2 and since n 4, this graph has an indpendent set of size at least k n + 1 t. Case : Some realization of π has circumference m > n + 2. The proof is identical to the proof of Case of Theorem 4.1. Case 4: Every realization of π has circumference m n 1.
10 10 Let G be a realization of π containing a longest cycle C = v 1 v 2... v m with m n 1 and suppose that G has the maximum circumference amongst all realizations of π. Let H be the subgraph of G induced by V (G) V (C) and note that H has order at least k (n 1) t so that H contains at least one edge. Following the argumentation in the proof of Theorem 4.1 we conclude that H = lk 2 pk 1 for some integers p and l. Proceeding in the same manner, we define the set S = {v i v i x E(G) for some vertex x with deg H (x) = 1}. and note that v i S implies that none of v i±1, v i±2 S. Thus, the graph V (C) S has at least m 2 S edges and each edge of this graph can be paired with an edge of H. Replacing these edges with two vertex disjoint nonedges in the induced 2K 2 gives a realization of π with one fewer edge in the graph induced by V (H). Thus, we have some realization of π with an independent set of size at least l+p+m 2 S, so either π (C n, K t ) or l + p + m 2s t 1. Since V (H) = 2l + p = 2t 2 + m, we must have 2(l + p + m 2 S ) 2t 2 (2t 2 + p + V (H) + p + m 2 S 2t 2 m) + p + m 2 S 2t 2 m S p + An easy case analysis then shows that the left hand side is strictly positive except when p = 0, m = n 1, S = m and n 1 (mod ). However, this in turn requires k = 2t 2 + n+2 +1, and V (H) = 2l = 2t. As n 1 (mod ), +1 is odd, a contradiction which completes the proof. The techniques developed in the proofs of Theorems 4.1 and 4.2 also allow us to determine r pot (P n, K t ). In fact, r pot (P n, K t ) and r pot (C n, K t ) differ by at most one. Note, however, that r(p n, K t ) = (n 1)(t 1) + 1 [18], which is the conjectured value for r(c n, K t ) for all n t. Theorem 4.. For n 6 and t, n + t 2, r pot (P n, K t ) = if t, 2t 2 + n, if t >. Proof. When t, we note that rpot (P n, K t ) r pot (C n, K t ) = n + t 2, and equality is established via Corollary 2. and/or by observing that K n 1 K t 2 contains neither P n nor K t. Therefore, we may assume t >. Theorem 2.2 establishes that rpot (P n, K t ) 2t 2 + n and if n 0 (mod ), we observe that rpot (P n, K t ) r pot (C n, K t ) = 2t 2 + n, establishing the result. Finally, for n 0 (mod ), we note that by Theorem 4.1, every degree sequence π with k 2t 2 + n terms has a realization G which contains either a subgraph isomorphic to C n 2 or an independent set of cardinality t. If the latter, π (P n, K t ), and if the former, we note that there are at least 2t 2 + n (n 2) = 2t t vertices in V (G) V (C n 2). Since we are assuming α(g) < t, there is
11 RAMSEYTYPE NUMBERS FOR DEGREE SEQUENCES 11 at least one edge xy E(G) with x, y / V (C n 2 ). Now, without loss of generality, either vx E(G) and G contains a subgraph isomorphic to P n, or we can select any edge v i v i+1 E(C n 2 ) and exchange the edges v i v i+1 and xy with the nonedges v i x and v i+1 y to obtain a realization of π which contains a path of order n. 5. Conclusion Our results in this paper deal only with a 2color Ramseytype parameter for degree sequences; we are also able to define a multicolored version of r pot. Let π i,..., π k be graphic sequences, with π i = (d (i) 1,..., d(i) n ) for all i (they need not be monotone). Then, as defined in [1], π 1,..., π k pack if there exist edgedisjoint graphs G 1,..., G k, all with vertex set {v 1,..., v n }, such that for each i, and d Gi (v j ) = d (i) j d G1 G k (v j ) = n i=1 d (i) j. In traditional graph packing, the vertex sets of the graphs in question may be permuted prior to their embedding into K n. Note that when packing degree sequences, the ordering of the terms in π 1,..., π k remains fixed. With this definition in mind, we define r pot (G 1,..., G k ) to be the smallest integer n such that for any collection of nterm graphic sequences π 1,..., π k that sum, termwise, to n 1 and pack, there exist edge disjoint graphs F 1,..., F k all with vertex set {v 1,..., v n }, such that d Fi (v j ) = d (i) j for all i, j and also that F i contains G i as a subgraph for some i. As is the case with the twocolor version, the multicolor potentialramsey number is bounded from above by the classical Ramsey number, but the added challenges inherent in degree sequence packing make the determination of r pot (G 1,..., G k ) for k both interesting and significantly more difficult than the k = 2 case. References [1] Arthur H. Busch, Michael J. Ferrara, Stephen G. Hartke, Michael S. Jacobson, Hemanshu Kaul, and Douglas B. West. Packing of graphic ntuples. Journal of Graph Theory, pages n/a n/a, [2] Z. Dvorak and B. Mohar. Chromatic number and complete graph substructures for degree sequences. Arxiv preprint arxiv: , [] P. Erdős, R. J. Faudree, C. C. Rousseau, and R. H. Schelp. On cyclecomplete graph Ramsey numbers. J. Graph Theory, 2(1):5 64, [4] P. Erdös, M. S. Jacobson, and J. Lehel. Graphs realizing the same degree sequences and their respective clique numbers. In Graph theory, combinatorics, and applications, Vol. 1 (Kalamazoo, MI, 1988), WileyIntersci. Publ., pages Wiley, New York, [5] Paul Erdős and Tibor Gallai. Graphs with prescribed degrees of vertices (hungarian). Mat. Lapok, 11: , [6] R. J. Faudree and R. H. Schelp. Some problems in Ramsey theory. In Theory and applications of graphs (Proc. Internat. Conf., Western Mich. Univ., Kalamazoo, Mich., 1976), volume 642 of Lecture Notes in Math., pages Springer, Berlin, [7] Michael J. Ferrara and John Schmitt. A general lower bound for potentially Hgraphic sequences. SIAM J. Discrete Math., 2(1): , 2008/09.
12 12 [8] John Frederick Fink and Michael S. Jacobson. On ndomination, ndependence and forbidden subgraphs. In Graph theory with applications to algorithms and computer science (Kalamazoo, Mich., 1984), WileyIntersci. Publ., pages Wiley, New York, [9] L. Gerencsér and A. Gyárfás. On Ramseytype problems. Ann. Univ. Sci. Budapest. Eötvös Sect. Math., 10: , [10] S. Hakimi and Edward Schmeichel. Graphs and their degree sequences: A survey. In Yousef Alavi and Don Lick, editors, Theory and Applications of Graphs, volume 642 of Lecture Notes in Mathematics, pages Springer Berlin / Heidelberg, /BFb [11] S. L. Hakimi. On realizability of a set of integers as degrees of the vertices of a linear graph. I. J. Soc. Indust. Appl. Math., 10: , [12] Frank Harary. Recent results on generalized Ramsey theory for graphs. In Graph theory and applications (Proc. Conf., Western Michigan Univ., Kalamazoo, Mich., 1972; dedicated to the memory of J. W. T. Youngs), pages Lecture Notes in Math., Vol. 0. Springer, Berlin, [1] Václav Havel. Eine Bemerkung über die Existenz der endlichen Graphen. Časopis Pěst. Mat., 80: , [14] Chunhui Lai. An extremal problem on potentially K p,1,1 graphic sequences. Discrete Math. Theor. Comput. Sci., 7(1):75 79 (electronic), [15] JiongSheng Li and ZiXia Song. The smallest degree sum that yields potentially P k graphical sequences. J. Graph Theory, 29(2):6 72, [16] Rong Luo. On potentially C k graphic sequences. Ars Combin., 64:01 18, [17] V. Nikiforov. The cyclecomplete graph Ramsey numbers. Combin. Probab. Comput., 14():49 70, [18] T. D. Parsons. The Ramsey numbers r(p m, K n). Discrete Math., 6: , 197. [19] Stanis law P. Radziszowski. Small Ramsey numbers. Electron. J. Combin., 1:Dynamic Survey 1, 0 pp. (electronic), [20] A. R. Rao. The clique number of a graph with a given degree sequence. In Proceedings of the Symposium on Graph Theory (Indian Statist. Inst., Calcutta, 1976), volume 4 of ISI Lecture Notes, pages , New Delhi, Macmillan of India. [21] S. B. Rao. A survey of the theory of potentially P graphic and forcibly P graphic degree sequences. In Combinatorics and graph theory (Calcutta, 1980), volume 885 of Lecture Notes in Math., pages Springer, Berlin, [22] Neil Robertson and ZiXia Song. Hadwiger number and chromatic number for near regular degree sequences. J. Graph Theory, 64():175 18, [2] JianHua Yin and JiongSheng Li. Two sufficient conditions for a graphic sequence to have a realization with prescribed clique size. Discrete Math., 01(2): , [24] Jian Hua Yin and Jiong Sheng Li. A variation of a conjecture due to Erdős and Sós. Acta Math. Sin. (Engl. Ser.), 25(5): , [25] JianHua Yin, JiongSheng Li, and GuoLiang Chen. A variation of a classical Turántype extremal problem. European J. Combin., 25(7): , 2004.
On the Sum Necessary to Ensure that a Degree Sequence is Potentially HGraphic
On the Sum Necessary to Ensure that a Degree Sequence is Potentially HGraphic Michael J. Ferrara 1,2 Timothy D. LeSaulnier 3 Casey K. Moffatt 1 Paul S. Wenger 4 September 2, 2014 Abstract Given a graph
More informationSome Problems on Graphic Sequences
Some Problems on Graphic Sequences Michael Ferrara 1 Department of Mathematical and Statistical Sciences University of Colorado Denver Denver, CO 80217 michael.ferrara@ucdenver.edu Dedicated to Charles
More informationRamsey numbers for bipartite graphs with small bandwidth
Ramsey numbers for bipartite graphs with small bandwidth Guilherme O. Mota 1,, Gábor N. Sárközy 2,, Mathias Schacht 3,, and Anusch Taraz 4, 1 Instituto de Matemática e Estatística, Universidade de São
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 informationA 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
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 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 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 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 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 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 informationTotal colorings of planar graphs with small maximum degree
Total colorings of planar graphs with small maximum degree Bing Wang 1,, JianLiang Wu, SiFeng Tian 1 Department of Mathematics, Zaozhuang University, Shandong, 77160, China School of Mathematics, Shandong
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 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 informationCycles and cliqueminors in expanders
Cycles and cliqueminors in expanders Benny Sudakov UCLA and Princeton University Expanders Definition: The vertex boundary of a subset X of a graph G: X = { all vertices in G\X with at least one neighbor
More informationGeneralized Induced Factor Problems
Egerváry Research Group on Combinatorial Optimization Technical reports TR200207. 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.
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 informationCOMBINATORIAL PROPERTIES OF THE HIGMANSIMS GRAPH. 1. Introduction
COMBINATORIAL PROPERTIES OF THE HIGMANSIMS GRAPH ZACHARY ABEL 1. Introduction In this survey we discuss properties of the HigmanSims graph, which has 100 vertices, 1100 edges, and is 22 regular. In fact
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 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 informationAn inequality for the group chromatic number of a graph
An inequality for the group chromatic number of a graph HongJian Lai 1, Xiangwen Li 2 and Gexin Yu 3 1 Department of Mathematics, West Virginia University Morgantown, WV 26505 USA 2 Department of Mathematics
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 informationOdd induced subgraphs in graphs of maximum degree three
Odd induced subgraphs in graphs of maximum degree three David M. Berman, Hong Wang, and Larry Wargo Department of Mathematics University of New Orleans New Orleans, Louisiana, USA 70148 Abstract A longstanding
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 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 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 informationUPPER 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
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 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 informationOn Maximal Energy of Trees with Fixed Weight Sequence
MATCH Communications in Mathematical and in Computer Chemistry MATCH Commun. Math. Comput. Chem. 75 (2016) 267278 ISSN 03406253 On Maximal Energy of Trees with Fixed Weight Sequence Shicai Gong 1,,,
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 informationPartitioning 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 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 informationColoring 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@unilj.si Abstract A simple characterization
More informationAn inequality for the group chromatic number of a graph
Discrete Mathematics 307 (2007) 3076 3080 www.elsevier.com/locate/disc Note An inequality for the group chromatic number of a graph HongJian Lai a, Xiangwen Li b,,1, Gexin Yu c a Department of Mathematics,
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 informationOn end degrees and infinite cycles in locally finite graphs
On end degrees and infinite cycles in locally finite graphs Henning Bruhn Maya Stein Abstract We introduce a natural extension of the vertex degree to ends. For the cycle space C(G) as proposed by Diestel
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 informationMDegrees of QuadrangleFree Planar Graphs
MDegrees of QuadrangleFree Planar Graphs Oleg V. Borodin, 1 Alexandr V. Kostochka, 1,2 Naeem N. Sheikh, 2 and Gexin Yu 3 1 SOBOLEV INSTITUTE OF MATHEMATICS NOVOSIBIRSK 630090, RUSSIA Email: brdnoleg@math.nsc.ru
More informationThe Independence Number in Graphs of Maximum Degree Three
The Independence Number in Graphs of Maximum Degree Three Jochen Harant 1 Michael A. Henning 2 Dieter Rautenbach 1 and Ingo Schiermeyer 3 1 Institut für Mathematik, TU Ilmenau, Postfach 100565, D98684
More informationOn the kpath cover problem for cacti
On the kpath 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
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 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 informationCacti with minimum, secondminimum, and thirdminimum Kirchhoff indices
MATHEMATICAL COMMUNICATIONS 47 Math. Commun., Vol. 15, No. 2, pp. 4758 (2010) Cacti with minimum, secondminimum, and thirdminimum Kirchhoff indices Hongzhuan Wang 1, Hongbo Hua 1, and Dongdong Wang
More informationNonSeparable Detachments of Graphs
Egerváry Research Group on Combinatorial Optimization Technical reports TR200112. 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.
More informationA REMARK ON ALMOST MOORE DIGRAPHS OF DEGREE THREE. 1. Introduction and Preliminaries
Acta Math. Univ. Comenianae Vol. LXVI, 2(1997), pp. 285 291 285 A REMARK ON ALMOST MOORE DIGRAPHS OF DEGREE THREE E. T. BASKORO, M. MILLER and J. ŠIRÁŇ Abstract. It is well known that Moore digraphs do
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 informationTenacity and rupture degree of permutation graphs of complete bipartite graphs
Tenacity and rupture degree of permutation graphs of complete bipartite graphs Fengwei Li, Qingfang Ye and Xueliang Li Department of mathematics, Shaoxing University, Shaoxing Zhejiang 312000, P.R. China
More informationMinimum degree condition forcing complete graph immersion
Minimum degree condition forcing complete graph immersion Matt DeVos Department of Mathematics Simon Fraser University Burnaby, B.C. V5A 1S6 Jacob Fox Department of Mathematics MIT Cambridge, MA 02139
More informationCycle 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.
More informationA Study of Sufficient Conditions for Hamiltonian Cycles
DeLeon 1 A Study of Sufficient Conditions for Hamiltonian Cycles Melissa DeLeon Department of Mathematics and Computer Science Seton Hall University South Orange, New Jersey 07079, U.S.A. ABSTRACT A graph
More informationDegree 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
More informationA NOTE ON OFFDIAGONAL SMALL ONLINE RAMSEY NUMBERS FOR PATHS
A NOTE ON OFFDIAGONAL SMALL ONLINE RAMSEY NUMBERS FOR PATHS PAWE L PRA LAT Abstract. In this note we consider the online Ramsey numbers R(P n, P m ) for paths. Using a high performance computing clusters,
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 informationOn an antiramsey type result
On an antiramsey type result Noga Alon, Hanno Lefmann and Vojtĕch Rödl Abstract We consider antiramsey type results. For a given coloring of the kelement subsets of an nelement set X, where two kelement
More informationOnline Ramsey Theory for Bounded Degree Graphs
Online Ramsey Theory for Bounded Degree Graphs Jane Butterfield Tracy Grauman William B. Kinnersley Kevin G. Milans Christopher Stocker Douglas B. West University of Illinois Urbana IL, U.S.A. Submitted:
More informationStrong Ramsey Games: Drawing on an infinite board
Strong Ramsey Games: Drawing on an infinite board Dan Hefetz Christopher Kusch Lothar Narins Alexey Pokrovskiy Clément Requilé Amir Sarid arxiv:1605.05443v2 [math.co] 25 May 2016 May 26, 2016 Abstract
More informationRAMSEY FOR COMPLETE GRAPHS WITH DROPPED CLIQUES
RAMSEY FOR COMPLETE GRAPHS WITH DROPPED CLIQUES JONATHAN CHAPPELON, LUIS PEDRO MONTEJANO, AND JORGE LUIS RAMÍREZ ALFONSÍN Abstract Let K [k,t] be the complete graph on k vertices from which a set of edges,
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 informationON DEGREES IN THE HASSE DIAGRAM OF THE STRONG BRUHAT ORDER
Séminaire Lotharingien de Combinatoire 53 (2006), Article B53g ON DEGREES IN THE HASSE DIAGRAM OF THE STRONG BRUHAT ORDER RON M. ADIN AND YUVAL ROICHMAN Abstract. For a permutation π in the symmetric group
More informationDegreeassociated reconstruction parameters of complete multipartite graphs and their complements
Degreeassociated reconstruction parameters of complete multipartite graphs and their complements Meijie Ma, Huangping Shi, Hannah Spinoza, Douglas B. West January 23, 2014 Abstract Avertexdeleted subgraphofagraphgisacard.
More informationGraph Isomorphism Completeness for Perfect Graphs and Subclasses of Perfect Graphs
Graph Isomorphism Completeness for Perfect Graphs and Subclasses of Perfect Graphs C. Boucher D. Loker May 2006 Abstract A problem is said to be GIcomplete if it is provably as hard as graph isomorphism;
More informationDefinition 11.1. Given a graph G on n vertices, we define the following quantities:
Lecture 11 The Lovász ϑ Function 11.1 Perfect graphs We begin with some background on perfect graphs. graphs. First, we define some quantities on Definition 11.1. Given a graph G on n vertices, we define
More informationOn the independence number of graphs with maximum degree 3
On the independence number of graphs with maximum degree 3 Iyad A. Kanj Fenghui Zhang Abstract Let G be an undirected graph with maximum degree at most 3 such that G does not contain any of the three graphs
More informationSparse halves in dense trianglefree graphs
Sparse halves in dense trianglefree graphs Sergey Norin a,1 Liana E. Yepremyan b, a Department of Mathematics and Statistics McGill University Montréal, Canada b School of Computer Science McGill University
More informationStationary random graphs on Z with prescribed iid degrees and finite mean connections
Stationary random graphs on Z with prescribed iid degrees and finite mean connections Maria Deijfen Johan Jonasson February 2006 Abstract Let F be a probability distribution with support on the nonnegative
More informationThe Open University s repository of research publications and other research outputs
Open Research Online The Open University s repository of research publications and other research outputs The degreediameter problem for circulant graphs of degree 8 and 9 Journal Article How to cite:
More informationFinding and counting given length cycles
Finding and counting given length cycles Noga Alon Raphael Yuster Uri Zwick Abstract We present an assortment of methods for finding and counting simple cycles of a given length in directed and undirected
More informationOn three zerosum Ramseytype problems
On three zerosum Ramseytype 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
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 informationCONTRIBUTIONS TO ZERO SUM PROBLEMS
CONTRIBUTIONS TO ZERO SUM PROBLEMS S. D. ADHIKARI, Y. G. CHEN, J. B. FRIEDLANDER, S. V. KONYAGIN AND F. PAPPALARDI Abstract. A prototype of zero sum theorems, the well known theorem of Erdős, Ginzburg
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 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 informationP. Jeyanthi and N. Angel Benseera
Opuscula Math. 34, no. 1 (014), 115 1 http://dx.doi.org/10.7494/opmath.014.34.1.115 Opuscula Mathematica A TOTALLY MAGIC CORDIAL LABELING OF ONEPOINT UNION OF n COPIES OF A GRAPH P. Jeyanthi and N. Angel
More informationExtremal Wiener Index of Trees with All Degrees Odd
MATCH Communications in Mathematical and in Computer Chemistry MATCH Commun. Math. Comput. Chem. 70 (2013) 287292 ISSN 03406253 Extremal Wiener Index of Trees with All Degrees Odd Hong Lin School of
More informationOn 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 NeumannLara b, Eduardo RiveraCampo c;1 a Center for Combinatorics,
More informationOn 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
More informationDivisor 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
More informationOnline Degree Ramsey Theory
UofL Discrete Math Workshop 2008 1 Online Degree Ramsey Theory posed by Illinois REGS (2007) problem 1 presented by Lesley Wiglesworth LATEX byadamjobson For a family of graphs F closed under subgraphs,
More informationComputer Science Department. Technion  IIT, Haifa, Israel. Itai and Rodeh [IR] have proved that for any 2connected graph G and any vertex s G there
 1  THREE TREEPATHS Avram Zehavi Alon Itai Computer Science Department Technion  IIT, Haifa, Israel Abstract Itai and Rodeh [IR] have proved that for any 2connected graph G and any vertex s G there
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 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 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 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 informationGraph Classification and Easy Reliability Polynomials
Mathematical Assoc. of America American Mathematical Monthly 121:1 November 18, 2014 1:11 a.m. AMM.tex page 1 Graph Classification and Easy Reliability Polynomials Pablo Romero and Gerardo Rubino Abstract.
More informationOn Some Vertex Degree Based Graph Invariants
MATCH Communications in Mathematical and in Computer Chemistry MATCH Commun. Math. Comput. Chem. 65 (20) 723730 ISSN 03406253 On Some Vertex Degree Based Graph Invariants Batmend Horoldagva a and Ivan
More informationFALSE ALARMS IN FAULTTOLERANT DOMINATING SETS IN GRAPHS. Mateusz Nikodem
Opuscula Mathematica Vol. 32 No. 4 2012 http://dx.doi.org/10.7494/opmath.2012.32.4.751 FALSE ALARMS IN FAULTTOLERANT DOMINATING SETS IN GRAPHS Mateusz Nikodem Abstract. We develop the problem of faulttolerant
More informationSplit Nonthreshold Laplacian Integral Graphs
Split Nonthreshold Laplacian Integral Graphs Stephen Kirkland University of Regina, Canada kirkland@math.uregina.ca Maria Aguieiras Alvarez de Freitas Federal University of Rio de Janeiro, Brazil maguieiras@im.ufrj.br
More informationA graphical characterization of the group Co 2
A graphical characterization of the group Co 2 Hans Cuypers Department of Mathematics Eindhoven University of Technology Postbox 513, 5600 MB Eindhoven The Netherlands 18 September 1992 Abstract In this
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 informationON INTEGERS EXPRESSIBLE BY SOME SPECIAL LINEAR FORM
Acta Math. Univ. Comenianae Vol. LXXXI, (01), pp. 03 09 03 ON INTEGERS EXPRESSIBLE BY SOME SPECIAL LINEAR FORM A. DUBICKAS and A. NOVIKAS Abstract. Let E(4) be the set of positive integers expressible
More informationOnline Ramsey numbers
Online Ramsey numbers David Conlon Abstract Consider the following game between two players, Builder and Painter Builder draws edges one at a time and Painter colours them, in either red or blue, as each
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 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 informationTools for parsimonious edgecolouring of graphs with maximum degree three. J.L. Fouquet and J.M. Vanherpe. Rapport n o RR201010
Tools for parsimonious edgecolouring of graphs with maximum degree three J.L. Fouquet and J.M. Vanherpe LIFO, Université d Orléans Rapport n o RR201010 Tools for parsimonious edgecolouring of graphs
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 informationHOMEWORK #3 SOLUTIONS  MATH 3260
HOMEWORK #3 SOLUTIONS  MATH 3260 ASSIGNED: FEBRUARY 26, 2003 DUE: MARCH 12, 2003 AT 2:30PM (1) Show either that each of the following graphs are planar by drawing them in a way that the vertices do not
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 informationThe 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
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 information