Lecture 5: January 30

Size: px
Start display at page:

Download "Lecture 5: January 30"

Transcription

1 CS71 Randomness & Computation Spring 018 Instructor: Alistair Sinclair Lecture 5: January 30 Disclaimer: These notes have not been subjected to the usual scrutiny accorded to formal publications. They may be distributed outside this class only with the permission of the Instructor. 5.1 The Probabilistic Method The probabilistic method is a powerful mathematical tool used in solving many combinatorial problems. The method was first introduced by Paul Erdős in his seminal 1947 paper [E47]. The probabilistic method works as follows: to show that an object with a specific property exists, we choose an object randomly from an appropriate collection of objects and show that it has the desired property with positive probability, which proves the existence of at least one such object. It turns out that it is often easier to show the existence of certain objects by this method than by constructing them explicitly. Moreover, the probabilistic method often suggests efficient randomized algorithms, which can sometimes subsequently be derandomized Ramsey Theory As a warm-up, we state and prove a result from Erdős s original paper on Ramsey theory [E47]. Definition: The k-th (diagonal) Ramsey number, R k, is the smallest number n such that any -coloring of the edges of the complete graph on n vertices, K n, must contain a monochromatic k-clique. As a useful Exercise, you should verify that R 3 = 6 by showing that K 5 can be -colored with no monochromatic triangles, while K 6 cannot. The existence of Ramsey numbers can be established by a simple inductive argument, which also provides an upper bound of k 3 for R k. The following theorem provides a lower bound for R k via the probabilistic method. Theorem 5.1 R k > k/. Proof: Let n = k/. We show that there exists a -coloring of the complete graph K n, such that there is no monochromatic k-clique. Randomly color each edge of K n red or blue with probability 1, independently. Let C be any k-clique in the graph K n. Then, Pr[C is monochromatic] = (k ) = 1 ( k ). Since the total number of k-cliques in K n is ( n k), by the union bound, we get Pr[K n has a monochromatic k-clique] ( n k) Pr[a given k-clique is monochromatic] = ( ) n 1 ( k ) 5-1 k nk k! 1 (k ).

