[go: up one dir, main page]
More Web Proxy on the site http://driver.im/ skip to main content
10.1145/997817.997848acmconferencesArticle/Chapter ViewAbstractPublication PagessocgConference Proceedingsconference-collections
Article

Deformable spanners and applications

Published: 08 June 2004 Publication History

Abstract

For a set S of points in ℝ3, an s-spanner is a graph on S such that any pair of points is connected via some path in the spanner whose total length is at most s times the Euclidean distance between the points. In this paper we propose a new sparse (1+ε)-spanner with O(nd) edges, where ε is a specified parameter. The key property of this spanner is that it can be efficiently maintained under dynamic insertion or deletion ofpoints, as well as under continuous motion of the points in both the kinetic data structures setting and in the more realistic blackbox displacement model we introduce. Our deformable spanner succinctly encodes all proximity information in a deforming point cloud, giving us efficient kinetic algorithms for problems such as the closest pair, the near neighbors of all points, approximate nearest neighbor search (aka approximate Voronoi diagram), well-separated pair decomposition, and approximate k-centers.

References

[1]
P. Agarwal, J. Basch, L. Guibas, J. Hershberger, and L. Zhang. Deformable free space tilings for kinetic collision detection. International Journal of Robotics Research, 21(3):179--197, 2002.
[2]
S. Arya, G. Das, D. M. Mount, J. S. Salowe, and M. Smid. Euclidean spanners: short, thin, and lanky. In Proc. 27th ACM Symposium on Theory Computing, pages 489--498, 1995.
[3]
S. Arya and T. Malamatos. Linear-size approximate voronoi diagrams. In Proc. of the 13th ACM-SIAM Symposium on Discrete Algorithms, pages 147--155, 2002.
[4]
S. Arya, T. Malamatos, and D. M. Mount. Space-efficient ap-proximate voronoi diagrams. In Proc. of the 34th ACM Sym-posium on Theory of Computing, pages 721--730, 2002.
[5]
S. Arya, D. M. Mount, N. S. Netanyahu, R. Silverman, and A.Y. Wu. An optimal algorithm for approximate nearest neighbor searching fixed dimensions. J. ACM, 45(6):891--923, 1998.
[6]
S. Arya, D. M. Mount, and M. Smid. Randomized and deter-ministic algorithms for geometric spanners of small diameter. In Proc. 35th IEEE Symposium on Foundations of Computer Science, pages 703--712, 1994.
[7]
S. Arya and M. Smid. Efficient construction of a bounded-degree spanner with low weight. Algorithmica, 17:33--54, 1997.
[8]
J. Basch, L. Guibas, and J. Hershberger. Data structures for mobile data. J. Alg., 31(1):1--28, 1999.
[9]
Callahan and Kosaraju. Faster algorithms for some geometric graph problems in higher dimensions. In Proc. 4th ACM-SIAM Symposium on Discrete Algorithms, pages 291--300, 1993.
[10]
P. B. Callahan. Optimal parallel all-nearest-neighbors using the well-separated pair decomposition. In Proc. 34th IEEE Symposium on Foundations of Computer Science, pages 332--340, 1993.
[11]
P. B. Callahan and S. R. Kosaraju. Algorithms for dynamic closest-pair and n-body potential fields. In Proc. 6th ACM-SIAM Symposium on Discrete Algorithms, pages 263--272, 1995.
[12]
P. B. Callahan and S. R. Kosaraju. Adecomposition of multidimensional point sets with applications to n-nearest-neighbors and n-body potential fields. J. ACM, 42:67--90, 1995.
[13]
M. T. Dickerson, R. L. Drysdale, and J. R. Sack. Simple algorithms for enumerating interpoint distances and finding k nearest neighbors. Internat. J. Comput. Geom. Appl., 2(3):221--239, 1992.
[14]
D. Eppstein. Spanning trees and spanners. In J.-R. Sack and J. Urrutia, editors, Handbook of Computational Geometry, pages 425--461. Elsevier Science Publishers B.V. North-Holland, Amsterdam, 2000.
[15]
J. Erickson. Dense point sets have sparse Delaunay triangulations. In Proc. 13th ACM-SIAM Sympos. Discrete Algorithms, pages 125--134, 2002.
[16]
T. Feder and D. H. Greene. Optimal algorithms for approximate clustering. In Proc. 20th Annu. ACM Sympos. Theory Comput., pages 434--444, 1988.
[17]
J. Gao, L. Guibas, J. Hershberger, L. Zhang, and A. Zhu. Discrete mobile centers. Discrete and Computational Geometry, 30(1):45--63, 2003.
[18]
T. Gonzalez. Clustering to minimize the maximum intercluster distance. Theoret. Comput. Sci., 38:293--306, 1985.
[19]
J. Gudmundsson, C. Levcopoulos, G. Narasimhan, and M. Smid. Approximate distance oracles for geometric graphs. In Proc. 13th ACM-SIAM Symposium on Discrete Algorithms, pages 828--837, 2002.
[20]
L. Guibas, A. Nguyen, D. Russel, and L. Zhang. Collision detection for deforming necklaces. In Proc. 18th ACM Symposium on Computational Geometry, pages 33--42, 2002.
[21]
L. J. Guibas. Kinetic data structures --a state of the art report. In P. K. Agarwal, L. E. Kavraki, and M. Mason, editors, Proc. Workshop Algorithmic Found. Robot., pages 191--209. A. K. Peters, Wellesley, MA, 1998.
[22]
J. Hershberger. Smooth kinetic maintenance of clusters. In Proc. ACM Symposium on Computational Geometry, pages 48--57, 2003.
[23]
P. Indyk and R. Motwani. Approximate nearest neighbors: Towards removing the curse of dimensionality. In Proc. 30th Annu. ACM Sympos. Theory Comput., pages 604--613, 1998.
[24]
H. P. Lenhof and M. Smid. Sequential and parallel algorithms for the k closest pairs problem. Internat. J. Comput. Geom. Appl., 5:273--288, 1995.
[25]
C. Levcopoulos, G. Narasimhan, and M. H. M. Smid. Improved algorithms for constructing fault-tolerant spanners. Algorithmica, 32(1):144--156, 2002.
[26]
M. C. Lin and J. F. Canny. A fast algorithm for incremental distance calculation. In IEEE International Conference on Robotics and Automation, pages 1008--1014, Apr. 1991.
[27]
I. Lotan, F. Schwarzer, D. Halperin, and J.-C. Latombe. Efficient maintenance and self-collision testing for kinematic chains. In Proc. of the 18th ACM Symposium on Computational geometry, pages 43--52, 2002.
[28]
G. Narasimhan and M. Smid. Approximating the stretch factor of Euclidean graphs. SIAM J. Comput., 30:978--989, 2000.
[29]
D. K. Pai. STRANDS: Interactive simulation of thin solids using cosserat models. In Eurographics, 2002.
[30]
D. Peleg. Distributed Computing: A Locality Sensitive Approach. Monographs on Discrete Mathematics and Applications. SIAM, 2000.
[31]
J. S. Salowe. Enumerating interdistances in space. Internat. J. Comput. Geom. Appl., 2:49--59, 1992.
[32]
J. M. Sullivan. Sphere packings give an explicit bound for the besicovitch covering theorem. The Journal of Geometric Analysis, 2(2):219--230, 1994.

