Problem #103 HARD
The Pigeons in the Boxes — Infinite Ramsey
Paradox Combinatorics Ramsey Logic
Problem Statement
Six people are at a party. Prove that there must exist at least 3 people who all know each other, OR at least 3 people none of whom know each other. You cannot avoid one or the other. Now generalise: what is the minimum number of people needed to guarantee 4 mutual friends OR 4 mutual strangers? This is the Ramsey number R(4,4).
Answer & Quick Explanation
Think you've got it? Click below to check your answer.
R(3,3)=6: any 6 people contain 3 mutual friends or 3 mutual strangers. Proof: pigeonhole on any person's 5 relationships forces 3 same-type, then examine those 3. R(4,4)=18 (proved 1979). R(5,5) is unknown. Ramsey theory guarantees inevitable structure in large enough systems — complete disorder is impossible.
WOW Moment:
- 6 people at a party. No choice of friendships can avoid: 3 mutual friends OR 3 mutual strangers. Try to construct a counterexample. You cannot.
- R(3,3) = 6. Proved.
- R(4,4) = 18. Proved in 1979.
- R(5,5) = ? Unknown. Best known: between 43 and 48.
- Paul Erdős said about R(6,6): 'Suppose aliens arrive and demand we tell them R(6,6) or they will destroy Earth. We should combine all our mathematical ability to find it. But if they demand R(7,7), we should attack the aliens.'
- We cannot compute the Ramsey number R(7,7). We know it is between 205 and 540. That gap has barely moved in 50 years. Some mathematical truths are true but unreachable.
Detailed Editorial Solution
Want to see the step-by-step breakdown? Click below to reveal the editorial.
Ramsey's Theorem is a foundational result in combinatorics. It formalizes the philosophical idea that complete disorder is impossible: in any sufficiently large system, order and structure must inevitably emerge.
Proof of R(3,3) = 6:
Represent the 6 people as vertices of a complete graph K6. The edges are colored either Red (friends) or Blue (strangers). We want to prove that there must exist a monochromatic triangle (3 vertices connected entirely by Red edges or entirely by Blue edges).
1. Select any vertex, A. There are 5 edges connected to A (since the graph has 6 vertices).
2. Each of these 5 edges is colored Red or Blue.
3. By the Pigeonhole Principle, at least 3 of these 5 edges must share the same color.
Without loss of generality, let at least 3 edges be Red. Let these edges connect A to vertices B, C, and D.
4. Now, examine the edges between B, C, and D:
- If any of the edges (B, C), (C, D), or (D, B) is Red:
Say (B, C) is Red. Then the triangle (A, B, C) is entirely Red (since we already know (A, B) and (A, C) are Red). We have 3 mutual friends.
- If none of the edges (B, C), (C, D), or (D, B) is Red:
Then all three edges (B, C), (C, D), and (D, B) must be Blue. In this case, the triangle (B, C, D) is entirely Blue. We have 3 mutual strangers.
5. In either case, a monochromatic triangle is guaranteed. Thus, R(3,3) = 6.
To explain the WOW part:
- The Ramsey number R(r, s) is the minimum number of vertices N such that any red-blue coloring of the complete graph KN contains a red Kr or a blue Ks.
- R(4,4) = 18. This means 18 people guarantee 4 mutual friends or 4 mutual strangers.
- Why is R(5,5) unknown? The number of possible colorings of a graph with n vertices grows exponentially as 2^(n(n-1)/2). For n = 43, this is 2^903 ≈ 10^271, which is vastly greater than the number of atoms in the observable universe. We cannot find the exact number by brute-force computation.
- Paul Erdős' famous quote about the aliens illustrates the extreme difficulty of computing Ramsey numbers: "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, we should marshal all our computers and all our mathematicians and we could find the value. But if they ask for R(6,6), we should instead focus all our energy on building a military force to destroy them, because computing R(6,6) is beyond the capacity of our species."