TY - JOUR
T1 - Maintaining the Union of Unit Discs under Insertions with Near-Optimal Overhead
AU - Agarwal, Pankaj K.
AU - Cohen, Ravid
AU - Halperin, Dan
AU - Mulzer, Wolfgang
N1 - Publisher Copyright:
© 2022 Association for Computing Machinery.
PY - 2022/10/11
Y1 - 2022/10/11
N2 - We present efficient dynamic data structures for maintaining the union of unit discs and the lower envelope of pseudo-lines in the plane. More precisely, we present three main results in this paper: (i)We present a linear-size data structure to maintain the union of a set of unit discs under insertions. It can insert a disc and update the union in O((k+1)log2 n) time, where n is the current number of unit discs and k is the combinatorial complexity of the structural change in the union due to the insertion of the new disc. It can also compute, within the same time bound, the area of the union after the insertion of each disc.(ii)We propose a linear-size data structure for maintaining the lower envelope of a set of x-monotone pseudo-lines. It can handle insertion/deletion of a pseudo-line in O(log2n) time; for a query point x0g.,R2, it can report, in O(log n) time, the point on the lower envelope with x-coordinate x0; and for a query point qg.,R2, it can return all k pseudo-lines lying below q in time O(log n+klog2 n).(iii)We present a linear-size data structure for storing a set of circular arcs of unit radius (not necessarily on the boundary of the union of the corresponding discs), so that for a query unit disc D, all input arcs intersecting D can be reported in O(n1/2+I + k) time, where k is the output size and I> 0 is an arbitrarily small constant. A unit-circle arc can be inserted or deleted in O(log2 n) time.
AB - We present efficient dynamic data structures for maintaining the union of unit discs and the lower envelope of pseudo-lines in the plane. More precisely, we present three main results in this paper: (i)We present a linear-size data structure to maintain the union of a set of unit discs under insertions. It can insert a disc and update the union in O((k+1)log2 n) time, where n is the current number of unit discs and k is the combinatorial complexity of the structural change in the union due to the insertion of the new disc. It can also compute, within the same time bound, the area of the union after the insertion of each disc.(ii)We propose a linear-size data structure for maintaining the lower envelope of a set of x-monotone pseudo-lines. It can handle insertion/deletion of a pseudo-line in O(log2n) time; for a query point x0g.,R2, it can report, in O(log n) time, the point on the lower envelope with x-coordinate x0; and for a query point qg.,R2, it can return all k pseudo-lines lying below q in time O(log n+klog2 n).(iii)We present a linear-size data structure for storing a set of circular arcs of unit radius (not necessarily on the boundary of the union of the corresponding discs), so that for a query unit disc D, all input arcs intersecting D can be reported in O(n1/2+I + k) time, where k is the output size and I> 0 is an arbitrarily small constant. A unit-circle arc can be inserted or deleted in O(log2 n) time.
KW - Lower envelopes
KW - dynamic data structures
KW - intersection searching
KW - pseudo-lines
KW - tentative binary search
KW - unit discs
UR - http://www.scopus.com/inward/record.url?scp=85163813713&partnerID=8YFLogxK
U2 - 10.1145/3527614
DO - 10.1145/3527614
M3 - ???researchoutput.researchoutputtypes.contributiontojournal.article???
AN - SCOPUS:85163813713
SN - 1549-6325
VL - 18
JO - ACM Transactions on Algorithms
JF - ACM Transactions on Algorithms
IS - 3
M1 - 26
ER -