Cited By

View all
  • (2023)Optimal Fault-Tolerant Spanners in Euclidean and Doubling Metrics: Breaking the Ω (log n) Lightness Barrier2023 IEEE 64th Annual Symposium on Foundations of Computer Science (FOCS)10.1109/FOCS57990.2023.00013(77-97)Online publication date: 6-Nov-2023
  • (2022)Covering metric spaces by few treesJournal of Computer and System Sciences10.1016/j.jcss.2022.06.001130(26-42)Online publication date: Dec-2022
  • (2019)Truly Optimal Euclidean Spanners2019 IEEE 60th Annual Symposium on Foundations of Computer Science (FOCS)10.1109/FOCS.2019.00069(1078-1100)Online publication date: Nov-2019
  • Show More Cited By

Recommendations

Reviews

Jerzy W. Jaromczyk

An s -spanner graph in Euclidean space provides a sparse network of paths between pairs of points; the paths are at most s times longer than the distance between their endpoints. This paper presents the first data structure for sparse graphs that can be efficiently maintained when points are inserted, deleted, or continuously moved (as in a kinetic structure). The resulting 1+e-spanner, with O ( n /e d ) edges for points in R d , can be additionally used for the closest pair problem, approximate nearest neighbor searches, maintaining well-separated pair decompositions, and finding approximate k -centers. The spanners assume a bounded ratio between the greatest and least distances between points in the input set. Such a restriction is natural for modeling deformable shapes (vines, ropes, cloth, or proteins), and whenever physical constraints prevent too-close interactions, or too distant a separation of particles. Co-authored by L. Guibas, an authority in kinematic data structures, this paper sets a new direction of research, to study spanner maintenance under point motion. Online Computing Reviews Service

