Mathematics Atlas

How Proof Is Made
Sign In
Text size
100%
Theme
Mathematical Object

Ramsey Numbers

Combinatorics and Graph Theory

The Ramsey numbers are a sequence of numbers in combinatorics that answer the question of how large a group of people must be to guarantee that some fixed number of them are all mutual acquaintances or all mutual strangers, a formulation of the broader principle, named after the British mathematician and philosopher Frank Ramsey, that complete disorder is impossible and any sufficiently large structure must contain some highly organized substructure. The Ramsey number R(m,n) is the smallest number of vertices a complete graph must have so that, however its edges are colored in two colors, it is guaranteed to contain either a completely one colored subgraph of m vertices or a completely differently colored subgraph of n vertices. Even small Ramsey numbers are notoriously difficult to compute exactly; the value of R(5,5) remains unknown, known only to lie between 43 and 48, and the mathematician Paul Erdős famously remarked that humanity would be hard pressed to compute it even under the threat of alien invasion, given the astronomical size of the search involved.

Facts
Partially Attested
Origin Year
1935 2
Ramsey's underlying theorem was proved by Frank Ramsey in a paper read in 1928; the Ramsey numbers themselves, with their now standard bounds, were introduced in this 1935 paper by Erdos and Szekeres.
Classification
Object Kind
Number 1
Connections

Is Kind Of Object

Sources
1. Wikipedia: Ramsey number
Definition section
Quote, Definition section
Ramsey's theorem states that there exists a least positive integer R(r, s) for which every blue-red edge colouring of the complete graph on R(r, s) vertices contains a blue clique on r vertices or a red clique on s vertices.
View the Source
2. Wikipedia: Happy ending problem
Larger polygons
Quote, Larger polygons
Erdős & Szekeres (1935) proved the following generalisation: The proof appeared in the same paper that proves the Erdős-Szekeres theorem on monotonic subsequences in sequences of numbers.
View the Source
Comments (0)
No comments yet. Be the first to share a thought.
Reader Challenges (0)
No disputes yet. Spotted an error or a better source? Open the first one.