TY - GEN

T1 - A superlinear lower bound on the number of 5-holes

AU - Aichholzer, O.

AU - Balko, Martin

AU - Hackl, T.

AU - Kyncl, J.

AU - Parada, I.

AU - Scheucher, M.

AU - Valtr, P.

AU - Vogtenhuber, B.

PY - 2017

Y1 - 2017

N2 - 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 $h_5(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 $h_5(n)$ have been of order $n)$ and~$O(n^2)$, respectively. We show that $h_5(n) = n4/5n)$, obtaining the first superlinear lower bound on $h_5(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.

AB - 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 $h_5(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 $h_5(n)$ have been of order $n)$ and~$O(n^2)$, respectively. We show that $h_5(n) = n4/5n)$, obtaining the first superlinear lower bound on $h_5(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.

U2 - 10.4230/LIPIcs.SoCG.2017.8

DO - 10.4230/LIPIcs.SoCG.2017.8

M3 - Conference contribution

VL - 77

T3 - Leibniz International Proceedings in Informatics (LIPIcs)

SP - 8:1-8:16

BT - 33rd International Symposium on Computational Geometry (SoCG 2017)

A2 - Aronov, Boris

A2 - Katz, Matthew J.

PB - Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik

CY - Brisbane, Australia

ER -