Access critical reviews of Computing literature here

Become a reviewer for Computing Reviews.

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

cover image ACM Conferences
SCG '04: Proceedings of the twentieth annual symposium on Computational geometry
June 2004
468 pages
ISBN:1581138857
DOI:10.1145/997817
Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Sponsors

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 08 June 2004

Permissions

Request permissions for this article.

Check for updates

Author Tags

  1. approximate nearest neighbor
  2. collision detection
  3. geometric k-center
  4. kinetic data structures
  5. proximity maintenance
  6. spanner graphs
  7. well-separated pair decomposition

Qualifiers

  • Article

Conference

SoCG04
SoCG04: Annual ACM Symposium on Computational Geometry 2004
June 8 - 11, 2004
New York, Brooklyn, USA

Acceptance Rates

SCG '04 Paper Acceptance Rate 49 of 147 submissions, 33%;
Overall Acceptance Rate 625 of 1,685 submissions, 37%

Contributors

Other Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

  • Downloads (Last 12 months)8
  • Downloads (Last 6 weeks)4
Reflects downloads up to 11 Dec 2024

Other Metrics

Citations

Cited By

View all
  • (2023)Optimal Fault-Tolerant Spanners in Euclidean and Doubling Metrics: Breaking the Ω (log n) Lightness Barrier2023 IEEE 64th Annual Symposium on Foundations of Computer Science (FOCS)10.1109/FOCS57990.2023.00013(77-97)Online publication date: 6-Nov-2023
  • (2022)Covering metric spaces by few treesJournal of Computer and System Sciences10.1016/j.jcss.2022.06.001130(26-42)Online publication date: Dec-2022
  • (2019)Truly Optimal Euclidean Spanners2019 IEEE 60th Annual Symposium on Foundations of Computer Science (FOCS)10.1109/FOCS.2019.00069(1078-1100)Online publication date: Nov-2019
  • (2018)Epsilon-Coresets for Clustering (with Outliers) in Doubling Metrics2018 IEEE 59th Annual Symposium on Foundations of Computer Science (FOCS)10.1109/FOCS.2018.00082(814-825)Online publication date: Oct-2018
  • (2016)The Greedy Spanner is Existentially OptimalProceedings of the 2016 ACM Symposium on Principles of Distributed Computing10.1145/2933057.2933114(9-17)Online publication date: 25-Jul-2016
  • (2016)On Hierarchical Routing in Doubling MetricsACM Transactions on Algorithms10.1145/291518312:4(1-22)Online publication date: 16-Aug-2016
  • (2016)Geometric SpannersEncyclopedia of Algorithms10.1007/978-1-4939-2864-4_167(846-852)Online publication date: 22-Apr-2016
  • (2015)Optimal Euclidean SpannersJournal of the ACM10.1145/281900862:5(1-45)Online publication date: 2-Nov-2015
  • (2015)New Doubling SpannersSIAM Journal on Computing10.1137/13093098444:1(37-53)Online publication date: 10-Feb-2015
  • (2015)Sparse Fault-Tolerant Spanners for Doubling Metrics with Bounded Hop-Diameter or DegreeAlgorithmica10.1007/s00453-013-9779-y71:1(53-65)Online publication date: 1-Jan-2015
  • Show More Cited By

View Options

Login options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Media

Figures

Other

Tables

Share

Share

Share this Publication link

Share on social media