Transcription

1 Game Chromatic Index of Graphs with Given Restrictions on Degrees Andrew Beveridge Department of Mathematics and Computer Science Macalester College St. Paul, MN Tom Bohman, Alan Frieze, and Oleg Pikhurko Department of Mathematical Sciences Carnegie Mellon University Pittsburgh, PA 1513 Abstract Given a graph G and an integer k, two players alternatively color the edges of G using k colors so that adjacent edges get different colors. The game chromatic index χ g(g) is the minimum k for which the first player has a strategy that ensures that all edges of G get colored. The trivial bounds are (G) χ g(g) (G) 1, where (G) denote the maximal degree of G. Lam, Shiu, and Xu and, independently, Bartnicki and Grytczuk asked whether there is a constant C such that χ g(g) (G) + C for every graph G. We show that the answer is in the negative by constructing graphs G such that χ g(g) (G) and (G). On the other hand, we show that for every µ > 0 there is ε > 0 such that for any graph G with (G) (1/ + µ)v(g) we have χ g(g) ( ε) (G). Keywords: Edge coloring of graphs, game chromatic index, games on graphs, random strategies Research supported in part by NSF grant DMS Research supported in part by NSF grant CCR Research supported in part by NSF grant DMS

2 1 Introduction Let a graph G and a positive integer k be given. Two players, called Alice and Bob, alternatively color a previously uncolored edge of G in one of the colors from [k] = {1,...,k} so that no two adjacent edges have the same color. Thus, at any moment of the game, the current partial coloring of E(G) is a proper edge coloring. The game can end in two different ways. Either all edges of G are colored (and then Alice is the winner) or the uncolored edge picked by a player cannot be properly colored (and then Bob wins). Let us agree that Alice starts the game. (In fact, all theorems stated in this paper will remain valid for the version where we let Bob start the game.) The game chromatic index χ g(g) is the smallest k such that Alice has a winning strategy. This parameter has been previously studied by Lam, Shiu and Xu [9], Cai and Zhu [6], Erdős, Faigle, Hochstättler, and Kern [8], Andres [1], Bartnicki and Grytczuk [], and others. This is a variation of the game chromatic number which is analogously defined for the game where nodes (not edges) are colored. The latter parameter is much better studied; we refer the reader to Bohman, Frieze, and Sudakov [5] for some history and references on the game chromatic number. The trivial bounds on the game chromatic index are where (G) denotes the maximal degree of G. (G) χ g (G) (G) 1, (1) Unfortunately, the game chromatic index seems hard to analyze. For example, a player s move can easily harm that player later in the game. Also, it is not clear if there is any useful potential function that measures a player s progress. Therefore, we settle for the modest task of getting a constant factor improvement over the trivial bounds (1) when (G) is large. Lam, Shiu and Xu [9, Question 1] and, independently, Bartnicki and Grytczuk [, Problem 1] asked whether there is a constant C such that χ g (G) (G) + C for an arbitrary graph G. In Section we show that the answer to this question is in the negative. Namely, we construct, for every sufficiently large d, a graph G with (G) d and χ g(g) d. On the other hand, the lower bound in (1) is attainable for some graphs. A trivial example is G = K 1,d. However, we believe that large minimal degree δ(g) will force χ g (G) to be well above δ(g). Namely, we make the following conjecture.

