eng
Schloss Dagstuhl – Leibniz-Zentrum für Informatik
Leibniz International Proceedings in Informatics
1868-8969
2024-06-06
60:1
60:14
10.4230/LIPIcs.SoCG.2024.60
article
Near Optimal Locality Sensitive Orderings in Euclidean Space
Gao, Zhimeng
1
https://orcid.org/0009-0003-3668-9305
Har-Peled, Sariel
2
https://orcid.org/0000-0003-2638-9635
Department of Computer Science and Engineering, Hong Kong University of Science and Technology, Kowloon, Hong Kong
Department of Computer Science, University of Illinois, Urbana, IL, USA
For a parameter ε ∈ (0,1), a set of ε-locality-sensitive orderings (LSOs) has the property that for any two points, p,q ∈ [0,1)^d, there exist an order in the set such that all the points between p and q (in the order) are ε-close to either p or q. Since the original construction of LSOs can not be (significantly) improved, we present a construction of modified LSOs, that yields a smaller set, while preserving their usefulness. Specifically, the resulting set of LSOs has size M = O(ℰ^{d-1} log ℰ), where ℰ = 1/ε. This improves over previous work by a factor of ℰ, and is optimal up to a factor of log ℰ.
As a consequence we get a flotilla of improved dynamic geometric algorithms, such as maintaining bichromatic closest pair, and spanners, among others. In particular, for geometric dynamic spanners the new result matches (up to the aforementioned log ℰ factor) the lower bound, Specifically, this is a near-optimal simple dynamic data-structure for maintaining spanners under insertions and deletions.
https://drops.dagstuhl.de/storage/00lipics/lipics-vol293-socg2024/LIPIcs.SoCG.2024.60/LIPIcs.SoCG.2024.60.pdf
Orderings
approximation