A SAT attack on the Erdős–Szekeres conjecture

Martin Balko, Pavel Valtr

Research output: Contribution to journalArticlepeer-review

4 Scopus citations


A classical conjecture of Erdős and Szekeres states that, for every integer k≥2, every set of 2k−2+1 points in the plane in general position contains k points in convex position. In 2006, Peters and Szekeres introduced the following stronger conjecture: every red-blue coloring of the edges of the ordered complete 3-uniform hypergraph on 2k−2+1 vertices contains an ordered subhypergraph with k vertices and k−2 edges, which is a union of a red monotone path and a blue monotone path that are vertex disjoint except for their two common end-vertices. Applying a state of art SAT solver, we refute the conjecture of Peters and Szekeres. We also apply techniques of Erdős, Tuza, and Valtr to refine the Erdős–Szekeres conjecture in order to tackle it with SAT solvers.

Original languageEnglish
Pages (from-to)13-23
Number of pages11
JournalEuropean Journal of Combinatorics
StatePublished - 1 Dec 2017
Externally publishedYes

ASJC Scopus subject areas

  • Discrete Mathematics and Combinatorics


Dive into the research topics of 'A SAT attack on the Erdős–Szekeres conjecture'. Together they form a unique fingerprint.

Cite this