, Volume 68, Issue 2, pp 448–482 | Cite as

Relative Convex Hulls in Semi-Dynamic Arrangements

  • Mashhood Ishaque
  • Csaba D. Tóth


We present a data structure for maintaining the geodesic hull of a set of points (sites) in the presence of pairwise noncrossing line segments (barriers) that subdivide a bounding box into simply connected faces. For m barriers and n sites, our data structure has O((m+n)logn) size. It supports a mixed sequence of O(m) barrier insertions and O(n) site deletions in \(O((m+n) \operatorname{polylog}(mn))\) total time, and answers analogues of standard convex hull queries in \(O(\operatorname{polylog}(mn))\) time.

Our data structure supports a generalization of the sweep line technique, in which the sweep wavefront is a simple closed polygonal curve, and it sweeps a set of n points in the plane by simple moves. We reduce the total time of supporting m online moves of a polygonal wavefront sweep algorithm from the naïve \(O(m\sqrt{n} \operatorname{polylog}n)\) to \(O((m+n) \operatorname{polylog}(mn))\).


Relative convex hull Semi-dynamic data structure Plane sweep 



We are grateful to the anonymous referees for their many constructive suggestions that helped clarify the definitions and significantly improve the presentation.


  1. 1.
    Basch, J., Erickson, J., Guibas, L.J., Hershberger, J., Zhang, L.: Kinetic collision detection between two simple polygons. Comput. Geom. 27(3), 211–235 (2004) CrossRefzbMATHMathSciNetGoogle Scholar
  2. 2.
    Bentley, J.L., Ottmann, T.A.: Algorithms for reporting and counting geometric intersections. IEEE Trans. Comput. C-28(9), 643–647 (1979) CrossRefGoogle Scholar
  3. 3.
    Berberich, E., Fogel, E., Halperin, D., Mehlhorn, K., Wein, R.: Arrangements on parametric surfaces I: general framework and infrastructure. Math. Comput. Sci. 4(1), 45–66 (2010) CrossRefzbMATHMathSciNetGoogle Scholar
  4. 4.
    Borgelt, M.G., van Kreveld, M.J., Luo, J.: Geodesic disks and clustering in a simple polygon. Int. J. Comput. Geom. Appl. 21(6), 595–608 (2011) CrossRefzbMATHGoogle Scholar
  5. 5.
    Bose, P., Demaine, E.D., Hurtado, F., Iacono, J., Langerman, S., Morin, P.: Geodesic ham-sandwich cuts. Discrete Comput. Geom. 37(3), 325–339 (2007) CrossRefzbMATHMathSciNetGoogle Scholar
  6. 6.
    Brodal, G.S., Jacob, R.: Dynamic planar convex hull. In: Proc. 43rd Sympos on Foundations of Comp. Sci. (FOCS), pp. 617–626. IEEE Press, New York (2002) Google Scholar
  7. 7.
    Chan, T.M.: Dynamic planar convex hull operations in near-logarithmic amortized time. J. ACM 48(1), 1–12 (2001) CrossRefMathSciNetGoogle Scholar
  8. 8.
    Chazelle, B.: On the convex layers of a planar set. IEEE Trans. Inf. Theory IT-31(4), 509–517 (1985) CrossRefMathSciNetGoogle Scholar
  9. 9.
    Chazelle, B., Edelsbrunner, H., Grigni, M., Guibas, L.J., Hershberger, J., Sharir, M., Snoeyink, J.: Ray shooting in polygons using geodesic triangulations. Algorithmica 12, 54–68 (1994) CrossRefzbMATHMathSciNetGoogle Scholar
  10. 10.
    Chazelle, B., Sharir, M., Welzl, E.: Quasi-optimal upper bounds for simplex range searching and new zone theorems. Algorithmica 8, 407–429 (1992) CrossRefzbMATHMathSciNetGoogle Scholar
  11. 11.
    Chiang, Y.-J., Preparata, F.P., Tamassia, R.: A unified approach to dynamic point location, ray shooting, and shortest paths in planar maps. SIAM J. Comput. 25, 207–233 (1996) CrossRefzbMATHMathSciNetGoogle Scholar
  12. 12.
    Choi, J., Sellen, J., Yap, C.K.: Approximate Euclidean shortest paths in 3-space. Int. J. Comput. Geom. Appl. 7(4), 271–295 (1997) CrossRefMathSciNetGoogle Scholar
  13. 13.
    Choi, J.S.: Geodesic problems in high dimensions. Ph.D. Thesis, Courant Institute, New York University, New York (1995) Google Scholar
  14. 14.
    Connelly, R., Demaine, E.D., Demaine, M.L., Fekete, S., Langerman, S., Mitchell, J.S.B., Ribó, A., Rote, G.: Locked and unlocked chains of planar shapes. Discrete Comput. Geom. 44(2), 439–462 (2010) CrossRefzbMATHMathSciNetGoogle Scholar
  15. 15.
    Connelly, R., Demaine, E.D., Rote, G.: Straightening polygonal arcs and convexifying polygonal cycles. Discrete Comput. Geom. 30(2), 205–239 (2003) CrossRefzbMATHMathSciNetGoogle Scholar
  16. 16.
    Cook, A.F., Wenk, C.: Geodesic Fréchet distance inside a simple polygon. ACM Trans. Algorithms 7(1), 9 (2010) MathSciNetGoogle Scholar
  17. 17.
    Edelsbrunner, H., Guibas, L.: Topologically sweeping an arrangement. J. Comput. Syst. Sci. 38(1), 165–194 (1989). J. Comput. Syst. Sci. 42, 249–251 (1991) (corrigendum) CrossRefzbMATHMathSciNetGoogle Scholar
  18. 18.
    Felsner, S., Weil, H.: Sweeps, arrangements and signotopes. Discrete Appl. Math. 109(1–2), 67–94 (2001) CrossRefzbMATHMathSciNetGoogle Scholar
  19. 19.
    Ganguli, A., Cortes, J., Bullo, F.: Multirobot rendezvous with visibility sensors in nonconvex environments. IEEE Trans. Robot. 25(2), 340–352 (2009) CrossRefGoogle Scholar
  20. 20.
    Ghosh, S.: Visibility Algorithms in the Plane. Cambridge University Press, New York (2007) CrossRefzbMATHGoogle Scholar
  21. 21.
    Giyora, Y., Kaplan, H.: Optimal dynamic vertical ray shooting in rectilinear planar subdivisions. ACM Trans. Algorithms 5(3), 1–51 (2009) CrossRefMathSciNetGoogle Scholar
  22. 22.
    Goodrich, M.T., Tamassia, R.: Dynamic ray shooting and shortest paths in planar subdivisions via balanced geodesic triangulations. J. Algorithms 23, 51–73 (1997) CrossRefzbMATHMathSciNetGoogle Scholar
  23. 23.
    Guibas, L., Hershberger, J.: Optimal shortest path queries in a simple polygon. J. Comput. Syst. Sci. 39, 126–152 (1989) CrossRefzbMATHMathSciNetGoogle Scholar
  24. 24.
    Guibas, L.J., Hershberger, J., Suri, S.: Morphing simple polygons. Discrete Comput. Geom. 24(1), 1–34 (2000) CrossRefzbMATHMathSciNetGoogle Scholar
  25. 25.
    Hershberger, J., Suri, S.: Applications of a semi-dynamic convex hull algorithm. BIT Numer. Math. 32, 249–267 (1992) CrossRefzbMATHMathSciNetGoogle Scholar
  26. 26.
    Hoffmann, M., Tóth, C.D.: Segment endpoint visibility graphs are Hamiltonian. Comput. Geom. 26(1), 47–68 (2003) CrossRefzbMATHMathSciNetGoogle Scholar
  27. 27.
    Hoffmann, M., Tóth, C.D.: Spanning trees across axis-parallel segments. In: Proc. Canadian Conf. Comput. Geom, pp. 101–104 (2006) Google Scholar
  28. 28.
    Iben, H.N., O’Brien, J.F., Demaine, E.D.: Refolding planar polygons. Discrete Comput. Geom. 41(3), 444–460 (2009) CrossRefzbMATHMathSciNetGoogle Scholar
  29. 29.
    Ishaque, M., Speckmann, B., Tóth, C.D.: Shooting permanent rays among disjoint polygons in the plane. SIAM J. Comput. (2012, to appear). A preliminary version appeared in Proc. 25th Sympos. on Comput. Geom., pp. 51–60. ACM, New York (2009) Google Scholar
  30. 30.
    Jacob, R.: Dynamic planar convex hull. Ph.D. Thesis, University of Aarhus, Aarhus, Denmark (2002) Google Scholar
  31. 31.
    Kirkpatrick, D.G., Speckmann, B.: Kinetic maintenance of context-sensitive hierarchical representations for disjoint simple polygons. In: Proc. 18th Sympos. on Comput. Geom, pp. 179–188. ACM, New York (2002) Google Scholar
  32. 32.
    Krumme, D.W., Rafalin, E., Souvaine, D.L., Tóth, C.D.: Tight bounds for connecting sites across barriers. Discrete Comput. Geom. 40(3), 377–394 (2008) CrossRefzbMATHMathSciNetGoogle Scholar
  33. 33.
    Lee, D.T., Preparata, F.P.: Euclidean shortest paths in the presence of rectilinear barriers. Networks 14, 393–410 (1984) CrossRefzbMATHMathSciNetGoogle Scholar
  34. 34.
    Matoušek, J.: Efficient partition trees. Discrete Comput. Geom. 8, 315–334 (1992) CrossRefzbMATHMathSciNetGoogle Scholar
  35. 35.
    Mitchell, J.S.B.: Geometric shortest paths and network optimization. In: Handbook of Computational Geometry. Elsevier, Amsterdam (2000) Google Scholar
  36. 36.
    Overmars, M.H., van Leeuwen, J.: Maintenance of configurations in the plane. J. Comput. Syst. Sci. 23, 166–204 (1981) CrossRefzbMATHGoogle Scholar
  37. 37.
    Preparata, F.P.: An optimal real-time algorithm for planar convex hulls. Commun. ACM 22, 402–405 (1979) CrossRefzbMATHMathSciNetGoogle Scholar
  38. 38.
    Rafalin, E., Souvaine, D.L.: Topological sweep of the complete graph. Discrete Appl. Math. 156(17), 3276–3290 (2008) CrossRefzbMATHMathSciNetGoogle Scholar
  39. 39.
    Rote, G., Santos, F., Streinu, I.: Expansive motions and the polytope of pointed pseudo-triangulations. In: Discrete and Computational Geometry–The Goodman-Pollack Festschrift. Algorithms and Combinatorics, vol. 25, pp. 699–736. Springer, Berlin (2003) CrossRefGoogle Scholar
  40. 40.
    Sklansky, J., Chazin, R.L., Hansen, B.J.: Minimum perimeter polygons of digitized silhouettes. IEEE Trans. Comput. C-21, 260–268 (1972) CrossRefMathSciNetGoogle Scholar
  41. 41.
    Snoeyink, J., Hershberger, J.: Sweeping arrangements of curves. In: Proc. 5th Sympos. on Comput. Geom, pp. 354–363. ACM, New York (1989) Google Scholar
  42. 42.
    Streinu, I.: Pseudo-triangulations, rigidity and motion planning. Discrete Comput. Geom. 34(4), 587–635 (2005) CrossRefzbMATHMathSciNetGoogle Scholar
  43. 43.
    Toussaint, G.: An optimal algorithm for computing the relative convex hull of a set of points in a polygon. In: Proc. 3rd European Signal Processing Conf. on Signal Processing III: Theories and Applications, pp. 853–856. North-Holland, Amsterdam (1986) Google Scholar
  44. 44.
    Toussaint, G.: Computing geodesic properties inside a simple polygon. Rev. Intell. Artif. 3(2), 9–42 (1989) Google Scholar
  45. 45.
    Toussaint, G.: On separating two simple polygons by a single translation. Discrete Comput. Geom. 4(1), 265–278 (1989) CrossRefzbMATHMathSciNetGoogle Scholar
  46. 46.
    Wolpert, N.: Jacobi curves: computing the exact topology of arrangements of non-singular algebraic curves. In: Proc. 11th European Sympos. on Algorithms. LNCS, vol. 2832, pp. 532–543. Springer, Berlin (2003) Google Scholar

Copyright information

© Springer Science+Business Media, LLC 2012

Authors and Affiliations

  1. 1.Department of Computer ScienceTufts UniversityMedfordUSA
  2. 2.Department of MathematicsUniversity of CalgaryCalgaryCanada

Personalised recommendations