3 Conjecture 1 There are ε > 0 and d 0 such that any graph G with δ(g) d 0 satisfies χ g (G) (1 + ε)δ(g). Of course, the conclusion of Conjecture 1 is interesting only when (G) < (1+ε)δ(G), that is, when all degrees are fairly close to each other. From the other direction, we show in Section 3 that for any µ > 0 there is ε > 0 such that any graph G with (G) (1/ + µ)v(g) satisfies χ g(g) < ( ε) (G). (Here, v(g) denotes the number of vertices of G.) Surprisingly, this is done by letting Alice play randomly, see Section 3 for details. While probabilistic intuition and reasoning often help in the analysis of combinatorial games, see e.g. Beck [3], there are not many examples where non-trivial results are obtained by actually introducing randomness into a player s strategy. Such examples were discovered by Spencer [11], Bednarska and Luczak [4], Pluhár [10], and others. Our proof of the upper bound fits into this category. The restriction (G) (1/ + µ)v(g) in the above result is needed in order to make our proof work. We do not believe that there is anything special about the constant 1/ here. We conjecture that a much stronger claim is true. Conjecture There is ε > 0 such that for an arbitrary graph G we have χ g (G) ( ε) (G). Lower Bounds Theorem 3 For every sufficiently large integer d, there is a graph G with maximum degree at most d such that χ g (G) > d. Proof. Let β = 4/7, α = 1 β, and λ = 1/5. Let d be sufficiently large and let n = d/β 3d /3. We define a graph G of order n and maximum degree at most d as follows. Take two disjoint sets A and B of sizes αn and βn respectively. The vertex set of G is A B. Put a complete bipartite graph between A and B. Let A be an independent set. Let G[B], the subgraph of G induced by B, be a random graph with each pair of B being an edge with probability p = 1 α/β, independently of the other pairs. Let the acronym whp (with high probability) mean with probability 1 o(1) as n. 3

4 By the Chernoff bound [7], whp the G-degree of every x V (G), satisfies d(x) βn n /3. In particular, the maximal degree of G is at most d. Also, whp every subset X of B spans at least p ( ) X n 5/3 edges. (Indeed, any fixed X violates this inequality with probability o( n ) by the Chernoff bound.) Fix any G[B] that satisfies these two conditions. Let k 1.008d be an arbitrary integer and let κ = k/n. In order to prove Theorem 3 we have to show that Bob has a winning strategy for the pair (G,k). By (1), it is enough to consider only those k that are at least (G). At the start of the game, Bob picks some l = λn special colors, say 1,...,l [k]. (Note that the assumption k (G) implies that l k.) His strategy consists of two stages. At each round of Stage 1, Bob tries to color some (arbitrary) edge inside B with one of the special colors. If this is impossible (that is, the endpoints of every uncolored edge of G[B] see all special colors between the two of them), then Stage 1 is over. In Stage Bob plays arbitrarily. Let us show that Bob necessarily wins. Suppose on the contrary that all edges of G get colored by the end of the game. Let Stage 1 have τn rounds. Suppose that Alice plays τ B n times inside B (and (τ τ B )n times between A and B). Let us analyze the moment when Stage 1 ends. Take any special color i [l]. Let X i A B be the set of vertices that are adjacent to an edge of color i. Let µ i = B \ X i /n. We have ( ) µi n p n 5/3 = ( ) pµ i + o(1) n τ B n + lµ in. () Indeed, every edge of G[B \ X i ], at least p ( µ i ) n n 5/3 edges by our choice of G[B], must be colored. On the other hand, Bob can color at most lµ i n/ edges of G[B \ X i ] because he uses only the l special colors in Stage 1 (and each color class is a matching). Inequality (), which is quadratic in µ i, implies that µ i λ + λ + 8pτ B p + o(1). (3) Also, we have τ B n l ( X i B 3 X i A ). (4) i=1 4

