Dynamic connectivity in disk graphs

From MaRDI portal
Publication:6145677

DOI10.1007/S00454-023-00621-XzbMATH Open1530.05104arXiv2106.14935OpenAlexW3174710476MaRDI QIDQ6145677FDOQ6145677


Authors: Alexander Baumann, Haim Kaplan, Katharina Klost, Kristin Knorr, Wolfgang Mulzer, Liam Roditty, Paul Seiferth Edit this on Wikidata


Publication date: 9 January 2024

Published in: Discrete \& Computational Geometry (Search for Journal in Brave)

Abstract: Let S be a set of n sites, each associated with a point in mathbbR2 and a radius rs and let mathcalD(S) be the disk graph on S. We consider the problem of designing data structures that maintain the connectivity structure of mathcalD(S) while allowing the insertion and deletion of sites. For unit disk graphs we describe a data structure that has O(log2n) amortized update time and O((logn)/(loglogn)) amortized query time. For disk graphs where the ratio Psi between the largest and smallest radius is bounded, we consider the decremental and the incremental case separately, in addition to the fully dynamic case. In the fully dynamic case we achieve amortized O(Psilambda6(logn)log9n) update time and O(logn) query time, where lambdas(n) is the maximum length of a Davenport-Schinzel sequence of order s on n symbols. This improves the update time of the currently best known data structure by a factor of Psi at the cost of an additional O(loglogn) factor in the query time. In the incremental case we manage to achieve a logarithmic dependency on Psi with a data structure with O(alpha(n)) query and O(logPsilambda6(logn)log9n) update time. For the decremental setting we first develop a new dynamic data structure that allows us to maintain two sets B and P of disks, such than at a deletion of a disk from B we can efficiently report all disks in P that no longer intersect any disk of B. Having this data structure at hand, we get decremental data structures with an amortized query time of O((logn)/(loglogn)) supporting m deletions in O((nlog5n+mlog9n)lambda6(logn)+nlogPsilog4n) overall time for bounded radius ratio Psi and O((nlog6n+mlog10n)lambda6(logn)) for general disk graphs.


Full work available at URL: https://arxiv.org/abs/2106.14935




Recommendations




Cites Work


Cited In (2)





This page was built for publication: Dynamic connectivity in disk graphs

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6145677)