Fully-Adaptive Dynamic Connectivity of Square Intersection Graphs
Saved in:
| Title: | Fully-Adaptive Dynamic Connectivity of Square Intersection Graphs |
|---|---|
| Authors: | van der Hoog, Ivor, Nusser, André, Rotenberg, Eva, Staals, Frank |
| Contributors: | Nusser, André, Ivor van der Hoog and André Nusser and Eva Rotenberg and Frank Staals |
| Source: | van der Hoog, I, Nusser, A, Rotenberg, E & Staals, F 2024, ' Fully-Adaptive Dynamic Connectivity of Square Intersection Graphs ', Leibniz International Proceedings in Informatics, LIPIcs, vol. 306, 63 . https://doi.org/10.4230/LIPIcs.MFCS.2024.63 |
| Publication Status: | Preprint |
| Publisher Information: | arXiv, 2024. |
| Publication Year: | 2024 |
| Subject Terms: | Computational Geometry (cs.CG), FOS: Computer and information sciences, Data structures, Fully-dynamic algorithms, planar geometry, Computational geometry, Planar geometry, data structures, Geometric intersection graphs, [INFO.INFO-CG] Computer Science [cs]/Computational Geometry [cs.CG], fully-dynamic algorithms, geometric intersection graphs, computational geometry, Computer Science - Computational Geometry, ddc:004 |
| Description: | A classical problem in computational geometry and graph algorithms is: given a dynamic set S of geometric shapes in the plane, efficiently maintain the connectivity of the intersection graph of S. Previous papers studied the setting where, before the updates, the data structure receives some parameter P. Then, updates could insert and delete disks as long as at all times the disks have a diameter that lies in a fixed range [1/P, 1]. The state-of-the-art for storing disks in a dynamic connectivity data structure is a data structure that uses O(Pn) space and that has amortized O(P log^4 n) expected amortized update time. Connectivity queries between disks are supported in O( log n / loglog n) time. The state-of-the-art for Euclidean disks immediately implies a data structure for connectivity between axis-aligned squares that have their diameter in the fixed range [1/P, 1], with an improved update time of O(P log^4 n) amortized time. We restrict our attention to axis-aligned squares, and study fully-dynamic square intersection graph connectivity. Our result is fully-adaptive to the aspect ratio, spending time proportional to the current aspect ratio ψ, as opposed to some previously given maximum P. Our focus on squares allows us to simplify and streamline the connectivity pipeline from previous work. When $n$ is the number of squares and ψ is the aspect ratio after insertion (or before deletion), our data structure answers connectivity queries in O(log n / loglog n) time. We can update connectivity information in O(ψ log^4 n + log^6 n) amortized time. We also improve space usage from O(P n log n) to O(n log^3 n log ψ) -- while generalizing to a fully-adaptive aspect ratio -- which yields a space usage that is near-linear in n for any polynomially bounded ψ. To appear at MFCS |
| Document Type: | Article Conference object |
| File Description: | application/pdf |
| DOI: | 10.48550/arxiv.2406.20065 |
| DOI: | 10.4230/lipics.mfcs.2024.63 |
| Access URL: | http://arxiv.org/abs/2406.20065 https://hal.science/hal-04837154v1 https://hal.science/hal-04837154v1/document https://doi.org/10.4230/lipics.mfcs.2024.63 https://orbit.dtu.dk/en/publications/4d91d716-66c8-432a-b252-ae2be4d15016 https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.MFCS.2024.63 |
| Rights: | arXiv Non-Exclusive Distribution CC BY |
| Accession Number: | edsair.doi.dedup.....9ee1c5d0ae2c638a5f7dfc6dddc7f526 |
| Database: | OpenAIRE |
Nájsť tento článok vo Web of Science | Abstract: | A classical problem in computational geometry and graph algorithms is: given a dynamic set S of geometric shapes in the plane, efficiently maintain the connectivity of the intersection graph of S. Previous papers studied the setting where, before the updates, the data structure receives some parameter P. Then, updates could insert and delete disks as long as at all times the disks have a diameter that lies in a fixed range [1/P, 1]. The state-of-the-art for storing disks in a dynamic connectivity data structure is a data structure that uses O(Pn) space and that has amortized O(P log^4 n) expected amortized update time. Connectivity queries between disks are supported in O( log n / loglog n) time. The state-of-the-art for Euclidean disks immediately implies a data structure for connectivity between axis-aligned squares that have their diameter in the fixed range [1/P, 1], with an improved update time of O(P log^4 n) amortized time. We restrict our attention to axis-aligned squares, and study fully-dynamic square intersection graph connectivity. Our result is fully-adaptive to the aspect ratio, spending time proportional to the current aspect ratio ψ, as opposed to some previously given maximum P. Our focus on squares allows us to simplify and streamline the connectivity pipeline from previous work. When $n$ is the number of squares and ψ is the aspect ratio after insertion (or before deletion), our data structure answers connectivity queries in O(log n / loglog n) time. We can update connectivity information in O(ψ log^4 n + log^6 n) amortized time. We also improve space usage from O(P n log n) to O(n log^3 n log ψ) -- while generalizing to a fully-adaptive aspect ratio -- which yields a space usage that is near-linear in n for any polynomially bounded ψ.<br />To appear at MFCS |
|---|---|
| DOI: | 10.48550/arxiv.2406.20065 |