5 Indeed, Bob increases σ = l i=1 ( X i B 3 X i A ) by in each his move in Stage 1. If Alice uses a special color on a G[A,B]-edge, then σ does not change in this round. If Alice does something else, which happens at least τ B n times, then σ increases by at least during the round. For i [l], let Y i be the set of vertices covered by the edges of Color i after the game ends. Let µn = l i=1 µ in. At most µn edges can be colored with special colors in Stage, because an edge colored i [l] in Stage must intersect B \ X i. (Recall that A is an independent set in G.) Thus we have l ( Y i B 3 Y i A ) i=1 l ( X i B 3 X i A ) µn. (5) i=1 The total number of edges of special colors at the end of the game is, by (4) and (5), 1 l Y i = 1 i=1 3 l ( Y i A + Y i B ) i=1 l i=1 Y i B τ B µ 3 n λβ 3 n τ B µ n. 3 Each of the remaining k l colors is used on at most n/ edges. Since the total number of edges of G is (β/ + o(1))n, we have λβ 3 + µ 3 τ B 3 + κ λ β + o(1). Re-arranging and using the definition of µ and Inequality (3), we obtain κ β + o(1) 1 + τ B 3β 4λ 3 λ + λ λ + 8pτ B + λ 3pβ β. (6) By taking the derivative with respect to τ B of the right-hand side of (6), one can conclude that the minimum over all real τ B is attained when τ B = 3λ /(8p). Substituting this into (6) and using the known values of the constants, we obtain that κ o(1) > (7) β 3750 This contradiction shows that Bob wins, finishing the proof of Theorem 3. Remark. In order to have a rigorous proof of Theorem 3 checkable by hand, we used rational numbers for all fixed constants. These choices are not optimal (given the stated 5

6 inequalities) but are good rational approximations of such. In particular, the bound (7) can be slightly improved. Further improvements can be obtained by using more sophisticated strategies for Bob in Stage 1. Unfortunately, the analysis becomes too messy while the new bounds seem still to be very close to 1. Therefore we settled for the current version. 3 Upper Bounds Here we are going to prove the upper bound on χ g promised in the Introduction. Our result will be stronger if we give Bob the freedom to skip moves. Namely, we consider the following new game, studied by Andres [1]. Let G and k be given. Bob and Alice alternatively make moves. Bob starts. In his move, Bob can either properly color an uncolored edge or skip (that is, not color any edge at all). Alice, however, always has to properly color an uncolored edge. As in the old version, any moment of the game gives a partial proper coloring of E(G) and Alice wins if the whole graph is colored at the end. Let the upper game chromatic number χ u (G) be the smallest k such that Alice has a winning strategy. Since Bob is allowed to miss his first turn, we have χ g(g) χ u(g) for any graph G. Here we prove the following upper bound on χ u (G). Theorem 4 For every µ > 0 there is ε > 0 such that any graph G with (G) (1/ + µ)v(g) satisfies χ u(g) ( ε) (G). (8) The rest of Section 3 is dedicated to proving Theorem 4. Let us first specify some notation we are going to use. We abbreviate an unordered pair {x,y} as xy. Suppose that we fix the players strategies and observe the game. Let us agree that we immediately stop the game if there is an uncolored edge incident to all colors. (Then no player will be able to color it and Bob automatically wins.) A round consists of a move of Bob (possibly skipped) followed by a move of Alice. Let A r and B r denote the sets of edges colored by Alice and Bob respectively after the initial r rounds. If the game ended earlier, before r full rounds were completed, let A r and B r denote the final edge-sets colored by Alice and Bob respectively. 6

