Search citation statements
Paper Sections
Citation Types
Year Published
Publication Types
Relationship
Authors
Journals
Let $$S \subseteq \mathbb {R}^2$$ S ⊆ R 2 be a set of nsites in the plane, so that every site $$s \in S$$ s ∈ S has an associated radius$$r_s > 0$$ r s > 0 . Let $$\mathcal {D}(S)$$ D ( S ) be the disk intersection graph defined by S, i.e., the graph with vertex set S and an edge between two distinct sites $$s, t \in S$$ s , t ∈ S if and only if the disks with centers s, t and radii $$r_s$$ r s , $$r_t$$ r t intersect. Our goal is to design data structures that maintain the connectivity structure of $$\mathcal {D}(S)$$ D ( S ) as sites are inserted and/or deleted in S. First, we consider unit disk graphs, i.e., we fix $$r_s = 1$$ r s = 1 , for all sites $$s \in S$$ s ∈ S . For this case, we describe a data structure that has $$O(\log ^2 n)$$ O ( log 2 n ) amortized update time and $$O(\log n/\log \log n)$$ O ( log n / log log n ) query time. Second, we look at disk graphs with bounded radius ratio$$\Psi $$ Ψ , i.e., for all $$s \in S$$ s ∈ S , we have $$1 \le r_s \le \Psi $$ 1 ≤ r s ≤ Ψ , for a parameter $$\Psi $$ Ψ that is known in advance. Here, we not only investigate the fully dynamic case, but also the incremental and the decremental scenario, where only insertions or only deletions of sites are allowed. In the fully dynamic case, we achieve amortized expected update time $$O(\Psi \log ^{4} n)$$ O ( Ψ log 4 n ) and query time $$O(\log n/\log \log n)$$ O ( log n / log log n ) . This improves the currently best update time by a factor of $$\Psi $$ Ψ . In the incremental case, we achieve logarithmic dependency on $$\Psi $$ Ψ , with a data structure that has $$O(\alpha (n))$$ O ( α ( n ) ) amortized query time and $$O(\log \Psi \log ^{4} n)$$ O ( log Ψ log 4 n ) amortized expected update time, where $$\alpha (n)$$ α ( n ) denotes the inverse Ackermann function. For the decremental setting, we first develop an efficient decremental disk revealing data structure: given two sets R and B of disks in the plane, we can delete disks from B, and upon each deletion, we receive a list of all disks in R that no longer intersect the union of B. Using this data structure, we get decremental data structures with a query time of $$O(\log n/\log \log n)$$ O ( log n / log log n ) that supports deletions in $$O(n\log \Psi \log ^{4} n)$$ O ( n log Ψ log 4 n ) overall expected time for disk graphs with bounded radius ratio $$\Psi $$ Ψ and $$O(n\log ^{5} n)$$ O ( n log 5 n ) overall expected time for disk graphs with arbitrary radii, assuming that the deletion sequence is oblivious of the internal random choices of the data structures.
Let $$S \subseteq \mathbb {R}^2$$ S ⊆ R 2 be a set of nsites in the plane, so that every site $$s \in S$$ s ∈ S has an associated radius$$r_s > 0$$ r s > 0 . Let $$\mathcal {D}(S)$$ D ( S ) be the disk intersection graph defined by S, i.e., the graph with vertex set S and an edge between two distinct sites $$s, t \in S$$ s , t ∈ S if and only if the disks with centers s, t and radii $$r_s$$ r s , $$r_t$$ r t intersect. Our goal is to design data structures that maintain the connectivity structure of $$\mathcal {D}(S)$$ D ( S ) as sites are inserted and/or deleted in S. First, we consider unit disk graphs, i.e., we fix $$r_s = 1$$ r s = 1 , for all sites $$s \in S$$ s ∈ S . For this case, we describe a data structure that has $$O(\log ^2 n)$$ O ( log 2 n ) amortized update time and $$O(\log n/\log \log n)$$ O ( log n / log log n ) query time. Second, we look at disk graphs with bounded radius ratio$$\Psi $$ Ψ , i.e., for all $$s \in S$$ s ∈ S , we have $$1 \le r_s \le \Psi $$ 1 ≤ r s ≤ Ψ , for a parameter $$\Psi $$ Ψ that is known in advance. Here, we not only investigate the fully dynamic case, but also the incremental and the decremental scenario, where only insertions or only deletions of sites are allowed. In the fully dynamic case, we achieve amortized expected update time $$O(\Psi \log ^{4} n)$$ O ( Ψ log 4 n ) and query time $$O(\log n/\log \log n)$$ O ( log n / log log n ) . This improves the currently best update time by a factor of $$\Psi $$ Ψ . In the incremental case, we achieve logarithmic dependency on $$\Psi $$ Ψ , with a data structure that has $$O(\alpha (n))$$ O ( α ( n ) ) amortized query time and $$O(\log \Psi \log ^{4} n)$$ O ( log Ψ log 4 n ) amortized expected update time, where $$\alpha (n)$$ α ( n ) denotes the inverse Ackermann function. For the decremental setting, we first develop an efficient decremental disk revealing data structure: given two sets R and B of disks in the plane, we can delete disks from B, and upon each deletion, we receive a list of all disks in R that no longer intersect the union of B. Using this data structure, we get decremental data structures with a query time of $$O(\log n/\log \log n)$$ O ( log n / log log n ) that supports deletions in $$O(n\log \Psi \log ^{4} n)$$ O ( n log Ψ log 4 n ) overall expected time for disk graphs with bounded radius ratio $$\Psi $$ Ψ and $$O(n\log ^{5} n)$$ O ( n log 5 n ) overall expected time for disk graphs with arbitrary radii, assuming that the deletion sequence is oblivious of the internal random choices of the data structures.
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.
customersupport@researchsolutions.com
10624 S. Eastern Ave., Ste. A-614
Henderson, NV 89052, USA
This site is protected by reCAPTCHA and the Google Privacy Policy and Terms of Service apply.
Copyright © 2024 scite LLC. All rights reserved.
Made with 💙 for researchers
Part of the Research Solutions Family.