Ramsey number
Definition
For two parameters
Suppose are positive integers. The Ramsey number is defined as the smallest positive integer such that, for any graph whose vertex set has size , either the clique number is at least or the independence number is at least . More explicitly, for any graph whose vertex set has size , the graph must either contain a -clique (i.e., vertices all adjacent to each other) or an independent set of size ( vertices no two of which are adjacent to each other).
Facts
- Ramsey numbers are symmetric:
- for all positive integers
- for all positive integers
- Recurrence relation bound for Ramsey numbers: This states that
- Binomial coefficient bound for Ramsey numbers: This states that