7 Let C r = A r B r consist of the colored edges after Round r. Let c : E(G) [k] be the (possibly partial) coloring constructed at the end of the game. Let C r be the set of colored edges before Alice s move in Round r. For a vertex x of G, let C r (x) be the set of the colors of the C r -edges incident to x: C r (x) = {c(xy) : xy C r }. The sets A r (x), B r (x), and C r(x) are defined analogously. Proof of Theorem 4. We will use various positive constants, whose dependences are as follows µ c 1 c c 3 c 4 c 5 ε > 0, where a b means that b is sufficiently small depending on a. It is enough to prove Theorem 4 for all sufficiently large n. Indeed, for any order-n graph G we have (G) n and χ u(g) (G) 1 ( 1/n) (G); thus the theorem becomes valid for every n n 0 if ε is reduced below 1/n 0. Let n be sufficiently large. Let the asymptotic notation, like O(1), refer to the case that n while µ, c 1, etc, are fixed. Let G be an arbitrary graph of order n and maximum degree d ( 1 + µ)n. Let k = ( ε)d. Here is the strategy of Alice. She makes two types of moves: R-moves (or random moves) and S-moves (or set moves). If Bob skipped his move, then Alice makes an R-move. An R-move consists of selecting an uncolored edge, uniformly at random from all uncolored edges of G. (The coloring rule, which is the same for both R-moves and S-moves, will be described shortly.) If Bob selected an edge xy in the previous move, then Alice throws a biased coin. With probability 1 c 1, she makes an R-move. With probability c 1 /, she picks a random uncolored edge at x. (If all edges at x have already been colored, then Alice makes an R-move instead.) With probability c 1 /, she picks a random uncolored edge at y (or makes an R-move if all edges at y have already been colored). The rules for selecting Alice s edge uv are different for these two types of moves but the coloring rule is the same: the color c(uv) is chosen uniformly at random from all admissible colors (that is, from the set [k] \(C r(u) C r(v)), where r is the number of the current round). There is always at least one available color for the edge uv, for otherwise we would have already stopped the game and declared Bob to be the winner. Let R r and S r denote the sets of Alice s R-moves and S-moves respectively after r rounds. Thus, for 7

8 every r, A r = R r S r. Note that if Bob has a winning strategy, then (since this is a complete information game) Bob has a deterministic winning strategy. Hence, in order to prove the theorem, it is enough to show that, for any fixed (deterministic) strategy of Bob, this random strategy of Alice has non-negative probability of winning. So let us fix some strategy of Bob and let Alice play as above. Let D = {x V (G) : d(x) (1 ε)d}. Clearly, if we take an edge not entirely inside D, then at most d + (1 ε)d < k colors are forbidden, so this edge can always be colored. For x D let r(x) = min{r : C r (x) c d}. (9) Here is an informal description why Alice wins whp. We will show that whp every pair of vertices of D will share at least εd common colors before the game ends. Indeed, if this occurs, then Alice wins because every edge gets colored: the number of forbidden colors is at most (d 1) + (d 1) εd < k. In fact, we show that this event occurs early in the game, after at most r rounds, where r can be set to be, for example, 4c n. Since the set C r, containing at most r edges, is small, when Alice colors a random edge incident to a vertex x D in some Round i, the color of this edge is spread on almost all the set [k] \ C i(x). Hence, it is enough to show that whp each A r (x), x D is fairly large. To this end observe that if B r (x) is small, then R r (x) is large because then any R-move has a chance at least (d C r (x) )/ ( n ) to pick an edge at x; otherwise Sr (x) is large, being whp at least (c 1 /4) B r (x). This is why we need an occasional S-move: to prevent Bob from claiming almost all edges at some vertex x D. Let us present a rigorous proof. We define a family of bad events and establish the following two properties. Property I: the expected value of the sum of the indicator functions of bad events is o(1). Property II: if none of the bad events occurs then Alice necessarily wins. Then the theorem clearly follows. All our bad events will be split into a few families. For each family we immediately analyze Property I, leaving the proof of Property II until the very end. For the notational convenience, we identify each event with its indicator function. 8

