Preprocessing Disks for Convex Hulls, Revisited

TL;DR

This paper introduces a new preprocessing method for convex hull reconstruction of disks, focusing on unstable disks, achieving optimal time proportional to the number of unstable disks, and extends the approach to interval supersequences.

Contribution

It presents the first method to reconstruct convex hulls in time proportional to unstable disks, using supersequences for preprocessing, and extends the concept to one-dimensional intervals.

Findings

Reconstruction time is proportional to the number of unstable disks.

Supersequences enable decoupling preprocessing and reconstruction phases.

Results extend to creating supersequences for intervals in one dimension.

Abstract

In the preprocessing framework one is given a set of regions that one is allowed to preprocess to create some auxiliary structure such that when a realization of these regions is given, consisting of one point per region, this auxiliary structure can be used to reconstruct some desired output geometric structure more efficiently than would have been possible without preprocessing. Prior work showed that a set of $n$ unit disks of constant ply can be preprocessed in $O(n\log n)$ time such that the convex hull of any realization can be reconstructed in $O(n)$ time. (This prior work focused on triangulations and the convex hull was a byproduct.) In this work we show for the first time that we can reconstruct the convex hull in time proportional to the number of \emph{unstable} disks, which may be sublinear, and that such a running time is the best possible. Here a disk is called \emph{stable} if the combinatorial structure of the convex hull does not depend on the location of its realized point. The main tool by which we achieve our results is by using a supersequence as the auxiliary structure constructed in the preprocessing phase, that is we output a supersequence of the disks such that the convex hull of any realization is a subsequence. One advantage of using a supersequence as the auxiliary structure is that it allows us to decouple the preprocessing phase from the reconstruction phase in a stronger sense than was possible in previous work, resulting in two separate algorithmic problems which may be independent interest. Finally, in the process of obtaining our results for convex hulls, we solve the corresponding problem of creating such supersequences for intervals in one dimension, yielding corresponding results for that case.