Research notes on every problem, and a library of the papers behind them. Built from the open erdos repository.
Updated
Claims
1978_01_01_harborth: Every set of 10 points in general position in the plane contains an empty convex pentagon, and some 9 points contain none, so .
1983_12_01_horton: Horton constructs arbitrarily large planar point sets in general position with no empty convex heptagon, so does not exist for and the question whether always exists is answered negatively.
2007_09_01_nicolas: Every sufficiently large set of points in general position in the plane contains an empty convex hexagon, so exists.
2007_09_11_gerken: Every set of points in general position in the plane that contains a convex 9-gon contains an empty convex hexagon, so exists and is at most 1717.
2024_03_01_heule_scheucher: A satisfiability proof that every set of 30 points in general position in the plane contains an empty convex hexagon; with Overmars's 29-point set this gives , the last value of that exists.