Combinatorics (Fall 2010)/Ramsey theory: Difference between revisions

From TCS Wiki
Jump to navigation Jump to search
imported>WikiSysop
imported>WikiSysop
Line 3: Line 3:


=== The "Happy Ending" problem ===
=== The "Happy Ending" problem ===
{{Theorem|Theorem (Erdős-Szekeres 1935)|
:For any positive integer <math>n\ge 3</math>, there is an <math>N(n)</math> such that any collection of <math>N\ge N(n)</math> points in the Euclidian plane, no three of which are collinear, contains <math>n</math> points forming a convex <math>n</math>-gon.
}}


=== Yao's lower bound on implicit data structures ===
=== Yao's lower bound on implicit data structures ===

Revision as of 08:14, 17 November 2010

Ramsey's Theorem

Ramsey number

The "Happy Ending" problem

Theorem (Erdős-Szekeres 1935)
For any positive integer [math]\displaystyle{ n\ge 3 }[/math], there is an [math]\displaystyle{ N(n) }[/math] such that any collection of [math]\displaystyle{ N\ge N(n) }[/math] points in the Euclidian plane, no three of which are collinear, contains [math]\displaystyle{ n }[/math] points forming a convex [math]\displaystyle{ n }[/math]-gon.

Yao's lower bound on implicit data structures

Linial's lower bound on local computations

Ramsey-like Theorems

Van der Waerden's Theorem

Hales–Jewett Theorem