Self-improving Algorithms for Coordinate-Wise Maxima and Convex Hulls

Finding the coordinatewise maxima and the convex hull of a planar point set are probably the most classic problems in computational geometry. We consider these problems in the self-improving setting. Here, we have n distributions D-1,..., D-n of planar points. An input point set (p(1),..., p(n)) is generated by taking an independent sample pi from each D-i, so the input is distributed according to the product D = Pi(i) D-i. A self-improving algorithm repeatedly gets inputs from the distribution D (which is a priori unknown), and it tries to optimize its running time for D. The algorithm uses the first few inputs to learn salient features of the distribution D before it becomes fine-tuned to D. Let OPT-MAX(D) (resp., OPT-CHD) be the expected depth of an optimal linear comparison tree computing the maxima (resp., convex hull) for D. Our maxima algorithm eventually achieves expected running time O(OPT-MAX(D) +n) furthermore, we give a self-improving algorithm for convex hulls with expected running time O(OPT-CHD +n log log n). Our results require new tools for understanding linear comparison trees. In particular, we convert a general linear comparison tree to a restricted version that can then be related to the running time of our algorithms. Another interesting feature is an interleaved search procedure to determine the likeliest point to be extremal with minimal computation. This allows our algorithms to be competitive with the optimal algorithm for D.