TY - JOUR

T1 - Randomized incremental construction for the Hausdorff Voronoi diagram revisited and extended

AU - Arseneva, Elena

AU - Papadopoulou, Evanthia

PY - 2019

Y1 - 2019

N2 - The Hausdorff Voronoi diagram of clusters of points in the plane is a generalization of Voronoi diagrams based on the Hausdorff distance function. Its combinatorial complexity is O(n+ m) , where n is the total number of points and m is the number of crossings between the input clusters (m= O(n2)); the number of clusters is k. We present efficient algorithms to construct this diagram following the randomized incremental construction (RIC) framework (Clarkson and Shor in Discrete Comput Geom 4:387–421, 1989; Clarkson et al. in Comput Geom Theory Appl 3(4):185–212, 1993). Our algorithm for non-crossing clusters (m= 0) runs in expected O(nlog n+ klog nlog k) time and deterministic O(n) space. The algorithm for arbitrary clusters runs in expected O((m+ nlog k) log n) time and O(m+ nlog k) space. The two algorithms can be combined in a crossing-oblivious scheme within the same bounds. We show how to apply the RIC framework to handle non-standard characteristics of generalized Voronoi diagrams, including sites (and bisectors) of non-constant complexity, sites that are not enclosed in their Voronoi regions, empty Voronoi regions, and finally, disconnected bisectors and disconnected Voronoi regions. The Hausdorff Voronoi diagram finds direct applications in VLSI CAD.

AB - The Hausdorff Voronoi diagram of clusters of points in the plane is a generalization of Voronoi diagrams based on the Hausdorff distance function. Its combinatorial complexity is O(n+ m) , where n is the total number of points and m is the number of crossings between the input clusters (m= O(n2)); the number of clusters is k. We present efficient algorithms to construct this diagram following the randomized incremental construction (RIC) framework (Clarkson and Shor in Discrete Comput Geom 4:387–421, 1989; Clarkson et al. in Comput Geom Theory Appl 3(4):185–212, 1993). Our algorithm for non-crossing clusters (m= 0) runs in expected O(nlog n+ klog nlog k) time and deterministic O(n) space. The algorithm for arbitrary clusters runs in expected O((m+ nlog k) log n) time and O(m+ nlog k) space. The two algorithms can be combined in a crossing-oblivious scheme within the same bounds. We show how to apply the RIC framework to handle non-standard characteristics of generalized Voronoi diagrams, including sites (and bisectors) of non-constant complexity, sites that are not enclosed in their Voronoi regions, empty Voronoi regions, and finally, disconnected bisectors and disconnected Voronoi regions. The Hausdorff Voronoi diagram finds direct applications in VLSI CAD.

KW - Computational geometry

KW - Generalised Voronoi diagram

KW - Hausdorff distance

KW - Hausdorff Voronoi diagram

KW - Randomized incremental construction

KW - Voronoi diagram of point clusters

UR - http://www.scopus.com/inward/record.url?scp=85053725092&partnerID=8YFLogxK

U2 - 10.1007/s10878-018-0347-x

DO - 10.1007/s10878-018-0347-x

M3 - Article

AN - SCOPUS:85053725092

VL - 37

SP - 579

EP - 600

JO - Journal of Combinatorial Optimization

JF - Journal of Combinatorial Optimization

SN - 1382-6905

IS - 2

ER -