9 3.1 The First Family Each event Bz,m,r 1 of this family is indexed by a triple (z,m,r), where z D and 0 r < m e(g). Informally speaking, if none of the events Bz,m,r 1 occurs, then the number of A-edges that hit a vertex z D at any interval of the game is not much smaller than the expected value, provided that the final degree of z is not too big. Here a formal definition of B 1 z,m,r. If the game ends before Round m, we set B 1 z,m,r = 0. So suppose that the game continues for at least m rounds. We set B 1 z,m,r = 0 if C m (z) 4c d or if Otherwise, we set B 1 z,m,r = 1. Let us show that A m (z) \ A r (z) (m r)( 4c 1) n z D 0 r<m e(g) c 5 n. (10) E(Bz,m,r 1 ) = o(1). (11) We fix z,m,r and estimate the probability of Bz,m,r 1. Consider a moment when Alice is about to make a move in Round i, with r < i m. Assume that z is currently incident to fewer than 4c d colored edges for otherwise we have C m (z) 4c d and B 1 z,m,r = 0. The probability of Alice s making an R-move is at least 1 c 1, whether or not Bob skipped his previous move. We have at least d(z) 4c d (1 ε 4c )d uncolored edges at z and at most dn/ edges in total. Hence, the probability of increasing the number of A-edges at z is at least (1 c 1 ) (1 ε 4c )d dn/ > 4c 1 n at each round. Hence, if we assume that C i (z) 4c d for each i [r + 1,m], then the left-hand side of (10) can be bounded from below by coupling with the (m r, p)-binomial variable. The Chernoff bound implies that the probability that (10) fails is exponentially small in n. Since the number of choices of the triple (z,m,r) is O(n 5 ), the inequality (11) follows. =: p 3. The Second Family Here we define the event B{x,y}, where x,y D, x y. Using our convention, we will abbreviate it as Bxy. Roughly speaking, we observe the game for the initial r rounds for some r. Suppose that x and y have not acquired at least εd common colors yet. 9

10 Furthermore, suppose that one of them (say x) is incident to at least c 3 d uncolored edges whose other endpoint does not see at least c 3 d of the colors appearing at y. Then it is very unlikely that, in next c 4 dn rounds, x gets almost none of the colors that were present at y at Round r. Here is a formal definition of Bxy. If Bu,m,r 1 = 1 for some 0 r < m e(g) and u {x,y}, then we immediately set Bxy = 0. So let us suppose otherwise. Let r = max(r(x),r(y)), where r(z) is the function defined by (9). If r is undefined (i.e. the game stops before each of x and y gets C r -degree at least c d), then we set Bxy = 0. (It will be the case that some other bad event will be responsible for this.) If C r (x) C r (y) εd, (1) then we set Bxy = 0, so let us suppose that (1) does not hold. We define Z (x,y) = {z : xz E(G) \ C r, C r (y) \ C r (z) c 3 d}, (13) Z (y,x) = {z : yz E(G) \ C r, C r (x) \ C r (z) c 3 d}. (14) If max( Z (x,y), Z (y,x) ) < c 3 d, then we set Bxy = 0. So suppose otherwise and let {u,v} = {x,y} satisfy Z (u,v) c 3 d. (If both assignments u = x and u = y work, we can agree that e.g. u is the smaller of x and y with respect to some fixed linear order on V (G).) Let us observe the game until Round m, where m = r + c 4 dn. (15) If the game ends before Round m, then we do the following: Set Bxy = 1 if the edge xy is uncolorable at the end (possibly one of a few uncolorable edges) and set Bxy = 0 otherwise (that is, if xy is colored or can be properly colored in the final position). So, suppose that the game lasts at least until Round m. If C m (x) C m (y) εd, (16) we set Bxy = 0; otherwise, we set Bxy = 1. This finishes the description of the event Bxy. Let us prove that x,y D x y E(B xy) = o(1). (17) 10

