Using the incompressibility method to obtain local lemma results for Ramsey-type problems

  • Authors:
  • Pascal Schweitzer

  • Affiliations:
  • Max-Planck-Institut für Informatik, Campus E1 4, 66123 Saarbrücken, Germany

  • Venue:
  • Information Processing Letters
  • Year:
  • 2009

Quantified Score

Hi-index 0.89

Visualization

Abstract

We reveal a connection between the incompressibility method and the Lovasz local lemma in the context of Ramsey theory. We obtain bounds by repeatedly encoding objects of interest and thereby compressing strings. The method is demonstrated on the example of van der Waerden numbers. In particular we reprove that w(k;c)=c^k^-^3k@?k-1k. The method is applicable to obtain lower bounds of Ramsey numbers, large transitive subtournaments and other Ramsey phenomena as well.