A superlinear lower bound on the number of 5-holes

O. Aichholzer, Martin Balko, T. Hackl, J. Kyncl, I. Parada, M. Scheucher, P. Valtr, B. Vogtenhuber

Research output: Chapter in Book/Report/Conference proceedingConference paperpeer-review


Let P be a finite set of points in the plane in general position, that is, no three points of P are on a common line. We say that a set H of five points from P is a 5-hole in P if H is the vertex set of a convex 5-gon containing no other points of P. For a positive integer n, let h5(n) be the minimum number of 5-holes among all sets of n points in the plane in general position. Despite many efforts in the last 30 years, the best known asymptotic lower and upper bounds for h5(n) have been of order Ω(n) and O(n2), respectively. We show that h5(n) = Ω(n log4/5 n), obtaining the first superlinear lower bound on h5(n). The following structural result, which might be of independent interest, is a crucial step in the proof of this lower bound. If a finite set P of points in the plane in general position is partitioned by a line ℓ into two subsets, each of size at least 5 and not in convex position, then ℓ intersects the convex hull of some 5-hole in P. The proof of this result is computer-assisted Pavel.
Original languageEnglish
Title of host publication33rd International Symposium on Computational Geometry (SoCG 2017)
EditorsBoris Aronov, Matthew J. Katz
PublisherSchloss Dagstuhl - Leibniz-Zentrum für Informatik
ISBN (Electronic)978-395977038-5
Publication statusPublished - 2017
Event33rd International Symposium on Computational Geometry: SoCG 2017 - The University of Queensland, St Lucia, Brisbane, Australia
Duration: 4 Jul 20177 Jul 2017

Publication series

NameLeibniz International Proceedings in Informatics (LIPIcs)
PublisherSchloss Dagstuhl--Leibniz-Zentrum fuer Informatik


Conference33rd International Symposium on Computational Geometry
Abbreviated titleSoCG
Internet address


Dive into the research topics of 'A superlinear lower bound on the number of 5-holes'. Together they form a unique fingerprint.

Cite this