Voronoi Diagram and Delaunay Triangulation with Independent and Dependent Geometric Uncertainties

Abstract

We address the problems of constructing the Voronoi diagram (VD) and Delaunay triangulation (DT) of points in the plane with mutually dependent location uncertainties, testing their stability, and computing their components. Point coordinate uncertainties are modeled with the Linear Parametric Geometric Uncertainty Model (LPGUM), a deterministic, expressive and computationally efficient first order linear approximation of geometric uncertainty that supports parametric dependencies between point locations. We define an uncertain three-point circle and its properties and present in-circle-test algorithms for the dependent and the independent cases whose respective time complexity is [Formula: see text] and [Formula: see text], where [Formula: see text] is the number of parameters that describe the points location uncertainty and [Formula: see text] is the complexity of quartic [Formula: see text]-variable optimization. We define the uncertain VD and DT of [Formula: see text] LPGUM points and show that an unstable VD may have an exponential number of topologically different instances. We describe algorithms for testing VD and DT stability whose time complexity is [Formula: see text] and [Formula: see text] for the dependent and independent cases when the nominal (exact) VD is given. We present algorithms to compute the vertices, edges, and faces of uncertain VD and DT for the independent case whose complexity is [Formula: see text] time and [Formula: see text] space. Finally, we describe algorithms for answering exact and uncertain point location queries in a stable uncertain VD and for dynamically updating it in [Formula: see text] and [Formula: see text] average case time complexity for the independent and dependent cases.