Abstract:The convex hull of a data set $P$ is the smallest convex set that contains $P$. In this work, we present a new data structure for convex hull, that allows for efficient dynamic updates. In a dynamic convex hull implementation, the following traits are desirable: (1) algorithms for efficiently answering queries as to whether a specified point is inside or outside the hull, (2) adhering to geometric robustness, and (3) algorithmic simplicity.Furthermore, a specific but well-motivated type of two-dimensional data is rank-based data. Here, the input is a set of real-valued numbers $Y$ where for any number $y\in Y$ its rank is its index in $Y$'s sorted order. Each value in $Y$ can be mapped to a point $(rank, value)$ to obtain a two-dimensional point set. In this work, we give an efficient, geometrically robust, dynamic convex hull algorithm, that facilitates queries to whether a point is internal. Furthermore, our construction can be used to efficiently update the convex hull of rank-ordered data, when the real-valued point set is subject to insertions and deletions. Our improved solution is based on an algorithmic simplification of the classical convex hull data structure by Overmars and van Leeuwen~[STOC'80], combined with new algorithmic insights. Our theoretical guarantees on the update time match those of Overmars and van Leeuwen, namely $O(\log^2 |P|)$, while we allow a wider range of functionalities (including rank-based data). Our algorithmic simplification includes simplifying an 11-case check down to a 3-case check that can be written in 20 lines of easily readable C-code. We extend our solution to provide a trade-off between theoretical guarantees and the practical performance of our algorithm. We test and compare our solutions extensively on inputs that were generated randomly or adversarially, including benchmarking datasets from the literature.

Constructing the Convex Hull of A Planar Density-Bounded Integral Points Set in Linear Time

Convex hull properties and algorithms

Determining Convexo-Concave Vertices of Polygonby Dynamic Distinct Partition

A Fast Convex Hull Algorithm for Ring-Distributed Planar Point Sets

GPU Accelerated Convex Hull Computation.

A Gird-aided Algorithm for Determining the Minimum Convex Hull of Planar Points Set

Convex decompositions of point sets in the plane

Algorithmic Efficiency in Convex Hull Computation: Insights from 2D and 3D Implementations

Dynamic Convex Hulls for Simple Paths

Simple and Robust Dynamic Two-Dimensional Convex Hull

CudaChain: A Practical GPU-accelerated 2D Convex Hull Algorithm

An Improved Graham Algorithm for Determining the Convex Hull of Planar Points Set

New Algorithm for Convex Hull of Planer Point Set

Rectilinear convex hull of points in 3D and applications

A Lower Bound to Finding Convex Hulls

Point-in-Convex Polygon and Point-in-Convex Polyhedron Algorithms with O(1) Complexity using Space Subdivision

The Convex-Hull of A Set of Convex Polygons

Constructing Intrinsic Delaunay Triangulations from the Dual of Geodesic Voronoi Diagrams

Probabilistic Convex Hull Queries over Uncertain Data

Space Subdivision to Speed-up Convex Hull Construction in E3

Note on the complexity of the mixed-integer hull of a polyhedron