06.09.2021 Views

Combinatorics Through Guided Discovery, 2004a

Combinatorics Through Guided Discovery, 2004a

Combinatorics Through Guided Discovery, 2004a

SHOW MORE
SHOW LESS

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

36 2. Applications of Induction and Recursion in <strong>Combinatorics</strong> and Graph Theory<br />

⇒ ·<br />

Problem 81. Prove that R(m, n) exists by proving that if there are ( m+n−2<br />

m−1 )<br />

people in a room, then there are either at least m mutual acquaintances or<br />

at least n mutual strangers. (h)<br />

· Problem 82. Prove that R(m, n) ≤ R(m − 1, n)+R(m, n − 1). (h)<br />

⇒ ·<br />

Problem 83.<br />

(a) What does the equation in Problem 82 tell us about R(4, 4)?<br />

∗ (b)<br />

Consider 17 people arranged in a circle such that each person is acquainted<br />

with the first, second, fourth, and eighth person to the right<br />

and the first, second, fourth, and eighth person to the left. can you<br />

find a set of four mutual acquaintances? Can you find a set of four<br />

mutual strangers? (h)<br />

(c) What is R(4, 4)?<br />

Problem 84. (Optional) Prove the inequality of Problem 81 by induction on<br />

m + n.<br />

Problem 85. Use Stirling’s approximation (Problem 46) to convert the upper<br />

bound for R(n, n) that you get from Problem 81 to a multiple of a power of<br />

an integer.<br />

2.1.6 A bit of asymptotic combinatorics<br />

Problem 83 gives us an upper bound on R(n, n). A very clever technique due to<br />

Paul Erdös, called the “probabilistic method,” will give a lower bound. Since both<br />

bounds are exponential in n, they show that R(n, n) grows exponentially as n gets<br />

large. An analysis of what happens to a function of n as n gets large is usually called<br />

an asymptotic analysis. The probabilistic method, at least in its simpler forms,<br />

can be expressed in terms of averages, so one does not need to know the language<br />

of probability in order to understand it. We will apply it to Ramsey numbers in<br />

the next problem. Combined with the result of Problem 83, this problem will give<br />

us that √ 2 n < R(n, n) < 2 2n−2 , so that we know that the Ramsey number R(n, n)<br />

grows exponentially with n.

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!