The Ramsey number is the least such that every -vertex graph contains a clique of size or an independent set of size . Take and choose a vertex . Among its other vertices, either it has at least neighbours or it has at least nonneighbours.
In the first case those neighbours contain an independent -set or an -clique, which joins to form an -clique. In the second case the nonneighbours contain an -clique or an independent -set, which joins to form an independent -set. This proves

Articles by others on the same topic (0)

There are currently no matching articles.