Ramsey number

From Graph
Revision as of 21:51, 29 May 2012 by Vipul (talk | contribs)

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