Ma/CS 6b Class 12: Ramsey Theory

Similar documents
Ma/CS 6b Class 10: Ramsey Theory

Zhibin Huang 07. Juni Zufällige Graphen

Matchings, Ramsey Theory, And Other Graph Fun

Ma/CS 6b Class 5: Graph Connectivity

1. The following graph is not Eulerian. Make it into an Eulerian graph by adding as few edges as possible.

HW Graph Theory SOLUTIONS (hbovik) - Q

Ma/CS 6b Class 26: Art Galleries and Politicians

ECS 20 Lecture 17b = Discussion D8 Fall Nov 2013 Phil Rogaway

Ma/CS 6b Class 2: Matchings

Ma/CS 6b Class 4: Matchings in General Graphs

2010 SMT Power Round

5 Graphs

Scheduling, Map Coloring, and Graph Coloring

Assignment 4 Solutions of graph problems

Ma/CS 6b Class 13: Counting Spanning Trees

DO NOT RE-DISTRIBUTE THIS SOLUTION FILE

Ma/CS 6a Class 8: Eulerian Cycles

Big numbers, graph coloring, and Herculesʼ battle with the hydra

Math 575 Exam 3. (t). What is the chromatic number of G?

Ma/CS 6b Class 7: Minors

Ma/CS 6a Class 9: Coloring

Maximal Monochromatic Geodesics in an Antipodal Coloring of Hypercube

Math 776 Graph Theory Lecture Note 1 Basic concepts

Combinatorial Gems. Po-Shen Loh. June 2009

Math Circles: Pigeons and Rams(ey)

Graph Theory Part Two

Discrete Mathematics for CS Spring 2008 David Wagner Note 13. An Introduction to Graphs

Instructor: Paul Zeitz, University of San Francisco

Order from Chaos. University of Nebraska-Lincoln Discrete Mathematics Seminar

Matching Algorithms. Proof. If a bipartite graph has a perfect matching, then it is easy to see that the right hand side is a necessary condition.

Problem Set 2 Solutions

(5.2) 151 Math Exercises. Graph Terminology and Special Types of Graphs. Malek Zein AL-Abidin

Assignment # 4 Selected Solutions

Paths, Circuits, and Connected Graphs

A graph is a mathematical structure for representing relationships.

Discrete Mathematics and Probability Theory Fall 2009 Satish Rao,David Tse Note 8

Graph theory. Po-Shen Loh. June We begin by collecting some basic facts which can be proved via bare-hands techniques.

Combinatorics Summary Sheet for Exam 1 Material 2019

MC302 GRAPH THEORY SOLUTIONS TO HOMEWORK #1 9/19/13 68 points + 6 extra credit points

8.2 Paths and Cycles

A Theorem of Ramsey- Ramsey s Number

Matching Theory. Figure 1: Is this graph bipartite?

Section 8.2 Graph Terminology. Undirected Graphs. Definition: Two vertices u, v in V are adjacent or neighbors if there is an edge e between u and v.

Subdivided graphs have linear Ramsey numbers

Extremal Graph Theory. Ajit A. Diwan Department of Computer Science and Engineering, I. I. T. Bombay.

Discrete Mathematics and Probability Theory Fall 2013 Vazirani Note 7

Adjacent: Two distinct vertices u, v are adjacent if there is an edge with ends u, v. In this case we let uv denote such an edge.

Math.3336: Discrete Mathematics. Chapter 10 Graph Theory

Gallai-Ramsey Numbers for C7 with Multiple Colors

Characterizing Graphs (3) Characterizing Graphs (1) Characterizing Graphs (2) Characterizing Graphs (4)

11.4 Bipartite Multigraphs

EMBEDDING INTO l n. 1 Notation and Lemmas

8 Colouring Planar Graphs

Counting: Basics. Rosen, Chapter 6.1

Order from Chaos. Nebraska Wesleyan University Mathematics Circle

Paperclip graphs. Steve Butler Erik D. Demaine Martin L. Demaine Ron Graham Adam Hesterberg Jason Ku Jayson Lynch Tadashi Tokieda

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

Math 170- Graph Theory Notes

SUBDIVISIONS OF TRANSITIVE TOURNAMENTS A.D. SCOTT

Solving problems on graph algorithms

HW Graph Theory SOLUTIONS (hbovik)

How can we lay cable at minimum cost to make every telephone reachable from every other? What is the fastest route between two given cities?

Ma/CS 6b Class 11: Kuratowski and Coloring

1 Matchings in Graphs

MC 302 GRAPH THEORY 10/1/13 Solutions to HW #2 50 points + 6 XC points

Small Survey on Perfect Graphs

Math236 Discrete Maths with Applications

Extremal results for Berge-hypergraphs

My Favorite Problems, 4 Harold B. Reiter University of North Carolina Charlotte