11 Let us fix xy ( D ) and estimate the probability of B xy. We analyze the game, starting from Round r and assuming that the previous development of the game does not rule out B xy yet. In particular, we have defined u,v with {u,v} = {x,y} and Z (u,v) c 3 d. We will observe the game in Rounds r + 1 to m, where m = min(m,r ), (18) where r is the total number of the rounds until the game stops. Since m r m r c 4 dn, we have, for any i [r + 1,m ], that Z (u,v) \ Z i m r c 3 d/ 4 c 4dn c 3 d c 3d 4, where we define Z i = {z Z (u,v) : C r (v) \ C i(z) c 3 d/}. Indeed, every vertex in Z (u,v) \ Z i must gain at least c 3 d/ colored edges in Rounds r + 1 to i, resulting in the first inequality. The final inequality follows from c 4 c 3. Thus Z i Z (u,v) c 3d 4 3c 3d 4 (19) Let I consist of those i [r+1,m ] such that in Round i Alice colors an edge between u and Z i. Let E 0 be the event that B xy occurs and I c 5 d. Let us show that the probability of each of E 0 and B xy \ E 0 (given the previous history up to Round r) is exponentially small in n this will prove (17) because there are O(n ) choices of xy in total. Let us analyze E 0 first. We will make use of the following coupling. Let p 0 = (c 3 / ε)/. Let X = (X 1,X,...) be an infinite 0/1-sequence where each entry is 1 with probability p 0, independently of the other entries. Initially we set k = 1. Let us observe the rounds one by one as the game progresses. Let i r+1 be number of the current round. Suppose first that, in this Round i, Alice has selected and is about to color an edge uz with some z Z i. Let W = [k] \ (C i (u) C i (z)) consist of all available colors for uz. Let W = W C i(v) consist of those available colors that are also present at v. Alice increases the number of common colors at u and v with probability p = W / W. By the definition of Z i there are at least c 3 d/ colors of C r (v) C i(v) that are absent in C i(z). Assume that at most εd of these colors are present in C i(u) for otherwise (16) holds, B xy = 0, and E 0 = 0. Hence, W c 3 d/ εd and p = W / W (c 3 d/ εd)/d = p 0. 11

12 Our coupling requires that the edge uz is colored with a color from W whenever the k-th element X k of X is 1. This can be achieved, for example, as follows. If X k = 1, Alice picks a random color from W. If X k = 0, then Alice picks, with probability (p p 0 )/(1 p 0 ) a random color from W and with probability 1 (p p 0 )/(1 p 0 ) a random color from W \ W. This gives the uniform distribution on the set W of all available colors. Indeed, any two colors both from W or from W \ W are equally likely to be picked while the probability of selecting a color from W is exactly p 0 + (1 p 0 ) p p 0 1 p 0 = p = W W. Now, we increase k by 1 so that the new (unexposed) value of X k is independent of the previous history. Continue the game. If, in Round i, Alice does not color an edge uz with z Z i, then we do not do anything (and do not increase the counter k). It follows that if E 0 occurs, then the first c 5 d elements of X contain at most εd ones. By the Chernoff bound, this has exponentially small in n probability, giving the desired result. (Note that we do not have to take the union bound over all choices of I since we were feeding in the bits of X only when there was demand.) Next, we analyze E 0 = B xy \ E 0, the event that B xy occurs and I < c 5d. We split it further into two complementary sub-events E 0 = E 1 E depending respectively on whether or not Bob colors at least c 3 d/4 edges incident to u in Rounds r+1 to m, where m is defined by (18). In order to analyze E 1, consider the first l = c 3 d/4 moves of Bob after Round r incident to u. Let us consider Alice s move in any such Round i, when Bob has just colored an edge at u. Of all G-edges between u and Z i, at most c 5 d edges are colored by Alice (we can assume this for otherwise I c 5 d) and, trivially, at most l c 3 d/4 edges are colored by Bob. Hence, by (19), the probability that Alice picks an edge between u and Z i in Round i is at least c 1 3c 3d/4 c 5 d c 3 d/4 d c 1c 3 5. Similarly to above, we can couple this with an infinite 0/1-sequence X = (X 1,X,...), whose each entry is 1 with probability c 1 c 3 /5, where we read the next bit of X after those moves of Bob that touch u. It follows that if E 1 = 1, then there are less than c 5 d ones among the first l members of X 1. The Chernoff bound shows that the probability of this (and thus of E 1 ) is exponentially small in n. 1

