2026-07-20T11:15:53Z https://drops.dagstuhl.de/oai

oai:drops-oai.dagstuhl.de:7024 2024-03-06T10:39:08Z ddc:004 open_access

Improved Time-Space Trade-Offs for Computing Voronoi Diagrams Banyassady, Bahareh Korman, Matias Mulzer, Wolfgang van Renssen, André Roeloffzen, Marcel Seiferth, Paul Stein, Yannik memory-constrained model Voronoi diagram time-space trade-off Let P be a planar n-point set in general position. For k between 1 and n-1, the Voronoi diagram of order k is obtained by subdividing the plane into regions such that points in the same cell have the same set of nearest k neighbors in P. The (nearest point) Voronoi diagram (NVD) and the farthest point Voronoi diagram (FVD) are the particular cases of k=1 and k=n-1, respectively. It is known that the family of all higher-order Voronoi diagrams of order 1 to K for P can be computed in total time O(n K^2 + n log n) using O(K^2(n-K)) space. Also NVD and FVD can be computed in O(n log n) time using O(n) space. For s in {1, ..., n}, an s-workspace algorithm has random access to a read-only array with the sites of P in arbitrary order. Additionally, the algorithm may use O(s) words of Theta(log n) bits each for reading and writing intermediate data. The output can be written only once and cannot be accessed afterwards. We describe a deterministic s-workspace algorithm for computing an NVD and also an FVD for P that runs in O((n^2/s) log s) time. Moreover, we generalize our s-workspace algorithm for computing the family of all higher-order Voronoi diagrams of P up to order K in O(sqrt(s)) in total time O( (n^2 K^6 / s) log^(1+epsilon)(K) (log s / log K)^(O(1)) ) for any fixed epsilon > 0. Previously, for Voronoi diagrams, the only known s-workspace algorithm was to find an NVD for P in expected time O((n^2/s) log s + n log s log^*s). Unlike the previous algorithm, our new method is very simple and does not rely on advanced data structures or random sampling techniques. Schloss Dagstuhl – Leibniz-Zentrum für Informatik Bahareh Banyassady and Matias Korman and Wolfgang Mulzer and André van Renssen and Marcel Roeloffzen and Paul Seiferth and Yannik Stein 2017 Is Part Of LIPIcs, Volume 66, 34th Symposium on Theoretical Aspects of Computer Science (STACS 2017) InProceedings Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/LIPIcs.STACS.2017.9 urn:nbn:de:0030-drops-70249 https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.STACS.2017.9 eng https://creativecommons.org/licenses/by/3.0/legalcode