Math 778S Spectral Graph Theory Handout #2: Basic graph theory

Chapter 4. Relations & Graphs. 4.1 Relations. Exercises For each of the relations specified below:

Graph Theory Day Four

Lecture 6: Graph Properties

Counting. Rosen, Chapter 6 Walls and Mirrors, Chapter 3

2. Lecture notes on non-bipartite matching

Today. Types of graphs. Complete Graphs. Trees. Hypercubes.

2009 HMMT Team Round. Writing proofs. Misha Lavrov. ARML Practice 3/2/2014

1 Some Solution of Homework

Edge Colorings of Complete Multipartite Graphs Forbidding Rainbow Cycles

1 Counting triangles and cliques

Theorem 3.1 (Berge) A matching M in G is maximum if and only if there is no M- augmenting path.

DEFINITION OF GRAPH GRAPH THEORY GRAPHS ACCORDING TO THEIR VERTICES AND EDGES EXAMPLE GRAPHS ACCORDING TO THEIR VERTICES AND EDGES

Counting: Basics. A simple counting problem. Counting: the product rule. Relation to Cartesian products. Relation to Cartesian products

CHAPTER 2. Graphs. 1. Introduction to Graphs and Graph Isomorphism

Extremal Graph Theory: Turán s Theorem

The Probabilistic Method

IMO Training 2008: Graph Theory

CPCS Discrete Structures 1

The vertex set is a finite nonempty set. The edge set may be empty, but otherwise its elements are two-element subsets of the vertex set.

CHAPTER 10 GRAPHS AND TREES. Alessandro Artale UniBZ - artale/z

The strong chromatic number of a graph

Partitioning Complete Multipartite Graphs by Monochromatic Trees

CONNECTIVITY AND NETWORKS

CMSC 380. Graph Terminology and Representation

Elements of Graph Theory

The clique number of a random graph in (,1 2) Let ( ) # -subgraphs in = 2 =: ( ) We will be interested in s.t. ( )~1. To gain some intuition note ( )

The clique number of a random graph in (,1 2) Let ( ) # -subgraphs in = 2 =: ( ) 2 ( ) ( )

14 More Graphs: Euler Tours and Hamilton Cycles

Pentagons vs. triangles

INTRODUCTION TO THE HOMOLOGY GROUPS OF COMPLEXES

Transcription:

Ma/CS 6b Class 12: Ramsey Theory By Adam Sheffer The Pigeonhole Principle The pigeonhole principle. If n items are put into m containers, such that n > m, then at least one container contains more than one item. 1

Counting Hairs Prove. There exist two people such that both live in London and have exactly the same number of hairs on their head at this specific moment. Solution Population of London: about 8.3 million. Average amount of hairs on head (according to a random website): Blondes: 140,000. Black hair: 110,000. Red hair: 90,000. For simplicity, assume that no person has more than 1,000,000 hairs. By the pigeonhole principle, there must be at least eight people with London, all with the same number of hairs. 2

An Erdös Initiation Question Prove. Consider a subset A 1,2,3,, 2n with A = n + 1. Then there exist b, c A such that b divides c. Answer. Write every a A as 2 k m, where m is odd. There are n possible values for m. By the pigeonhole principle, there are two elements of A with the same m. One of those divides the other. Mutual Acquaintances Prove. Among every six people, it is possible to find either three mutual acquaintances or three non-mutual acquaintances. Solution. We build a graph. A vertex for every person. An edge between every pair of people who know each other. 3

Rephrasing the Problem Prove. In a graph with six vertices, there is either a cycle of length three or three vertices with no edges between them. Solution. Consider a vertex v. By the pigeonhole principle, there are either at least three vertices adjacent to it, or at least three vertices that are not. Solution Say that v is connected to three of the other vertices u 1, u 2, u 3. If no edge exists in the subgraph induced by u 1, u 2, u 3, then we are done. If there exists an edge between u i and u j, then v, u i, u j is a cycle of length three. The case where v is not connected to three vertices is treated symmetrically. v u 1 u 3 u 2 4

Reminder: Hypercube Graphs The d-dimensional hypercube graph Q d. Every vertex is a point with d coordinates, each either 0 or 1. Two vertices are adjacent if they have d 1 common coordinates. 2 d vertices. 2 d 1 d edges. 1 (0,1) (1,1) 0 (0,0) (1,0) Spanning Trees in Hypercubes Theorem. Let T be a spanning tree of the hypercube graph Q d = V, E. Then there exists an edge e E such that inserting e to T yields a cycle of length at least 2d. 5