13 Let us analyze E. Suppose first that m < m (and that B xy = 1). Recall that m and m are defined by (15) and (18). Then xy is uncolorable in the final position, so at least (1 ε)d edges incident to u get colored. In particular, at least Z m εd edges between u and Z m are colored. Alice colors at most c 5 d of these edges since E 0 does not occur, while Bob colors at most c 3 d/4 of these edges since E 1 does not occur. By (19), we conclude that c 5 d + c 3 d/4 3c 3 d/4 εd, a contradiction. Hence, assume that m = m, that is, the game lasts for at least m rounds. We observe c 4 nd rounds after Round r and, in each Round i with r < i m, the probability of Alice s hitting an edge between u and Z i is at least (1 c 1 ) 3c 3d/4 c 5 d c 3 d/4 nd/ because neither E 0 nor E 1 occurs. Again, the probability of fewer than c 5 d successes (which is needed to avoid I c 5 d) is exponentially small. This completely proves (17). 3.3 The Third Family Its events Ba 3 are indexed by a color a [k]. The event Ba 3 occurs if and only if the graph R m contains at least 37c n edges of color a, where m = 4c n. (Recall that R m consists of all R-moves of Alice made during the first m rounds.) Initially, let us set H = and let X be an infinite 0/1-sequence where each entry is 1 with probability 3/n independently of the other entries. Let the game last for r rounds. We observe Alice s moves until Round m, where m = min(m,r ). Let us consider a moment when Alice has just selected an R-edge xy and is about to color it in some Round i. If there are less than n/3 available colors for the edge xy at the current moment, then we just add the pair xy to H and proceed with the game. Suppose that there are more than n/3 available colors. The probability of selecting the color a for c(xy) is at most 3/n. We read the next unexposed bit of X. Our coupling requires that if it is 0, then Alice does not select color a for c(xy). Consider the partial coloring right after Round m. Let Y consist of vertices of G of C m -degree at least n/3. We have Y (n/3) m; thus Y 4c n. Every edge xy of H has to intersect Y for otherwise the number of available colors at xy, even at Round m, is at least ( ε)d n/3 n/3 > n/3, a contradiction. Since each color class is a matching, the number of color-a edges inside H is at most Y. It follows that if Ba 3 = 1, then the 13

14 first m entries of X contain at least 37c n 4c n = 13c n ones. By the Chernoff bound this has probability exponentially small in n. Hence k a=1 B3 a = o(1). 3.4 The Fourth Family Let 0 m e(g). The event B 4 m, occurs if and only if S m > c 1 m + c 3 n. (Recall that S m consists of Alice s S-moves made in the first m rounds.) Since the probability of increasing the current S r in any round is at most c 1, the Chernoff bound easily implies that e(g) m=0 B4 m = o(1). 3.5 Putting All Together Let us show that if none of the above bad events occurs, then Alice surely wins. Let us assume on the contrary that the game ends when an edge xy E(G) cannot be properly colored. If there are a few choices for xy, pick one arbitrarily. (Recall that we stop the game as soon as an uncolorable edge appears.) This means that x,y D and each of x and y is incident to at least (1 ε)d colored edges. Thus r(x) and r(y) are well-defined. Let r = max(r(x),r(y)). Assume r(x) r(y). Thus r = r(x) and 0 C r (x) c d <. Since xy cannot be properly colored at the end of the game, Inequality (1) is false, that is, C r (x) C r (y) < εd. (0) Since B 1 x,r,0 = 0 and C r (x) c d + < 4c d, we have by (10) applied to the first r rounds that c d + A r (x) r( 4c 1) c 5 n. n It follows from c 5,c c 1 that, for example, Claim 1 max( Z (x,y), Z (y,x) ) c 3 d. r (1 + 3c 1)c nd. (1) Proof of Claim. Suppose that the claim is not true. Let l = C r (y). Then, by the definition of Z (x,y), there are at least d G (x) C r (x) Z (x,y) (1 ε)d (c d + ) c 3 d (1 c )d, 14

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

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

How Not to Win a Million Dollars: A Counterexample to a Conjecture of L. Breiman Thomas P. Hayes arxiv:1112.0829v1 [math.pr] 5 Dec 2011 Abstract Consider a gambling game in which we are allowed to repeatedly

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 non-negative

