Time-space trade-offs for triangulations and Voronoi diagrams

摘要

Let S be a planar n-point set. A triangulation for S is a maximal plane straight-line graph with vertex set S. The Voronoi diagram for S is the subdivision of the plane into cells such that all points in a cell have the same nearest neighbor in S. Classically, both structures can be computed in O(n logn) time and O(n) space. We study the situation when the available workspace is limited: given a parameter s is an element of (1, ... , n}, an s-workspace algorithm has read-only access to an input array with the points from S in arbitrary order, and it may use only O(s) additional words of Theta(logn) bits for reading and writing intermediate data. The output should then be written to a write-only structure. We describe a deterministic s-workspace algorithm for computing an arbitrary triangulation of S in time O(n(2)/s + n log n logs) and a randomized s-workspace algorithm for finding the Voronoi diagram of S in expected time O((n(2)/s) logs + n logs log*s). (C) 2017 Elsevier B.V. All rights reserved.