2 5- Lecture 5: January 30 Putting n = k/, we get Pr[K n has a monochromatic k-clique] 1 k! k +1 k k = 1 k! k+ < 1 for k 3. So, the probability of a good coloring, i.e., a -coloring such that there is no monochromatic k-clique, is more than zero. Thus, there must exist a good coloring. Ramsey numbers have been the object of extensive study in combinatorics. Despite this, improvements in bounds on R k have been slow. In fact, for general k the above upper and lower bounds remain essentially the best known, in the sense that no asymptotic lower bound of the form R k (1/+ɛ)k or upper bound of the form R k ( ɛ)k for ɛ > 0 has been found. In particular, it is surprising that a completely random coloring of K n provides a lower bound which is almost as good as bounds obtained by the cleverest deterministic arguments The Max Cut Problem We now consider the problem of finding a partition of a graph into two parts such that the number of cut edges (i.e., those between the two parts of the partition) is maximized. Input: A graph G = (V, E). Goal: Find a partition V = V 1 V of G such that the number of edges between V 1 and V is maximized. This is a well-known NP-hard optimization problem. However, as the following lemma shows, a simple application of the probabilistic method gives us a lower bound on the size of the maximum cut. Lemma 5. There exists a cut containing at least E edges. Proof: Pick a random partition, by assigning each vertex to V 1 or V independently with probability 1. For each edge e, define the indicator variable X e as X e = { 1 if e is cut; 0 otherwise Thus, if X is the number of cut edges, then X = e E X e. Moreover, we have E[X e ] = Pr[e is cut] = Pr[the endpoints of e lie on different sides of the partition] = 1. Now by linearity of expectation, E[X] = e E E[X e ] = E. This implies that there must exist a cut such that X E (since any random variable must achieve a value at least as large as its expectation at some sample point). Exercise: Improve the above bound slightly by showing that there must always exist a cut with strictly more than E edges.

3 Lecture 5: January Independent Set In a graph G = (V, E), a subset of vertices V V is said to be an independent set if no two vertices u, v V are adjacent in G. It is NP-hard to determine the size of a largest independent set in G. However, an elementary but clever application of the probabilistic method will allow us to establish a good lower bound on the size of the maximum independent set for any given graph. Claim 5.3 Any graph G = (V, E) contains an independent set V V such that V v V where deg(v) is the number of vertices adjacent to v in G. 1 deg(v)+1, As an example, this claim implies that every 3-regular graph contains an independent set of size at least V /4. Proof: Assign a random weight w v to every vertex v V, choosing these weights independently and uniformly at random from the interval [0, 1]. Call v V a local minimum if w v < w u for every vertex u adjacent to v. Since no two adjacent vertices can both be local minima, it is clear that the set of local minima forms an independent set. Moreover, since weights are assigned uniformly from a continuous set, any vertex among v and its neighbors is equally likely to have minimum weight, so we have Pr[v is a local minimum] = 1 deg(v) + 1. Now let X be the number of local minima, and write X = v X v, where X v is an indicator r.v. defined by By linearity of expectation, { 1 if v is a local minimum; X v = 0 otherwise. E[X] = v V E[X v ] = v V 1 deg(v) + 1. Hence G must contain an independent set of the claimed size Graph Crossing Number Consider an arbitrary graph G = (V, E); let n denote the number of vertices in G and let m denote the number of edges. We define the crossing number c(g) as the minimum number of edge crossings in any planar embedding of G. (Thus a graph is planar iff c(g) = 0.) Most graphs cannot be embedded in the plane without crossing edges. In fact, those that can are necessarily quite sparse. Euler s formula says that if G is planar then m 3n 6. (5.1) We begin with a preliminary lower bound on the crossing number that generalizes Euler s formula: Claim 5.4 For any graph G with n vertices and m edges, we have c(g) m 3n + 6. Proof: The proof is a simple deterministic argument. Consider an optimal planar embedding of G, i.e., an embedding that achieves c = c(g) edge crossings. It is easy to verify (Exercise) that such an embedding satisfies the following properties:

4 5-4 Lecture 5: January 30 Figure 5.1: Construction of planar graph G from G. 1. No edge crosses itself.. No two edges cross more than once. 3. No two edges that share a vertex cross. Construct a new graph G = (V, E ) from G by replacing each edge crossing in the optimal embedding of G with a vertex, as shown in Figure 5.1. More precisely, we start with G = G and, for every pair of edges e 1 = (v a, v b ) and e = (v c, v d ) that cross, transform G as follows: 1. Add a new vertex v to V.. Remove e 1 and e from E and insert four new edges: e 1 = (v a, v ), e = (v b, v ), e 3 = (v c, v ), and e 4 = (v d, v ). From the construction and the properties of optimal planar embeddings, we have: V n = n + c and E m = m + c. (To verify the second equality, observe that the number of edges increases by two for every edge crossing eliminated from the original graph). Furthermore, G is a planar graph, so by Euler s formula we have: as required. m 3n 6 m + c 3n + 3c 6 c m 3n + 6, The above result gives us an estimate of the crossing number that is reasonably tight for sparse graphs (when m is not much larger than 3n). We now apply the probabilistic method to demonstrate a much stronger lower bound for large values of m. This beautiful proof is attributed to Chazelle, Sharir and Welzl [CSW], though the result (with a different constant) had previously been proved using much heavier deterministic tools in [L83] and [ACNS8]. Claim 5.5 For any graph G with n vertices and m edges with m 4n, we have c(g) m3 64n. Proof: Fix an optimal planar embedding of G with c = c(g) crossings. Construct a random induced subgraph G p of G, by including each vertex in G p independently with probability p (and retaining precisely those edges both of whose endpoints are in G p ). The value of p will be specified later. Now let n p and m p be random variables denoting the number of vertices and edges in G p, respectively. Additionally, let c p denote the number of edge crossings from the original embedding that remain in G p. Using the result of Claim 5.4, we have: c p m p 3n p + 6 m p 3n p.

5 Lecture 5: January Taking expectations then gives E[c p ] E[m p 3n p ] = E[m p ] 3E[n p ]. Now, since each vertex in G is included in G p with probability p, we have E[n p ] = np. Similarly, since every edge in G p has probability p of remaining in G p, we have E[m p ] = mp. Lastly, E[c p ] = cp 4, since every edge crossing involves four distinct vertices of G. Plugging these values into the above inequality gives cp 4 mp 3pn, and hence c m p 3n p 3. Now we choose p to maximize the right-hand side of this inequality. Specifically, setting p = 4n/m yields as claimed. c m3 64n, 5. Some more sophisticated examples 5..1 Unbalancing lights Consider a square n n array of lights (see Figure 5.). There is one switch corresponding to each row and each column (i.e., n switches). Throwing a switch changes the state of all the lights in the corresponding row or column. We now consider the problem of setting the switches so as to maximize the number of lights that are on, starting from an arbitrary initial on/off configuration of the lights. Light Switch Figure 5.: A 4 4 array of lights with switches. Note first that, if we set all the switches independently and uniformly at random, then each light is on with probability 1 and the states of the lights are pairwise indepedent. Thus the expectation of the quantity #on #off is O(n), so we could hope to achieve about n + O(n) lights on. (Note that we can always ensure that at least half are on simply by flipping all the row switches if necessary.) Here is an argument using the probabilistic method that it is always possible to get a much better advantage.

6 5-6 Lecture 5: January 30 Claim: For any initial configuration of the lights, there exists a setting of the switches for which the number of lights that are on is asymptotically n + 1 π n3/ as n. Proof: We first set the column switches randomly and independently. Define the indicator random variable X ij as { 1 if light (i,j) is on X ij = 1 if light (i,j) is off We now look at row i. Let Z i = j X ij. Note that, as a result of our random flipping of the column switches, X i1, X i,..., X in are iid uniform on {±1} and hence the random variable Z i is the sum of n independent Bernoulli trials with outcomes ±1. Therefore, E[ Z i ] π n. 1 Finally, for each row i, we set the row switch to get the majority of lights on. By linearity of expectation, E[#on #off] = i E[ Z i ] π n3/. Hence there must exist some setting of switches that achieves at least this difference, and hence at least n + 1 π n3/ lights on (as n ). 5.. Graphs with large girth and chromatic number Let G = (V, E) be a graph with vertex set V and edge set E. The girth of G is the length of the shortest cycle in G. The chromatic number of G is the minimum number of colors to properly color the vertices of G (i.e., so that no two adjacent vertices receive the same color). One may expect that a graph with large girth should have a small chromatic number, but it turns out that this is not the case. A classical result of Erdős shows that there exist graphs for which both the girth and chromatic number are arbitrarily large, provided the number of vertices is sufficiently large [E59]. The proof is another application of the probabilistic method. Theorem 5.6 For any positive integers k, l, there exists a graph with girth l and chromatic number k. Proof: Pick a random graph G from G(n, p), where n is the number of vertices and each of the ( n ) possible edges is included independently with probability p. We will choose the value p = n 1/l 1. (Note that the resulting graphs are rather sparse; the expected number of edges is on the order of n 1+1/l.) Let X be the number of cycles of length < l in G. First observe that the number of possible cycles of length i is ( ) n i! i i since for every subset of size i of the n vertices, there are i! i possible cycles (direction and starting position do not matter). Note that a path is only present if all the corresponding edges are present, which happens 1 This is a standard result about the positive part of the binomial distribution; it is equivalent to saying q that the expected distance traveled from the origin in n steps of a symmetric random walk with reflecting barrier at 0 is π n.

7 Lecture 5: January with probability p i for each possible cycle. Thus, l 1 ( ) n E[X] = i! i i pi i=3 l 1 i=3 = o(n), n i/l i (5.) where (5.) follows from the fact that ( n i) i! n i and n i p i = n i n i/l i = n i/l. Thus, by Markov s inequality, Pr[X n/] = o(1). Hence the probability that G contains n/ cycles of length l or more goes to zero. Turning now to the chromatic number, note that the number of colors needed to properly color a graph can be lower bounded as # vertices # colors max. independent set size since the set of vertices that receive any given color must form an independent set. Let Y be the size of a maximal independent set in G. Then by a union bound, ( ) n Pr[Y y] (1 p) ) (y y ( n e p(y 1)/) y, (5.3) = o(1) if we set y = 3 p ln n where (5.3) follows from ( n y) n y and the inequality 1 + x e x. Putting the above two calculations together, by taking n large enough we can ensure that the probabilities Pr[X n/] and Pr[Y 3 p ln n] are both less than 1, so by a union bound there must exist a graph G with the following properties: 1. G has n cycles of length < l;. G has maximum independent set size < 3 p ln n. Finally, we can remove from G one vertex from every cycle of length l, resulting in a graph G with the following properties: 1. G has girth l;. G has n vertices; 3. G has maximum independent set size < 3 p ln n. (Note that removing vertices from G can only decrease the size of the maximum independent set.) Hence, G has chromatic number n/ as n. So again by taking n large enough we can make n1/l 3 = p ln n 6 ln n

8 5-8 Lecture 5: January 30 this at least k, as desired. The previous two examples illustrate the technique of sample and modify, which arises in many applications of the probabilistic method. Recall that in the examples we saw in the first section, we simply constructed an object at random (a -coloring, a truth assignment etc.) and then argued that it has the desired property with non-zero probability. In the above two examples, we first construct a random object (the initial setting of the column switches, or the random graph G), and then modify it so that it has the desired property (by setting the row switches, or by deleting vertices from G). References [ACNS8] [CSW] M. Ajtai, V. Chvátal, M. Newborn and E. Szemerédi, Crossing-free subgraphs, Annals of Discrete Mathematics 1 (198), pp B. Chazelle, M. Sharir and E. Welzl, folklore. [E47] P. Erdős, Some remarks on the theory of graphs, Bulletin of the American Math. Society 53 (1947), pp [E59] P. Erdős, Graph Theory and Probability, Canad. J. Math 11 (1959), pp [L83] F.T. Leighton, Complexity issues in VLSI, MIT Press, Cambridge, 1983.

CS5314 Randomized Algorithms. Lecture 18: Probabilistic Method (De-randomization, Sample-and-Modify)

CS5314 Randomized Algorithms. Lecture 18: Probabilistic Method (De-randomization, Sample-and-Modify) CS5314 Randomized Algorithms Lecture 18: Probabilistic Method (De-randomization, Sample-and-Modify) 1 Introduce two topics: De-randomize by conditional expectation provides a deterministic way to construct

More information

Lecture 7: February 6

Lecture 7: February 6 CS271 Randomness & Computation Spring 2018 Instructor: Alistair Sinclair Lecture 7: February 6 Disclaimer: These notes have not been subjected to the usual scrutiny accorded to formal publications. They

More information

Independence numbers of locally sparse graphs and a Ramsey type problem

Independence numbers of locally sparse graphs and a Ramsey type problem Independence numbers of locally sparse graphs and a Ramsey type problem Noga Alon Abstract Let G = (V, E) be a graph on n vertices with average degree t 1 in which for every vertex v V the induced subgraph

More information

Edge-disjoint induced subgraphs with given minimum degree

Edge-disjoint induced subgraphs with given minimum degree Edge-disjoint induced subgraphs with given minimum degree Raphael Yuster Department of Mathematics University of Haifa Haifa 31905, Israel raphy@math.haifa.ac.il Submitted: Nov 9, 01; Accepted: Feb 5,

More information

Lecture 1 : Probabilistic Method

Lecture 1 : Probabilistic Method IITM-CS6845: Theory Jan 04, 01 Lecturer: N.S.Narayanaswamy Lecture 1 : Probabilistic Method Scribe: R.Krithika The probabilistic method is a technique to deal with combinatorial problems by introducing

More information

Lecture 8: February 8

Lecture 8: February 8 CS71 Randomness & Computation Spring 018 Instructor: Alistair Sinclair Lecture 8: February 8 Disclaimer: These notes have not been subjected to the usual scrutiny accorded to formal publications. They

More information

Lecture 24: April 12

Lecture 24: April 12 CS271 Randomness & Computation Spring 2018 Instructor: Alistair Sinclair Lecture 24: April 12 Disclaimer: These notes have not been subjected to the usual scrutiny accorded to formal publications. They

More information

Vertex colorings of graphs without short odd cycles

Vertex colorings of graphs without short odd cycles Vertex colorings of graphs without short odd cycles Andrzej Dudek and Reshma Ramadurai Department of Mathematical Sciences Carnegie Mellon University Pittsburgh, PA 1513, USA {adudek,rramadur}@andrew.cmu.edu

More information

Lecture 6: September 22

Lecture 6: September 22 CS294 Markov Chain Monte Carlo: Foundations & Applications Fall 2009 Lecture 6: September 22 Lecturer: Prof. Alistair Sinclair Scribes: Alistair Sinclair Disclaimer: These notes have not been subjected

More information

Probabilistic Method. Benny Sudakov. Princeton University

Probabilistic Method. Benny Sudakov. Princeton University Probabilistic Method Benny Sudakov Princeton University Rough outline The basic Probabilistic method can be described as follows: In order to prove the existence of a combinatorial structure with certain

More information

Notes 6 : First and second moment methods

Notes 6 : First and second moment methods Notes 6 : First and second moment methods Math 733-734: Theory of Probability Lecturer: Sebastien Roch References: [Roc, Sections 2.1-2.3]. Recall: THM 6.1 (Markov s inequality) Let X be a non-negative

More information

Theorem (Special Case of Ramsey s Theorem) R(k, l) is finite. Furthermore, it satisfies,

Theorem (Special Case of Ramsey s Theorem) R(k, l) is finite. Furthermore, it satisfies, Math 16A Notes, Wee 6 Scribe: Jesse Benavides Disclaimer: These notes are not nearly as polished (and quite possibly not nearly as correct) as a published paper. Please use them at your own ris. 1. Ramsey

More information

arxiv: v1 [math.co] 2 Dec 2013

arxiv: v1 [math.co] 2 Dec 2013 What is Ramsey-equivalent to a clique? Jacob Fox Andrey Grinshpun Anita Liebenau Yury Person Tibor Szabó arxiv:1312.0299v1 [math.co] 2 Dec 2013 November 4, 2018 Abstract A graph G is Ramsey for H if every

More information

Aditya Bhaskara CS 5968/6968, Lecture 1: Introduction and Review 12 January 2016

Aditya Bhaskara CS 5968/6968, Lecture 1: Introduction and Review 12 January 2016 Lecture 1: Introduction and Review We begin with a short introduction to the course, and logistics. We then survey some basics about approximation algorithms and probability. We also introduce some of

More information

The Probabilistic Method

The Probabilistic Method The Probabilistic Method In Graph Theory Ehssan Khanmohammadi Department of Mathematics The Pennsylvania State University February 25, 2010 What do we mean by the probabilistic method? Why use this method?

More information

Random Lifts of Graphs

Random Lifts of Graphs 27th Brazilian Math Colloquium, July 09 Plan of this talk A brief introduction to the probabilistic method. A quick review of expander graphs and their spectrum. Lifts, random lifts and their properties.

More information

Lecture 28: April 26

Lecture 28: April 26 CS271 Randomness & Computation Spring 2018 Instructor: Alistair Sinclair Lecture 28: April 26 Disclaimer: These notes have not been subjected to the usual scrutiny accorded to formal publications. They

More information

Probabilistic Proofs of Existence of Rare Events. Noga Alon

Probabilistic Proofs of Existence of Rare Events. Noga Alon Probabilistic Proofs of Existence of Rare Events Noga Alon Department of Mathematics Sackler Faculty of Exact Sciences Tel Aviv University Ramat-Aviv, Tel Aviv 69978 ISRAEL 1. The Local Lemma In a typical

More information

Lecture 18: March 15

Lecture 18: March 15 CS71 Randomness & Computation Spring 018 Instructor: Alistair Sinclair Lecture 18: March 15 Disclaimer: These notes have not been subjected to the usual scrutiny accorded to formal publications. They may

More information

Paul Erdős and Graph Ramsey Theory

Paul Erdős and Graph Ramsey Theory Paul Erdős and Graph Ramsey Theory Benny Sudakov ETH and UCLA Ramsey theorem Ramsey theorem Definition: The Ramsey number r(s, n) is the minimum N such that every red-blue coloring of the edges of a complete

More information

Probabilistic Combinatorics. Jeong Han Kim

Probabilistic Combinatorics. Jeong Han Kim Probabilistic Combinatorics Jeong Han Kim 1 Tentative Plans 1. Basics for Probability theory Coin Tossing, Expectation, Linearity of Expectation, Probability vs. Expectation, Bool s Inequality 2. First

More information

Decomposition of random graphs into complete bipartite graphs

Decomposition of random graphs into complete bipartite graphs Decomposition of random graphs into complete bipartite graphs Fan Chung Xing Peng Abstract We consider the problem of partitioning the edge set of a graph G into the minimum number τg) of edge-disjoint

More information

Decomposing oriented graphs into transitive tournaments

Decomposing oriented graphs into transitive tournaments Decomposing oriented graphs into transitive tournaments Raphael Yuster Department of Mathematics University of Haifa Haifa 39105, Israel Abstract For an oriented graph G with n vertices, let f(g) denote

More information

The concentration of the chromatic number of random graphs

The concentration of the chromatic number of random graphs The concentration of the chromatic number of random graphs Noga Alon Michael Krivelevich Abstract We prove that for every constant δ > 0 the chromatic number of the random graph G(n, p) with p = n 1/2

More information

Chromatic number, clique subdivisions, and the conjectures of Hajós and Erdős-Fajtlowicz

Chromatic number, clique subdivisions, and the conjectures of Hajós and Erdős-Fajtlowicz Chromatic number, clique subdivisions, and the conjectures of Hajós and Erdős-Fajtlowicz Jacob Fox Choongbum Lee Benny Sudakov Abstract For a graph G, let χ(g) denote its chromatic number and σ(g) denote

More information

Pigeonhole Principle and Ramsey Theory

Pigeonhole Principle and Ramsey Theory Pigeonhole Principle and Ramsey Theory The Pigeonhole Principle (PP) has often been termed as one of the most fundamental principles in combinatorics. The familiar statement is that if we have n pigeonholes

More information

R(p, k) = the near regular complete k-partite graph of order p. Let p = sk+r, where s and r are positive integers such that 0 r < k.

R(p, k) = the near regular complete k-partite graph of order p. Let p = sk+r, where s and r are positive integers such that 0 r < k. MATH3301 EXTREMAL GRAPH THEORY Definition: A near regular complete multipartite graph is a complete multipartite graph with orders of its partite sets differing by at most 1. R(p, k) = the near regular

More information

Containment restrictions

Containment restrictions Containment restrictions Tibor Szabó Extremal Combinatorics, FU Berlin, WiSe 207 8 In this chapter we switch from studying constraints on the set operation intersection, to constraints on the set relation

More information

The Probabilistic Method

The Probabilistic Method The Probabilistic Method Janabel Xia and Tejas Gopalakrishna MIT PRIMES Reading Group, mentors Gwen McKinley and Jake Wellens December 7th, 2018 Janabel Xia and Tejas Gopalakrishna Probabilistic Method

More information

Homework 4 Solutions

Homework 4 Solutions CS 174: Combinatorics and Discrete Probability Fall 01 Homework 4 Solutions Problem 1. (Exercise 3.4 from MU 5 points) Recall the randomized algorithm discussed in class for finding the median of a set

More information

Coloring Simple Hypergraphs

Coloring Simple Hypergraphs Department of Mathematics, Statistics and Computer Science University of Illinois Chicago May 13, 2011 A Puzzle Problem Let n 2 and suppose that S [n] [n] with S 2n 1. Then some three points in S determine

More information

CS6999 Probabilistic Methods in Integer Programming Randomized Rounding Andrew D. Smith April 2003

CS6999 Probabilistic Methods in Integer Programming Randomized Rounding Andrew D. Smith April 2003 CS6999 Probabilistic Methods in Integer Programming Randomized Rounding April 2003 Overview 2 Background Randomized Rounding Handling Feasibility Derandomization Advanced Techniques Integer Programming

More information

Stability of the path-path Ramsey number

Stability of the path-path Ramsey number Worcester Polytechnic Institute Digital WPI Computer Science Faculty Publications Department of Computer Science 9-12-2008 Stability of the path-path Ramsey number András Gyárfás Computer and Automation

More information

ACO Comprehensive Exam October 14 and 15, 2013

ACO Comprehensive Exam October 14 and 15, 2013 1. Computability, Complexity and Algorithms (a) Let G be the complete graph on n vertices, and let c : V (G) V (G) [0, ) be a symmetric cost function. Consider the following closest point heuristic for

More information

Probabilistic Methods in Combinatorics Lecture 6

Probabilistic Methods in Combinatorics Lecture 6 Probabilistic Methods in Combinatorics Lecture 6 Linyuan Lu University of South Carolina Mathematical Sciences Center at Tsinghua University November 16, 2011 December 30, 2011 Balance graphs H has v vertices

More information

Lectures 6: Degree Distributions and Concentration Inequalities

Lectures 6: Degree Distributions and Concentration Inequalities University of Washington Lecturer: Abraham Flaxman/Vahab S Mirrokni CSE599m: Algorithms and Economics of Networks April 13 th, 007 Scribe: Ben Birnbaum Lectures 6: Degree Distributions and Concentration

More information

ARRANGEABILITY AND CLIQUE SUBDIVISIONS. Department of Mathematics and Computer Science Emory University Atlanta, GA and

ARRANGEABILITY AND CLIQUE SUBDIVISIONS. Department of Mathematics and Computer Science Emory University Atlanta, GA and ARRANGEABILITY AND CLIQUE SUBDIVISIONS Vojtěch Rödl* Department of Mathematics and Computer Science Emory University Atlanta, GA 30322 and Robin Thomas** School of Mathematics Georgia Institute of Technology

More information

18.5 Crossings and incidences

18.5 Crossings and incidences 18.5 Crossings and incidences 257 The celebrated theorem due to P. Turán (1941) states: if a graph G has n vertices and has no k-clique then it has at most (1 1/(k 1)) n 2 /2 edges (see Theorem 4.8). Its

More information

An asymptotically tight bound on the adaptable chromatic number

An asymptotically tight bound on the adaptable chromatic number An asymptotically tight bound on the adaptable chromatic number Michael Molloy and Giovanna Thron University of Toronto Department of Computer Science 0 King s College Road Toronto, ON, Canada, M5S 3G

More information

The number of edge colorings with no monochromatic cliques

The number of edge colorings with no monochromatic cliques The number of edge colorings with no monochromatic cliques Noga Alon József Balogh Peter Keevash Benny Sudaov Abstract Let F n, r, ) denote the maximum possible number of distinct edge-colorings of a simple

More information

GRAPH EMBEDDING LECTURE NOTE

GRAPH EMBEDDING LECTURE NOTE GRAPH EMBEDDING LECTURE NOTE JAEHOON KIM Abstract. In this lecture, we aim to learn several techniques to find sufficient conditions on a dense graph G to contain a sparse graph H as a subgraph. In particular,

More information

Asymptotically optimal induced universal graphs

Asymptotically optimal induced universal graphs Asymptotically optimal induced universal graphs Noga Alon Abstract We prove that the minimum number of vertices of a graph that contains every graph on vertices as an induced subgraph is (1 + o(1))2 (

More information

Geometry. The k Most Frequent Distances in the Plane. József Solymosi, 1 Gábor Tardos, 2 and Csaba D. Tóth Introduction

Geometry. The k Most Frequent Distances in the Plane. József Solymosi, 1 Gábor Tardos, 2 and Csaba D. Tóth Introduction Discrete Comput Geom 8:639 648 (00 DOI: 10.1007/s00454-00-896-z Discrete & Computational Geometry 00 Springer-Verlag New York Inc. The k Most Frequent Distances in the Plane József Solymosi, 1 Gábor Tardos,

More information

Lecture 19: November 10

Lecture 19: November 10 CS294 Markov Chain Monte Carlo: Foundations & Applications Fall 2009 Lecture 19: November 10 Lecturer: Prof. Alistair Sinclair Scribes: Kevin Dick and Tanya Gordeeva Disclaimer: These notes have not been

More information

The Chromatic Number of Ordered Graphs With Constrained Conflict Graphs

The Chromatic Number of Ordered Graphs With Constrained Conflict Graphs The Chromatic Number of Ordered Graphs With Constrained Conflict Graphs Maria Axenovich and Jonathan Rollin and Torsten Ueckerdt September 3, 016 Abstract An ordered graph G is a graph whose vertex set

More information

Jacques Verstraëte

Jacques Verstraëte 2 - Turán s Theorem Jacques Verstraëte jacques@ucsd.edu 1 Introduction The aim of this section is to state and prove Turán s Theorem [17] and to discuss some of its generalizations, including the Erdős-Stone

More information

Algebraic Methods in Combinatorics

Algebraic Methods in Combinatorics Algebraic Methods in Combinatorics Po-Shen Loh 27 June 2008 1 Warm-up 1. (A result of Bourbaki on finite geometries, from Răzvan) Let X be a finite set, and let F be a family of distinct proper subsets

More information

Graph Classes and Ramsey Numbers

Graph Classes and Ramsey Numbers Graph Classes and Ramsey Numbers Rémy Belmonte, Pinar Heggernes, Pim van t Hof, Arash Rafiey, and Reza Saei Department of Informatics, University of Bergen, Norway Abstract. For a graph class G and any

More information

CPSC 536N: Randomized Algorithms Term 2. Lecture 2

CPSC 536N: Randomized Algorithms Term 2. Lecture 2 CPSC 536N: Randomized Algorithms 2014-15 Term 2 Prof. Nick Harvey Lecture 2 University of British Columbia In this lecture we continue our introduction to randomized algorithms by discussing the Max Cut

More information

Lower Bounds for Testing Bipartiteness in Dense Graphs

Lower Bounds for Testing Bipartiteness in Dense Graphs Lower Bounds for Testing Bipartiteness in Dense Graphs Andrej Bogdanov Luca Trevisan Abstract We consider the problem of testing bipartiteness in the adjacency matrix model. The best known algorithm, due

More information

Preliminaries. Graphs. E : set of edges (arcs) (Undirected) Graph : (i, j) = (j, i) (edges) V = {1, 2, 3, 4, 5}, E = {(1, 3), (3, 2), (2, 4)}

Preliminaries. Graphs. E : set of edges (arcs) (Undirected) Graph : (i, j) = (j, i) (edges) V = {1, 2, 3, 4, 5}, E = {(1, 3), (3, 2), (2, 4)} Preliminaries Graphs G = (V, E), V : set of vertices E : set of edges (arcs) (Undirected) Graph : (i, j) = (j, i) (edges) 1 2 3 5 4 V = {1, 2, 3, 4, 5}, E = {(1, 3), (3, 2), (2, 4)} 1 Directed Graph (Digraph)

More information

Large topological cliques in graphs without a 4-cycle

Large topological cliques in graphs without a 4-cycle Large topological cliques in graphs without a 4-cycle Daniela Kühn Deryk Osthus Abstract Mader asked whether every C 4 -free graph G contains a subdivision of a complete graph whose order is at least linear

More information

PCPs and Inapproximability Gap-producing and Gap-Preserving Reductions. My T. Thai

PCPs and Inapproximability Gap-producing and Gap-Preserving Reductions. My T. Thai PCPs and Inapproximability Gap-producing and Gap-Preserving Reductions My T. Thai 1 1 Hardness of Approximation Consider a maximization problem Π such as MAX-E3SAT. To show that it is NP-hard to approximation

More information

REU 2007 Transfinite Combinatorics Lecture 9

REU 2007 Transfinite Combinatorics Lecture 9 REU 2007 Transfinite Combinatorics Lecture 9 Instructor: László Babai Scribe: Travis Schedler August 10, 2007. Revised by instructor. Last updated August 11, 3:40pm Note: All (0, 1)-measures will be assumed

More information

Hypergraph Ramsey numbers

Hypergraph Ramsey numbers Hypergraph Ramsey numbers David Conlon Jacob Fox Benny Sudakov Abstract The Ramsey number r k (s, n is the minimum N such that every red-blue coloring of the k-tuples of an N-element set contains a red

More information

Near-domination in graphs

Near-domination in graphs Near-domination in graphs Bruce Reed Researcher, Projet COATI, INRIA and Laboratoire I3S, CNRS France, and Visiting Researcher, IMPA, Brazil Alex Scott Mathematical Institute, University of Oxford, Oxford

More information

Lecture 3: September 10

Lecture 3: September 10 CS294 Markov Chain Monte Carlo: Foundations & Applications Fall 2009 Lecture 3: September 10 Lecturer: Prof. Alistair Sinclair Scribes: Andrew H. Chan, Piyush Srivastava Disclaimer: These notes have not

More information

Bichain graphs: geometric model and universal graphs

Bichain graphs: geometric model and universal graphs Bichain graphs: geometric model and universal graphs Robert Brignall a,1, Vadim V. Lozin b,, Juraj Stacho b, a Department of Mathematics and Statistics, The Open University, Milton Keynes MK7 6AA, United

More information

Ramsey Unsaturated and Saturated Graphs

Ramsey Unsaturated and Saturated Graphs Ramsey Unsaturated and Saturated Graphs P Balister J Lehel RH Schelp March 20, 2005 Abstract A graph is Ramsey unsaturated if there exists a proper supergraph of the same order with the same Ramsey number,

More information

< k 2n. 2 1 (n 2). + (1 p) s) N (n < 1

< k 2n. 2 1 (n 2). + (1 p) s) N (n < 1 List of Problems jacques@ucsd.edu Those question with a star next to them are considered slightly more challenging. Problems 9, 11, and 19 from the book The probabilistic method, by Alon and Spencer. Question

More information

Size and degree anti-ramsey numbers

Size and degree anti-ramsey numbers Size and degree anti-ramsey numbers Noga Alon Abstract A copy of a graph H in an edge colored graph G is called rainbow if all edges of H have distinct colors. The size anti-ramsey number of H, denoted

More information

Cycle lengths in sparse graphs

Cycle lengths in sparse graphs Cycle lengths in sparse graphs Benny Sudakov Jacques Verstraëte Abstract Let C(G) denote the set of lengths of cycles in a graph G. In the first part of this paper, we study the minimum possible value

More information

Ramsey Theory. May 24, 2015

Ramsey Theory. May 24, 2015 Ramsey Theory May 24, 2015 1 König s Lemma König s Lemma is a basic tool to move between finite and infinite combinatorics. To be concise, we use the notation [k] = {1, 2,..., k}, and [X] r will denote

More information

Acyclic subgraphs with high chromatic number

Acyclic subgraphs with high chromatic number Acyclic subgraphs with high chromatic number Safwat Nassar Raphael Yuster Abstract For an oriented graph G, let f(g) denote the maximum chromatic number of an acyclic subgraph of G. Let f(n) be the smallest

More information

Lecture 5: The Principle of Deferred Decisions. Chernoff Bounds

Lecture 5: The Principle of Deferred Decisions. Chernoff Bounds Randomized Algorithms Lecture 5: The Principle of Deferred Decisions. Chernoff Bounds Sotiris Nikoletseas Associate Professor CEID - ETY Course 2013-2014 Sotiris Nikoletseas, Associate Professor Randomized

More information

Lecture 2: January 18

Lecture 2: January 18 CS271 Randomness & Computation Spring 2018 Instructor: Alistair Sinclair Lecture 2: January 18 Disclaimer: These notes have not been subjected to the usual scrutiny accorded to formal publications. They

More information

On a Conjecture of Thomassen

On a Conjecture of Thomassen On a Conjecture of Thomassen Michelle Delcourt Department of Mathematics University of Illinois Urbana, Illinois 61801, U.S.A. delcour2@illinois.edu Asaf Ferber Department of Mathematics Yale University,

More information

Maximum union-free subfamilies

Maximum union-free subfamilies Maximum union-free subfamilies Jacob Fox Choongbum Lee Benny Sudakov Abstract An old problem of Moser asks: how large of a union-free subfamily does every family of m sets have? A family of sets is called

More information

Graph coloring, perfect graphs

Graph coloring, perfect graphs Lecture 5 (05.04.2013) Graph coloring, perfect graphs Scribe: Tomasz Kociumaka Lecturer: Marcin Pilipczuk 1 Introduction to graph coloring Definition 1. Let G be a simple undirected graph and k a positive

More information

Ramsey-type problem for an almost monochromatic K 4

Ramsey-type problem for an almost monochromatic K 4 Ramsey-type problem for an almost monochromatic K 4 Jacob Fox Benny Sudakov Abstract In this short note we prove that there is a constant c such that every k-edge-coloring of the complete graph K n with

More information

THE METHOD OF CONDITIONAL PROBABILITIES: DERANDOMIZING THE PROBABILISTIC METHOD

THE METHOD OF CONDITIONAL PROBABILITIES: DERANDOMIZING THE PROBABILISTIC METHOD THE METHOD OF CONDITIONAL PROBABILITIES: DERANDOMIZING THE PROBABILISTIC METHOD JAMES ZHOU Abstract. We describe the probabilistic method as a nonconstructive way of proving the existence of combinatorial

More information

A sequence of triangle-free pseudorandom graphs

A sequence of triangle-free pseudorandom graphs A sequence of triangle-free pseudorandom graphs David Conlon Abstract A construction of Alon yields a sequence of highly pseudorandom triangle-free graphs with edge density significantly higher than one

More information

Discrete mathematics , Fall Instructor: prof. János Pach

Discrete mathematics , Fall Instructor: prof. János Pach Discrete mathematics 016-017, Fall Instructor: prof. János Pach - covered material - Lecture 1. Counting problems To read: [Lov]: 1.. Sets, 1.3. Number of subsets, 1.5. Sequences, 1.6. Permutations, 1.7.

More information

Large monochromatic components and long monochromatic cycles in random hypergraphs

Large monochromatic components and long monochromatic cycles in random hypergraphs Large monochromatic components and long monochromatic cycles in random hypergraphs Patric Bennett Louis DeBiasio Andrzej Dude Sean English September 9, 2017 Abstract We extend results of Gyárfás and Füredi

More information

Induced subgraphs with many repeated degrees

Induced subgraphs with many repeated degrees Induced subgraphs with many repeated degrees Yair Caro Raphael Yuster arxiv:1811.071v1 [math.co] 17 Nov 018 Abstract Erdős, Fajtlowicz and Staton asked for the least integer f(k such that every graph with

More information

The chromatic number of ordered graphs with constrained conflict graphs

The chromatic number of ordered graphs with constrained conflict graphs AUSTRALASIAN JOURNAL OF COMBINATORICS Volume 69(1 (017, Pages 74 104 The chromatic number of ordered graphs with constrained conflict graphs Maria Axenovich Jonathan Rollin Torsten Ueckerdt Department

More information

The structure of bull-free graphs I three-edge-paths with centers and anticenters

The structure of bull-free graphs I three-edge-paths with centers and anticenters The structure of bull-free graphs I three-edge-paths with centers and anticenters Maria Chudnovsky Columbia University, New York, NY 10027 USA May 6, 2006; revised March 29, 2011 Abstract The bull is the

More information

Properly colored Hamilton cycles in edge colored complete graphs

Properly colored Hamilton cycles in edge colored complete graphs Properly colored Hamilton cycles in edge colored complete graphs N. Alon G. Gutin Dedicated to the memory of Paul Erdős Abstract It is shown that for every ɛ > 0 and n > n 0 (ɛ), any complete graph K on

More information

The Lovász Local Lemma : A constructive proof

The Lovász Local Lemma : A constructive proof The Lovász Local Lemma : A constructive proof Andrew Li 19 May 2016 Abstract The Lovász Local Lemma is a tool used to non-constructively prove existence of combinatorial objects meeting a certain conditions.

More information

Counting Clusters on a Grid

Counting Clusters on a Grid Dartmouth College Undergraduate Honors Thesis Counting Clusters on a Grid Author: Jacob Richey Faculty Advisor: Peter Winkler May 23, 2014 1 Acknowledgements There are a number of people who have made

More information

The expansion of random regular graphs

The expansion of random regular graphs The expansion of random regular graphs David Ellis Introduction Our aim is now to show that for any d 3, almost all d-regular graphs on {1, 2,..., n} have edge-expansion ratio at least c d d (if nd is

More information

Theorem 1.7 [Bayes' Law]: Assume that,,, are mutually disjoint events in the sample space s.t.. Then Pr( )

Theorem 1.7 [Bayes' Law]: Assume that,,, are mutually disjoint events in the sample space s.t.. Then Pr( ) Theorem 1.7 [Bayes' Law]: Assume that,,, are mutually disjoint events in the sample space s.t.. Then Pr Pr = Pr Pr Pr() Pr Pr. We are given three coins and are told that two of the coins are fair and the

More information

Lecture Notes CS:5360 Randomized Algorithms Lecture 20 and 21: Nov 6th and 8th, 2018 Scribe: Qianhang Sun

Lecture Notes CS:5360 Randomized Algorithms Lecture 20 and 21: Nov 6th and 8th, 2018 Scribe: Qianhang Sun 1 Probabilistic Method Lecture Notes CS:5360 Randomized Algorithms Lecture 20 and 21: Nov 6th and 8th, 2018 Scribe: Qianhang Sun Turning the MaxCut proof into an algorithm. { Las Vegas Algorithm Algorithm

More information

Math 261A Probabilistic Combinatorics Instructor: Sam Buss Fall 2015 Homework assignments

Math 261A Probabilistic Combinatorics Instructor: Sam Buss Fall 2015 Homework assignments Math 261A Probabilistic Combinatorics Instructor: Sam Buss Fall 2015 Homework assignments Problems are mostly taken from the text, The Probabilistic Method (3rd edition) by N Alon and JH Spencer Please

More information

An alternative proof of the linearity of the size-ramsey number of paths. A. Dudek and P. Pralat

An alternative proof of the linearity of the size-ramsey number of paths. A. Dudek and P. Pralat An alternative proof of the linearity of the size-ramsey number of paths A. Dudek and P. Pralat REPORT No. 14, 2013/2014, spring ISSN 1103-467X ISRN IML-R- -14-13/14- -SE+spring AN ALTERNATIVE PROOF OF

More information

ACO Comprehensive Exam March 17 and 18, Computability, Complexity and Algorithms

ACO Comprehensive Exam March 17 and 18, Computability, Complexity and Algorithms 1. Computability, Complexity and Algorithms (a) Let G(V, E) be an undirected unweighted graph. Let C V be a vertex cover of G. Argue that V \ C is an independent set of G. (b) Minimum cardinality vertex

More information

Ma/CS 6b Class 15: The Probabilistic Method 2

Ma/CS 6b Class 15: The Probabilistic Method 2 Ma/CS 6b Class 15: The Probabilistic Method 2 By Adam Sheffer Reminder: Random Variables A random variable is a function from the set of possible events to R. Example. Say that we flip five coins. We can

More information

Monochromatic and Rainbow Colorings

Monochromatic and Rainbow Colorings Chapter 11 Monochromatic and Rainbow Colorings There are instances in which we will be interested in edge colorings of graphs that do not require adjacent edges to be assigned distinct colors Of course,

More information

Tail Inequalities. The Chernoff bound works for random variables that are a sum of indicator variables with the same distribution (Bernoulli trials).

Tail Inequalities. The Chernoff bound works for random variables that are a sum of indicator variables with the same distribution (Bernoulli trials). Tail Inequalities William Hunt Lane Department of Computer Science and Electrical Engineering, West Virginia University, Morgantown, WV William.Hunt@mail.wvu.edu Introduction In this chapter, we are interested

More information

List coloring hypergraphs

List coloring hypergraphs List coloring hypergraphs Penny Haxell Jacques Verstraete Department of Combinatorics and Optimization University of Waterloo Waterloo, Ontario, Canada pehaxell@uwaterloo.ca Department of Mathematics University

More information

Lecture 2: September 8

Lecture 2: September 8 CS294 Markov Chain Monte Carlo: Foundations & Applications Fall 2009 Lecture 2: September 8 Lecturer: Prof. Alistair Sinclair Scribes: Anand Bhaskar and Anindya De Disclaimer: These notes have not been

More information

Induced subgraphs of prescribed size

Induced subgraphs of prescribed size Induced subgraphs of prescribed size Noga Alon Michael Krivelevich Benny Sudakov Abstract A subgraph of a graph G is called trivial if it is either a clique or an independent set. Let q(g denote the maximum

More information

Decomposition of random graphs into complete bipartite graphs

Decomposition of random graphs into complete bipartite graphs Decomposition of random graphs into complete bipartite graphs Fan Chung Xing Peng Abstract We consider the problem of partitioning the edge set of a graph G into the minimum number τg of edge-disjoint

More information

THE EXTREMAL FUNCTIONS FOR TRIANGLE-FREE GRAPHS WITH EXCLUDED MINORS 1

THE EXTREMAL FUNCTIONS FOR TRIANGLE-FREE GRAPHS WITH EXCLUDED MINORS 1 THE EXTREMAL FUNCTIONS FOR TRIANGLE-FREE GRAPHS WITH EXCLUDED MINORS 1 Robin Thomas and Youngho Yoo School of Mathematics Georgia Institute of Technology Atlanta, Georgia 0-0160, USA We prove two results:

More information

Solutions to Problem Set 5

Solutions to Problem Set 5 UC Berkeley, CS 74: Combinatorics and Discrete Probability (Fall 00 Solutions to Problem Set (MU 60 A family of subsets F of {,,, n} is called an antichain if there is no pair of sets A and B in F satisfying

More information

Lecture 6: Random Walks versus Independent Sampling

Lecture 6: Random Walks versus Independent Sampling Spectral Graph Theory and Applications WS 011/01 Lecture 6: Random Walks versus Independent Sampling Lecturer: Thomas Sauerwald & He Sun For many problems it is necessary to draw samples from some distribution

More information

Colorings of uniform hypergraphs with large girth

Colorings of uniform hypergraphs with large girth Colorings of uniform hypergraphs with large girth Andrey Kupavskii, Dmitry Shabanov Lomonosov Moscow State University, Moscow Institute of Physics and Technology, Yandex SIAM conference on Discrete Mathematics

More information

Asymptotically optimal induced universal graphs

Asymptotically optimal induced universal graphs Asymptotically optimal induced universal graphs Noga Alon Abstract We prove that the minimum number of vertices of a graph that contains every graph on vertices as an induced subgraph is (1+o(1))2 ( 1)/2.

More information

Testing Equality in Communication Graphs

Testing Equality in Communication Graphs Electronic Colloquium on Computational Complexity, Report No. 86 (2016) Testing Equality in Communication Graphs Noga Alon Klim Efremenko Benny Sudakov Abstract Let G = (V, E) be a connected undirected

More information

On Some Three-Color Ramsey Numbers for Paths

On Some Three-Color Ramsey Numbers for Paths On Some Three-Color Ramsey Numbers for Paths Janusz Dybizbański, Tomasz Dzido Institute of Informatics, University of Gdańsk Wita Stwosza 57, 80-952 Gdańsk, Poland {jdybiz,tdz}@inf.ug.edu.pl and Stanis

More information