The degree, size and chromatic index of a uniform hypergraph Noga Alon Jeong Han Kim Abstract Let H be a k-uniform hypergraph in which no two edges share more than t common vertices, and let D denote the

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

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

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

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

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

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

Collinear Points in Permutations Joshua N. Cooper Courant Institute of Mathematics New York University, New York, NY József Solymosi Department of Mathematics University of British Columbia, Vancouver,

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.

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

CMSC 858T: Randomized Algorithms Spring 2003 Handout 8: The Local Lemma Please Note: The references at the end are given for extra reading if you are interested in exploring these ideas further. You are

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

Math 305 Fall 011 The Density of Q in R The following two theorems tell us what happens when we add and multiply by rational numbers. For the first one, we see that if we add or multiply two rational numbers

INCIDENCE-BETWEENNESS GEOMETRY MATH 410, CSUSM. SPRING 2008. PROFESSOR AITKEN This document covers the geometry that can be developed with just the axioms related to incidence and betweenness. The full

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

On the Union of Arithmetic Progressions Shoni Gilboa Rom Pinchasi August, 04 Abstract We show that for any integer n and real ɛ > 0, the union of n arithmetic progressions with pairwise distinct differences,

No: 10 04 Bilkent University Monotonic Extension Farhad Husseinov Discussion Papers Department of Economics The Discussion Papers of the Department of Economics are intended to make the initial results

Cycles and clique-minors 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

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

ALMOST COMMON PRIORS ZIV HELLMAN ABSTRACT. What happens when priors are not common? We introduce a measure for how far a type space is from having a common prior, which we term prior distance. If a type

PROBLEM SET 7: PIGEON HOLE PRINCIPLE The pigeonhole principle is the following observation: Theorem. Suppose that > kn marbles are distributed over n jars, then one jar will contain at least k + marbles.

WHAT ARE MATHEMATICAL PROOFS AND WHY THEY ARE IMPORTANT? introduction Many students seem to have trouble with the notion of a mathematical proof. People that come to a course like Math 216, who certainly

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

A NOTE ON OFF-DIAGONAL SMALL ON-LINE RAMSEY NUMBERS FOR PATHS PAWE L PRA LAT Abstract. In this note we consider the on-line Ramsey numbers R(P n, P m ) for paths. Using a high performance computing clusters,

CS271 Randomness & Computation Fall 2011 Lecture 22: November 10 Lecturer: Alistair Sinclair Based on scribe notes by Rafael Frongillo Disclaimer: These notes have not been subjected to the usual scrutiny

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

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

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

Solutions for Practice problems on proofs Definition: (even) An integer n Z is even if and only if n = 2m for some number m Z. Definition: (odd) An integer n Z is odd if and only if n = 2m + 1 for some

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

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

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

4CHAPTER 1. INTRODUCTORY MATERIAL: SETS, FUNCTIONS AND MATHEMATICAL INDU 1.3 Induction and Other Proof Techniques The purpose of this section is to study the proof technique known as mathematical induction.

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

1. Prove that the empty set is a subset of every set. Basic Topology Written by Men-Gen Tsai email: b89902089@ntu.edu.tw Proof: For any element x of the empty set, x is also an element of every set since

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

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

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

12th International Congress on Insurance: Mathematics and Economics July 16-18, 2008 A Uniform Asymptotic Estimate for Discounted Aggregate Claims with Subexponential Tails XUEMIAO HAO (Based on a joint

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

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

Chapter 3 Sequences In this chapter, we discuss sequences. We say what it means for a sequence to converge, and define the limit of a convergent sequence. We begin with some preliminary results about the

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

Week 5 Integral Polyhedra We have seen some examples 1 of linear programming formulation that are integral, meaning that every basic feasible solution is an integral vector. This week we develop a theory

An example of a computable absolutely normal number Verónica Becher Santiago Figueira Abstract The first example of an absolutely normal number was given by Sierpinski in 96, twenty years before the concept