Solution We say that two vertices v, v V are opposite if they differ in all d coordinates. For every v V, we consider the path in T from v to its opposite v. We direct the first edge in this path so that it leaves v. A spanning tree has V 1 edge, and we just directed V of those, so by the pigeonhole principle there is an edge e E v that was directed twice! v Solution (cont.) u, v E an edge that was directed twice. It is the first edge in the path in T from v to v and the first edge in the path in T from u to u. Thus, the path from v to u and the path from u to v are disjoint. Each of these paths is of length at least d 1 since v, v and u, u are opposite pairs. Adding the edge (v, u ) yields a cycle of length at least 2d ( v, u E since there is an edge between the two opposite vertices). v u v u 6

An Alternative Formulation Pigeonhole principle. If there are n pigeons and n + 1 holes, then at least one pigeon must have at least two holes in it. Ramsey Numbers (Special Case) p 1,, p k positive integers. The Ramsey number R p 1,, p k ; 2 is the minimum integer n such that for every coloring of the edges of K n using k colors, at least one of the following subgraphs exists: A K p1 colored only with color 1. A K p2 colored only with color 2. A K pk colored only with color k. 7

An Example The expression n = R 3,3,3,3; 2 means that every coloring of the edges of K n using four colors contains a monochromatic triangle. Another Example We already proved that R 3,3; 2 = 6. In the 6-people problem we proved that any coloring K 6 using two colors contains a monochromatic triangle. This is not the case for K 5. 8

A Special Case In this class we only study the case of two colors. For simplicity, we write R r, s instead of R r, s; 2. R(2,4) What is R(2,4)? Either there is a red K 2, which is just a red edge, or there is a blue K 4. This is the case for any coloring of K 4, but not for any coloring of K 3. Thus, R(2,4) = 4. 9

Fighting Aliens Erdős asks us to imagine an alien force, vastly more powerful than us, landing on Earth and demanding the value of R(5, 5) or they will destroy our planet. In that case, he claims, we should marshal all our computers and all our mathematicians and attempt to find the value. But suppose, instead, that they ask for R(6, 6). In that case, he believes, we should attempt to destroy the aliens. Joel Spencer The Known Bounds Best known bounds for R r, s : * Taken from Wikipedia 10

R 3,4 The coloring of K 8 below contains no blue K 3 and no red K 4. Therefore, R 3,4 > 8. Claim. R 3,4 = 9. Consider any red-blue coloring of the edges of K 9 and pick any vertex u. Assume that u is incident to the vertices {v 1,, v 4 } by red edges. Since R 2,4 = 4, either there is a blue K 4 or there is a red K 3 containing u. R 3,4 Analysis Consider any red-blue coloring of the edges of K 9, and pick any vertex u. If u is incident to four red edges, we are done. Assume that u is incident to the vertices {v 1,, v 6 } by blue edges. Since R 3,3 = 6, either we have a red K 3, or we have a blue K 4 containing u. Since deg u = 8, it remains to consider the case where u is incident to three red edges and to five blue edges. 11

Completing the R 3,4 Analysis It remains to consider the case where every vertex of K 9 is incident to exactly three red edges. By deleting the blue edges, we remain with nine vertices of degree three. This is impossible since the sum of the degrees must be even! Thus, this case cannot happen. A General Relation Claim. R p 1, p 2 R p 1 1, p 2 + R p 1, p 2 1. Proof. We take use colors red and blue. Set n = R p 1 1, p 2 + R p 1, p 2 1 We need to show that in any edge coloring of K n either there is a red K p1, or there is a blue K p2. 12

R p 1, p 2 R p 1 1, p 2 + R p 1, p 2 1. Set s = R p 1 1, p 2, t = R p 1, p 2 1. n = s + t. Consider a red-blue coloing of K n. Let v be a vertex in K n. Since there are s + t 1 other vertices in K n, v is either incident to at least s red edges or to at least t blue edges. Assume that v is incident to at least s red edges. Thus, the red neighbors of v either contain a red K p1 1 or a blue K p2. In the latter case we are done. In the former, adding v yields a red K p1. Illustration If v is incident to at least s red edges, we consider the other endpoint of these edges. If they contain a red K p1 1, we add v to it. v 13

Asymptotic Bounds By using R p 1, p 2 R p 1 1, p 2 + R p 1, p 2 1 one can show that R p, p c 4p p (for some constant c). Theorem. R p, p > 2 p/2. Proof Consider all 2 n 2 red-blue colorings of K n. A subset of p vertices of K n forms a red or blue K p in 2 n 2 p 2 +1 of these colorings. n There are at most p 2 n 2 p 2 +1 colorings that contain a monochromatic K p. n Thus, if p p 2 2 +1 < 1, there must be colorings with no monochromatic K p. This happens approximately when n < 2 p/2, so R p, p > 2 p/2. 14

The End In the 1950 s, the Hungarian sociologist Sandor Szalai studied friendship relationships between children. He observed that in any group of around 20 children he was able to find four children who were mutual friends, or four children such that no two of them were friends. Is this an interesting sociological phenomena? 15